How to superpose two composite qubit states? Planned maintenance scheduled April 17/18, 2019...

First console to have temporary backward compatibility

Is "Reachable Object" really an NP-complete problem?

Why are the trig functions versine, haversine, exsecant, etc, rarely used in modern mathematics?

Significance of Cersei's obsession with elephants?

8 Prisoners wearing hats

How do I find out the mythology and history of my Fortress?

Using audio cues to encourage good posture

Is safe to use va_start macro with this as parameter?

Do jazz musicians improvise on the parent scale in addition to the chord-scales?

How does the math work when buying airline miles?

Can you use the Shield Master feat to shove someone before you make an attack by using a Readied action?

Can a new player join a group only when a new campaign starts?

If my PI received research grants from a company to be able to pay my postdoc salary, did I have a potential conflict interest too?

Do square wave exist?

What does "lightly crushed" mean for cardamon pods?

Can a party unilaterally change candidates in preparation for a General election?

Is grep documentation wrong?

Trademark violation for app?

Closed form of recurrent arithmetic series summation

Is it common practice to audition new musicians one-on-one before rehearsing with the entire band?

How could we fake a moon landing now?

How would a mousetrap for use in space work?

Generate an RGB colour grid

How to answer "Have you ever been terminated?"



How to superpose two composite qubit states?



Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)
Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?What is the difference between superpositions and mixed states?Compute average value of two-qubit systemAre Absolutely Maximally Entangled states maximally entangled under all entanglement monotones?How to prepare a superposed states of odd integers from $1$ to $sqrt{N}$?Representing a real valued vector with qubitsEvaluate the given quantum circuitForming states of the form $sqrt{p}vert 0rangle+sqrt{1-p}vert 1rangle$What is the meaning of the state $|1rangle-|1rangle$?Summing states of two qubit registersNotation for two qubit composite product state





.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}







3












$begingroup$


Assuming we have two sets of $n$ qubits. The first set of $n$ qubits is in state $|arangle$ and second set in $|brangle$. Is there a fixed procedure that generates a superposed state of the two $|arangle + |brangle$ ?






quantum-state circuit-construction superposition







share|improve this question











