We give a non-technical introduction of the basic concepts of Quantum Information Theory along the distinction between possible and impossible machines. We then proceed to describe the mathematical framework of Quantum Information Theory. The capacities of a quantum channel for classical and for quantum information are defined in a unified scheme, and a mathematical characterization of all teleportation and dense coding schemes is given.
We give a non-technical introduction of the basic concepts of Quantum Information Theory along the distinction between possible and impossible machines. We then proceed to describe the mathematical framework of Quantum Information Theory. The capacities of a quantum channel for classical and for quantum information are defined in a unified scheme, and a mathematical characterization of all teleportation and dense coding schemes is given.
Quantum information is defined by applying the concepts of ordinary (Shannon) information theory to a quantum sample space consisting of a single framework or consistent family. A classical analogy for a spin-half particle and other arguments show that the infinite amount of information needed to specify a precise vector in its Hilbert space is not a measure of the information carried by a quantum entity with a d-dimensional Hilbert space; the latter is, instead, bounded by log2d bits (one bit per qubit). The two bits of information transmitted in dense coding are located not in one but in the correlation between two qubits, consistent with this bound. A quantum channel can be thought of as a structure or collection of frameworks, and the physical location of the information in the individual frameworks can be used to identify the location of the channel. Analysis of a quantum circuit used as a model of teleportation shows that the location of the channel depends upon which structure is employed; for ordinary teleportation it is not (contrary to Deutsch and Hayden) present in the two bits resulting from the Bell-basis measurement, but in correlations of these with a distant qubit. In neither teleportation nor dense coding does information travel backwards in time, nor is it transmitted by nonlocal (superluminal) influences. It is (tentatively) proposed that all aspects of quantum information can in principle be understood in terms of the (basically classical) behavior of information in a particular framework, along with the framework dependence of this information.
This book is intended as an introductory textbook at graduate or advanced undergraduate level. Students with diverse backgrounds, in mathematics, physics and computer science, can use it to become acquainted with the quantum theory of information. Its scope is deliberately chosen to be not too broad, while being self-consistent and usable for a semester-long course for beginners. The subject is presented using a balanced mix of intuitive arguments and rigorous formalism. The emphasis is not on the physical interpretation, but rather on the formal and mathematical features of quantum information theory, in order to be accessible from different backgrounds, the only requirement being a basic knowledge of linear algebra. In particular, a background in quantum mechanics is not needed, since quantum theory is used as a mere mathematical framework without entering into physical interpretations. The book introduces all necessary concepts from quantum theory and classical information theory, to cover the elements of quantum Shannon theory: quantum states and channels, data compression and entropy, error correcting codes and channel capacities, as well as the basics of entanglement theory and quantum cryptography. Examples are provided to help the reader in understanding the different concepts, together with exercises at the end of each chapter.
Abstract This book has discussed the foundations of quantum information science as well as the relationship between physics and information theory in general. It has considered the quantum equivalents of the Shannon coding and channel capacity theorems. The von Neumann entropy plays a role analogous to the Shannon entropy, and the Holevo bound is the analogue of Shannon's mutual information used to quantify the capacity of a classical channel. Quantum systems can process information more efficiently than classical systems in a number of different ways. Quantum teleportation and quantum dense coding can be performed using quantum entanglement. Entanglement is an excess of correlations that can exist in quantum physics and is impossible to reproduce classically (with what is termed “separable” states). The book has also demonstrated how to discriminate entangled from separable states using entanglement witnesses, as well as how to quantify entanglement, and looked at quantum computation and quantum algorithms.
Finally, here is a modern, self-contained text on quantum information theory suitable for graduate-level courses. Developing the subject 'from the ground up' it covers classical results as well as major advances of the past decade. Beginning with an extensive overview of classical information theory suitable for the non-expert, the author then turns his attention to quantum mechanics for quantum information theory, and the important protocols of teleportation, super-dense coding and entanglement distribution. He develops all of the tools necessary for understanding important results in quantum information theory, including capacity theorems for classical, entanglement-assisted, private and quantum communication. The book also covers important recent developments such as superadditivity of private, coherent and Holevo information, and the superactivation of quantum capacity. This book will be warmly welcomed by the upcoming generation of quantum information theorists and the already established community of classical information theorists.
The concept of information is not different in quantum theory from its counterpart in classical physics: a sui generis quantum information concept is not needed. However, the quantum world is radically different from its classical counterpart. This difference in structure of the material world has important consequences for the amounts of information that can be stored in physical systems and for the possibilities of information transfer. In many cases, overlap between quantum states (non-orthogonality of states) blurs distinctions and impedes efficient information transfer. However, the other typical quantum feature, entanglement, makes new and seemingly mysterious ways of transporting information possible. In this article, we suggest an interpretational scheme of quantum mechanics in terms of perspectival physical properties that may provide an intelligible account of these novel quantum possibilities, while staying close to the mathematical formalism of quantum mechanics.
Quantum information theory (QIT) characterizes the capabilities and fundamental limits of quantum information processing, underpinning quantum communication, computation, and error correction. Formalizing its coding theorems requires connecting finite-block protocols, analytic inequalities, and asymptotic limits within a unified machine-checked framework. Existing developments, however, lack a reusable operational layer that defines codes, error criteria, achievable rates, and capacities independently of their information-theoretic characterizations. In this work, we present LeanQIT, a Lean 4 library for finite-dimensional QIT. It provides composable, kernel-checked interfaces for quantum states and channels, source and channel codes, finite-block performance criteria, hypothesis testing, one-shot quantities, and asymptotic rate constructions. Using this infrastructure, we formalize Schumacher's quantum source-coding theorem, the Holevo--Schumacher--Westmoreland classical-capacity theorem, and the entanglement-assisted classical-capacity theorem together with its strong converse. By separating operational definitions from analytic characterizations and exposing reusable achievability, converse, and asymptotic components, Lean-QIT provides a machine-readable foundation for formal QIT and a compositional knowledge substrate for emerging AI-assisted formalization, automated proof search, and agentic reasoning in quantum information and computation.