Distinguishability of Quantum States Under Restricted Families of Measurements with an Application to Quantum Data Hiding

We consider the problem of ambiguous discrimination of two quantum states when we are only allowed to perform a restricted set of measurements. Let the bias of a POVM be defined as the total variational distance between the outcome distributions for the two states to be distinguished. The performance of a set of measurements can then be defined as the ratio of the bias of this POVM and the largest bias achievable by any measurements. We first provide lower bounds on the performance of various POVMs acting on a single system such as the isotropic POVM, and spherical 2 and 4-designs, and show how these bounds can lead to certainty relations. Furthermore, we prove lower bounds for several interesting POVMs acting on multipartite systems, such as the set of local POVMS, POVMs which can be implemented using local operations and classical communication (LOCC), separable POVMs, and finally POVMs for which every bipartition results in a measurement having positive partial transpose (PPT). In particular, our results show that a scheme of Terhal et. al. for hiding data against local operations and classical communication [31] has the best possible dimensional dependence.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  C. Helstrom.  Quantum detection and estimation theory , 1969 .

[3]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[4]  A. Holevo.  Statistical decision theory for quantum systems , 1973 .

[5]  R. Penrose,et al.  Two-spinor calculus and relativistic fields , 1984 .

[6]  Roger Penrose,et al.  Spinors and Space–Time: Subject and author index , 1984 .

[7]  E. Bolthausen.  An estimate of the remainder in a combinatorial central limit theorem , 1984 .

[8]  The narrowest tube of a recurrent random walk , 1984 .

[9]  R. Penrose,et al.  Spinors and Space–Time: Subject and author index , 1984 .

[10]  W. Wootters,et al.  Optimal state-determination by mutually unbiased measurements , 1989 .

[11]  Joe Harris,et al.  Representation Theory: A First Course , 1991 .

[12]  Bonnie Berger,et al.  The fourth moment method , 1991, SODA '91.

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

[14]  Jorge Sánchez,et al.  Entropic uncertainty and certainty relations for complementary observables , 1993 .

[15]  R. Jozsa,et al.  Lower bound for accessible information in quantum mechanics. , 1994, Physical review. A, Atomic, molecular, and optical physics.

[16]  Jorge Sánchez-Ruiz.  Improved bounds in the entropic uncertainty and certainty relations for complementary observables , 1995 .

[17]  N. J. A. Sloane,et al.  McLaren’s improved snub cube and other new spherical designs in three dimensions , 1996, Discret. Comput. Geom..

[18]  M. Horodecki,et al.  Separability of mixed states: necessary and sufficient conditions , 1996, quant-ph/9605038.

[19]  C. H. Bennett,et al.  Quantum nonlocality without entanglement , 1998, quant-ph/9804053.

[20]  Jeroen van de Graaf,et al.  Cryptographic Distinguishability Measures for Quantum-Mechanical States , 1997, IEEE Trans. Inf. Theory.

[21]  D. Leung,et al.  Hiding bits in bell states. , 2000, Physical Review Letters.

[22]  L. Gurvits,et al.  Largest separable balls around the maximally mixed bipartite quantum state , 2002, quant-ph/0204159.

[23]  Dudley,et al.  Real Analysis and Probability: Measurability: Borel Isomorphism and Analytic Sets , 2002 .

[24]  P. Oscar Boykin,et al.  A New Proof for the Existence of Mutually Unbiased Bases , 2002, Algorithmica.

[25]  Debbie W. Leung,et al.  Quantum data hiding , 2002, IEEE Trans. Inf. Theory.

[26]  R F Werner,et al.  Hiding classical data in multipartite quantum states. , 2002, Physical review letters.

[27]  Howard Barnum,et al.  Separable balls around the maximally mixed multipartite quantum states , 2003 .

[28]  Joseph M. Renes,et al.  Symmetric informationally complete quantum measurements , 2003, quant-ph/0310075.

[29]  D. M. Appleby.  SIC-POVMs and the Extended Clifford Group , 2004 .

[30]  A. Winter,et al.  Randomizing Quantum States: Constructions and Applications , 2003, quant-ph/0307104.

[31]  M. Grassl.  On SIC-POVMs and MUBs in Dimension 6 , 2004, quant-ph/0406175.

[32]  D. M. Appleby.  Symmetric informationally complete–positive operator valued measures and the extended Clifford group , 2005 .

[33]  Debbie W. Leung,et al.  Remote preparation of quantum states , 2005, IEEE Transactions on Information Theory.

[34]  Thomas M. Cover,et al.  Elements of Information Theory: Cover/Elements of Information Theory, Second Edition , 2005 .

[35]  M. Lewenstein,et al.  Distillation protocols that involve local distinguishing : Composing upper and lower bounds on locally accessible information , 2005, quant-ph/0505137.

[36]  Steven T. Flammia.  On SIC-POVMs in prime dimensions , 2006 .

[37]  D. Petz,et al.  State tomography for two qubits using reduced densities , 2006, quant-ph/0605049.

[38]  K. Audenaert,et al.  Discriminating States: the quantum Chernoff bound. , 2006, Physical review letters.

[39]  Andris Ambainis,et al.  Quantum t-designs: t-wise Independence in the Quantum World , 2007, Twenty-Second Annual IEEE Conference on Computational Complexity (CCC'07).

[40]  David Marcus Appleby,et al.  Physical Significance of Symmetric Informationally-Complete Sets of Quantum States , 2007 .

[41]  Andreas J. Winter,et al.  State Discrimination With Post-Measurement Information , 2008, IEEE Transactions on Information Theory.

[42]  William Matthews,et al.  On the Chernoff Distance for Asymptotic LOCC Discrimination of Bipartite Quantum States , 2007, 2008 IEEE Information Theory Workshop.

[43]  M. Nussbaum,et al.  THE CHERNOFF LOWER BOUND FOR SYMMETRIC QUANTUM HYPOTHESIS TESTING , 2006, quant-ph/0607216.