scispace - formally typeset
Search or ask a question
Journal ArticleDOI

Local Commuting Projector Hamiltonians and the Quantum Hall Effect

01 Jan 2020-Communications in Mathematical Physics (Springer Berlin Heidelberg)-Vol. 373, Iss: 2, pp 763-769
TL;DR: In this article, it was shown that neither integer nor fractional quantum Hall effects with nonzero Hall conductivity are possible in gapped systems described by Local Commuting Projector Hamiltonians.
Abstract: We prove that neither Integer nor Fractional Quantum Hall Effects with nonzero Hall conductivity are possible in gapped systems described by Local Commuting Projector Hamiltonians.

Summary (1 min read)

1 Introduction

  • One of the simplest classes of exactly soluble many-body Hamiltonians is the class of Local Commuting Projector Hamiltonians (LCPH).
  • If one assumes that the limiting ground state exists, and the spectral gap does not close in the limit L → ∞, one can indeed prove that the thermodynamic limit of the first Chern number of E exists and is equal to the Hall conductance [5, 6, 7].
  • Assuming that the thermodynamic limit exists, this implies that neither IQHE nor FQHE states can be realized by Local Commuting Projector Hamiltonians with an on-site U(1) symmetry.
  • The work was partly performed at the Aspen Center for Physics, which is supported by National Science Foundation grant PHY-1607611.

2 Lattice Hamiltonian on a torus with

  • In addition, one usually assumes that the norms of the operators Φ(Γ) are uniformly bounded [8].
  • Given a local lattice Hamiltonian with an on-site U(1) symmetry and range R, and assuming L > 2R, one can define a family of local lattice Hamiltonians with range R depending on (βx, βy) ∈ R2/(2πZ)2 as follows [8, 6, 7].
  • Suppose the gap between the lowest and next-to-lowest eigenvalues of H(βx, βy) is strictly greater than zero for all βx, βy.
  • Then the image of the projector to the eigenspace with the lowest eigenvalue is a welldefined smooth vector bundle over Tβ which the authors denote E.

3 Local Commuting Projector Hamil-

  • The gist of this argument is that for any two fixed Γ,Γ′, one can find a common local U(1) rotation that conjugates Φ(Γ, βx, βy) and Φ(Γ, βx, βy) into Φ(Γ) and Φ(Γ′), respectively.
  • The eigenvalues of such a Hamiltonian are non-negative integers.
  • This proves the first part of the theorem.

Did you find this useful? Give us your feedback

Content maybe subject to copyright    Report

Local Commuting Projector Hamiltonians and
the Quantum Hall Effect
Anton Kapustin
California Institute of Technology, Pasadena, California
Lukasz Fidkowski
Department of Physics, University of Washington, Seattle
October 22, 2018
Abstract
We prove that neither Integer nor Fractional Quantum Hall Ef-
fects with nonzero Hall conductivity are possible in gapped systems
described by Local Commuting Projector Hamiltonians.
1
arXiv:1810.07756v1 [cond-mat.str-el] 17 Oct 2018

1 Introduction
One of the simplest classes of exactly soluble many-body Hamiltoni-
ans is the class of Local Commuting Projector Hamiltonians (LCPH).
These are finite-range lattice Hamiltonians which have the form
H =
X
Γ
Φ(Γ),
where the local terms Φ(Γ) are commuting projectors. Usually one
also assumes that each local Hilbert space is finite-dimensional, oth-
erwise one gets a hugely degenerate excitation spectrum. The toric
code [1], or more generally, Levin-Wen Hamiltonians associated to
unitary spherical fusion categories [2], provide interesting examples
of such Hamiltonians in two dimensions, so many topologically or-
dered states can be described by LCPH. It is believed that all known
Symmetry Protected Topological phases of fermions and bosons with
a finite symmetry can also be described by LCPH. Nevertheless, it
is also widely believed that neither IQHE nor FQHE phases can be
realized by LCPH. In this short note, we provide a proof of this.
More precisely, we prove the following. Suppose H is a local lat-
tice Hamiltonian with an on-site U(1) symmetry defined on a torus
of size L. It is well-known that it is possible to extend H to a 2-
parameter family H(β
x
, β
y
) of local lattice Hamiltonians depending
on the “holonomies”
1
(β
x
, β
y
) R
2
/(2πZ)
2
. If H(β
x
, β
y
) has a unique
ground state for all β
x
, β
y
, then its ground-states form a rank-one vec-
tor bundle E over T
β
= R
2
/(2πZ)
2
. It was argued in [3, 4] that the
first Chern number of E is equal to the Hall conductance of the system.
More precisely, the Hall conductance is defined in the thermodynamic
limit L . If one assumes that the limiting ground state exists, and
the spectral gap does not close in the limit L , one can indeed
prove that the thermodynamic limit of the first Chern number of E
exists and is equal to the Hall conductance [5, 6, 7]. (There is an al-
ternative proof of the quantization of the Hall conductance which only
requires H to be gapped, but does not make any assumption about
the gap for nonzero β
x
, β
y
[8]). This line of reasoning extends to the
case when the ground-state is degenerate [6]: if the thermodynamic
limit of all ground-states is the same, then the limit of the first Chern
1
In many papers “holonomies” are called fluxes. We find this terminology confusing,
since the word “flux” is also used to describe a region of nonzero magnetic field, while
β
x
, β
y
parameterize a flat U(1) gauge field on a torus.
2

