The relationship between entanglement of vector states to matrix operations

Clash Royale CLAN TAG#URR8PPP
$begingroup$
I don't understand something which is I believe pretty fundamental. It's said that an operation represented by a matrix A is an entanglement if A can't be written as a tensor product of other matrices. On the other hand, I just learned lately that a vector state too can be determined by these criteria. That is, it's entangled if and only if it can't be written as a tensor product of other vector states.
Here comes the confusion. Suppose you take a CNOT for example. This obviously can't be written as a tensor product of other matrices as it's known to be entangled. What're the consequences of applying a CNOT on a vector? I don't understand it, if you take a vector like (1,0,0,0) or (0,0,10) you will get after CNOT (1,0,0,0) or (0,0,0,1) respectively. Which obviously can be written as the tensor product of other vectors. So what's going on here? Is CNOT supposed to entangle the vector state or not?
Why is it that the gate itself can't be decomposed but the vector which it acted upon can? Or if it isn't necessary then, what's the definition or requirements for entanglement which I am missing?
quantum-gate quantum-state entanglement
$endgroup$
add a comment |
$begingroup$
I don't understand something which is I believe pretty fundamental. It's said that an operation represented by a matrix A is an entanglement if A can't be written as a tensor product of other matrices. On the other hand, I just learned lately that a vector state too can be determined by these criteria. That is, it's entangled if and only if it can't be written as a tensor product of other vector states.
Here comes the confusion. Suppose you take a CNOT for example. This obviously can't be written as a tensor product of other matrices as it's known to be entangled. What're the consequences of applying a CNOT on a vector? I don't understand it, if you take a vector like (1,0,0,0) or (0,0,10) you will get after CNOT (1,0,0,0) or (0,0,0,1) respectively. Which obviously can be written as the tensor product of other vectors. So what's going on here? Is CNOT supposed to entangle the vector state or not?
Why is it that the gate itself can't be decomposed but the vector which it acted upon can? Or if it isn't necessary then, what's the definition or requirements for entanglement which I am missing?
quantum-gate quantum-state entanglement
$endgroup$
add a comment |
$begingroup$
I don't understand something which is I believe pretty fundamental. It's said that an operation represented by a matrix A is an entanglement if A can't be written as a tensor product of other matrices. On the other hand, I just learned lately that a vector state too can be determined by these criteria. That is, it's entangled if and only if it can't be written as a tensor product of other vector states.
Here comes the confusion. Suppose you take a CNOT for example. This obviously can't be written as a tensor product of other matrices as it's known to be entangled. What're the consequences of applying a CNOT on a vector? I don't understand it, if you take a vector like (1,0,0,0) or (0,0,10) you will get after CNOT (1,0,0,0) or (0,0,0,1) respectively. Which obviously can be written as the tensor product of other vectors. So what's going on here? Is CNOT supposed to entangle the vector state or not?
Why is it that the gate itself can't be decomposed but the vector which it acted upon can? Or if it isn't necessary then, what's the definition or requirements for entanglement which I am missing?
quantum-gate quantum-state entanglement
$endgroup$
I don't understand something which is I believe pretty fundamental. It's said that an operation represented by a matrix A is an entanglement if A can't be written as a tensor product of other matrices. On the other hand, I just learned lately that a vector state too can be determined by these criteria. That is, it's entangled if and only if it can't be written as a tensor product of other vector states.
Here comes the confusion. Suppose you take a CNOT for example. This obviously can't be written as a tensor product of other matrices as it's known to be entangled. What're the consequences of applying a CNOT on a vector? I don't understand it, if you take a vector like (1,0,0,0) or (0,0,10) you will get after CNOT (1,0,0,0) or (0,0,0,1) respectively. Which obviously can be written as the tensor product of other vectors. So what's going on here? Is CNOT supposed to entangle the vector state or not?
Why is it that the gate itself can't be decomposed but the vector which it acted upon can? Or if it isn't necessary then, what's the definition or requirements for entanglement which I am missing?
quantum-gate quantum-state entanglement
quantum-gate quantum-state entanglement
edited Feb 24 at 22:06
Blue♦
6,56041555
6,56041555
asked Feb 24 at 21:26
bilanushbilanush
37516
37516
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
We don’t use the terminology in the way you’re trying to use it.
Entanglement is a property of states. For pure states shared between two parties, if they can be written in the form
$$
|psirangleotimes|phirangle,
$$
they are separable. If they are not separable, they are entangled. Something like cnot is said to be “an entangling operation” meaning that when it acts on some separable states (but not an arbitrary separable state), it can produce an entangled state vector. We only say that something is entangled in reference to the state vector.
For example, as you say cnot acting on a state such as $|11rangle$ simply produces $|10rangle$, and no entanglement is produced. But, cnot acting on $(|0rangle+|1rangle)otimes|1rangle$ produces $|01rangle+|10rangle$, which is entangled. Hence, cnot is capable of turning a separable state into an entangled state, so it is entangling.
I should also mention that a matrix not being of the form $Aotimes B$ is necessary for it to be entangling but not sufficient. There are operations not of this form which are not entangling, such as swap.
$endgroup$
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
1
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
1
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
1
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
|
show 6 more comments
$begingroup$
There are 3 different questions you need to ask yourself. First is the operator a tensor product of smaller matrices. Then is your input state a tensor product of smaller vectors. Finally is the result a tensor product of smaller vectors.
Stick with the two qubit example and CNOT that you had.
First question: CNOT is not able to be written as $A otimes B$ with $A$ and $B$ operating on 1 qubit each.
Second question: The examples you gave were $(1,0,0,0)=|0 0 rangle$ which can be broken up as $|0 rangle otimes |0 rangle$. The other example can as well. It is $|1 rangle otimes |0 rangle$.
Third question: The result states were $(1,0,0,0)$ which was not entangled again. The other was $(0,0,0,1)$ which is $|1 rangle otimes |1 rangle$ also not entangled.
The implication goes differently than you seem to think.
If the operator was not entangled and written as $A otimes B$ and the input state was not entangled and written as $v otimes w$ with the same dimensions as the operator, then you would get $Av otimes Bw$ as the output. So not entangled operator AND not entangled input vector with the same dimensionality imply not entangled on the output.
So the example shows if you only have operator entangled but input not, the output can still be not entangled.
As another example, take the identity operator. It can be written as $I otimes I$ so it is not entangled. Apply it to an entangled input, you get the same state out. That gives the case of unentangled operator and entangled input giving entangled output.
Edit to respond to comment:
CNOT applied to $(H mid 0 rangle) otimes mid 0 rangle$ gives $frac1sqrt2 mid 0 rangle otimes mid 0 rangle + frac1sqrt2 mid 1 rangle otimes mid 1 rangle$. So the initial state is not entangled, but the output state is a Bell state.
$endgroup$
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
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%2f5547%2fthe-relationship-between-entanglement-of-vector-states-to-matrix-operations%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$
We don’t use the terminology in the way you’re trying to use it.
Entanglement is a property of states. For pure states shared between two parties, if they can be written in the form
$$
|psirangleotimes|phirangle,
$$
they are separable. If they are not separable, they are entangled. Something like cnot is said to be “an entangling operation” meaning that when it acts on some separable states (but not an arbitrary separable state), it can produce an entangled state vector. We only say that something is entangled in reference to the state vector.
For example, as you say cnot acting on a state such as $|11rangle$ simply produces $|10rangle$, and no entanglement is produced. But, cnot acting on $(|0rangle+|1rangle)otimes|1rangle$ produces $|01rangle+|10rangle$, which is entangled. Hence, cnot is capable of turning a separable state into an entangled state, so it is entangling.
I should also mention that a matrix not being of the form $Aotimes B$ is necessary for it to be entangling but not sufficient. There are operations not of this form which are not entangling, such as swap.
$endgroup$
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
1
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
1
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
1
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
|
show 6 more comments
$begingroup$
We don’t use the terminology in the way you’re trying to use it.
Entanglement is a property of states. For pure states shared between two parties, if they can be written in the form
$$
|psirangleotimes|phirangle,
$$
they are separable. If they are not separable, they are entangled. Something like cnot is said to be “an entangling operation” meaning that when it acts on some separable states (but not an arbitrary separable state), it can produce an entangled state vector. We only say that something is entangled in reference to the state vector.
For example, as you say cnot acting on a state such as $|11rangle$ simply produces $|10rangle$, and no entanglement is produced. But, cnot acting on $(|0rangle+|1rangle)otimes|1rangle$ produces $|01rangle+|10rangle$, which is entangled. Hence, cnot is capable of turning a separable state into an entangled state, so it is entangling.
I should also mention that a matrix not being of the form $Aotimes B$ is necessary for it to be entangling but not sufficient. There are operations not of this form which are not entangling, such as swap.
$endgroup$
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
1
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
1
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
1
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
|
show 6 more comments
$begingroup$
We don’t use the terminology in the way you’re trying to use it.
Entanglement is a property of states. For pure states shared between two parties, if they can be written in the form
$$
|psirangleotimes|phirangle,
$$
they are separable. If they are not separable, they are entangled. Something like cnot is said to be “an entangling operation” meaning that when it acts on some separable states (but not an arbitrary separable state), it can produce an entangled state vector. We only say that something is entangled in reference to the state vector.
For example, as you say cnot acting on a state such as $|11rangle$ simply produces $|10rangle$, and no entanglement is produced. But, cnot acting on $(|0rangle+|1rangle)otimes|1rangle$ produces $|01rangle+|10rangle$, which is entangled. Hence, cnot is capable of turning a separable state into an entangled state, so it is entangling.
I should also mention that a matrix not being of the form $Aotimes B$ is necessary for it to be entangling but not sufficient. There are operations not of this form which are not entangling, such as swap.
$endgroup$
We don’t use the terminology in the way you’re trying to use it.
Entanglement is a property of states. For pure states shared between two parties, if they can be written in the form
$$
|psirangleotimes|phirangle,
$$
they are separable. If they are not separable, they are entangled. Something like cnot is said to be “an entangling operation” meaning that when it acts on some separable states (but not an arbitrary separable state), it can produce an entangled state vector. We only say that something is entangled in reference to the state vector.
For example, as you say cnot acting on a state such as $|11rangle$ simply produces $|10rangle$, and no entanglement is produced. But, cnot acting on $(|0rangle+|1rangle)otimes|1rangle$ produces $|01rangle+|10rangle$, which is entangled. Hence, cnot is capable of turning a separable state into an entangled state, so it is entangling.
I should also mention that a matrix not being of the form $Aotimes B$ is necessary for it to be entangling but not sufficient. There are operations not of this form which are not entangling, such as swap.
edited Feb 25 at 10:32
answered Feb 25 at 6:32
DaftWullieDaftWullie
15k1541
15k1541
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
1
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
1
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
1
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
|
show 6 more comments
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
1
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
1
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
1
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
$begingroup$
Thanks this is exactly what I asked in comment on the other answer. I only don't understand what you said in the last paragraph "I should also mention that a matrix being of the form A⊗B is necessary for it to be entangling but not sufficient." What do you mean? If it can be written in this form then certainly it's not entangling I thought
$endgroup$
– bilanush
Feb 25 at 10:16
1
1
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Maybe you meant to say. That a matrix which CAN'T be written as A⊗B then it's a necessary condition for being entangling but not sufficient due to the swap gate. That's what you meant?
$endgroup$
– bilanush
Feb 25 at 10:19
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
$begingroup$
Yes, sorry, typo.
$endgroup$
– DaftWullie
Feb 25 at 10:32
1
1
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
$begingroup$
@bilanush More strictly, you shouldn't be thinking about entanglement in this case. It is there to introduce some non-tensor-product structure. So, you cannot decompose SWAP in terms of just single-qubit gates, you need some controlled-nots in your decomposition (there is a standard construction for swap using 3 controlled-nots)..
$endgroup$
– DaftWullie
Feb 26 at 11:12
1
1
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
$begingroup$
@bilanush Well, that's kind of a triviality given that cnot is its own inverse, if you combine two identical cnots, you get back identity, which is non-entangling. The point is the ability to make a gate which does not decompose as the tensor product (and therefore needs cNOT if decoposing as cNOTs+single qubit unitaries) but does not produce entanglement.
$endgroup$
– DaftWullie
Feb 26 at 12:31
|
show 6 more comments
$begingroup$
There are 3 different questions you need to ask yourself. First is the operator a tensor product of smaller matrices. Then is your input state a tensor product of smaller vectors. Finally is the result a tensor product of smaller vectors.
Stick with the two qubit example and CNOT that you had.
First question: CNOT is not able to be written as $A otimes B$ with $A$ and $B$ operating on 1 qubit each.
Second question: The examples you gave were $(1,0,0,0)=|0 0 rangle$ which can be broken up as $|0 rangle otimes |0 rangle$. The other example can as well. It is $|1 rangle otimes |0 rangle$.
Third question: The result states were $(1,0,0,0)$ which was not entangled again. The other was $(0,0,0,1)$ which is $|1 rangle otimes |1 rangle$ also not entangled.
The implication goes differently than you seem to think.
If the operator was not entangled and written as $A otimes B$ and the input state was not entangled and written as $v otimes w$ with the same dimensions as the operator, then you would get $Av otimes Bw$ as the output. So not entangled operator AND not entangled input vector with the same dimensionality imply not entangled on the output.
So the example shows if you only have operator entangled but input not, the output can still be not entangled.
As another example, take the identity operator. It can be written as $I otimes I$ so it is not entangled. Apply it to an entangled input, you get the same state out. That gives the case of unentangled operator and entangled input giving entangled output.
Edit to respond to comment:
CNOT applied to $(H mid 0 rangle) otimes mid 0 rangle$ gives $frac1sqrt2 mid 0 rangle otimes mid 0 rangle + frac1sqrt2 mid 1 rangle otimes mid 1 rangle$. So the initial state is not entangled, but the output state is a Bell state.
$endgroup$
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
add a comment |
$begingroup$
There are 3 different questions you need to ask yourself. First is the operator a tensor product of smaller matrices. Then is your input state a tensor product of smaller vectors. Finally is the result a tensor product of smaller vectors.
Stick with the two qubit example and CNOT that you had.
First question: CNOT is not able to be written as $A otimes B$ with $A$ and $B$ operating on 1 qubit each.
Second question: The examples you gave were $(1,0,0,0)=|0 0 rangle$ which can be broken up as $|0 rangle otimes |0 rangle$. The other example can as well. It is $|1 rangle otimes |0 rangle$.
Third question: The result states were $(1,0,0,0)$ which was not entangled again. The other was $(0,0,0,1)$ which is $|1 rangle otimes |1 rangle$ also not entangled.
The implication goes differently than you seem to think.
If the operator was not entangled and written as $A otimes B$ and the input state was not entangled and written as $v otimes w$ with the same dimensions as the operator, then you would get $Av otimes Bw$ as the output. So not entangled operator AND not entangled input vector with the same dimensionality imply not entangled on the output.
So the example shows if you only have operator entangled but input not, the output can still be not entangled.
As another example, take the identity operator. It can be written as $I otimes I$ so it is not entangled. Apply it to an entangled input, you get the same state out. That gives the case of unentangled operator and entangled input giving entangled output.
Edit to respond to comment:
CNOT applied to $(H mid 0 rangle) otimes mid 0 rangle$ gives $frac1sqrt2 mid 0 rangle otimes mid 0 rangle + frac1sqrt2 mid 1 rangle otimes mid 1 rangle$. So the initial state is not entangled, but the output state is a Bell state.
$endgroup$
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
add a comment |
$begingroup$
There are 3 different questions you need to ask yourself. First is the operator a tensor product of smaller matrices. Then is your input state a tensor product of smaller vectors. Finally is the result a tensor product of smaller vectors.
Stick with the two qubit example and CNOT that you had.
First question: CNOT is not able to be written as $A otimes B$ with $A$ and $B$ operating on 1 qubit each.
Second question: The examples you gave were $(1,0,0,0)=|0 0 rangle$ which can be broken up as $|0 rangle otimes |0 rangle$. The other example can as well. It is $|1 rangle otimes |0 rangle$.
Third question: The result states were $(1,0,0,0)$ which was not entangled again. The other was $(0,0,0,1)$ which is $|1 rangle otimes |1 rangle$ also not entangled.
The implication goes differently than you seem to think.
If the operator was not entangled and written as $A otimes B$ and the input state was not entangled and written as $v otimes w$ with the same dimensions as the operator, then you would get $Av otimes Bw$ as the output. So not entangled operator AND not entangled input vector with the same dimensionality imply not entangled on the output.
So the example shows if you only have operator entangled but input not, the output can still be not entangled.
As another example, take the identity operator. It can be written as $I otimes I$ so it is not entangled. Apply it to an entangled input, you get the same state out. That gives the case of unentangled operator and entangled input giving entangled output.
Edit to respond to comment:
CNOT applied to $(H mid 0 rangle) otimes mid 0 rangle$ gives $frac1sqrt2 mid 0 rangle otimes mid 0 rangle + frac1sqrt2 mid 1 rangle otimes mid 1 rangle$. So the initial state is not entangled, but the output state is a Bell state.
$endgroup$
There are 3 different questions you need to ask yourself. First is the operator a tensor product of smaller matrices. Then is your input state a tensor product of smaller vectors. Finally is the result a tensor product of smaller vectors.
Stick with the two qubit example and CNOT that you had.
First question: CNOT is not able to be written as $A otimes B$ with $A$ and $B$ operating on 1 qubit each.
Second question: The examples you gave were $(1,0,0,0)=|0 0 rangle$ which can be broken up as $|0 rangle otimes |0 rangle$. The other example can as well. It is $|1 rangle otimes |0 rangle$.
Third question: The result states were $(1,0,0,0)$ which was not entangled again. The other was $(0,0,0,1)$ which is $|1 rangle otimes |1 rangle$ also not entangled.
The implication goes differently than you seem to think.
If the operator was not entangled and written as $A otimes B$ and the input state was not entangled and written as $v otimes w$ with the same dimensions as the operator, then you would get $Av otimes Bw$ as the output. So not entangled operator AND not entangled input vector with the same dimensionality imply not entangled on the output.
So the example shows if you only have operator entangled but input not, the output can still be not entangled.
As another example, take the identity operator. It can be written as $I otimes I$ so it is not entangled. Apply it to an entangled input, you get the same state out. That gives the case of unentangled operator and entangled input giving entangled output.
Edit to respond to comment:
CNOT applied to $(H mid 0 rangle) otimes mid 0 rangle$ gives $frac1sqrt2 mid 0 rangle otimes mid 0 rangle + frac1sqrt2 mid 1 rangle otimes mid 1 rangle$. So the initial state is not entangled, but the output state is a Bell state.
edited Feb 26 at 4:34
answered Feb 24 at 21:50
AHusainAHusain
1,9651411
1,9651411
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
add a comment |
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
$begingroup$
So why does it matter to call CNOT an entanglement if it doesn't act it on the state? since this is what we mostly care about. I mean, is it possible to say that entanglement operator is the only one which can turn an UNentangled state to an entangled one? Can you show me a state which is unentangled but the CNOT turns it into one? Because otherwise who cares about entangled operation
$endgroup$
– bilanush
Feb 24 at 23:54
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%2f5547%2fthe-relationship-between-entanglement-of-vector-states-to-matrix-operations%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