Lecture Notes on Positivity Properties of Scattering Amplitudes

This paper reviews the mathematical structure, physical origins, and diverse applications of completely monotone and Stieltjes functions in quantum field theory, highlighting their role in constraining scattering amplitudes, informing numerical bootstrap methods, and connecting to positive geometry.

The Gist

Imagine you are trying to predict the weather. You have a complex system with wind, temperature, and pressure. Usually, predicting the future requires solving incredibly difficult equations. But what if you discovered that the weather follows a simple, unbreakable rule: it never gets colder than it was yesterday, and the rate at which it cools down never speeds up?

If you knew that, you wouldn't need to solve the whole system. You could predict the future temperature just by looking at today's rate of change.

This is the core idea of the lecture notes by Prashanth Ramana. The paper explores a hidden "superpower" in the math of particle physics called Complete Monotonicity and Stieltjes functions. These are special mathematical shapes that obey an infinite hierarchy of "no-go" rules about how they can curve and change.

Here is the story of the paper, broken down into everyday concepts.

1. The Magic Shape: The "Smooth Slide"

In the world of math, most functions are messy. They wiggle, they oscillate, and they can go up and down wildly.

But Completely Monotone (CM) functions are like a perfectly smooth slide.

• The Rule: If you are on this slide, you are always going down (or staying flat). You never go up.
• The Twist: Not only are you going down, but your speed of going down is also slowing down. And the rate at which your speed slows down is also slowing down.
• The Analogy: Imagine a car braking on a straight road. It slows down (velocity decreases). The force of the brakes gets lighter (acceleration decreases). The jerkiness of the brakes gets smoother (jerk decreases). This car never speeds up, and the "braking" never gets more aggressive. It just fades away smoothly.

The paper argues that many fundamental quantities in the universe (like the probability of particles scattering) aren't messy wiggles; they are these perfect, smooth slides.

2. The "Shadow" of the Universe: Positive Geometry

Why do these particles behave like smooth slides? The paper connects this to a concept called Positive Geometry.

Imagine the universe is a giant, multi-dimensional room. In this room, there are invisible walls that define what is possible.

