arXiv subjects

Shawn X. Cui

Publications and source records attributed to Shawn X. Cui.

At least 19 recordsLinked to original sources

arXiv2026

Invariants from involutory Hopf algebras of 3-manifolds with embedded framed links

We give invariants of pairs $(M,L)$ consisting of a closed connected oriented three-manifold and an (oriented) framed link $L$ embedded in $M$. This invariant generalizes the Kuperberg and Hennings-Kauffman-Radford (HKR) invariants of three-manifolds. We define Heegaard-Link diagrams which represent the pair $(M,L)$ and use the data of an involutory Hopf algebra and a representation of the Drinfeld double to construct the invariant. We show that if $L$ is the empty link, then the invariant recovers the Kuperberg invariant, and if $M$ is the three-sphere and certain particular representation is chosen, then the invariant recovers the HKR invariant. We also show that if the representation is the left regular representation of the Drinfeld double, then we recover the Kuperberg invariant of the surgery manifold $M(L)$, contributing to a new proof of the relationship between the HKR and Kuperberg invariants in the semisimple setting. To this end, we give a Heegaard diagram for $M(L)$ coming from the Heegaard-Link diagram representing the pair $(M,L)$. We also introduce a colored link invariant extending the construction and show it recovers the Witten-Reshetikhin-Turaev colored link invariant.

math.GT↗

arXiv2025

Twisted Kitaev quantum double model as local topological order

We study the Twisted Kitaev Quantum Double model within the framework of Local Topological Order (LTO). We extend its definition to arbitrary 2D lattices, enabling an explicit characterization of the ground state space through the invariant spaces of monomial representations. We reformulate the LTO conditions to include general lattices and prove that the twisted model satisfies all four LTO axioms on any 2D lattice. As a corollary, we show that its ground state space is a quantum error-correcting code.

math.QA↗

arXiv2025

Universal topological quantum computing via double-braiding in SU(2) Witten-Chern-Simons theory

We study the problem of universality in the anyon model described by the $SU(2)$ Witten-Chern-Simons theory at level $k$. A classic theorem of Freedman-Larsen-Wang states that for $k \geq 3, \ k \neq 4$, braiding of the anyons of topological charge $1/2$ is universal for topological quantum computing. For the case of one qubit, we prove a stronger result that double-braiding of such anyons alone is already universal.

quant-ph↗

arXiv2025

Representing arbitrary ground states of toric code by a restricted Boltzmann machine

We systematically analyze the representability of toric code ground states by Restricted Boltzmann Machine with only local connections between hidden and visible neurons. This analysis is pivotal for evaluating the model's capability to represent diverse ground states, thus enhancing our understanding of its strengths and weaknesses. Subsequently, we modify the Restricted Boltzmann Machine to accommodate arbitrary ground states by introducing essential non-local connections efficiently. The new model is not only analytically solvable but also demonstrates efficient and accurate performance when solved using machine learning techniques. Then we generalize our the model from $Z_2$ to $Z_n$ toric code and discuss future directions.

cond-mat.dis-nn↗

arXiv2024

Combed Trisection Diagrams and Non-Semisimple 4-Manifold Invariants

Given a triple $H$ of (possibly non-semisimple) Hopf algebras equipped with pairings satisfying a set of properties, we describe a construction of an associated smooth, scalar invariant $τ_H(X,π)$ of a simply connected, compact, oriented $4$-manifold $X$ and an open book $π$ on its boundary. This invariant generalizes an earlier semisimple version and is calculated using a trisection diagram $T$ for $X$ and a certain type of combing of the trisection surface. We explain a general calculation of this invariant for a family of exotic 4-manifolds with boundary called Stein nuclei, introduced by Yasui. After investigating many low-dimensional Hopf algebras up to dimension 11, we have not been able to find non-semisimple Hopf triples that satisfy the criteria for our invariant. Nonetheless, appropriate Hopf triples may exist outside the scope of our explorations.

math.QA↗

arXiv2024

Floquet Codes from Coupled Spin Chains

