QUIE2T Quantum Information Entanglement-Enabled Technologies

Theory of entanglement

Secret correlations are an important resource already in classical cryptography where, for perfect secrecy, sender and receiver hold two identical and therefore perfectly correlated code-books whose contents are only known to them. Such secret correlations can neither be created nor enhanced by public discussion. Entanglement represents a novel and particularly strong form of such secret correlations. Therefore, entanglement is a key resource in quantum information science. Its role as a resource becomes even clearer when one is considering a communication scenario between distant laboratories. Then, experimental capabilities are constrained to local operations and classical communication (LOCC) as opposed to general non-local quantum operations affecting both laboratories. This is an important setting in quantum communication but also distributed quantum computation and general quantum manipulations. The resulting theory of entanglement aims to answer three basic questions.

Firstly, we wish to characterize and verify entangled resources to be able to decide, ideally in an efficient way, when a particular state that has been created in an experimental set-up or a theoretical consideration contains the precious entanglement resource. For the experimental verification of this resource, the tool of entanglement witnesses allows to detect entanglement with local measurements only, and thus is easily implementable with present technology. Secondly, we wish to determine how entangled state may be manipulated under LOCC. In many situations an experimental setting will yield a certain type of entangled state that may suffer certain deficiencies. It may not be the correct type of state or it may have suffered errors due to experimental imperfections and be entangled. Once characterization methods have determined that the resulting state contains entanglement one can then aim to transform the initial state into the desired final state. Thirdly, it will be important to quantify the efficiency of all the processes and procedures as well as the entanglement resources that have been identified in the above two areas of research. If we have found entanglement in a state, then one will need to know how much of it there is.

Considerable progress in this area has been made in recent years, in particular in the case of bi-partite entanglement, but we are still far away from a comprehensive understanding of this key resource for quantum information processing. Research in this area will continue to play a central role in the field, and we expect that an increasing effort will be undertaken towards the classification and quantification of entanglement in multi-party entangled states. It is worth pointing out that insights in the theory of entanglement are not only important the field of QIS itself, but they have now reached the stage where they are being applied to other areas of physics (see Subsection 4.3.10).

Key references
[1] R. F. Werner, "Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model", Phys. Rev. A 40, 4277 (1989)
[2] M. Horodecki, P. Horodecki and R. Horodecki, "Separability of mixed states: necessary and sufficient conditions", Phys. Lett. A 1, 223 (1996)
[3] C. H. Bennett, H. J. Bernstein, S. Popescu and B. Schumacher, "Concentrating partial entanglement by local operations", Phys. Rev. A 53, 2046 (1996)
[4] V. Vedral and M. B. Plenio, "Entanglement measures and purification procedures", Phys. Rev. A 57, 1619 (1998)
[5] M. A. Nielsen, "Conditions for a class of entanglement transformations", Phys. Rev. Lett. 83, 436 (1999)
[6] M. Bourennane, M. Eibl, C. Kurtsiefer, S. Gaertner, H. Weinfurter, O. Guehne, P. Hyllus, D. Bruss, M. Lewenstein, and A. Sanpera, “Experimental detection of multipartite entanglement using witness operators”, Phys. Rev. Lett. 92, 087902 (2004)
[7] M. Horodecki, J. Oppenheim, and A. Winter, "Partial information can be negative”, Nature 436, 676 (2005)
[8] Recent tutorial reviews include M. B. Plenio and S. Virmani, “An introduction to entanglement measures”, Quant. Inf. Comp. 7, 1 (2007); R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, “Quantum entanglement”, Rev. Mod. Phys. 81, 865 (2009)

Multi-party entanglement and applications

Research on multi-particle entanglement is on the one hand expected to be focused on novel protocols for quantum information processing in the multi-partite setting. Entanglement in quantum systems embodying more than two constituents is fundamentally different from two-party entanglement, allowing for novel applications. This work on novel protocols includes work on instances of secret sharing or multi-partite fingerprinting. Notably, such multi-partite fingerprinting schemes would allow for the determination whether a number of databases are identical with little resources.

For quantum computation purposes it seems a major milestone to develop computation schemes that require minimal local control over interactions, such as in novel measurement-based computation schemes using multi-particle entangled resources as in cluster-state based approaches or in linear optics quantum computation. Alternatively, quantum cellular-automata based approaches may offer the potential of implementing quantum computation with little requirements of local control. Research work towards a complete understanding of the classification and quantification of multi-particle entanglement is expected to support such work, notably using methods from convex and global optimization, which give rise to novel methods for classification and quantification of entanglement. Laboratory quantum states such as random states or graph states as generalizations of cluster states may facilitate such studies.

