BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Zhenghan Wang

Zhenghan Wang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.QAcond-mat.str-elquant-phmath-phmath.MPmath.GTcond-mat.mes-hallmath.RThep-thmath.CTcond-mat.otherComputational Complexityhep-latLogic in Computer Sciencemath.ATmath.COmath.GRmath.LOmath.NTmath.RAphysics.optics

Catalog footprint

What is connected

50works
21topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

50 published item(s)

preprint2026arXiv

Classification of Cellular Fake Surfaces

Generic polyhedra are interesting mathematical objects to study in their own right. In this paper, we initialize a systematic study of two-dimensional generic polyhedra with an eye towards applications to low-dimensional topology, especially the Andrews-Curtis and Zeeman conjectures. After recalling the basic notions of generic polyhedra and fake surfaces, we derive some interesting properties of fake surfaces. Our main result is a complete classification of acyclic cellular fake surfaces up to complexity 4 and a classification of acyclic cellular fake surfaces without small disks of complexity 5. From this classification, we prove the contractibility conjecture for acyclic cellular fake surfaces of complexity 4, and the embedded disk conjecture up to complexity 5. We provide evidence for the conjectures that the probability of being a spine among fake surfaces is 0 and that every contractible fake surface has an embedded disk.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Adiabatic paths of Hamiltonians, symmetries of topological order, and automorphism codes

The recent "honeycomb code" is a fault-tolerant quantum memory defined by a sequence of checks which implements a nontrivial automorphism of the toric code. We argue that a general framework to understand this code is to consider continuous adiabatic paths of gapped Hamiltonians and we give a conjectured description of the fundamental group and second and third homotopy groups of this space in two spatial dimensions. A single cycle of such a path can implement some automorphism of the topological order of that Hamiltonian. We construct such paths for arbitrary automorphisms of two-dimensional doubled topological order. Then, realizing this in the case of the toric code, we turn this path back into a sequence of checks, constructing an automorphism code closely related to the honeycomb code.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Quantum Computers: Engines for Next Industrial Revolution

Although the current information revolution is still unfolding, the next industrial revolution is already rearing its head. A second quantum revolution based on quantum technology will power this new industrial revolution with quantum computers as its engines. The development of quantum computing will turn quantum theory into quantum technology, hence release the power of quantum phenomena, and exponentially accelerate the progress of science and technology. Building a large-scale quantum computing is at the juncture of science and engineering. Even if large-scale quantum computers become reality, they cannot make the conventional computers obsolete soon. Building a large-scale quantum computer is a daunting complex engineering problem to integrate ultra-low temperature with room temperature and micro-world with macro-world. We have built hundreds of physical qubits already but are still working on logical and topological qubits. Since physical qubits cannot tolerate errors, they cannot be used to perform long precise calculations to solve practically useful problems yet.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Simultaneous Generation of Arbitrary Assembly of Polarization States with Geometrical-Scaling-Induced Phase Modulation

Manipulating the polarization of light on the microscale or nanoscale is essential for integrated photonics and quantum optical devices. Nowadays, the metasurface allows one to build on-chip devices that efficiently manipulate the polarization states. However, it remains challenging to generate different types of polarization states simultaneously, which is required to encode information for quantum computing and quantum cryptography applications. By introducing geometrical-scaling-induced (GSI) phase modulations, we demonstrate that an assembly of circularly polarized (CP) and linearly polarized (LP) states can be simultaneously generated by a single metasurface made of L-shaped resonators with different geometrical features. Upon illumination, each resonator diffracts the CP state with a certain GSI phase. The interaction of these diffractions leads to the desired output beams, where the polarization state and the propagation direction can be accurately tuned by selecting the geometrical shape, size, and spatial sequence of each resonator in the unit cell. As an example of potential applications, we show that an image can be encoded with different polarization profiles at different diffraction orders and decoded with a polarization analyzer. This approach resolves a challenging problem in integrated optics and is inspiring for on-chip quantum information processing.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Haah codes on general three manifolds

Haah codes represent a singularly interesting gapped Hamiltonian schema that has resisted a natural generalization, although recent work shows that the closely related type I fracton models are more commonplace. These type I siblings of Haah codes are better understood, and a generalized topological quantum field theory framework has been proposed. Following the same conceptual framework, we outline a program to generalize Haah codes to all 3-manifolds using Hastings' LR stabilizer codes for finite groups.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Quantum computing with Octonions

There are two schools of "measurement-only quantum computation". The first ([11]) using prepared entanglement (cluster states) and the second ([4]) using collections of anyons, which according to how they were produced, also have an entanglement pattern. We abstract the common principle behind both approaches and find the notion of a graph or even continuous family of equiangular projections. This notion is the leading character in the paper. The largest continuous family, in a sense made precise in Corollary 4.2, is associated with the octonions and this example leads to a universal computational scheme. Adiabatic quantum computation also fits into this rubric as a limiting case: nearby projections are nearly equiangular, so as a gapped ground state space is slowly varied the corrections to unitarity are small.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Volume and Topological Invariants of Quantum Many-body Systems

