Nonlinear soft mode action for the large-$p$ SYK model

Abstract

The physics of the SYK model at low temperatures is dominated by a soft mode governed by the Schwarzian action. In arXiv:1604.07818 the linearised action was derived from the soft mode contribution to the four-point function, and physical arguments were presented for its nonlinear completion to the Schwarzian. In this paper, we give two derivations of the full nonlinear effective action in the large $p$ limit, where $p$ is the number of fermions in the interaction terms of the Hamiltonian. The first derivation uses that the collective field action of the large-$p$ SYK model is Liouville theory with a non-conformal boundary condition that we study in conformal perturbation theory. This derivation can be viewed as an explicit version of the renormalisation group argument for the nonlinear soft mode action in arXiv:1711.08467. The second derivation uses an Ansatz for how the soft mode embeds into the microscopic configuration space of the collective fields. We generalise our results for the large-$p$ SYK chain and obtain a "Schwarzian chain" effective action for it. These derivations showcase that the large-$p$ SYK model is a rare system, in which there is sufficient control over the microscopic dynamics, so that an effective description can be derived for it without the need for extra assumptions or matching (in the effective field theory sense).

Figures (2)

• Figure 1: Region of integration when $\beta$ is set to $2\pi$. Taking into account both KMS and the symmetry condition for $g$, we need to integrate only over the shaded region to get the correct action. Moreover, these conditions imply the identification of the two blue points $g(x,2\pi-x)=g(2\pi-x,2\pi+x)$.
• Figure 2: Three dimensional plots of $e^{{{\gamma}}_f(\tau_1,\tau_2)}$ and $e^{{{\gamma}}_*(\tau_1,\tau_2)}$ for $v=0.8$. On the left we have our Ansatz for the field configuration when $f(\tau)=\tau +0.1 \sin (2 \tau )+0.2 \cos (3 \tau )$ and on the right we are plotting the saddle point solution. By construction, both $e^{{{\gamma}}_f(\tau_1,\tau_2)}$ and $e^{{{\gamma}}_*(\tau_1,\tau_2)}$ are equal to $\mathcal{J}^2$ on the boundary.