This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers deal with entanglement. The paper by R. Mosseri and P. Ribeiro presents a detailed description of the two- and three-qubit geometry in Hilbert space, dealing with the geometry of fibrations and discrete geometry. The paper by J.-G.Luque et al. is more algebraic and considers invariants of pure k-qubit states and their application to entanglement measurement.
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers deal with entanglement. The paper by R. Mosseri and P. Ribeiro presents a detailed description of the two- and three-qubit geometry in Hilbert space, dealing with the geometry of fibrations and discrete geometry. The paper by J.-G.Luque et al. is more algebraic and considers invariants of pure k-qubit states and their application to entanglement measurement.
This thesis addresses a number of problems within the emerging field of quantum information science. Quantum information science can be said to encompass the more-established disciplines of quantum computation and quantum information, as well as rather more recent attempts to apply concepts, tools and techniques from these disciplines to gain greater understanding of quantum systems in general. The role of entanglement — non-classical correlation — has been of particular interest to date. Part I contributes to this later goal. In particular, we establish a connection between the energy of a many-body quantum system and the idea of an entanglement witness from the theory of mixed-state entanglement. This connection allows mathematical results about entanglement witnesses to be translated into physical results about many-body quantum systems, specifically energy and temperature thresholds for entanglement. For the case of two qubits we are able to establish fairly detailed results about the behaviour of entanglement with temperature. We also study entanglement in systems of indistinguishable particles, where even the question of which quantum states should be regarded as entangled has been the subject of much controversy. We aim to clarify this issue by applying Wiseman and Vaccaro’s notion of entanglement of particles to a number of wellunderstood model systems. We discuss the advantages of the entanglement of particles approach compared with other methods in common use. Finally, we study the operational meaning of superselection rules in quantum physics, in particular the connection to the existence or not of an appropriate reference frame. We propose an experiment that aims to exhibit a coherent superposition of an atom and a molecule, apparently in violation of the commonly-accepted particle-number superselection rule. This result sheds light on the entanglement of particles approach to entanglement of indistinguishable particles. Part II returns to a fundamental question at the heart of quantum computation and quantum information, namely: how many quantum gates are required to perform a particular quantum computation? In other words, how efficiently can a quantum computer solve a particular computational problem? We establish a connection between this question and the field of Riemannian geometry. Intuitively, optimal quantum circuits correspond to “free-falling” along the shortest path between two points in a curved space. This opens up the possibility of using Riemannian geometry to study quantum computation, a possibility that was previously unknown. We provide explicit calculations of all the basic geometric quantities associated with the space, and give some preliminary results of applying geometric ideas to quantum computing. Finally, we explore more generally the connection between optimal control and quantum circuit complexity, of which the Riemannian metric described above can be viewed as a special case.
Quantum information theory is a branch of science at the frontier of physics, mathematics, and information science, and offers a variety of solutions that are impossible using classical theory. This book provides a detailed introduction to the key concepts used in processing quantum information and reveals that quantum mechanics is a generalisation of classical probability theory. The second edition contains new sections and entirely new chapters: the hot topic of multipartite entanglement; in-depth discussion of the discrete structures in finite dimensional Hilbert space, including unitary operator bases, mutually unbiased bases, symmetric informationally complete generalized measurements, discrete Wigner function, and unitary designs; the Gleason and Kochen–Specker theorems; the proof of the Lieb conjecture; the measure concentration phenomenon; and the Hastings' non-additivity theorem. This richly-illustrated book will be useful to a broad audience of graduates and researchers interested in quantum information theory. Exercises follow each chapter, with hints and answers supplied.
Quantum information theory is a branch of science at the frontier of physics, mathematics, and information science, and offers a variety of solutions that are impossible using classical theory. This book provides a detailed introduction to the key concepts used in processing quantum information and reveals that quantum mechanics is a generalisation of classical probability theory. The second edition contains new sections and entirely new chapters: the hot topic of multipartite entanglement; in-depth discussion of the discrete structures in finite dimensional Hilbert space, including unitary operator bases, mutually unbiased bases, symmetric informationally complete generalized measurements, discrete Wigner function, and unitary designs; the Gleason and Kochen-Specker theorems; the proof of the Lieb conjecture; the measure concentration phenomenon; and the Hastings' non-additivity theorem. This richly-illustrated book will be useful to a broad audience of graduates and researchers interested in quantum information theory. Exercises follow each chapter, with hints and answers supplied.
The application of quantum mechanics to information related fields such as communication, computation and cryptography is a fast growing line of research that has been witnessing an outburst of theoretical and experimental results, with possible practical applications. On the one hand, quantum cryptography with its impact on secrecy of transmission is having its first important actual implementations; on the other hand, the recent advances in quantum optics, ion trapping, BEC manipulation, spin and quantum dot technologies allow us to put to direct test a great deal of theoretical ideas and results. These achievements have stimulated a reborn interest in various aspects of quantum mechanics, creating a unique interplay between physics, both theoretical and experimental, mathematics, information theory and computer science. In view of all these developments, it appeared timely to organize a meeting where graduate students and young researchers could be exposed to the fundamentals of the theory, while senior experts could exchange their latest results. The activity was structured as a school followed by a workshop, and took place at The Abdus Salam International Center for Theoretical Physics (ICTP) and The International School for Advanced Studies (SISSA) in Trieste, Italy, from 12–23 June 2006. The meeting was part of the activity of the Joint European Master Curriculum Development Programme in Quantum Information, Communication, Cryptography and Computation, involving the Universities of Cergy–Pontoise (France), Chania (Greece), Leuven (Belgium), Rennes1 (France) and Trieste (Italy). This special issue of Journal of Physics A: Mathematical and Theoretical collects 22 contributions from well known experts who took part in the workshop. They summarize the present day status of the research in the manifold aspects of quantum information. The issue is opened by two review articles, the first by G Adesso and F Illuminati discussing entanglement in continuous variable systems, the second by T Prosen, discussing chaos and complexity in quantum systems. Both topics have theoretical as well as experimental relevance and are likely to witness a fast growing development in the near future. The remaining contributions present more specific and very recent results. They involve the study of the structure of quantum states and their estimation (B Baumgartner et al , C King et al , S Olivares et al , D Petz et al and W van Dam et al ), of entanglement generation and its quantification (G Brida et al , F Ciccarello et al , G Costantini et al , O Romero-Isart et al , D Rossini et al , A Serafini et al and D Vitali et al ), of randomness related effects on entanglement behaviour (I Akhalwaya et al , O Dahlsten et al and L Viola et al ), and of abstract and applied aspects of quantum computation and communication (K Audenart, G M D'Ariano et al , N Datta et al , L C Kwek et al and M Nathanson et al ). We would like to express our gratitude to the European Commission, the Abdus Salam ICTP, SISSA and Eurotech SpA (Amaro, Udine, Italy) for financial and/or logistic support. Special thanks also go to the workshop secretary Marina De Comelli, and the secretaries of the Department of Theoretical Physics, University of Trieste, Sabrina Gaspardis and Rosita Glavina for their precious help and assistance.
This volume is based on lectures delivered at the 2009 AMS Short Course on Quantum Computation and Quantum Information, held January 3-4, 2009, in Washington, D.C. Part I of this volume consists of two papers giving introductory surveys of many of the important topics in the newly emerging field of quantum computation and quantum information, i.e., quantum information science (QIS). The first paper discusses many of the fundamental concepts in QIS and ends with the curious and counter-intuitive phenomenon of entanglement concentration. The second gives an introductory survey of quantum error correction and fault tolerance, QIS's first line of defence against quantum decoherence. Part II consists of four papers illustrating how QIS research is currently contributing to the development of new research directions in mathematics. The first paper illustrates how differential geometry can be a fundamental research tool for the development of compilers for quantum computers. The second paper gives a survey of many of the connections between quantum topology and quantum computation. The last two papers give an overview of the new and emerging field of quantum knot theory, an interdisciplinary research field connecting quantum computation and knot theory. These two papers illustrate surprising connections with a number of other fields of mathematics. In the appendix, an introductory survey article is also provided for those readers unfamiliar with quantum mechanics.
The application of quantum mechanics to information related fields such as communication, computation and cryptography is a fast growing line of research that has been witnessing an outburst of theoretical and experimental results, with possible practical applications. On the one hand, quantum cryptography with its impact on secrecy of transmission is having its first important actual implementations; on the other hand, the recent advances in quantum optics, ion trapping, BEC manipulation, spin and quantum dot technologies allow us to put to direct test a great deal of theoretical ideas and results. These achievements have stimulated a reborn interest in various aspects of quantum mechanics, creating a unique interplay between physics, both theoretical and experimental, mathematics, information theory and computer science. In viewof all these developments, it appeared timely to organize a meeting where graduate students and young researchers could be exposed to the fundamentals of the theory, while senior experts could exchange their latest results. The activity was structured as a school followed by a workshop, and took place at The Abdus Salam International Center for Theoretical Physics (ICTP) and The International School for Advanced Studies (SISSA) in Trieste, Italy, from 12–23 June 2006. The meeting was part of the activity of the Joint European Master Curriculum Development Programme in Quantum Information, Communication, Cryptography and Computation, involving the Universities of Cergy–Pontoise (France), Chania (Greece), Leuven (Belgium), Rennes1 (France) and Trieste (Italy). This special issue of Journal of Physics A: Mathematical and Theoretical collects 22 contributions from well known experts who took part in the workshop. They summarize the present day status of the research in the manifold aspects of quantum information. The issue is opened by two reviewarticles, the first byGAdesso and F Illuminati discussing entanglement in continuous variable systems, the second by T Prosen, discussing chaos and complexity in quantum systems. Both topics have theoretical as well as experimental relevance and are likely to witness a fast growing development in the near future. The remaining contributions present more specific and very recent results. They involve the study of the structure of quantum states and their estimation (B Baumgartner et al, C King et al, S Olivares et al, D Petz et al and W van Dam et al), of entanglement generation and its quantification (G Brida et al, F Ciccarello et al, G Costantini et al, O Romero-Isart et al, D Rossini et al, A Serafini et al and D Vitali et al), of randomness related effects on entanglement behaviour (I Akhalwaya et al, O Dahlsten et al and L Viola et al), and of abstract and applied aspects of quantum computation and communication (K Audenart, G M D'Ariano et al, N Datta et al, L C Kwek et al and M Nathanson et al). We would like to express our gratitude to the European Commission, the Abdus Salam ICTP, SISSA and Eurotech SpA (Amaro, Udine, Italy) for financial and/or logistic support. Special thanks also go to the workshop secretary Marina De Comelli, and the secretaries of the Department of Theoretical Physics, University of Trieste, Sabrina Gaspardis and Rosita Glavina for their precious help and assistance.