arXiv subjects

Yingcheng Li

Publications and source records attributed to Yingcheng Li.

11 recordsLinked to original sources

arXiv2026

Topological phases and quantum criticality from $SU(2)$ Chern-Simons-matter theories

Motivated by recent numerical studies where various $SU(2)$ Chern-Simons-matter theories emerge, we analytically study topological phases and quantum criticality in two-dimensional systems described by such theories. First, we classify $SU(2)_k$ topological orders in all lattice spin systems with a $p4\times SO(3)$ symmetry, where $k$ is an arbitrary nonzero integer. We find that for each odd $k$, the topological order can emerge in systems with an arbitrary Lieb-Schultz-Mattis (LSM) anomaly, and the symmetry cannot permute anyons. If the system has a nontrivial (respectively, trivial) LSM anomaly, then there is exactly one (respectively, nine) symmetry-enriched topological (SET) phases. On the other hand, $SU(2)_k$ topological order with any even $k$ can only emerge in systems with a trivial LSM anomaly. If $k\notin\{6, 10, 14, \cdots\}$, the symmetry cannot permute anyons, and there are 16 SET phases. If $k\in\{6, 10, 14, \cdots\}$, there are 4 different ways how the symmetry can permute anyons, and there are 64 SET phases. Next, we analyze the $SU(2)_k$ Chern-Simons theories coupled to $N_f$ flavors of gapless matter fields that can be either bosonic or fermionic. For both types of theories, we consider a joint large-$N_f$ and large-$k$ limit with $N_f/k$ fixed, and compute the scaling dimensions of the bilinear operators of the bosons or fermions to the order of $1/N_f$. These results sharpen our understanding of these emergent exotic topological phases and quantum criticality, and provide useful guidance to explore them further.

cond-mat.str-el↗

arXiv2026

Microscopic universal theory of symmetry-enriched topological quantum spin liquids

An ultimate theory of a phase of matter should describe all its universal properties via quantities that are measurable numerically and experimentally. In this work, we present a microscopic universal theory of symmetry-enriched topological quantum spin liquids (TQSLs) in two spatial dimensions, which directly utilizes microscopically measurable quantities to describe the universal properties. This theory applies to generic TQSLs, which can be Abelian or non-Abelian, chiral or non-chiral. The symmetries are also general, which can include both internal and lattice symmetries, unitary and anti-unitary symmetries, and discrete and continuous symmetries. There can be spin-orbit coupling, the microscopic degrees of freedom may transform linearly or projectively under the symmetries, and the symmetries can permute anyons. The input of the theory is some microscopic states with anyons, operators that control the dynamics of anyons, and symmetry actions in the TQSL, and its output is a set of data characterizing the universal properties, whose underlying mathematical structure is a generalization of category theory. Based on this theory, we find an explicit bijective map between the universal data characterizing a TQSL with a symmetry described by a group $G$, where the symmetry actions may include both lattice and internal symmetries, and the corresponding universal data for a TQSL with only an internal symmetry group $G$, and thus establish a precise crystalline equivalence principle. We demonstrate our theory in symmetry-enriched TQSLs realized on quantum processors based on superconducting qubits, trapped ions, and Rydberg atoms, and in each example we verify the Lieb-Schultz-Mattis anomaly matching condition. Our theory provides a solid basis for identifying and manipulating symmetry-enriched TQSLs, which further paves the way for fault-tolerant quantum computation based on these systems.

cond-mat.str-el↗

arXiv2026

Non-Abelian Particle-Loop, Fracton, and Planon Condensation in Cage-Net Models

We present a framework for non-Abelian p-loop, fracton, and planon condensation in 3+1 dimensions by constructing extended cage-net fracton models using decoupled layers of the Hu-Geer-Wu (HGW) string-net model. These cage-net models extend the conventional cage-net models based on the Levin-Wen (LW) string-net model in the sense that they inherit the tail degrees of freedom of the HGW models, which are essential for completely describing the internal spaces of quasiparticles. This approach allows us to explicitly derive the quasiparticle spectra of the cage-net models by projecting those of the parent 2D HGW layers. Utilizing this framework, we can condense the p-loops formed by non-Abelian anyons within a fracton phase. Specifically, we construct the condensation projector for $(\sigma\bar{\sigma}, 1)$-loops within the extended Ising Cage-Net (ICN) model. We demonstrate that condensing these non-Abelian loops drives a phase transition that maps the ICN model to the X-cube (XC) model defined on a truncated cubic lattice, a process that explicitly reveals the splitting of non-Abelian planons into distinct sub-dimensional excitations. Furthermore, our framework extends to the condensation of fractons and planons: we demonstrate that in the ICN model fracton condensation drives the decoupling of the 3D fracton order back into isolated 2D topological order layers, while planon condensation collapses the system entirely into a trivial phase. Our results establish a concrete Hamiltonian mechanism for phase transitions between distinct fracton orders and provide a generalizable method for analyzing the evolution of sub-dimensional excitations.