We propose a novel construction of the Floquet 3D toric code and Floquet $X$-cube code through the coupling of spin chains. This approach not only recovers the coupling layer construction on foliated lattices in three dimensions but also avoids the complexity of coupling layers in higher dimensions, offering a more localized and easily generalizable framework. Our method extends the Floquet 3D toric code to a broader class of lattices, aligning with its topological phase properties. Furthermore, we generalize the Floquet $X$-cube model to arbitrary manifolds, provided the lattice is locally cubic, consistent with its Fractonic phases. We also introduce a unified error-correction paradigm for Floquet codes by defining a subgroup, the Steady Stabilizer Group (SSG), of the Instantaneous Stabilizer Group (ISG), emphasizing that not all terms in the ISG contribute to error correction, but only those terms that can be referred to at least twice before being removed from the ISG. We show that correctable Floquet codes naturally require the SSG to form a classical error-correcting code, and we present a simple 2-step Bacon-Shor Floquet code as an example, where SSG forms instantaneous repetition codes. Finally, our construction intrinsically supports the extension to $n$-dimensional Floquet $(n,1)$ toric codes and generalized $n$-dimensional Floquet $X$-cube codes.

quant-ph↗

arXiv2024

Abelian Group Quantum Error Correction in Kitaev's Model

In this paper, we present a detailed mathematical description of the error correction process for Kitaev's model for finite Abelian groups. The number of errors Kitaev's model can correct depends on the lattice and its topology. Although there is a theoretical maximum number of errors that can be corrected, we prove that correcting this number of errors, in general, is an NP-complete problem. Consequently, we introduce a polynomial-time correction algorithm that corrects a number of errors below the theoretical maximum.

math.QA↗

arXiv2024

Quantum circuits for toric code and X-cube fracton model

We propose a systematic and efficient quantum circuit composed solely of Clifford gates for simulating the ground state of the surface code model. This approach yields the ground state of the toric code in $\lceil 2L+2+log_{2}(d)+\frac{L}{2d} \rceil$ time steps, where $L$ refers to the system size and $d$ represents the maximum distance to constrain the application of the CNOT gates. Our algorithm reformulates the problem into a purely geometric one, facilitating its extension to attain the ground state of certain 3D topological phases, such as the 3D toric model in $3L+8$ steps and the X-cube fracton model in $12L+11$ steps. Furthermore, we introduce a gluing method involving measurements, enabling our technique to attain the ground state of the 2D toric code on an arbitrary planar lattice and paving the way to more intricate 3D topological phases.

cond-mat.str-el↗

arXiv2024

Generalized Kitaev Spin Liquid model and Emergent Twist Defect

The Kitaev spin liquid model on honeycomb lattice offers an intriguing feature that encapsulates both Abelian and non-Abelian anyons. Recent studies suggest that the comprehensive phase diagram of possible generalized Kitaev model largely depends on the specific details of the discrete lattice, which somewhat deviates from the traditional understanding of "topological" phases. In this paper, we propose an adapted version of the Kitaev spin liquid model on arbitrary planar lattices. Our revised model recovers the toric code model under certain parameter selections within the Hamiltonian terms. Our research indicates that changes in parameters can initiate the emergence of holes, domain walls, or twist defects. Notably, the twist defect, which presents as a lattice dislocation defect, exhibits non-Abelian braiding statistics upon tuning the coefficients of the Hamiltonian on a standard translationally invariant lattice. Additionally, we illustrate that the creation, movement, and fusion of these defects can be accomplished through natural time evolution by linearly interpolating the static Hamiltonian. These defects demonstrate the Ising anyon fusion rule as anticipated. Our findings hint at possible implementation in actual physical materials owing to a more realistically achievable two-body interaction.

cond-mat.str-el↗

arXiv2022

Constructing Approximately Diagonal Quantum Gates

We study a method of producing approximately diagonal 1-qubit gates. For each positive integer, the method provides a sequence of gates that are defined iteratively from a fixed diagonal gate and an arbitrary gate. These sequences are conjectured to converge to diagonal gates doubly exponentially fast and are verified for small integers. We systemically study this conjecture and prove several important partial results. Some techniques are developed to pave the way for a final resolution of the conjecture. The sequences provided here have applications in quantum search algorithms, quantum circuit compilation, generation of leakage-free entangled gates in topological quantum computing, etc.

