Helstrom Measurement

In mathematics, in the area of quantum information geometry, the Bures metric (named after Donald Bures) or Helstrom metric (named after Carl W. Helstrom) defines an infinitesimal distance between density matrix operators defining quantum states. It is a quantum generalization of the Fisher information metric, and is identical to the Fubini–Study metric when restricted to the pure states alone.

Definition

The Bures metric $G$ may be defined as
:
(\rho, \rho+d\rho)2 = \frac\mbox( d \rho G ),

where $G$ is Hermitian 1-form operator implicitly given by
:$\rho G + G \rho = d \rho,$
which is a special case of a continuous Lyapunov equation.

Some of the applications of the Bures metric include that given a target error, it allows the calculation of the minimum number of measurements to distinguish two different states and the use of the volume element as a candidate for the Jeffreys prior probability density for mixed quantum states.

Bures distance

The Bures distance is the finite version of the infinitesimal square distance described above and is given
by
:$D_B(\rho_1,\rho_2)^2 = 2(1-\sqrt),$
where the fidelity function is defined
as
:
F(\rho_1,\rho_2) = \left \mbox( \sqrt)\right2.

Another associated function is the Bures arc also known as Bures angle, Bures length or quantum angle, defined as
:$D_A(\rho_1,\rho_2) = \arccos \sqrt,$
which is a measure of the statistical distance
between quantum states.

Quantum Fisher information

The Bures metric can be seen as the quantum equivalent of the Fisher information metric and can be rewritten in terms of the variation of coordinate parameters as
:
(\rho, \rho+d\rho)2 = \frac
\mbox\left( \frac L_ \right) d \theta^ d\theta^,

which holds as long as $\rho$ and $\rho+d\rho$ have the same rank. In cases where they do not have the same rank, there is an additional term on the right hand side.
$L_\mu$ is the Symmetric logarithmic derivative operator (SLD) defined from
:$\frac = \frac.$

In this way, one has
:
(\rho, \rho+d\rho)2 =
\frac \mbox\left \rho \frac \rightd \theta^ d\theta^,

where the quantum Fisher metric (tensor components) is identified as
:
J_ = \mbox\left \rho \frac\right

The definition of the SLD implies that the quantum Fisher metric is 4 times the Bures metric. In other words, given that $g_$ are components of the Bures metric tensor, one has
:$J_^ = 4 g_.$

As it happens with the classical Fisher information metric, the quantum Fisher metric can be used to find the Cramér–Rao bound of the covariance.

Explicit formulas

The actual computation of the Bures metric is not evident from the definition, so, some formulas were developed for that purpose. For 2x2 and 3x3 systems, respectively, the quadratic form of the Bures metric is calculated as
:
(\rho, \rho+d\rho)2 =
\frac\mbox\left d \rho d \rho + \frac(\mathbf-\rho)d\rho (\mathbf-\rho)d\rho \right

:
(\rho, \rho+d\rho)2 =
\frac\mbox\left d \rho d \rho + \frac (\mathbf-\rho)d\rho (\mathbf-\rho)d\rho
+ \frac (\mathbf-\rho^)d\rho (\mathbf-\rho^)d\rho
\right

For general systems, the Bures metric can be written in terms of the eigenvectors and eigenvalues of the density matrix $\rho=\sum_^n\lambda_j, j\rangle\langle j,$ as
:
(\rho, \rho+d\rho)2 = \frac \sum_^ \frac,

as an integral,
:
(\rho, \rho+d\rho)2 = \frac\int_0^\infty\text ^d\rho e^d\rho dt,

or in terms of Kronecker product and vectorization,
:
(\rho, \rho+d\rho)2 = \frac\text \rho\dagger\big(\rho^*\otimes \mathbf+\mathbf\otimes\rho\big)^\text \rho

where $^*$ denotes complex conjugate, and $^\dagger$ denotes conjugate transpose. This formula holds for invertible density matrices. For non-invertible density matrices, the inverse above is substituted by the Moore-Penrose pseudoinverse. Alternatively, the expression can be also computed by performing a limit on a certain mixed and thus invertible state.

Two-level system

The state of a two-level system can be parametrized with three variables as
:$\rho = \frac( I + \boldsymbol ),$
where $\boldsymbol$ is the vector of Pauli matrices and $\boldsymbol$ is the (three-dimensional) Bloch vector satisfying $r^2\stackrel \boldsymbol \le 1$.
The components of the Bures metric in this parametrization can be calculated as
:$\mathsf = \frac+\frac$.
The Bures measure can be calculated by taking the square root of the determinant to find
:$dV_B = \frac,$
which can be used to calculate the Bures volume as
:$V_B = \iiint_\frac = \frac .$

Three-level system

The state of a three-level system can be parametrized with eight variables as
:$\rho = \frac( I + \sqrt \sum_^8\xi_\nu\lambda_\nu),$
where $\lambda_\nu$ are the eight Gell-Mann matrices and $\boldsymbol \xi \in\mathbb^8$ the 8-dimensional Bloch vector satisfying certain constraints.

See also

* Fubini–Study metric
* Fidelity of quantum states
* Fisher information
* Fisher information metric

References

Further reading

*
*
*
*
*{{cite book , first1=M. A. , last1=Nielsen , first2=I. L. , last2=Chuang , title=Quantum Computation and Quantum Information , publisher=Cambridge University Press , year=2000 , isbn=0-521-63235-8

Quantum information science