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

Hisham Sati,Urs Schreiber

2023-11-21

Abstract:Recently Freedman & Hastings asked for a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-structure via their amalgamation (a hypothetical pushout) along bare quantum (information) theory. As a proposed answer to this question, we first make precise a form of the relevant pushout diagram in monoidal category theory. Then we prove that the pushout produces what is known as the *external* tensor product on vector bundles/K-classes, or rather on flat such bundles (flat K-theory), i.e., those equipped with monodromy encoding topological Berry phases. The bulk of our result is a further homotopy-theoretic enhancement of the situation to the "derived category" (infinity-category) of flat infinity-vector bundles ("infinity-local systems") equipped with the "derived functor" of the external tensor product. Concretely, we present an integral model category of simplicial functors into simplicial K-chain complexes which conveniently presents the infinity-category of parameterized HK-module spectra over varying base spaces and is equipped with homotopically well-behaved external tensor product structure. In concluding we indicate how this model category serves as categorical semantics for the linear-multiplicative fragment of Linear Homotopy Type Theory (LHoTT), which is thus exhibited as a universal quantum programming language. This is the context in which we recently showed that topological anyonic braid quantum gates are native objects in LHoTT.

Quantum Physics,Mathematical Physics,Algebraic Topology,Category Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to unify quantum entanglement (quantum tensor structure) and parameterization (bundle structure) through their combination in pure quantum theory (hypothetical push - pull). This problem is proposed based on the role played by vector bundles in the quantum state space in the K - theory classification of topological phase matter. Specifically, the paper attempts to answer the following questions:

1. **How can this unification be precisely described?**
- The paper first clarifies a form of relevant push - out diagrams in the monoidal category theory.

2. **What are the results of push - pull?**
- Then it is proved that the results of push - pull are the external tensor product of known vector bundles / K - classes, or more precisely, the external tensor product of monoidal K - theory equipped with topological Berry - phase encoding.

3. **What is the significance of this for quantum information theory?**
- Further work is to enhance this situation in homotopy theory and propose an integral model category of "derived category" (∞ - category), which contains parameterized HK - module spectra equipped with external tensor product structures.

### Specific Content Analysis

1. **Quantum Entanglement and Tensor Categories**:
- The natural logical framework of pure quantum information theory is the "internal logic" or "internal type theory" in the closed monoidal † - category, especially regarding the linear tensor product "⊗" of complex Hilbert spaces. These theories cover the superposition principle, the no - cloning theorem, and the quantum entanglement phenomenon in quantum physics.

2. **Parameterized Quantum Processes and Bundle Categories**:
- More recent developments show that the interaction logic between quantum systems and the classical environment is essentially the "internal logic" of the category of Hilbert space bundles over different classical base spaces. These categories reflect phenomena such as the many - worlds interpretation, quantum forcing, quantum measurement, and quantum state preparation.

3. **Unification of Quantum Entanglement and Parameterized Quantum Information**:
- The paper proposes a method to couple pure quantum phenomena (such as the no - cloning theorem, quantum entanglement) with quantum / classical phenomena such as state collapse after quantum measurement through the common core - the vector space of quantum states. In the language of category theory, this coupling is called pushout.

4. **External Tensor Product**:
- The external tensor product is known in mathematical construction, but its relevance in quantum theory has only been considered recently. The external tensor product is of great significance in parameterized quantum processes, especially when dealing with sections of quantum entanglement.

5. **External Tensor Product of Higher - Order Group Representations**:
- The parameter space can form higher homotopy types, and Hilbert bundles can be flat higher - order bundles with higher monodromy. These structures can be precisely described by the simplicial model category theory, thus providing a complete answer.

### Conclusion

By introducing the concept of external tensor product, the paper successfully unifies quantum entanglement and parameterized quantum processes and provides further enhancement in the framework of homotopy theory. This not only provides a new perspective for understanding the basic phenomena in quantum information theory but also provides a theoretical basis for the design of quantum programming languages.