Establishing the (non)existence of a spectral gap above the ground state in the thermodynamic limit is one of the fundamental steps for characterizing the topological phase of a quantum lattice model. This is particularly challenging when a model is expected to have low-lying edge excitations, but nevertheless a positive bulk gap. We review the bulk gap strategy introduced in [S. Warzel and A. Young, The spectral gap of a fractional quantum Hall system on a thin torus, J. Math. Phys. 63 (2022) 041901; S. Warzel and A. Young, A bulk spectral gap in the presence of edge states for a truncated pseudopotential, Ann. Henri Poincaré 24 (2023) 133–178], while studying truncated Haldane pseudopotentials. This approach is able to avoid low-lying edge modes by separating the ground states and edge states into different invariant subspaces before applying spectral gap bounding techniques. The approach is stated in a general context, and we reformulate specific spectral gap methods in an invariant subspace context to illustrate the necessary conditions for combining them with the bulk gap strategy. We then review its application to a truncation of the 1/3-filled Haldane pseudopotential in the cylinder geometry.
Establishing the (non)existence of a spectral gap above the ground state in the thermodynamic limit is one of the fundamental steps for characterizing the topological phase of a quantum lattice model. This is particularly challenging when a model is expected to have low-lying edge excitations, but nevertheless a positive bulk gap. We review the bulk gap strategy introduced in [S. Warzel and A. Young, The spectral gap of a fractional quantum Hall system on a thin torus, J. Math. Phys. 63 (2022) 041901; S. Warzel and A. Young, A bulk spectral gap in the presence of edge states for a truncated pseudopotential, Ann. Henri Poincaré 24 (2023) 133–178], while studying truncated Haldane pseudopotentials. This approach is able to avoid low-lying edge modes by separating the ground states and edge states into different invariant subspaces before applying spectral gap bounding techniques. The approach is stated in a general context, and we reformulate specific spectral gap methods in an invariant subspace context to illustrate the necessary conditions for combining them with the bulk gap strategy. We then review its application to a truncation of the 1/3-filled Haldane pseudopotential in the cylinder geometry.
Abstract We study the low-energy properties of a truncated Haldane pseudopotential with maximal half filling, which describes a strongly correlated system of spinless bosons in a cylinder geometry. For this Hamiltonian with either open or periodic boundary conditions, we prove a spectral gap above the highly degenerate ground-state space which is uniform in the volume and particle number. Our proofs rely on identifying invariant subspaces to which we apply gap-estimate methods previously developed only for quantum spin Hamiltonians. In the case of open boundary conditions, the lower bound on the spectral gap accurately reflects the presence of edge states, which do not persist into the bulk. Customizing the gap technique to the invariant subspace, we avoid the edge states and establish a more precise estimate on the bulk gap in the case of periodic boundary conditions.
The fractional quantum Hall (FQH) effect plays a prominent role in the study of topological phases of matter and of strongly correlated electron systems in general. FQH systems have been demonstrated to show many interesting novel properties such as fractional charges, and are believed to harbor even more intriguing phenomena such as fractional statistics. However, there remain many interesting questions to be addressed in this regime. The work reported in this thesis aims to push the envelope of our understanding of the low-energy properties of FQH states using microscopic principles. In the first part of the thesis, we present a systematic perturbative approach to study excitations in the thin cylinder/torus limit of the quantum Hall states. The approach is applied to the Haldane-Rezayi and Gaffnian quantum Hall states, which are both expected to have gapless excitations in the usual two-dimensional thermodynamic limit. For the Haldane-Rezayi state, we confirm that gapless excitations are present also in the ``one-dimensional'' thermodynamic limit of an infinite thin cylinder, in agreement with earlier considerations based on the wave functions alone. In contrast, we identify the lowest excitations of the Gaffnian state in the thin cylinder limit, and conclude that they are gapped, using a combination of perturbative and numerical means. We discuss possible scenarios for the cross-over between the two-dimensional and the one-dimensional thermodynamic limit in this case. In the second part of the thesis, we study the low energy spectral properties of positive center-of-mass conserving two-body Hamiltonians as they arise in models of FQH states. Starting from the observation that positive many-body Hamiltonians must have ground state energies that increase monotonously in particle number, we explore what general additional constraints can be obtained for two-body interactions with "center-of-mass conservation" symmetry, both in the presence and absence of particle-hole symmetry. We find general bounds that constrain the evolution of the ground state energy with particle number, and in particular constrain the chemical potential at T=0. Special attention is given to Hamiltonians with zero modes, in which case similar bounds on the first excited state are also obtained, using a duality property. In this case, in particular an upper bound on the charge gap is also obtained. We further comment on center-of-mass and relative-decomposition in disk geometry within the framework of second quantization.
We study a fractional quantum Hall system with maximal filling ν = 1/3 in the thin torus limit. The corresponding Hamiltonian is a truncated version of Haldane’s pseudopotential, which upon a Jordan–Wigner transformation is equivalent to a one-dimensional quantum spin chain with periodic boundary conditions. Our main result is a lower bound on the spectral gap of this Hamiltonian, which is uniform in the system size and total particle number. The gap is also uniform with respect to small values of the coupling constant in the model. The proof adapts the strategy of individually estimating the gap in invariant subspaces used for the bosonic ν = 1/2 model to the present fermionic case.
We develop a bootstrap approach to deriving lower bounds on the spectral gap of the first Haldane pseudopotential Hamiltonian on the sphere with NΦ flux quanta for arbitrary NΦ, including in the thermodynamic limit NΦ→∞. This method can in principle be generalized to pseudopotentials describing other model wavefunctions such as the Moore--Read state or Read--Rezayi sequence. Our approach is based on Knabe's observation that if H is a Hamiltonian with ground state energy zero then the spectral gap is at least ε>0 if and only if H2⪰εH. To show this inequality, we split H2 into two parts, one that can be analytically bounded and another that can be bounded using a finite semidefinite program (SDP). Crucially, the size of this program is determined only by cutoff parameters, and the program depends on NΦ only parametrically, allowing us to obtain numerically exact (up to solver precision) lower bounds on the gap. In order to turn these numerical bounds into mathematically rigorous results, we introduce an algorithm that can produce nearly-optimal exact interior feasible points for large rational SDPs even if the affine constraints are highly redundant and ill-conditioned. We additionally provide an algorithm that establishes the rank stability of the SDP in the NΦ→∞ limit, which is needed to certify the bound in the thermodynamic limit. Beyond establishing a Laughlin gap greater than 1/100 in the thermodynamic limit and revealing a potential method for deriving spectral gap lower bounds for other pseudopotentials, our work provides a general method for turning numerical SDP bounds into rigorous mathematical proofs, which may have wide applicability. In particular, this work demonstrates that bootstrap methods can be used to rigorously resolve major open problems in quantum many-body physics.
Determining spectral gaps in the thermodynamic limit is a central challenge in quantum many-body physics. When a fixed boundary condition is imposed, this problem is undecidable: no algorithm, even with unlimited resources, can decide for every Hamiltonian whether it is gapped. Yet the thermodynamic limit is meant to capture the intrinsic properties of very large systems, which should not depend on how their boundaries are chosen. We therefore consider the bulk spectral gap, which concerns only the intrinsic excitations of the infinite system, and ask what can and cannot be computed about it. First, we give a general algorithm producing a hierarchy of certified upper bounds on the bulk gap, arbitrarily tight at the cost of more computation. Second, we prove that the spectral gap problem remains undecidable in the bulk, already for translationally invariant nearest-neighbour chains of fixed local dimension. Hence no general algorithm produces convergent lower bounds, and no convergent upper-bounding algorithm, ours included, admits a computable convergence rate. The bulk spectral gap is thus certifiable from above but uncomputable from below; more precisely, the bulk-gaplessness promise problem is RE-complete, exactly as hard as the halting problem. The same construction shows that no general algorithm can decide whether a given product state is a ground state, and that convergent bounds on ground-state expectation values admit no computable convergence rate in general. Finally, we obtain the first nontrivial certified upper bounds on the bulk gap of the spin-1/2 kagome Heisenberg antiferromagnet.
Abstract We study the stability with respect to a broad class of perturbations of gapped ground-state phases of quantum spin systems defined by frustration-free Hamiltonians. The core result of this work is a proof using the Bravyi–Hastings–Michalakis (BHM) strategy that under a condition of local topological quantum order (LTQO), the bulk gap is stable under perturbations that decay at long distances faster than a stretched exponential. Compared to previous work, we expand the class of frustration-free quantum spin models that can be handled to include models with more general boundary conditions, and models with discrete symmetry breaking. Detailed estimates allow us to formulate sufficient conditions for the validity of positive lower bounds for the gap that are uniform in the system size and that are explicit to some degree. We provide a survey of the BHM strategy following the approach of Michalakis and Zwolak, with alterations introduced to accommodate more general than just periodic boundary conditions and more general lattices. We express the fundamental condition known as LTQO by means of an indistinguishability radius, which we introduce. Using the uniform finite-volume results, we then proceed to study the thermodynamic limit. We first study the case of a unique limiting ground state and then also consider models with spontaneous breaking of a discrete symmetry. In the latter case, LTQO cannot hold for all local observables. However, for perturbations that preserve the symmetry, we show stability of the gap and the structure of the broken symmetry phases. We prove that the GNS Hamiltonian associated with each pure state has a non-zero spectral gap above the ground state.