Entanglement of Sections: The pushout of entangled and parameterized quantum information

This paper resolves a question posed by Freedman and Hastings by formalizing and computing a categorical pushout that unifies quantum entanglement with parameterized bundle structures, demonstrating that this amalgamation yields the external tensor product on flat vector bundles, which encodes topological Berry phases relevant to the classification of topological phases of matter.

The Gist

The Big Question: How Do We Mix Two Worlds?

Imagine the world of quantum physics is like a giant library with two very different wings.

1. The "Pure" Wing (Entanglement): This is where quantum particles live when they are isolated. Here, the rules are strange. Two particles can be "entangled," meaning they are linked in a way that defies normal logic. If you have a red ball and a blue ball, in this wing, they can become a single "super-ball" that is both red and blue at the same time until you look at it. Mathematicians call this the Tensor Product. It's the math of "mixing" things together to create something new and complex.
2. The "Parameterized" Wing (Measurement & Context): This is where quantum particles live when they interact with the real world (like a computer or a measuring device). Here, the state of a particle depends on where it is or what the environment is. It's like a chameleon: it looks different depending on the background. If you measure it, it "collapses" into a specific state. Mathematicians call this Bundle Theory (or sections of a bundle). It's the math of "context" and "location."

The Problem:
For a long time, physicists and mathematicians have treated these two wings as separate. They have great math for the "Pure" wing and great math for the "Parameterized" wing, but they haven't figured out how to build a bridge between them.

The authors of this paper ask: Can we smash these two wings together to create a single, unified theory? They want to find the "Pushout"—a fancy math word for the perfect, universal way to merge two things along their common ground.

---

The Solution: The "External Tensor Product"

The authors say the answer is yes, and the bridge is a mathematical tool called the External Tensor Product.

To understand this, let's use a metaphor: The Universal Travel Agency.

1. The Old Way (Separate Systems)

• System A (Pure Quantum): Imagine you have a suitcase full of quantum states (like a suitcase full of different colored marbles). You can mix marbles from two suitcases to make a new, bigger suitcase of mixed marbles. This is the Tensor Product.
• System B (Parameterized): Imagine you have a travel agency. For every city (a "parameter"), they have a different suitcase of marbles. If you go to Paris, you get a red marble; if you go to Tokyo, you get a blue one. This is a Bundle.

2. The New Way (The Amalgamation)

The authors realized that to understand complex quantum systems (like topological phases of matter or quantum computers), you need to do both at once. You need to know where you are (the city) AND how the marbles are mixed.

The External Tensor Product is like a super-agency that takes two travelers:

• Traveler 1 is in City A with a Suitcase of Marbles.
• Traveler 2 is in City B with a Suitcase of Marbles.

Instead of just mixing the marbles or just looking at the cities, this new system creates a New City (City A × City B) and a New Suitcase for every pair of locations.

• If Traveler 1 is in Paris and Traveler 2 is in Tokyo, the new system creates a specific "Paris-Tokyo" suitcase containing the mixed marbles from both original suitcases.

Why is this cool?
It preserves the "mixing" rules (entanglement) while perfectly respecting the "location" rules (parameterization). It turns out that this specific way of combining things is exactly what nature uses for certain advanced quantum phenomena.

---

The "Flat" Twist: The Map with No Bumps

The paper goes a step further. It doesn't just look at simple cities; it looks at "Flat" bundles.

The Metaphor: The Flat Map vs. The Bumpy Globe
Imagine you are walking around a globe. If you walk in a circle, you might end up facing a different direction than when you started (like the famous "Berry Phase" in physics). This is a "curved" or "twisted" bundle.

However, the authors focus on "Flat" bundles.

• Analogy: Imagine a map that is perfectly flat. If you walk in a square on this map, you end up exactly where you started, facing the same way. There are no hidden twists.
• The Math: In quantum physics, these "flat" bundles represent systems where the quantum state changes based on the path you take, but only in a very specific, predictable way (called monodromy). It's like a secret code that only changes if you loop around a specific obstacle.

