SearcharxivSearch

arXiv subjects

Alex Bols

Publications and source records attributed to Alex Bols.

18 recordsLinked to original sources

A complete classification of 2d symmetry protected states with symmetric entanglers

We consider symmetry protected topological states of 2d quantum spin systems, with a finite symmetry group $G$. It has been conjectured that such states are classified by the cohomology group $H^3(G,U(1))$, but the completeness of this classfication is an open problem. We restrict ourselves to symmetry protected topological states that can be prepared from a product state by a symmetric entangler. For this class of states, we prove that the classification by $H^3(G,U(1))$ is complete.

math-ph

Sector Theory of Levin-Wen Models II : Fusion and Braiding

This is the continuation of our study of the Levin-Wen model based on an arbitrary unitary fusion category $\mathcal{C}$ on the infinite plane. The ground state of the Levin-Wen model hosts anyonic excitations whose fusion and braiding properties are captured by the associated braided $\rm C^*$-tensor category of superselection sectors $\mathsf{SSS}$. By constructing explicit isomorphisms between the fusion spaces of $\mathsf{SSS}$ and those of the Drinfeld center $Z(\mathcal{C})$, we show that these two categories have isomorphic $F$- and $R$-symbols. It follows that the full subcategory of finite sectors is unitarily braided monoidally equivalent to the Drinfeld center, $$\,\mathsf{SSS}_f \simeq Z(\mathcal{C}).$$ This provides the first complete characterisation of the category of superselection sectors for a class of two-dimensional lattice models supporting anyons with non-integer quantum dimensions.

math-ph

Sector Theory of Levin-Wen Models I : Classification of Anyon Sectors

We classify the irreducible anyon sectors of Levin-Wen models over an arbitrary unitary fusion category $\mathcal{C}$, showing that they are in one-to-one correspondence with equivalence classes of simple objects of the Drinfeld center $Z(\mathcal{C})$. We achieve this by making explicit how the Levin-Wen Hamiltonian stabilizes subspaces isomorphic to state spaces of the corresponding Turaev-Viro TQFT, and developing a detailed understanding of these state spaces on punctured disks. In particular, we construct Drinfeld insertion operators on such spaces which can move anyons between the punctures, and can change their fusion channels. Using these Drinfeld insertions, we construct explicit string operators that excite anyons above the ground state. The fusion and braiding properties of these anyons will be analysed in a companion paper.

math-ph

Classification of locality preserving symmetries on spin chains

We consider the action of a finite group $G$ by locality preserving automorphisms (quantum cellular automata) on quantum spin chains. We refer to such group actions as ``symmetries''. The natural notion of equivalence for such symmetries is \emph{stable equivalence}, which allows for stacking with factorized group actions. Stacking also endows the set of equivalence classes with a group structure. We prove that the anomaly of such symmetries provides an isomorphism between the group of stable equivalence classes of symmetries with the cohomology group $H^3(G,U(1))$, consistent with previous conjectures. This amounts to a complete classification of locality preserving symmetries on spin chains. We further show that a locality preserving symmetry is stably equivalent to one that can be presented by finite depth quantum circuits with covariant gates if and only if the slant product of its anomaly is trivial in $H^2(G, U(1)[G])$.

quant-ph

The category of anyon sectors for non-abelian quantum double models

We study Kitaev's quantum double model for arbitrary finite gauge group in infinite volume, using an operator-algebraic approach. The quantum double model hosts anyonic excitations which can be identified with equivalence classes of `localized and transportable endomorphisms', which produce anyonic excitations from the ground state. Following the Doplicher--Haag--Roberts (DHR) sector theory from AQFT, we organize these endomorphisms into a braided monoidal category capturing the fusion and braiding properties of the anyons. We show that this category is equivalent to $\mathrm{Rep}_f \mathcal{D}(G)$, the representation category of the quantum double of $G$. This establishes for the first time the full DHR structure for a class of 2d quantum lattice models with non-abelian anyons.

math-ph

Many-body Fu-Kane-Mele index

