A bound on chaos

• Commutators diagnose how perturbations by V affect later measurements of W, connecting quantum chaos to operator growth.Source: §1 · pp. 2–3
• The introduction identifies a broad hierarchy in which scrambling is parametrically slower than dissipation, including local and nonlocal qubit systems.For nonlocal interactions involving few qubits, t* scales logarithmically with the number of qubits; local systems instead depend on operator separation.Source: §1 · p. 3
• In semiclassical systems, exponential trajectory divergence gives C(t) approximately proportional to ℏ^2e^(2λ_Lt), with scrambling delayed to the Ehrenfest time.The collision time is approximately 1/λ_L, while the Ehrenfest time scales as λ_L^-1 log(1/ℏ).Source: §1 · p. 3
• The paper regularizes the commutator in quantum field theory by shifting operator insertions around the thermal circle and studies the related analytic function F(t).F is analytic in a complex-time strip of width β/2, with its strip edges related to the regularized commutator.Source: §1 · p. 4, Figure 1 · p. 5
• At late times, scrambling destroys delicate thermofield-double correlations, causing F(t) to become small and the commutator to approach its factorized long-time value.The setup assumes simple Hermitian operators with vanishing thermal one-point functions.Source: §1 · pp. 2, 4, 5
• The growing N^-2 term signals a rapid decrease of F(t) near the scrambling time t* = β/(2π) log N^2, while low-dimension dissipation occurs on td approximately β.Its coefficient is positive, order one, and dependent on the specific operators V and W.Source: §1 · p. 6

• The authors conjecture that chaos in thermal quantum systems with many degrees of freedom and a large hierarchy between scrambling and dissipation can develop no faster than the Einstein gravity result.Source: §2 · p. 6
• The conjecture is stated for thermal quantum systems with many degrees of freedom and a large separation between scrambling and dissipation scales.In semiclassical billiards, the many-degree-of-freedom parameter corresponds to the number of phase-space cells.Source: §2 · p. 6
• Between dissipation and scrambling, the out-of-time-order correlator is expected to remain near a factorized value F_d before chaos drives it downward.Large-N factorization or many degrees of freedom keeps commutators small for times much shorter than t*.Source: §2 · pp. 6–7
• The conjecture bounds the rate at which F_d − F(t) grows exponentially after a reference time t0, rather than requiring F(t) to remain constant indefinitely.Source: §2 · p. 7
• The argument combines a mathematical bound for analytic functions with physical assumptions that suitable time-ordered correlators approximately factorize.The paper presents evidence for these assumptions and uses them to infer the derivative bound.Source: §2 · p. 7

Einstein gravity

• Einstein-gravity holographic calculations give the same result across dimensions and operator choices, with gravitational scattering, universal coupling, and Rindler-horizon kinematics supplying the mechanism.Source: Einstein gravity · pp. 7–8

Higher derivative corrections

• Higher-derivative corrections with finitely many derivatives leave the result unchanged, suggesting a sharp bound on λ_L.Source: Higher derivative corrections · p. 8

Weak coupling

• At weak ’t Hooft coupling, the Lyapunov exponent is expected to scale as λ_L ∼ λ/β, parametrically below the gravitational limit.Source: Weak coupling · p. 8

Stringy corrections

• String corrections are analyzed through shock-wave dynamics, with the profile equation involving the string length and a positive geometric parameter μ^2.Source: Stringy corrections · pp. 8–9

Scattering bound

• The proposed time-growth bound is equivalent, through s ∼ exp(2πt/β), to a bulk scattering constraint on the eikonal phase and its energy exponent.Source: Scattering bound · p. 9
• Analyticity, unitarity, and causality imply the scattering exponent p ≤ 1, supporting the conjectured chaos bound and motivating a complex-time bound on F.Source: Scattering bound · p. 9

• The argument has two parts: a mathematical derivative bound under specified assumptions and physical justification that F satisfies closely related conditions.Source: §4 · p. 9

• The construction assumes f(t + iτ) is analytic for 0 < t and −β/4 ≤ τ ≤ β/4, while a planar AdS(d+1) black brane has μ2 = d(d−1)/(2ℓ2 AdS).Source: §4.1 · p. 9
• For the example f(t) = 1 −ϵeλLt, the stated properties imply the bound λL ≤2π.Source: §4.1 · p. 10
• Mapping the half-strip to the unit disk turns f into an analytic disk self-map, so the Schwarz-Pick theorem limits its hyperbolic-distance growth.Source: §4.1 · p. 10
• Applying the resulting inequality on the real-time axis gives the claimed derivative bound.Source: §4.1 · p. 10