The authors prove that even with these "flat" twists, the External Tensor Product still works perfectly. It unifies the "mixing" of quantum states with the "looping" of paths.

---

Why Does This Matter? (The "So What?")

You might ask, "Why do we need a new math word for mixing suitcases?"

1. Topological Quantum Computing: This is the holy grail of quantum computing. It relies on "topological phases of matter"—materials that are robust against errors because of their shape and how they twist. The authors show that the math describing these materials is exactly this "External Tensor Product."
2. Unifying Logic: The paper suggests that the logic of quantum computers (which uses entanglement) and the logic of programming (which uses parameters and variables) are actually two sides of the same coin. By finding this "Pushout," they are building the theoretical foundation for a new kind of quantum programming language.
3. Solving a Mystery: A famous question was raised by physicists Freedman and Hastings: "How do we mathematically glue entanglement and parameterization together?" This paper provides the answer: You glue them using the External Tensor Product.

Summary in One Sentence

The paper proves that the best way to mathematically combine the "spooky mixing" of quantum entanglement with the "location-dependent" nature of quantum measurement is to treat them as a single, unified structure called the External Tensor Product, which acts like a universal translator between the world of pure quantum states and the world of real-world quantum systems.

Technical Summary

1. Problem Statement

The paper addresses a foundational question in quantum information theory and mathematical physics, originally raised by Freedman and Hastings [FH23]. The core problem is to construct a unified mathematical framework that amalgamates two distinct structural aspects of quantum theory:

1. Entanglement (Tensor Structure): The non-cartesian monoidal structure of pure quantum processes, governed by the tensor product ($\otimes$) of Hilbert spaces. This encodes phenomena like superposition and the no-cloning theorem.
2. Parameterization (Bundle Structure): The logic of quantum systems interacting with classical environments, modeled as sections of vector bundles over classical parameter spaces. This encodes phenomena like "many worlds," quantum measurement (state collapse), and state preparation, governed by the cocartesian monoidal structure (disjoint union, $\sqcup$) of bundles.

The authors seek to formalize the pushout of these two structures along their common core (the category of plain vector spaces, $\text{Mod}_{\mathbb{C}}$). Specifically, they ask: What is the universal mathematical object that combines the tensor product of entangled states with the bundle structure of parameterized states?

2. Methodology

The authors employ monoidal category theory and homotopy theory to formalize and solve this problem. Their methodology proceeds in two main stages:

A. Discrete Parameter Spaces (Sets)

First, they consider the case where parameter spaces are discrete sets.

• Categories Involved:
  • $\text{Mod}_{\mathbb{C}}$: The category of complex vector spaces with the tensor product $\otimes$.
  • $\text{Fam}_{\mathbb{C}}$: The category of vector bundles over sets (the Grothendieck construction of $\text{Mod}_{\mathbb{C}}$ over $\text{Set}$), equipped with the cocartesian product $\sqcup$ (disjoint union).
• The Construction: They define the external tensor product ($\boxtimes$) on $\text{Fam}_{\mathbb{C}}$, which takes two bundles over sets $X$ and $Y$ and produces a bundle over $X \times Y$ by taking the fiberwise tensor product.
• The Pushout: They prove that the category of vector bundles equipped with both the disjoint union and the external tensor product, denoted $(\text{Fam}_{\mathbb{C}}, \sqcup, \boxtimes)$, is the pushout of the diagram:
  $$(\text{Mod}_{\mathbb{C}}, \otimes) \leftarrow \text{Mod}_{\mathbb{C}} \rightarrow (\text{Fam}_{\mathbb{C}}, \sqcup)$$
  in the category of distributive monoidal categories.

B. General Parameter Spaces (Flat Bundles/Groupoids)

Second, they generalize the result to continuous parameter spaces where bundles may have non-trivial monodromy (flat connections).

