⚛️ high-energy theory

Positivity properties of observables in planar maximally supersymmetric Yang-Mills theory

This paper establishes that a broad class of exact observables in planar maximally supersymmetric Yang-Mills theory satisfy the Stieltjes property (a once-subtracted dispersion representation with a positive spectral measure), enabling the derivation of rigorous non-perturbative bounds from perturbative data and the recovery of strong-coupling expansions.

Original authors: Maximilian Haensch

Published 2026-06-30

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Maximilian Haensch

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand a very complex machine, like a quantum engine, but you can only see the parts that are closest to the "off" switch. In physics, this "off" switch is called weak coupling, where the math is easy to calculate but the results are just a list of numbers that eventually stop making sense (they diverge). The real mystery is what happens when you turn the machine up to full power (strong coupling).

This paper is like a detective story where the author, Maximilian Haensch, tries to figure out if there is a hidden "rulebook" that connects the weak-power calculations to the full-power reality of a specific, highly symmetric universe called Planar N=4 Super Yang-Mills theory.

Here is the breakdown of the paper's findings using simple analogies:

1. The "Magic Rulebook" (The Stieltjes Property)

The author is looking for a specific mathematical pattern called the Stieltjes property.

The Analogy: Imagine you have a recipe for a cake that only tells you how to mix the first few ingredients. Usually, if you try to guess the rest of the cake based on just those few ingredients, you might get it wrong. However, if the recipe follows a "Magic Rulebook" (the Stieltjes property), it means the ingredients are mixed in a very specific, positive way.
What it means: If an observable (a measurable quantity in the theory) follows this rule, it means the "ingredients" (the mathematical data) are all positive. This positivity is a superpower. It guarantees that if you take the weak-power recipe and use a specific type of mathematical guesswork (called Padé approximants), you won't just get a guess—you will get rigorous, guaranteed bounds on the true answer, even at full power.

2. The Investigation: Who Follows the Rules?

The author tested many different "machines" (observables) in this quantum universe to see if they follow the Magic Rulebook.

The Winners (They follow the rules):
- The Octagon: A specific shape of particle interaction. The author proved mathematically that it follows the rule.
- The Circular Wilson Loop: Think of this as a loop of string in the quantum world. Its logarithm follows the rule.
- The Bremsstrahlung Function: Related to how particles emit light when they brake. It follows the rule.
- BMN Limit: A specific high-speed limit of the theory. It follows the rule.
- The Cusp and Tilted Cusp: These are like sharp corners in the particle paths. The author couldn't prove it with a pen and paper, but they ran a massive computer simulation (up to 100 loops) and found strong numerical evidence that these also follow the rule.
The Losers (They break the rules):
- The Konishi Operator: A specific particle state. The author found that it violates the rulebook. The "ingredients" aren't all positive, so the magic trick doesn't work here.
- Octagon at weird angles: If you look at the Octagon from a strange angle (kinematic point), it stops following the rule.

3. The Superpowers of the Rulebook

Why does finding this rule matter? The author shows two main superpowers:

Power #1: The Safety Net (Non-perturbative Bounds)
Because the rulebook guarantees positivity, you can take a few known weak-power numbers and build a "safety net." You can say with 100% certainty: "The true answer at full power is definitely between this number and that number." You don't need to know the full answer to know the limits.
Power #2: The Crystal Ball (Bootstrapping)
If you assume the rulebook is true, you can use the first few numbers to predict the next numbers in the sequence with incredible precision. It's like knowing the first few notes of a song and being able to predict the next note with mathematical certainty because you know the song follows a strict scale. The author showed that for the "Cusp" observable, the first 99 numbers determine the 100th number to 56 decimal places!

4. Reversing the Flow: From Weak to Strong

Usually, physicists calculate from weak power to strong power. This paper shows a way to reverse-engineer the strong power behavior using the "dispersion relation" (the mathematical formula behind the rulebook).

The Analogy: Imagine you have a blurry photo of a distant mountain (weak coupling). Usually, you can't see the details. But if you know the mountain follows a specific geological rule (the Stieltjes property), you can use a special lens (Mellin-Barnes representation) to sharpen the image and see the peak (strong coupling) and even the hidden caves (non-perturbative corrections) that you couldn't see before.

5. A Weaker Rule (Complete Monotonicity)

For the "Losers" (like the Konishi operator) who broke the strict Stieltjes rule, the author checked if they followed a slightly weaker rule called Complete Monotonicity.

The Result: Even the "Losers" seem to follow this weaker rule. It's like a backup safety net. While it doesn't give you the same tight bounds as the Stieltjes property, it still tells you that the system behaves in a "nice," predictable way without wild oscillations.

Summary

The paper discovers that in this specific, highly symmetric quantum universe, many important quantities follow a strict "positivity rule." This rule acts as a bridge, allowing physicists to take limited, easy-to-calculate data and turn it into rigorous, guaranteed predictions about the system's behavior at full power. It turns a guessing game into a precise science for a broad class of these quantum observables.