quant-ph↗

arXiv2022

Ribbon operators in the generalized Kitaev quantum double model based on Hopf algebras

Kitaev's quantum double model is a family of exactly solvable lattice models that realize two dimensional topological phases of matter. Originally it is based on finite groups, and is later generalized to semi-simple Hopf algebras. We rigorously define and study ribbon operators in the generalized Kitaev quantum double model. These ribbon operators are important tools to understand quasi-particle excitations. It turns out that there are some subtleties in defining the operators in contrast to what one would naively think. In particular, one has to distinguish two classes of ribbons which we call locally clockwise and locally counterclockwise ribbons. Moreover, this issue already exists in the original model based on finite non-Abelian groups. We show how certain properties would fail even in the original model if we do not distinguish these two classes of ribbons. Perhaps not surprisingly, under the new definitions ribbon operators satisfy all properties that are expected. For instance, they create quasi-particle excitations only at the end of the ribbon, and the types of the quasi-particles correspond to irreducible representations of the Drinfeld double of the input Hopf algebra. However, the proofs of these properties are much more complicated than those in the case of finite groups. This is partly due to the complications in dealing with general Hopf algebras rather than just group algebras.

cond-mat.str-el↗

arXiv2022

From Torus Bundles to Particle-Hole Equivariantization

We continue the program of constructing (pre)modular tensor categories from 3-manifolds first initiated by Cho-Gang-Kim using $M$ theory in physics and then mathematically studied by Cui-Qiu-Wang. An important structure involved is a collection of certain $\text{SL}(2, \mathbb{C})$ characters on a given manifold which serve as the simple object types in the corresponding category. Chern-Simons invariants and adjoint Reidemeister torsions play a key role in the construction, and they are related to topological twists and quantum dimensions, respectively, of simple objects. The modular $S$-matrix is computed from local operators and follows a trial-and-error procedure. It is currently unknown how to produce data beyond the modular $S$- and $T$-matrices. There are also a number of subtleties in the construction which remain to be solved. In this paper, we consider an infinite family of 3-manifolds, that is, torus bundles over the circle. We show that the modular data produced by such manifolds are realized by the $\mathbb{Z}_2$-equivariantization of certain pointed premodular categories. Here the equivariantization is performed for the $\mathbb{Z}_2$-action sending a simple (invertible) object to its inverse, also called the particle-hole symmetry. 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.

math.QA↗

arXiv2022

From Three Dimensional Manifolds to Modular Tensor Categories

Using M-theory in physics, Cho, Gang, and Kim (JHEP 2020, 115 (2020) ) recently outlined a program that connects two parallel subjects of three dimensional manifolds, namely, geometric topology and quantum topology. They suggest that classical topological invariants such as Chern-Simons invariants of $\text{SL}(2,\mathbb{C})$-flat connections and adjoint Reidemeister torsions of a three manifold can be packaged together to produce a $(2+1)$-topological quantum field theory, which is essentially equivalent to a modular tensor category. It is further conjectured that every modular tensor category can be obtained from a three manifold and a semi-simple Lie group. In this paper, we study this program mathematically, and provide strong support for the feasibility of such a program. The program produces an algorithm to generate the potential modular $T$-matrix and the quantum dimensions of a candidate modular data. The modular $S$-matrix follows from essentially a trial-and-error procedure. We find modular tensor categories that realize candidate modular data constructed from Seifert fibered spaces and torus bundles over the circle that reveal many subtleties in the program. We make a number of improvements to the program based on our computations. Our main result is a mathematical construction of a premodular category from each Seifert fibered space with three singular fibers and a family of torus bundles over the circle with Thurston SOL geometry. The premodular categories from Seifert fibered spaces are related to Temperley-Lieb-Jones categories and the ones from torus bundles over the circle are related to metaplectic categories. We conjecture that a resulting premodular category is modular if and only if the three manifold is a $\mathbb{Z}_2$-homology sphere and condensation of bosons in premodular categories leads to either modular or super-modular categories.

math.QA↗

arXiv2021

4-Manifold Invariants From Hopf Algebras

