Fidelity of quantum states
Encyclopedia
In quantum information theory, fidelity is a measure of the "closeness" of two quantum states. It is not a metric
on the space of density matrices, but it can be used to define the Bures metric on this space.
. Making the appropriate modification for the matricial notion of square root and mimicking the above definition give the fidelity of two quantum state.
. The Euclidean inner product from the classical definition is replaced by the Hilbert-Schmidt inner product. When the states are classical, i.e. when ρ and σ commute, the definition coincides with that for probability distributions. An equivalent definition is given by where the norm is the trace norm (sum of the singular values). This definition has the advantage that it clearly shows that the fidelity is symmetric in its two arguments. Notice by definition F is non-negative, and F(ρ,ρ) = 1. In the following section it will be shown that it can be no larger than 1. In the original 1994 paper of Jozsa the name 'fidelity' was used for the quantity and this convention is often used in the literature. According to this convention 'fidelity' has a meaning of probability.
of ρ (therefore is an orthonormal basis), then the following equality holds: where is a purification of σ. Therefore, in general, the fidelity is the maximum overlap between purifications. Proof: A simple proof can be sketched as follows. Let denote the vector and σ½ be the unique positive square root of σ. We see that, due to the unitary freedom in square root factorizations and choosing orthonormal bases, an arbitrary purification of σ is of the form where Vi's are unitary operators. Now we directly calculate But in general, for any square matrix A and unitary U, it is true that |Tr(AU)| ≤ Tr (A*A)½. Furthermore, equality is achieved if U* is the unitary operator in the polar decomposition of A. From this follows directly Uhlmann's theorem.
.
between two matrices A and B in terms of the trace norm by When A and B are both density operators, this is a quantum generalization of the statistical distance
. This is relevant because the trace distance provides upper and lower bounds on the fidelity. Often the trace distance is easier to calculate or bound than the fidelity, so these relationships are quite useful. In the case that at least one of the states is a pure state Ψ, the lower bound can be tightened.
: where and are respectively the pre-measurement state corresponding to the result "n" and the target state in which we would like measuring the system before its interaction with the measurement apparatus. The pre-measurement state
is the main tool of the retrodictive approach of quantum physics in which we make predictions about state preparations leading to a certain measurement result. In such an approach, this fidelity has an interesting meaning: this is nothing else than the retrodictive probability of preparing the system in the target state when we read the result "n". Thus, when a measurement is sufficiently faithful , the most probable state in which the system was prepared before the measurement giving the result "n" is this target state .
Metric (mathematics)
In mathematics, a metric or distance function is a function which defines a distance between elements of a set. A set with a metric is called a metric space. A metric induces a topology on a set but not all topologies can be generated by a metric...
on the space of density matrices, but it can be used to define the Bures metric on this space.
Motivation
In probability theory, given two random variables p = (p1...pn) and q = (q1...qn) on the probability space X = {1,2...n}. The fidelity of p and q is defined to be the quantity . In other words, the fidelity F(p,q) is the inner product of and viewed as vectors in Euclidean space. Notice that if and only if p = q, F(p,q) = 1. In general, . This measure is known classically as the Bhattacharyya distanceBhattacharyya distance
In statistics, the Bhattacharyya distance measures the similarity of two discrete or continuous probability distributions. It is closely related to the Bhattacharyya coefficient which is a measure of the amount of overlap between two statistical samples or populations. Both measures are named after A...
. Making the appropriate modification for the matricial notion of square root and mimicking the above definition give the fidelity of two quantum state.
Definition
Given two density matrices ρ and σ, the fidelity is defined by By M½ of a positive semidefinite matrix M, we mean its unique positive square root given by the spectral theoremSpectral theorem
In mathematics, particularly linear algebra and functional analysis, the spectral theorem is any of a number of results about linear operators or about matrices. In broad terms the spectral theorem provides conditions under which an operator or a matrix can be diagonalized...
. The Euclidean inner product from the classical definition is replaced by the Hilbert-Schmidt inner product. When the states are classical, i.e. when ρ and σ commute, the definition coincides with that for probability distributions. An equivalent definition is given by where the norm is the trace norm (sum of the singular values). This definition has the advantage that it clearly shows that the fidelity is symmetric in its two arguments. Notice by definition F is non-negative, and F(ρ,ρ) = 1. In the following section it will be shown that it can be no larger than 1. In the original 1994 paper of Jozsa the name 'fidelity' was used for the quantity and this convention is often used in the literature. According to this convention 'fidelity' has a meaning of probability.
Pure states
Consider pure states and . Their fidelity is This is sometimes called the overlap between two states. If, say, is an eigenstate of an observable, and the system is prepared in , then F(ρ, σ)2 is the probability of the system being in state after the measurement.Commuting states
Let ρ and σ be two density matrices that commute. Therefore they can be simultaneously diagonalized by unitary matrices, and we can write and for some orthonormal basis . Direct calculation shows the fidelity is This shows that, heuristically, fidelity of quantum states is a genuine extension of the notion from probability theory.Unitary invariance
Direct calculation shows that the fidelity is preserved by unitary evolution, i.e. for any unitary operator U.Uhlmann's theorem
We saw that for two pure states, their fidelity coincides with the overlap. Uhlmann's theorem generalizes this statement to mixed states, in terms of their purifications: Theorem Let ρ and σ be density matrices acting on Cn. Let ρ½ be the unique positive square root of ρ and be a purificationPurification of quantum state
In quantum mechanics, especially quantum information, purification refers to the fact that every mixed state acting on finite dimensional Hilbert spaces can be viewed as the reduced state of some pure state....
of ρ (therefore is an orthonormal basis), then the following equality holds: where is a purification of σ. Therefore, in general, the fidelity is the maximum overlap between purifications. Proof: A simple proof can be sketched as follows. Let denote the vector and σ½ be the unique positive square root of σ. We see that, due to the unitary freedom in square root factorizations and choosing orthonormal bases, an arbitrary purification of σ is of the form where Vi's are unitary operators. Now we directly calculate But in general, for any square matrix A and unitary U, it is true that |Tr(AU)| ≤ Tr (A*A)½. Furthermore, equality is achieved if U* is the unitary operator in the polar decomposition of A. From this follows directly Uhlmann's theorem.
Consequences
Some immediate consequences of Uhlmann's theorem areNEWLINE- NEWLINE
- Fidelity is symmetric in its arguments, i.e. F (ρ,σ) = F (σ,ρ). Notice this is not obvious from the definition. NEWLINE
- F (ρ,σ) lies in [0,1], by the Cauchy-Schwarz inequality. NEWLINE
- F (ρ,σ) = 1 if and only if ρ = σ, since Ψρ = Ψσ implies ρ = σ.
Fubini-Study metric
In mathematics, the Fubini–Study metric is a Kähler metric on projective Hilbert space, that is, complex projective space CPn endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study....
.
Relationship to Trace Distance
We can define the trace distanceTrace distance
In quantum mechanics, and especially quantum information and the study of open quantum systems, the trace distance T is a metric on the space of density matrices...
between two matrices A and B in terms of the trace norm by When A and B are both density operators, this is a quantum generalization of the statistical distance
Statistical distance
In statistics, probability theory, and information theory, a statistical distance quantifies the distance between two statistical objects, which can be two samples, two random variables, or two probability distributions, for example.-Metrics:...
. This is relevant because the trace distance provides upper and lower bounds on the fidelity. Often the trace distance is easier to calculate or bound than the fidelity, so these relationships are quite useful. In the case that at least one of the states is a pure state Ψ, the lower bound can be tightened.
Fidelity of quantum measurements
The fidelity of a measurement with a projective measurement is defined as the overlap between their pre-measurement statesQuantum tomography
Quantum tomography or quantum state tomography is the process of reconstructing the quantum state for a source of quantum systems by measurements on the systems coming from the source. The source may be any device or system which prepares quantum states either consistently into quantum pure states...
: where and are respectively the pre-measurement state corresponding to the result "n" and the target state in which we would like measuring the system before its interaction with the measurement apparatus. The pre-measurement state
Quantum tomography
Quantum tomography or quantum state tomography is the process of reconstructing the quantum state for a source of quantum systems by measurements on the systems coming from the source. The source may be any device or system which prepares quantum states either consistently into quantum pure states...
is the main tool of the retrodictive approach of quantum physics in which we make predictions about state preparations leading to a certain measurement result. In such an approach, this fidelity has an interesting meaning: this is nothing else than the retrodictive probability of preparing the system in the target state when we read the result "n". Thus, when a measurement is sufficiently faithful , the most probable state in which the system was prepared before the measurement giving the result "n" is this target state .