Eigenstate thermalisation in the conformal Sachdev-Ye-Kitaev model: an analytic approach

The Sachdev-Ye-Kitaev (SYK) model provides an uncommon example of a chaotic theory that can be analysed analytically. In the deep infrared limit, the original model has an emergent conformal (reparametrisation) symmetry that is broken both spontaneously and explicitly. The explicit breaking of this symmetry comes about due to pseudo-Nambu-Goldstone modes that are not exact zero-modes of the model. In this paper, we study a version of the model which preserves the reparametrisation symmetry at all length scales. We study the heavy-light correlation functions of the operators in the conformal spectrum of the theory. The three point functions of such operators allow us to demonstrate that matrix elements of primaries O\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{O} $$\end{document}n of the CFT1 take the form postulated by the Eigenstate Thermalisation Hypothesis. We also discuss the implications of these results for the states in AdS2 gravity dual.


Introduction
Understanding whether closed quantum systems thermalise, and if so in what precise sense [1] occupies a central role; both in statistical physics, as well as holography, where aspects of thermalisation translate to detailed properties of black holes, their formation and evaporation, [2][3][4][5][6][7]. In this work we analytically study a case that is of interest from both of these perspectives, the Sachdev-Ye-Kitaev (SYK) models, [8][9][10]. These are defined by a certain many-body quantum-mechanical Hamiltonian of N complex or Majorana fermions interacting via a random q-body coupling, as we review in some detail below. This model, and the tensor-models that have a similar large N behaviour, have an emergent reparametrisation symmetry in the infrared limit, [9][10][11][12][13][14][15][16]. This emergent symmetry along with the chaotic behaviour of these models has motivated a study of a simpler version of AdS/CFT correspondence between a 1-dimensional quantum mechanical theory and a 2-dimensional theory of gravity that goes by the name nAdS 2 /nCFT 1 correspondence, [9,10,[17][18][19][20][21]. There is by now a large corpus of work which studies this class of models, and which JHEP10(2019)019 applies them: see [22,23] (and the references therein) for recent reviews. A better understanding of the nAdS 2 /nCFT 1 duality is important not only as a useful testing grounds to improve our understanding of the AdS/CFT correspondence and, by extension, quantum gravity in higher dimensions, it also describes the physics of near-extremal black holes in higher dimensions that have a near horizon AdS 2 geometry, [24][25][26][27][28][29][30][31]. A major attraction of the SYK model (and its various cousins) is the ability to solve it analytically, 1 especially in the infrared limit. This offers an opportunity to study the emergence of thermal behaviour in this system analytically.
The eigenstate thermalisation hypothesis (ETH) provides a way to explain thermalisation in a quantum system from a microscopic point of view, [35]. It states that with respect to a 'typical' observable, individual eigenstates already contain all the information of the thermal ensemble. ETH can be encoded in terms of the matrix elements of a 'typical' operator in the energy eigenbasis, m |O| n =Ō mc Ē δ mn + e −S(Ē)/2 f (Ē, ω)R mn (1.1)

JHEP10(2019)019
where, Sch (f (τ ); t) denotes the Schwarzian derivative of the function f (τ ), It is this part of the full SYK action that breaks the reparametrisation symmetry explicitly.
In this work, we study the correlation functions without the contribution of these low energy modes, whence the correlation functions are the conformal correlation functions. Through the operator-state correspondence a three-point function is related to an operator expectation value measured in energy eigenstates, see section 3.1.1, and can be used to study eigenstate thermalisation.
Summary of results. We find through a study of the three-point functions that the conformal sector of the SYK model thermalises via the mechanism of ETH. While what we describe here might look like an approximate computation in the SYK theory, a model where this is an exact computation of the correlation functions was recently discussed in [51], under the name of 'cSYK'. This theory approaches the IR of SYK, while originating from a deformation of a non-local UV fixed point. In particular, it was shown in [51] that the resultant theory can be rewritten as a local generalized free theory (GFT). The corresponding two-dimensional dual theory is a quantum field theory of infinitely many massive scalar fields on the curved AdS 2 manifold. Since such a two-dimensional theory seems to lack gravitational modes, one might not expect to observe black hole formation. However, the observed thermalisation we find in our work leads to an interesting question of black hole formation in 2d gravity.
We also discuss the relation of the conformal sector of the SYK model to a generalised free theory in one dimension and how our results on eigenstate thermalisation in the conformal sector of the SYK model also indicate the same in this GFT. This is a surprising result which we discuss in more detail in section 3.3.
In a companion paper, [52], we study detailed aspects of eigenstate thermalisation with the inclusion of the Schwarzian modes.
Plan of the paper. We review the relevant properties of the SYK model in section 2, summarising some key properties that we require in this paper while referring the reader to relevant papers for details. In section 3, we start with a discussion of spectrum of primary operators in the conformal limit of the SYK model. Then we describe the state-operator correspondence in a 1-dimensional theory and use it to define eigenstates created by insertion of primary operators. Thereby, we study the OPE coefficients in this theory, which are related to matrix elements of a light primary operator in basis of eigenstates. In the appropriate limit, these OPE coefficients describe eigenstate thermalisation in SYK. Later in section 3.3 we discuss eigenstate thermalisation in a generalised free theory in 1-dimensions. We conclude the paper with a summary and a plausible bulk interpretation of our results in appendix 4. The appendices contain some supplementary details of our calculations.

JHEP10(2019)019 2 Relevant properties of the SYK system
In this section we summarise the main features of the Sachdev-Ye-Kitaev model relevant for our analysis. Much of this material is well known, but we wish to both make this work as self contained as possible and to draw the reader's attention to specific technical aspects we shall make use of later on. We keep the detail to the necessary minimum, but supply ample references which the interested reader is encouraged to follow up. We work mainly with the Majorana version of the model, to be introduced shortly and reviewed in more detail, for example in [22,23,53]. However, as will become clear, our results apply equally to the complex 'Dirac' model [54]. Without further ado, here is the Hamiltonian of the Majorana fermion SYK model generalised to q-body interactions, (2.1) In this work we will focus our attention on the disorder-averaged theory, where the couplings J i 1 ...iq are averaged over a Gaussian random ensemble, with vanishing mean coupling and variance J 2 i 1 ...iq = J 2 (q − 1)!/N q−1 . The disorder average gives rise to an O(N ) invariant theory, where the original q-Fermi interaction is squared to give an invariant 2q-Fermi interaction with coupling strength J 2 , with the averaged action S written in terms of the original fermions, as well as two bilocal fields G(τ, τ ) and Σ(τ , τ ) whose role will become clear shortly, 3) The Lagrange multiplier field Σ simply imposes the relation The above action arises for the replica diagonal and the replica symmetric solution of the saddle point, [55]. Alternatively, in the large N limit, it can also be obtained by replacing the quenched disorder by an annealed disordered coupling, [9,10,13]. In the subsequent discussion, we restrict ourselves to replica diagonal and symmetric ansatz which has the dominant contribution, [56]. This action is quadratic in the fermions, so that we can integrate them out to give rise to the usual Tr log in the action. The result is an action written solely in terms of the bilocal collective fields G and Σ, generating a vertex expansion that can be used to calculate the non-vanishing even-point functions of the fundamental fermions, via the JHEP10(2019)019 = < l a t e x i t s h a 1 _ b a s e 6 4 = " D m N M k 2 Y X Y y T v + z N 0 r W X Y w O / Y u L g = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B U 0 l E 0 I t Q 9 O K x B f s B b S i b 7 a R d u 9 m E 3 Y 1 Q Q n + B F w + K e P U n e f P f u G 1 z 0 N Y H A 4 / 3 Z p i Z F y S C a + O 6 3 0 5 h b X 1 j c 6 u 4 X d r Z 3 d s / K B 8 e t X S c K o Z N F o t Y d Q K q U X C J T c O N w E 6 i k E a B w H Y w v p v 5 7 S d U m s f y w U w S 9 C M 6 l D z k j B o r N W 7 6 5 Y p b d e c g q 8 T L S Q V y 1 P v l r 9 4 g Z m m E 0 j B B t e 5 6 b m L 8 j C r D m c B p q Z d q T C g b 0 y F 2 L Z U 0 Q u 1 n 8 0 O n 5 M w q A x L G y p Y 0 Z K 7 + n s h o p P U k C m x n R M 1 I L 3 s z 8 T + v m 5 r w 2 s + 4 T F K D k i 0 W h a k g J i a z r 8 m A K 2 R G T C y h T H F 7 K 2 E j q i g z N p u S D c F b f n m V t C 6 q n l v 1 G p e V 2 m 0 e R x F O 4 B T O w Y M r q M E 9 1 K E J D B C e 4 R X e n E f n x X l 3 P h a t B S e f O Y Y / c D 5 / A I z N j M E = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " D m N M k 2 Y X Y y T v + z N 0 r W X Y w O / Y u L g = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B U 0 l E 0 I t Q 9 O K x B f s B b S i b 7 a R d u 9 m E 3 Y 1 Q Q n + B F w + K e P U n e f P f u G 1 z 0 N Y H A 4 / 3 Z p i Z F y S C a + O 6 3 0 5 h b X 1 j c 6 u 4 X d r Z 3 d s / K B 8 e t X S c K o Z N F o t Y d Q K q U X C J T c O N w E 6 i k E a B w H Y w v p v 5 7 S d U m s f y w U w S 9 C M 6 l D z k j B o r N W 7 6 5 Y p b d e c g q 8 T L S Q V y 1 P v l r 9 4 g Z m m E 0 j B B t e 5 6 b m L 8 j C r D m c B p q Z d q T C g b 0 y F 2 L Z U 0 Q u 1 n 8 0 O n 5 M w q A x L G y p Y 0 Z K 7 + n s h o p P U k C m x n R M 1 I L 3 s z 8 T + v m 5 r w 2 s + 4 T F K D k i 0 W h a k g J i a z r 8 m A K 2 R G T C y h T H F 7 K 2 E j q i g z N p u S D c F b f n m V t C 6 q n l v 1 G p e V 2 m 0 e R x F O 4 B T O w Y M r q M E 9 1 K E J D B C e 4 R X e n E f n x X l 3 P h a t B S e f O Y Y / c D 5 / A I z N j M E = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " D m N M k 2 Y X Y y T v + z N 0 r W X Y w O / Y u L g = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B U 0 l E 0 I t Q 9 O K x B f s B b S i b 7 a R d u 9 m E 3 Y 1 Q Q n + B F w + K e P U n e f P f u G 1 z 0 N Y H A 4 / 3 Z p i Z F y S C a + O 6 3 0 5 h b X 1 j c 6 u 4 X d r Z 3 d s / K B 8 e t X S c K o Z N F o t Y d Q K q U X C J T c O N w E 6 i k E a B w H Y w v p v 5 7 S d U m s f y w U w S 9 C M 6 l D z k j B o r N W 7 6 5 Y p b d e c g q 8 T L S Q V y 1 P v l r 9 4 g Z m m E 0 j B B t e 5 6 b m L 8 j C r D m c B p q Z d q T C g b 0 y F 2 L Z U 0 Q u 1 n 8 0 O n 5 M w q A x L G y p Y 0 Z K 7 + n s h o p P U k C m x n R M 1 I L 3 s z 8 T + v m 5 r w 2 s + 4 T F K D k i 0 W h a k g J i a z r 8 m A K 2 R G T C y h T H F 7 K 2 E j q i g z N p u S D c F b f n m V t C 6 q n l v 1 G p e V 2 m 0 e R x F O 4 B T O w Y M r q M E 9 1 K E J D B C e 4 R X e n E f n x X l 3 P h a t B S e f O Y Y / c D 5 / A I z N j M E = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " D m N M k 2 Y X Y y T v + z N 0 r W X Y w O / Y u L g = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B U 0 l E 0 I t Q 9 O K x B f s B b S i b 7 a R d u 9 m E 3 Y 1 Q Q n + B F w + K e P U n e f P f u G 1 z 0 N Y H A 4 / 3 Z p i Z F y S C a + O 6 3 0 5 h b X 1 j c 6 u 4 X d r Z 3 d s / K B 8 e t X S c K o Z N F o t Y d Q K q U X C J T c O N w E 6 i k E a B w H Y w v p v 5 7 S d U m s f y w U w S 9 C M 6 l D z k j B o r N W 7 6 5 Y p b d e c g q 8 T L S Q V y 1 P v l r 9 4 g Z m m E 0 j B B t e 5 6 b m L 8 j C r D m c B p q Z d q T C g b 0 y F 2 L Z U 0 Q u 1 n 8 0 O n 5 M w q A x L G y p Y 0 Z K 7 + n s h o p P U k C m x n R M 1 I L 3 s z 8 T + v m 5 r w 2 s + 4 T F K D k i 0 W h a k g J i a z r 8 m A K 2 R G T C y h T H F 7 K 2 E j q i g z N p u S D c F b f n m V t C 6 q n l v 1 G p e V 2 m 0 e R x F O 4 B T O w Y M r q M E 9 1 K E J D B C e 4 R X e n E f n x X l 3 P h a t B S e f O Y Y / c D 5 / A I z N j M E = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " + u Z f P 8 w b V I t q u F B 0 w C T r W 6 f k L q 8 = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B i y U R Q Y 9 F L x 5 b s B / Q h r L Z T t q 1 m 0 3 Y 3 Q g l 9 B d 4 8 a C I V 3 + S N / + N 2 z Y H b X 0 w 8 H h v h p l 5 Q S K 4 N q 7 7 7 R T W 1 j c 2 t 4 r b p Z 3 d v f 2 D 8 u F R S 8 e p Y t h k s Y h V J 6 A a B Z f Y N N w I 7 C Q K a R Q I b A f j u 5 n f f k K l e S w f z C R B P 6 J D y U P O q L F S 4 6 J f r r h V d w 6 y S r y c V C B H v V / + 6 g 1 i l k Y o D R N U 6 6 7 n J s b P q D K c C Z y W e q n G h L I x H W L X U k k j 1 H 4 2 P 3 R K z q w y I G G s b E l D 5 u r v i Y x G W k + i w H Z G 1 I z 0 s j c T / / O 6 q Q l v / I z L J D U o 2 W J R m A p i Y j L 7 m g y 4 Q m b E x B L K F L e 3 E j a i i j J j s y n Z E L z l l 1 d J 6 7 L q u V W v c V W p 3 e Z x F O E E T u E c P L i G G t x D H Z r A A O E Z X u H N e X R e n H f n Y 9 F a c P K Z Y / g D 5 / M H d I 2 M s Q = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " + u Z f P 8 w b V I t q u F B 0 w C T r W 6 f k L q 8 = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B i y U R Q Y 9 F L x 5 b s B / Q h r L Z T t q 1 m 0 3 Y 3 Q g l 9 B d 4 8 a C I V 3 + S N / + N 2 z Y H b X 0 w 8 H h v h p l 5 Q S K 4 N q 7 7 7 R T W 1 j c 2 t 4 r b p Z 3 d v f 2 D 8 u F R S 8 e p Y t h k s Y h V J 6 A a B Z f Y N N w I 7 C Q K a R Q I b A f j u 5 n f f k K l e S w f z C R B P 6 J D y U P O q L F S 4 6 J f r r h V d w 6 y S r y c V C B H v V / + 6 g 1 i l k Y o D R N U 6 6 7 n J s b P q D K c C Z y W e q n G h L I x H W L X U k k j 1 H 4 2 P 3 R K z q w y I G G s b E l D 5 u r v i Y x G W k + i w H Z G 1 I z 0 s j c T / / O 6 q Q l v / I z L J D U o 2 W J R m A p i Y j L 7 m g y 4 Q m b E x B L K F L e 3 E j a i i j J j s y n Z E L z l l 1 d J 6 7 L q u V W v c V W p 3 e Z x F O E E T u E c P L i G G t x D H Z r A A O E Z X u H N e X R e n H f n Y 9 F a c P K Z Y / g D 5 / M H d I 2 M s Q = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " + u Z f P 8 w b V I t q u F B 0 w C T r W 6 f k L q 8 = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B i y U R Q Y 9 F L x 5 b s B / Q h r L Z T t q 1 m 0 3 Y 3 Q g l 9 B d 4 8 a C I V 3 + S N / + N 2 z Y H b X 0 w 8 H h v h p l 5 Q S K 4 N q 7 7 7 R T W 1 j c 2 t 4 r b p Z 3 d v f 2 D 8 u F R S 8 e p Y t h k s Y h V J 6 A a B Z f Y N N w I 7 C Q K a R Q I b A f j u 5 n f f k K l e S w f z C R B P 6 J D y U P O q L F S 4 6 J f r r h V d w 6 y S r y c V C B H v V / + 6 g 1 i l k Y o D R N U 6 6 7 n J s b P q D K c C Z y W e q n G h L I x H W L X U k k j 1 H 4 2 P 3 R K z q w y I G G s b E l D 5 u r v i Y x G W k + i w H Z G 1 I z 0 s j c T / / O 6 q Q l v / I z L J D U o 2 W J R m A p i Y j L 7 m g y 4 Q m b E x B L K F L e 3 E j a i i j J j s y n Z E L z l l 1 d J 6 7 L q u V W v c V W p 3 e Z x F O E E T u E c P L i G G t x D H Z r A A O E Z X u H N e X R e n H f n Y 9 F a c P K Z Y / g D 5 / M H d I 2 M s Q = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " + u Z f P 8 w b V I t q u F B 0 w C T r W 6 f k L q 8 = " > A A A B 6 H i c b V B N S 8 N A E J 3 U r 1 q / q h 6 9 L B b B i y U R Q Y 9 F L x 5 b s B / Q h r L Z T t q 1 m 0 3 Y 3 Q g l 9 B d 4 8 a C I V 3 + S N / + N 2 z Y H b X 0 w 8 H h v h p l 5 Q S K 4 N q 7 7 7 R T W 1 j c 2 t 4 r b p Z 3 d v f 2 D 8 u F R S 8 e p Y t h k s Y h V J 6 A a B Z f Y N N w I 7 C Q K a R Q I b A f j u 5 n f f k K l e S w f z C R B P 6 J D y U P O q L F S 4 6 J f r r h V d w 6 y S r y c V C B H v V / + 6 g 1 i l k Y o D R N U 6 6 7 n J s b P q D K c C Z y W e q n G h L I x H W L X U k k j 1 H 4 2 P 3 R K z q w y I G G s b E l D 5 u r v i Y x G W k + i w H Z G 1 I z 0 s j c T / / O 6 q Q l v / I z L J D U o 2 W J R m A p i Y j L 7 m g y 4 Q m b E x B L K F L e 3 E j a i i j J j s y n Z E L z l l 1 d J 6 7 L q u V W v c V W p 3 e Z x F O E E T u E c P L i G G t x D H Z r A A O E Z X u H N e X R e n H f n Y 9 F a c P K Z Y / g D 5 / M H d I 2 M s Q = = < / l a t e x i t > relation (2.4). Note that both the collective fields are anti-symmetric under exchange of the time coordinates,

Vertex expansion
Applying this procedure we obtain the collective field action 3 The utility of this formulation is that it systematically determines integral (Schwinger-Dyson or 'SD') equations for the 2n-point functions of the fermions, order by order in a 1/N expansion. To this end, let us note that this theory has a semi-classical limit as N → ∞, governed by the saddle-point equations In order to generate the vertices relevant for the computation of fermion four-and six-point functions, we expand this action around the leading-order solution up to third order in the collective fields where the term S (2) contains the two-point vertices in the collective fields and S (3) the three-point vertices, relevant for four-and six-point functions of the fundamental fermions respectively. More concretely, we follow a two-step procedure. We start by solving the first of the two SD equations to obtain which we substitute back into the action to obtain up to a constant which we have discarded. We then expand G = G 0 + 2 N g(τ, τ ) to find  the two and three-point vertices, starting with allowing us to deduce the propagator for the bilocal field (2.12) and the Schwinger-Dyson equation shown in figure 1. At the next order we find the threepoint vertex where, once again the vertex succinctly encodes the Schwinger-Dyson equation shown in figure 2, receiving both planar and non-planar contributions. The precise mathematical expressions for these vertices are somewhat complicated and were originally computed in the papers [12,57,58], and are reproduced in appendix A. Note that the notation K (2) and V (3) is supposed to illustrate the fact that we should think of (the inverse of) K as a propagator for bilocal fields, while V (3) gives a non-trivial three-point interaction vertex between bilocal collective fields.

The IR theory & Schwarzian contribution
The discussion of the previous section is correct in the large N limit, for all values of the coupling constant J. However the exact computation of the vertices requires the knowledge of the saddle point solution, G 0 (see (A.4) and (A.6)). The Schwinger-Dyson equations, (2.7), are solvable in the deep infrared limit, |τ |J 1, [9][10][11][12][13]. In this limit, the derivative terms in the action (2.6) and the SD equations (2.7) can be dropped. The resulting effective action (2.6) has a reparametrisation (1D conformal) invariance under JHEP10(2019)019 (2.14) Crucially this is not an invariance of the full action; working perturbatively around the IR limit, the leading action cost associated with a reparametrisation f (τ ) can be determined most efficiently by expanding (2.10) around the IR where α is a coefficient that must be determined by solving the full Schwinger-Dyson equation (2.7), which is typically done numerically, [9,10,13]. Since this is the leadingorder IR effect of breaking reparametrisations, we also refer to the Schwarzian contribution as the soft-mode action. In the current paper, we do not consider the effect of this soft-mode action on the correlation functions, which is discussed in our complementary paper, [52]. The exclusion of the Schwarzian modes leads to an exact conformal field theory. A modified version of the SYK model which has an exact conformal symmetry is discussed in [51] and the results we present in this paper are applicable to this modified model as well. In the deep IR limit, where the SYK model has the approximate reparametrisation symmetry, its spectrum has a discrete tower of operators that are approximate Conformal Primaries of SL(2, R). We discuss the properties and correlation functions of the these operators in the next section. Our discussion follows the earlier work of [12,59,60]. Let us reiterate that the approximate SL(2, R) can be realized as an exact symmetry of a related model, namely the cSYK model of [51]. In this model the approximate Conformal Primaries become exact Conformal Primaries living in a well-defined Hilbert space.
3 Heavy states in conformal three-point correlators

Operators and states
If we exclude the contribution of the Schwarzian mode we obtain an exact conformal field theory whose correlation functions obey the usual constraints imposed by SL(2, R). Let us introduce the primary operators O n (τ 1 ) = lim which obey with conformal dimensions h n = 2n + 1 + 2 n n = 1 q

JHEP10(2019)019
Using the 1D version of the operator-state correspondence, about which we have more to say below, we can evaluate the matrix element of an operator O k as a limit of the three-point function, This allows us to focus, as shown, on the OPE coefficient c mkn . In the limit m, n k, that is when the operators O m,n create heavier states compared to the contribution of the probe operator O k , 4 the OPE coefficients should satisfy the ETH relation, [38], where f k (E) is a smooth function of its argument E = Em+En 2 and the off-diagonal elements are suppressed by an entropic factor. Our objective is thus to compute the OPE coefficients using the bilocal action introduced above. This will evidently involve the computation of six-point functions of the fermions. Before embarking on the computation, we want to emphasise that the operators with m, n k are not heavy operators in the conventional sense. Usually the term 'heavy' is used to denote the operators whose dimension scales with the number of degrees of freedom of the theory (N for vector theories and N 2 for matrixlike theories). This is consistent with the putative bulk dual description, where only fields massive enough to back-react on the geometry are expected to form black holes. However, the operators that we discuss in this work don't fall in this category. We consider operators whose conformal dimension approaches infinity but doesn't scale with N . We call these middleweight operators. In higher-dimensional examples of the AdS/CFT correspondence such operators are dual to bulk fields that can be studied in the geodesic approximation, [61,62], but would not by themselves, lead to a formation of a black hole. In the field theory description, that would mean that the states created by such operators don't thermalise. That we find any form of thermalisation for such operators is surprising. It is important to check this finding against a two-dimensional gravity analysis in future work.
In the following section, we discuss our understanding of the state-operator correspondence in 1-dimension more precisely.

Comments on operator-state correspondence
In dimensions d ≥ 2 the operator state correspondence relies on the fact that we may conformally map the sphere S d to the cylinder R × S d−1 , so that asymptotic states at τ = ±∞ on the cylinder map to operator insertions at the north and south poles of the sphere, or equivalently to the origin and the point at infinity of the plane R d . In one dimension this is more subtle, as the analogous map is one between S 1 and R × S 0 , which corresponds to the geometry R × {0, −π}, i.e. two disjoint copies of the real line. This map is realised by setting [63] σ + iτ = 2 arctan tanh

< l a t e x i t s h a 1 _ b a s e 6 4 = " H n 1 g l A K u 0 H 2 x d p l E j a m T Y k o o H h E = " > A A A B 8 n i c d V D L S g M x F M 3 4 t r 6 q L t 0 E i 1 B R h k S t 1 Z 3 o x q W C f c B 0 K J k 0 0 w Y z m S G 5 I 5 T i Z 7 h x o Y h b v 8 a d f 2 P 6 E F T 0 w I X D O f d y 7 z 1 R p q Q F Q j 6 8 q e m Z 2 b n 5 h c X C 0 v L K 6 l p x f a N u 0 9 x w U e O p S k 0 z Y l Y o q U U N J C j R z I x g S a R E I 7 q 9 G P q N O 2 G s T P U N 9 D M R J q y r Z S w 5 A y c F Z b K / 1 5 I 6 h v 5 u u 1 g i f v X g + L R C M f H J 8 S G l 1 S E 5 q t B K B V O f j F B C E 1 y 1 i + + t T s r z R G j g i l k b U J J B O G A G J F f i v t D K r c g Y v 2 V d E T i q W S J s O B i d f I 9 3 n N L B c W p c a c A j 9 f v E g C X W 9 p P I d S Y M e v a 3 N x T / 8 o I c 4 p N w I H W W g 9 B 8 v C j O F Y Y U D / / H H W k E B 9 V 3 h H E j 3 a 2 Y 9 5 h h H F x K B R f C 1 6 f 4 f 1 I / 8 C n x 6 f V R 6 e x 8 E s c C 2 k L b q I w o q q I z d I m u U A 1 x l K I H 9 I S e P f A e v R f v d d w 6 5 U 1 m N t E P e G + f L Y G Q i g = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " H n 1 g l A K u 0 H 2 x d p l E j a m T Y k o o H h E = " > A A A B 8 n i c d V D L S g M x F M 3 4 t r 6 q L t 0 E i 1 B R h k S t 1 Z 3 o x q W C f c B 0 K J k 0 0 w Y z m S G 5 I 5 T i Z 7 h x o Y h b v 8 a d f 2 P 6 E F T 0 w I X D O f d y 7 z 1 R p q Q F Q j 6 8 q e m Z 2 b n 5 h c X C 0 v L K 6 l p x f a N u 0 9 x w U e O p S k 0 z Y l Y o q U U N J C j R z I x g S a R E I 7 q 9 G P q N O 2 G s T P U N 9 D M R J q y r Z S w 5 A y c F Z b K / 1 5 I 6 h v 5 u u 1 g i f v X g + L R C M f H J 8 S G l 1 S E 5 q t B K B V O f j F B C E 1 y 1 i + + t T s r z R G j g i l k b U J J B O G A G J F f i v t D K r c g Y v 2 V d E T i q W S J s O B i d f I 9 3 n N L B c W p c a c A j 9 f v E g C X W 9 p P I d S Y M e v a 3 N x T / 8 o I c 4 p N w I H W W g 9 B 8 v C j O F Y Y U D / / H H W k E B 9 V 3 h H E j 3 a 2 Y 9 5 h h H F x K B R f C 1 6 f 4 f 1 I / 8 C n x 6 f V R 6 e x 8 E s c C 2 k L b q I w o q q I z d I m u U A 1 x l K I H 9 I S e P f A e v R f v d d w 6 5 U 1 m N t E P e G + f L Y G Q i g = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " H n 1 g l A K u 0 H 2 x d p l E j a m T Y k o o H h E = " > A A A B 8 n i c d V D L S g M x F M 3 4 t r 6 q L t 0 E i 1 B R h k S t 1 Z 3 o x q W C f c B 0 K J k 0 0 w Y z m S G 5 I 5 T i Z 7 h x o Y h b v 8 a d f 2 P 6 E F T 0 w I X D O f d y 7 z 1 R p q Q F Q j 6 8 q e m Z 2 b n 5 h c X C 0 v L K 6 l p x f a N u 0 9 x w U e O p S k 0 z Y l Y o q U U N J C j R z I x g S a R E I 7 q 9 G P q N O 2 G s T P U N 9 D M R J q y r Z S w 5 A y c F Z b K / 1 5 I 6 h v 5 u u 1 g i f v X g + L R C M f H J 8 S G l 1 S E 5 q t B K B V O f j F B C E 1 y 1 i + + t T s r z R G j g i l k b U J J B O G A G J F f i v t D K r c g Y v 2 V d E T i q W S J s O B i d f I 9 3 n N L B c W p c a c A j 9 f v E g C X W 9 p P I d S Y M e v a 3 N x T / 8 o I c 4 p N w I H W W g 9 B 8 v C j O F Y Y U D / / H H W k E B 9 V 3 h H E j 3 a 2 Y 9 5 h h H F x K B R f C 1 6 f 4 f 1 I / 8 C n x 6 f V R 6 e x 8 E s c C 2 k L b q I w o q q I z d I m u U A 1 x l K I H 9 I S e P f A e v R f v d d w 6 5 U 1 m N t E P e G + f L Y G Q i g = = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " H n 1 g l A K u 0 H 2 x d p l E j a m T Y k o o H h E = " > A A A B 8 n i c d V D L S g M x F M 3 4 t r 6 q L t 0 E i 1 B R h k S t 1 Z 3 o x q W C f c B 0 K J k 0 0 w Y z m S G 5 I 5 T i Z 7 h x o Y h b v 8 a d f 2 P 6 E F T 0 w I X D O f d y 7 z 1 R p q Q F Q j 6 8 q e m Z 2 b n 5 h c X C 0 v L K 6 l p x f a N u 0 9 x w U e O p S k 0 z Y l Y o q U U N J C j R z I x g S a R E I 7 q 9 G P q N O 2 G s T P U N 9 D M R J q y r Z S w 5 A y c F Z b K / 1 5 I 6 h v 5 u u 1 g i f v X g + L R C M f H J 8 S G l 1 S E 5 q t B K B V O f j F B C E 1 y 1 i + + t T s r z R G j g i l k b U J J B O G A G J F f i v t D K r c g Y v 2 V d E T i q W S J s O B i d f I 9 3 n N L B c W p c a c A j 9 f v E g C X W 9 p P I d S Y M e v a 3 N x T / 8 o I c 4 p N w I H W W g 9 B 8 v C j O F Y Y U D / / H H W k E B 9 V 3 h H E j 3 a 2 Y 9 5 h h H F x K B R f C 1 6 f 4 f 1 I / 8 C n x 6 f V R 6 e x 8 E s c C 2 k L b q I w o q q I z d I m u U A 1 x l K I H 9 I S e P f A e v R f v d d w 6 5 U 1 m N t E P e G + f L Y G Q i g = = < / l a t e x i t >
(0, 1)

l a t e x i t s h a 1 _ b a s e 6 4 = " H P 8 E F A 5 F K o P u r O Y O B E Z j E m m Z d 6 U = " > A A A B 9 X i c d V D L S g M x F M 3 U V 6 2 v q k s 3 w S J U 1 C H j F K f L o h u X F e w D O r V k 0 k w N z W S G J K O U o f / h x o U i b v 0 X d / 6 N 6 U N Q 0 Q M X D u f c y 7 3 3 B A l n S i P 0 Y e U W F p e W V / K r h b X 1 j c 2 t 4 v Z O U 8 W p J L R B Y h 7 L d o A V 5 U z Q h m a a 0 3 Y i K Y 4 C T l v B 8 G L i t + 6 o V C w W 1 3 q U 0 G 6 E B 4 K F j G B t p J v y i Z + w 4 y O f i V C P D n v F E r K R 6 y H X h c h 2 U f X M Q 4 Z 4 C H l u B T o 2 m q I E 5 q j 3 i u 9 + P y Z p R I U m H C v V c V C i u x m W m h F O x w U / V T T B Z I g H t G O o w B F V 3 W x 6 9 R g e G K U P w 1 i a E h p O 1 e 8 T G Y 6 U G k W B 6 Y y w v l W / v Y n 4 l 9 d J d V j t Z k w k q a a C z B a F K Y c 6 h p M I Y J 9 J S j Q f G Y K J Z O Z W S G 6 x x E S b o A o m h K 9 P 4 f + k e W o 7 y H a u K q X a + T y O P N g D + 6 A M H O C B G r g E d d A A B E j w A J 7 A s 3 V v P V o v 1 u u s N W f N Z 3 b B D 1 h v n 2 6 b k d M = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " H P 8 E F A 5 F K o P u r O Y O B E Z j E m m Z d 6 U = " > A A A B 9 X i c d V D L S g M x F M 3 U V 6 2 v q k s 3 w S J U 1 C H j F K f L o h u X F e w D O r V k 0 k w N z W S G J K O U o f / h x o U i b v 0 X d / 6 N 6 U N Q 0 Q M X D u f c y 7 3 3 B A l n S i P 0 Y e U W F p e W V / K r h b X 1 j c 2 t 4 v Z O U 8 W p J L R B Y h 7 L d o A V 5 U z Q h m a a 0 3 Y i K Y 4 C T l v B 8 G L i t + 6 o V C w W 1 3 q U 0 G 6 E B 4 K F j G B t p J v y i Z + w 4 y O f i V C P D n v F E r K R 6 y H X h c h 2 U f X M Q 4 Z 4 C H l u B T o 2 m q I E 5 q j 3 i u 9 + P y Z p R I U m H C v V c V C i u x m W m h F O x w U / V T T B Z I g H t G O o w B F V 3 W x 6 9 R g e G K U P w 1 i a E h p O 1 e 8 T G Y 6 U G k W B 6 Y y w v l W / v Y n 4 l 9 d J d V j t Z k w k q a a C z B a F K Y c 6 h p M I Y J 9 J S j Q f G Y K J Z O Z W S G 6 x x E S b o A o m h K 9 P 4 f + k e W o 7 y H a u K q X a + T y O P N g D + 6 A M H O C B G r g E d d A A B E j w A J 7 A s 3 V v P V o v 1 u u s N W f N Z 3 b B D 1 h v n 2 6 b k d M = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " H P 8 E F A 5 F K o P u r O Y O B E Z j E m m Z d 6 U = " > A A A B 9 X i c d V D L S g M x F M 3 U V 6 2 v q k s 3 w S J U 1 C H j F K f L o h u X F e w D O r V k 0 k w N z W S G J K O U o f / h x o U i b v 0 X d / 6 N 6 U N Q 0 Q M X D u f c y 7 3 3 B A l n S i P 0 Y e U W F p e W V / K r h b X 1 j c 2 t 4 v Z O U 8 W p J L R B Y h 7 L d o A V 5 U z Q h m a a 0 3 Y i K Y 4 C T l v B 8 G L i t + 6 o V C w W 1 3 q U 0 G 6 E B 4 K F j G B t p J v y i Z + w 4 y O f i V C P D n v F E r K R 6 y H X h c h 2 U f X M Q 4 Z 4 C H l u B T o 2 m q I E 5 q j 3 i u 9 + P y Z p R I U m H C v V c V C i u x m W m h F O x w U / V T T B Z I g H t G O o w B F V 3 W x 6 9 R g e G K U P w 1 i a E h p O 1 e 8 T G Y 6 U G k W B 6 Y y w v l W / v Y n 4 l 9 d J d V j t Z k w k q a a C z B a F K Y c 6 h p M I Y J 9 J S j Q f G Y K J Z O Z W S G 6 x x E S b o A o m h K 9 P 4 f + k e W o 7 y H a u K q X a + T y O P N g D + 6 A M H O C B G r g E d d A A B E j w A J 7 A s 3 V v P V o v 1 u u s N W f N Z 3 b B D 1 h v n 2 6 b k d M = < / l a t e x i t > < l a t e x i t s h a 1 _ b a s e 6 4 = " H P 8 E F A 5 F K o P u r O Y O B E Z j E m m Z d 6 U = " > A A A B 9 X i c d V D L S g M x F M 3 U V 6 2 v q k s 3 w S J U 1 C H j F K f L o h u X F e w D O r V k 0 k w N z W S G J K O U o f / h x o U i b v 0 X d / 6 N 6 U N Q 0 Q M X D u f c y 7 3 3 B A l n S i P 0 Y e U W F p e W V / K r h b X 1 j c 2 t 4 v Z O U 8 W p J L R B Y h 7 L d o A V 5 U z Q h m a a 0 3 Y i K Y 4 C T l v B 8 G L i t + 6 o V C w W 1 3 q U 0 G 6 E B 4 K F j G B t p J v y i Z + w 4 y O f i V C P D n v F E r K R 6 y H X h c h 2 U f X M Q 4 Z 4 C H l u B T o 2 m q I E 5 q j 3 i u 9 + P y Z p R I U m H C v V c V C i u x m W m h F O x w U / V T T B Z I g H t G O o w B F V 3 W x 6 9 R g e G K U P w 1 i a E h p O 1 e 8 T G Y 6 U G k W B 6 Y y w v l W / v Y n 4 l 9 d J d V j t Z k w k q a a C z B a F K Y c 6 h p M I Y J 9 J S j Q f G Y K J Z O Z W S G 6 x x E S b o A o m h K 9 P 4 f + k e W o 7 y H a u K q X a + T y O P N g D + 6 A M H O C B G r g E d d A A B E j w A J 7 A s 3 V v P V o v 1 u u s N W f N Z 3 b B D 1 h v n 2 6 b k d M = < / l a t e x i t >
cos θ ∂ ∂θ Figure 3. The operator-state map in 1D CFT proceeds via the map S 1 → S 0 × R introduced in eq. (3.6). The semi circle in red is mapped to one copy of R shown in red, situated at σ = 0, while the blue semi-circle is mapped to the blue copy of R, situated at σ = −π. The Hamiltonian ∂ ∂τ is mapped to cos θ ∂ ∂θ and thus generates radial evolution as shown around the south pole. Modulo the subtlety of mapping to the disconnected S 0 × R this is the analog of radial quantisation in higher dimensional CFT. so that the two points θ = ±π/2 are mapped to τ = ±∞. The segment −π/2 < θ < π/2 is mapped to a copy of R at σ = 0, while the remaining half circle π/2 < θ < 3π/2 is mapped to a second copy of R at σ = −π. The generator of time translations is mapped to ∂ τ = cos θ∂ θ , which corresponds to 1D radial evolution as shown in figure 3. In this way, a correlation function of the type (3.4) creates and probes a state in the doubled Hilbert space H CFT ⊗ H CFT . This has its manifestation on the bulk side where AdS 2 has a boundary consisting of two disconnected copies of the real line with time running in the same direction on both components.

Fermion six-point functions and OPE coefficients
In section 2.1 we explained how to generate the Schwinger-Dyson equation determining the six-point function of fermions from the bilocal action. We now proceed to actually evaluate the diagrams in the appropriate limit. As can be seen from figure 2, there are two types of diagrams that contribute, planar diagrams and non-planar diagrams, also referred to as contact diagrams. Consequently, also the OPE coefficients can be organised into where the first term corresponds to the sum of planar diagrams, and the second to the sum of non-planar diagrams. Consulting the definition of the O n operators (3.1), it becomes clear that the relevant limit of the fermion six-point functions is one where the insertions of the fermions approach each other in pairs. This allows one to use the OPE expansion JHEP10(2019)019 of the fermions themselves, mkn . (3.10) Here, I mkn are certain kinematic integrals arising in evaluating the contact and planar diagrams, respectively. The results of these integrals are given in appendix C. In the large q limit the c n are given by c n = n n(2n + 1) ((2n 2 + n + 1) (2n 2 + n − 1)) and the ξ n are defined as In order to study the thermal properties of middleweight eigenstates, we should take a further limit, this time one where two of the operators, the ones creating the state, are much heavier than the remaining 'probe' operator. We thus want to study the OPE coefficients c nkm in the limit n, m k. This will allow us to simplify the corresponding expressions considerably. The first important simplification that occurs is the dominance of planer diagrams over contact diagrams c (2) nkm c (1) nkm , as we show in detail in appendix B. We thus focus on c (2) mkn in the remainder of this section. For our analysis we find it most convenient to work with the expressions for c (2) mkn in the large q limit, which was derived in [59], even though more explicit expression have been given later in [60]. The required kinematic integral can be written in the form where ± n = n ± ∆. Let us further define the variables which express the average and difference of energies σ and δ in the large m, n limit. Then the expressions for s (2) mkn take the form of certain, combinatorial coefficients, which for arbitrary k evaluate to 33d 10 + 45d 8 σ 2 + σ − 17 + d 6 10(σ 2 + σ)(5σ 2 + 5σ − 103) + 6459 where g (a|b) denotes a rational fraction (of variables σ, d) of degree a in the numerator and degree b in the denominator. We have tabulated the explicit form of these polynomials for the first few integer values of k in table 1. We next notice that the ratio of Gamma functions is related to a regularised Kronecker delta symbol The width of the Binomial function, and consequently of the regularised Kronecker delta function, 5 in terms of δ is 1/ √ σ, and approaches 0 as σ → ∞. What this means in terms of the microcanonical ensemble is that we are considering all energy eigenstates within a window (σ − √ σ, σ + √ σ). Such an interpretation of the microcanonical ensemble is conventional in the literature of Random Matrix theory, see [1]. The limit, σ → ∞ is the right limit to consider for our middleweight operators to be much heavier than the probe operator, and thus it is encouraging to see the Kronecker delta coming out. In fact, as we show now, the off-diagonal elements, corresponding to n − m = d = 0, are suppressed by a factor e −σ ln 2 . In order to extract the on-and off-diagonal functions in the ETH form of the matrix elements (3.4), we may separate out the regularised Kronecker delta from the functions c (2) nkm , to obtain c  We have now assembled all the ingredients that go into the evaluation of f mkn . Of course we are only interested in this quantity in the middleweight limit, which allows us to simplify the full expression with the result p k σ 2k δ m,n +e −σ ln 2 R(σ, δ) .
(3.18) Here p k takes values 2, 7 12 , 33 480 , 715 161280 , . . . , which are the leading coefficients in table 2. This should be compared to the ansatz (3.5). The result we have just found is precisely of the form appearing in the statement of eigenstate thermalisation, with a smooth function depending on the average energy on the diagonal and exponentially suppressed off-diagonal matrix elements depending smoothly on both the average energy as well as the difference. Isolating the diagonal contribution we find the expression where we have defined the average energy E = m+n 2 . We can also use equation (3.18) in order to obtain an explicit expression for the off-diagonal matrix elements (3.20) where we show the appropriate lim σ→∞ g(4k − 2|2k − 2) in table 2. Lastly, in the above discussion we showed that the off-diagonal matrix elements of the operator, O k , are suppressed with respect to the diagonal elements by a factor of e −σ ln 2 . In the eigenstate thermalisation hypothesis, the off-diagonal elements are suppressed exponentially by the microcanonical entropy at the average energy of the ensemble, e −S(Ē)/2 . A naive counting of the number of states with energies between Ē − √Ē ,Ē + √Ē gives S(Ē) ∼ √Ē + ln(Ē). Thus, we find that the observed suppression in the SYK model is stronger than what is required by ETH, together with our estimate S(Ē). Our suppression although stronger than what is required according to the standard definition of ETH, does not violate the lower bound JHEP10(2019)019 stemming from the requirement of O(1) fluctuations around the thermal value. 6 We leave an improved understanding of this mismatch for future work.
Summary. In this section, we have shown that the states created by the conformal primaries in the IR limit of the SYK model, and more appropriately, in the cSYK model show Eigenstate thermalisation. This result may appear surprising from two different points of view. Firstly, the dimensions of these operators do not scale with the degrees of freedom, N , in our theory (middleweight operators). From the bulk perspective these operators are dual to some fields that are not massive enough to back-react on the AdS 2 , and yet the observed thermalisation would suggest that their insertion creates something like a blackhole microstate. We leave the exact bulk understanding of this observation to future work. It will also be interesting to obtain the exact behaviour for truly heavy operators, i.e. ones that scale with N , whose insertion should change the leading saddle point in the bilocal collective field action (2.10). Secondly, however, the result is surprising given that the OPE coefficients c nkm are dominated by the planar contribution, which can be shown to be closely related to those of a Generalised Free Theory. This point merits a more in-depth discussion which we address in section 3.3.

Thermalisation in a generalised free theory?
While it is satisfying to have explicitly established the thermality of eigenstates in the conformal sector of the SYK model at large N , our result is puzzling, seeing as it can be reproduced from a certain Generalised Free Theory (GFT). Following [59] let us define the following GFT: where G (0) (ω) is the Fourier transform of the leading IR solution to the Schwinger-Dyson equation (2.7), This theory is free, in the sense that all correlation functions can be obtained simply by Wick contractions, but it has a non-trivial propagator, given by (3.22), and its primaries are given by the same expression (3.1), now written in terms of the generalised free fermions χ i . One can thus obtain the three-point functions of O n operators simply by repeatedly acting with derivatives as specified in the definition (3.1) and then taking the short-time limit. This results in the expression [59] O m O k O n = lim where, (N free n ) 2 = 2 4n+1 (2n + 1) .
In the middleweight limit we are interested in, we can determine the ratio of the OPE coefficients in GFT and the SYK model, This tells us that our analysis, establishing that the SYK OPE coefficients take a form compatible with the eigenstate thermalisation hypothesis, also applies to the OPE coefficients of the GFT. On the face of it, this is very surprising; we usually do not think of free theories with correlation functions given in terms of Wick contractions as resulting in any kind of thermalisation. For the specific GFT under consideration here, however, this thermal behaviour results from the interplay of the non-trivial propagator and the combinatorics of the derivatives acting on the simple Wick-type six-point functions of the χ i fermions. A similar analysis for a similar class of operators that were studied in [64] for a 2-dimensional CFT is discussed appendix E. In that study of the OPE coefficients there we find lack of ETH like behaviour. The ETH behaviour for the generalised free theory described above is in some sense reminiscent of the thermal (chaotic) looking physics of the D1-D5 CFT at the orbifold point [65], which is a free theory, albeit one with a complicated spectrum of operators. As a sanity check, one can quickly convince oneself that the limit in which the GFT actually becomes the theory of free fermions (∆ = 0), gives a vanishing three-point function, so we are saved from the conclusion that a theory of free fermions shows ETH itself.

Summary and discussion
In this work, we have studied the 3-point correlation functions of the 'excited' operators, given by (3.1), that arise in the IR limit of the SYK model. In our analysis, we don't consider the contribution of the pseudo-Nambu-Goldstone (Schwarzian) modes to these correlation functions. We argue that through a state-operator correspondence in a 1-dimensional theory, the OPE coefficients that appear in the three point function can be interpreted as matrix elements of an operator in the energy eigenbasis. By comparing these matrix elements in the thermodynamic limit with the expected behaviour (1.1), we argued that in this sector (without the contribution of the Schwarzian modes) the model shows eigenstate thermalisation. This is apparent from (3.18), where the expectation value of operator m |O k | n was studied in high-energy states, m, n k ∼ O(1) and it was argued that the operator becomes diagonal in this limit. We also computed the exponential suppression of JHEP10(2019)019 the off-diagonal terms. While, our naive counting of microcanonical entropy at energyĒ gives S Ē ∼ √Ē + ln Ē , we find a suppression by a factor of ∼ e −Ē which is stronger than e −S(Ē) . This suggests that our estimate of the microcanonical entropy might not be correct, or that the off-diagonal terms are indeed more strongly suppressed than is required for ETH. In any case, we do not expect the microcanonical entropy to grow faster thanĒ.
In the study of the Schwarzian modes to the correlation functions in an upcoming work, [52], we find that the thermalisation in eigenstates depends upon the particular fashion in which the thermodynamic limit is taken. The analysis of that paper complements this paper's and presents some interesting observations of its own.
Future directions. Our current investigation has left us with some open questions that ask for a better understanding. Above, we have discussed our lack of understanding of the density of middleweight states. This is important to understand the suppression of the off-diagonal terms compared to the diagonal terms. A better understanding of these terms will help us understand the departure of the model from the RMT behaviour, [36].
We would like to study the correlation functions of the truly 'heavy' operators (whose conformal dimension scales with N ) in the conformal sector of the theory. Explicit computations involving such operators is often hard from the field theory point of view; and very little is known about such operators even in N = 4 super-Yang-Mills (sYM) theory. It might be possible that correlation functions of such operators are computable in the SYK model, even shedding some light on tools that could be used to do a similar computation for N = 4 sYM.
The current paper focused on the field theoretic study the SYK model in the conformal limit of the theory. The 2-dimensional dual, without the inclusion of the Schwarzian modes, is a theory of massive scalars on AdS 2 background. In future, we would like to understand this observed thermalisation from the bulk perspective in this non-gravitating theory of 2-dimensional gravity. A related question is to understand the chaotic behaviour of correlation functions in cSYK theory, both from the field theoretic as well as gravitational point of view. In our current understanding, the origin of chaotic behaviour in SYK model lies in the exchange of Schwarzian modes, [9,10,13]. To our knowledge, no computation of out-of-time-ordered correlation functions has been performed in conformal sector of the SYK model (for the excited operators), and it will be illuminating to our understanding of thermalisation in cSYK model.

JHEP10(2019)019
of PiTP Summer School at Princeton and Order from Chaos conference at KITP for the feedback on this work. MV would like to thank the ICTS Bengaluru and the TIFR Mumbai for their hospitality during the completion of this work. This work has been supported by the Fonds National Suisse de la Recherche Scientifique (Schweizerischer Nationalfonds zur Förderung der wissenschaftlichen Forschung) through Project Grants 200021 162796 and 200020 182513 as well as the NCCR 51NF40-141869 "The Mathematics of Physics" (SwissMAP).

JHEP10(2019)019
mkn become smaller as we take the limit m, n k. Right: diagonal values of the OPE coefficients c (2) mkn become larger as we take the limit m, n k, thereby demonstrating the dominance of contact diagrams over the planar diagrams in this limit. Note that the y-axis of the right figure is plotted on a logarithmic scale.

B Dominance of planar diagrams
In this section, we demonstrate the dominance of planar diagrams over the contact diagrams in the limit in which two of the three insertions are much heavier than the third one. In figure 4 we plot the OPE coefficients, c (1) mkn and c (2) mkn , ((3.9), (3.10)) for m = n, and some small values of k to demonstrate this dominance.
In figure 5, we plot the ratio of the coefficients, c m1n /c (2) m1n . This ratio is sufficiently small even for finite m, n. This plot also shows the suppression of the off-diagonal OPE coefficients corresponding to contact diagrams. The exact expressions for I (1) mkn and I (2) mkn were derived in [60]. However, to avoid clutter and for the sake of intuition, we work with the corresponding expressions in the q 1 limit. In what follows, the notation I 123 is used to refer to the term arising from a three-point function of operators of dimension h 1 , h 2 and h 3 , i.e. I 123 ≡ I h 1 h 2 h 3 = I m=1,k=2,n=3 .

E Lack of ETH in free fields
In [64], operators of the kind, O k =: ∂ k T ∂ k T : , (E.1) were considered in a 2-dimensional conformal field theory. Here, T is the stress tensor of the theory. The OPE coefficients for operators of this kind were computed there and was found to be, where, c k 1 k 2 k 3 is the OPE coefficient between the operators O k 1 , O k 2 and O k 3 . To see if this shows ETH behaviour, (3.5), let us factor out the regularised Kronecker δ-function, (3.16). Then in the k 1 , k 3 → ∞ limit, we get, Here, once again we have used k 1 + k 3 = 2σ and k 3 − k 1 = d = σδ. Note that unlike in (3.18), the function multiplying the regularised Kronecker δ-function is exponential in σ. In fact, for diagonal elements corresponding to δ = 0, this function is proportional to e −2σ ln 2 . Consequently, as σ → ∞, the diagonal elements vanish, thereby demonstrating lack of ETH-like behaviour.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.