• The proof requires F/Fd to satisfy analyticity and boundedness conditions, with the latter established only up to an error ε after time t0.Source: §4.2 · pp. 10–11
• Bounding f on the three half-strip boundaries and in the interior lets the Phragmén-Lindelöf principle establish |f|≤1 throughout the domain.Source: §4.2 · pp. 11–12
• The main physical input is late-time factorization of time-ordered correlators in chaotic many-body systems, quantified by ε for all t≥t0.Source: §4.2 · p. 11
• The approximation is useful when ε remains small while t0≪t*, and the bound applies once Fd−F(t) exceeds ε.Source: §4.2 · pp. 11, 13
• A cutoff before the recurrence time avoids late-time factorization failure, relying on F being very small for suitable times in a chaotic system.Source: §4.2 · p. 12
• For times beyond t0 plus a few thermal times, the mathematical result yields the desired bound on the normalized correlator.Source: §4.2 · p. 13

4.3.1 Large N systems

• Large-N systems yield the bound after optimizing the balance between scrambling growth and dissipation errors; symmetry-separated operators extend it to earlier times.For general operators, ε scales as N^-2 plus a dissipation term, while differing parity assignments can reduce ε to N^-2 and permit t0 = 0.Source: §4.3.1 · p. 13

4.3.2 Extended local systems

• Extended local systems support the bound when distant-operator factorization remains exponentially accurate, although large separation can delay the onset of the constrained growth.The argument uses ε = e^-c2L for generic chaotic finite-temperature systems, but factorization may fail in special systems with signaling at times proportional to L.Source: §4.3.2 · p. 14

4.3.3 Cases where there is no bound

• Massless two-dimensional free fields and related two-dimensional conformal theories can evade the bound near light cones because factorization fails when the commutator becomes significant.In the free-field example, the commutator grows as δ′(L − t), independently of temperature; large-c conformal theories suppress the related stress-tensor issue after smearing, while higher dimensions avoid it through spatial suppression.Source: §4.3.3 · pp. 14–15

4.3.4 Rindler space and the scattering bound

• For conformal field theories on Rindler space with d > 2, operator-product-expansion control proves the factorization condition and implies the associated scattering bound in theories with gravity duals.Rindler correlators of well-separated operators provide a worked example of the paper’s general argument.Source: §4.3.4 · p. 15

4.3.5 Semiclassical billiards

• In semiclassical chaotic systems, violating the bound would require τ_nl k_B T ≲ ħ, conflicting with the energy-time uncertainty principle and signaling breakdown of the semiclassical description.The nonlinear time τ_nl is associated with a mean free time for interacting quasiparticles or a stadium-billiard crossing time.Source: §4.3.5 · pp. 15–16

5 Concluding remarks

• The paper claims that the Lyapunov exponent governing out-of-time-order chaos growth satisfies λ_L ≤ 2πk_B T/ħ.The large number of degrees of freedom suppresses the initial commutator and separates scrambling from dissipation.Source: §5 · p. 16
• The direct argument combines analyticity with approximate factorization of time-ordered correlators, justified using large timelike or spacelike operator separations in relevant systems.The factorization arguments are supplied for different classes of systems with many degrees of freedom.Source: §5 · p. 16
• A large-N system that saturates the bound is speculatively suggested to possess an Einstein gravity dual, at least near its horizon.This speculation is presented in connection with the absence of light higher-spin single-trace states.Source: §5 · p. 16

Rindler construction

• Rindler time translations boost the right wedge forward and the left wedge backward, while the Minkowski vacuum acts as a thermofield-double state for the two wedges.The correlator F(t±iβ/4) becomes an ordinary Minkowski-space four-point function with suitable iϵ prescriptions.Source: A Rindler space and the scattering bound · pp. 17–18, Figure 2 · p. 17

Analyticity and OPE

• For separated operators, analytic continuation and the OPE keep the correlators factorized across the relevant time evolution, making the chaos bound a theorem in this Rindler situation.The argument uses small z−, smearing in z+, and the unitarity constraint ∆−S ≥ d−2 for d > 2.Source: A Rindler space and the scattering bound · pp. 17–18

Thermal scales

• The thermal dissipation time is set by the smallest conformal dimension, while the Lyapunov exponent equals the BFKL intercept λL = j(t = 0) − 1.The absence of recurrences is associated with the infinite thermal entropy of the hyperbolic space.Source: A Rindler space and the scattering bound · p. 18

Scope

• Two-dimensional exceptions arise from operators with dimension equal to spin, such as the stress tensor, so the general argument has a stated dimensional limitation.The cited exception is specifically associated with the two-dimensional case.Source: A Rindler space and the scattering bound · p. 18

Bulk scattering

• In large-N CFTs with Einstein gravity duals, the correlator probes high-energy gravitational scattering, and the chaos bound limits the eikonal phase to grow no faster than s.When scattering is weak, the decrease of F directly diagnoses the eikonal phase δ(s).Source: A Rindler space and the scattering bound · p. 19

Scattering constraints

• The scattering bound implies positivity of the Shapiro time delay, excludes classical Gauss-Bonnet theories, and rules out weakly coupled large-radius bulk theories with finite light particles of spin greater than two.A spin-J exchange gives δ(s) ∼ s^(J−1), so the bound requires J ≤ 2 in this regime.Source: A Rindler space and the scattering bound · p. 19