This paper proposes a theoretical framework of ”Spatiotemporal TopologicalOrder” based on time-space dual topological quantum field theory (TQFT) andhigher-order categorical syntax, aiming to provide a unified description of spatialtopological orders (e.g., anyon theory) and temporal topological structures (e.g.,barcodes in persistent homology). By constructing a monoidal equivalence functor, this work rigorously proves the isomorphism between the modular S-matrix oftopological orders and the persistent homology pairing matrix, and demonstratesthat both constitute a unitary representation of SL(2,Z). To validate the theory, a”dual-encoding” lattice model is designed, which compiles higher-order categoricalstructures into local interaction Hamiltonians, and the duality is preliminarily verified via numerical simulations (isomorphism error < 1%). Furthermore, this paperproposes a three-stage verification roadmap from mathematical formalization toquantum simulation experiments, laying the foundation for testing spatiotemporaltopological orders in controllable quantum systems.
This paper proposes a theoretical framework of ”Spatiotemporal TopologicalOrder” based on time-space dual topological quantum field theory (TQFT) andhigher-order categorical syntax, aiming to provide a unified description of spatialtopological orders (e.g., anyon theory) and temporal topological structures (e.g.,barcodes in persistent homology). By constructing a monoidal equivalence functor, this work rigorously proves the isomorphism between the modular S-matrix oftopological orders and the persistent homology pairing matrix, and demonstratesthat both constitute a unitary representation of SL(2,Z). To validate the theory, a”dual-encoding” lattice model is designed, which compiles higher-order categoricalstructures into local interaction Hamiltonians, and the duality is preliminarily verified via numerical simulations (isomorphism error < 1%). Furthermore, this paperproposes a three-stage verification roadmap from mathematical formalization toquantum simulation experiments, laying the foundation for testing spatiotemporaltopological orders in controllable quantum systems.
This paper proposes and designs a quantum simulation experiment scheme forverifying the duality of ”spatiotemporal topological order” on a superconductingquantum processor. The core of the scheme lies in ”dual encoding”: within thesame chip, using the physical qubits of the surface code to encode and manipulatethe braiding process of spatial anyons, while simultaneously using auxiliary timequbits and delay operations to encode the barcodes of persistent homology and theirmerging process in the temporal dimension. By designing a specialized quantumcircuit containing a ”quantum switch” protocol, the experiment aims to achieve acontrollable mapping and comparison between anyon worldlines and barcode intervals. The theory predicts that, under the framework of spatiotemporally dualtopological quantum field theory, the geometric phase ϕanyon induced by spatialbraiding should be precisely equal to the topological phase ϕtime induced by temporal barcode merging. This paper details the overall objectives of the experiment,the specific quantum circuit implementation, targeted error mitigation strategies,and analyzes feasibility and fidelity thresholds under typical noise through numerical simulations. This research provides a concrete and operational experimentalblueprint for testing the unity of spatiotemporal topological structures on mediumscale noisy intermediate-scale quantum (NISQ) devices.
This paper addresses key bottlenecks in spatiotemporal topological order research, namely the difficulty of experimental verification, the complexity of higherdimensional theories, and the lack of automated tools, by proposing a unified framework for three-pronged extension encompassing defects, higher dimensions, and algorithms. First, we generalize semisimple categories to non-semisimple categorieswith boundaries and defects, establishing an algebraic duality between defect braiding and defect merging, and provide phase signals measurable via quantum interference. Second, we elevate the duality between (2+1)-dimensional topological orderand single-parameter persistent homology to a duality between (3+1)-dimensionalorder and three-parameter persistent homology, proving that the high-dimensionalbarcode merging algebra and the 3-category data of (3+1)-dimensional topological order satisfy the same set of higher-order Verlinde equations. Finally, wedevelop and open-source the “TDA-TopoOrder” algorithm library, implementingan end-to-end automated pipeline from quantum many-body dynamical data totopological order classification. This paper further integrates a ten-year technicalroadmap, specifying verifiable parameters, error thresholds, and toolchains, providing a plug-and-play standardized scheme for quantum simulation and cosmologicalobservation.
The diagnosis of topological order emergence relies on three phenomenologicalcriteria: structural stability (S), information efficiency (E), and dynamical accessibility (D). However, their underlying unified mathematical foundation has not yetbeen clarified. This paper proposes a functorial interpretation framework based oncategory theory and topological quantum field theory (TQFT), demonstrating thatS, E, D can be regarded as natural derived quantities of the unitary fusion category(UFC) describing the system’s topological order, or equivalently, of the corresponding (2+1)-dimensional TQFT functor, in different physical contexts. This ”singlefunctor, multiple sections” picture not only provides a self-consistent mathematical foundation for the three criteria, bridging the gap between physical intuitionand mathematical rigor, but also naturally explains the interrelations among thecriteria. This framework provides a deeper theoretical perspective for the systematic classification, resource assessment, and experimental detection of topologicalorders.
Quantum computing is captured in the formalism of the monoidal subcategory of 𝐕 𝐞 𝐜 𝐭 ℂ generated by ℂ 2 — in particular, quantum circuits are diagrams in 𝐕 𝐞 𝐜 𝐭 ℂ — while topological quantum field theories , in the sense of Atiyah, are diagrams in 𝐕 𝐞 𝐜 𝐭 ℂ indexed by cobordisms. We initiate a program to formalize this connection. In doing so, we equip cobordisms with machinery for producing linear maps by parallel transport along curves under a connection and then assemble these structures into a higher category. Finite-dimensional complex vector spaces and linear maps between them are given a suitable higher categorical structure which we call 𝔽 𝐕 𝐞 𝐜 𝐭 ℂ . We realize quantum circuits as images of cobordisms under monoidal functors from these modified cobordisms to 𝔽 𝐕 𝐞 𝐜 𝐭 ℂ , which are computed by taking parallel transports of vectors and then combining the results in a pattern encoded in the domain category.
This paper demonstrates that topological order constitutes a rigorous physicalrealization of the always-isomorphism proposition in quantum many-body systems.The always-isomorphism proposition, introduced as a cross-scale structural convergence hypothesis, asserts that for systems satisfying hierarchical generative structure and information conservation conditions, although the generative origin andthe evolutionary terminus are maximally separated in the superficial causal chain,they must converge in deep topology onto the same generative kernel. We firstestablish a formal framework and physical interpretation of this hypothesis, clearlydistinguishing three processes: renormalization group flow, dynamical time evolution, and adiabatic deformation, and a priori delineate three failure boundaries:gap closing, non-unitary environment coupling, and short-range entanglement. Onthis basis, we prove that the ground-state degeneracy stability, rigidity of longrange entanglement, and modular invariance of the anyon modular tensor categoryof topological order exactly correspond to the rigorous physical versions of the threenecessary conditions for always-isomorphism. By decomposing the theorem into anRGconvergence theorem and a dynamical preservation theorem, we eliminate conceptual confusion and provide a complete categorical equivalence proof. The toriccode model and the fractional quantum Hall effect serve as concrete examples showing the precise correspondence among the generative origin, evolutionary terminus,and deep generative kernel. Failure analysis reveals gradual failure behavior in thecritical region, offering feasible schemes for experimental testing. We conclude thatthe relationship between topological order and always-isomorphism is not an accidental analogy but a necessary coincidence of deep structures — topological orderprovides a mapping channel from category theory to condensed matter physics foralways-isomorphism, while always-isomorphism provides a genetic interpretationin the temporal dimension and hierarchical structure for topological order.
Abstract Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition and a conceptual way to understand many high-level quantum phenomena. Here, we lay the foundations for this categorical quantum mechanics, with an emphasis on the graphical calculus that makes computation intuitive. We describe superposition and entanglement using biproducts and dual objects, and show how quantum teleportation can be studied abstractly using these structures. We investigate monoids, Frobenius structures and Hopf algebras, showing how they can be used to model classical information and complementary observables. We describe the CP construction, a categorical tool to describe probabilistic quantum systems. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Previous knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text, we point out links with many other areas, such as representation theory, topology, quantum algebra, knot theory and probability theory, and present nonstandard models including sets and relations. All results are stated rigorously and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.