number exists and is equal to q times the Hall conductance, where q
is the degeneracy of the ground-states on a torus of a sufficiently large
size. We prove the following
Theorem. Let H be an LCPH with range R on a torus of size
L > 4R, and suppose H has an on-site U(1) symmetry. Then the 2-
parameter family H(β
x
, β
y
) of Hamiltonians depending on the ”holonomies”
β
x
, β
y
R
2
/(2πZ)
2
is a family of LCPH, and thus the gap assumption
is satisfied. Moreover, the Chern number of the corresponding bundle
of ground-states vanishes.
Assuming that the thermodynamic limit exists, this implies that
neither IQHE nor FQHE states can be realized by Local Commuting
Projector Hamiltonians with an on-site U(1) symmetry.
While for simplicity we only discuss the case d = 2, in arbitrary
dimension the same arguments show that all Chern classes of the bun-
dle of ground-states vanish if H is an LCPH, and in fact the bundle
of ground-states is topologically trivial.
The proof uses some well-known results from algebraic geometry.
The same mathematical results were used in [11] to show that a Chern
insulator with a finite-range band Hamiltonian cannot have correla-
tions which decay faster than any exponential. This is no coincidence:
correlations of all local observables in a ground-state of an LCPH van-
ish beyond a finite range. One might conjecture that neither IQHE
nor FQHE can occur if correlations of all local observables decay faster
than any exponential.
The content of the paper is as follows. In section 2, we recall the
definition of a local lattice Hamiltonian on a torus with holonomies
following [8, 6]. The proof of the theorem occupies sections 3 and 4.
The work was partly performed at the Aspen Center for Physics,
which is supported by National Science Foundation grant PHY-1607611.
The research of A. K. was supported by the U.S. Department of En-
ergy, Office of Science, Office of High Energy Physics, under Award
Number de-sc0011632 and by the Simons Investigator Award. L. F.
was supported by NSF DMR-1519579
2 Lattice Hamiltonian on a torus with
holonomies
The space will be a torus T
2
of size L × L. We identify it with
R
2
/(LZ)
2
. A lattice is a finite subset Λ T
2
. The Hilbert space
3

