A quantum ensemble $\{(p_x, ρ_x)\}$ is a set of quantum states each occurring randomly with a given probability. Quantum ensembles are necessary to describe situations with incomplete a priori information, such as the output of a stochastic quantum channel (generalized measurement), and play a central role in quantum communication. In this paper, we propose measures of distance and fidelity between two quantum ensembles. We consider two approaches: the first one is based on the ability to mimic one ensemble given the other one as a resource and is closely related to the Monge-Kantorovich optimal transportation problem, while the second one uses the idea of extended-Hilbert-space (EHS) representations which introduce auxiliary pointer (or flag) states. Both types of measures enjoy a number of desirable properties. The Kantorovich measures, albeit monotonic under deterministic quantum operations, are not monotonic under generalized measurements. In contrast, the EHS measures are. We present operational interpretations for both types of measures. We also show that the EHS fidelity between ensembles provides a novel interpretation of the fidelity between mixed states--the latter is equal to the maximum of the fidelity between all pure-state ensembles whose averages are equal to the mixed states being compared. We finally use the new measures to define distance and fidelity for stochastic quantum channels and positive operator-valued measures (POVMs). These quantities may be useful in the context of tomography of stochastic quantum channels and quantum detectors.
It is shown that different distinguishability measures impose different orderings on ensembles of $N$ pure quantum states. This is demonstrated using ensembles of equally-probable, linearly independent, symmetrical pure states, with the maximum probabilities of correct hypothesis testing and unambiguous state discrimination being the distinguishability measures. This finding implies that there is no absolute scale for comparing the distinguishability of any two ensembles of $N$ quantum states, and that distinguishability comparison is necessarily relative to a particular discrimination strateg…
We consider a fundamental operational task, distinguishing systems in different states, in the framework of generalized probabilistic theories and provide a general formalism of minimum-error discrimination of states in convex optimization. With the formalism established, we show that the distinguishability is generally a global property assigned to the ensemble of given states rather than other details of a given state space or pairwise relations of given states. Then, we consider bipartite systems where ensemble steering is possible, and show that show that with two operational tasks, ensemb…
A basic property of distinguishability is that it is non-increasing under further quantum operations. Following this, we generalize two measures of distinguishability of pure states--fidelity and von Neumann entropy, to mixed states as self-consistent measures. Then we extend these two measures to quantum operations. The information-theoretic point of the generalized Holevo quantity of an ensemble of quantum operations is constructed. Preferably it is an additive measure. The exact formula for SU(2) ensemble is presented. With the aid of the formula, we show Jozsa-Schlienz paradox that states …
We present a generalization of the Holevo theorem by means of distances used in the definition of distinguishability of states, showing that each one leads to an alternative Holevo theorem. This result involves two quantities: the generalized Holevo information and the generalized accessible information. Additionally, we apply the new inequalities to qubits ensembles showing that for the Kolmogorov notion of distinguishability (for the case of an ensemble of two qubits) the generalized quantities are equal. On the other hand, by using a known example, we show that the Bhattacharyya notion capt…
Consider an ensemble of pure quantum states |ψ_j>, j=1,...,n taken with prior probabilities p_j respectively. We show that it is possible to increase all of the pairwise overlaps |<ψ_i|ψ_j>| i.e. make each constituent pair of the states more parallel (while keeping the prior probabilities the same), in such a way that the von Neumann entropy S is increased, and dually, make all pairs more orthogonal while decreasing S. We show that this phenomenon cannot occur for ensembles in two dimensions but that it is a feature of almost all ensembles of three states in three dimensions. It is known that …
We develop two analytic lower bounds on the probability of success p of identifying a state picked from a known ensemble of pure states: a bound based on the pairwise inner products of the states, and a bound based on the eigenvalues of their Gram matrix. We use the latter to lower bound the asymptotic distinguishability of ensembles of n random quantum states in d dimensions, where n/d approaches a constant. In particular, for almost all ensembles of n states in n dimensions, p>0.72. An application to distinguishing Boolean functions (the "oracle identification problem") in quantum computatio…
We consider a fixed quantum measurement performed over $n$ identical copies of quantum states. Using a rigorous notion of distinguishability We consider a fixed quantum measurement performed over $n$ identical copies of quantum states. Using a rigorous notion of distinguishability based on Shannon's 12th theorem, we show that in the case of a single qubit the number of distinguishable states is $W(α_1,α_2,n)=|α_1-α_2|\sqrt{\frac{2n}{πe}}$, where $(α_1,α_2)$ is the angle interval from which the states are chosen. In the general case of an $N$-dimensional Hilbert space and an area $Ω$ of the dom…
Distinguishability and predictability are part of complementarity relations which apply to two different kinds of interference experiments, with and without a path-detector, respectively. In [Opt. Comm. 179, 337 (2000)], Englert and Bergou pointed out the possible connection between distinguishability, predictability, and entanglement. They even conjectured that an entanglement measure was hidden between the measures of distinguishability and predictability. Here, we push forward this conjecture. We start defining a new entropic distinguishability measure and suggesting an entanglement measure…
Measuring an entangled state of two particles is crucial to many quantum communication protocols. Yet Bell state distinguishability using a finite apparatus obeying linear evolution and local measurement is theoretically limited. We extend known bounds for Bell-state distinguishability in one and two variables to the general case of entanglement in $n$ two-state variables. We show that at most $2^{n+1}-1$ classes out of $4^n$ hyper-Bell states can be distinguished with one copy of the input state. With two copies, complete distinguishability is possible. We present optimal schemes in each case…
This paper, mostly expository in nature, surveys four measures of distinguishability for quantum-mechanical states. This is done from the point of view of the cryptographer with a particular eye on applications in quantum cryptography. Each of the measures considered is rooted in an analogous classical measure of distinguishability for probability distributions: namely, the probability of an identification error, the Kolmogorov distance, the Bhattacharyya coefficient, and the Shannon distinguishability (as defined through mutual information). These measures have a long history of use in statis…
We provide a compendium of inequalities between several quantum state distinguishability measures. For each measure these inequalities consist of the sharpest possible upper and lower bounds in terms of another measure. Some of these inequalities are already known, but new or more general proofs are given, whereas other inequalities are new. We also supply cases of equality to show that all inequalities are indeed the sharpest possible.
On the distinguishability of geometrically uniform quantum states
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Illinois Quantum Information Science and Technology (IQUIST) Center, University of Illinois Urbana-Champaign（伊利诺伊量子信息与科学技术中心）
We analyze the restrictions on the distinguishability of quantum states imposed by special relativity. An explicit expression relating the error probability for distinguishing between two orthogonal single-photon states with the time $T$ elapsed from the start of the measurement procedure until the measurement result is obtained by the observer.
It is known that quantum interference can disappear with the mere possibility of distinguishability without actually performing the act. We create such distinguishability in an unbalanced SU(1,1) interferometer and indeed observe no interference in the direct photodetection of the outputs. On the other hand, such distinguishability can be erased with a projective measurement. Here, we report a method of homodyne detection that can also recover interference effect. We find that it is the indistinguishability in amplitude measurement that leads to the recovery of interference, and the quantum na…
We derive an upper bound for the distinguishability-based non-Markovianity measure of a two-level system and prove that for certain master equations the exact value of the measure achieves this bound. Furthermore, we obtain an easily calculable lower bound for the divisibility-based non-Markovianity measure of an $n$-level system. We illustrate the calculation of these bounds through examples, considering in detail the spin-boson model. We show that the differences between the two measures in the spin-boson model are caused by the drift vector that is also responsible for the non-unitality of …
A family of quantum measures like the Shannon distinguishability is presented. These measures are defined over the two classes of POVM measurements and related to separate parts in the expression for mutual information. Changes of Ky Fan's norms and the partitioned trace distances under the operation of partial trace are discussed. Upper and lower bounds on the introduced quantities are obtained in terms of partitioned trace distances and Uhlmann's partial fidelities. These inequalities provide a kind of generalization of the well-known bounds on the Shannon distinguishability. The notion of c…
In the context of the quantum mechanical modelling of a measurement process using the Stern-Gerlach setup, we critically examine the relationship between the notion of `distinguishability' of apparatus states defined in terms of the inner product and spatial separation among the emerging wave packets. We show that, in general, the mutual orthogonality of these wave packets does not necessarily imply their unambiguous spatial separation even in the asymptotic limit. A testable scheme is formulated to quantify such departures from `idealness' for a range of relevant parameters.
As a part of the construction of an information theory based on general probabilistic theories, we propose and investigate the several distinguishability measures and "entropies" in general probabilistic theories. As their applications, no-cloning theorems, information-disturbance theorems are reformulated, and a bound of the accessible informations is discussed in any general probabilistic theories, not resorting to quantum theory.
We discuss an alternative to relative entropy as a measure of distance between mixed quantum states. The proposed quantity is an extension to the realm of quantum theory of the Jensen-Shannon divergence (JSD) between probability distributions. The JSD has several interesting properties. It arises in information theory and, unlike the Kullback-Leibler divergence, it is symmetric, always well defined and bounded. We show that the quantum JSD (QJSD) shares with the relative entropy most of the physically relevant properties, in particular those required for a "good" quantum distinguishability mea…
Coherence measures and their operational interpretations lay the cornerstone of coherence theory. In this paper, we introduce a class of coherence measures with $α$-affinity, say $α$-affinity of coherence for $α\in (0, 1)$. Furthermore, we obtain the analytic formulae for these coherence measures and study their corresponding convex roof extension. We provide an operational interpretation for $1/2$-affinity of coherence by showing that it is equal to the error probability to discrimination a set of pure states with the least square measurement. Employing this relationship we regain the optimal…
We put forward an operational degree of polarization that can be extended in a natural way to fields whose wave fronts are not necessarily planar. This measure appears as a distance from a state to the set of all its polarization-transformed counterparts. By using the Hilbert-Schmidt metric, the resulting degree is a sum of two terms: one is the purity of the state and the other can be interpreted as a classical distinguishability, which can be experimentally determined in an interferometric setup. For transverse fields, this reduces to the standard approach, whereas it allows one to get a str…
We examine the effect of decoherence and intermolecular interactions (chiral discrimination energies) on the chiral stability and the distinguishability of initially pure versus mixed states in an open chiral system. Under a two-level approximation for a system, intermolecular interactions are introduced by a mean-field theory, and interaction between a system and an environment is modeled by a continuous measurement of a population difference between the two chiral states. The resultant equations are explored for various parameters, with emphasis on the combined effects of the initial conditi…
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] and Nussbaum and Szkola [quant-ph/0607216] has proved the quantum analog of this bound, which applies when the hypotheses correspond to two quantum states. Based on the quantum Chernoff bound, we define a physically meaningful distinguishabilit…
In this paper we present a necessary and sufficient condition of distinguishability of bipartite quantum states. It is shown that the operators to reliably distinguish states need only rounds of projective measurements and classical comunication. We also present a necessary condition of distinguishability of bipartite quantum states which is simple and general. With this condition one can get many cases of indistinguishability. The conclusions may be useful in understanding the essence of nonlocality and calculating the distillable entanglement and the bound of distillable entanglement.
We use the probability of error as a measure of distinguishability between two pure and two mixed symmetric coherent states in the context of continuous variable quantum cryptography. We show that the two mixed symmetric coherent states (in which the various components have the same real part) never give an eavesdropper more information than two pure coherent states.
We investigate the properties of three entanglement measures that quantify the statistical distinguishability of a given state with the closest disentangled state that has the same reductions as the primary state. In particular, we concentrate on the relative entropy of entanglement with reversed entries. We show that this quantity is an entanglement monotone which is strongly additive, thereby demonstrating that monotonicity under local quantum operations and strong additivity are compatible in principle. In accordance with the presented statistical interpretation which is provided, this enta…
We argue from the point of view of statistical inference that the quantum relative entropy is a good measure for distinguishing between two quantum states (or two classes of quantum states) described by density matrices. We extend this notion to describe the amount of entanglement between two quantum systems from a statistical point of view. Our measure is independent of the number of entangled systems and their dimensionality.
Properties of random mixed states of order $N$ distributed uniformly with respect to the Hilbert-Schmidt measure are investigated. We show that for large $N$, due to the concentration of measure, the trace distance between two random states tends to a fixed number ${\tilde D}=1/4+1/π$, which yields the Helstrom bound on their distinguishability. To arrive at this result we apply free random calculus and derive the symmetrized Marchenko--Pastur distribution, which is shown to describe numerical data for the model of two coupled quantum kicked tops. Asymptotic values for the fidelity, Bures and …
We prove a tight and close-to-optimal lower bound on the effectiveness of local quantum measurements (without classical communication) at discriminating any two bipartite quantum states. Our result implies, for example, that any two orthogonal quantum states of a $n_A\times n_B$ bipartite quantum system can be discriminated via local measurements with an error probability no larger than $\frac12 \left(1 - \frac{1}{c \min\{n_A, n_B\}} \right)$, where $1\leq c\leq 2\sqrt2$ is a universal constant, and our bound scales provably optimally with the local dimensions $n_A,n_B$. Mathematically, this i…
We analyse orthogonal bases in a composite $N\times N$ Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the $N^2$ reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case $N=2$ of a two-qubit system our solution coincides with the elegant joint measurement introduced by Gisin. We derive explicit expressions of an analogous constellation for $N=3$ and provide a general construction of $N^2$ states forming …
Efficient methods for characterizing the performance of quantum measurements are important in the experimental quantum sciences. Ideally, one requires both a physically relevant distinguishability measure between measurement operations and a well-defined experimental procedure for estimating the distinguishability measure. Here, we propose the average measurement fidelity and error between quantum measurements as distinguishability measures. We present protocols for obtaining bounds on these quantities that are both estimable using experimentally accessible quantities and scalable in the size …
We have experimentally demonstrated the interferometric complementarity, which relates the distinguishability $D$ quantifying the amount of which-way (WW) information to the fringe visibility $V$ characterizing the wave feature of a quantum entity, in a bulk ensemble by Nuclear Magnetic Resonance (NMR) techniques. We primarily concern on the intermediate cases: partial fringe visibility and incomplete WW information. We propose a quantitative measure of $D$ by an alternative geometric strategy and investigate the relation between $D$ and entanglement. By measuring $D$ and $V$ independently, it…
We show that the Quantum State Distinguishability (QSD), which is a QSZK-complete problem, and the Quantum Circuit Distinguishability (QCD), which is a QIP-complete problem, can be solved by the verifier who can perform only single-qubit measurements. To show these results, we use measurement-based quantum computing: the honest prover sends a graph state to the verifier, and the verifier can perform universal quantum computing on it with only single-qubit measurements. If the prover is malicious, he does not necessarily generate the correct graph state, but the verifier can verify the correctn…
It is shown that local distinguishability of orthogonal mixed states can be completely characterized by local distinguishability of their supports irrespective of entanglement and mixedness of the states. This leads to two kinds of upper bounds on the number of perfect LOCC distinguishable orthogonal mixed states. The first one depends only on pure-state entanglement within the supports of the states, and therefore may be easy to compute in many instances. The second bound is optimal in the sense that it optimizes the bounding quantities, not necessarily function of entanglement alone, over al…
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 c…
Erasing quantum-mechanical distinguishability is of fundamental interest and also of practical importance, particularly in subject areas related to quantum information processing. We demonstrate a method applicable to optical systems in which single-mode filtering is used with only linear optical instruments to achieve quantum indistinguishability. Through "heralded" Hong-Ou-Mandel interference experiments we measure and quantify the improvement of indistinguishability between single photons generated via spontaneous four-wave mixing in optical fibers. The experimental results are in excellent…
Contextual advantage implies limited distinguishability in any physical theory
Perimeter Institute for Theoretical Physics（Perimeter理论物理研究所）；University of Gdańsk（格但斯克大学）；University of São Paulo（圣保罗大学）；Polish Academy of Sciences（波兰科学院）
Bell nonlocality can be formulated in terms of a resource theory with local-hidden variable models as resourceless objects. Two such theories are known, one built upon local operations assisted by shared randomness (LOSRs) and the other one allowing, in addition, for prior-to-input classical communication. We show that prior communication, although unable to create nonlocality, leads to wirings not only beyond LOSRs but also not contained in a much broader class of (nonlocality-generating) global wirings. Technically, this is shown by proving that it can improve the statistical distinguishabil…
Quantitative measures are introduced for the indistinguishability $U$ of two quantum states in a given measurement and the amount of interference $I$ observable in this measurement. It is shown that these measures obey an inequality $U\geq I$ which can be seen as an exact formulation of Bohr's claim that one cannot distinguish between two possible paths of a particle while maintaining an interference phenomenon. This formulation is applied to a neutron interferometer experiment of Badurek e.a. It is shown that the formulation is stronger than an argument based on an uncertainty relation for ph…
We show that a set of linearly independent quantum states $\{(U_{m,n}\otimes I)ρ^{AB}(U_{m,n}^{\dagger}\otimes I)\}_{m,n=0}^{d-1}$, where $U_{m,n}$ are generalized Pauli matrices, cannot be discriminated deterministically or probabilistically by local operations and classical communications (LOCC). On the other hand, any $l$ maximally entangled states from this set are locally distinguishable if $l(l-1)\le 2d$. The explicit projecting measurements are obtained to locally discriminate these states. As an example, we show that four Werner states are locally indistinguishable.
This document focuses on translating various information-theoretic measures of distinguishability for probability distributions into measures of distin- guishability for quantum states. These measures should have important appli- cations in quantum cryptography and quantum computation theory. The results reported include the following. An exact expression for the quantum fidelity between two mixed states is derived. The optimal measurement that gives rise to it is studied in detail. Several upper and lower bounds on the quantum mutual information are derived via similar techniques and compared…
Quantifying how distinguishable two stochastic processes are lies at the heart of many fields, such as machine learning and quantitative finance. While several measures have been proposed for this task, none have universal applicability and ease of use. In this Letter, we suggest a set of requirements for a well-behaved measure of process distinguishability. Moreover, we propose a family of measures, called divergence rates, that satisfy all of these requirements. Focussing on a particular member of this family -- the co-emission divergence rate -- we show that it can be computed efficiently, …
We analyze quantum states formed as superpositions of an initial pure product state and its image under local unitary evolution, using two measurement-based measures of superposition size: one based on the optimal quantum binary distinguishability of the branches of the superposition and another based on the ratio of the maximal quantum Fisher information of the superposition to that of its branches, i.e., the relative metrological usefulness of the superposition. A general formula for the effective sizes of these states according to the branch distinguishability measure is obtained and applie…
According to the quantum Zeno effect, the frequent observations of a system can dramatically slow down its dynamical evolution. We show that the Zeno dynamics is the result of projective measurements among quantum states which are indistinguishable. The physical time scale of the problem is provided by the Cramer-Rao lower bound, which measure the distinguishability of states along a path in the Hilbert space. We finally show that the Zeno dynamics with particle entangled states might require quite smaller measurement intervals than classically correlated states, and propose a realistic interf…
Multi-photon interference is at the heart of the recently proposed linear optical quantum computing scheme and plays an essential role in many protocols in quantum information. Indistinguishability is what leads to the effect of quantum interference. Optical interferometers such as Michaelson interferometer provide a measure for second-order coherence at one-photon level and Hong-Ou-Mandel interferometer was widely employed to describe two-photon entanglement and indistinguishability. However, there is not an effective way for a system of more than two photons. Recently, a new interferometric …
We consider the question of perfect local distinguishability of mutually orthogonal bipartite quantum states, with the property that every state can be specified by a unitary operator acting on the local Hilbert space of Bob. We show that if the states can be exactly discriminated by one-way LOCC where Alice goes first, then the unitary operators can also be perfectly distinguished by an orthogonal measurement on Bob's Hilbert space. We give examples of sets of N<=d maximally entangled states in $d \otimes d $ for d=4,5,6 that are not perfectly distinguishable by one-way LOCC. Interestingly fo…
Typically, quantum superpositions, and thus measurement projections of quantum states involving interference, decrease (or increase) monotonically as a function of increased distinguishability. Distinguishability, in turn, can be a consequence of decoherence, for example caused by the (simultaneous) loss of excitation or due to inadequate mode matching (either deliberate or indeliberate). It is known that for some cases of multi-photon interference, non-monotonic decay of projection probabilities occurs, which has so far been attributed to interference between four or more two photons. We show…