cond-mat.str-el↗

arXiv2025

Deeply Optimizing the SAT Solver for the IC3 Algorithm

The IC3 algorithm, also known as PDR, is a SAT-based model checking algorithm that has significantly influenced the field in recent years due to its efficiency, scalability, and completeness. It utilizes SAT solvers to solve a series of SAT queries associated with relative induction. In this paper, we introduce several optimizations for the SAT solver in IC3 based on our observations of the unique characteristics of these SAT queries. By observing that SAT queries do not necessarily require decisions on all variables, we compute a subset of variables that need to be decided before each solving process while ensuring that the result remains unaffected. Additionally, noting that the overhead of binary heap operations in VSIDS is non-negligible, we replace the binary heap with buckets to achieve constant-time operations. Furthermore, we support temporary clauses without the need to allocate a new activation variable for each solving process, thereby eliminating the need to reset solvers. We developed a novel lightweight CDCL SAT solver, GipSAT, which integrates these optimizations. A comprehensive evaluation highlights the performance improvements achieved by GipSAT. Specifically, the GipSAT-based IC3 demonstrates an average speedup of 3.61 times in solving time compared to the IC3 implementation based on MiniSat.

cs.LO↗

arXiv2024

Anyon exclusions statistics on surfaces with gapped boundaries

An anyon exclusion statistics, which generalizes the Bose-Einstein and Fermi-Dirac statistics of bosons and fermions, was proposed by Haldane[1]. The relevant past studies had considered only anyon systems without any physical boundary but boundaries often appear in real-life materials. When fusion of anyons is involved, certain `pseudo-species' anyons appear in the exotic statistical weights of non-Abelian anyon systems; however, the meaning and significance of pseudo-species remains an open problem. In this paper, we propose an extended anyon exclusion statistics on surfaces with gapped boundaries, introducing mutual exclusion statistics between anyons as well as the boundary components. Motivated by Refs. [2, 3], we present a formula for the statistical weight of many-anyon states obeying the proposed statistics. We develop a systematic basis construction for non-Abelian anyons on any Riemann surfaces with gapped boundaries. From the basis construction, we have a standard way to read off a canonical set of statistics parameters and hence write down the extended statistical weight of the anyon system being studied. The basis construction reveals the meaning of pseudo-species. A pseudo-species has different `excitation' modes, each corresponding to an anyon species. The `excitation' modes of pseudo-species corresponds to good quantum numbers of subsystems of a non-Abelian anyon system. This is important because often (e.g., in topological quantum computing) we may be concerned about only the entanglement between such subsystems.

cond-mat.str-el↗

arXiv2023

Characterizing the ambiguity in topological entanglement entropy

Topological entanglement entropy (TEE), the sub-leading term in the entanglement entropy of topological order, is the direct evidence of the long-range entanglement. While effective in characterizing topological orders on closed manifolds, TEE is model-dependent when entanglement cuts intersect with physical gapped boundaries. In this paper, we study the origin of this model-dependence by introducing a model-independent picture of partitioning the topological orders with gapped boundaries. In our picture, the entanglement boundaries (EBs), i.e. the virtual boundaries of each subsystem induced by the entanglement cuts, are assumed to be gapped boundaries with boundary defects. At this model-independent stage, there are two choices one has to make manually in defining the bi-partition: the boundary condition on the EBs, and the coherence between certain boundary states. We show that TEE appears because of a constraint on the defect configurations on the EBs, which is choice-dependent in the cases where the EBs touch gapped boundaries. This choice-dependence is known as the ambiguity in entanglement entropy. Different models intrinsically employ different choices, rendering TEE model-dependent. For Z2 toric code, the ambiguity can be fully characterized by two parameters that respectively quantifies the EB condition and the coherence. In particular, calculations compatible with the folding trick naturally choose EB conditions that respect electric-magnetic duality and set specific parameter values.

cond-mat.str-el↗

arXiv2022

Experimental realization of a topologically protected Hadamard gate via braiding Fibonacci anyons

