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;
$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?
fidelity
$endgroup$
add a comment
|
$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?
fidelity
$endgroup$
add a comment
|
$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?
fidelity
$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
fidelity
asked Jul 21 at 9:40
Tejas ShettyTejas Shetty
1708 bronze badges
1708 bronze badges
add a comment
|
add a comment
|
1 Answer
1
active
oldest
votes
$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.
$endgroup$
add a comment
|
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%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
$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.
$endgroup$
add a comment
|
$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.
$endgroup$
add a comment
|
$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.
$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.
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
add a comment
|
add a comment
|
Thanks for contributing an answer to Quantum Computing Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown