Higher-Order CPM Constructions

• Higher-Order CPM Constructions are generalized frameworks that extend classical completely positive maps through iterated symmetry-based foldings in symmetric monoidal categories.
• They employ categorical and group-theoretic methods to model higher-order decoherence and structured transitions from quantum to probabilistic theories.
• These constructions underpin advanced approaches in categorical quantum mechanics, enabling universal embeddings and hierarchical interference models applicable in quantum information.

A higher-order CPM (Completely Positive Maps) construction is a generalisation of the classical CPM construction originated in categorical quantum mechanics. It systematically extends the paradigm to incorporate multi-layered or iterated structures, higher-order decoherence, and symmetry-based variants in symmetric monoidal categories. These constructions are central to categorical approaches to quantum theory, quantum information, probabilistic theories, and operator-algebraic frameworks.

1. Core Principles of Higher-Order CPM Constructions

The classical CPM construction, originally due to Selinger, arises within a dagger-compact closed category $\mathcal{C}$, generating a category of completely positive maps by "doubling" objects and selecting morphisms that factor through the environment (discarding) structure. The higher-order CPM framework extends this via categorical and group-theoretic folding procedures, environment structures, and varying the symmetry group underpinning the construction.

Given a strict symmetric monoidal category $\mathcal{C}$, a finite abelian group $G$, and a group homomorphism $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$, the $\Phi$-folding functor is defined as

$$\mathrm{fld}_{\Phi}(A) = \bigotimes_{\gamma\in G} \Phi(\gamma)[A].$$

This forms the foundation for higher-order CPM categories, denoted $\mathrm{CPM}_{\Phi,\Xi}(\mathcal{C})$, where $\Xi$ is a multi-environment structure—an assignment of compatible discarding effects for each object and each group action (Gogioso, 2018).

The construction admits iteration, yielding an infinite hierarchy of CPM categories,

$$\mathrm{CPM}^{(1)},\,\mathrm{CPM}^{(2)},\,\mathrm{CPM}^{(3)},\dots,$$

each associated to a chain of finite groups and Galois extensions $k=F_0\subset F_1\subset F_2\subset\cdots$ with $\mathcal{C}$0, the $\mathcal{C}$1-fold CPM corresponding to folding over $\mathcal{C}$2 (Hefford et al., 2021).

2. Category-Theoretic Framework and Monad Structure

Functoriality is a central feature: there exists a functor

$\mathcal{C}$3

in the 2-category of SMC universes, whose objects are equipped with group actions and multi-environment structures. Morphisms preserve monoidal structure, $\mathcal{C}$4-equivariance, and environments (Gogioso, 2018). This makes higher-order CPM constructions strictly functorial for equivariant monoidal maps.

The assignment $\mathcal{C}$5 forms an endofunctor with a canonical monad structure. The multiplication on objects arises by pointwise combination of symmetries, and the unit is given by the trivial group and environment. Concretely, iterated folding via $\mathcal{C}$6 and $\mathcal{C}$7 yields $\mathcal{C}$8, and multi-environments likewise combine as $\mathcal{C}$9.

In Eilenberg–Moore algebraic terms, $G$0 forms an algebra for the CPM monad; every iterated application of CPM corresponds precisely to folding over the product of the group actions (Gogioso, 2018).

3. Symmetry, Decoherence, and Hierarchies

Higher-order CPM constructions admit a hierarchical organisation via group chains and Galois-theoretic correspondences. Each level is associated to folding along a finite group, yielding $G$1-invariant morphisms, and equipped with a multi-environment structure (discarding effects invariant under group action).

Key features include:

• Compositional Decoherence: At each stage, there exist canonical decoherence maps, constructed as spider-like projectors, implementing "partial classicalisation" by killing interference and restricting the scalar field to norm images (via the field-norm $G$2) (Hefford et al., 2021).
• Nested Structure: Each CPM$G$3 factors through CPM$G$4 when the group chain is nested, reflecting the Galois correspondence between subgroups and subfields.
• Hierarchy Example: For $G$5, one recovers standard CPM with objects $G$6 and classical decoherence as partial trace. For $G$7, one obtains "double-dilation" (density hypercubes), and partial decoherences correspond to projections onto subspaces (Hefford et al., 2021).

The scalar structure at each level is governed by the fixed field of the group action, with full decoherence restricting to the base field $G$8, and partial decoherence yielding intermediate semirings.

4. Abstract Generalisations: Profunctors and Categorical Closure