A gapped many-body system is described by path integral on a space-time lattice $C^{d+1}$, which gives rise to a partition function $Z(C^{d+1})$ if $\partial C^{d+1} =\emptyset$, and gives rise to a vector $|Ψ\rangle$ on the boundary of space-time if $\partial C^{d+1} \neq\emptyset$. We show that $V = \text{log} \sqrt{\langleΨ|Ψ\rangle}$ satisfies the inclusion-exclusion property $\frac{V(A\cup B)+V(A\cap B)}{V(A)+V(B)}=1$ and behaves like a volume of the space-time lattice $C^{d+1}$ in large lattice limit (i.e. thermodynamics limit). This leads to a proposal that the vector $|Ψ\rangle$ is the quantum-volume of the space-time lattice $C^{d+1}$. The inclusion-exclusion property does not apply to quantum-volume since it is a vector. But quantum-volume satisfies a quantum additive property. The violation of the inclusion-exclusion property by $V = \text{log} \sqrt{\langleΨ|Ψ\rangle}$ in the subleading term of thermodynamics limit gives rise to topological invariants that characterize the topological order in the system. This is a systematic way to construct and compute topological invariants from a generic path integral. For example, we show how to use non-universal partition functions $Z(C^{2+1})$ on several related space-time lattices $C^{2+1}$ to extract $(M_f)_{11}$ and $\text{Tr}(M_f)$, where $M_f$ is a representation of the modular group $SL(2,\mathbb{Z})$ -- a topological invariant that almost fully characterizes the 2+1D topological orders.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Congruence subgroups from representations of the three-strand braid group

Ng and Schauenburg proved that the kernel of a $(2+1)$-dimensional topological quantum field theory representation of $\mathrm{SL}(2, \mathbb{Z})$ is a congruence subgroup. Motivated by their result, we explore when the kernel of an irreducible representation of the braid group $B_3$ with finite image enjoys a congruence subgroup property. In particular, we show that in dimensions two and three, when the projective order of the image of the braid generator $σ_1$ is between 2 and 5 the kernel projects onto a congruence subgroup of $\mathrm{PSL}(2,\mathbb{Z})$ and compute its level. However, we prove for three dimensional representations, the projective order is not enough to decide the congruence property. For each integer of the form $2\ell \geq 6$ with $\ell$ odd, we construct a pair of non-congruence subgroups associated with three-dimensional representations having finite image and $σ_1$ mapping to a matrix with projective order $2\ell$. Our technique uses classification results of low dimensional braid group representations, and the Fricke-Wohlfarht theorem in number theory.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Degeneracy Implies Non-abelian Statistics

A non-abelian anyon can only occur in the presence of ground state degeneracy in the plane. It is conceivable that for some strange anyon with quantum dimension $>1$ that the resulting representations of all $n$-strand braid groups $B_n$ are overall phases, even though the ground state manifolds for $n$ such anyons in the plane are in general Hilbert spaces of dimensions $>1$. We observe that degeneracy is all that is needed: for an anyon with quantum dimension $>1$ the non-abelian statistics cannot all be overall phases on the degeneracy ground state manifold. Therefore, degeneracy implies non-abelian statistics, which justifies defining a non-abelian anyon as one with quantum dimension $>1$. Since non-abelian statistics presumes degeneracy, degeneracy is more fundamental than non-abelian statistics.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Local unitary representations of the braid group and their applications to quantum computing

We provide an elementary introduction to topological quantum computation based on the Jones representation of the braid group. We first cover the Burau representation and Alexander polynomial. Then we discuss the Jones representation and Jones polynomial and their application to anyonic quantum computation. Finally we outline the approximation of the Jones polynomial and explicit localizations of braid group representations.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Topological Quantum Computation with Gapped Boundaries

This paper studies fault-tolerant quantum computation with gapped boundaries. We first introduce gapped boundaries of Kitaev's quantum double models for Dijkgraaf-Witten theories using their Hamiltonian realizations. We classify the elementary excitations on the boundary, and systematically describe the bulk-to-boundary condensation procedure. We also provide a commuting Hamiltonian to realize defects between boundaries in any quantum double model. Next, we present the algebraic/categorical structure of gapped boundaries and boundary defects, which will be used to describe topologically protected operations and obtain quantum gates. To demonstrate a potential physical realization, we provide quantum circuits for surface codes that can perform all basic operations on gapped boundaries. Finally, we show how gapped boundaries of the abelian theory $\mathfrak{D}(\mathbb{Z}_3)$ can be used to perform universal quantum computation.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A classification of 2D fermionic and bosonic topological orders

