
Method to preserve the chiral-symmetry protection of the zeroth Landau level
on a two-dimensional lattice
A. Don´ıs Vela,1G. Lemut,1J. Tworzyd lo,2and C. W. J. Beenakker1
1Instituut-Lorentz, Universiteit Leiden, P.O. Box 9506, 2300 RA Leiden, The Netherlands
2Faculty of Physics, University of Warsaw, ul. Pasteura 5, 02–093 Warszawa, Poland
(Dated: September 2022)
The spectrum of massless Dirac fermions on the surface of a topological insulator in a perpendicu-
lar magnetic field Bcontains a B-independent “zeroth Landau level”, protected by chiral symmetry.
If the Dirac equation is discretized on a lattice by the method of “Wilson fermions”, the chiral sym-
metry is broken and the zeroth Landau level is broadened when Bhas spatial fluctuations. We
show how this lattice artefact can be avoided starting from an alternative nonlocal discretization
scheme introduced by Stacey. A key step is to spatially separate the states of opposite chirality in
the zeroth Landau level, by adjoining +Band −Bregions.
I. INTRODUCTION
A. Objective
We address, in a different context, a problem origi-
nating from lattice gauge theory: How to place fermions
on a lattice in a way that respects both gauge invariance
and chiral symmetry [1–8]. Our context is topological in-
sulators [9], three-dimensional (3D) materials having an
insulating bulk and a conducting surface, with massless
Dirac fermions as the low-energy excitations. The Lan-
dau level spectrum of massless Dirac fermions is anoma-
lous, the zeroth Landau level is a flat band pinned to zero
energy irrespective of the magnetic field strength [10, 11].
Our objective is to model the surface states on a two-
dimensional (2D) lattice, without breaking the chiral
symmetry that protects the zeroth Landau level from
broadening by disorder. Let us introduce the problem
in some detail.
B. Zeroth Landau level
In a magnetic field B, perpendicular to the surface of
the topological insulator, Landau levels form at energies
En=±~ω√n,n∈N, with ω∝√B. The zeroth Landau
level E0= 0 is magnetic-field independent [12–15]. If the
perpendicular field strength has spatial fluctuations, for
example, because of ripples on the surface, all Landau
levels are broadened except the zeroth Landau level [16].
The E= 0 flat band is protected by a chiral symmetry,
a unitary and Hermitian operator Cthat anti-commutes
with the Hamiltonian [17]. Indeed, the massless 2D Dirac
Hamiltonian
HD=v~kxσx+v~kyσy(1)
anticommutes with the Pauli matrix σz, and this sym-
metry is preserved if one introduces a space-dependent
vector potential by ~k7→ ~k−eA(r).
Topological considerations [18–20] then enforce the ex-
istence of an N-fold degenerate eigenstate at E= 0, with
FIG. 1. Slab of a topological insulator in a perpendicular
magnetic field B. Landau levels form on the top and bottom
surface at energy |E| ∝ √n,n= 0,1,2, . . ., symmetrically
arranged around E= 0. The density of states (DOS) of the
zeroth Landau level is not broadened by a spatially fluctuating
B, provided that the slab thickness dis sufficiently large that
the two surfaces are decoupled.
Nthe number of flux quanta through the surface. The
flat band has a definite chirality, meaning that it is an
eigenstate of C=σzwith eigenvalue ±1 determined by
the sign of the magnetic field.
If we consider a topological insulator in the form of
a slab (see Fig. 1), the top and bottom surfaces each
support a zeroth Landau level, of opposite chirality. The
two flat bands will mix and split if the slab is so thin that
the wave functions of opposite surfaces overlap, but in
thick slabs this breakdown of the topological protection
is exponentially small in the ratio of slab thickness and
penetration depth.
C. 2D lattice formulation
A numerical simulation of the 3D system is costly, it
would be more efficient to retain only the surface degrees
of freedom. If we discretize the 2D surface on a square
lattice (lattice constant a), the Hamiltonian must be pe-
riodic in the momentum components with period 2π/a.
The sin ak dispersion has the proper periodicity, but it
suffers from fermion doubling [8]: a spurious massless
degree of freedom appears at k=π/a.
We contrast two lattice formulations that avoid
arXiv:2210.01463v2 [cond-mat.mes-hall] 8 Jan 2023