Higher Dimensional Generalizations of the SYK Model
Micha Berkooz, Prithvi Narayan, Moshe Rozali, Joan Simón
Introduction and Conclusions
The Sachdev-Ye-Kitaev (SYK) model Sachdev:1992fk; KitaevTalks has received much attention recently Polchinski:2016xgd; Maldacena:2016hyu; Jevicki:2016bwu; Fu:2016yrv; You:2016ldz; Jevicki:2016ito. It is a simple model with solvable aspects which exhibits interesting connections to quantum chaos Shenker:2013pqa; Shenker:2013yza; Shenker:2014cwa; Maldacena:2015waa; Reynolds:2016pmi, black hole physics and quantum gravity in 1+1 dimensions Almheiri:2014cka; Sachdev:2015efa; Maldacena:2016upp; Jensen:2016pah; Sekino:2008he; Engelsoy:2016xyb; Cvetic:2016eiv. Understanding these relations better in this model, and potential extensions of it, is an active and exciting research direction that promises to improve our knowledge of holography.
The SYK model is a quantum mechanical model involving Majorana fermions interacting with non-local random couplings. Much of the interesting physics of the model, including low energy near-conformal symmetry The relation to was first pointed out in PhysRevLett.105.151602.and maximal scrambling, is not manifestly related to the specific construction in a transparent manner. To gain a better understanding of these features and their origin, it is therefore important to explore generalizations of the model. There has already been some work in this direction In Gu:2016oyy, a 1+1 translationally invariant model (on average), and higher dimensional extensions, were proposed. In Gross:2016kjj, the authors propose a generalization by introducing an extra flavour index for fermions and considering complicated interactions between them. These models have neither hopping term nor a low momentum filter. Hence, we believe our models are qualitatively different from theirs. Another generalization including hopping term (but not low momentum filter) was introduced in PhysRevB.59.5341. However the details of the interaction are different from ours..
Our approach to exploring the generalization to the SYK model is motivated by holography. In this work we consider two models. In the first one, we consider a 1+1d generalization in which we add locality in the extra dimension and implement random couplings as a function of the momentum. In the second model, we consider probe fermions interacting with a core of SYK degrees of freedom.
The first extension consists of a chain of SYK models, with Majorana fermions at each site with nearest hopping. This adds local physics in the added spatial direction. The fermions interact via random couplings, as in the original SYK model, but only at low enough momenta. This is achieved by first passing the Majorana fermions via a low-pass filter, and then coupling these via an SYK random interaction. The motivation for this is to have a model which is an ordinary relativistic field theory above some scale (and below a UV cut-off), which may model an asymptotically space, and some complicated IR dynamics encoding an object in the interior of . Besides ensuring that the high momenta modes are filtered out, in this work we also focus on chiral filters, thus only one chiral half of the fermions participate in the interactions.
The second extension considers a core of SYK fermions to which a probe fermion is coupled to. In this approach we interpret the SYK fermions as describing the interior of the black hole, and the probe fermions as a single trace operator outside of it.
The results we obtain for the first class of models demonstrate, depending on the precise way the low pass filter is implemented, a rich variety of IR theories generalizing the SYK family of models. At high momentum, the model asymptotes to a free 1+1 dimensional field theory. As we decrease the momentum, the modes interact more strongly, until the new scaling regime is approached. In this scaling regime the fermions acquire an anomalous dimension, with different scaling for the space and time coordinate. In other words, we get a general hyperscaling at low energies. The dynamical critical exponent depends on the type of low-pass filter we use, and we discuss the range of sensible possibilities that arise. We also solve an example of the second class of models and discuss the new scaling dimensions appearing for these fermions.
One could consider our models as a particular class of disordered large theories at strong coupling. Applications of holography to such theories have been explored in Aharony:2015aea. Furthermore, that inherent randomness in the disordered theory might be crucial for understanding black hole physics has recently been pointed out Balasubramanian:2014gla. Interesting connections between 1+1d theories and black holes in gravity were also previously explored Guica:2008mu; Berkooz:2006wc; Berkooz:2014uwa.
The outline of our paper is as follows. In section 2 we introduce the model of interacting fermions on a discrete lattice and the associated low-pass filters. We solve for the two point function in section 3 for scaling filters, exhibit different deep IR scaling dimensions, and discuss the continuum limit. In section 4 we discuss the probe fermion models and solve one such example. In appendix A, we derive the Schwinger-Dyson equations using the replica formulation and in appendix B we discuss gaussian filters.
While we focus below on simple 1+1 dimensional chains, it is possible to extend the model to several spatial directions and various interesting lattice structures in those directions. More generally, we view this work as a preliminary study of a large set of models generalizing the SYK construction both in the UV and the IR. It would be interesting to further study those models, compare and contrast their features with those of the original SYK model. In particular, studying the 4-point function would allow us to probe the chaotic behaviour of the system and the spatial spread of chaos, as manifested by the butterfly velocity. It might also be interesting to compute entanglement entropy (perhaps numerically as in Fu:2016yrv). More ambitiously, one can hope that subtle issues like the information paradox Mathur:2010kx; Almheiri:2012rt might be clearer if one has solvable models capturing the relevant physics of higher dimensional versions of the AdS/CFT correspondence.
The 1+1D ”low pass” SYK model
We can either take the lattice to be a discretized circle or a discretized infinite line. The free theory involves a hopping term with bare parameter . The interaction term involves random couplings satisfying the disorder average
and low pass fermions defined by a filter function
We will be interested in two filters : the standard gaussian filter
where sets the scale of the filter, and the ”scaling” filters
for a large enough range of and an appropriate range of . Depending on the latter, we may need to soften the filter at short distances or provide a sharper cut-off at large distances. We will assume the filter behavior is as in (5) for a large enough range of lattice site separations, and discuss potential UV and IR modifications when we need it.
As mentioned in the introduction, some of the features of this model attempt to resemble the physics of black holes :
At high momenta, the fermions decouple from the random interaction and become free – this is the analogue of the region of far from the black hole. In the intermediate regime, where momentum is larger than the scale of the low pass filter but still smaller then the inverse lattice spacing, the model describes the simplest conformal field theory – N species of Majorana fermions – and, at least kinematically, we can think about it as . We could of course also complicate the theory further in that regime, but in this work we keep the UV theory free (in section 5 we will discuss another interpretation where the free modes are modes outside the horizon of single trace operators).
At low momenta, the quanta become strongly interacting, in the appropriate SYK limit – this is akin to low momentum modes of the dual field theory forming a plasma, encoded by a dual black hole.
The model is not quite SYK – other than the zero modes, all other modes are gapped in a specific pattern (if we think about them as quantum mechanics). The number of interacting fermions first increases, as a function of their momentum, as more and more modes participate in the interaction. It then decreases when the cut-off of the filter is reached. This will bring about different IR scaling behaviors, depending on the shape of the smearing function. We will see below that we obtain a large set of models with distinct scaling behaviors for the time coordinate and for the spatial coordinate.
The specific model that we will discuss is a chiral theory. As is standard with lattice fermions, the free model flows in the IR to a non-chiral theory of Majorana fermions. However, the low pass filter that we defined above keeps the low momentum modes of only one chirality of the fermions. The low-pass fermion for the other chirality is defined as (for the gaussian filter as an example)
The present model includes only interactions of the low and not of low momenta . We will refer to it as the chiral model – similar models where interactions involve both left and right can be made non-chiral but here we will discuss only the former.
Several interesting generalizations are possible for the model discussed above.
One possible generalization is the non-chiral model just mentioned. In this generalization, there will be a random interaction for the right movers as well. This theory will preserve parity symmetry (discussed in some detail in section 2.2). We can also add a direct coupling between the left and right moving sectors of the form .
The random interactions in (1) involve 4 Majorana fermions. More generally, as was done in the 0+1 dimensional SYK model Maldacena:2016upp, one can have a random interaction involving an arbitrary number of fermions. In that case, the theory is exactly solvable for and has important implications for large values of that allow to obtain an analytic understanding of the entire flow. We expect the same to hold here.
The model (1) is not translationally invariant because the interactions depend on the lattice site , although correlation functions are translationally invariant after the disorder average. We can modify the model above to accommodate strict translational invariance replacing the interaction term by, for example,
This model is not easily solvable using the tools we discuss below, but we hope to return to it in the near future.
2 The free theory
Using euclidean conventions (with ), the lagrangian is
To describe a periodic lattice, we identify . Hence, as operators, the commutation relations are
The momentum space fermions are defined, for integer , as
The conventions will be that momentum index is down and position index is up.
We assume that L is even. Since , we can either take to be an arbitrary integer with this periodicity, or we can restrict ourselves to the range
We will use both these descriptions. As operators, the momentum space fermions satisfy the commutation relations
where the second contribution is only non-zero when . The free theory (8) in momentum space modes becomes We have dropped some non-essential constant pieces in obtaining this expression.
Since , the fermions for can be thought of as complex fermions, whereas are Majorana fermions.
The free theory (8) is non-chiral since it is invariant under the parity transformation
If we define We will take not divisible by for simplicity. below denotes the integer part of .
parity maps left to right fermions. Using these degrees of freedom, the action (13) becomes
This form of the action will is more useful when taking the continuum limit and linearising the dispersion relation.
States of the free theory
The ground states of the free theory satisfy
since are annihilation operators for and creation operators for . Hence, they form dimensional representations of . These states can equivalently be described in the left and right representation as
Momentum space correlators
We now compute the time ordered propagator for the momentum space fermions in any of the vacuum states
Here is small and positive and constitutes some effective ” prescription”.Correlators of left and right fermions in equal
It is possible to assemble all these propagators in a more compact notation
Here which is a regularization prescription. We have also used .
It is also possible to write the correlators in frequency space
Continuum limit of the free theory
We describe the continuum of the free theory here, since it would be relevant when we solve the interacting theory below. We consider the theory on a circle of size . Hence, we define the continuum limit as keeping the coordinate fixed. The physical momentum modes are with and the UV cutoff is .
Linearizing the energy spectrum in (14) for small , one gets . We will choose the bare parameter from now onwards to obtain a relativistic theory, but we could have accommodated other values. Since we will be interested in chiral models, we give here the chiral sector of the free theory (13) in the above limit
3 The interacting theory
The interacting theory in momentum space equals
where the low pass momentum fermions are defined as in (10). These are related to the physical fermions through the low pass filter in momentum space by
Remember that our convention for the impurity average will be
and we will mainly be interested in scaling filters of the form
Solution of the model
In this section we find a saddle point solution to our model (31) with a scaling filter, generalizing the SYK model one. Gaussian filters are discussed in appendix B. We use the saddle point equations to calculate the two-point functions
in an scaling regime at low energies. We will find a rich variety of behaviour for these correlators.
We start by briefly recalling the results in the original 0+1 dimensional SYK model
where is the random coupling. The two-point function for the free theory is
In the interacting theory the connected 2 point functions are KitaevTalks; Polchinski:2016xgd; Maldacena:2016hyu
where to transform to frequency space the following Fourier transform formula can be used
2 Single k and collective equation
Given the interaction Lagrangian (33), the Schwinger-Dyson (SD) equations are given by
Here is the free two-point function. In going from the interaction lagrangian to the SD equation we carried out the disorder average. We also assumed that the filter, in momentum space, cuts off the interaction before reaching momentum , such that the other chirality (in our conventions) does not participate in the interaction (i.e., we are in the chiral model). Practically, this enforces strict momentum conservation, rather than up to multiples of L.
Under this assumption the SD equation (42) forces the self-energy to be diagonal too. Thus it is natural to define
where we also assumed is an even function of k. Let us introduce new quantities
In Appendix A we re-derive this set of equations using the replica method.
3 Solving the collective equations in the continuum
Since evaluating the sum (50) is complicated, and we are interested in the continuum theory any way, we start discussing the latter here. We think of our model as defined on a circle of fixed size (which we will think of as large), so that the lattice spacing is and take at the end of the computation. The coordinate around the circle will be kept fixed. We will require our filter to cut-off momenta at scales much larger than and much smaller than , and kept fixed in the limit . In this scaling, many momentum modes participate in the collective dynamics, but we still have effectively a continuum theory for the momentum modes above the filter and below .
The limit allows us to approximate (50) by the integral
We have assumed that the function increases rapidly enough for large such that the integral converges and we can replace the cut-off by infinity.
The discussion above about the scale of the filter is a little subtle since will be interested in scaling filters of the form for a range of . These filters need to be cut off at small and/or at large , depending on . In position space the filter goes like . We will approach the issue of the cut-off by examining the integral after the fact.
If the integral converges at large then we don’t need to introduce an additional cut-off in equation (53), or more precisely, introducing such a cut-off will change the results by some negative power of . However, we may still keep this cut-off, as in (51), if we want to.
For the scaling low pass filter defined by , the integral (53) becomes
satisfies the constraint
For completeness, we also write the solution to the collective equation in frequency space
Here, we check the consistency of our approximations and include further comments on the possible modifications that our scaling filters may require. We will be interested in working in the regime and fixed. There are three reasons to examine the IR more closely.
This condition is compatible with fixed for large enough .
which can also be satisfied in our desired regime. This is again the statement that many momentum modes, much above physical momenta participate in the collective quantities.
Second, the discussion above is valid at intermediate frequencies, as long as we stay , at which point we see that momentum is quantized. It could still be that there is an almost continuum spectrum of energies originating from large , but in any case, we expect that this limit to be governed by a different limit of SD equations.
We will then need to choose to be small enough. Under this assumption, the discussion above remains the same. We could analogously add a hard UV cut-off to improve the UV convergence.
4 Going to the infinite line
At finite radius , we can always rescale and keeping fixed, so that the model provides finite, L-independent, results. This is the standard RG approach of keeping the IR fixed and running the UV appropriately. In the following, we investigate whether we can achieve the same finiteness in the non-compact limit .
In the non-compact limit, finite physical momenta are labelled by . Despite the rescaling of momenta, the diagonal contribution to the 2 point function in (44) remains finite
To investigate the existence of a finite interacting theory in the deep IR in the non-compact limit, we will require both the filter function and the two point function (51) to be finite.
The first condition requires to write the filtering function relating the interacting fermions with the physical fermions in terms of the physical momentum as . Hence, we learn , with fixed.
The second condition is studied by replacing (56) into (51)
Requiring the interaction to be finite is equivalent to keeping
where recall that is the inverse lattice spacing.
The finite 2 point function (66) has an hyperscaling symmetry in the deep IR and The exponent is usually defined in real space by the scaling relations and . with dynamical scaling exponent :
This covers the range . In particular, it includes unitary theories, i.e. those with .
The range of ’s slightly changes when we consider random couplings of fermions ( in our previous analysis). Then and the dynamical exponent becomes
This opens further possibilities for the range of .
5 Continuum non-compact limit
In this subsection we discuss again the continuum model formulated on an infinite line, but from the action perspective. We will recover the condition (67) and in the process we will give the continuum version of the impurity average (34).
First, let us write the continuum limit of our interacting theory on a circle of size . Using (30)) and (33),
Here the sum over momentum runs from the IR cutoff to the UV cutoff . We also defined as in our discussion in subsection 3.4.
Rewriting the original filter parameter in terms of the fixed , as in subsection 3.4, the interaction lagrangian becomes
Lastly, we take the non-compact limit . Sums over momentum are proportional to . To keep a finite kinetic term, we need to rescale the physical fermions as , leading to a non-compact lagrangian
Since the non-compact version of the impurity average (34)
includes an additional factor from the continuum limit of the discrete Kronecker delta , we can write the continuum version of the SD equation as
where the last term will implement conservation of momentum . It is now clear that to keep a non-trivial interaction in the non-compact limit we must work with
Hence we reproduce our previous claim (67) provided we take the disorder average in the continuum non-compact limit to be as in eq(71).
A probe model
In the previous class of models, we were interpreting the high momentum modes of the physical fermions as living outside of a black hole in some putative bulk, while the strongly interacting low momentum modes of , i.e. the degrees of freedom, built the putative black hole. In this section, we explore a second class of models with a similar holographic motivation.
Consider models consisting of two types of fermions : interacting via an SYK model or its 1+1 extension described in previous sections and a single degree of freedom (or maybe a few) acting as a probe. We envision a situation in which the fermions describe the degrees of freedom of a black hole (in some approximate sense), while the ’s encode the analogue of single trace operators in the AdS/CFT correspondence
More specifically, we will take to be a 1+1 system (but we can take them in any dimension), so that they become where is the spatial index. It can either be fields that go to a free fermion in the continuum, or we can maybe take them to be some generalized free fields, in which case we can hope to find a field of arbitrary dimension.
In this subsection we introduce, and solve in some regime, one such model. Let , be the d SYK Majorana fermions and be Majorana fermions on a periodic lattice of length ( is the spatial index and ). Following previous sections, we will find it useful to have a filter for the fermions.
We take our model to have the action where
stands for the Fourier transform of the lattice fermions, whereas fermions are the corresponding low pass fermions interacting with the SYK fermions . The are taken to be random variables with impurity average
and as for SYK fermions.
The scaling was chosen so that the fermions behave like probes, i.e. their propagator will be corrected by the interactions whereas the propagators will remain unmodified at leading order. More precisely, there are two leading 1-loop diagrams contributing to the 1PI self-energy of the propagator, as indicated in figure 1. Diagram (A) scales like as in SYK. Diagram (B) is subleading since it scales like . Hence, the propagators which we denote by are indeed unmodified at leading order.
Next we will solve for the propagator which we will denote by . The leading 1-loop diagram (denoted by ) contributing to its 1PI self-energy is given in figure 2.
Since this diagram scales like , it gives rise to a non-trivial correction. In fact we find the SD equations for to be
It is clear that the SD equations force self energy and hence the propagator to be diagonal in momentum space. We will assume that is an even function. Let us define
We finally write a collective SD equation by defining
These equations can be solved using the available SYK solutions in the conformal window (see Maldacena:2016hyu), and the same strategy we followed in section 3. Rather than presenting the solution for arbitrary and , we focus on the case.
The scaling of the collective probe propagator and self-energy is
Acknowledgements
We would like to thank S. Ross for collaboration at early stages of this project. The work of MB is supported by an ISF center of excellence grant (1989/14). PN gratefully acknowledges the support from International Centre for Theoretical Sciences (ICTS), India. The work of MR is supported by a Discovery grant from NSERC. The work of JS is supported by the Science and Technology Facilities Council (STFC) [grant number ST/L000458/1].
Appendix A Equations via the replica method
We now rederive the Schwinger-Dyson equations for our model using replica methods. In this framework those equations represent the saddle point approximation to the effective action of the model.
In order to compute , the n’th Renyi entropy, we construct replicas of our model, labelled by The Euclidean action for the replicated theory is
We now perform the disorder average, recalling that we have independent disorder variables at each site, we get
where we use the convention for each randomly distributed variable.
One can now perform a Hubbard-Stratonovich transformation by introducing the real decoupling field , symmetric in replica indices, for each site
Finally we introduce another set of decoupling fields , also real and symmetric in replica indices, to obtain
This is simply the sum over the replicated action obtained for each site separately, for a direct comparison see for example the discussion in Sachdev:2015efa; Fu:2016yrv. Note that the saddle point equations set
We now assume that replica symmetry is not broken, so that and . Similarly we assume that upon disorder averaging the symmetry is restored. Therefore we can drop the fermion index and refer to a single fermion. We further can go to a single replica, obtaining the action
Appendix B Gaussian low pass filter
In this Appendix, we consider the gaussian low pass filter. Although we will not be able to solve the SD equations exactly (even in the deep IR), we will determine the scaling of the 2 point function in frequency space . Recall the gaussian low pass filter is defined by the function
where is the physical scale of the filter as can be seen by taking the non-compact limit keeping the physical momentum fixed.
If we were to consider an step function filter, one would expect to obtain similar physics to the SYK model for the modes passing the filter, while decoupling those being filtered out. What we show below is that the gaussian filter model provides logarithmic corrections to the SYK scaling behaviour for very long times.
To solve this model in the same regime as we discussed the solution for the power law filter, we need to consider the integral (53) with given by (101). This looks like (dropping the term compared to in the deep IR)
The situation is thus very similar to the original SYK model, except for the extra pieces. Defining , one can check that the SD equations (104) and (103) are solved by
We see that the resulting theory has enhancement compared to SYK in the free energy.