2.1. Model
In what follows, we consider the
-dimensional non-random action
where the Greek indexes stand for the
N-valued colors, while the Latin ones run over the
L sites of a
d-dimensional cubic lattice. In addition, for the sake of simplicity and in order to focus on the most interesting regime, we choose the chemical potential of the complex fermions
to be
, thus enforcing particle-hole symmetry.
To introduce spatial (and/or additional temporal) dispersion into the problem, while keeping it tractable, we consider a broad family of interaction functions
which depend algebraically on the separation in space and/or time between the common locations of simultaneously (dis)appearing
q-fermion complexes, which is
Since in a lattice model the distance
takes discrete values, Equation (
3) needs to be carefully defined at its shortest values.
In the generalization of the original SYK model proposed in Reference [
31], action (1) results from taking the Gaussian average over the (completely antisymmetric under the simultaneous permutations
and
) random amplitudes that entangle the groups of
q fermions. By choosing
one obtains
L decoupled copies of the original
N-colored SYK model, while by allowing for non-zero nearest-neighbor terms
one can describe the various SYK lattice (chain) models of References [
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23].
In contrast, an instantaneous and/or contact interaction corresponds to choosing and/or , which power count is similar to that of a -function in the time- and/or space-domain. It should be pointed out, though, that a uniform and spacetime-independent correlation function () does not reproduce the original (single-site) SYK model of the total of fermions where the entangling correlations would be equally strong among any orbitals chosen arbitrarily from any of the L sites and N colors alike.
Notably, in the limit of , the theory (1) becomes symmetric under the permutations among the L sites, so the very notion of a spatial distance, alongside an underlying lattice structure, becomes ill-defined. Nevertheless, as long as the correlation amplitude (3) remains distance-dependent, the fermion correlations acquire an emergent non-trivial dispersion, as demonstrated below.
2.2. Schwinger–Dyson Equations and Their Solutions
Analogously with the previous analyses of the SYK-type models [
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31], the partition function of the theory (1) can be written as the path integral over a pair of bosonic fields
G and
whose expectation values yield the fermion propagator and self-energy, respectively:
where the determinant results from integrating out the fermions and, with a focus on the IR regime, the discrete sum over the lattice sites can be replaced with the integral over the spatial coordinate
.
The saddle points in theory (4) corresponds to the various solutions of the Schwinger–Dyson (SD) equation
where the self-energy is given, to leading order in
, by the sum of the so-called ‘watermelon’ diagrams while ignoring any vertex corrections
It must be noted, though, that a solid justification of the approximation behind Equation (
6) may require some adjustments to the action (1), thus effectively making it conform to one of the non-random ‘(non)colored tensor’ models of References [
27,
28,
29,
30]. In practice, it can be achieved by decorating each of the
L sites of the underlying lattice with a properly designed unit cell composed of
N sites which are occupied by the
q fermions at split locations (see Reference [
23] for an explicit example of such construction). However, this technical complication appears to have no bearing on the robust algebraically decaying amplitudes that we are going to study.
The Fourier transform of Equations (5) and (6) then reads
A relative importance of the interaction-induced self-energy can be ascertained by the standard arguments. Under a scaling of the temporal,
, and spatial,
, dimensions, where
z is the dynamical critical exponent, one finds that the self-energy dominates over the kinetic term or, at least, remains marginally relevant in both the UV and IR regimes, provided that the condition
is met [
31].
We leave a systematic investigation into all the viable solutions of Equation (
7) to future work. Such solutions should ultimately be selected on the basis of their (minimal) energies—for a reliable evaluation of which a proper ansatz first needs to be chosen. Such choice is likely to depend on the details of the action (1) and, therefore, may not be universally applicable.
As was first argued in the case of the random SYK-type models of Reference [
31], the customary ultra-local solution
for
(hence,
) would generally be favored by the Hartree-type terms in the overall fermion energy, whereas the Fock-type ones tend to support non-local ones. Moreover, while being finite when evaluated on the ultra-local solution in the case of short-ranged couplings, the Hartree terms develop IR divergences, once the fermion interactions become sufficiently long-ranged.
For instance, the lattice sum
appearing in the Hartree terms with
given by Equation (
3) diverges for all
(in contrast, a spurious UV divergence for
is absent as long as the separately defined amplitude
remains finite). This observation alone suggests that, at least for
, the ultra-local solution becomes unstable, as compared to a non-local one.
Therefore, in the vicinity of an emergent fermion dispersion (‘on-shell’), we seek the solution of Equation (
7) in the general form
for which ansatz includes all the important ingredients: effective dispersion relation characterized by the critical exponent
z and prefactor
B, anomalous exponent
controlling the ‘on-shell’ singularity, and the ‘wave-function renormalization’
. Away from the ‘on-shell’ regime (be it at an extended Fermi surface or near an isolated nodal Dirac point), the ansatz (9) is no longer applicable, so its use can only be justified if the integrals in Equation (
7) are dominated by the ‘on-shell’ contributions—which indeed appear to be the case.
Analyzing Equation (
7) in the ‘on-shell’ regime
and equating the powers of
and
, alongside dimensionfull prefactors, on both sides, one finds the anomalous dimension
together with the dynamical critical exponent
as well as the residue
and the coefficient
in the emergent fermion dispersion. A non-vanishing value of the latter implies that the propagator
acquires a non-trivial momentum dependence, thus signaling that its real-space Fourier transform is no longer ultra-local.
Alternatively, this can be viewed as a spontaneous breaking of the local symmetry of the action given by Equations (1) and (2) which, if preserved, would have prohibited any spatial non-locality, thus enforcing the condition of ultra-locality, for .
When contemplating the general possibility of such symmetry breaking, it is worth noting that it is, in fact, specific to the two-point interaction function given by Equation (
2), whereas for a generic
Equation (
1) would not possess this symmetry in the first place.
As regards the appicability of the above solution, the criterion (8) appears to be satisied as equality, thus signifying a marginally relevant nature of the
-fermion interaction given by Equations (2) and (3). Among other things, this makes it difficult to find a numerical prefactor in Equation (
12), as both, the self-energy and bare kinetic, terms in Equation (
7) turn out to be important.
In what follows, we restrict our analysis to the parameter values for which and the propagator (9) readily conforms to the anticipated ‘no quasiparticle’ regime. Moreover, the above restriction also guarantees that the physical condition will be fulfilled for any and as long as .
In particular, for
and in the limit
, the theory (1) is equivalent to the disorder-averaged action for a non-interacting single-particle state of a fixed energy. Then, Equation (
7) becomes merely algebraic and features an exact momentum-independent solution
which, upon being expanded in the on-shell regime (
), manifests the exponents
and
, as well as the coefficients
and
, in full agreement with Equations (10)–(12). Notably, though, in the special case of
, action (1) becomes Gaussian and the exact fermion propagator can be immediately obtained as the inverse of the quadratic kernel
This expression exhibits the dynamical index
which is again consistent with (11), although, under the previously imposed restriction
, the condition
now requires a convergence of the spatial Fourier transform of Equation (
3), i.e.,
.
Thermodynamics of the system described by Equation (
1) can be studied with the use of the Luttinger–Ward functional which yields the free energy
For
and/or
, it manifests such a salient feature of the SYK physics as finite zero-temperature entropy,
, whereas for
and
the result complies with the
law of thermodynamics.
Transport coefficients such as longitudinal optical conductivity can also be evaluated in the ‘no vertex correction’ approximation (cf. References [
32,
33,
34])
For
and
, the exponent in Equation (
16) becomes
which contains the extra factor of
as compared to the result of Reference [
34] where the fermions were endowed (despite their purportedly localized nature) with a bare dispersion characterized by a finite velocity
.
However, Equation (
16) does pass one important check: for
,
, and in the presence of well-defined quasiparticles (
) the conductivity
becomes a dimensionless constant as in this case there are no relevant energy scale that could be combined with the frequency into one dimensionless ratio. In turn, the vanishing in the D.C. limit (‘soft gap’) behavior of Equation (
16) for
and
would be consistent with the highly correlated nature of the system in question.
Another potentially interesting class of models is represented by the manifestly Lorentz-invariant interaction functions
In this case, the fermion propagator inherits the same symmetry through Equation (
7), thus forcing the dynamical exponent
upon the solution
which is manifestly spatially non-local. This time around, equating the powers of
and
on both sides of the Equation (
10) yields
while the strong-coupling regime can now be attained under the condition
which turns out to be rather restrictive. In particular, a contact instantaneous coupling of the Thirring or Gross–Neveu variety which scales similarly to the power-law with
limits the applicability of Equation (
19) to
where it appears to be, at most, marginal (cf. References [
35,
36,
37]). Nonetheless, for
and
, the ‘no quasiparticle’ condition can hold for all
d. In addition, for the maximally (space-time) long-ranged 3-particle couplings (
) with
, the upper critical dimension that fulfills the criterion (20) can be as high as
.
2.3. Hybrid Models
In addition of interest are the two-band models where the SYK fermions (
) are coupled to some ‘itinerant’ (
) ones, the latter possessing a dispersion
where the functions
F and
H describe, respectively, a
q-particle self-interaction of the SYK fermions (
) and a
p-particle coupling between the SYK and itinerant (
) ones.
The coupled SD equations now read
and
In what follows, for simplicity, we choose the function
to be given by the same Equation (
3), albeit with an independent prefactor.
For
, the corresponding self-energies generated by the
H-coupling can be evaluated as
A self-consistent solution of the coupled Equation (
24) shows that the contribution
towards the total self-energy of the
-fermions is of the same functional form (9) as that of (
) due to the self-interaction between them. Concomitantly, the spectrum of the
-fermions gets strongly affected by their coupling to the
-ones
In the case of
(
) and by putting
as in the SYK model, one can readily reproduce the results of Reference [
32]:
and
which manifest a markedly incoherent behavior of the
-fermions.
In the other practically important case of
, one obtains
where the polarization operators
have to be evaluated self-consistently with the use of the exact propagators.
Performing this procedure under the assumption that the correction (24) does not alter the functional form of the overall self-energy
which is still given by Equation (
9), one obtains
Conversely, with the use of (28), one can confirm that the dynamics of the
-fermions is governed by both their self-interaction and coupling to the
-ones, thus justifying the above assumption.
In the case of
,
(
) and
, the above predictions can be contrasted against the results of Reference [
29]:
and
. In turn, the results of Reference [
34],
and
, pertain to the case of
,
(
), and
. It should be noted, though, that the above estimates originate from using the free-fermion polarization operator
instead of the proper one at all (rather than only small) momenta in Equation (
26). Such approximation is prone to lacking self-consistency which would be pertinent to the asymptotic strong-coupling regime.
In fact, had one chosen to use the bare polarization function in (24), while maintaining , it would have resulted in the expressions and which get augmented by the factors of if the corresponding integrals are logarithmic, just as in the aforementioned cases.
Thermodynamics of the two-band model is described by the Luttinger–Ward functional that includes Equation (
15) written in terms of
, alongside the additional term
Computing (29) with the use of the exact propagators that utilize Equations (9) and (28), one arrives at the same behavior (15), which, once again, signifies the lack of a competing energy scale in the IR strong-coupling regime
.
As to the conductivity of the
-fermions, one now obtains
which diverges at
for
, consistent with the general expectation of a system with a non-flat dispersion but no source of momentum relaxation. In addition, should the customary substitution
prove to be justifiable (which might indeed be true in the ‘no momentum drag’ regime), the resistivity would then show a rising (‘metallic’) behavior with increasing temperature.
In particular, the above results imply that, for
and
, the exponent in Equation (
30) equals
, thus suggesting an ‘accidentally linear’ temperature dependence of resistivity for
(cf. References [
34]). However, the general possibility of a host of other values of this exponent should be viewed as a caution against invoking the generalized SYK models to explain the ostensibly ‘universal’ linear resistivity observed in a variety of strongly correlated systems [
32,
33].
Once a (non-universal) mechanism of momentum relaxation is specified and added to the Hamiltonian, then frequency- and temperature-dependent conductivity as well as other transport coefficients can be evaluated and tested for a compliance (or a lack thereof) with such hallmarks of the Fermi liquid regime as the Wiedemann–Franz, Mott, and other standard relations. Such a systematic analysis would help one to ascertain a potential viability of the ‘globally SYK’ models for describing the phenomenology of certain strongly correlated materials. We leave these tasks to future work.
In the two-band models, the potentially competing long-ranged q- and p- body interactions might drive various transitions from the parent—diffusive and highly chaotic (‘incoherent metallic’)—state to either a (‘heavy’) Fermi liquid, a (many-body) localized insulator, or some ordered states, all with a varying temperature and/or rates of decay and strengths of the couplings. Therefore, it would be interesting to carry out a systematic analyses of the potential instabilities of action (21).
In addition, as far as the current global quest into holography is concerned, it would be an interesting challenge to come up with a plausible conjecture for a holographic dual of such models (see Reference [
38] for a preliminary attempt in that direction). For one thing, the viable background geometry is expected to be rid of the ubiquitous near-extremal black hole with its universal
metric as in its presence the boundary state would likely remain maximally chaotic. Indeed, the multi-dimensional and long-ranged generalization of the random SYK model studied in Reference [
31] was found to be less chaotic than the original one and also sub-diffusive, thus diminishing the chances of its having an
(or, for that matter, any) type of a holographic dual.