[Paper Review] Concrete Foundations for Categorical Quantum Physics

Daniel Lehmann|arXiv (Cornell University)|Dec 29, 2010

Quantum Mechanics and Applications12 references3 citations

TL;DR

This paper proposes a minimalist, physically grounded framework for categorical quantum mechanics that replaces compact closure with adjoint structures, universal tensor products up to unitary equivalence, and biproducts via adjoint-compatible coproducts. It establishes a general no-cloning theorem: cloning is only possible for unit objects, providing a foundational categorical justification for the quantum no-cloning principle without assuming complex Hilbert spaces or additive structure.

ABSTRACT

An original presentation of Categorical Quantum Physics, in the line of Abramsky and Coecke, tries to introduce only objects and assumptions that are clearly relevant to Physics and does not assume compact closure. Adjoint arrows, tensor products and biproducts are the ingredients of this presentation. Tensor products are defined, up to a unitary arrow, by a universal property related to transformations of composite systems, not by assuming a monoidal structure. Entangled states of a tensor product define mixed states on the components of the tensor product. Coproducts that fit the adjoint structure are shown to be defined up to a unitary arrow and to provide biproducts. An abstract no-cloning result is proved.

Motivation & Objective

• To develop a more physically intuitive and minimal categorical framework for quantum mechanics that avoids reliance on compact closure.
• To clarify the physical meaning of mathematical structures like scalars, vector addition, and tensor products in quantum theory.
• To show that entanglement, mixed states, and superposition emerge naturally from adjoint and universal properties rather than from Hilbert space axioms.
• To prove a general no-cloning result in a category-theoretic setting, showing cloning is only possible for unit objects.
• To provide a base-free, multiplicative description of quantum concepts such as states, observables, and entanglement.

Proposed method

• Uses adjoint structures to formalize time-reversal symmetry and unitary transformations, defining self-adjoint and unitary arrows without assuming Hilbert spaces.
• Defines tensor products via a universal property up to unitary equivalence, avoiding monoidal category axioms and additive structure.
• Introduces biproducts through adjoint-compatible coproducts, showing they are uniquely determined up to unitary isomorphism.
• Models mixed states as compositions of antilinear maps, offering a novel, abstract characterization.
• Employs a weak scalar structure—closed under addition and multiplication, but not necessarily isomorphic to C or R—while still supporting key quantum features.
• Applies universal characterizations to derive properties of symmetric and antisymmetric tensor products, suggesting connections to bosons and fermions.

Experimental results

Research questions

• RQ1 Can quantum phenomena like entanglement and superposition be derived from categorical structures without assuming Hilbert spaces or compact closure?
• RQ2 What is the physical significance of tensor products defined up to unitary equivalence via universal properties?
• RQ3 How do adjoint structures and universal coproducts give rise to biproducts and the notion of orthogonality in a quantum setting?
• RQ4 Can the no-cloning theorem be derived in a general categorical framework without relying on specific Hilbert space features?
• RQ5 What role do scalar structures play in distinguishing quantum from classical systems in this framework?

Key findings

• The paper proves that an object in a Q-category can be cloned if and only if it is a unit object, establishing a general categorical no-cloning theorem.
• Tensor products are defined universally up to unitary equivalence, without assuming a monoidal structure or additive operations.
• Biproducts are shown to exist and be unique up to unitary isomorphism when coproducts are compatible with the adjoint structure.
• Mixed states are characterized as compositions of two antilinear maps, offering a novel, abstract formulation.
• The framework supports a base-free, multiplicative description of quantum states, observables, and entanglement without assuming complex numbers or Hilbert space axioms.
• The results suggest that the distinction between bosons and fermions may be captured by universal characterizations of symmetric and antisymmetric tensor products.