$endgroup$



















    3












    $begingroup$


    Assuming we have two sets of $n$ qubits. The first set of $n$ qubits is in state $|arangle$ and second set in $|brangle$. Is there a fixed procedure that generates a superposed state of the two $|arangle + |brangle$ ?






    quantum-state circuit-construction superposition







    share|improve this question











    $endgroup$















      3












      3








      3





      $begingroup$


      Assuming we have two sets of $n$ qubits. The first set of $n$ qubits is in state $|arangle$ and second set in $|brangle$. Is there a fixed procedure that generates a superposed state of the two $|arangle + |brangle$ ?






      quantum-state circuit-construction superposition







      share|improve this question











      $endgroup$




      Assuming we have two sets of $n$ qubits. The first set of $n$ qubits is in state $|arangle$ and second set in $|brangle$. Is there a fixed procedure that generates a superposed state of the two $|arangle + |brangle$ ?






      quantum-state circuit-construction superposition




      quantum-state circuit-construction superposition






      share|improve this question















      share|improve this question













      share|improve this question




      share|improve this question








      edited 14 hours ago









      Sanchayan Dutta♦

      6,69641556




      6,69641556










      asked 19 hours ago









      wang1908wang1908

      313




      313






















          2 Answers
          2






          active

          oldest

          votes


















          5












          $begingroup$

          Depending on what precisely your assumptions are about a, b, I think this is essentially impossible, and is something called the "no superposing theorem". Please see this paper.






          share|improve this answer











          $endgroup$





















            3












            $begingroup$

            Your question is not quite correctly defined.



            First of all, $|arangle + |brangle$ is not a state. You need to normalize it by considering $frac{1}{|||arangle + |brangle||}(|arangle + |brangle)$.

            Secondly, in fact, you don't have access to the states $|arangle$ and $|brangle$ but to the states up to some global phase, i.e. you can think that the first register is in the vector-state $e^{iphi}|arangle$ and the second register is in the vector-state $e^{ipsi}|brangle$ with inaccessible $phi, psi$. Since you don't have access to $phi, psi$, you can't define sum $|arangle + |brangle$. But you can ask to construct normalized state $|arangle + e^{ it}|brangle$ for some $t$. This question is correct. Though, as DaftWullie pointed out in his answer, it is impossible to construct such a state.






            share|improve this answer











            $endgroup$













            • $begingroup$
              Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
              $endgroup$
              – wizzwizz4
              14 hours ago








            • 2




              $begingroup$
              @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
              $endgroup$
              – Danylo Y
              13 hours ago














            Your Answer








            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "694"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: false,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: null,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5929%2fhow-to-superpose-two-composite-qubit-states%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









            5












            $begingroup$

            Depending on what precisely your assumptions are about a, b, I think this is essentially impossible, and is something called the "no superposing theorem". Please see this paper.






            share|improve this answer











            $endgroup$


















              5












              $begingroup$

              Depending on what precisely your assumptions are about a, b, I think this is essentially impossible, and is something called the "no superposing theorem". Please see this paper.






              share|improve this answer











              $endgroup$
















                5












                5








                5





                $begingroup$

                Depending on what precisely your assumptions are about a, b, I think this is essentially impossible, and is something called the "no superposing theorem". Please see this paper.






                share|improve this answer











                $endgroup$



                Depending on what precisely your assumptions are about a, b, I think this is essentially impossible, and is something called the "no superposing theorem". Please see this paper.







                share|improve this answer














                share|improve this answer



                share|improve this answer








                edited 14 hours ago









                Sanchayan Dutta♦

                6,69641556




                6,69641556










                answered 18 hours ago









                DaftWullieDaftWullie

                15.5k1642




                15.5k1642

























                    3












                    $begingroup$

                    Your question is not quite correctly defined.



                    First of all, $|arangle + |brangle$ is not a state. You need to normalize it by considering $frac{1}{|||arangle + |brangle||}(|arangle + |brangle)$.

                    Secondly, in fact, you don't have access to the states $|arangle$ and $|brangle$ but to the states up to some global phase, i.e. you can think that the first register is in the vector-state $e^{iphi}|arangle$ and the second register is in the vector-state $e^{ipsi}|brangle$ with inaccessible $phi, psi$. Since you don't have access to $phi, psi$, you can't define sum $|arangle + |brangle$. But you can ask to construct normalized state $|arangle + e^{ it}|brangle$ for some $t$. This question is correct. Though, as DaftWullie pointed out in his answer, it is impossible to construct such a state.






                    share|improve this answer











                    $endgroup$













                    • $begingroup$
                      Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
                      $endgroup$
                      – wizzwizz4
                      14 hours ago








                    • 2




                      $begingroup$
                      @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
                      $endgroup$
                      – Danylo Y
                      13 hours ago


















                    3












                    $begingroup$

                    Your question is not quite correctly defined.



                    First of all, $|arangle + |brangle$ is not a state. You need to normalize it by considering $frac{1}{|||arangle + |brangle||}(|arangle + |brangle)$.

                    Secondly, in fact, you don't have access to the states $|arangle$ and $|brangle$ but to the states up to some global phase, i.e. you can think that the first register is in the vector-state $e^{iphi}|arangle$ and the second register is in the vector-state $e^{ipsi}|brangle$ with inaccessible $phi, psi$. Since you don't have access to $phi, psi$, you can't define sum $|arangle + |brangle$. But you can ask to construct normalized state $|arangle + e^{ it}|brangle$ for some $t$. This question is correct. Though, as DaftWullie pointed out in his answer, it is impossible to construct such a state.






                    share|improve this answer











                    $endgroup$













                    • $begingroup$
                      Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
                      $endgroup$
                      – wizzwizz4
                      14 hours ago








                    • 2




                      $begingroup$
                      @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
                      $endgroup$
                      – Danylo Y
                      13 hours ago
















                    3












                    3








                    3





                    $begingroup$

                    Your question is not quite correctly defined.



                    First of all, $|arangle + |brangle$ is not a state. You need to normalize it by considering $frac{1}{|||arangle + |brangle||}(|arangle + |brangle)$.

                    Secondly, in fact, you don't have access to the states $|arangle$ and $|brangle$ but to the states up to some global phase, i.e. you can think that the first register is in the vector-state $e^{iphi}|arangle$ and the second register is in the vector-state $e^{ipsi}|brangle$ with inaccessible $phi, psi$. Since you don't have access to $phi, psi$, you can't define sum $|arangle + |brangle$. But you can ask to construct normalized state $|arangle + e^{ it}|brangle$ for some $t$. This question is correct. Though, as DaftWullie pointed out in his answer, it is impossible to construct such a state.






                    share|improve this answer











                    $endgroup$



                    Your question is not quite correctly defined.



                    First of all, $|arangle + |brangle$ is not a state. You need to normalize it by considering $frac{1}{|||arangle + |brangle||}(|arangle + |brangle)$.

                    Secondly, in fact, you don't have access to the states $|arangle$ and $|brangle$ but to the states up to some global phase, i.e. you can think that the first register is in the vector-state $e^{iphi}|arangle$ and the second register is in the vector-state $e^{ipsi}|brangle$ with inaccessible $phi, psi$. Since you don't have access to $phi, psi$, you can't define sum $|arangle + |brangle$. But you can ask to construct normalized state $|arangle + e^{ it}|brangle$ for some $t$. This question is correct. Though, as DaftWullie pointed out in his answer, it is impossible to construct such a state.







                    share|improve this answer














                    share|improve this answer



                    share|improve this answer








                    edited 14 hours ago









                    Sanchayan Dutta♦

                    6,69641556




                    6,69641556










                    answered 15 hours ago









                    Danylo YDanylo Y

                    58116




                    58116












                    • $begingroup$
                      Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
                      $endgroup$
                      – wizzwizz4
                      14 hours ago








                    • 2




                      $begingroup$
                      @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
                      $endgroup$
                      – Danylo Y
                      13 hours ago




















                    • $begingroup$
                      Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
                      $endgroup$
                      – wizzwizz4
                      14 hours ago








                    • 2




                      $begingroup$
                      @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
                      $endgroup$
                      – Danylo Y
                      13 hours ago


















                    $begingroup$
                    Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
                    $endgroup$
                    – wizzwizz4
                    14 hours ago






                    $begingroup$
                    Can't you just set $t = 0 mod 2pi$? Or is $t$ something out of your control?
                    $endgroup$
                    – wizzwizz4
                    14 hours ago






                    2




                    2




                    $begingroup$
                    @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
                    $endgroup$
                    – Danylo Y
                    13 hours ago






                    $begingroup$
                    @wizzwizz4 Yes, $t$ is unknown. Again, you can't define sum $e^{iphi}|arangle + e^{ipsi}|brangle$ to be equal to some exact state (that depends only on $|arangle$ and $|brangle$). But you can define this sum to be of some type of state. This type of state can be defined as $|arangle + e^{ it}|brangle$ since $e^{iphi}|arangle + e^{ipsi}|brangle = e^{iphi} (|arangle + e^{ i(psi - phi)}|brangle) propto |arangle + e^{ i(psi - phi)}|brangle$.
                    $endgroup$
                    – Danylo Y
                    13 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%2f5929%2fhow-to-superpose-two-composite-qubit-states%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

                    Couldn't open a raw socket. Error: Permission denied (13) (nmap)Is it possible to run networking commands...

                    Image
                    Why didn't Boeing produce its own regional jet? What is the most common color to indicate the input-field is disabled? Theorists sure want true answers to this! What is the opposite of "eschatology"? What do you call someone who asks many questions? Is there a hemisphere-neutral way of specifying a season? Is this draw by repetition? Bug? String.split chopping off empty trailing value Is it inappropriate for a student to attend their mentor's dissertation defense? How dangerous is XSS Why do I get negative height? Is it possible to map
                    Read more

                    VNC viewer RFB protocol error: bad desktop size 0x0I Cannot Type the Key 'd' (lowercase) in VNC Viewer...

                    Image
                    risk of flooding in petra in november How to get directions in deep space? How could a planet have erratic days? 15% tax on $7.5k earnings. Is that right? Did the UK lift the requirement for registering SIM cards? Is it allowed to activate the ability of multiple planeswalkers in a single turn? Stack Interview Code methods made from class Node and Smart Pointers Non-trope happy ending? What is the highest possible scrabble score for placing a single tile Open a doc from terminal, but not by its name The IT department bottlenecks progress, how should I handle this?
                    Read more

                    Why not use the yoke to control yaw, as well as pitch and roll? Announcing the arrival of...

                    Image
                    Does the Mueller report show a conspiracy between Russia and the Trump Campaign? Relating to the President and obstruction, were Mueller's conclusions preordained? How much damage would a cupful of neutron star matter do to the Earth? Nose gear failure in single prop aircraft: belly landing or nose landing? Should a wizard buy fine inks every time he want to copy spells into his spellbook? Can you force honesty by using the Speak with Dead and Zone of Truth spells together? A trigonometry question from STEP examination Special flights What is the "studentd" process? systemd and copy (/bin/cp): no such file or directory
                    Read more