A major development is the interpretation of higher-order CPM constructions via the formalism of strong profunctors. The category $G$9 of higher-order causal processes embeds fully and faithfully into the category of strong profunctors $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$0, with $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$1 the first-order subcategory. This embedding is lax-lax duoidal, full, faithful, and strongly closed when $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$2 is additive (Wilson et al., 11 Mar 2026).

Within this setting:

• Objects in $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$3 are functors $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$4 with strong natural transformations as morphisms.
• Monad and closure properties ensure that all higher-order quantum processes (supermaps) can be represented as strong profunctors, and the duoidal structure captures tensor and composition (sequencer) operations.
• This profunctorial approach provides a universal semantics for higher-order CPM constructions, generalisable to arbitrary symmetric monoidal categories satisfying precausality and additive closure (Wilson et al., 11 Mar 2026).

5. Physical and Operational Significance

Higher-order CPM constructions formalise and extend the operational content of quantum theory, probabilistic theories, and compositional frameworks:

• Interference and Hyper-decoherence: The folding functor and spider-decoherences generalise conventional quantum-to-classical transitions, allowing the formal specification of arbitrarily high-order interference theories, and systematic collapse to probabilistic subtheories (Hefford et al., 2021, Gogioso, 2018).
• Born Rule and Statistical Structure: In categorical probabilistic theories, higher-order CPM constructions manifest as categorical $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$5-probabilistic theories, with generalised Born rules parameterised by the group action; probabilities arise from field-norms or their additive closures (Gogioso, 2018).
• Realisation in Categorical Quantum Mechanics: In the case of finite-dimensional Hilbert spaces, higher-order CPM extends Selinger’s CPM to the CP* construction, uniting all finite-dimensional C*-algebras and their completely positive maps in a symmetric monoidal dagger compact category (Coecke et al., 2014, Heunen et al., 2013).

6. Connections, Examples, and Generalisations

Higher-order CPM constructions encompass and generalise several key categorical and algebraic frameworks:

Construction	Underlying Principle	Notable Features
Standard CPM (Selinger)	$\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$6-folding and conjugation	Recovers completely positive maps
CP* (Coecke–Heunen–Kissinger)	Dagger Frobenius algebra objects	Unifies classical/quantum channels
Iterated CPM / Double Dilation	$\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$7-folding	Models higher-order interference
Galois Hierarchy	Nested group/subfield folds	Compositional decoherence, field restriction
Categorical Probabilistic Theory	Semiring module + group autoequivalences	Generalised hyper-decoherence and Born rule

Notable examples include:

• Semiring-module models: Applying higher-order CPM to $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$8-Mat with group action $\Phi\colon G\to\mathrm{Aut}(\mathcal{C})$9 yields a scalar semiring $\Phi$0, categorical $\Phi$1-probabilistic theories, and real/hyperbolic/modal quantum theories (Gogioso, 2018).
• Quantum LDPC Codes: CPM lifts are used to construct high-girth CSS codes, with circulant permutation lifts governed by orthogonality and shift constraints, yielding Galois-theoretic limits on achievable girth (Okada et al., 30 Apr 2026).

A fundamental restriction is apparent: pure circulant-permutation CPM lifts in quantum LDPC codes impose an 8-cycle girth barrier whenever the symmetry enforces certain orthogonality patterns (Okada et al., 30 Apr 2026).

7. Outlook and Open Problems

Higher-order CPM constructions reveal a unified and functorial framework for the study of quantum channels, probabilistic theories, interference structures, and categorical semantics:

• The monadic closure offers systematic iteration, enabling the study of towers of decoherence, subfield restrictions, and operational hierarchies.
• The strong-profunctor generalisation provides a universal embedding of higher-order maps, with implications for arbitrary symmetric monoidal categories.
• Spectral, group-theoretic, and field-theoretic features appear as special cases, with direct operational interpretations in terms of interference, decoherence, and probabilistic outcomes.

Open research directions include:

• Extension to non-abelian group actions and more general symmetry types,
• Exploration of non-circulant covers in quantum code lifts to surpass girth-8 constraints,
• Classification of dagger compact categories realisable as higher-order CPM or CP* categories,
• Full characterisation of the operational semantics and convex-geometry of state spaces at higher CPM levels,
• Comparative study with other classical-quantum categorical frameworks, especially in infinite-dimensional theory (Gogioso, 2018, Hefford et al., 2021, Coecke et al., 2014).

The higher-order CPM construction thereby serves as a foundational schema for the categorical architecture of quantum-like theories, unifying categorical, operator-algebraic, and group-theoretic perspectives.