The string-net approach by Levin and Wen, and the local unitary transformation approach by Chen, Gu, and Wen, provide ways to classify topological orders with gappable edge in 2D bosonic systems. The two approaches reveal that the mathematical framework for 2+1D bosonic topological order with gappable edge is closely related to unitary fusion category theory. In this paper, we generalize these systematic descriptions of topological orders to 2D fermion systems. We find a classification of 2+1D fermionic topological orders with gappable edge in terms of the following set of data $(N^{ij}_k, F^{ij}_k, F^{ijm,αβ}_{jkn,χδ},d_i)$, that satisfy a set of non-linear algebraic equations. The exactly soluble Hamiltonians can be constructed from the above data on any lattices to realize the corresponding topological orders. When $F^{ij}_k=0$, our result recovers the previous classification of 2+1D bosonic topological orders with gappable edge.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Abelian and Non-Abelian States in $ν=2/3$ Bilayer Fractional Quantum Hall Systems

There are several possible theoretically allowed non-Abelian fractional quantum Hall (FQH) states that could potentially be realized in one- and two- component FQH systems at total filling fraction $ν= n+ 2/3$, for integer $n$. Some of these states even possess quasiparticles with non-Abelian statistics that are powerful enough for universal topological quantum computation, and are thus of particular interest. Here, we initiate a systematic numerical study, using both exact diagonalization and variational Monte Carlo, to investigate the phase diagram of FQH systems at total filling fraction $ν= n+2/3$, including in particular the possibility of the non-Abelian $Z_4$ parafermion state. In $ν= 2/3$ bilayers, we determine the phase diagram as a function of interlayer tunneling and repulsion, finding only three competing Abelian states, without the $Z_4$ state. On the other hand, in single-component systems at $ν= 8/3$, we find that the $Z_4$ parafermion state has significantly higher overlap with the exact ground state than the Laughlin state, together with a larger gap, suggesting that the experimentally observed $ν= 8/3$ state may be non-Abelian. Our results from the two complementary numerical techniques agree well with each other qualitatively.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the Classification of Weakly Integral Modular Categories

We classify all modular categories of dimension $4m$, where $m$ is an odd square-free integer, and all ranks $6$ and $7$ weakly integral modular categories. This completes the classification of weakly integral modular categories through rank $7$. Our results imply that all integral modular categories of rank at most $7$ are pointed (that is, every simple object has dimension $1$). All strictly weakly integral (weakly integral but non-integral) modular categories of ranks $6$ and $7$ have dimension $4m$, with $m$ an odd square free integer, so their classification is an application of our main result. The classification of rank $7$ integral modular categories is facilitated by an analysis of two actions on modular categories: the Galois group of the field generated by the entries of the $S$-matrix and the group of isomorphism classes of invertible simple objects. The interplay of these two actions is of independent interest, and we derive some valuable arithmetic consequences from their actions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Rank-finiteness for modular categories

We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the context of spherical fusion categories. For a modular category $\mathcal{C}$ with $N=ord(T)$, the order of the modular $T$-matrix, the Cauchy theorem says that the set of primes dividing the global quantum dimension $D^2$ in the Dedekind domain $\mathbb{Z}[e^{\frac{2πi}{N}}]$ is identical to that of $N$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Universal Gates via Fusion and Measurement Operations on SU$(2)_4$ Anyons

We examine a class of operations for topological quantum computation based on fusing and measuring topological charges for systems with SU$(2)_4$ or $k=4$ Jones-Kauffman anyons. We show that such operations augment the braiding operations, which, by themselves, are not computationally universal. This augmentation results in a computationally universal gate set through the generation of an exact, topologically protected irrational phase gate and an approximate, topologically protected controlled-$Z$ gate.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Universal Quantum Computation with Metaplectic Anyons

We show that braidings of the metaplectic anyons $X_ε$ in $SO(3)_2=SU(2)_4$ with their total charge equal to the metaplectic mode $Y$ supplemented with measurements of the total charge of two metaplectic anyons are universal for quantum computation. We conjecture that similar universal computing models can be constructed for all metaplectic anyon systems $SO(p)_2$ for any odd prime $p\geq 5$. In order to prove universality, we find new conceptually appealing universal gate sets for qutrits and qupits.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Complexity Classes as Mathematical Axioms II

The second author previously discussed how classical complexity separation conjectures, we call them "axioms", have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial evaluations cannot produce exponential simplifications of link diagrams. In this paper, we continue this theme, exploring now more subtle separation axioms for quantum complexity classes. Surprisingly, we now find that similar strings are unable to effect even linear simplifications of the diagrams.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Framed Cord Algebra Invariant of Knots in $S^1 \times S^2$