We define a $\mathbb{Z}_2$-valued index for stably short-range entangled states of two-dimensional fermionic lattice systems with charge conservation and time reversal symmetry. The index takes its non-trivial value precisely if the `fluxon', the state obtained by inserting a $\pi$-flux through the system, transforms under time reversal as part of a Kramers pair. This index extends the Fu-Kane-Mele index of free fermionic topological insulators to interacting systems.

math-ph

Classification of the anyon sectors of Kitaev's quantum double model

We give a complete classification of the anyon sectors of Kitaev's quantum double model on the infinite triangular lattice and for finite gauge group $G$, including the non-abelian case. As conjectured, the anyon sectors of the model correspond precisely to equivalence classes of irreducible representations of the quantum double algebra of $G$.

math-ph

The double semion state in infinite volume

We describe in a simple setting how to extract a unitary braided fusion category from a collection of superselection sectors of a two-dimensional quantum spin system, corresponding to abelian anyons. The structure of the unitary braided fusion category is given by F and R-symbols, which describe fusion and braiding of the anyons. We then construct the double semion state in infinite volume and extract the unitary braided fusion category describing its semion, anti-semion, and bound state excitations. We verify that this category corresponds to the representation category of the twisted quantum double of Z_2.

math-ph

Fredholm Homotopies for Strongly-Disordered 2D Insulators

We study topological indices of Fermionic time-reversal invariant topological insulators in two dimensions, in the regime of strong Anderson localization. We devise a method to interpolate between certain Fredholm operators arising in the context of these systems. We use this technique to prove the bulk-edge correspondence for mobility-gapped 2D topological insulators possessing a (Fermionic) time-reversal symmetry (class AII) and provide an alternative route to a theorem by Elgart-Graf-Schenker (2005) about the bulk-edge correspondence for strongly-disordered integer quantum Hall systems. We furthermore provide a proof of the stability of the $\mathbb{Z}_2$ index in the mobility gap regime. These two-dimensional results serve as a model for the study of higher dimensional $\mathbb{Z}_2$ indices.

math-ph

Classification of equivariant quasi-local automorphisms on quantum chains

We classify automorphisms on quantum chains, allowing both spin and fermionic degrees of freedom, that are moreover equivariant with respect to a local symmetry action of a finite symmetry group $G$. The classification is up to equivalence through strongly continuous deformation and stacking with decoupled auxiliary automorphisms. We find that the equivalence classes are uniquely labeled by an index taking values in $\mathbb{Q} \cup \sqrt{2} \mathbb{Q} \times \mathrm{Hom}(G, \mathbb{Z}_2) \times H^2(G, U(1))$. We discuss te relation of this index to the index of one-dimensional symmetry protected topological phases on spin chains, which takes values in $H^2(G, U(1))$.

math-ph

Absolutely Continuous Edge Spectrum of Hall Insulators on the Lattice

The presence of chiral modes on the edges of quantum Hall samples is essential to our understanding of the quantum Hall effect. In particular, these edge modes should support ballistic transport and therefore, in a single particle picture, be supported in the absolutely continuous spectrum of the single-particle Hamiltonian. We show in this note that if a free fermion system on the two-dimensional lattice is gapped in the bulk, and has a nonvanishing Hall conductance, then the same system put on a half-space geometry supports edge modes whose spectrum fills the entire bulk gap and is absolutely continuous.

math-ph

Rational indices for quantum ground state sectors

We consider charge transport for interacting many-body systems with a gapped ground state subspace which is finitely degenerate and topologically ordered. To any locality-preserving, charge-conserving unitary that preserves the ground state space, we associate an index that is an integer multiple of $1/p$, where $p$ is the ground state degeneracy. We prove that the index is additive under composition of unitaries. This formalism gives rise to several applications: fractional quantum Hall conductance, a fractional Lieb-Schultz-Mattis theorem that generalizes the standard LSM to systems where the translation-invariance is broken, and the interacting generalization of the Avron-Dana-Zak relation between Hall conductance and the filling factor.

math-ph

A many-body Fredholm index for ground state spaces and Abelian anyons

We propose a many-body index that extends Fredholm index theory to many-body systems. The index is defined for any charge-conserving system with a topologically ordered $p$-dimensional ground state sector. The index is fractional with the denominator given by $p$. In particular, this yields a new short proof of the quantization of the Hall conductance and of Lieb-Schulz-Mattis theorem. In the case that the index is non-integer, the argument provides an explicit construction of Wilson loop operators exhibiting a non-trivial braiding and that can be used to create fractionally charged Abelian anyons.

math-ph

Note on linear response for interacting Hall insulators

We relate explicitly the adiabatic curvature -- in flux space -- of an interacting Hall insulator with nondegenerate ground state to various linear response coefficients, in particular the Kubo response and the adiabatic response. The flexibility of the setup, allowing for various driving terms and currents, reflects the topological nature of the adiabatic curvature. We also outline an abstract connection between Kubo response and adiabatic response, corresponding to the fact that electric fields can be generated both by electrostatic potentials and time-dependent magnetic fields. Our treatment fits in the framework of rigorous many-body theory, thanks to the gap assumption.

math-ph

A many-body index for quantum charge transport

We propose an index for pairs of a unitary map and a clustering state on many-body quantum systems. We require the map to conserve an integer-valued charge and to leave the state, e.g. a gapped ground state, invariant. This index is integer-valued and stable under perturbations. In general, the index measures the charge transport across a fiducial line. We show that it reduces to (i) an index of projections in the case of non-interacting fermions, (ii) the charge density for translational invariant systems, and (iii) the quantum Hall conductance in the two-dimensional setting without any additional symmetry. Example (ii) recovers the Lieb-Schultz-Mattis theorem, and (iii) provides a new and short proof of quantization of Hall conductance in interacting many-body systems.

math-ph

Quantization of conductance in gapped interacting systems

We provide a short proof of the quantisation of the Hall conductance for gapped interacting quantum lattice systems on the two-dimensional torus. This is not new and should be seen as an adaptation of the proof of [1], simplified by making the stronger assumption that the Hamiltonian remains gapped when threading the torus with fluxes. We argue why this assumption is very plausible. The conductance is given by Berry's curvature and our key auxiliary result is that the curvature is asymptotically constant across the torus of fluxes.

math-ph

Asymptotic Localization in the Bose-Hubbard Model

We consider the Bose-Hubbard model. Our focus is on many-body localization, which was described by many authors in such models, even in the absence of disorder. Since our work is rigorous, and since we believe that the localization in this type of models is not strictly valid in the infinite-time limit, we necessarily restrict our study to 'asymptotic localization': We prove that transport and thermalization are small beyond perturbation theory in the limit of large particle density. Our theorem takes the form of a many-body Nekhoroshev estimate. An interesting and new aspect of this model is the following: even though our analysis proceeds by perturbation in the hopping, the localization can not be inferred from a lack of hybridization between zero-hopping eigenstates.

math-ph