The Kuperberg invariant is a topological invariant of closed 3-manifolds based on finite-dimensional Hopf algebras. In this paper, we initiate the program of constructing 4-manifold invariants in the spirit of Kuperberg's 3-manifold invariant. We utilize a structure called a Hopf triplet, which consists of three Hopf algebras and a bilinear form on each pair subject to certain compatibility conditions. In our construction, we present 4-manifolds by their trisection diagrams, a four-dimensional analog of Heegaard diagrams. The main result is that every Hopf triplet yields a diffeomorphism invariant of closed 4-manifolds. In special cases, our invariant reduces to Crane-Yetter invariants and generalized dichromatic invariants, and conjecturally Kashaev's invariant. As a starting point, we assume that the Hopf algebras involved in the Hopf triplets are semisimple. We speculate that relaxing semisimplicity will lead to even richer invariants.

math.QA↗

arXiv2020

Kitaev's quantum double model as an error correcting code

Kitaev's quantum double models in 2D provide some of the most commonly studied examples of topological quantum order. In particular, the ground space is thought to yield a quantum error-correcting code. We offer an explicit proof that this is the case for arbitrary finite groups. Actually a stronger claim is shown: any two states with zero energy density in some contractible region must have the same reduced state in that region. Alternatively, the local properties of a gauge-invariant state are fully determined by specifying that its holonomies in the region are trivial. We contrast this result with the fact that local properties of gauge-invariant states are not generally determined by specifying all of their non-Abelian fluxes -- that is, the Wilson loops of lattice gauge theory do not form a complete commuting set of observables. We also note that the methods developed by P. Naaijkens (PhD thesis, 2012) under a different context can be adapted to provide another proof of the error correcting property of Kitaev's model. Finally, we compute the topological entanglement entropy in Kitaev's model, and show, contrary to previous claims in the literature, that it does not depend on whether the "log dim R" term is included in the definition of entanglement entropy.

quant-ph↗

arXiv2019

Higher Categories and Topological Quantum Field Theories

We construct a state-sum type invariant of smooth closed oriented $4$-manifolds out of a $G$-crossed braided spherical fusion category ($G$-BSFC) for $G$ a finite group. The construction can be extended to obtain a $(3+1)$-dimensional topological quantum field theory (TQFT). The invariant of $4$-manifolds generalizes several known invariants in literature such as the Crane-Yetter invariant from a ribbon fusion category and Yetter's invariant from homotopy $2$-types. If the $G$-BSFC is concentrated only at the sector indexed by the trivial group element, a cohomology class in $H^4(G,U(1))$ can be introduced to produce a different invariant, which reduces to the twisted Dijkgraaf-Witten theory in a special case. Although not proven, it is believed that our invariants are strictly different from other known invariants. It remains to be seen if the invariants are sensitive to smooth structures. It is expected that the most general input to the state-sum type construction of $(3+1)$-TQFTs is a spherical fusion $2$-category. We show that a $G$-BSFC corresponds to a monoidal $2$-category with certain extra structure, but that structure does not satisfy all the axioms of a spherical fusion $2$-category given by M. Mackaay. Thus the question of what axioms properly define a spherical fusion $2$-category is open.

math.QA↗

arXiv2019

Bit Threads and Holographic Monogamy

Bit threads provide an alternative description of holographic entanglement, replacing the Ryu-Takayanagi minimal surface with bulk curves connecting pairs of boundary points. We use bit threads to prove the monogamy of mutual information (MMI) property of holographic entanglement entropies. This is accomplished using the concept of a so-called multicommodity flow, adapted from the network setting, and tools from the theory of convex optimization. Based on the bit thread picture, we conjecture a general ansatz for a holographic state, involving only bipartite and perfect-tensor type entanglement, for any decomposition of the boundary into four regions. We also give new proofs of analogous theorems on networks.

hep-th↗

arXiv2019

The Search For Leakage-free Entangling Fibonacci Braiding Gates

It is an open question if there are leakage-free entangling Fibonacci braiding gates. We provide evidence to the conjecture for the negative in this paper. We also found a much simpler protocol to generate approximately leakage-free entangling Fibonacci braiding gates than existing algorithms in the literature.

quant-ph↗