We generalize Ng's two-variable algebraic/combinatorial $0$-th framed knot contact homology for framed oriented knots in $S^3$ to knots in $S^1 \times S^2$, and prove that the resulting knot invariant is the same as the framed cord algebra of knots. Actually, our cord algebra has an extra variable, which potentially corresponds to the third variable in Ng's three-variable knot contact homology. Our main tool is Lin's generalization of the Markov theorem for braids in $S^3$ to braids in $S^1 \times S^2$. We conjecture that our framed cord algebras are always finitely generated for non-local knots.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Lattice Model for Fermionic Toric Code

The Z_2 topological order in Z_2 spin liquid and in exactly soluble Kitaev toric code model is the simplest topological order for 2+1D bosonic systems. More general 2+1D bosonic topologically ordered states can be constructed via exact soluble string-net models. However, the most important topologically ordered phases of matter are arguably the fermionic fractional quantum Hall states. Topological phases of matter for fermion systems are strictly richer than their bosonic counterparts because locality has different meanings for the two kinds of systems. In this paper, we describe a simple fermionic version of the toric code model to illustrate many salient features of fermionic exactly soluble models and fermionic topologically ordered states.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Modular transformations and topological orders in two dimensions

The string-net approach by Levin and Wen and the local unitary transformation approach by Chen, Gu and Wen provided ways to systematically label non-chiral topological orders in 2D. In those approaches, different topologically ordered many-body wave functions were characterized by different fixed-point tensors. Though extremely powerful, the resulting fixed-point tensors were mathematical abstractions and thus lacked a physical interpretation. As a result it was hard to judge if two different fixed-point tensors described the same quantum phase or not. We want to improve that approach by giving a more physical description of the topological orders. We find that the non-Abelian Berry's phases, $T$- and $S$-matrices, of the topological protected degenerate ground states on a torus give rise to a more physical description of topological orders. Using the Verlinde conjecture, we can even choose the canonical basis for the $T$- and $S$-matrices. It is conjectured that the $T$ and $S$-matrices form a complete and one-to-one characterization of non-chiral topological orders and can replace the fixed-point tensor description to give us a more physical label for topological orders. As a result, all the topological properties can be obtained from the $T$- and $S$-matrices, such as number of quasiparticle types (from the dimension of $T$ or $S$), the quasiparticle statistics (from the diagonal elements of $T$), the quantum dimensions of quasiparticles (from the first row of $S$), \etc.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Enriching the Levin-Wen model with Symmetry

Symmetry protected and symmetry enriched topological phases of matter are of great interest in condensed matter physics due to new materials such as topological insulators. The Levin-Wen model for spin/boson systems is an important rigorously solvable model for studying $2D$ topological phases. The input data for the Levin-Wen model is a unitary fusion category, but the same model also works for unitary multi-fusion categories. In this paper, we provide the details for this extension of the Levin-Wen model, and show that the extended Levin-Wen model is a natural playground for the theoretical study of symmetry protected and symmetry enriched topological phases of matter.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On Metaplectic Modular Categories and their applications

For non-abelian simple objects in a unitary modular category, the density of their braid group representations, the #P-hard evaluation of their associated link invariants, and the BQP-completeness of their anyonic quantum computing models are closely related. We systematically study such properties of the non-abelian simple objects in metaplectic modular categories, which are unitary modular categories with fusion rules of SO(m)_2 for an odd integer m \geq 3. The simple objects with quantum dimensions \sqrt{m} have finite image braid group representations, and their link invariants are classically efficient to evaluate. We also provide classically efficient simulation of their braid group representations. These simulations of the braid group representations can be regarded as qudit generalizations of the Knill-Gottesmann theorem for the qubit case. The simple objects of dimension 2 give us a surprising result: while their braid group representations have finite images and are efficiently simulable classically after a generalized localization, their link invariants are #P-hard to evaluate exactly. We sharpen the #P-hardness by showing that any sufficiently accurate approximation of their associated link invariants is already #P-hard.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Test of Einstein-Podolsky-Rosen Steering Based on the All-Versus-Nothing Proof

In comparison with entanglement and Bell nonlocality, Einstein-Podolsky-Rosen steering is a newly emerged research topic and in its incipient stage. Although Einstein-Podolsky-Rosen steering has been explored via violations of steering inequalities both theoretically and experimentally, the known inequalities in the literatures are far from well-developed. As a result, it is not yet possible to observe Einstein-Podolsky-Rosen steering for some steerable mixed states. Recently, a simple approach was presented to identify Einstein-Podolsky-Rosen steering based on all-versus-nothing argument, offering a strong condition to witness the steerability of a family of two-qubit (pure or mixed) entangled states. In this work, we show that the all-versus-nothing proof of Einstein-Podolsky-Rosen steering can be tested by measuring the projective probabilities. Through the bound of probabilities imposed by local-hidden-state model, the proposed test shows that steering can be detected by the all-versus-nothing argument experimentally even in the presence of imprecision and errors. Our test can be implemented in many physical systems and we discuss the possible realizations of our scheme with non-Abelian anyons and trapped ions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Universal quantum computation with weakly integral anyons