• The Room: This is the "Positive Geometry."
• The Volume: The probability of an event happening is like the "volume" of a shape inside this room.
• The Connection: Just as a physical volume is always a positive number (you can't have negative space), these mathematical "volumes" are always positive.

Because these shapes are built from positive blocks, the resulting math (the function) inherits the "smooth slide" property. It's like baking a cake: if you only use positive ingredients (flour, sugar, eggs), the final cake is positive. You can't accidentally bake a negative cake.

3. The Crystal Ball: Predicting the Future

Why does this matter? Because these "smooth slide" rules act like a crystal ball.

If you know a function is "Completely Monotone," you know an infinite number of things about it just by looking at a tiny piece of it.

• The Interpolation Problem: Imagine you know the temperature at 1 PM, 2 PM, and 3 PM. Usually, you can't guess what happens at 2:30 PM. But if you know the temperature follows the "smooth slide" rule, you can calculate the exact temperature at 2:30 PM, and even predict what it will be at 100 PM, with incredible precision.
• The Stieltjes Function: This is an even stricter version of the smooth slide. It's like a slide that not only goes down smoothly but also has a specific "shadow" that can be projected onto a wall. This allows physicists to take data from a safe, easy-to-calculate region (the "Euclidean" region, where math is nice) and project it into the dangerous, complex region where real particle collisions happen (the "Lorentzian" region).

4. The "Bootstrap": Building a House from One Brick

The paper discusses a method called the Numerical Bootstrap.

Usually, to calculate a particle interaction, you need to solve a massive equation involving billions of tiny loops (Feynman diagrams). It's like trying to build a skyscraper by calculating every single brick's stress individually.

The "Bootstrap" method says: "Wait! We know the building must be a 'smooth slide' shape. We don't need to calculate every brick. We just need to find the shape that fits the rules."

• How it works: You take a few known data points (like the first few loops of a calculation).
• The Constraint: You tell the computer, "The answer must be a smooth slide, and it must pass through these points."
• The Result: The computer narrows down the possibilities until there is only one answer left. It's like guessing a number between 1 and 100, but every time you guess, the rules tell you "No, it must be lower than 50, and higher than 20, and it must be an even number." Eventually, you know the exact number without ever guessing it directly.

5. Real-World Examples

The paper shows that this isn't just theory; it's happening in real physics:

• The Cusp: When a particle path bends sharply (like a cusp), the energy cost follows this smooth slide rule.
• The Bubble: Simple particle loops (like a bubble) are perfect examples of these functions.
• The Amplituhedron: In a special theory called N=4 Super Yang-Mills, the entire geometry of particle collisions is a shape called the Amplituhedron. The paper shows that the "volume" of this shape naturally creates these smooth, positive functions.

The Big Takeaway

For decades, physicists have treated these calculations as messy, complicated algebra. This paper reveals a deeper truth: Nature prefers simplicity and positivity.

The universe seems to be built on a foundation of "positive volumes" and "smooth slides." By recognizing these patterns, physicists can bypass the messy algebra and use the "rules of the slide" to predict the behavior of the universe with surprising accuracy. It turns the impossible task of calculating particle collisions into a game of fitting a puzzle piece into a very specific, pre-defined shape.

In short: The universe isn't chaotic; it's a perfectly smooth slide, and if we know the rules of the slide, we can predict the destination without ever leaving the starting point.

Technical Summary

1. Problem Statement

The paper addresses the fundamental question of how basic physical principles in Quantum Field Theory (QFT)—specifically unitarity, causality, and analyticity—manifest as rigorous mathematical constraints on scattering amplitudes and related observables.

• The Core Issue: While perturbative QFT observables (like Feynman integrals and scattering amplitudes) are often complex transcendental functions, recent observations suggest they obey a remarkably strong form of positivity known as complete monotonicity (CM) and belong to the class of Stieltjes functions.
• The Challenge: Understanding the origin of these properties across different regimes (Euclidean vs. Lorentzian, planar vs. non-planar, weak vs. strong coupling) and leveraging them to derive non-perturbative bounds, perform analytic continuation, and bootstrap unknown observables without explicit calculation.

2. Methodology

The author employs a multi-faceted approach combining rigorous mathematical analysis with physical applications:

• Mathematical Framework:

  • Completely Monotone (CM) Functions: Defined by the condition $(-1)^n f^{(n)}(x) \geq 0$. The paper utilizes the Bernstein-Hausdorff-Widder (BHW) theorem, which states that a function is CM if and only if it is the Laplace transform of a positive measure.
  • Stieltjes Functions: A subclass of CM functions admitting a spectral representation $f(z) = \int \frac{\rho(u)}{1+uz} du$ with $\rho(u) \geq 0$. These satisfy the Herglotz property (mapping the upper half-plane to the lower half-plane) and admit unsubtracted dispersion relations.
  • Positive Geometries: The paper connects these analytic properties to the geometry of the Amplituhedron and dual polytopes, where amplitudes are interpreted as canonical forms or volumes of dual geometric objects.
  • Hyperbolic Polynomials: Used to characterize the denominators of rational functions arising in non-polytopal geometries, linking CM properties to the theory of hyperbolic PDEs.

• Physical Application:

  • Integral Representations: Analyzing Feynman parametrizations (Symanzik polynomials) to show that scalar integrals in the Euclidean region naturally inherit CM properties due to the positivity of the integration measure and the linear dependence of kinematic variables in the denominator.
  • Dispersion Relations: Deriving CM and Stieltjes properties from unitarity (positive spectral densities) and causality.
  • Numerical Bootstrap: Combining differential equations (defining master integrals) with truncated positivity constraints (Hankel matrix positivity) to formulate convex optimization problems (Linear and Semidefinite Programming).

3. Key Contributions

A. Mathematical Unification of QFT Observables

The paper establishes that a wide class of QFT observables falls into the CM and Stieltjes classes:

• Scalar Feynman Integrals: Proven to be CM in the Euclidean region. Under specific conditions (linear dependence of kinematic variables in the second Symanzik polynomial), they are Stieltjes functions.
• Cusp Anomalous Dimension: The angle-dependent cusp anomalous dimension $\Gamma_{\text{cusp}}(x)$ is shown to be CM for $x \in (0,1)$, verified up to high loop orders in QCD, QED, and $\mathcal{N}=4$ SYM.
• Coulomb Branch Amplitudes: Amplitudes in $\mathcal{N}=4$ SYM on the Coulomb branch exhibit CM properties, persisting even at finite coupling where standard Mandelstam representations fail, suggesting a deeper geometric origin.
• Six-Particle Amplitudes: Inside the tree-level Amplituhedron, the perturbative coefficients of the six-particle amplitude are proven (analytically at 1-2 loops, numerically at 3-4 loops) to be CM.

B. Geometric Interpretation and Dual Volumes

• The paper elucidates the connection between CM functions and dual volumes. For convex polytopes, the canonical form is the volume of the dual polytope, which is manifestly CM.
• Generalization to Non-Polytopal Geometries: For non-polytopal geometries (e.g., the "half-pizza" geometry), the paper demonstrates that the canonical form can still be represented as a Laplace transform over a dual region, but requires a non-trivial, transcendental measure (derived via hyperbolic polynomials and spectrahedral shadows) rather than a constant density.

C. Numerical Bootstrap Framework

The author proposes a powerful computational method for evaluating Feynman integrals:

1. Local Constraints: Use CM properties to bound the function and its derivatives at a specific Euclidean point via convex optimization.
2. Analytic Continuation: Use the Stieltjes property to construct Padé approximants from the Taylor expansion (moments).
3. Result: This allows for the high-precision numerical evaluation of integrals (e.g., 20-loop banana integrals) across the complex plane without solving differential equations explicitly.

4. Key Results

• Theorem (Feynman Integrals): Scalar Feynman integrals are CM functions of kinematic variables in the Euclidean region if the second Symanzik polynomial is linear in those variables with non-negative coefficients.
• Theorem (Stieltjes Condition): Integrals are Stieltjes functions if the propagator powers satisfy $0 < \sum \nu_i - LD/2 \leq 1$ and the Symanzik polynomial is of the form $Ax+B$ with $A, B \geq 0$.
• Positivity Bounds: The paper derives rigorous non-perturbative bounds for scattering amplitudes within the Mandelstam triangle, showing that the amplitude attains its minimum at the crossing-symmetric point due to directional complete monotonicity.
• Convergence of Padé Approximants: For Stieltjes functions, Padé approximants converge monotonically and bound the function from above and below, providing rigorous error estimates for analytic continuation.
• Hyperbolicity Connection: A rational function is CM if and only if its denominator is a hyperbolic polynomial. This provides a constructive method to find the positive measure for non-polytopal geometries.

5. Significance

• Conceptual Insight: The work suggests that the "complexity" of QFT amplitudes is an illusion; they are governed by a small set of structural principles (positivity and convexity) rooted in unitarity and geometry. This bridges the gap between the analytic S-matrix program and the modern positive geometry program.
• Non-Perturbative Reach: The persistence of CM properties at finite coupling (even when standard dispersion relations break down) implies that these positivity constraints are more fundamental than perturbative expansions, potentially offering a window into the non-perturbative structure of QFT.
• Computational Utility: The numerical bootstrap method offers a practical alternative to traditional integration techniques for high-loop calculations, particularly in regimes where analytic solutions are intractable.
• Geometric Generalization: By linking CM functions to hyperbolic polynomials and spectrahedral shadows, the paper provides a roadmap for extending the "dual volume" interpretation of amplitudes beyond simple polytopes to general positive geometries.

In summary, Ramana's lecture notes provide a comprehensive synthesis of how complete monotonicity and Stieltjes properties serve as a unifying language for QFT, offering both deep theoretical insights into the nature of scattering amplitudes and practical tools for their calculation and bounding.