Topological quantum computation (TQC) is one of the most striking architectures that can realize fault-tolerant quantum computers. In TQC, the logical space and the quantum gates are topologically protected, i.e., robust against local disturbances. The topological protection, however, requires rather complicated lattice models and hard-to-manipulate dynamics; even the simplest system that can realize universal TQC--the Fibonacci anyon system--lacks a physical realization, let alone braiding the non-Abelian anyons. Here, we propose a disk model that can realize the Fibonacci anyon system, and construct the topologically protected logical spaces with the Fibonacci anyons. Via braiding the Fibonacci anyons, we can implement universal quantum gates on the logical space. Our proposal is platform-independent. As a demonstration, we implement a topological Hadamard gate on a logical qubit through a sequence of $15$ braiding operations of three Fibonacci anyons with merely $2$ nuclear spin qubits. The gate fidelity reaches 97.18% by randomized benchmarking. We further prove by experiment that the logical space and Hadamard gate are topologically protected: local disturbances due to thermal fluctuations result in a global phase only. Our work is a proof of principle of TQC and paves the way towards fault-tolerant quantum computation.

quant-ph↗

arXiv2020

Dynamical-Invariant-based Holonomic Quantum Gates: Theory and Experiment

Among existing approaches to holonomic quantum computing, the adiabatic holonomic quantum gates (HQGs) suffer errors due to decoherence, while the non-adiabatic HQGs either require additional Hilbert spaces or are difficult to scale. Here, we report a systematic, scalable approach based on dynamical invariants to realize HQGs without using additional Hilbert spaces. While presenting the theoretical framework of our approach, we design and experimentally evaluate single-qubit and two-qubits HQGs for the nuclear magnetic resonance system. The single-qubit gates acquire average fidelity 0.9972 by randomized benchmarking, and the controlled-NOT gate acquires fidelity 0.9782 by quantum process tomography. Our approach is also platform-independent, and thus may open a way to large-scale holonomic quantum computation.

quant-ph↗

arXiv2019

Electric-magnetic duality in the quantum double models of topological orders with gapped boundaries

We generalize the Electric-magnetic (EM) duality in the quantum double (QD) models to the case of topological orders with gapped boundaries. We also map the QD models with boundaries to the Levin-Wen (LW) models with boundaries. To this end, we Fourier transform and rewrite the extended QD model with a finite gauge group $G$ on a trivalent lattice with a boundary. Gapped boundary conditions of the model before the transformation are known to be characterized by the subgroups $K \subseteq G$. We find that after the transformation, the boundary conditions are then characterized by the Frobenius algebras $A_{G,K}$ in $\mathrm{Rep}_G$. An $A_{G,K}$ is the dual space of the quotient of the group algebra of $G$ over that of $K$, and $\mathrm{Rep}_G$ is the category of the representations of $G$. The EM duality on the boundary is revealed by mapping the $K$'s to $A_{G,K}$'s. We also show that our transformed extended QD model can be mapped to an extended LW model on the same lattice via enlarging the Hilbert space of the extended LW model. Moreover, our transformed extended QD model elucidates the phenomenon of anyon splitting in anyon condensation.

cond-mat.str-el↗

arXiv2018

Gapped Boundary Theory of the Twisted Gauge Theory Model of Three-Dimensional Topological Orders

We extend the twisted gauge theory model of topological orders in three spatial dimensions to the case where the three spaces have two dimensional boundaries. We achieve this by systematically constructing the boundary Hamiltonians that are compatible with the bulk Hamoltonian. Given the bulk Hamiltonian defined by a gauge group $G$ and a four-cocycle $ω$ in the fourth cohomology group of $G$ over $U(1)$, a boundary Hamiltonian can be defined by a subgroup $K$ of $G$ and a three-cochain $α$ in the third cochain group of $K$ over $U(1)$. The boundary Hamiltonian to be constructed must be gapped and invariant under the topological renormalization group flow (via Pachner moves), leading to a generalized Frobenius condition. Given $K$, a solution to the generalized Frobenius condition specifies a gapped boundary condition. We derive a closed-form formula of the ground state degeneracy of the model on a three-cylinder, which can be naturally generalized to three-spaces with more boundaries. We also derive the explicit ground-state wavefunction of the model on a three-ball. The ground state degeneracy and ground-state wavefunction are both presented solely in terms of the input data of the model, namely, $\{G,ω,K,α\}$.

cond-mat.str-el↗

arXiv2018

Entanglement Entropy of Topological Orders with Boundaries

In this paper we explore how non trivial boundary conditions could influence the entanglement entropy in a topological order in 2+1 dimensions. Specifically we consider the special class of topological orders describable by the quantum double. We will find very interesting dependence of the entanglement entropy on the boundary conditions particularly when the system is non-Abelian. Along the way, we demonstrate a streamlined procedure to compute the entanglement entropy, which is particularly efficient when dealing with systems with boundaries. We also show how this method efficiently reproduces all the known results in the presence of anyonic excitations.

hep-th↗