- •Preface
- •Foreword
- •The Henri Poincaré Prize
- •Contributors
- •Contents
- •Stability of Doubly Warped Product Spacetimes
- •Introduction
- •Warped Product Spacetimes
- •Asymptotic Behavior
- •Fuchsian Method
- •Velocity Dominated Equations
- •Velocity Dominated Solution
- •Stability
- •References
- •Introduction
- •The Tomonaga Model with Infrared Cutoff
- •The RG Analysis
- •The Dyson Equation
- •The First Ward Identity
- •The Second Ward Identity
- •The Euclidean Thirring Model
- •References
- •Introduction
- •Lie and Hopf Algebras of Feynman Graphs
- •From Hochschild Cohomology to Physics
- •Dyson-Schwinger Equations
- •References
- •Introduction
- •Quantum Representation and Dynamical Equations
- •Quantum Singularity Problem
- •Examples for Properties of Solutions
- •Effective Theory
- •Summary
- •Introduction
- •Results and Strategy of Proofs
- •References
- •Introduction
- •Critical Scaling Limits and SLE
- •Percolation
- •The Critical Loop Process
- •General Features
- •Construction of a Single Loop
- •The Near-Critical Scaling Limit
- •References
- •Black Hole Entropy Function and Duality
- •Introduction
- •Entropy Function and Electric/Magnetic Duality Covariance
- •Duality Invariant OSV Integral
- •References
- •Weak Turbulence for Periodic NLS
- •Introduction
- •Arnold Diffusion for the Toy Model ODE
- •References
- •Angular Momentum-Mass Inequality for Axisymmetric Black Holes
- •Introduction
- •Variational Principle for the Mass
- •References
- •Introduction
- •The Trace Map
- •Introduction
- •Notations
- •Entanglement-Assisted Quantum Error-Correcting Codes
- •The Channel Model: Discretization of Errors
- •The Entanglement-Assisted Canonical Code
- •The General Case
- •Distance
- •Generalized F4 Construction
- •Bounds on Performance
- •Conclusions
- •References
- •Particle Decay in Ising Field Theory with Magnetic Field
- •Ising Field Theory
- •Evolution of the Mass Spectrum
- •Particle Decay off the Critical Isotherm
- •Unstable Particles in Finite Volume
- •References
- •Lattice Supersymmetry from the Ground Up
- •References
- •Stable Maps are Dense in Dimensional One
- •Introduction
- •Density of Hyperbolicity
- •Quasi-Conformal Rigidity
- •How to Prove Rigidity?
- •The Strategy of the Proof of QC-Rigidity
- •Enhanced Nest Construction
- •Small Distortion of Thin Annuli
- •Approximating Non-renormalizable Complex Polynomials
- •References
- •Large Gap Asymptotics for Random Matrices
- •References
- •Introduction
- •Coupled Oscillators
- •Closure Equations
- •Introduction
- •Conservative Stochastic Dynamics
- •Diffusive Evolution: Green-Kubo Formula
- •Kinetic Limits: Phonon Boltzmann Equation
- •References
- •Introduction
- •Bethe Ansatz for Classical Lie Algebras
- •The Pseudo-Differential Equations
- •Conclusions
- •References
- •Kinetically Constrained Models
- •References
- •Introduction
- •Local Limits for Exit Measures
- •References
- •Young Researchers Symposium Plenary Lectures
- •Dynamics of Quasiperiodic Cocycles and the Spectrum of the Almost Mathieu Operator
- •Magic in Superstring Amplitudes
- •XV International Congress on Mathematical Physics Plenary Lectures
- •The Riemann-Hilbert Problem: Applications
- •Trying to Characterize Robust and Generic Dynamics
- •Cauchy Problem in General Relativity
- •Survey of Recent Mathematical Progress in the Understanding of Critical 2d Systems
- •Random Methods in Quantum Information Theory
- •Gauge Fields, Strings and Integrable Systems
- •XV International Congress on Mathematical Physics Specialized Sessions
- •Condensed Matter Physics
- •Rigorous Construction of Luttinger Liquids Through Ward Identities
- •Edge and Bulk Currents in the Integer Quantum Hall Effect
- •Dynamical Systems
- •Statistical Stability for Hénon Maps of Benedics-Carleson Type
- •Entropy and the Localization of Eigenfunctions
- •Equilibrium Statistical Mechanics
- •Short-Range Spin Glasses in a Magnetic Field
- •Non-equilibrium Statistical Mechanics
- •Current Fluctuations in Boundary Driven Interacting Particle Systems
- •Fourier Law and Random Walks in Evolving Environments
- •Exactly Solvable Systems
- •Correlation Functions and Hidden Fermionic Structure of the XYZ Spin Chain
- •Particle Decay in Ising Field Theory with Magnetic Field
- •General Relativity
- •Einstein Spaces as Attractors for the Einstein Flow
- •Loop Quantum Cosmology
- •Operator Algebras
- •From Vertex Algebras to Local Nets of von Neuman Algebras
- •Non-Commutative Manifolds and Quantum Groups
- •Partial Differential Equations
- •Weak Turbulence for Periodic NSL
- •Ginzburg-Landau Dynamics
- •Probability Theory
- •From Planar Gaussian Zeros to Gravitational Allocation
- •Quantum Mechanics
- •Recent Progress in the Spectral Theory of Quasi-Periodic Operators
- •Recent Results on Localization for Random Schrödinger Operators
- •Quantum Field Theory
- •Algebraic Aspects of Perturbative and Non-Perturbative QFT
- •Quantum Field Theory in Curved Space-Time
- •Lattice Supersymmetry From the Ground Up
- •Analytical Solution for the Effective Charging Energy of the Single Electron Box
- •Quantum Information
- •One-and-a-Half Quantum de Finetti Theorems
- •Catalytic Quantum Error Correction
- •Random Matrices
- •Probabilities of a Large Gap in the Scaled Spectrum of Random Matrices
- •Random Matrices, Asymptotic Analysis, and d-bar Problems
- •Stochastic PDE
- •Degenerately Forced Fluid Equations: Ergodicity and Solvable Models
- •Microscopic Stochastic Models for the Study of Thermal Conductivity
- •String Theory
- •Gauge Theory and Link Homologies
Lattice Supersymmetry from the Ground Up
Paul Fendley and Kareljan Schoutens
Abstract This talk summarizes a series of papers defining and analyzing lattice models with supersymmetry. These models describe strongly-interacting spinless fermions hopping on any lattice or graph. Computing the Witten index and the cohomology of the supersymmetry generator Q allows us to understand a great deal about the ground state. In all one-dimensional and some two-dimensional cases this allows the number and density of the ground states to be found exactly. In two dimensions and up, the ground-state entropy is extensive for generic lattices.
Supersymmetry is an exceptionally powerful theoretical tool. As thousands of papers have demonstrated, exact computations can often be done in supersymmetric field theory and string theory, even when the theories are strongly interacting. In a series of papers [5, 4, 6, 3], we develop a new tool: a lattice model with sypersymmetry. This model can be defined on any lattice in any dimension.
In our models the supersymmetry is akin to the “spacetime” supersymmetry arising in particle physics: the algebra of the supersymmetry generators also involves the Hamiltonian as well. Since these models are defined on the lattice, the supersymmetry is not that of a full Lorentz-invariant supersymmetric field theory, since that supersymmetry algebra involves translations as well.
Our strategy is thus much more analogous to that used in condensed matter physics than that of particle physics. Instead of picking some Lorentz-invariant spacetime supersymmetric field theory and discretizing it, we introduce simple lattice models whose superalgebra defines the Hamiltonian. By construction, these models are strongly interacting, but because of the supersymmetries, we can then
Paul Fendley
Department of Physics, University of Virginia, Charlottesville, VA 22904-4714, USA, e-mail: fendley@rockpile.phys.virginia.edu
Kareljan Schoutens
Institute for Theoretical Physics, University of Amsterdam, Valckenierstraat 65, 1018 XE Amsterdam, The Netherlands, e-mail: kjs@science.uva.nl
V. Sidoraviciusˇ (ed.), New Trends in Mathematical Physics, |
277 |
© Springer Science + Business Media B.V. 2009 |
|
278 |
Paul Fendley and Kareljan Schoutens |
derive exact and rigorous results for the ground state. We find a wide variety of interesting behavior, some of which I will outline here.
The Hamiltonian we construct has N = 2 supersymmetry, meaning that it commutes with two nilpotent fermionic generators denoted Q and Q†. We require that Q is nilpotent: Q2 = (Q†)2 = 0. This means that both Q and Q† commute with the Hamiltonian H defined by
H = {Q, Q†}. |
(1) |
Such a Hamiltonian has eigenvalues E ≥ 0. All states |g with E = 0 must be singlets: Q|g = Q†|g = 0. Conversely, all singlets must have E = 0. All the other eigenstates of H can be decomposed into doublets under the supersymmetry, and conversely any doublet representation is an eigenstate. This is simple to prove: a doublet consists of two states |s , Q|s , where Q†|s = 0. It follows from the definition of H and the nilpotency of Q that both of these states are eigenstates of H with the same eigenvalue.
To define a supersymmetric lattice model therefore requires only finding an fermionic operator Q which squares to zero. However, most such models will be trivial, too complicated, or have non-local interactions. An example of the first comes from considering degrees of freedom defined by allowing a spinless fermion on the sites i of any lattice or graph. The fermion is created by the operator ci† obeying the usual anticommutator {ci , cj†} = δij . The space of states of the theory is given by oper-
ating with the ci† on the vacuum. Then it is easy to check that the operator indeed squares to zero. However, the resulting Hamiltonian is trivial: H is simply the number of sites.
Thus we must make the model a little more complicated to get something nontrivial. Our papers mainly deal with the case where the Hilbert space remains that of a single species of spinless fermion, but with the additional restriction that the fermions have hard cores. This means that fermions are not allowed on neighboring sites. We define the projection operator P i to be the operator which requires all sites neighboring i to be empty:
P i = |
(1 − cj†cj ) |
|
j next to i |
Thus entire space of states is built up by acting with all the ci†P i metry operators are then defined by
(2)
. The supersym-
Q = ci†P i , |
Q† = ci P i . |
(3) |
i |
i |
|
It is easy to verify that Q2 = 0: the only potentially non-zero terms are of the form ci†P i cj†P j for i and j nearest neighbors, but in this case P i cj† = 0.
With these supercharges, the Hamiltonian is
Lattice Supersymmetry from the Ground Up |
|
279 |
|
H = |
P i ci†cj P j + |
P i |
(4) |
i |
j next to i |
i |
|
where we used the fact that (P i )2 = (P i ). The first term in the Hamiltonian allows fermions to hop to neighboring sites on the lattice, with the projectors ensuring the hard-core repulsion. The second term includes a chemical potential and a repulsive potential for fermions two sites from each other. The latter term has a more conventional form on a lattice where every site has z nearest neighbors:
P i = N − zF + |
V i |
(5) |
i |
i |
|
where V i + 1 is the number of particles adjacent to i, unless there are none, in which case V i = 0. The operator F = i di†di counts the number of fermions. So in addition to the hard core, the Hamiltonian includes a hopping term, a constant (which we keep to ensure ground states have E = 0), a chemical potential z, and repulsive interactions between fermions two sites apart. Note that this model has have a fermion-number symmetry generated by
F = ci†ci ,
i
so that [F , Q] = Q. Thus the fermion-number generator F indeed counts the number of fermions.
We have analyzed this model on a one-dimensional chain in depth. It has the additional nice feature of being integrable [4], and the supersymmetry turns out to complement the integrability nicely. The model turns out to be closely related to the XXZ spin chain at anisotropy = −1/2. In fact, the ground state of our model in one dimension has a number of striking properties, closely related to those arising in studies of the Razumov-Stroganov conjecture; see [1] and references therein. Even though Lorentz invariance was not required initially, it turns out to be a consequence: the field theory describing the continuum limit is the first N = (2, 2) superconformal minimal model [5]. However, other one-dimensional models with supersymmetry discussed in [4] do not always yield Lorentz-invariant field theories.
We have already noted several of the consequences of supersymmetry: positive energy and excited-state pairing. To go further, we use two mathematical tools to study the E = 0 ground states of (4). The first is the Witten index W [10]. It is similar to the partition function, but includes a minus sign for each fermion:
W |
= |
tr ( 1)F e−βH . |
(6) |
|
− |
|
W is a lower bound on the number of ground states: it is the difference of the number of bosonic ground states and the number of fermionic ground states. This is because all energy eigenstates with E > 0 form boson/fermion doublets of the same energy E but opposite (−1)F . The states in a doublet contribute to W with opposite signs and cancel, leaving only the sum of (−1)F over the ground states.
280 |
Paul Fendley and Kareljan Schoutens |
This argument shows that W is independent of β, so we can evaluate it in the β → 0 limit, where every state contributes with weight (−1)F . We compute this by dividing the lattice into two sublattices S1 and S2; we fix a configuration on S1, and sum (−1)F for the configurations on S2. Then we sum the results over the configurations on S1. For a periodic chain with N = 3j sites, we take S2 to be every third site, and the remaining sites S1. Then the sum over configurations on any site on S2 vanishes unless at least one of the adjacent sites on S1 is occupied.
(◦ ◦) = ◦ • ◦ + ◦ ◦ ◦ = (−1) + 1 = 0.
=◦,•
Because of the hard-core restriction on the fermions and the periodic boundary conditions, there are only two such configurations:
|
|α ≡ · · · • ◦ • ◦ • ◦ • ◦ • ◦ • ◦ • ◦ · · · |
|
(7) |
||||||||
|
|γ ≡ · · · ◦ • ◦ • ◦ • ◦ • ◦ • ◦ • ◦ • · · · |
|
|
||||||||
where the |
square represents an empty site on S |
. Both |
α |
|
and |
γ |
|
have f |
= |
N /3, |
|
f |
2 |
| |
|
| |
|
|
|
||||
so W = 2(−1) |
, requiring that are at least two ground states. |
|
|
|
|
|
|||||
The second tool we use is the computation of the cohomology HQ of the operator Q. This tool is even more powerful, allowing us to obtain not just a lower bound, but rather the precise number of ground states, and the fermion number of each. The cohomology is the vector space of states which are annihilated by Q but which are not Q of something else (in mathematical parlance, these states are closed but not exact) [2]. Since Q2 = 0, any state which is Q of something is annihilated by Q. Two states |s1 and |s2 are said to be in the same cohomology class if |s1 = |s2 + Q|s3 for some state |s3 .
The non-trivial cohomology classes are in one-to-one correspondence with the E = 0 ground states [5]. To see this, consider an energy eigenstate |E with eigenvalue E > 0. If Q|E = 0, then it is not in any cohomology class. If Q|E = 0 but H |E = 0, then |E = Q(Q†|E /E). This is in the trivial cohomology class, so only the E = 0 ground states have non-trivial cohomology. Because they are annihilated by both Q and Q†, linearly independent E = 0 ground states must be in different cohomology classes. Precisely, the dimension of the vector space of ground states (the “number” of ground states) is the same as that of the cohomology. Since F commutes with the Hamiltonian, the cohomology class and the corresponding ground state have the same fermion number.
We find the exact number of ground states by computing the cohomology HQ by using a spectral sequence. A useful theorem is the “tic-tac-toe” lemma of Ref. [2]. This says that under certain conditions, the cohomology HQ for Q = Q1 + Q2 is the same as the cohomology of Q1 acting on the cohomology of Q2. In an equation, HQ = HQ1 (HQ2 ) ≡ H12. As with our computation of W , H12 is found by first fixing the configuration on all sites on the sublattice S1, and computing the cohomology HQ2 . Then one computes the cohomology of Q1, acting not on the full space of states, but only on the classes in HQ2 . A sufficient condition for the lemma
Lattice Supersymmetry from the Ground Up |
281 |
to hold is that all non-trivial elements of H12 have the same f2 (the fermion number on S2).
Having introduced the mathematical tools necessary, we now turn to the study of our spinless-fermion model on two-dimensional lattices. We find that generically, there is an extensive ground state entropy: the number of ground states increases exponentially with the size of the system. This indicates that the system is frustrated; we will explain how in the following.
The systematics of the one-dimensional case quickly extend to lattices of type Λ3, which are obtained from any lattice (or even graph) Λ by putting two additional sites on every link. Letting S1 be the original sites of Λ and S2 the added sites, the only states in HQ2 and H12 are the two where S1 is completely full, and completely empty. The first gives an E = 0 ground state with f = NΛ (the number of sites of Λ), while the latter gives an E = 0 state with f = LΛ (the number of links in Λ), with a possible exception when LΛ = NΛ − 1. When Λ is the square lattice, the two ground states on Λ3 have filling f = N /5 and f = 2N /5. Lattices of type Λ3 are the only two-dimensional ones we know of where the number of ground states does not grow with the size of the lattice.
Another exceptional case is the octagon-square lattice on the right of Fig. 1. We take L rows and M columns of squares (hence N = 4LM sites). Let S1 consist of the leftmost site on every square. Then HQ2 is trivial unless all the M sites on S1 in a given row either all are occupied, or all are empty. There are 2L − 1 such configurations which have at least one row in S1 occupied. Because of the hard core, all the sites of S2 adjacent to an occupied site on S1 cannot be filled, and the remaining sites form independent open chains of length a multiple of 3. Such an open chain has just one element of HQ2 , so each of these 2L − 1 configurations correspond to one element of HQ2 and H12. Now consider the configuration where all sites on S1 are empty, so that the sites on S2 form M periodic chains, each of length 3L. We showed above that HQ2 for each of these chains has two independent elements. Thus HQ2 and H12 are of dimension 2L + 2M − 1. Applying the tic-tac-toe lemma to this case is more involved, but the conclusion is that there are 2L + 2M − 1 ground states, each with N /4 fermions.
Fig. 1 Configurations obeying the 3-rule on the martini and the octagon-square lattices
282 |
Paul Fendley and Kareljan Schoutens |
We believe that on the octagon-square lattice, the model exhibits a combination of Wigner-crystal order with frustration. There are 2L + 2M configurations of N /4 particles which satisfy our heuristic 3-rule. 2L of them are of the form displayed in Fig. 1: one can shift all the particles in a given row without violating the rule. This illustrates how frustration arises: in each row one can shift all the particles without violating the 3-rule. Likewise, 2M of them have particles on the top or bottom of each square. For mysterious reasons, the state with (kx , ky ) = 0 is not a ground state, but we believe the remaining 2L + 2M − 1 ordered states dominate the actual ground states. In further support of this claim, we analyze the discrete symmetries commuting with Q. If a given element of the cohomology spontaneously breaks such a symmetry, the corresponding ground state will break it too. The ground states have spontaneously-broken parity symmetries like the Wigner crystal states in Fig. 1. Again like the crystal, all but one of the 2L − 1 ground states first considered spontaneously break translation symmetry in the vertical direction but not the horizontal; 2M − 2 of the remaining ground states spontaneously break translation symmetry in the horizontal direction. Moreover, the number of ground states here can be changed by requiring that just one site anywhere on the lattice be occupied. Consider the octagon-square lattice with one site on S1 and its three neighbors on S2 removed; this is equivalent to demanding that there be a particle on this S1 site. On this lattice there are just 2L−1 ground states. Only in an ordered system should this type of change occur.
These arguments give a hint that there are unusual fractionally-charged excitations in this two dimensional model. On the one-dimensional chain, excitations have fermion number 1/2 [4]. These excitations can be understood heuristically as corresponding to kinks separating regions which locally look like the two possible ground states. For the octagon square lattice, a similar situation exists, which is illustrated in Fig. 2. There are two defects (i.e. two places particles are not three sites apart),
Fig. 2 Fractional charge?
but only one extra fermion relative to the ground state. Thus this is a strong hint that there are charge-1/2 excitations which are deconfined in one direction, confined in the other. Unfortunately, the two-dimensional model is not integrable like the chain is, so whether these excitations remain in the continuum limit (i.e. are deconfined) is still an open question.
The Λ3 and octagon-square lattices are exceptional: on most other lattices we have studied the ground-state entropy is extensive. In many cases (including the triangular, hexagonal and Kagomé lattices), this can be seen by computing the Witten index W as a function of the size of the lattice. Employing a row-to-row transfer matrix TM , the index for M × L unit cells is expressed as WL,M = tr[(TM )L]. We found by exact diagonalization that the largest eigenvalues λmaxM of the TM here behave as λmaxM λM , with |λ| > 1. Clearly, the absolute value |λ| sets a
Lattice Supersymmetry from the Ground Up |
283 |
lower bound on the ground-state entropy per lattice site. For n sites per unit cell, SGS/N ≥ ln |WL,M |/(nML) ln |λ|/n. For the triangular lattice, SGS/N ≥ 0.13 [9, 6].
For the nonagon-triangle “martini” lattice shown in the left half of Fig. 1, the extensive ground-state entropy can be exactly computed. The martini lattice is formed by replacing every other site on a hexagonal lattice with a triangle. To find the ground states, take S1 to be the sites on the triangles, and S2 to be the remaining sites. As with the chain, HQ2 vanishes unless every site in S2 is adjacent to an occupied site on some triangle. The non-trivial elements of HQ2 therefore must have precisely one particle per triangle, each adjacent to a different site on S2. This is because a triangle can have at most one particle on it, and (with appropriate boundary conditions) there are the same number of triangles as there are sites on S2. A typical element of HQ2 is shown in Fig. 1. One can think of these as “dimer” configurations on the original honeycomb lattice, where the dimer stretches from the site replaced by the triangle to the adjacent non-triangle site. Each close-packed hard-core dimer configuration is in H12, and by the tic-tac-toe lemma, it corresponds to a ground state. The number of such ground states eSGS is therefore equal to the number of such dimer coverings of the honeycomb lattice, which for large N is [8, 11]
SGS = 1 |
π/3 |
|
dθ ln[2 cos(θ )] = 0.16153 . . . |
(8) |
Nπ 0
The frustration here clearly arises because there are many ways of satisfying the 3-rule.
This extensive ground-state entropy appears to be generic behavior. The Witten index provides a lower bound on the number of ground states, and it is easy to compute numerically by using a transfer matrix (it is a purely two-dimensional classical quantity). Numerics on the Witten index [9] clearly indicate extensive behavior for the triangular, honeycomb and other lattices Although the martini lattice does have generic behavior in its extensive ground-state entropy, it also is special in that all the ground state have the same number of fermions. This does not appear to be the case for generic two-dimensional lattices, as becomes apparent by studying the cohomology for small lattices in detail.
The square lattice turns out to be the most peculiar case. It is like the octagonsquare case in that its ground-state entropy grows with the linear dimensions of the system, but like the generic case in that the filling fraction of the ground state varies over a continuous range, here between 1/5 and 1/4 filling. The Witten index itself has a number of striking properties [6], and after this talk was given, many new developments have occurred, summarized in [7].
Our exact results indicate that there is a new kind of exotic phase for itinerant fermions on a two-dimensional lattice with strong interactions. This “superfrustrated” state exhibits an extensive ground-state entropy, and occurs because supersymmetry ensures a perfect balance between competing terms in the Hamiltonian. Patterns with charge order can be distinguished in various limits and on spe-
