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

This paper provides two distinct derivations of the full nonlinear Schwarzian effective action governing the low-temperature soft mode of the large-$p$ SYK model and its chain generalization, demonstrating that these effective descriptions can be rigorously derived from microscopic dynamics without relying on additional assumptions or matching procedures.

The Gist

Imagine you are trying to understand the behavior of a massive, chaotic crowd of people (let's call them "fermions") in a dark room. In physics, this is the SYK model. It's a system known for being incredibly complex and messy, but it has a secret: when you cool it down to near absolute zero, the chaos settles into a surprisingly simple rhythm.

This paper by Marta Bucca and Márk Mezei is like a detective story. The authors are trying to write down the exact "rulebook" (an equation) that describes how this crowd moves when it's cold. They already knew the rough draft of this rulebook, but they wanted to derive it from scratch, without making any guesses, using a specific version of the model where the interactions are very strong (the "large-p" limit).

Here is the breakdown of their discovery using everyday analogies:

1. The Problem: The "Ghost" of Chaos

In this quantum crowd, there is a special kind of movement called a "soft mode."

• The Analogy: Imagine the crowd is dancing. At high temperatures, everyone is jumping around randomly. But as it gets cold, they all start moving in a synchronized wave. However, this wave is "soft"—it costs almost no energy to wiggle it.
• The Physics: This wiggling is actually a distortion of time itself. The crowd isn't just moving in space; they are stretching and squeezing the timeline.
• The Goal: The authors wanted to find the exact mathematical formula (called the Schwarzian action) that governs this time-wiggling. Previous attempts were like trying to guess the shape of a shadow; this paper shines a light directly on the object.

2. The Two Detective Methods

The authors used two different "detective techniques" to solve the case. Both led to the same conclusion, proving they were right.

Method A: The "Boundary CFT" Approach (The Boundary Pusher)

• The Setup: They treated the system like a drumhead (a 2D surface) where the physics is governed by a theory called Liouville theory.
• The Twist: Usually, the edge of this drumhead is perfectly smooth and follows strict rules (conformal boundary conditions). But in this specific cold scenario, the edge is slightly "bumpy" or "pushed in."
• The Discovery: The authors realized this "bump" acts like a tiny force pushing on the edge of the drum. In physics, this push is described by something called a displacement operator.
• The Result: When they calculated the energy cost of this push, it turned out to be exactly the Schwarzian action. It's like realizing that the only reason the drumhead is vibrating in that specific way is because someone is gently nudging the rim.

Method B: The "Ansatz" Approach (The Blueprint Builder)

• The Setup: Instead of looking at the edges, they tried to build a "blueprint" (an Ansatz) of what the crowd looks like when it's wiggling.
• The Trick: They took the perfect, calm state of the crowd and mathematically "warped" it to look like the time-wiggling they expected. They had to make sure this warped version still obeyed the rules of the game (like not breaking the laws of thermodynamics).
• The Discovery: They plugged this warped blueprint into the main energy equation. Even though the blueprint was a bit of a "guess," when they did the math, all the messy parts canceled out, leaving behind the clean, simple Schwarzian action.
• The Metaphor: It's like trying to predict how a rubber sheet stretches. You draw a guess of how it stretches, plug it into the physics of rubber, and—surprise!—the math confirms your guess was perfect.

3. The "Chain" of Crowds

The paper doesn't stop at one crowd. They also looked at a chain of these SYK models linked together (like a row of drums connected by springs).

• The Result: They derived a new rulebook called the "Schwarzian chain."
• The Analogy: If one drum wiggles, it pulls on its neighbor. The authors found the exact formula for how this "wiggle" travels down the line of drums. This is important for understanding how quantum information moves through complex materials.

Why Does This Matter?

In the world of theoretical physics, getting an exact formula without making "hand-wavy" assumptions is rare.

• The "Black Box" Problem: Usually, physicists have to guess the rules for the cold, low-energy world and then check if they match the hot, high-energy world. It's like guessing the recipe for a cake by only tasting the burnt crust.
• The Breakthrough: Because this specific version of the model (large-p) is so well-behaved, the authors could open the "black box." They showed that the complex microscopic rules of the particles automatically simplify into the Schwarzian action when it gets cold.

Summary

Think of the SYK model as a complex, chaotic machine. When you turn the temperature down, the machine stops grinding gears and starts humming a single, pure note.

• Previous work told us what the note sounded like (the Schwarzian action).
• This paper explains exactly why the machine hums that note, deriving the sound from the machine's internal gears without any guesswork.
• They used two different tools (pushing the edge and building a blueprint) to prove the same thing, and they even figured out what happens when you connect many of these machines together.

It's a rare moment in physics where we get a clear, unassailable view of how the quantum world simplifies into something elegant.

Technical Summary

Here is a detailed technical summary of the paper "Nonlinear soft mode action for the large-p SYK model" by Marta Bucca and Márk Mezei.

1. Problem Statement

The Sachdev-Ye-Kitaev (SYK) model is a paradigmatic system for studying quantum chaos and holography. At low temperatures, its dynamics are dominated by a "soft mode" corresponding to the spontaneous breaking of time reparametrization symmetry. This mode is governed by the Schwarzian action.

While the linearized Schwarzian action and its connection to the four-point function have been established (e.g., via ladder diagrams), deriving the full nonlinear Schwarzian action (including the precise prefactor) directly from the microscopic SYK Hamiltonian has historically been challenging. Previous derivations often relied on:

• Matching UV and IR behaviors indirectly.
• Introducing numerical inputs to fix dimensionless coefficients (specifically $\alpha_S$).
• Symmetry arguments that assume the form of the nonlinear completion without explicit derivation from the collective field action.

The authors aim to provide explicit, analytical derivations of the full nonlinear Schwarzian action and its prefactor in the large-$p$ limit (where $p$ is the number of fermions in the interaction term), a regime where the connection between UV and IR is under better analytical control.

2. Methodology

The paper utilizes the large-$N$ and large-$p$ limit of the SYK model. In this limit, the collective field theory of the SYK model reduces to a Liouville theory defined on a specific domain (a Möbius strip or diamond shape) with non-conformal boundary conditions.

The authors employ two distinct derivation methods:

Method A: Boundary CFT (BCFT) and Conformal Perturbation Theory

1. Setup: The large-$p$ SYK model is mapped to Liouville theory with a boundary condition that breaks conformal invariance.
2. Perturbation: The authors identify that the deviation from the conformal boundary condition (in the low-temperature limit where the parameter $v \to 1$) can be treated as a deformation by an irrelevant boundary operator.
3. Identification: By analyzing the saddle-point solution near the boundary, they identify this operator as the displacement operator ($\hat{D}$).
4. Calculation: They evaluate the expectation value of the displacement operator on the family of reparametrized saddle points. This calculation yields the Schwarzian derivative directly, effectively deriving the effective action from the renormalization group flow of the boundary condition.

Method B: Microscopic Ansatz Construction

1. Ansatz: The authors construct an explicit field configuration (Ansatz) for the collective field $g(\tau_1, \tau_2)$ that embeds the soft reparametrization mode $f(\tau)$ into the microscopic degrees of freedom.
2. Constraints: The Ansatz is designed to:
   • Satisfy the Kubo-Martin-Schwinger (KMS) condition.
   • Satisfy the non-conformal boundary conditions of the Liouville action.
   • Reduce to the known saddle point when $f(\tau) = \tau$.
3. Evaluation: They substitute this Ansatz into the full Liouville action.
4. Separation: The action is split into bulk contributions and near-boundary contributions. The authors carefully handle the divergences arising near the boundary (where the time separation $\delta\tau \sim \delta v$) and show that the bulk and boundary divergences cancel each other out, leaving a finite, well-defined result.

3. Key Contributions and Results

Derivation of the Nonlinear Schwarzian Action

Both methods successfully derive the full nonlinear effective action for the soft mode in the large-$p$ limit. The resulting action is:
$$S = -\frac{N \alpha_S}{\beta J} \int_0^{2\pi} du \, \text{Sch}[\tan(f/2), u]$$
Crucially, the authors explicitly determine the prefactor:
$$\alpha_S = \frac{1}{4p^2}$$
This confirms the result $\alpha_S = 1/(4p^2)$ analytically without relying on numerical matching or ad-hoc symmetry arguments.

The "Schwarzian Chain"

The authors generalize their results to the SYK chain (a lattice of coupled SYK sites with nearest-neighbor interactions).

• Method A: The inter-site coupling is treated as a marginal bulk operator added to decoupled Liouville BCFTs.
• Method B: The Ansatz is made space-dependent.
• Result: They derive the effective action for the chain, termed the "Schwarzian chain":
  $$S = -\frac{N}{4p^2} \sum_{x=0}^{M-1} \left[ (\pi \delta v) \int d\tau \, \text{Sch}[\tan(f_x/2), \tau] + \alpha \int d\tau_1 d\tau_2 \, \mathcal{K}(f_x, f_{x+1}) \right]$$
  where $\mathcal{K}$ is a non-local kernel involving the reparametrization modes of adjacent sites. This confirms that the inter-site coupling leads to a non-local-in-time effective action.

Technical Insights

• Cancellation of Divergences: A significant technical achievement is the explicit demonstration of how the divergences from the boundary region (where the soft mode is sensitive to the breaking of conformal symmetry) are exactly canceled by contributions from the bulk of the Liouville theory.
• Control over Microscopic Dynamics: The paper demonstrates that the large-$p$ limit provides sufficient control over the microscopic dynamics to derive the effective field theory (EFT) without extra assumptions.

4. Significance

• Rigorous Foundation: The work provides a rigorous, first-principles derivation of the nonlinear Schwarzian action, a cornerstone of modern holographic duality (specifically the connection between SYK and Jackiw-Teitelboim gravity).
• Universality: It solidifies the understanding of the "Nearly-CFT$_1$" universality class, showing explicitly how the Schwarzian emerges from the breaking of reparametrization symmetry in a solvable quantum many-body system.
• Generalizability: The "Ansatz method" (Method B) is presented as a potentially generalizable tool for deriving soft mode actions in other systems where the Schwarzian is expected to emerge, offering a more "hands-on" alternative to abstract symmetry arguments.
• Chain Dynamics: The derivation of the Schwarzian chain action provides a concrete framework for studying transport, diffusion, and chaos in coupled SYK systems, which are relevant for understanding thermalization in higher-dimensional holographic duals.

In summary, Bucca and Mezei bridge the gap between the microscopic large-$p$ SYK Hamiltonian and the macroscopic Schwarzian effective theory, providing explicit analytical control over the nonlinear sector and extending these results to coupled lattice systems.