The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

This paper diagnoses the degeneracy of the centre comonad model for quantum modalities, proving that its reliance on precomposition causes the collapse of linear logic to classical logic by annihilating non-commutative algebras, thereby establishing that non-degenerate quantum modalities must be constructed without precomposition.

The Gist

Imagine you are trying to build a special kind of "quantum library" where books (representing quantum systems) can be stored in a way that preserves their unique, messy, non-ordered nature. In the world of mathematics, this library is called a cohesive linear ∞-topos.

A few years ago, a mathematician named Schreiber proposed a set of rules for how this library should work. Then, a model was built using a tool called the "Centre Comonad." The hope was that this tool would act like a magical filter, organizing the library while keeping the "quantum weirdness" (non-commutativity) intact.

However, Joey Woo's paper argues that this specific library model is broken. In fact, it's so broken that it doesn't work at all. Here is the diagnosis, explained simply:

1. The "Eraser" Problem (Annihilation)

Imagine you have a complex, chaotic quantum system (like a qubit, the basic unit of quantum computing). You try to put it through the "Centre Comonad" filter.

In a healthy model, the filter should organize the system but leave the chaos inside. Instead, this filter acts like a heavy-duty eraser.

• The Claim: If you try to process any "simple non-commutative" algebra (a fancy way of saying a truly quantum system), the filter deletes it entirely.
• The Result: The system doesn't just get organized; it vanishes. The paper proves that for these systems, the result is an empty set. It's as if you tried to scan a book, and the scanner returned a blank page with nothing on it.
• The Consequence: Because the system is erased, it has no states. In physics, a qubit needs a "state space" (like the surface of a sphere, known as the Bloch sphere) to exist. This model leaves the qubit with zero states. It's a ghost that doesn't even exist.

2. The "Flatland" Problem (The Collapse of Logic)

Now, let's look at how the library handles relationships between books. In "Linear Logic" (a type of math used for quantum mechanics), there is a special rule called the Seely Isomorphism.

Think of this rule as a way to combine two books into a new, complex story.

• The Ideal: You should be able to combine two books ($A$ and $B$) to create a new, unique story ($A \otimes B$) that is different from just having them side-by-side ($A \times B$). This is the "resource-sensitive" part of quantum logic—it matters how you use the books.
• The Reality in this Model: The paper discovers that in this specific library, the "special combination" ($A \otimes B$) turns out to be exactly the same as just putting them side-by-side ($A \times B$).
• The Metaphor: Imagine you have a special machine that is supposed to mix red and blue paint to make purple. Instead, the machine just gives you a bucket with red paint and a bucket with blue paint sitting next to each other. The "mixing" didn't happen.
• Why? The paper traces this to the "Classical Core" of the model. The mathematical structure underneath is equivalent to a world of finite sets (like a bag of marbles). In this world, the only way to combine things is to put them in a bigger bag (the Cartesian product). Because the underlying math is so simple and "flat," the complex quantum logic collapses into boring, classical logic.

3. The Root Cause: The "Mirror" Trap

Why did this happen? The paper identifies a structural trap.

• The model tried to build a quantum world by looking at a "classical core" (commutative algebras) and flipping it upside down (taking the "opposite" category).
• The problem is that when you flip this specific classical core upside down, it looks exactly like a world of finite sets.
• Because finite sets are so simple, they force the "Day Convolution" (the mathematical glue that holds the quantum logic together) to become the simple "Cartesian Product."
• The Verdict: Any model built this way—where the quantum part is just a "pre-composition" (looking back at a classical core) that is dual to a simple set of items—is doomed to fail. It's like trying to build a 3D sculpture out of a 2D drawing; the depth just isn't there.

4. How to Fix It (The Escape Routes)

The paper concludes that we cannot fix this specific model by tweaking the numbers. The structure itself is the problem. To build a working quantum library, we must avoid this "pre-composition" trap.

The paper suggests two possible escape routes for future research:

1. Internal Modalities: Instead of looking back at a classical core, build the rules inside the library itself (like a self-correcting system).
2. Non-Presheaf Topoi: Build the library in a completely different mathematical universe that isn't based on simple "presheaves" (collections of data indexed by other things).

Summary

Joey Woo's paper is a rigorous autopsy of a failed mathematical model. It proves that the "Centre Comonad" model:

1. Erases all interesting quantum systems, leaving them empty.
2. Collapses complex quantum logic into simple, boring classical logic because the underlying math is too simple.

The paper doesn't offer a new quantum computer or a new physics theory; it simply draws a map showing where not to go if you want to build a non-degenerate quantum mathematical model. It tells us that if we want a working model, we have to stop trying to build it by simply flipping a classical world upside down.

Technical Summary

Technical Summary: The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction

Problem Statement
The paper addresses a critical failure in the first concrete model of a cohesive linear $\infty$-topos, constructed by Schreiber and detailed in reference [1]. This model utilizes the category of finite-dimensional $C^*$-algebras and the "centre comonad" to define a quantum modality ($Q_\diamond$). While intended to axiomatize the interplay between smooth and discrete geometry enriched with quantum logic, the model is found to be fundamentally degenerate. The degeneracy manifests in two primary ways:

1. Annihilation of Non-Commutativity: The quantum modality maps representable presheaves of simple non-commutative algebras (e.g., the qubit algebra $M_2(\mathbb{C})$) to the empty presheaf, effectively erasing all non-commutative degrees of freedom.
2. Collapse of Linear Logic: The associated Seely isomorphism, $Q_\diamond(X \times Y) \cong Q_\diamond X \otimes_{\text{Day}} Q_\diamond Y$, holds trivially because the Day convolution on the "classical core" coincides with the cartesian product. This causes the multiplicative conjunction of linear logic to collapse into the additive conjunction, rendering the resource-sensitive structure of the logic indistinguishable from classical cartesian logic.

Methodology
The author employs a rigorous diagnosis within the framework of $\infty$-category theory and topos theory, specifically utilizing:

• Yoneda Embedding and Representables: Analyzing the behavior of the quantum modality $Q_\diamond = Z^*$ (precomposition with the centre functor $Z$) on representable presheaves $yA$.
• Algebraic Structure Analysis: Investigating the properties of finite-dimensional $C^*$-algebras, specifically the structure of simple non-commutative algebras ($M_n(\mathbb{C})$) and their lack of unital $*$-homomorphisms into commutative algebras.
• Gelfand Duality: Utilizing the equivalence between the opposite category of finite-dimensional commutative $C^*$-algebras and the category of finite sets ($\text{FinSet}$) to analyze the monoidal structure of the classical core.
• Day Convolution: Examining how the Day convolution on the presheaf topos behaves when the underlying site is monoidally equivalent to a cartesian category.
• General Theorem Proving: Isolating the structural conditions (monoidal adjunctions, coreflective subcategories, and dualities) that lead to this degeneracy to formulate a general obstruction theorem.

Key Contributions and Results

1. The Annihilation Lemma (Section 3.1):
   The paper proves that for any simple non-commutative algebra $A$ (where $A \cong M_n(\mathbb{C})$ with $n > 1$), the presheaf $Q_\diamond(yA)$ is the empty presheaf. This is because there exist no unital $*$-homomorphisms from a simple non-commutative algebra to a commutative algebra (the image of the centre functor). Consequently, the modality completely eliminates non-commutative systems.

2. Empty State Space (Section 3.2):
   It is proven that the state space of any such non-commutative algebra is empty ($\text{Hom}(y\mathbb{C}, yA) = \emptyset$). This implies the model fails to provide even a single state for a qubit, contradicting physical requirements (e.g., the existence of the Bloch sphere).

3. Cartesian Day Convolution on the Classical Core (Section 3.3):
   The paper demonstrates that the Day convolution on the category of $Q_\diamond$-coalgebras (the classical core) coincides with the cartesian product. This is derived from the fact that the opposite of the category of commutative finite-dimensional $C^*$-algebras is monoidally equivalent to $\text{FinSet}$, which is cartesian monoidal. Under this duality, the Day convolution becomes the pointwise cartesian product.

4. Triviality of the Seely Isomorphism (Corollary 3.5):
   Because the Day convolution is cartesian, the Seely isomorphism $Q_\diamond(X \times Y) \cong Q_\diamond X \otimes_{\text{Day}} Q_\diamond Y$ reduces to the identity $X \times Y \cong X \times Y$. This confirms that the linear logic structure is degenerate, as the multiplicative and additive conjunctions are indistinguishable.

5. The Precomposition Obstruction Theorem (Theorem 3.6):
   The paper establishes a general theorem characterizing when a coreflective modality on a presheaf topos suffers this degeneracy. The theorem states that if a modality arises from a coreflective subcategory $D \subseteq C$ where:

   • The inclusion and coreflector are strong monoidal.
   • The adjunction is monoidal.
   • The opposite of the core $D^{\text{op}}$ is monoidally equivalent to a cartesian monoidal category.
     Then the induced Day convolution on the coalgebra category is cartesian, and the Seely isomorphism degenerates. This unifies the failure of the centre model with a broad class of potential candidates.

Significance and Claims
The paper claims to provide a "complete mathematical diagnosis" of the defects in the centre comonad model. Its significance lies in:

• Rigorous Identification of Failure: Moving beyond observation to prove that the model annihilates non-commutative algebras and renders them stateless.
• Structural Insight: Identifying that the collapse of linear logic is not an accidental feature of the centre functor but a structural consequence of any coreflective modality whose classical core is dual to a cartesian category.
• Defining Desiderata: Establishing necessary conditions for a non-degenerate quantum modality: it must not annihilate non-commutative algebras, must possess non-trivial state spaces, and must utilize a non-cartesian Day convolution.
• Guiding Future Research: The paper concludes that a non-degenerate model cannot rely on precomposition functors on presheaf topoi with cartesian-dual cores. It suggests two potential "escape routes" for future work: internal modalities (Lawvere–Tierney topologies) on sheaf topoi, or constructions in non-presheaf topoi (such as the CPM construction on Hilbert bimodules).

The paper maintains a modest scope, focusing strictly on diagnosing the existing model and characterizing the obstruction, without proposing a new concrete model or experimental application.