Technical Summary: Positivity properties of observables in planar maximally supersymmetric Yang–Mills theory

Problem Statement
While positivity properties derived from unitarity and locality (such as the Källén–Lehmann representation) are well-established for observables as functions of kinematic variables, the analytic structure of observables as functions of the coupling constant remains poorly understood in quantum field theory. In quantum mechanics, specifically for the ground state energy of the anharmonic oscillator, it is known that the energy admits a once-subtracted dispersion relation with a positive spectral measure, a property known as the Stieltjes property. This paper investigates whether analogous Stieltjes properties hold for exact observables in planar $\mathcal{N}=4$ super Yang–Mills (sYM) theory as functions of the 't Hooft coupling $\lambda$ .

Methodology
The authors employ a combination of analytic proofs and numerical tests based on the theory of Stieltjes functions and moment problems.

Analytic Approach: For observables admitting closed-form expressions (e.g., the octagon anomalous dimension, the circular Wilson loop), the authors utilize Weierstrass factorization theorems to express the observables as infinite products. These are then converted into integral representations to explicitly identify the spectral measure and verify its positivity.
Numerical/Algebraic Approach: For observables without closed forms (e.g., the cusp anomalous dimension), the authors test the necessary and sufficient conditions for a series to be of Stieltjes type. These conditions are expressed as constraints on the Hankel matrices constructed from the perturbative coefficients $a_n$ . Specifically, they verify the positive semidefiniteness of Hankel matrices $H_N^0, H_N^1$ , and related combinations up to high loop orders (up to 100 loops).
Applications: The paper explores two primary applications of the Stieltjes property:
- Padé Bounds: Utilizing the property that Padé approximants of Stieltjes functions provide rigorous two-sided bounds on the exact function.
- Moment Bootstrap: Using the Hankel constraints to bound higher-order perturbative coefficients given a finite set of lower-order coefficients.
Strong-Coupling Recovery: The authors utilize Mellin–Barnes representations to relate the weak-coupling perturbative expansion to the strong-coupling expansion, analyzing the pole structure of the Mellin transform of the spectral density.

Key Results
The study establishes that the Stieltjes property holds for a broad class of exact observables in planar $\mathcal{N}=4$ sYM:

Analytically Proven: The property is proven for the octagon anomalous dimension ( $\Gamma_{\text{oct}}$ ), the logarithm of the circular Wilson loop ( $\log W$ ), the Bremsstrahlung function ( $B$ ), and anomalous dimensions in the BMN limit. For these, explicit dispersive representations with positive spectral measures are derived.
Numerically Verified: Strong numerical evidence is provided for the cusp anomalous dimension ( $\Gamma_{\text{cusp}}$ ), the tilted cusp anomalous dimension, and the hexagon anomalous dimension. The Hankel constraints are satisfied up to 100 loops for the cusp and hexagon cases.
Counterexamples: The Stieltjes property is shown not to hold for the full Konishi anomalous dimension (violating constraints at 7 loops) and for the octagon correlation function at generic kinematical points.
Complete Monotonicity: For observables that fail the Stieltjes test (like the octagon correlation function at generic points), the authors demonstrate that the weaker property of complete monotonicity in $1/\lambda$ still holds. This is established using path-integral arguments and Borel summation techniques.

Significance and Applications
The paper claims that the Stieltjes property offers two powerful practical consequences for the study of planar $\mathcal{N}=4$ sYM:

Non-perturbative Bounds: It allows the conversion of perturbative data into rigorous, non-perturbative bounds on observables. For the cusp anomalous dimension, Padé approximants constructed from perturbative coefficients are shown to strictly bound the exact result.
Bootstrap of Perturbative Coefficients: The positivity constraints allow for the "bootstrapping" of unknown higher-loop coefficients. The authors demonstrate that knowing the first $N$ coefficients of the cusp anomalous dimension constrains the $N+1$ -th coefficient to a narrow window; for 100 loops, the first 99 coefficients determine the 100th to 56 significant digits.
Recovery of Strong-Coupling Expansions: The paper outlines a method to recover the strong-coupling expansion (including non-perturbative corrections) from the dispersive representation via Mellin–Barnes techniques. It further suggests that multi-point Padé approximants can be used to analytically continue the perturbative coefficients to estimate strong-coupling behavior, though this method has fundamental limitations regarding asymptotic divergence.

Conclusion
The authors conclude that while the Stieltjes property is not universal (failing for Konishi and generic octagon kinematics), it is a robust feature of many exact observables in planar $\mathcal{N}=4$ sYM. This finding extends the utility of positivity arguments from kinematic variables to the coupling constant, providing new tools for bounding and reconstructing non-perturbative physics from perturbative data. The paper notes that the underlying structural reason for this analyticity and positivity in the coupling remains an open question.