« first day (486 days earlier)      last day (1725 days later) » 

3:39 PM
[ Boson ] New comment posted by Jarn de Jong
[ Boson ] New comment posted by Jarn de Jong
(2/2)So the inverse of $E_{k}$ (which is $E_{k}^{\dagger}$ does not completely 'erase' $E_{l}$ (because then $E_{k}^{\dagger}E_{l} = I$), but all we end up with is some element of the stabilizer. That means that, for all we care, our codestate is left as-is (because the stabilizer elements, by definition, don't do anything on the codestates). So if $E_{k}^{\dagger}E_{l} = M \in \mathcal{M}$, we are still okay! — Jarn de Jong 6 mins ago
[ Boson ] New comment posted by user2723984
Thank you! I still would like to understand it though (you know, exams). I guess the first condition is the relevant one, as the second one is always false for Pauli operators as Kraus... — user2723984 8 mins ago
[ Boson ] New comment posted by Jarn de Jong
Ha, thanks for that tip, I tried using \ket{} etc. but that didn't work! What you're saying in the comment is exactly right, and is pretty much how I would actually try to explain the conditions. So please keep what you're saying in mind and use that as a leading condition; I find it way more intuitive. However, something like that doesn't account for the fact that two errors $E_{k}$ and $E_{l}$ might very well be different errors, with the same syndrome, but that they don't act differently on the codespace. — Jarn de Jong 11 mins ago
[ Boson ] New comment posted by user2723984
By the way, you can use \rangle for $\rangle$ and \langle for $\langle$ to write kets and bras — user2723984 16 mins ago
[ Boson ] New comment posted by user2723984
Hi, thank you for the answer. What I still don't understand is why these conditions allow for correction. Based on what you wrote, I would say that the condition is roughly $\{M_k, E_k\}=0$, in the sense that we must be able to distinguish Kraus operators from one another, or more precisely the condition would be that each Pauli (that we take as Kraus ops) anticommutes with some subset of $\mathcal{M}$, and no two such subsets are equal, so that with each stabilizer measurement we are sure of which error has occurred. Why do the conditions I gave matter? — user2723984 18 mins ago
[ Boson ] New comment posted by Jarn de Jong
By the way, this link contains the lectures of Daniel Gottesman (the inventor of stabilizer codes) on QECC's. It is awesome, but also awesomely detailed, very thorough and very mathematical. If you want a somewhat more straightforward introduction there are myriad introductory texts to be found on the arxiv, like this one. — Jarn de Jong 18 mins ago
 
4:29 PM
[ Boson ] New comment posted by StarBucK
You suggest me to directly find the unitary doing what you wrote in your first equation. About your last paragraph: the p'th bit of the ancilla will be the scalar product between $x$ and the p'th line of the parity check matrix $H_1$ (which is by construction orthogonal to all the columns of the generator matrix $G_1$). However I don't see how it can help me to find a circuit associated to the unitary ? — StarBucK 24 mins ago
 
4:54 PM
Error while calling API: `HTTP 503 fetching URL https://api.stackexchange.com/2.2/comments. Body is: <html>
<head>
<title>We are Offline</title>
<style type="text/css">
body { margin: 0; padding: 0; }
iframe { border: 0; }
</style>
</head>
<body>
<iframe width="100%" height="100%" id="pageFrame"></iframe>
<script>
setTimeout(function () { location.reload(true); }, 300000);
var hostName = window.location.hostname;
var directory = '';
</script>
<script src="https://cdn.sstatic.net/error-director.js"></script>
 
5:44 PM
[ Boson ] New comment posted by user2723984
for anybody stumbling upon this question, in addition to the accepted answer and discussion witht the answerer there is a very useful discussion in Nielsen and Chuang that explicitely show how a very similar condition to this is necessary and sufficient for error correction — user2723984 4 mins ago
 
 
4 hours later…
9:29 PM
[ Boson ] New comment posted by Fernando
What if all the diagonal is 1, but the other elements are not zero? Is the trace a sufficient condition? — Fernando 11 mins ago
 

« first day (486 days earlier)      last day (1725 days later) »