From statistical distinguishability of probability distributions, one can define distinguishability of quantum states. A corresponding measurement to perform, optimal in a definite sense, for distinguishing between two given states ρ A and ρ B , has been derived by Fuchs and Caves. We show that the Bures–Uhlmann geodesic through the two states singles out this measurement. The geodesic ‘bounces’ at the boundary of the set of quantum states. Whenever the geodesic hits the boundary, the state orthogonal to that boundary state is one of the basis states for the measurement.
From statistical distinguishability of probability distributions, one can define distinguishability of quantum states. A corresponding measurement to perform, optimal in a definite sense, for distinguishing between two given states ρ A and ρ B , has been derived by Fuchs and Caves. We show that the Bures–Uhlmann geodesic through the two states singles out this measurement. The geodesic ‘bounces’ at the boundary of the set of quantum states. Whenever the geodesic hits the boundary, the state orthogonal to that boundary state is one of the basis states for the measurement.
We study the geodesics on the manifold of mixed quantum states for the Bures metric. It is shown that these geodesics correspond to physical non-Markovian evolutions of the system coupled to an ancilla. Furthermore, we argue that geodesics lead to optimal precision in single-parameter estimation in quantum metrology. More precisely, if the unknown parameter x is a phase shift proportional to the time parametrizing the geodesic, the estimation error obtained by processing the data of measurements on the system is equal to the smallest error that can be achieved from joint detections on the system and ancilla, meaning that there is no information loss on this parameter in the ancilla. This error can saturate the Heisenberg bound. Reciprocally, assuming that the system-ancilla output and input states are related by a unitary e−ixH with H a x -independent Hamiltonian, we show that if the error obtained from measurements on the system is equal to the minimal error obtained from joint measurements on the system and ancilla then the system evolution is given by a geodesic. In such a case, the measurement on the system bringing most information on x is x -independent and can be determined in terms of the intersections of the geodesic with the boundary of quantum states. These results show that geodesic evolutions are of interest for high-precision detections in systems coupled to an ancilla in the absence of measurements on the ancilla.
Niels Bohr supposedly said that if quantum mechanics did not make you dizzy then you did not understand it. I think that the same can be said about statistical inference. Robert D. Cousins In this chapter we quantify how easy it may be too distinguish probability distributions from each other (a discussion that was started in Chapter 2). The issue is a very practical one and arises whenever one is called upon to make a decision based on imperfect data. There is no unique answer because everything depends on the data – the l 1 -distance appears if there has been just one sampling of the distributions, the relative entropy governs the approach to the ‘true’ distribution as the number of samplings goes to infinity, and so on. The quantum case is even subtler. A quantum state always stands ready to produce a large variety of classical probability distributions, depending on the choice of measurement procedure. It is no longer possible to distinguish pure states from each other with certainty, unless they are orthogonal. The basic idea behind the quantum distinguishability measures is the same as that which allowed us, in Section 5.3, to relate the Fubini–Study metric to the Fisher–Rao metric. We will optimize over all possible measurements. Classical distinguishability measures If a distance function has an operational significance as a measure of statistical distinguishability, then we expect it to be monotone (and decreasing) under general stochastic maps. Coarse graining means that information is being discarded, and this cannot increase distinguishability.
Braunstein and Caves (Braunstein S L and Caves C M 1994 Phys. Rev. Lett. 72 3439-43) proposed to use Helstrom's quantum information number to define, meaningfully, a metric on the set of all possible states of a given quantum system. They showed that the quantum information is nothing other than the maximal Fisher information in a measurement of the quantum system, maximized over all possible measurements. Combining this fact with classical statistical results, they argued that the quantum information determines the asymptotically optimal rate at which neighbouring states on some smooth curve can be distinguished, based on arbitrary measurements on n identical copies of the given quantum system. We show that the measurement which maximizes the Fisher information typically depends on the true, unknown, state of the quantum system. We close the resulting loophole in the argument by showing that one can still achieve the same, optimal, rate of distinguishability, by a two-stage adaptive measurement procedure. When we consider states lying not on a smooth curve, but on a manifold of higher dimension, the situation becomes much more complex. We show that the notion of `distinguishability of close-by states' depends strongly on the measurement resources one allows oneself, and on a further specification of the task at hand. The quantum information matrix no longer seems to play a central role.
One of the many interesting features of quantum nonlocality is that the states of a multipartite quantum system cannot always be distinguished as well by local measurements as they can when all quantum measurements are allowed. In this work, we characterize the distinguishability of sets of multipartite quantum states when restricted to separable measurements, those which contain the class of local measurements but nevertheless are free of entanglement between the component systems. We consider two quantities: the separable fidelity, a truly quantum quantity, which measures how well we can ``clone'' the input state, and the classical probability of success, which simply gives the optimal probability of identifying the state correctly. We obtain lower and upper bounds on the separable fidelity and give several examples in the bipartite and multipartite settings where these bounds are optimal. Moreover the optimal values in these cases can be attained by local measurements. We further show that for distinguishing orthogonal states under separable measurements, a strategy that maximizes the probability of success is also optimal for separable fidelity. We point out that the equality of fidelity and success probability does not depend on an using the optimal strategy, only on the orthogonality of the states. To illustrate this, we present an example where two sets (one consisting of orthogonal states and the other nonorthogonal states) are shown to have the same separable fidelity even though the success probabilities are different.
Hypothesis testing is a fundamental issue in statistical inference and has been a crucial element in the development of information sciences. The Chernoff bound gives the minimal Bayesian error probability when discriminating two hypotheses given a large number of observations. Recently the combined work of Audenaert et al. [Phys. Rev. Lett. 98, 160501 (2007)] and Nussbaum and Szkola [e-print arXiv:quant-ph/0607216] has proved the quantum analog of this bound, which applies when the hypotheses correspond to two quantum states. Based on this quantum Chernoff bound, we define a physically meaningful distinguishability measure and its corresponding metric in the space of states; the latter is shown to coincide with the Wigner-Yanase metric. Along the same lines, we define a second, more easily implementable, distinguishability measure based on the error probability of discrimination when the same local measurement is performed on every copy. We study some general properties of these measures, including the probability distribution of density matrices, defined via the volume element induced by the metric. It is shown that the Bures and the local-measurement based metrics are always proportional. Finally, we illustrate their use in the paradigmatic cases of qubits and Gaussian infinite-dimensional states.
Abstract We investigate and compare three distinguished geometric measures of bipartite quantum correlations that have been recently introduced in the literature: the geometric discord, the measurement-induced geometric discord, and the discord of response, each one defined according to three contractive distances on the set of quantum states, namely the trace, Bures, and Hellinger distances. We establish a set of exact algebraic relations and inequalities between the different measures. In particular, we show that the geometric discord and the discord of response based on the Hellinger distance are easy to compute analytically for all quantum states whenever the reference subsystem is a qubit. These two measures thus provide the first instance of discords that are simultaneously fully computable, reliable (since they satisfy all the basic Axioms that must be obeyed by a proper measure of quantum correlations), and operationally viable (in terms of state distinguishability). We apply the general mathematical structure to determine the closest classical-quantum state of a given state and the maximally quantum-correlated states at fixed global state purity according to the different distances, as well as a necessary condition for a channel to be quantumness breaking.