Harnessing non-abelian statistics of anyons to perform quantum computational tasks is getting closer to reality. While the existence of universal anyons by braiding alone such as the Fibonacci anyon is theoretically a possibility, accessible anyons with current technology all belong to a class that is called weakly integral---anyons whose squared quantum dimensions are integers. We analyze the computational power of the first non-abelian anyon system with only integral quantum dimensions---$D(S_3)$, the quantum double of $S_3$. Since all anyons in $D(S_3)$ have finite images of braid group representations, they cannot be universal for quantum computation by braiding alone. Based on our knowledge of the images of the braid group representations, we set up three qutrit computational models. Supplementing braidings with some measurements and ancillary states, we find a universal gate set for each model.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Anyonic quantum spin chains: Spin-1 generalizations and topological stability

There are many interesting parallels between systems of interacting non-Abelian anyons and quantum magnetism, occuring in ordinary SU(2) quantum magnets. Here we consider theories of so-called su(2)_k anyons, well-known deformations of SU(2), in which only the first k+1 angular momenta of SU(2) occur. In this manuscript, we discuss in particular anyonic generalizations of ordinary SU(2) spin chains with an emphasis on anyonic spin S=1 chains. We find that the overall phase diagrams for these anyonic spin-1 chains closely mirror the phase diagram of the ordinary bilinear-biquadratic spin-1 chain including anyonic generalizations of the Haldane phase, the AKLT construction, and supersymmetric quantum critical points. A novel feature of the anyonic spin-1 chains is an additional topological symmetry that protects the gapless phases. Distinctions further arise in the form of an even/odd effect in the deformation parameter k when considering su(2)_k anyonic theories with k>4, as well as for the special case of the su(2)_4 theory for which the spin-1 representation plays a special role. We also address anyonic generalizations of spin-1/2 chains with a focus on the topological protection provided for their gapless ground states. Finally, we put our results into context of earlier generalizations of SU(2) quantum spin chains, in particular so-called (fused) Temperley-Lieb chains.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Arithmetic Modular Categories

Modular categories are important algebraic structures in a variety of subjects in mathematics and physics. We provide an explicit, motivated and elementary definition of a modular category over a field of characteristic 0 as an equivalence class of solutions to a set of polynomial equations. We conclude that within each class of solutions, there is one which consists entirely of algebraic numbers. These algebraic solutions make it possible to discuss defining algebraic number fields of modular categories and their Galois twists. One motivation for such a definition is an arithmetic theory of modular categories which plays an important role in their classification. Another is to facilitate implementation of computer-based tools to resolve computational and classification problems intractible by other means. We observe some basic properties of Galois twists of modular categories and make conjectures about their relation to the the intrinsic data of modular categories.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quantum computation (viewing quantum logic as the logic of quantum registers storing qubits), and make some speculations about mathematics based on quantum principles.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Identifying Topological Order by Entanglement Entropy

Topological phases are unique states of matter incorporating long-range quantum entanglement, hosting exotic excitations with fractional quantum statistics. We report a practical method to identify topological phases in arbitrary realistic models by accurately calculating the Topological Entanglement Entropy (TEE) using the Density Matrix Renormalization Group (DMRG). We argue that the DMRG algorithm naturally produces a minimally entangled state, from amongst the quasi-degenerate ground states in a topological phase. This proposal both explains the success of this method, and the absence of ground state degeneracy found in prior DMRG sightings of topological phases. We demonstrate the effectiveness of the calculational procedure by obtaining the TEE for several microscopic models, with an accuracy of order $10^{-3}$ when the circumference of the cylinder is around ten times the correlation length. As an example, we definitively show the ground state of the quantum $S=1/2$ antiferromagnet on the kagomé lattice is a topological spin liquid, and strongly constrain the full identification of this phase of matter.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Metaplectic Anyons, Majorana Zero Modes, and their Computational Power

We introduce and study a class of anyon models that are a natural generalization of Ising anyons and Majorana fermion zero modes. These models combine an Ising anyon sector with a sector associated with $SO(m)_2$ Chern-Simons theory. We show how they can arise in a simple scenario for electron fractionalization and give a complete account of their quasiparticles types, fusion rules, and braiding. We show that the image of the braid group is finite for a collection of $2n$ fundamental quasiparticles and is a proper subgroup of the metaplectic representation of $Sp(2n-2,\mathbb{F}_m)\ltimes H(2n-2,\mathbb{F}_m)$, where $Sp(2n-2,\mathbb{F}_m)$ is the symplectic group over the finite field $\mathbb{F}_m$ and $H(2n-2,\mathbb{F}_m)$ is the extra special group (also called the $(2n-1)$-dimensional Heisenberg group) over $\mathbb{F}_m$. Moreover, the braiding of fundamental quasiparticles can be efficiently simulated classically. However, computing the result of braiding a certain type of composite quasiparticle is $# P$-hard, although it is not universal for quantum computation because it has a finite braid group image. This a rare example of a topological phase that is not universal for quantum computation through braiding but nevertheless has $# P$-hard link invariants. We argue that our models are closely related to recent analyses finding non-Abelian anyonic properties for defects in quantum Hall systems, generalizing Majorana zero modes in quasi-1D systems.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Pattern-of-zeros approach to Fractional quantum Hall states and a classification of symmetric polynomial of infinite variables

