Fidelity
In this part of the lesson, we'll discuss the fidelity between quantum states, which is a measure of their similarity — or how much they "overlap."
Given two quantum state vectors, the fidelity between the pure states associated with these quantum state vectors equals the absolute value of the inner product between the quantum state vectors. This provides a basic way to measure their similarity: the result is a value between and with larger values indicating greater similarity. In particular, the value is zero for orthogonal states (by definition), while the value is for states equivalent up to a global phase.
Intuitively speaking, the fidelity can be seen as an extension of this basic measure of similarity, from quantum state vectors to density matrices.
Definition of fidelity
It's fitting to begin with a definition of fidelity. At first glance, the definition that follows might look unusual or mysterious, and perhaps not easy to work with. The function it defines, however, turns out to have many interesting properties and multiple alternative formulations, making it much nicer to work with than it may initially appear.
Definition. Let and be density matrices representing quantum states of the same system. The fidelity between and is defined as
Remark. Although this is a common definition, it is also common that the fidelity is defined as the square of the quantity defined here, which is then referred to as the root-fidelity. Neither definition is right or wrong — it's essentially a matter of preference. Nevertheless, one must always be careful to understand or clarify which definition is being used.
To make sense of the formula in the definition, notice first that is a positive semidefinite matrix:
for Like all positive semidefinite matrices, this positive semidefinite matrix has a unique positive semidefinite square root, the trace of which is the fidelity.
For every square matrix the eigenvalues of the two positive semidefinite matrices and are always the same, and hence the same is true for the square roots of these matrices. Choosing and using the fact that the trace of a square matrix is the sum of its eigenvalues, we find that
So, although it is not immediate from the definition, the fidelity is symmetric in its two arguments.
Fidelity in terms of the trace norm
An equivalent way to express the fidelity is by this formula:
Here we see the trace norm, which we encountered in the previous lesson in the context of state discrimination. The trace norm of a (not necessarily square) matrix can be defined as
and by applying this definition to the matrix we obtain the formula in the definition.
An alternative way to express the trace norm of a (square) matrix is through this formula.
Here the maximum is over all unitary matrices having the same number of rows and columns as Applying this formula in the situation at hand reveals another expression of the fidelity.
Fidelity for pure states
One last point on the definition of fidelity is that every pure state is (as a density matrix) equal to its own square root, which allows the formula for the fidelity to be simplified considerably when one or both of the states is pure. In particular, if one of the two states is pure we have the following formula.
If both states are pure, the formula simplifies to the absolute value of the inner product of the corresponding quantum state vectors, as was mentioned at the start of the section.
Basic properties of fidelity
The fidelity has many remarkable properties and several alternative formulations. Here are just a few basic properties listed without proofs.
- For any two density matrices and having the same size, the fidelity lies between zero and one: It is the case that if and only if and have orthogonal images (so they can be discriminated without error), and if and only if
- The fidelity is multiplicative, meaning that the fidelity between two product states is equal to the product of the individual fidelities:
- The fidelity between states is nondecreasing under the action of any channel. That is, if and are density matrices and is a channel that can take these two states as input, then it is necessarily the case that
- The Fuchs-van de Graaf inequalities establish a close (though not exact) relationship between fidelity and trace distance: for any two states and we have
The final property can be expressed in the form of a figure:
Specifically, for any choice of states and of the same system, the horizontal line that crosses the -axis at and the vertical line that crosses the -axis at must intersect within the gray region bordered below by the line and above by the unit circle. The most interesting region of this figure from a practical viewpoint is the upper left-hand corner of the gray region: if the fidelity between two states is close to one, then their trace distance is close to zero, and vice versa.
Gentle measurement lemma
Next we'll take a look at a simple but important fact, known as the gentle measurement lemma, which connects fidelity to non-destructive measurements. It's a very useful lemma that comes up from time to time, and it's also noteworthy because the seemingly clunky definition for the fidelity actually makes the lemma very easy to prove.
The set-up is as follows. Let be a system in a state and let be a collection of positive semidefinite matrices representing a general measurement of Suppose further that if this measurement is performed on the system while it's in the state one of the outcomes is highly likely. To be concrete, let's assume that the likely measurement outcome is and specifically let's assume that
for a small positive real number
What the gentle measurement lemma states is that, under these assumptions, the non-destructive measurement obtained from through Naimark's theorem causes only a small disturbance to in case the likely measurement outcome is observed.
More specifically, the lemma states that the fidelity-squared between and the state we obtain from the non-destructive measurement, conditioned on the outcome being is greater than
We'll need a basic fact about measurements to prove this. The measurement matrices are positive semidefinite and sum to the identity, which allows us to conclude that all of the eigenvalues of are real numbers between and This follows from the fact that, for any unit vector the value is a nonnegative real number for each (because each is positive semidefinite), together with these numbers summing to one.
Hence is always a real number between and and this implies that every eigenvalue of is a real number between and because we can choose specifically to be a unit eigenvector corresponding to whichever eigenvalue is of interest.
From this observation we can conclude the following inequality for every density matrix
In greater detail, starting from a spectral decomposition
we conclude that
from the fact that is a nonnegative real number and for each (Squaring numbers between and can never make them larger.)
Now we can prove the gentle measurement lemma by evaluating the fidelity and then using our inequality. First, let's simplify the expression we're interested in.
Notice that these are all equalities — we've not used our inequality (or any other inequality) at this point, so we have an exact expression for the fidelity. We can now use our inequality to conclude
and therefore, by squaring both sides,
Uhlmann's theorem
To conclude the lesson, we'll take a look at Uhlmann's theorem, which is a fundamental fact about the fidelity that connects it with the notion of a purification. What the theorem says, in simple terms, is that the fidelity between any two quantum states is equal to the maximum inner product (in absolute value) between two purifications of those states.
Theorem (Uhlmann's theorem). Let and be density matrices representing states of a system and let be a system having at least as many classical states as The fidelity between and is given by
where the maximum is taken over all quantum state vectors and of
We can prove this theorem using the unitary equivalence of purifications — but it isn't completely straightforward and we'll make use of a trick along the way.
To begin, consider spectral decompositions of the two density matrices and
The two collections and are orthonormal bases of eigenvectors of and respectively, and and are the corresponding eigenvalues.
We'll also define and to be the vectors obtained by taking the complex conjugate of each entry of and That is, for an arbitrary vector we can define according to the following equation for each
Notice that for any two vectors and we have More generally, for any square matrix we have the following formula.
It follows that and are orthogonal if and only if and are orthogonal, and therefore and are both orthonormal bases.
Now consider the following two vectors and which are purifications of and respectively.
This is the trick referred to previously. Nothing indicates explicitly at this point that it's a good idea to make these particular choices for purifications of and but they are valid purifications, and the complex conjugations will allow the algebra to work out the way we need.
By the unitary equivalence of purifications, we know that every purification of for the pair of systems must take the form for some unitary matrix and likewise every purification of for the pair must take the form for some unitary matrix The inner product of two such purifications can be simplified as follows.
As and range over all possible unitary matrices, the matrix also ranges over all possible unitary matrices. Thus, maximizing the absolute value of the inner product of two purifications of and yields the following equation.
Post-course survey
Congratulations on completing this course! Please take a moment to help us improve our course by filling out the following quick survey. Your feedback will be used to enhance our content offering and user experience. Thank you!"