• Shift to Groupoids: They model parameter spaces as skeletal groupoids (disjoint unions of delooping groupoids $BG$). Flat vector bundles correspond to functors from these groupoids to $\text{Mod}_{\mathbb{C}}$ (local systems).
• Homotopy Quasi-Coproducts: They introduce the concept of homotopy quasi-coproducts ($\sqcup_{hq}$), which generalizes disjoint unions to include homotopy quotients (Borel constructions) by group actions. This captures the structure of bundles with monodromy.
• The Category of Local Systems: They define $\text{Loc}_{\mathbb{C}}$ as the category of local systems (flat bundles) over varying groupoids.
• The Generalized Pushout: They prove that $(\text{Loc}_{\mathbb{C}}, \sqcup_{hq}, \boxtimes)$ is the pushout of the diagram involving the tensor product of vector spaces and the homotopy quasi-cocartesian structure of local systems.

3. Key Contributions

1. Formalization of the Amalgamation: The paper provides the first rigorous categorical definition of the "pushout" between entangled quantum processes and parameterized quantum processes. It identifies this amalgamation as the external tensor product on vector bundles (or local systems).
2. Universal Property Proof: The authors prove that the external tensor product is uniquely characterized by two properties:
   • It reduces to the standard tensor product on singletons (trivial bundles).
   • It distributes over the coproduct (disjoint union) and, in the general case, over homotopy quasi-coproducts.
3. Connection to K-Theory and Topological Phases: The result links the external tensor product to the external product in K-theory. The authors argue that this structure is essential for understanding the classification of topological phases of matter, where entanglement and parameterization (Berry phases/monodromy) are inextricably linked.
4. Foundations for Quantum Programming: The work provides a categorical semantics for Linear Homotopy Type Theory (LHoTT). It suggests that the "doubly closed monoidal" structure of vector bundles (having both cartesian and tensor products) is the correct logical framework for quantum programming languages that handle both classical control and quantum entanglement.

4. Main Results

• Theorem 2.14 (Discrete Case): The diagram of categories
  $$(\text{Mod}_{\mathbb{C}}, \otimes) \leftarrow \text{Mod}_{\mathbb{C}} \rightarrow (\text{Fam}_{\mathbb{C}}, \sqcup)$$
  has a pushout in the category of distributive monoidal categories, which is $(\text{Fam}_{\mathbb{C}}, \sqcup, \boxtimes)$.
• Theorem 2.31 (General Case): The diagram
  $$(\text{Mod}_{\mathbb{C}}, \otimes) \leftarrow \text{Mod}_{\mathbb{C}} \rightarrow (\text{Loc}_{\mathbb{C}}, \sqcup_{hq})$$
  has a pushout in the category of homotopy quasi-distributive monoidal categories, which is $(\text{Loc}_{\mathbb{C}}, \sqcup_{hq}, \boxtimes)$.
• Characterization of Flat Bundles: The paper establishes that flat vector bundles over general spaces are the "free homotopy quasi-coproduct completion" of the category of vector spaces. This unifies the treatment of group representations (monodromy) and disjoint unions of spaces.

5. Significance

• Unification of Quantum Concepts: The paper resolves a long-standing conceptual gap by showing that the "entanglement of sections" (parameterized entanglement) is not a new ad-hoc structure but a natural consequence of the pushout of standard quantum logic and bundle logic.
• Topological Quantum Matter: By highlighting the role of the external tensor product in flat K-theory, the paper offers a new mathematical perspective on topological phases of matter. It suggests that the classification of these phases relies on the interplay between the tensor product (entanglement) and the monodromy of bundles (topological phases/Berry phases).
• Quantum Programming Theory: The results provide a solid theoretical foundation for Linear Homotopy Type Theory (LHoTT). It demonstrates that quantum programming languages (like Quipper) can be understood as internal languages for these specific distributive monoidal categories, where "bunched logic" (mixing classical and linear logic) is naturally realized.
• Future Directions: The authors note that while this paper covers flat bundles (homotopy 1-types), the ultimate goal is to generalize this to higher flat bundles ($\infty$-local systems) to capture higher-order topological quantum phenomena, a task requiring simplicial model category theory (referenced as future work in [SS26c]).

In summary, the paper successfully constructs a rigorous mathematical bridge between the algebraic structure of quantum entanglement and the geometric structure of parameterized quantum systems, identifying the external tensor product as the universal solution.