Some purely chiral fractional quantum Hall states are described by symmetric or anti-symmetric polynomials of infinite variables. In this article, we review a systematic construction and classification of those fractional quantum Hall states and the corresponding polynomials of infinite variables, using the pattern-of-zeros approach. We discuss how to use patterns of zeros to label different fractional quantum Hall states and the corresponding polynomials. We also discuss how to calculate various universal properties (ie the quantum topological invariants) from the pattern of zeros.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Solutions to generalized Yang-Baxter equations via ribbon fusion categories

Inspired by quantum information theory, we look for representations of the braid groups $B_n$ on $V^{\otimes (n+m-2)}$ for some fixed vector space $V$ such that each braid generator $σ_i, i=1,...,n-1,$ acts on $m$ consecutive tensor factors from $i$ through $i+m-1$. The braid relation for $m=2$ is essentially the Yang-Baxter equation, and the cases for $m>2$ are called generalized Yang-Baxter equations. We observe that certain objects in ribbon fusion categories naturally give rise to such representations for the case $m=3$. Examples are given from the Ising theory (or the closely related $SU(2)_2$), $SO(N)_2$ for $N$ odd, and $SU(3)_3$. The solution from the Jones-Kauffman theory at a $6^{th}$ root of unity, which is closely related to $SO(3)_2$ or $SU(2)_4$, is explicitly described in the end.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

(3+1)-TQFTs and Topological Insulators

Levin-Wen models are microscopic spin models for topological phases of matter in (2+1)-dimension. We introduce a generalization of such models to (3+1)-dimension based on unitary braided fusion categories, also known as unitary premodular categories. We discuss the ground state degeneracy on 3-manifolds and statistics of excitations which include both points and defect loops. Potential connections with recently proposed fractional topological insulators and projective ribbon permutation statistics are described.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Galois Conjugates of Topological Phases

Galois conjugation relates unitary conformal field theories (CFTs) and topological quantum field theories (TQFTs) to their non-unitary counterparts. Here we investigate Galois conjugates of quantum double models, such as the Levin-Wen model. While these Galois conjugated Hamiltonians are typically non-Hermitian, we find that their ground state wave functions still obey a generalized version of the usual code property (local operators do not act on the ground state manifold) and hence enjoy a generalized topological protection. The key question addressed in this paper is whether such non-unitary topological phases can also appear as the ground states of Hermitian Hamiltonians. Specific attempts at constructing Hermitian Hamiltonians with these ground states lead to a loss of the code property and topological protection of the degenerate ground states. Beyond this we rigorously prove that no local change of basis can transform the ground states of the Galois conjugated doubled Fibonacci theory into the ground states of a topological model whose Hermitian Hamiltonian satisfies Lieb-Robinson bounds. These include all gapped local or quasi-local Hamiltonians. A similar statement holds for many other non-unitary TQFTs. One consequence is that the "Gaffnian" wave function cannot be the ground state of a gapped fractional quantum Hall state.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Critical theory of the topological quantum phase transition in a spin-2 chain

We systematically study the phase diagram of S=2 spin chain, by means of density-matrix renormalization group and exact diagonalization methods and confirm the presence of a dimer phase in the AKLT--SZH model. We find that the whole phase boundary between the dimer and SZH phases, including the multicritical point, is a critical line with the same central charge $c=5/2$. Finally, we propose and confirm that this line can be described by the $\rm SO(5)_1$ Wess-Zumino-Witten (WZW) conformal field theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Localization of unitary braid group representations

Governed by locality, we explore a connection between unitary braid group representations associated to a unitary $R$-matrix and to a simple object in a unitary braided fusion category. Unitary $R$-matrices, namely unitary solutions to the Yang-Baxter equation, afford explicitly local unitary representations of braid groups. Inspired by topological quantum computation, we study whether or not it is possible to reassemble the irreducible summands appearing in the unitary braid group representations from a unitary braided fusion category with possibly different positive multiplicities to get representations that are uniformly equivalent to the ones from a unitary R-matrix. Such an equivalence will be called a localization of the unitary braid group representations. We show that the q=exp(πi/6) specialization of the unitary Jones representation of the braid groups can be localized by a unitary $9\times 9$ R-matrix. Actually this Jones representation is the first one in a family of theories (SO(N),2) for an odd prime N>1, which are conjectured to be localizable. We formulate several general conjectures and discuss possible connections to physics and computer science.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Projective Ribbon Permutation Statistics: a Remnant of non-Abelian Braiding in Higher Dimensions

