Source-linked AI summary
A new description of orthogonal bases
Bob Coecke, Dusko Pavlovic, Jamie Vicary
TL;DR
The paper addresses how orthogonal and orthonormal bases can be characterised without referring directly to vector-space elements. It constructs and reverses a correspondence with commutative dagger-Frobenius monoids in FdHilb, showing that speciality exactly captures normalisation and yields categorical descriptions of finite sets.
Problem
The paper seeks an abstract categorical characterisation of orthogonal and orthonormal bases that avoids explicit reference to underlying vector spaces.
Method
It constructs commutative dagger-Frobenius monoids from orthogonal bases and extracts bases from such monoids in FdHilb.
Results
Every commutative dagger-Frobenius monoid in FdHilb determines an orthogonal basis, and the two constructions are inverse; speciality corresponds to normalisation.
Takeaways & Limitations
Orthogonal and orthonormal bases can be axiomatised using composition and tensor product, with categorical consequences including equivalences involving finite sets.
Takeaways & Limitations
Arbitrary commutative Frobenius algebras on complex vector spaces do not generally correspond to basis structures, whereas the dagger and specialness axioms constrain this behaviour.
Abstract
from arXiv · showhide
We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous linear maps as morphisms, and tensor product for the monoidal structure. The basis is normalised exactly when the corresponding commutative dagger-Frobenius monoid is special. Hence orthogonal and orthonormal bases can be axiomatised in terms of composition of operations and tensor product only, without any explicit reference to the underlying vector spaces. This axiomatisation moreover admits an operational interpretation, as the comultiplication copies the basis vectors and the counit uniformly deletes them. That is, we rely on the distinct ability to clone and delete classical data as compared to quantum data to capture basis vectors. For this reason our result has important implications for categorical quantum mechanics.
1 Introduction
The paper characterises orthogonal bases through commutative dagger-Frobenius monoids in FdHilb, with normalisation corresponding exactly to speciality. It develops the construction in both directions and connects it to categorical descriptions of finite sets.
- 1 Introduction: Orthogonal bases induce commutative dagger-Frobenius structures in FdHilb through copying and deletion maps.The paper begins from the basis-to-structure construction and later extracts a basis from any such monoid.
- 1 Introduction: Every commutative special dagger-Frobenius monoid arises from an orthonormal basis, while dropping speciality yields an orthogonal basis.This is the paper's central correspondence between algebraic structure and basis vectors.
- 1 Introduction: The paper's sections construct the correspondence, extract bases from monoids, state the main theorem, and derive categorical consequences.The stated plan includes category-theoretic preliminaries, both construction directions, the theorem, and subsequent categorical statements.
- 1 Introduction: Normalisation of basis vectors corresponds exactly to speciality of the associated commutative dagger-Frobenius monoid.The paper also compares this correspondence with earlier classifications of arbitrary bases as special Frobenius algebras.
2 Preliminaries
The preliminaries place commutative dagger-Frobenius monoids inside symmetric monoidal dagger-categories and explain their role as algebraic models of classical interfaces and data flows.
- 2 Preliminaries: Categorical quantum mechanics uses symmetric monoidal dagger-categories to specify quantum-informatic protocols at an abstract level.The framework combines a symmetric monoidal category with an identity-on-objects involutive endofunctor preserving the monoidal structure.
- 2 Preliminaries: Commutative dagger-Frobenius monoids model classical interfaces and support descriptions of projector spectra, measurements, and classical data flows.These structures are introduced as additional structure on the categorical quantum-mechanics framework.
- 2 Preliminaries: A Frobenius monoid consists of monoid and comonoid structure satisfying the Frobenius condition.The definition presents the structure as a quintuple containing multiplication, unit, comultiplication, and counit.
- 2 Preliminaries: A dagger-Frobenius monoid is obtained when comultiplication and counit are the daggers of multiplication and unit, with speciality and commutativity imposed separately.The dagger construction is expressed as δ = m† and ǫ = u†.
- 2 Preliminaries: A copyable element is a comonoid homomorphism from the monoidal unit into the Frobenius monoid.This definition supplies the categorical notion later used to identify basis vectors.
3 Turning an orthogonal basis into a commutative †-Frobenius monoid
An orthogonal basis defines comultiplication and counit as linear extensions of copying and uniform deletion, and the resulting structure satisfies the dagger-Frobenius axioms. The comultiplication also determines the basis uniquely.
- 3 Turning an orthogonal basis into a commutative †-Frobenius monoid: For an orthogonal basis, the associated maps are precisely the linear extensions of copying basis vectors and uniformly deleting them.This gives the operational interpretation of the construction.
- 3 Turning an orthogonal basis into a commutative †-Frobenius monoid: The basis can be recovered from the comultiplication by solving the copyability equation.The paper argues that no other vectors satisfy the required equation.
- 3 Turning an orthogonal basis into a commutative †-Frobenius monoid: Vectors outside the basis yield entangled outputs under comultiplication and therefore cannot satisfy the copyability equation.Because such outputs cannot be written as |ψ⟩⊗|ψ⟩, the comultiplication faithfully encodes the basis.
- 3 Turning an orthogonal basis into a commutative †-Frobenius monoid: The dagger of comultiplication and comultiplication satisfy the Frobenius condition, while the comonoid laws follow by linearity and direct verification.The construction therefore supplies the required Frobenius structure in FdHilb.
4 Turning a commutative †-Frobenius monoid into an orthogonal basis
The section develops the correspondence from a commutative †-Frobenius monoid in FdHilb to an orthogonal basis, using copyable elements and algebraic properties of the monoid.
- Algebraic setup: Right multiplication by an element has an adjoint that is itself right multiplication by another element.The corresponding element is α′ = (idX ⊗ α†)◦m† ◦u.
- Algebraic setup: The right-action mapping is an involution-preserving monoid embedding and preserves vector-space structure in FdHilb.This supports identifying the Frobenius monoid with a finite-dimensional involution-closed subalgebra.
- C*-algebra structure: Every †-Frobenius monoid in FdHilb is a C*-algebra, even without assuming commutativity.The result follows by viewing it as a finite-dimensional involution-closed subalgebra of an endomorphism C*-algebra.
- Copyable elements: The copyable elements of any commutative †-Frobenius monoid form a basis for the underlying Hilbert space.The proof uses the spectral theorem for finite-dimensional commutative C*-algebras and adjoints of homomorphisms.
- Orthogonality: The basis of copyable elements is orthogonal because distinct copyable vectors would otherwise have equal inner products and therefore coincide.The inner products are shown to be real and equal; subtracting the vectors then yields equality, contradicting distinctness.
5 Statement of the main result
The main theorem establishes a bijective correspondence between commutative †-Frobenius monoids in FdHilb and orthogonal bases, with the constructions inverse to one another.
- Main theorem: Every commutative †-Frobenius monoid in FdHilb determines an orthogonal basis of copyable elements, and every orthogonal basis determines such a monoid.The two constructions are inverse to each other.
- Inverse constructions: Starting from an orthogonal basis, the constructed comultiplication copies exactly the original basis vectors.The copyable elements therefore reproduce the original basis by finite-dimensional basis cardinality.
- Inverse constructions: Starting from a commutative †-Frobenius monoid, reconstructing the monoid from its copyable basis returns the original monoid by uniqueness.Both the original and reconstructed monoids perfectly copy the same basis.
- Relation to prior formulations: In FdHilb, comonoid homomorphisms automatically satisfy the self-conjugacy condition used in related abstract-basis formulations.The additional self-conjugacy requirement is needed in other categories to guarantee involution preservation.
6 Other types of basis
The paper gives a precise algebraic classification of arbitrary, orthogonal, and orthonormal bases on finite-dimensional complex Hilbert spaces. Commutative †-Frobenius structure captures orthogonality, while speciality captures normalisation.
- Normalisation is equivalent to speciality, because m ◦ δ = id_H exactly when the orthogonal basis vectors are normalised.
- Arbitrary bases correspond to commutative special Frobenius algebras, without using the Hilbert-space inner product.
- Orthogonal bases correspond to commutative †-Frobenius algebras, while orthonormal bases correspond to commutative special †-Frobenius algebras.
- Basis vectors are recovered as precisely those vectors perfectly copied by the comultiplication, and the corresponding Frobenius algebra is uniquely recovered from the basis.
- Arbitrary commutative Frobenius algebras need not correspond to basis structures; the †-Frobenius and specialness axioms independently restrict this behaviour.
7 Categorical statements
The categorical classification identifies commutative †-Frobenius monoids with finite lists of positive real norms and structure-preserving isomorphisms. Restricting morphisms to comultiplication and counit yields the category FinSet, clarifying the relationship between finite sets and finite-dimensional Hilbert spaces.
- A commutative †-Frobenius monoid is determined up to unitary isomorphism by the positive real norms of its basis elements.
- Morphisms preserving all Frobenius structure map basis elements to basis elements of the same norm and are necessarily unitary isomorphisms.
- The resulting category is equivalent to finite lists of positive real numbers with isomorphisms preserving those numbers.
- Preserving only comultiplication and counit allows arbitrary functions between bases, without preserving basis-vector lengths.
- Consequently, commutative †-Frobenius monoids with these weaker morphisms form a category equivalent to FinSet.
- This equivalence presents a finite set as a finite-dimensional Hilbert space equipped with a commutative †-Frobenius monoid structure, and the associated functor as a free Hilbert-space construction.