Related papers: Continuum canonical purifications
Using von Neumann algebras, we extend the theory of quantum computation on a graph to a theory of computation on an arbitrary topological space.
A ring $R$ is called clean if every element of $R$ is the sum of a unit and an idempotent. Motivated by a question proposed by Lam on the cleanness of von Neumann Algebras, Va\v{s} introduced a more natural concept of cleanness for…
We show that any countably generated von Neumann algebra with specified normal faithful state can arise as the tail algebra of a quantum exchangeable sequence of noncommutative random variables. We also characterize the cases when the state…
With the control of ever more complex quantum systems becoming a reality, new scenarios are emerging where generalizations of the most foundational aspects of statistical quantum mechanics are imperative. In such experimental scenarios the…
Conformal Quantum Field Theories (CFT) in 1 or 1+1 spacetime dimensions (respectively called chiral and full CFTs) admit several "axiomatic" (mathematically rigorous and model-independent) formulations. In this note, we deal with the von…
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness…
A generalization of the Heisenberg algebra has been recently constructed. This generalized algebra has a characteristic function which depends on one of its generators. When this function is linear, $qJ_0+s$, it is possible to construct a…
We construct a topos of quantum sets and embed into it the classical topos of sets. We show that the internal logic of the topos of sets, when interpreted in the topos of quantum sets, provides the Birkhoff-von Neumann quantum propositional…
We propose a categorical foundation for the connection between pure and mixed states in quantum information and quantum computation. The foundation is based on distributive monoidal categories. First, we prove that the category of all…
Standard purification interlaces Hermitian and Riemannian metrics on the space of density operators with metrics and connections on the purifying Hilbert-Schmidt space. We discuss connections and metrics which are well adopted to…
To study quantum computation, it might be helpful to generalize structures from language and automata theory to the quantum case. To that end, we propose quantum versions of finite-state and push-down automata, and regular and context-free…
Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the duplicability operator "!" by studying those von Neumann…
Affine quantization is a parallel procedure to canonical quantization, which is ideally suited to deal with non-renormalizable scalar models as well as quantum gravity. The basic applications of this approach lead to the common goals of any…
Propositional canonical Gentzen-type systems, introduced in 2001 by Avron and Lev, are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly one occurrence of a connective is…
We consider N quantum systems initially prepared in pure states and address the problem of unambiguously comparing them. One may ask whether or not all $N$ systems are in the same state. Alternatively, one may ask whether or not the states…
Quantum Field Theory (QFT) represents a vast generalization of Quantum Mechanics (QM), as it deals with systems that have an infinite number of degrees of freedom. The Stone-von Neumann theorem, which establishes the equivalence of…
We prove a rigorous inequality estimating the purity of a reduced density matrix of a composite quantum system in terms of cross-correlation of the same state and an arbitrary product state. Various immediate applications of our result are…
A generalization of the results of Rasetti and Zanardi concerning avoiding errors in quantum computers by using states preserved by evolution is presented. The concept of dynamical symmetry is generalized from the level of classical Lie…
A unital ring is called clean (resp. strongly clean) if every element can be written as the sum of an invertible element and an idempotent (resp. an invertible element and an idempotent that commutes). T.Y. Lam proposed a question: which…
It is known that an arbitrary quantum state can always be expressed in a pure state by preparing an appropriate ancilla system, which is called purification. The purification can always be performed when considering only a quantity not…