In a recent paper, Teo and Kane proposed a 3D model in which the defects support Majorana fermion zero modes. They argued that exchanging and twisting these defects would implement a set R of unitary transformations on the zero mode Hilbert space which is a 'ghostly' recollection of the action of the braid group on Ising anyons in 2D. In this paper, we find the group T_{2n} which governs the statistics of these defects by analyzing the topology of the space K_{2n} of configurations of 2n defects in a slowly spatially-varying gapped free fermion Hamiltonian: T_{2n}\equiv {π_1}(K_{2n})$. We find that the group T_{2n}= Z \times T^r_{2n}, where the 'ribbon permutation group' T^r_{2n} is a mild enhancement of the permutation group S_{2n}: T^r_{2n} \equiv \Z_2 \times E((Z_2)^{2n}\rtimes S_{2n}). Here, E((Z_2)^{2n}\rtimes S_{2n}) is the 'even part' of (Z_2)^{2n} \rtimes S_{2n}, namely those elements for which the total parity of the element in (Z_2)^{2n} added to the parity of the permutation is even. Surprisingly, R is only a projective representation of T_{2n}, a possibility proposed by Wilczek. Thus, Teo and Kane's defects realize `Projective Ribbon Permutation Statistics', which we show to be consistent with locality. We extend this phenomenon to other dimensions, co-dimensions, and symmetry classes. Since it is an essential input for our calculation, we review the topological classification of gapped free fermion systems and its relation to Bott periodicity.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Statistical dynamics of a non-Abelian anyonic quantum walk

We study the single particle dynamics of a mobile non-Abelian anyon hopping around many pinned anyons on a surface. The dynamics is modelled by a discrete time quantum walk and the spatial degree of freedom of the mobile anyon becomes entangled with the fusion degrees of freedom of the collective system. Each quantum trajectory makes a closed braid on the world lines of the particles establishing a direct connection between statistical dynamics and quantum link invariants. We find that asymptotically a mobile Ising anyon becomes so entangled with its environment that its statistical dynamics reduces to a classical random walk with linear dispersion in contrast to particles with Abelian statistics which have quadratic dispersion.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Non-Abelian Quantum Hall States and their Quasiparticles: from the Pattern of Zeros to Vertex Algebra

In the pattern-of-zeros approach to quantum Hall states, a set of data {n;m;S_a|a=1,...,n; n,m,S_a in N} (called the pattern of zeros) is introduced to characterize a quantum Hall wave function. In this paper we find sufficient conditions on the pattern of zeros so that the data correspond to a valid wave function. Some times, a set of data {n;m;S_a} corresponds to a unique quantum Hall state, while other times, a set of data corresponds to several different quantum Hall states. So in the latter cases, the patterns of zeros alone does not completely characterize the quantum Hall states. In this paper, We find that the following expanded set of data {n;m;S_a;c|a=1,...,n; n,m,S_a in N; c in R} provides a more complete characterization of quantum Hall states. Each expanded set of data completely characterize a unique quantum Hall state, at least for the examples discussed in this paper. The result is obtained by combining the pattern of zeros and Z_n simple-current vertex algebra which describes a large class of Abelian and non-Abelian quantum Hall states Φ_{Z_n}^sc. The more complete characterization in terms of {n;m;S_a;c} allows us to obtain more topological properties of those states, which include the central charge c of edge states, the scaling dimensions and the statistics of quasiparticle excitations.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

Large Fourier transforms never exactly realized by braiding conformal blocks

Fourier transform is an essential ingredient in Shor's factoring algorithm. In the standard quantum circuit model with the gate set $\{\U(2), \textrm{CNOT}\}$, the discrete Fourier transforms $F_N=(ω^{ij})_{N\times N},i,j=0,1,..., N-1, ω=e^{\frac{2πi}{N}}$, can be realized exactly by quantum circuits of size $O(n^2), n=\textrm{log}N$, and so can the discrete sine/cosine transforms. In topological quantum computing, the simplest universal topological quantum computer is based on the Fibonacci (2+1)-topological quantum field theory (TQFT), where the standard quantum circuits are replaced by unitary transformations realized by braiding conformal blocks. We report here that the large Fourier transforms $F_N$ and the discrete sine/cosine transforms can never be realized exactly by braiding conformal blocks for a fixed TQFT. It follows that approximation is unavoidable to implement the Fourier transforms by braiding conformal blocks.

0 citations0 reviewsNo code linkedOpen access
preprint2005arXiv

