Cryptographic Distinguishability Measures for Quantum-Mechanical States

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 (1948) distinguishability (as defined through mutual information). These measures have a long history of use in statistical pattern recognition and classical cryptography. We obtain several inequalities that relate the quantum distinguishability measures to each other, one of which may be crucial for proving the security of quantum cryptographic key distribution. In another vein, these measures and their connecting inequalities are used to define a single notion of cryptographic exponential indistinguishability for two families of quantum states. This is a tool that may prove useful in the analysis of various quantum-cryptographic protocols.

[1]  D. Lindley On a Measure of the Information Provided by an Experiment , 1956 .

[2]  L. Ballentine,et al.  Quantum Theory: Concepts and Methods , 1994 .

[3]  R. Hughes,et al.  The Structure and Interpretation of Quantum Mechanics , 1989 .

[4]  Caves,et al.  Ensemble-dependent bounds for accessible information in quantum mechanics. , 1994, Physical review letters.

[5]  H. Yuen Quantum detection and estimation theory , 1978, Proceedings of the IEEE.

[6]  Godfried T. Toussaint,et al.  Comments on "The Divergence and Bhattacharyya Distance Measures in Signal Selection" , 1972, IEEE Transactions on Communications.

[7]  Silvio Micali,et al.  Probabilistic Encryption , 1984, J. Comput. Syst. Sci..

[8]  Andrew Chi-Chih Yao,et al.  Protocols for secure computations , 1982, FOCS 1982.

[9]  A. Uhlmann The "transition probability" in the state space of a ∗-algebra , 1976 .

[10]  Moshe Ben-Bassat,et al.  35 Use of distance measures, information measures and error bounds in feature evaluation , 1982, Classification, Pattern Recognition and Reduction of Dimensionality.

[11]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[12]  M. Reed Methods of Modern Mathematical Physics. I: Functional Analysis , 1972 .

[13]  T. Kailath The Divergence and Bhattacharyya Distance Measures in Signal Selection , 1967 .

[14]  Bennett,et al.  Parity bit in quantum cryptography. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[15]  Carlton M. Caves,et al.  Mathematical techniques for quantum communication theory , 1995 .

[16]  Christopher Isham,et al.  Lectures On Quantum Theory: Mathematical And Structural Foundations , 1995 .

[17]  N. Mermin,et al.  The Ithaca interpretation of quantum mechanics , 1996, quant-ph/9609013.

[18]  Silvio Micali,et al.  The knowledge complexity of interactive proof-systems , 1985, STOC '85.

[19]  G. Toussaint Some functional lower bounds on the expected divergence for multihypothesis pattern recognition, communication, and radar systems , 1971 .

[20]  A. Sudbery,et al.  Quantum Mechanics and the Particles of Nature: An Outline for Mathematicians , 1986 .

[21]  Tal Mor Quantum memory in quantum cryptography , 1999 .

[22]  Christopher A. Fuchs Information Gain vs. State Disturbance in Quantum Theory , 1996 .

[23]  C. Fuchs Distinguishability and Accessible Information in Quantum Theory , 1996, quant-ph/9601020.

[24]  Thomas M. Cover,et al.  Elements of Information Theory (Wiley Series in Telecommunications and Signal Processing) , 2006 .

[25]  Paul I. Feder Handbook of Statistics, Volume 2, Classification, Pattern Recognition, and Reduction of, Dimensionality , 1984 .

[26]  Martin E. Hellman,et al.  Probability of error, equivocation, and the Chernoff bound , 1970, IEEE Trans. Inf. Theory.

[27]  R. Jozsa Fidelity for Mixed Quantum States , 1994 .