Categorical quantum mechanics is the study of quantum foundations and quantum information using paradigms from mathematics and computer science, notably . The primitive objects of study are physical processes, and the different ways that these can be composed. It was pioneered in 2004 by Samson Abramsky and Bob Coecke. Categorical quantum mechanics is entry 18M40 in MSC2020.
Mathematically, the basic setup is captured by a : composition of morphisms models sequential composition of processes, and the tensor product describes parallel composition of processes. The role of the dagger is to assign to each state a corresponding test. These can then be adorned with more structure to study various aspects. For instance:
A allows one to distinguish between an "input" and "output" of a process. In the diagrammatic calculus, it allows wires to be bent, allowing for a less restricted transfer of information. In particular, it allows entangled states and measurements, and gives elegant descriptions of protocols such as quantum teleportation. In quantum theory, it being compact closed is related to the Choi-Jamiołkowski isomorphism (also known as process-state duality), while the dagger structure captures the ability to take adjoints of linear maps.
Considering only the morphisms that are completely positive maps, one can also handle mixed states, allowing the study of quantum channels categorically.
Wires are always two-ended (and can never be split into a Y), reflecting the no-cloning and no-deleting theorems of quantum mechanics.
Special commutative dagger Frobenius algebras model the fact that certain processes yield classical information, that can be cloned or deleted, thus capturing classical communication.
In early works, dagger biproducts were used to study both classical communication and the superposition principle. Later, these two features have been separated.
Complementary Frobenius algebras embody the principle of complementarity, which is used to great effect in quantum computation, as in the ZX-calculus.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
In physics, the no-deleting theorem of quantum information theory is a no-go theorem which states that, in general, given two copies of some arbitrary quantum state, it is impossible to delete one of the copies. It is a time-reversed to the no-cloning theorem, which states that arbitrary states cannot be copied. This theorem seems remarkable, because, in many senses, quantum states are fragile; the theorem asserts that, in a particular case, they are also robust. Physicist Arun K. Pati along with Samuel L.
In , a branch of mathematics, dagger compact categories (or dagger compact closed categories) first appeared in 1989 in the work of Sergio Doplicher and John E. Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations (that is, ). They also appeared in the work of John Baez and James Dolan as an instance of semistrict k-tuply , which describe general topological quantum field theories, for n = 1 and k = 3.
In physics, the no-cloning theorem states that it is impossible to create an independent and identical copy of an arbitrary unknown quantum state, a statement which has profound implications in the field of quantum computing among others. The theorem is an evolution of the 1970 no-go theorem authored by James Park, in which he demonstrates that a non-disturbing measurement scheme which is both simple and perfect cannot exist (the same result would be independently derived in 1982 by Wootters and Zurek as well as Dieks the same year).
Information is processed in physical devices. In the quantum regime the concept of classical bit is replaced by the quantum bit. We introduce quantum principles, and then quantum communications, key d
The course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch
Quantum state reconstruction using Neural Quantum States has been proposed as a viable tool to reduce quantum shot complexity in practical applications, and its advantage over competing techniques has been shown in numerical experiments focusing mainly on ...
Verein Forderung Open Access Publizierens Quantenwissenschaf2024
Mechanical oscillators are among the most important scientific tools in the modern physics. From the pioneering experiments in 18th by founding fathers of modern physics such as Newton, Hooke and Cavendish to the ground braking experiments in the 21th cent ...
EPFL2018
, , ,
In this paper we consider the compilation of quantum state permutations into quantum gates for physical quantum computers. A sequence of generic single-target gates, which realize the input permutation, are extracted using a decomposition based reversible ...