The relationship between entanglement of vector states to matrix operations

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP












2












$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?










share|improve this question











$endgroup$
















    2












    $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?










    share|improve this question











    $endgroup$














      2












      2








      2





      $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?










      share|improve this question











      $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






      share|improve this question















      share|improve this question













      share|improve this question




      share|improve this question








      edited Feb 24 at 22:06









      Blue

      6,56041555




      6,56041555










      asked Feb 24 at 21:26









      bilanushbilanush

      37516




      37516




















          2 Answers
          2






          active

          oldest

          votes


















          6












          $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.






          share|improve this answer











          $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


















          4












          $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.






          share|improve this answer











          $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











          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
          );



          );













          draft saved

          draft discarded


















          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









          6












          $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.






          share|improve this answer











          $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















          6












          $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.






          share|improve this answer











          $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













          6












          6








          6





          $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.






          share|improve this answer











          $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.







          share|improve this answer














          share|improve this answer



          share|improve this answer








          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
















          • $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













          4












          $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.






          share|improve this answer











          $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
















          4












          $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.






          share|improve this answer











          $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














          4












          4








          4





          $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.






          share|improve this answer











          $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.







          share|improve this answer














          share|improve this answer



          share|improve this answer








          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

















          • $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


















          draft saved

          draft discarded
















































          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.




          draft saved


          draft discarded














          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





















































          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






          Popular posts from this blog

          Peggy Mitchell

          Palaiologos

          The Forum (Inglewood, California)