What would be an ideal fidelity measure to determine the closeness between two non unitary matrices?Purpose of using Fidelity in Randomised BenchmarkingWhat is the longest time a qubit has survived with 0.9999 fidelity?Are there disadvantages in using the inner product between states instead of the fidelity?

Do physicists understand why time slows down the faster the velocity of an object?

Does the analysis of syllables via mora imply that syllable duration is quantized?

How to present boolean options along with selecting exactly 1 of them as "primary"?

What do you call someone whose unmarried partner has died?

Can you make monkeys human?

Create virtual block device which writes to /dev/null

Total I/O cost of a process

How do you say "I see her coming" in french?

Can a Scourge Aasimar fly?

Should a middle class person emulate a very wealthy investor for % of cash hold?

crontab not running second argument after first argument

Why rounding odd font sizes to even?

"Chess is 90% tactics" - should a player focus more on tactics in order to improve?

Can we rotate symbols in LaTeX? How should we make this diagram?

What type of rhetorical device is the offering of a source which is really long and not specifying what part of the source is relevant?

What to do with a bent but not broken aluminum seat stay

tizk aligning arc between nodes + same length

I have stack-exchanged through my undergrad math program. Am I likely to succeed in Mathematics PhD programs?

Translation Golf XLIX - An Accurate Shot

Why did the Bohr Model Successfully calculate some of the energy levels in hydrogen?

What's an "add" chord?

What type of beer is best for beer battered fish?

What is the lowest level at which a human can beat the 100m world record (or: the presumed human limit) without using magic?

Would nuclear bombs be effective against clouds of nanites?



What would be an ideal fidelity measure to determine the closeness between two non unitary matrices?


Purpose of using Fidelity in Randomised BenchmarkingWhat is the longest time a qubit has survived with 0.9999 fidelity?Are there disadvantages in using the inner product between states instead of the fidelity?






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









3














$begingroup$


The Hibert Schmidt norm $tr(A^daggerB)$ works well for unitaries.
It has a value of one when the matrices are equal and less than one otherwise. But this norm is absolutely unsuitable for non-unitary matrices.
I thought maybe $fractr(A^daggerB)sqrttr(A^daggerA) sqrttr(B^daggerB)$ would be a good idea?










share|improve this question










