The relationship between entanglement of vector states to matrix operations












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 6 hours ago









      Blue

      6,24531355




      6,24531355










      asked 7 hours ago









      bilanushbilanush

      1076




      1076






















          1 Answer
          1






          active

          oldest

          votes


















          3












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






          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
            4 hours ago













          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

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          3












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






          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
            4 hours ago


















          3












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






          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
            4 hours ago
















          3












          3








          3





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






          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.







          share|improve this answer














          share|improve this answer



          share|improve this answer








          edited 6 hours ago









          Blue

          6,24531355




          6,24531355










          answered 6 hours ago









          AHusainAHusain

          1,8491311




          1,8491311












          • $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
            4 hours ago




















          • $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
            4 hours ago


















          $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
          4 hours ago






          $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
          4 hours ago




















          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

          "Incorrect syntax near the keyword 'ON'. (on update cascade, on delete cascade,)

          Alcedinidae

          Origin of the phrase “under your belt”?