On the other hand, there are good reasons to believe that a refined picture of criticality and phase transitions can be reached with the help of tools coming from the theory of entanglement. These ideas help in devising new simulation methods of ground states of many-body Hamiltonians in solid state physics (and many-body quantum systems in general). Finally, studies seem to indicate that questions in quantum field theory may become significantly more accessible using methods from entanglement theory (see also section 4.3.10)

Key references
[1] N. Linden, S. Popescu, B. Schumacher, and M. Westmoreland, "Reversibility of local transformations of multiparticle entanglement", quant-ph/9912039
[2] W. Dür, J. I. Cirac, and R. Tarrach, "Separability and distillability of multiparticle quantum systems", Phys. Rev. Lett. 83, 3562 (1999)
[3] V. Coffman, J. Kundu, and W. K. Wootters, “Distributed entanglement”, Phys. Rev. A 61, 052306 (2000)
[4] C. H. Bennett, S. Popescu, D. Rohrlich, J. A. Smolin, and A. V. Thapliyal, "Exact and asymptotic measures of multipartite pure state entanglement", Phys. Rev. A 63, 012307 (2001)
[5] M. Hein, J. Eisert, and H.-J. Briegel, "Multi-party entanglement in graph states", Phys. Rev. A 69, 062311 (2004)

Device independent certification of security in quantum information

Device independent quantum information processing is a new approach in which one uses the non-local correlations exhibited by local measurements on entangled quantum particles to certify the quantumness of the underlying state and measurements. That is the quantumness is certified by the violation of a Bell inequality. This approach allows a qualitative increase of the security of quantum cryptography: QKD becomes secure even if the source of entangled states is not controlled and/or the measurement devices unknown. The measurement devices could even be supplied by an adversary, and QKD remains secure.

The same basic philosophy can be applied to "self testing of quantum computers": by using quantum non locality one can test (in polynomial time) that a quantum computer indeed operates as it should, without the need to model how individual gates act, or the need to carry out the full tomography of the whole computer. A major theoretical and experimental challenge is to make these proposals practical. On the experimental side by realising long distance Bell inequality violation with the detection loophole closed, on the theoretical side by improving the security proofs.

Key references
[1] Ll. Masanes, R. Renner, M. Christandl, A. Winter, and J. Barrett, "Unconditional security of key distribution from causality constraints", quant-ph/0606049
[2] A. Acin, N. Brunner, N. Gisin, S. Massar, S. Pironio, and V. Scarani, "Device-independent security of quantum cryptography against collective attacks", Phys. Rev. Lett. 98, 230501 (2007)
[3] Ll. Masanes, "Universally-composable privacy amplification from causality constraints", Phys. Rev. Lett. 102, 140501 (2009)

Noisy communication channels

The proper understanding of the capacities of quantum communication channels is at the heart of the study of quantum communication tasks. Of particular importance are the transmission of classical or quantum information, or establishing secret keys. The general framework for distilling classical keys from quantum states have been also established, opening the possibility of secure communication on extremely noisy channels. But it is also known that one can use noise and perfect side communication to implement other cryptographic primitives like bit commitment and oblivious transfer. Channel capacities are of central interest in several different settings, being reflected notably by the classical capacity of quantum channels, quantum capacities, and entanglement-assisted capacities.

The central question is essentially what resources are required for transmitting classical or quantum information using quantum channels, such as optical fibers in a practical realization. A problem that was left open until recently was whether an increased capacity can be obtained by employing entangled signal states (multiple uses) as opposed to single uses of the channel. This problem is widely known as the additivity problem for the Holevo capacity or - as it turned out, equivalently, the additivity problem for the minimum output entropy. This problem could recently be solved in seminal work, in that it turned out that entangled inputs indeed do help. In contrast, for Gaussian channels - in the context of the promising field of continuous-variable quantum information, with practical importance in quantum communication with fibers - it is now known that additivity holds true. These findings open up new exciting questions about the role of entanglement in quantum communication. Also, the exact relationship between entanglement and the correlations useful for establishing secret keys is not yet entirely understood.

