Skein Construction of Balanced Tensor Products

• URL: http://arxiv.org/abs/2501.05747v1
• Date: Fri, 10 Jan 2025 06:27:15 GMT
• Title: Skein Construction of Balanced Tensor Products
• Authors: Manuel Araújo, Jin-Cheng Guu, Skyler Hudson,
• Abstract summary: We introduce a topological construction based on skein theory that offers a better mix of algebra and topology. We prove that the Turaev-Viro state sum model naturally arises from the 3-functor in the classification of fully extended field theories.
• Score: 0.0
• License:
• Abstract: The theory of tensor categories has found applications across various fields, including representation theory, quantum field theory (conformal in 2 dimensions, and topological in 3 and 4 dimensions), quantum invariants of low-dimensional objects, topological phases of matter, and topological quantum computation. In essence, it is a categorification of the classical theory of algebras and modules. In this analogy, the Deligne tensor product $\boxtimes$ is to the linear tensor $\otimes_{\mathbb{C}}$ as the balanced tensor product $\boxtimes_C$ is to the tensor over algebra $\otimes_A$, where $\mathbb{C}$ is a field, $A$ is a $\mathbb{C}$-algebra, and $C$ is a tensor category. Before this work, several algebraic constructions for balanced tensor products were known, including categories of modules, internal Hom spaces, and generalized categorical centers. In this paper, we introduce a topological construction based on skein theory that offers a better mix of algebra and topology. This approach not only works for products of multiple module categories, but also provides the missing key to proving that the Turaev-Viro state sum model naturally arises from the 3-functor in the classification of fully extended field theories. Building on this result, we establish this long-anticipated proof in an upcoming work.

Related papers

• Functional Integral Construction of Topological Quantum Field Theory [0.0]
  We introduce the unitary $n+1$ alterfold TQFT and construct it from a linear functional on an $n$-dimensional lattice model. A unitary spherical $n$-category is mathematically defined and emerges as the local quantum symmetry of the lattice model. In particular, we construct a non-invertible unitary 3+1 alterfold TQFT from a linear functional and derive its local quantum symmetry as a unitary spherical 3-category of Ising type with explicit 20j-symbols.
  arXiv  Detail & Related papers  (2024-09-25T17:15:35Z)
• Quantum Current and Holographic Categorical Symmetry [62.07387569558919]
  A quantum current is defined as symmetric operators that can transport symmetry charges over an arbitrary long distance. The condition for quantum currents to be superconducting is also specified, which corresponds to condensation of anyons in one higher dimension.
  arXiv  Detail & Related papers  (2023-05-22T11:00:25Z)
• An inside view of the tensor product [0.0]
  We reconstruct $A$ and $B$ from the family of simple tensors $aotimesb$ within $V$. In an application to quantum mechanics, one would be reconstructing the component subsystems of a composite system from its unentangled pure states.
  arXiv  Detail & Related papers  (2023-03-26T00:39:36Z)
• Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials [93.59919600451487]
  "Statistical-computational gaps" occur in many statistical inference tasks. We consider a model for random order-3 decomposition where one component is slightly larger in norm than the rest. We show that tensor entries can accurately estimate the largest component when $ll n3/2$ but fail to do so when $rgg n3/2$.
  arXiv  Detail & Related papers  (2022-11-10T00:40:37Z)
• Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
  We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk. The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra. As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
  arXiv  Detail & Related papers  (2022-08-12T15:05:07Z)
• Quantum teleportation in the commuting operator framework [63.69764116066747]
  We present unbiased teleportation schemes for relative commutants $N'cap M$ of a large class of finite-index inclusions $Nsubseteq M$ of tracial von Neumann algebras. We show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(mathbbC)$ over $N'$.
  arXiv  Detail & Related papers  (2022-08-02T00:20:46Z)
• Monogamy of entanglement between cones [68.8204255655161]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones. Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• Quantum double aspects of surface code models [77.34726150561087]
  We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry. We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
  arXiv  Detail & Related papers  (2021-06-25T17:03:38Z)
• From Torus Bundles to Particle-Hole Equivariantization [15.857538570676667]
  We consider an infinite family of 3-manifolds, that is, torus bundles over the circle. We show that the modular data are realized by the $mathbbZ$-equivariantization of certain pointed premodular categories. It is our hope that this extensive class of examples will shed light on how to improve the program to recover the full data of a premodular category.
  arXiv  Detail & Related papers  (2021-06-03T16:06:26Z)
• From Three Dimensional Manifolds to Modular Tensor Categories [0.7877961820015922]
  Cho, Gang, and Kim outlined a program that connects topology and quantum topology. It is conjectured that every modular tensor category can be obtained from a three manifold and a Lie group. We study this program mathematically, and provide strong support for the feasibility of such a program.
  arXiv  Detail & Related papers  (2021-01-05T17:45:23Z)
• Microscopic models for Kitaev's sixteenfold way of anyon theories [0.0]
  In two dimensions, the topological order described by $mathbbZ$ gauge theory is classified by $nu ; mathrmmod; 16$ as predicted by Kitaev. Here we provide a systematic and complete construction of microscopic models realizing this so-called sixteenfold way of anyon theories.
  arXiv  Detail & Related papers  (2020-05-27T22:13:37Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.