is either a tensor product
V =
λΛ
V
λ
,
where V
λ
is a finite-dimensional Hilbert space, or a super-tensor prod-
uct
V =
b
λΛ
V
λ
,
where V
λ
is a finite-dimensional Z
2
-graded Hilbert space. We will
denote by A
Γ
the algebra of observables supported at a subset Γ Λ.
Following [8], we use an `
1
distance on T
2
:
dist(p, p
0
) = |x(p) x(p
0
)|modL + |y(p) y(p
0
)|modL.
A local lattice Hamiltonian with range R has the form
H =
X
Γ
Φ(Γ),
where Φ(Γ) is a Hermitian element of A
Γ
, and the sum is over all
subsets Γ Λ of diameter less than R. In the Z
2
-graded case, each
Φ(Γ) is required to be even. In addition, one usually assumes that the
norms of the operators Φ(Γ) are uniformly bounded [8]. In the cases
of interest to us, this will be automatic.
A local lattice Hamiltonian is said to have an on-site symmetry G
if each V
λ
is a unitary (or anti-unitary) representation of G, and each
Φ(Γ) commutes with the action of G on A
Γ
. In particular, a local
lattice Hamiltonian has an on-site symmetry U(1) if for each λ Λ
we are given an (even) Hermitian operator Q
λ
: V
λ
V
λ
with integral
eigenvalues, and for all Γ of diameter less than R we have
[Φ(Γ), Q(Γ)] = 0,
where
Q(Γ) =
X
λΓ
Q
λ
.
Note that Q(Γ) is additive under disjoint union:
Q Γ
0
) = Q(Γ) + Q
0
), if Γ Γ
0
= .
Given a local lattice Hamiltonian with an on-site U(1) symmetry
and range R, and assuming L > 2R, one can define a family of local
lattice Hamiltonians with range R depending on (β
x
, β
y
) R
2
/(2πZ)
2
4

y=R
y=L-R
T
d
y=0
y=L/2
Figure 1: The operator Φ(Γ, 0, β
y
) is equal to Φ(Γ) unless Φ(Γ) straddles the
line y = 0 (red region), in which case it is defined by e
y
Q
d
)
Φ(Γ)e
y
Q
d
)
,
where Q
d
) is the operator that measures the U(1) charge of T
d
(blue re-
gion).
as follows [8, 6, 7]. Let T
`
be the subset of T
2
given by 0 < x(p) < L/2.
Let T
d
be the subset of T
2
given by 0 < y < L/2. Let Λ
`
= Λ
T
T
`
and Λ
d
= Λ
T
T
d
. We define (see Fig. 1)
Φ(Γ, 0, β
y
) =
e
y
Q
d
)
Φ(Γ)e
y
Q
d
)
if Γ
T
Λ
d
6= , dist(Γ, {y = 0}) < R,
Φ(Γ) otherwise
Then we define
Φ(Γ, β
x
, β
y
) =
e
x
Q
`
)
Φ(Γ, 0, β
y
)e
x
Q
`
)
if Γ
T
Λ
`
6= , dist(Γ, {x = 0}) < R,
Φ(Γ, 0, β
y
) otherwise
It follows from U(1)-invariance of Φ(Γ) and additivity of Q(Γ) that
Φ(Γ, β
x
, β
y
) is an element of A
Γ
, and thus
H(β
x
, β
y
) =
X
Γ
Φ(Γ, β
x
, β
y
)
is a local lattice Hamiltonian. Since Q
λ
has integral eigenvalues, it is
clear that each Φ(Γ, β
x
, β
y
) is 2π-periodic in both β
x
and β
y
. Thus
H(β
x
, β
y
) is a family of local lattice Hamiltonians parameterized by
points of a torus T
β
= R
2
/(2πZ)
2
.
5

Citations
More filters
Journal ArticleDOI
TL;DR: In this article , a constant depth quantum circuit that maps between Morita-equivalent string-net models is constructed from an invertible bimodule category connecting the two input fusion categories.
Abstract: We construct a constant depth quantum circuit that maps between Morita-equivalent string-net models. Due to its constant depth and unitarity, the circuit cannot alter the topological order, which demonstrates that Morita-equivalent string nets are in the same phase. The circuit is constructed from an invertible bimodule category connecting the two input fusion categories of the relevant string-net models, acting as a generalized Fourier transform for fusion categories. The circuit not only acts on the ground state subspace but also acts unitarily on the full Hilbert space when supplemented with ancillas.

3 citations

Journal ArticleDOI
TL;DR: In this paper , the spectral gap of a fractional quantum Hall system with maximal filling ν = 1/3 in the thin torus limit was studied and shown to be uniform in the system size and total particle number.
Abstract: 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.

3 citations

Journal ArticleDOI
TL;DR: In this article , a tensor network algebraic language for describing topological fixed point models is proposed. But the tensor networks represent discrete path integrals in Euclidean space-time.
Abstract: We introduce a systematic mathematical language for describing fixed point models and apply it to the study to topological phases of matter. The framework is reminiscent of state-sum models and lattice topological quantum field theories, but is formalised and unified in terms of tensor networks. In contrast to existing tensor network ansatzes for the study of ground states of topologically ordered phases, the tensor networks in our formalism represent discrete path integrals in Euclidean space-time. This language is more directly related to the Hamiltonian defining the model than other approaches, via a Trotterization of the respective imaginary time evolution. We introduce our formalism by simple examples, and demonstrate its full power by expressing known families of models in 2+1 dimensions in their most general form, namely string-net models and Kitaev quantum doubles based on weak Hopf algebras. To elucidate the versatility of our formalism, we also show how fermionic phases of matter can be described and provide a framework for topological fixed point models in 3+1 dimensions.

3 citations

Journal ArticleDOI
TL;DR: In this article , the authors consider the process of flux insertion for ground states of almost local commuting projector Hamiltonians in two spatial dimensions and prove that this process cannot pump any charge and conclude that the Hall conductance must vanish.
Abstract: We consider the process of flux insertion for ground states of almost local commuting projector Hamiltonians in two spatial dimensions. In the case of finite dimensional local Hilbert spaces, we prove that this process cannot pump any charge and we conclude that the Hall conductance must vanish.

2 citations

Journal ArticleDOI
TL;DR: In this paper, the classification and lattice model construction of symmetry protected topological (SPT) phases in interacting fermion systems are very interesting but challenging, and a systematic fixed point wave function construction of fermionic SPT states for generic Fermionic symmetry groups is given.
Abstract: The classification and lattice model construction of symmetry protected topological (SPT) phases in interacting fermion systems are very interesting but challenging. In this paper, we give a systematic fixed point wave function construction of fermionic SPT (FSPT) states for generic fermionic symmetry group $G_f=\mathbb{Z}_2^f \times_{\omega_2} G_b$ which is a central extension of bosonic symmetry group $G_b$ (may contain time reversal symmetry) by the fermion parity symmetry group $\mathbb{Z}_2^f = \{1,P_f\}$. Our construction is based on the concept of equivalence class of finite depth fermionic symmetric local unitary (FSLU) transformations and decorating symmetry domain wall picture, subjected to certain obstructions. We will also discuss the systematical construction and classification of boundary anomalous SPT (ASPT) states which leads to a trivialization of the corresponding bulk FSPT states. Thus, we conjecture that the obstruction-free and trivialization-free constructions naturally lead to a classification of FSPT phases. Each fixed-point wave function admits an exactly solvable commuting-projector Hamiltonian. We believe that our classification scheme can be generalized to point/space group symmetry as well as continuum Lie group symmetry.

2 citations

References
More filters
Journal ArticleDOI
TL;DR: A two-dimensional quantum system with anyonic excitations can be considered as a quantum computer Unitary transformations can be performed by moving the excitations around each other Unitary transformation can be done by joining excitations in pairs and observing the result of fusion.

4,920 citations

Book
01 Jan 1974
TL;DR: The second volume of Shafarevich's introductory book on algebraic geometry focuses on schemes, complex algebraic varieties and complex manifolds as discussed by the authors, and is suitable for beginning graduate students.
Abstract: The second volume of Shafarevich's introductory book on algebraic geometry focuses on schemes, complex algebraic varieties and complex manifolds. As with first volume the author has revised the text and added new material. Although the material is more advanced than in Volume 1 the algebraic apparatus is kept to a minimum making the book accessible to non-specialists. It can be read independently of the first volume and is suitable for beginning graduate students.

2,024 citations

Journal ArticleDOI
TL;DR: In this article, it was shown that string-net condensation provides a mechanism for unifying gauge bosons and fermions in 3 and higher dimensions, and the theoretical framework underlying topological phases was revealed.
Abstract: We show that quantum systems of extended objects naturally give rise to a large class of exotic phases---namely topological phases. These phases occur when extended objects, called ``string-nets,'' become highly fluctuating and condense. We construct a large class of exactly soluble 2D spin Hamiltonians whose ground states are string-net condensed. Each ground state corresponds to a different parity invariant topological phase. The models reveal the mathematical framework underlying topological phases: tensor category theory. One of the Hamiltonians---a spin-$1∕2$ system on the honeycomb lattice---is a simple theoretical realization of a universal fault tolerant quantum computer. The higher dimensional case also yields an interesting result: we find that 3D string-net condensation naturally gives rise to both emergent gauge bosons and emergent fermions. Thus, string-net condensation provides a mechanism for unifying gauge bosons and fermions in 3 and higher dimensions.

1,245 citations

Journal ArticleDOI
TL;DR: The new formulation generalizes the earlier result and draws the conclusion that there must be a symmetry breaking in the many-body ground state when applying to the fractional quantized Hall effect.
Abstract: Whenever the Fermi level lies in a gap (or mobility gap) the bulk Hall conductance can be expressed in a topologically invariant form showing the quantization explicitly. The new formulation generalizes the earlier result by Thouless, Kohmoto, Nightingale, and den Nijs to the situation where many-body interaction and substrate disorder are also present. When applying to the fractional quantized Hall effect, we draw the conclusion that there must be a symmetry breaking in the many-body ground state. The possibility of writing the fractionally quantized Hall conductance as a topological invariant is also discussed.

822 citations

Book
02 Dec 2010
TL;DR: The "Classical" Results on Serre's Conjecture: 1955-1976 as mentioned in this paper The classical results on the Serre-Conjecture are the following: Horrocks' theorem and Quillen's Methods.
Abstract: to Serre's Conjecture: 1955-1976.- Foundations.- The "Classical" Results on Serre's Conjecture.- The Basic Calculus of Unimodular Rows.- Horrocks' Theorem.- Quillen's Methods.- K1-Analogue of Serre's Conjecture.- The Quadratic Analogue of Serre's Conjecture.- References for Chapters I-VII.- Appendix: Complete Intersections and Serre's Conjecture.- New Developments (since 1977).- References for Chapter VIII.

281 citations

Frequently Asked Questions (1)
Q1. What are the contributions in "Local commuting projector hamiltonians and the quantum hall effect" ?

The authors prove that neither Integer nor Fractional Quantum Hall Effects with nonzero Hall conductivity are possible in gapped systems described by Local Commuting Projector Hamiltonians.