Finally, it is to be expected that more problems, as well as new perspectives, will arise when one considers multi-user channels, i.e. with more than one sender/receiver. While single-sender-receiver settings serve well to study bipartite correlations, such problems have an immediate impact on understanding multi-partite correlations and their role in quantum communication via noisy channels. Also, quantum analogues of certain basic classical network theory primitives have been identified, and the evidence for new non-classical features, such as negative partial information established. Further investigations will be needed to identify differences and similarities in the classical and quantum network theories.

Key references
[1] C. H. Bennett, G. Brassard, C. Crépeau, and M.-H. Skubiszewska, "Practical quantum oblivious transfer", Lecture Notes in Computer Science 576, 351 (1991)
[2] S. Holevo, "The capacity of the quantum channel with general signal states", IEEE Trans. Inf. Theory 44, 269 (1998)
[3] C. H. Bennett, P. W. Shor, J. A. Smolin, and A. V. Thapliyal, "Entanglement-assisted capacity of a quantum channel and the reverse Shannon theorem", Phys. Rev. Lett. 83, 3081 (1999)
[4] P. W. Shor, "Equivalence of additivity questions in quantum information theory", Commun. Math. Phys. 246, 453 (2004)
[5] K. Horodecki, M. Horodecki, P. Horodecki, and J. Oppenheim “Secure key from bound entanglement”, Phys. Rev. Lett. 94, 160502 (2005)
[6] P. Hayden and A. Winter, "Counterexamples to the maximal p-norm multiplicativity conjecture for all p > 1", Comm. Math. Phys. 284, 263 (2008)
[7] M. B. Hastings, "A counterexample to additivity of minimum output entropy", Nature Physics 5, 255 (2009)
[8] S. Lloyd, V. Giovannetti, L. Maccone, N.J. Cerf, S. Guha, R. Garcia-Patron, S. Mitter, S. Pirandola, M. B. Ruskai, J.H. Shapiro, and H. Yuan, "Proof of the bosonic minimum output entropy conjecture", arXiv:0906.2758 [quant-ph]

"Quantum proofs" for classical problems

A very exciting aspect of theoretical work in QIS is the impact that it is beginning to make on other fields of science. In the case of classical computing such insights include the first exponential bounds on certain locally decodable codes, classical proof systems for lattice problems, bounds on the query complexity of local search problems, an efficient classical cryptographic scheme whose security is based on quantum considerations, and a quantum method to compute how many Toffoli gates are required to realize a reversible classical computation. The potential that QIS is offering for classical computing and mathematics may be understood by the following analogy. Real analysis is a very successful discipline but it contained a number of unsolved problems that were only solved by considering complex numbers, i.e. going to a larger space in which to describe the problem. By analogy we expect that moving from classical state space into the much larger quantum mechanical state space we will find novel approaches towards the solution of problems that ostensibly lie entirely within the classical realm. The entanglement between two systems cannot be shared with many others, a principle called ‘monogamy’: this leads to a fruitful relationship between entanglement theory and classical cryptography, and in particular between entanglement distillation and the classical key agreement scenario. Since the two schemes shares similar objects, quantities and relations, it is expected that the parallel growth of these domains will lead to a deeper understanding of both of them. In this sense, quantum information theory offers novel proof tools for "quantum proofs" for classical problems, hence quantum information theory having a significant impact outside quantum theory.

Key references
[1] I. Kerenidis and R. de Wolf, "Exponential lower bound for 2-query locally decodable codes via a quantum argument", quant-ph/0208062
[2] S. Popescu, B. Groisman and S. Massar, "Lower bound on the number of Toffoli gates in a classical reversible circuit through quantum information concept", quant-ph/0407035
[3] N. Gisin and S. Wolf “Linking classical and quantum key agreement: Is There “Bound information”?” in Proceedings of CRYPTO 2000, Lecture Notes in Computer Science vol. 18889, pp. 482-500, Springer (2000)
[4] A. Acin, J. I. Cirac, and Ll. Masanes “Multipartite bound information exists and can be activated”, Phys. Rev. Lett. 92, 107903 (2004)
[5] D. Gross, Y.-K. Liu, S. T. Flammia, S. Becker, and J. Eisert, "Quantum state tomography via compressed sensing", arXiv:0909.3304 [quant-ph]; D. Gross, "Recovering low-rank matrices from few coefficients in any basis", arXiv:0910.1879 [quant-ph]
[6] A. Drucker and R. de Wolf, "Quantum proofs for classical problems", arXiv:0910.3376 [quant-ph]