Symmetry of large physical systems implies independence of subsystems

Composite systems consisting of a large number of similar subsystems play an important role in many areas of physics as well as in information theory. Their analysis, however, often relies on the assumption that the subsystems are mutually independent (or only weakly correlated). Here, we show that this assumption is generally justified for quantum systems that are symmetric, that is, invariant under permutations of the subsystems. Because symmetry is often implied by natural properties, for example, the indistinguishability of identical particles, the result has a wide range of consequences. In particular, it implies that global properties of a large composite system can be estimated by measurements applied to a limited number of (randomly chosen) sample subsystems, a fact that is important for the interpretation of experimental data. Moreover, it generalizes statements in quantum information theory and cryptography, which previously have only been known to hold under certain independence assumptions.

[1]  B. D. Finetti.  La prévision : ses lois logiques, ses sources subjectives , 1937 .

[2]  E. Størmer.  Symmetric states of infinite tensor products of C*-algebras , 1969 .

[3]  R. Hudson,et al.  Locally normal symmetric states and an analogue of de Finetti's theorem , 1976 .

[4]  D. Freedman,et al.  Finite Exchangeable Sequences , 1980 .

[5]  M. Fannes,et al.  Equilibrium states for mean field models , 1980 .

[6]  Robin L. Hudson.  Analogs of de Finetti's theorem and interpretative problems of quantum mechanics , 1981 .

[7]  M. Fannes,et al.  Symmetric states of composite systems , 1988 .

[8]  R. Werner,et al.  Quantum Statistical Mechanics of General Mean Field Systems , 1989 .

[9]  D. Petz.  A de Finetti-type theorem withm-dependent states , 1990 .

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

[11]  Ekert,et al.  Quantum cryptography based on Bell's theorem. , 1991, Physical review letters.

[12]  Charles H. Bennett,et al.  Quantum cryptography without Bell's theorem. , 1992, Physical review letters.

[13]  E. Biham,et al.  Security of Quantum Cryptography against Collective Attacks , 1996, quant-ph/9605007.

[14]  Lo,et al.  Unconditional security of quantum key distribution over arbitrarily long distances , 1999, Science.

[15]  Andreas J. Winter,et al.  Coding theorem and strong converse for quantum channels , 1999, IEEE Trans. Inf. Theory.

[16]  Shor,et al.  Simple proof of security of the BB84 quantum key distribution protocol , 2000, Physical review letters.

[17]  Dominic Mayers,et al.  Unconditional security in quantum cryptography , 1998, JACM.

[18]  C. Fuchs,et al.  Unknown Quantum States: The Quantum de Finetti Representation , 2001, quant-ph/0104088.

[19]  Jeroen van de Graaf,et al.  Security of Quantum Key Distribution against All Collective Attacks , 2002, Algorithmica.

[20]  P. Shor.  Equivalence of Additivity Questions in Quantum Information Theory , 2003, quant-ph/0305035.

[21]  Ruediger Schack,et al.  De Finetti representation theorem for quantum-process tomography (6 pages) , 2003, quant-ph/0307198.

[22]  Renato Renner,et al.  Security of quantum key distribution , 2005, Ausgezeichnete Informatikdissertationen.

[23]  Gilles Brassard,et al.  Is information the key? , 2005 .

[24]  R. Renner,et al.  A de Finetti representation for finite symmetric quantum states , 2004, quant-ph/0410229.

[25]  A. Winter,et al.  Distillation of secret key and entanglement from quantum states , 2003, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[26]  Tobias J Osborne,et al.  Finite de Finetti theorem for infinite-dimensional systems. , 2007, Physical review letters.

[27]  Graeme Mitchison,et al.  A most compendious and facile quantum de Finetti theorem , 2007 .

[28]  Matthias Christandl,et al.  One-and-a-Half Quantum de Finetti Theorems , 2007 .