Modular Analyticity and Chaos Bounds

Modular KMS analyticity can bound the growth of a normalized, bounded analytic correlator. The bound follows from complex analysis once the strip and boundary norm are established. It does not by itself prove physical-time chaos, scrambling, or a butterfly velocity. Those interpretations require an observable, a factorization or regulator, and a geometric or thermal identification of modular time.

Required background. Modular KMS correlators supply the analytic strip and ordering conventions.

Helpful background. Modular spectral measures supply the frequency interpretation.

The strip theorem behind growth bounds

Let $f(z)$ be analytic in the symmetric strip

$$\lvert\operatorname{Im}z\rvert<a$$

and suppose $\lvert f(z)\rvert\le1$ throughout the strip, including controlled boundary limits. Mapping the strip to the unit disk and applying Schwarz–Pick gives, on the real axis,

$$\frac{\lvert f'(x)\rvert}{1-\lvert f(x)\rvert^2} \le\frac{\pi}{4a}.$$

If $f(x)=1-\epsilon g(x)+O(\epsilon^2)$ with $g$ real and positive in a regime where the expansion is uniform, then

$$\frac{d}{dx}\log g(x) \le\frac{\pi}{2a}+O(\epsilon).$$

The numerical exponent comes entirely from the available half-width $a$. Shrinking the strip by operator collisions, regulator singularities, or a different ordering weakens the bound.

This theorem is conditional on two independent inputs: analyticity and a uniform bound. KMS supplies analytic continuation for appropriate ordered correlators, but it does not automatically normalize an arbitrary four-point function to the unit disk.

The structural map places Modular Analyticity and Chaos Bounds along the perturbative sequence from normalized state or shape variations to information metrics and modular transport.

At fixed comparison algebra, normalization removes the linear term in relative entropy. The second response supports several inequivalent constructions: state and shape tangents, stress-tensor kernels, monotone metrics, and zero-mode-projected transport. The diagram is schematic and not to scale.

Thermal chaos as a special conversion

For a thermal system at inverse temperature $\beta$, a suitably regularized out-of-time-order correlator can be arranged to be analytic and bounded in a strip whose conformal width yields

$$\lambda_L\le\frac{2\pi}{\beta}.$$

The argument of Maldacena, Shenker, and Stanford 2016, §§2–4 also assumes a separation between dissipation and scrambling scales, approximate factorization, and bounded operators or a regulated substitute. The exponent describes physical-time growth because the state is KMS for the physical Hamiltonian.

For modular flow with the convention

$$\sigma_s(A)=\Delta^{is}A\Delta^{-is},$$

the KMS period is dimensionless. A quarter-density-matrix regularization in a faithful finite setting can produce a centered strip with $a=1/4$, leading conditionally to a dimensionless modular growth rate no larger than $2\pi$. If a thermal identification gives $t=-\beta s$, this reproduces the physical bound. For a wedge, $s$ converts to boost rapidity; for a generic region, there is no universal physical-time conversion.

What a modular correlator must specify

A candidate modular growth function should state:

• the algebra and reference state;
• the exact ordering and any fractional modular insertions;
• the analytic strip after all operator singularities are considered;
• the normalization making $\lvert f\rvert\le1$;
• the real interval on which the small-deviation expansion holds;
• regulator and large-parameter limits, including their order;
• the observable meaning of the extracted exponent.

For unbounded fields, norm boundedness usually fails. Smearing, spectral cutoffs, or bounded functions of fields may restore a controlled statement, but the resulting bound applies to that regulated observable class.

Modular perturbations and the 2π rate

Variations of a modular Hamiltonian can be transported by reference modular flow:

$$\delta K(s)=e^{-isK}\delta K\,e^{isK}.$$

In holographic and algebraic investigations, components with apparent $e^{\pm2\pi s}$ behavior have been called modular scrambling modes. The label is useful when the analytic and norm hypotheses are verified and when these components are defined modulo modular zero modes. It remains a statement about modular response. Identifying it with bulk null motion or many-body chaos is model-dependent.

An observed slope near $2\pi$ in a short finite-cutoff window is not saturation. One should vary the time window, operator smearing, cutoff, and fit model; test the strip-bound residual; and compare with deliberately nonchaotic reference families.

No universal velocity

A butterfly velocity combines temporal growth with spatial spread. Modular flow of a generic region is nonlocal and need not respect ordinary time slices. KMS analyticity contains no spatial metric or light-cone estimate, so it cannot by itself bound a velocity.

Even a physical thermal OTOC needs locality or a Lieb–Robinson-type input to discuss propagation. In relativistic QFT, microcausality supplies a causal cone, but connecting the modular parameter to physical time still requires a geometric or thermal theorem.

Evidence boundary

As assessed through 10 August 2026, the thermal strip theorem and its physical-time bound are established under the stated analyticity, boundedness, and factorization hypotheses. Proposed modular scrambling modes provide controlled information in special algebraic and holographic settings de Boer and Lamprou 2020, §§ 2–5, but there is no universal theorem turning a modular-time rate into a Lyapunov exponent or butterfly velocity for a generic QFT region.

Failure tests

Before fitting an exponent:

1. verify the KMS boundary relation in the chosen convention;
2. locate the nearest complex-time singularity numerically or analytically;
3. establish a boundary norm bound, not only bounded values on the real axis;
4. test that the small deviation $1-f$ stays positive and parametrically small;
5. repeat the fit under regulator, smearing, and window refinement;
6. withdraw a chaos interpretation if modular time lacks a physical conversion.

These tests separate a complex-analysis bound from a claim about microscopic dynamics.

Common pitfalls

Using KMS analyticity without boundedness. Schwarz–Pick requires a map into the disk. Analytic but unbounded functions can grow arbitrarily fast.

Calling $2\pi$ a Lyapunov exponent before fixing units. It is dimensionless in modular time. A physical exponent needs the correct conversion factor.

Inferring a butterfly velocity from a strip. Spatial propagation requires independent locality and geometry.

Before interpreting this response coefficient, use the validity map to check normalization, tangent domains, contact and regulator terms, metric choice, and analyticity independently.

Normalization, domain, contact-term, metric, and analyticity checks are independent. A failed gate narrows or withdraws the physical claim; it is not a change of notation. The decision map is schematic and not to scale.

References

• de Boer, Jan, and Lampros Lamprou. “Holographic Order from Modular Chaos.” Journal of High Energy Physics 2020, no. 6 (2020): 024. DOI; arXiv.
• Maldacena, Juan, Stephen H. Shenker, and Douglas Stanford. “A Bound on Chaos.” Journal of High Energy Physics 2016, no. 8 (2016): 106. DOI; arXiv.