[Paper Review] H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics

Samson Abramsky, Chris Heunen|arXiv (Cornell University)|Nov 28, 2010

Advanced Algebra and Logic16 citations

TL;DR

This paper introduces H*-algebras as a categorical generalization of Frobenius algebras to infinite-dimensional Hilbert spaces, enabling the algebraic characterization of orthonormal bases and observables with discrete spectra. It establishes that H*-algebras in Hilbert spaces correspond exactly to orthonormal bases and prove that nonunital Frobenius algebras coincide with H*-algebras precisely when they satisfy a positivity and finiteness condition.

ABSTRACT

A certain class of Frobenius algebras has been used to characterize orthonormal bases and observables on finite-dimensional Hilbert spaces. The presence of units in these algebras means that they can only be realized finite-dimensionally. We seek a suitable generalization, which will allow arbitrary bases and observables to be described within categorical axiomatizations of quantum mechanics. We develop a definition of H*-algebra that can be interpreted in any symmetric monoidal dagger category, reduces to the classical notion from functional analysis in the category of (possibly infinite-dimensional) Hilbert spaces, and hence provides a categorical way to speak about orthonormal bases and quantum observables in arbitrary dimension. Moreover, these algebras reduce to the usual notion of Frobenius algebra in compact categories. We then investigate the relations between nonunital Frobenius algebras and H*-algebras. We give a number of equivalent conditions to characterize when they coincide in the category of Hilbert spaces. We also show that they always coincide in categories of generalized relations and positive matrices.

Motivation & Objective

• To extend the categorical axiomatization of quantum mechanics to infinite-dimensional Hilbert spaces, where standard Frobenius algebras fail due to their reliance on units.
• To define a general notion of Frobenius structure that works in arbitrary dimensions, particularly for observables with discrete spectra.
• To clarify the relationship between nonunital Frobenius algebras and H*-algebras in symmetric monoidal dagger categories, especially in Hilbert spaces and generalized relation categories.
• To provide a categorical framework for orthonormal bases and quantum observables in infinite dimensions, using algebraic structures that reduce to standard notions in finite dimensions.
• To explore the conditions under which nonunital Frobenius algebras and H*-algebras coincide, particularly in categories of positive matrices and generalized relations.

Proposed method

• Introduce H*-algebras as a categorical structure in symmetric monoidal dagger categories, generalizing the notion of a *-algebra with a Frobenius structure.
• Define H*-algebras in terms of a comultiplication, multiplication, and involution satisfying specific dagger and Frobenius axioms, reducing to the standard notion in Hilbert spaces.
• Prove that in the category of Hilbert spaces, H*-algebras correspond exactly to orthonormal bases and thus to observables with discrete spectra.
• Establish equivalent conditions for a nonunital Frobenius algebra to be an H*-algebra in Hilbert spaces, including positivity of the comultiplication matrix and finite support.
• Show that in categories of generalized relations and positive matrices (e.g., Mat(ℓ²(ℝ⁺))), H*-algebras and nonunital Frobenius algebras always coincide due to the absence of destructive interference.
• Use matrix representations and pointwise involution (x* = x⁻¹) to analyze the structure of Frobenius algebras in matrix categories, particularly in ℓ²(ℝ⁺)-valued matrices.

Experimental results

Research questions

• RQ1 Can Frobenius algebras be generalized to infinite-dimensional Hilbert spaces to describe orthonormal bases and observables with discrete spectra?
• RQ2 What categorical structure generalizes Frobenius algebras in infinite dimensions while preserving the correspondence with orthonormal bases?
• RQ3 Under what conditions do nonunital Frobenius algebras coincide with H*-algebras in the category of Hilbert spaces?
• RQ4 How do H*-algebras behave in categories of generalized relations and positive matrices, and do they always coincide with nonunital Frobenius algebras there?
• RQ5 Can the algebraic structure of observables in infinite-dimensional quantum mechanics be axiomatized categorically without relying on finite-dimensionality?

Key findings

• H*-algebras in the category of Hilbert spaces (Hilb) are in one-to-one correspondence with orthonormal bases, thus providing a categorical characterization of quantum observables with discrete spectra.
• A Frobenius algebra in Hilb satisfies the H*-algebra condition (H) if and only if its comultiplication matrix has nonnegative entries in some basis, which is equivalent to the algebra being a direct sum of one-dimensional algebras.
• In the category Matℓ²(ℝ⁺), every Frobenius algebra satisfies condition (H), meaning it corresponds to an orthonormal basis and thus is an H*-algebra.
• In categories of generalized relations (e.g., lbfRel, Mat(S) with S a commutative semiring), H*-algebras and nonunital Frobenius algebras always coincide due to the absence of destructive interference.
• The equivalence between nonunital Frobenius algebras and H*-algebras in Hilb holds precisely when the comultiplication is represented by a matrix with nonnegative entries and finite support.
• The paper establishes that the Frobenius algebra structure in Hilb is an H*-algebra if and only if the comultiplication is a positive operator with finite rank and the algebra decomposes into a finite direct sum of one-dimensional components.