$endgroup$





















    3














    $begingroup$


    The Hibert Schmidt norm $tr(A^daggerB)$ works well for unitaries.
    It has a value of one when the matrices are equal and less than one otherwise. But this norm is absolutely unsuitable for non-unitary matrices.
    I thought maybe $fractr(A^daggerB)sqrttr(A^daggerA) sqrttr(B^daggerB)$ would be a good idea?










    share|improve this question










    $endgroup$

















      3












      3








      3





      $begingroup$


      The Hibert Schmidt norm $tr(A^daggerB)$ works well for unitaries.
      It has a value of one when the matrices are equal and less than one otherwise. But this norm is absolutely unsuitable for non-unitary matrices.
      I thought maybe $fractr(A^daggerB)sqrttr(A^daggerA) sqrttr(B^daggerB)$ would be a good idea?










      share|improve this question










      $endgroup$




      The Hibert Schmidt norm $tr(A^daggerB)$ works well for unitaries.
      It has a value of one when the matrices are equal and less than one otherwise. But this norm is absolutely unsuitable for non-unitary matrices.
      I thought maybe $fractr(A^daggerB)sqrttr(A^daggerA) sqrttr(B^daggerB)$ would be a good idea?







      fidelity






      share|improve this question














      share|improve this question











      share|improve this question




      share|improve this question










      asked Jul 21 at 9:40









      Tejas ShettyTejas Shetty

      1708 bronze badges




      1708 bronze badges























          1 Answer
          1






          active

          oldest

          votes


















          4
















          $begingroup$

          When you ask about an 'ideal' fidelity measure, it assumes that there is one measure which inherently is the most meaningful or truest measure. But this isn't really the case.




          • For unitary operators, our analysis of the error used in approximating one unitary by another involves the distance induced by the operator norm: $$ bigllVert U - V bigrrVert_infty := max_substacklvert psirangle ne mathbf 0 fracbigl lVert (U - V) lvert psi rangle bigrrVert_2bigl lVert lvert psi rangle bigrrVert_2 $$ That is, it is the greatest factor by which the Euclidean norm (or 2-norm) of a vector will be increased by the action of $(U - V)$: if the two operators are very nearly equal, this factor will be very small.



            I know you asked for norms on non-unitary matrices, but if a norm is useful for non-unitary matrices, you might hope that it would also be useful for unitary matrices, and the point here is that the 'operator norm' is. It is also useful for (non-unitary) observables: for two Hermitian operators $E$ and $F$ — representing evolution Hamiltonians, for instance, or measurement projectors — the operator norm $lVert E - F rVert$ conveys how similar $E$ and $F$ are in a way which directly relates to how easily you can operationally distinguish one from the other.



          • On the other hand, for density operators $rho$ and $sigma$, the best distance measure to describe how easily you can distinguish them is the trace norm: $$bigllVert rho - sigma bigrrVert_mathrmtr := mathrmtr Bigl( sqrt(rho - sigma) ^2 Bigr)$$ which is the same as (in fact, it's just a fancy way of writing) the sum of the absolute values of the eigenvalues of $(rho - sigma) $: if the two operators are very nearly equal, this sum will be very small.


          So, which norm you want to use to describe distances on operators, depends on what those operators are and what you would like to say about them.






          share|improve this answer












          $endgroup$
















            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/4.0/"u003ecc by-sa 4.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%2f6821%2fwhat-would-be-an-ideal-fidelity-measure-to-determine-the-closeness-between-two-n%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









            4
















            $begingroup$

            When you ask about an 'ideal' fidelity measure, it assumes that there is one measure which inherently is the most meaningful or truest measure. But this isn't really the case.




            • For unitary operators, our analysis of the error used in approximating one unitary by another involves the distance induced by the operator norm: $$ bigllVert U - V bigrrVert_infty := max_substacklvert psirangle ne mathbf 0 fracbigl lVert (U - V) lvert psi rangle bigrrVert_2bigl lVert lvert psi rangle bigrrVert_2 $$ That is, it is the greatest factor by which the Euclidean norm (or 2-norm) of a vector will be increased by the action of $(U - V)$: if the two operators are very nearly equal, this factor will be very small.



              I know you asked for norms on non-unitary matrices, but if a norm is useful for non-unitary matrices, you might hope that it would also be useful for unitary matrices, and the point here is that the 'operator norm' is. It is also useful for (non-unitary) observables: for two Hermitian operators $E$ and $F$ — representing evolution Hamiltonians, for instance, or measurement projectors — the operator norm $lVert E - F rVert$ conveys how similar $E$ and $F$ are in a way which directly relates to how easily you can operationally distinguish one from the other.



            • On the other hand, for density operators $rho$ and $sigma$, the best distance measure to describe how easily you can distinguish them is the trace norm: $$bigllVert rho - sigma bigrrVert_mathrmtr := mathrmtr Bigl( sqrt(rho - sigma) ^2 Bigr)$$ which is the same as (in fact, it's just a fancy way of writing) the sum of the absolute values of the eigenvalues of $(rho - sigma) $: if the two operators are very nearly equal, this sum will be very small.


            So, which norm you want to use to describe distances on operators, depends on what those operators are and what you would like to say about them.






            share|improve this answer












            $endgroup$



















              4
















              $begingroup$

              When you ask about an 'ideal' fidelity measure, it assumes that there is one measure which inherently is the most meaningful or truest measure. But this isn't really the case.




              • For unitary operators, our analysis of the error used in approximating one unitary by another involves the distance induced by the operator norm: $$ bigllVert U - V bigrrVert_infty := max_substacklvert psirangle ne mathbf 0 fracbigl lVert (U - V) lvert psi rangle bigrrVert_2bigl lVert lvert psi rangle bigrrVert_2 $$ That is, it is the greatest factor by which the Euclidean norm (or 2-norm) of a vector will be increased by the action of $(U - V)$: if the two operators are very nearly equal, this factor will be very small.



                I know you asked for norms on non-unitary matrices, but if a norm is useful for non-unitary matrices, you might hope that it would also be useful for unitary matrices, and the point here is that the 'operator norm' is. It is also useful for (non-unitary) observables: for two Hermitian operators $E$ and $F$ — representing evolution Hamiltonians, for instance, or measurement projectors — the operator norm $lVert E - F rVert$ conveys how similar $E$ and $F$ are in a way which directly relates to how easily you can operationally distinguish one from the other.



              • On the other hand, for density operators $rho$ and $sigma$, the best distance measure to describe how easily you can distinguish them is the trace norm: $$bigllVert rho - sigma bigrrVert_mathrmtr := mathrmtr Bigl( sqrt(rho - sigma) ^2 Bigr)$$ which is the same as (in fact, it's just a fancy way of writing) the sum of the absolute values of the eigenvalues of $(rho - sigma) $: if the two operators are very nearly equal, this sum will be very small.


              So, which norm you want to use to describe distances on operators, depends on what those operators are and what you would like to say about them.






              share|improve this answer












              $endgroup$

















                4














                4










                4







                $begingroup$

                When you ask about an 'ideal' fidelity measure, it assumes that there is one measure which inherently is the most meaningful or truest measure. But this isn't really the case.




                • For unitary operators, our analysis of the error used in approximating one unitary by another involves the distance induced by the operator norm: $$ bigllVert U - V bigrrVert_infty := max_substacklvert psirangle ne mathbf 0 fracbigl lVert (U - V) lvert psi rangle bigrrVert_2bigl lVert lvert psi rangle bigrrVert_2 $$ That is, it is the greatest factor by which the Euclidean norm (or 2-norm) of a vector will be increased by the action of $(U - V)$: if the two operators are very nearly equal, this factor will be very small.



                  I know you asked for norms on non-unitary matrices, but if a norm is useful for non-unitary matrices, you might hope that it would also be useful for unitary matrices, and the point here is that the 'operator norm' is. It is also useful for (non-unitary) observables: for two Hermitian operators $E$ and $F$ — representing evolution Hamiltonians, for instance, or measurement projectors — the operator norm $lVert E - F rVert$ conveys how similar $E$ and $F$ are in a way which directly relates to how easily you can operationally distinguish one from the other.



                • On the other hand, for density operators $rho$ and $sigma$, the best distance measure to describe how easily you can distinguish them is the trace norm: $$bigllVert rho - sigma bigrrVert_mathrmtr := mathrmtr Bigl( sqrt(rho - sigma) ^2 Bigr)$$ which is the same as (in fact, it's just a fancy way of writing) the sum of the absolute values of the eigenvalues of $(rho - sigma) $: if the two operators are very nearly equal, this sum will be very small.


                So, which norm you want to use to describe distances on operators, depends on what those operators are and what you would like to say about them.






                share|improve this answer












                $endgroup$



                When you ask about an 'ideal' fidelity measure, it assumes that there is one measure which inherently is the most meaningful or truest measure. But this isn't really the case.




                • For unitary operators, our analysis of the error used in approximating one unitary by another involves the distance induced by the operator norm: $$ bigllVert U - V bigrrVert_infty := max_substacklvert psirangle ne mathbf 0 fracbigl lVert (U - V) lvert psi rangle bigrrVert_2bigl lVert lvert psi rangle bigrrVert_2 $$ That is, it is the greatest factor by which the Euclidean norm (or 2-norm) of a vector will be increased by the action of $(U - V)$: if the two operators are very nearly equal, this factor will be very small.



                  I know you asked for norms on non-unitary matrices, but if a norm is useful for non-unitary matrices, you might hope that it would also be useful for unitary matrices, and the point here is that the 'operator norm' is. It is also useful for (non-unitary) observables: for two Hermitian operators $E$ and $F$ — representing evolution Hamiltonians, for instance, or measurement projectors — the operator norm $lVert E - F rVert$ conveys how similar $E$ and $F$ are in a way which directly relates to how easily you can operationally distinguish one from the other.



                • On the other hand, for density operators $rho$ and $sigma$, the best distance measure to describe how easily you can distinguish them is the trace norm: $$bigllVert rho - sigma bigrrVert_mathrmtr := mathrmtr Bigl( sqrt(rho - sigma) ^2 Bigr)$$ which is the same as (in fact, it's just a fancy way of writing) the sum of the absolute values of the eigenvalues of $(rho - sigma) $: if the two operators are very nearly equal, this sum will be very small.


                So, which norm you want to use to describe distances on operators, depends on what those operators are and what you would like to say about them.







                share|improve this answer















                share|improve this answer




                share|improve this answer








                edited Jul 21 at 12:50









                Mithrandir24601

                2,8072 gold badges10 silver badges36 bronze badges




                2,8072 gold badges10 silver badges36 bronze badges










                answered Jul 21 at 12:41









                Niel de BeaudrapNiel de Beaudrap

                7,7691 gold badge13 silver badges45 bronze badges




                7,7691 gold badge13 silver badges45 bronze badges































                    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%2f6821%2fwhat-would-be-an-ideal-fidelity-measure-to-determine-the-closeness-between-two-n%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

                    Tamil (spriik) Luke uk diar | Nawigatjuun

                    Align equal signs while including text over equalitiesAMS align: left aligned text/math plus multicolumn alignmentMultiple alignmentsAligning equations in multiple placesNumbering and aligning an equation with multiple columnsHow to align one equation with another multline equationUsing \ in environments inside the begintabularxNumber equations and preserving alignment of equal signsHow can I align equations to the left and to the right?Double equation alignment problem within align enviromentAligned within align: Why are they right-aligned?

                    Where does the image of a data connector as a sharp metal spike originate from?Where does the concept of infected people turning into zombies only after death originate from?Where does the motif of a reanimated human head originate?Where did the notion that Dragons could speak originate?Where does the archetypal image of the 'Grey' alien come from?Where did the suffix '-Man' originate?Where does the notion of being injured or killed by an illusion originate?Where did the term “sophont” originate?Where does the trope of magic spells being driven by advanced technology originate from?Where did the term “the living impaired” originate?