Universal manifold pairings and positivity

Gluing two manifolds M_1 and M_2 with a common boundary S yields a closed manifold M. Extending to formal linear combinations x=Sum_i(a_i M_i) yields a sesquilinear pairing p=<,> with values in (formal linear combinations of) closed manifolds. Topological quantum field theory (TQFT) represents this universal pairing p onto a finite dimensional quotient pairing q with values in C which in physically motivated cases is positive definite. To see if such a "unitary" TQFT can potentially detect any nontrivial x, we ask if <x,x> is non-zero whenever x is non-zero. If this is the case, we call the pairing p positive. The question arises for each dimension d=0,1,2,.... We find p(d) positive for d=0,1, and 2 and not positive for d=4. We conjecture that p(3) is also positive. Similar questions may be phrased for (manifold, submanifold) pairs and manifolds with other additional structure. The results in dimension 4 imply that unitary TQFTs cannot distinguish homotopy equivalent simply connected 4-manifolds, nor can they distinguish smoothly s-cobordant 4-manifolds. This may illuminate the difficulties that have been met by several authors in their attempts to formulate unitary TQFTs for d=3+1. There is a further physical implication of this paper. Whereas 3-dimensional Chern-Simons theory appears to be well-encoded within 2-dimensional quantum physics, eg in the fractional quantum Hall effect, Donaldson-Seiberg-Witten theory cannot be captured by a 3-dimensional quantum system. The positivity of the physical Hilbert spaces means they cannot see null vectors of the universal pairing; such vectors must map to zero.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

A Class of $P,T$-Invariant Topological Phases of Interacting Electrons

We describe a class of parity- and time-reversal-invariant topological states of matter which can arise in correlated electron systems in 2+1-dimensions. These states are characterized by particle-like excitations exhibiting exotic braiding statistics. $P$ and $T$ invariance are maintained by a `doubling' of the low-energy degrees of freedom which occurs naturally without doubling the underlying microscopic degrees of freedom. The simplest examples have been the subject of considerable interest as proposed mechanisms for high-$T_c$ superconductivity. One is the `doubled' version (i.e. two opposite-chirality copies) of the U(1) chiral spin liquid. The second example corresponds to $Z_2$ gauge theory, which describes a scenario for spin-charge separation. Our main concern, with an eye towards applications to quantum computation, are richer models which support non-Abelian statistics. All of these models, richer or poorer, lie in a tightly-organized discrete family. The physical inference is that a material manifesting the $Z_2$ gauge theory or a doubled chiral spin liquid might be easily altered to one capable of universal quantum computation. These phases of matter have a field-theoretic description in terms of gauge theories which, in their infrared limits, are topological field theories. We motivate these gauge theories using a parton model or slave-fermion construction and show how they can be solved exactly. The structure of the resulting Hilbert spaces can be understood in purely combinatorial terms. The highly-constrained nature of this combinatorial construction, phrased in the language of the topology of curves on surfaces, lays the groundwork for a strategy for constructing microscopic lattice models which give rise to these phases.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Quantum SU(2) faithfully detects mapping class groups modulo center

The Jones-Witten theory gives rise to representations of the (extended) mapping class group of any closed surface Y indexed by a semi-simple Lie group G and a level k. In the case G=SU(2) these representations (denoted V_A(Y)) have a particularly simple description in terms of the Kauffman skein modules with parameter A a primitive 4r-th root of unity (r=k+2). In each of these representations (as well as the general G case), Dehn twists act as transformations of finite order, so none represents the mapping class group M(Y) faithfully. However, taken together, the quantum SU(2) representations are faithful on non-central elements of M(Y). (Note that M(Y) has non-trivial center only if Y is a sphere with 0, 1, or 2 punctures, a torus with 0, 1, or 2 punctures, or the closed surface of genus = 2.) Specifically, for a non-central h in M(Y) there is an r_0(h) such that if r>= r_0(h) and A is a primitive 4r-th root of unity then h acts projectively nontrivially on V_A(Y). Jones' [J] original representation rho_n of the braid groups B_n, sometimes called the generic q-analog-SU(2)-representation, is not known to be faithful. However, we show that any braid h not= id in B_n admits a cabling c = c_1,...,c_n so that rho_N (c(h)) not= id, N=c_1 + ... + c_n.

0 citations0 reviewsNo code linkedOpen access
preprint1993arXiv

Möbius invariance of knot energy

A physically natural potential energy for simple closed curves in $\bold R^3$ is shown to be invariant under Möbius transformations. This leads to the rapid resolution of several open problems: round circles are precisely the absolute minima for energy; there is a minimum energy threshold below which knotting cannot occur; minimizers within prime knot types exist and are regular. Finally, the number of knot types with energy less than any constant $M$ is estimated.

0 citations0 reviewsNo code linkedOpen access