What does it mean to express a gate in Dirac notation?How does bra-ket notation work?How does Fourier...
Phrase for the opposite of "foolproof"
Is there a way to get a compiler for the original B programming language?
What does it mean to express a gate in Dirac notation?
In order to check if a field is required or not, is the result of isNillable method sufficient?
Do I have to worry about players making “bad” choices on level up?
What are the potential pitfalls when using metals as a currency?
Why does processed meat contain preservatives, while canned fish needs not?
Can SQL Server create collisions in system generated constraint names?
Is there really no use for MD5 anymore?
What happened to Captain America in Endgame?
A Note on N!
Was there a Viking Exchange as well as a Columbian one?
Examples of subgroups where it's nontrivial to show closure under multiplication?
Size of electromagnet needed to replicate Earth's magnetic field
How can Republicans who favour free markets, consistently express anger when they don't like the outcome of that choice?
Packing rectangles: Does rotation ever help?
What is the relationship between spectral sequences and obstruction theory?
Is there any limitation with Arduino Nano serial communication distance?
Mjolnir's timeline from Thor's perspective
Which big number is bigger?
What language was spoken in East Asia before Proto-Turkic?
Was there a shared-world project before "Thieves World"?
Pulling the rope with one hand is as heavy as with two hands?
Map of water taps to fill bottles
What does it mean to express a gate in Dirac notation?
How does bra-ket notation work?How does Fourier sampling actually work (and solve the parity problem)?What do we mean by the notation $lvert mathbf{x}, 0rangle$?What does the notation $lvert underline{x} rangle$ mean?How to properly write the action of a quantum gate implementing an operator $U$ on the superposition of its eigenvectors?Notation for two entangled registersWhy is correlation in the $X$ basis represented as $Xotimes X = 1$?N&C quantum circuit for Grover's algorithmNotation for two qubit composite product stateWhat is the tensorial representation of the quantum swap gate?
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}
$begingroup$
When discussing the Dirac notation of an operator, for example, let's just say we have the bit flip gate $X$ if we want to write this in the Dirac notation does that just mean writing it as follows?
$$X|psirangle=X(c_0|0rangle+c_1|1rangle)=c_0|1rangle+c_1|0rangle$$
quantum-gate notation
$endgroup$
add a comment |
$begingroup$
When discussing the Dirac notation of an operator, for example, let's just say we have the bit flip gate $X$ if we want to write this in the Dirac notation does that just mean writing it as follows?
$$X|psirangle=X(c_0|0rangle+c_1|1rangle)=c_0|1rangle+c_1|0rangle$$
quantum-gate notation
$endgroup$
add a comment |
$begingroup$
When discussing the Dirac notation of an operator, for example, let's just say we have the bit flip gate $X$ if we want to write this in the Dirac notation does that just mean writing it as follows?
$$X|psirangle=X(c_0|0rangle+c_1|1rangle)=c_0|1rangle+c_1|0rangle$$
quantum-gate notation
$endgroup$
When discussing the Dirac notation of an operator, for example, let's just say we have the bit flip gate $X$ if we want to write this in the Dirac notation does that just mean writing it as follows?
$$X|psirangle=X(c_0|0rangle+c_1|1rangle)=c_0|1rangle+c_1|0rangle$$
quantum-gate notation
quantum-gate notation
edited 2 hours ago
Sanchayan Dutta♦
6,75841556
6,75841556
asked 2 hours ago
can'tcauchycan'tcauchy
2015
2015
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
This might mean using the ketbra notation:
$$X = |1rangle langle0| + |1rangle langle0|$$
This notation describes the effect the operator has on the basis vectors: in this case $X$ converts $|0rangle$ into $|1rangle$ and vice versa.
A couple of other examples:
$$Z = |0rangle langle0| - |1rangle langle1|$$
$$operatorname{CNOT} = |0 ranglelangle0| otimes I + |1 ranglelangle 1| otimes X = |00rangle langle00| + |01rangle langle01| + |11rangle langle10| + |10rangle langle11|$$
$endgroup$
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
add a comment |
$begingroup$
The Dirac notation for the Pauli-$X$ gate is:
$$|1rangle langle0| + |1rangle langle0|.$$
Now you might be wondering where this comes from. The term you're looking for is outer product representation of the $X$ gate. It follows from the spectral decomposition theorem (check Nielsen & Chuang 10th edition, p. 72) which holds for all normal operators. The key point:
In terms of the outer product representation, this means that $M$ can be written as $M=sum_ilambda_i|iranglelangle i|$,where $lambda_i$ are the eigenvalues of $M$,$|irangle$ is an orthonormal basis for $V$, and each $|irangle$ an eigenvector of $M$ with eigenvalue $lambda_i$.
The eigenvectors of the Pauli-$X$ gate are $-|0rangle+|1rangle$ and $|0rangle+|1rangle$, and the corresponding eigenvalues are $-1$ and $+1$ cf. Wolfram Alpha. Normalize the eigenvectors to get an orthonormal basis for $X$ i.e. ${frac{-|0rangle+|1rangle}{sqrt{2}},frac{|0rangle+|1rangle}{sqrt{2}}}$. According the spectral decomposition theorem you can represent the $X$ gate as:
$$-1(frac{-|0rangle+|1rangle}{sqrt{2}})(frac{-langle 0|+langle1|}{sqrt{2}}) + 1(frac{|0rangle+|1rangle}{sqrt{2}})(frac{langle 0|+langle1|}{sqrt{2}})$$
$$=-frac{1}{2}(|0ranglelangle0|-|0ranglelangle1|-|1ranglelangle0|+|1ranglelangle1|)+frac{1}{2}(|0ranglelangle0|+|0ranglelangle1|+|1ranglelangle0|+|1ranglelangle1|)$$
$$=|1rangle langle0| + |1rangle langle0|$$
To convince you that this result is correct let's apply it on an arbitrary qubit state $c_0|0rangle+c_1 |1rangle$:
$$(|1rangle langle0| + |0rangle langle1|)(c_0|0rangle+c_1|1rangle)$$
$$=c_0|1ranglelangle0|0rangle+c_1|0ranglelangle 1|1rangle$$
$$=c_0 |1rangle + c_1 |0rangle$$
So yes, our result is correct and the bits were indeed flipped upon application of $X=|1rangle langle0| + |1rangle langle0|$ to $c_0|0rangle + c_1|1rangle$.The last step followed from the fact that $langle 0|0rangle$ and $langle 1|1rangle$ are both equal to $1$, as $|0rangle$ and $|1rangle$ are orthonormal vectors i.e. their inner product $langle psi|psirangle=1$ by definition.
We're done. As an exercise, find the outer product representation of the Pauli-$Z$ gate by yourself. And definitely, do go through the proof of the spectral theorem in Nielsen and Chung if time permits!
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "694"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5989%2fwhat-does-it-mean-to-express-a-gate-in-dirac-notation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This might mean using the ketbra notation:
$$X = |1rangle langle0| + |1rangle langle0|$$
This notation describes the effect the operator has on the basis vectors: in this case $X$ converts $|0rangle$ into $|1rangle$ and vice versa.
A couple of other examples:
$$Z = |0rangle langle0| - |1rangle langle1|$$
$$operatorname{CNOT} = |0 ranglelangle0| otimes I + |1 ranglelangle 1| otimes X = |00rangle langle00| + |01rangle langle01| + |11rangle langle10| + |10rangle langle11|$$
$endgroup$
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
add a comment |
$begingroup$
This might mean using the ketbra notation:
$$X = |1rangle langle0| + |1rangle langle0|$$
This notation describes the effect the operator has on the basis vectors: in this case $X$ converts $|0rangle$ into $|1rangle$ and vice versa.
A couple of other examples:
$$Z = |0rangle langle0| - |1rangle langle1|$$
$$operatorname{CNOT} = |0 ranglelangle0| otimes I + |1 ranglelangle 1| otimes X = |00rangle langle00| + |01rangle langle01| + |11rangle langle10| + |10rangle langle11|$$
$endgroup$
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
add a comment |
$begingroup$
This might mean using the ketbra notation:
$$X = |1rangle langle0| + |1rangle langle0|$$
This notation describes the effect the operator has on the basis vectors: in this case $X$ converts $|0rangle$ into $|1rangle$ and vice versa.
A couple of other examples:
$$Z = |0rangle langle0| - |1rangle langle1|$$
$$operatorname{CNOT} = |0 ranglelangle0| otimes I + |1 ranglelangle 1| otimes X = |00rangle langle00| + |01rangle langle01| + |11rangle langle10| + |10rangle langle11|$$
$endgroup$
This might mean using the ketbra notation:
$$X = |1rangle langle0| + |1rangle langle0|$$
This notation describes the effect the operator has on the basis vectors: in this case $X$ converts $|0rangle$ into $|1rangle$ and vice versa.
A couple of other examples:
$$Z = |0rangle langle0| - |1rangle langle1|$$
$$operatorname{CNOT} = |0 ranglelangle0| otimes I + |1 ranglelangle 1| otimes X = |00rangle langle00| + |01rangle langle01| + |11rangle langle10| + |10rangle langle11|$$
edited 1 hour ago
Sanchayan Dutta♦
6,75841556
6,75841556
answered 2 hours ago
Mariia MykhailovaMariia Mykhailova
1,9401212
1,9401212
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
add a comment |
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
$begingroup$
For OP: a quick and intuitive way to derive the CNOT's outer product representation is to see what effect it has on the individual qubits. The CNOT flips the second qubit when the control qubit is $|1rangle$. When the control qubit is $|0rangle$ the second qubit remains intact, which is equivalent to applying the identity gate $I$. So we get $|0ranglelangle 0|otimes I$ for this. However, when the control qubit is $|1rangle$ we need to flip the second qubit's state i.e. we need to apply the $X$ gate to the second qubit. Thus, we get $|1ranglelangle 1|otimes X$ for this.
$endgroup$
– Sanchayan Dutta♦
1 hour ago
add a comment |
$begingroup$
The Dirac notation for the Pauli-$X$ gate is:
$$|1rangle langle0| + |1rangle langle0|.$$
Now you might be wondering where this comes from. The term you're looking for is outer product representation of the $X$ gate. It follows from the spectral decomposition theorem (check Nielsen & Chuang 10th edition, p. 72) which holds for all normal operators. The key point:
In terms of the outer product representation, this means that $M$ can be written as $M=sum_ilambda_i|iranglelangle i|$,where $lambda_i$ are the eigenvalues of $M$,$|irangle$ is an orthonormal basis for $V$, and each $|irangle$ an eigenvector of $M$ with eigenvalue $lambda_i$.
The eigenvectors of the Pauli-$X$ gate are $-|0rangle+|1rangle$ and $|0rangle+|1rangle$, and the corresponding eigenvalues are $-1$ and $+1$ cf. Wolfram Alpha. Normalize the eigenvectors to get an orthonormal basis for $X$ i.e. ${frac{-|0rangle+|1rangle}{sqrt{2}},frac{|0rangle+|1rangle}{sqrt{2}}}$. According the spectral decomposition theorem you can represent the $X$ gate as:
$$-1(frac{-|0rangle+|1rangle}{sqrt{2}})(frac{-langle 0|+langle1|}{sqrt{2}}) + 1(frac{|0rangle+|1rangle}{sqrt{2}})(frac{langle 0|+langle1|}{sqrt{2}})$$
$$=-frac{1}{2}(|0ranglelangle0|-|0ranglelangle1|-|1ranglelangle0|+|1ranglelangle1|)+frac{1}{2}(|0ranglelangle0|+|0ranglelangle1|+|1ranglelangle0|+|1ranglelangle1|)$$
$$=|1rangle langle0| + |1rangle langle0|$$
To convince you that this result is correct let's apply it on an arbitrary qubit state $c_0|0rangle+c_1 |1rangle$:
$$(|1rangle langle0| + |0rangle langle1|)(c_0|0rangle+c_1|1rangle)$$
$$=c_0|1ranglelangle0|0rangle+c_1|0ranglelangle 1|1rangle$$
$$=c_0 |1rangle + c_1 |0rangle$$
So yes, our result is correct and the bits were indeed flipped upon application of $X=|1rangle langle0| + |1rangle langle0|$ to $c_0|0rangle + c_1|1rangle$.The last step followed from the fact that $langle 0|0rangle$ and $langle 1|1rangle$ are both equal to $1$, as $|0rangle$ and $|1rangle$ are orthonormal vectors i.e. their inner product $langle psi|psirangle=1$ by definition.
We're done. As an exercise, find the outer product representation of the Pauli-$Z$ gate by yourself. And definitely, do go through the proof of the spectral theorem in Nielsen and Chung if time permits!
$endgroup$
add a comment |
$begingroup$
The Dirac notation for the Pauli-$X$ gate is:
$$|1rangle langle0| + |1rangle langle0|.$$
Now you might be wondering where this comes from. The term you're looking for is outer product representation of the $X$ gate. It follows from the spectral decomposition theorem (check Nielsen & Chuang 10th edition, p. 72) which holds for all normal operators. The key point:
In terms of the outer product representation, this means that $M$ can be written as $M=sum_ilambda_i|iranglelangle i|$,where $lambda_i$ are the eigenvalues of $M$,$|irangle$ is an orthonormal basis for $V$, and each $|irangle$ an eigenvector of $M$ with eigenvalue $lambda_i$.
The eigenvectors of the Pauli-$X$ gate are $-|0rangle+|1rangle$ and $|0rangle+|1rangle$, and the corresponding eigenvalues are $-1$ and $+1$ cf. Wolfram Alpha. Normalize the eigenvectors to get an orthonormal basis for $X$ i.e. ${frac{-|0rangle+|1rangle}{sqrt{2}},frac{|0rangle+|1rangle}{sqrt{2}}}$. According the spectral decomposition theorem you can represent the $X$ gate as:
$$-1(frac{-|0rangle+|1rangle}{sqrt{2}})(frac{-langle 0|+langle1|}{sqrt{2}}) + 1(frac{|0rangle+|1rangle}{sqrt{2}})(frac{langle 0|+langle1|}{sqrt{2}})$$
$$=-frac{1}{2}(|0ranglelangle0|-|0ranglelangle1|-|1ranglelangle0|+|1ranglelangle1|)+frac{1}{2}(|0ranglelangle0|+|0ranglelangle1|+|1ranglelangle0|+|1ranglelangle1|)$$
$$=|1rangle langle0| + |1rangle langle0|$$
To convince you that this result is correct let's apply it on an arbitrary qubit state $c_0|0rangle+c_1 |1rangle$:
$$(|1rangle langle0| + |0rangle langle1|)(c_0|0rangle+c_1|1rangle)$$
$$=c_0|1ranglelangle0|0rangle+c_1|0ranglelangle 1|1rangle$$
$$=c_0 |1rangle + c_1 |0rangle$$
So yes, our result is correct and the bits were indeed flipped upon application of $X=|1rangle langle0| + |1rangle langle0|$ to $c_0|0rangle + c_1|1rangle$.The last step followed from the fact that $langle 0|0rangle$ and $langle 1|1rangle$ are both equal to $1$, as $|0rangle$ and $|1rangle$ are orthonormal vectors i.e. their inner product $langle psi|psirangle=1$ by definition.
We're done. As an exercise, find the outer product representation of the Pauli-$Z$ gate by yourself. And definitely, do go through the proof of the spectral theorem in Nielsen and Chung if time permits!
$endgroup$
add a comment |
$begingroup$
The Dirac notation for the Pauli-$X$ gate is:
$$|1rangle langle0| + |1rangle langle0|.$$
Now you might be wondering where this comes from. The term you're looking for is outer product representation of the $X$ gate. It follows from the spectral decomposition theorem (check Nielsen & Chuang 10th edition, p. 72) which holds for all normal operators. The key point:
In terms of the outer product representation, this means that $M$ can be written as $M=sum_ilambda_i|iranglelangle i|$,where $lambda_i$ are the eigenvalues of $M$,$|irangle$ is an orthonormal basis for $V$, and each $|irangle$ an eigenvector of $M$ with eigenvalue $lambda_i$.
The eigenvectors of the Pauli-$X$ gate are $-|0rangle+|1rangle$ and $|0rangle+|1rangle$, and the corresponding eigenvalues are $-1$ and $+1$ cf. Wolfram Alpha. Normalize the eigenvectors to get an orthonormal basis for $X$ i.e. ${frac{-|0rangle+|1rangle}{sqrt{2}},frac{|0rangle+|1rangle}{sqrt{2}}}$. According the spectral decomposition theorem you can represent the $X$ gate as:
$$-1(frac{-|0rangle+|1rangle}{sqrt{2}})(frac{-langle 0|+langle1|}{sqrt{2}}) + 1(frac{|0rangle+|1rangle}{sqrt{2}})(frac{langle 0|+langle1|}{sqrt{2}})$$
$$=-frac{1}{2}(|0ranglelangle0|-|0ranglelangle1|-|1ranglelangle0|+|1ranglelangle1|)+frac{1}{2}(|0ranglelangle0|+|0ranglelangle1|+|1ranglelangle0|+|1ranglelangle1|)$$
$$=|1rangle langle0| + |1rangle langle0|$$
To convince you that this result is correct let's apply it on an arbitrary qubit state $c_0|0rangle+c_1 |1rangle$:
$$(|1rangle langle0| + |0rangle langle1|)(c_0|0rangle+c_1|1rangle)$$
$$=c_0|1ranglelangle0|0rangle+c_1|0ranglelangle 1|1rangle$$
$$=c_0 |1rangle + c_1 |0rangle$$
So yes, our result is correct and the bits were indeed flipped upon application of $X=|1rangle langle0| + |1rangle langle0|$ to $c_0|0rangle + c_1|1rangle$.The last step followed from the fact that $langle 0|0rangle$ and $langle 1|1rangle$ are both equal to $1$, as $|0rangle$ and $|1rangle$ are orthonormal vectors i.e. their inner product $langle psi|psirangle=1$ by definition.
We're done. As an exercise, find the outer product representation of the Pauli-$Z$ gate by yourself. And definitely, do go through the proof of the spectral theorem in Nielsen and Chung if time permits!
$endgroup$
The Dirac notation for the Pauli-$X$ gate is:
$$|1rangle langle0| + |1rangle langle0|.$$
Now you might be wondering where this comes from. The term you're looking for is outer product representation of the $X$ gate. It follows from the spectral decomposition theorem (check Nielsen & Chuang 10th edition, p. 72) which holds for all normal operators. The key point:
In terms of the outer product representation, this means that $M$ can be written as $M=sum_ilambda_i|iranglelangle i|$,where $lambda_i$ are the eigenvalues of $M$,$|irangle$ is an orthonormal basis for $V$, and each $|irangle$ an eigenvector of $M$ with eigenvalue $lambda_i$.
The eigenvectors of the Pauli-$X$ gate are $-|0rangle+|1rangle$ and $|0rangle+|1rangle$, and the corresponding eigenvalues are $-1$ and $+1$ cf. Wolfram Alpha. Normalize the eigenvectors to get an orthonormal basis for $X$ i.e. ${frac{-|0rangle+|1rangle}{sqrt{2}},frac{|0rangle+|1rangle}{sqrt{2}}}$. According the spectral decomposition theorem you can represent the $X$ gate as:
$$-1(frac{-|0rangle+|1rangle}{sqrt{2}})(frac{-langle 0|+langle1|}{sqrt{2}}) + 1(frac{|0rangle+|1rangle}{sqrt{2}})(frac{langle 0|+langle1|}{sqrt{2}})$$
$$=-frac{1}{2}(|0ranglelangle0|-|0ranglelangle1|-|1ranglelangle0|+|1ranglelangle1|)+frac{1}{2}(|0ranglelangle0|+|0ranglelangle1|+|1ranglelangle0|+|1ranglelangle1|)$$
$$=|1rangle langle0| + |1rangle langle0|$$
To convince you that this result is correct let's apply it on an arbitrary qubit state $c_0|0rangle+c_1 |1rangle$:
$$(|1rangle langle0| + |0rangle langle1|)(c_0|0rangle+c_1|1rangle)$$
$$=c_0|1ranglelangle0|0rangle+c_1|0ranglelangle 1|1rangle$$
$$=c_0 |1rangle + c_1 |0rangle$$
So yes, our result is correct and the bits were indeed flipped upon application of $X=|1rangle langle0| + |1rangle langle0|$ to $c_0|0rangle + c_1|1rangle$.The last step followed from the fact that $langle 0|0rangle$ and $langle 1|1rangle$ are both equal to $1$, as $|0rangle$ and $|1rangle$ are orthonormal vectors i.e. their inner product $langle psi|psirangle=1$ by definition.
We're done. As an exercise, find the outer product representation of the Pauli-$Z$ gate by yourself. And definitely, do go through the proof of the spectral theorem in Nielsen and Chung if time permits!
edited 1 hour ago
answered 1 hour ago
Sanchayan Dutta♦Sanchayan Dutta
6,75841556
6,75841556
add a comment |
add a comment |
Thanks for contributing an answer to Quantum Computing Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5989%2fwhat-does-it-mean-to-express-a-gate-in-dirac-notation%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown