Which Functions Admit a Positive Geometry? From Branch Cuts to String Amplitudes

This paper extends the framework of positive geometry to infinite unions of line segments and continuum limits to characterize canonical forms with branch cuts via the concept of pseudogenus, while demonstrating that string amplitudes admit such geometric interpretations and providing a fully geometric understanding of the KLT double copy at four points.

The Gist

Imagine you are trying to understand the complex dance of particles colliding in a particle accelerator. Physicists have long used a tool called "Positive Geometry" to describe these collisions. Think of this geometry as a special kind of Lego set.

In the old version of this Lego set, you could only build shapes out of straight, rigid blocks (rational functions). If a particle interaction was too wiggly, curved, or complex, it didn't fit in the box. It was like trying to build a flowing river out of square bricks; it just didn't work.

This paper, written by Hyungrok Kim and Jonah Stalknecht, says: "Let's upgrade the Lego set." They show us how to build with infinite, flexible strips and even continuous flowing lines, allowing us to describe much more complex particle interactions, including those from String Theory.

Here is the breakdown of their discovery using simple analogies:

1. The Infinite Strip Puzzle

Traditionally, Positive Geometry worked with finite shapes. But the authors realized that if you take an infinite number of tiny line segments and stack them up, you can create shapes that look like waves (sine and cosine functions).

• The Analogy: Imagine a staircase. If you only have a few steps, it's a jagged line. But if you have an infinite number of infinitesimally small steps, it looks like a smooth ramp.
• The Discovery: They found that by arranging these infinite strips in a specific pattern, the "shape" of the geometry perfectly matches the math of String Theory (the theory that says particles are tiny vibrating strings).

2. The "Pseudogenus" Filter

The paper introduces a new concept called Pseudogenus. This is a bit like a quality control filter for mathematical functions.

• The Analogy: Imagine you are a chef trying to bake a cake. You have a list of ingredients (zeros and poles of a function).
  • Old Rule (Genus): You can only bake the cake if the ingredients are perfectly balanced in a way that they never run out of energy (absolute convergence). This is very strict.
  • New Rule (Pseudogenus): You can bake the cake even if the ingredients cancel each other out in a specific order, as long as the final result is stable.
• The Result: This new filter allows them to include many more types of particle interactions that were previously considered "too messy" to fit into a geometric shape.

3. The "Ghost" States (The String Tower)

String theory predicts that particles aren't just single points; they are part of an infinite "tower" of heavier and heavier states (like a ladder going up forever).

• The Problem: If you try to build a geometric shape for a collision involving all these infinite states, the shape becomes too dense and collapses.
• The Insight: The authors prove that for a geometric shape to exist, almost all of these heavy "ghost" states must be silent. They exist in the theory, but they don't actually participate in the specific collision being measured.
• The Metaphor: Imagine a massive stadium full of people (the states). The geometry only works if 99.9% of the people are sitting quietly in the dark, and only a few are clapping. If everyone clapped at once, the geometry would break. This suggests that in our universe, most of these heavy string states are effectively "invisible" to low-energy collisions.

4. The KLT Double Copy: The Geometric Magic Trick

One of the most famous relationships in physics is the KLT Double Copy. It's a magic trick where you take the math for an "Open String" (like a guitar string) and combine it with itself to get the math for a "Closed String" (like a loop of string).

• The Old View: This was just a messy algebraic equation.
• The New View: The authors show this is actually geometric triangulation.
  • Imagine you have a big, complex shape (the Closed String).
  • The authors show you can cut this shape into pieces.
  • Some pieces look like the Open String.
  • Other pieces look like a "glue" (the KLT kernel).
  • The Magic: You can literally rearrange the geometric pieces of the Open String and the "glue" to reconstruct the Closed String. It's like taking two sets of Lego bricks and snapping them together to build a third, different structure.

5. From Discrete Steps to a Smooth River (The Continuum Limit)

Finally, the authors ask: "What happens if our infinite strips get so close together they merge?"

• The Analogy: Think of a digital photo. If you zoom in, you see pixels (discrete points). If you zoom out, it looks like a smooth image (continuous).
• The Discovery: When the strips merge, the sharp "poles" (singularities) of the math turn into Branch Cuts.
  • Branch Cuts are like tears or seams in the fabric of the mathematical space.
  • This is huge because it allows the Positive Geometry framework to describe loop amplitudes (complex particle interactions involving virtual particles), which previously were impossible to visualize geometrically. It turns a jagged, pixelated picture into a smooth, flowing river.

Summary

This paper is a bridge. It takes the rigid, blocky world of traditional geometry and stretches it into an infinite, flexible, and continuous world.

• Before: We could only describe simple, rational particle interactions.
• Now: We can describe the complex, wavy interactions of String Theory and even the "tears" in spacetime caused by quantum loops.
• The Takeaway: The universe might be built on a geometric foundation that is far more flexible and infinite than we ever imagined, provided we know how to look at the "infinite strips" correctly.

Technical Summary

1. Problem Statement

Traditional Positive Geometry frameworks (e.g., the Amplituhedron, Associahedron) successfully encode physical observables like scattering amplitudes as canonical forms of geometric regions. However, a fundamental limitation exists: these frameworks are restricted to rational functions. Many physically relevant quantities, such as string theory amplitudes (Veneziano, Virasoro–Shapiro) and loop integrands, involve transcendental functions (trigonometric, logarithmic) and branch cuts, which fall outside the scope of standard positive geometry.

The authors aim to answer two primary questions:

1. What is the class of functions that can be represented as the canonical form of a one-dimensional positive geometry, specifically allowing for infinite unions of line segments?
2. Can this framework be extended to the continuum limit to capture functions with branch cuts, thereby encompassing a broader range of physical observables?

2. Methodology

The authors employ tools from Complex Analysis, specifically Nevanlinna theory and the Cauchy transform, to generalize the definition of positive geometries.

• Discrete Case (Infinite Sums): They analyze infinite unions of line segments. The canonical form of a single interval $[a, b]$ is $d\log(\frac{x-a}{x-b})$. For an infinite union, the canonical form becomes the logarithmic derivative of an infinite product of factors.
• Pseudogenus Definition: To classify these infinite products, the authors introduce a new concept called pseudogenus ($\psi$). Unlike the standard genus in complex analysis, which requires absolute convergence of the product of factors, pseudogenus allows for conditional convergence based on a specific ordering (usually by increasing absolute value of zeros/poles).
  • They prove that a meromorphic function admits a representation as the canonical form of a weighted one-dimensional positive geometry if and only if it has pseudogenus zero.
• Continuum Limit: They consider the limit where the line segments become infinitesimally small and dense. In this limit, the discrete poles coalesce to form branch cuts.
  • The canonical form is derived via the Cauchy transform of a density function $\rho(t)$.
  • Using the Stieltjes–Perron inversion formula, they relate the discontinuity of the function across the branch cut to the density of the geometry.

3. Key Contributions

A. Classification via Pseudogenus

The paper establishes that the space of functions representable by one-dimensional positive geometries (discrete case) is exactly the set of meromorphic functions with pseudogenus zero.

• This is a stricter condition than having finite order but more permissive than having genus zero (which requires absolute convergence).
• Lemma 1: For functions with zeros and poles on the real line, the pseudogenus $\psi$ differs from the standard genus $g$ by at most one ($\psi = g$ if $g$ is even; $\psi \in \{g, g-1\}$ if $g$ is odd).

B. Constraints on Towers of States

The condition of pseudogenus zero imposes strong constraints on the density of states ($\sigma(x)$) in physical theories:

• The sum of inverse squares of the locations of poles/zeros must converge: $\sum |a_i|^{-2} < \infty$.
• Implication: This rules out "Hagedorn" behavior (exponential growth of states) typical of string theory towers if all states contribute to the amplitude.
• Conclusion: For stringy towers or Kaluza–Klein (KK) towers with three or more compact dimensions to admit a positive geometry, nearly all states must decouple from the scattering amplitude. Only towers with density growth slower than $x^{1-\epsilon}$ (e.g., 2 compact dimensions or specific stringy truncations) are consistent.

C. Geometric Interpretation of String Amplitudes

The authors demonstrate that the d log of both open and closed string amplitudes admits a positive geometry:

• Veneziano Amplitude (Open String): Despite the Gamma function having genus 1, the Beta function structure of the amplitude results in a pseudogenus of 0. Its canonical form is an infinite sum of line segments (weighted positive geometry).
• Virasoro–Shapiro Amplitude (Closed String): Similarly, the d log of this amplitude is shown to be a union of line segments with specific orientations (some segments have flipped signs).
• KLT Double Copy: The Kawai–Lewellen–Tye (KLT) relations, which connect open and closed string amplitudes, are given a fully geometric interpretation. The relation $\mathcal{A}_{closed} = \mathcal{A}_{open}^2 / \mathcal{A}_{KLT}$ translates to a linear combination of canonical forms:
  $$d\log \mathcal{A}_{closed} = 2 d\log \mathcal{A}_{open} - d\log \mathcal{A}_{KLT}$$
  Geometrically, the closed string geometry is obtained by "triangulating" the open string geometry and the inverse KLT kernel geometry (specifically, by flipping the orientation of segments for $n \geq 1$).

D. Continuum Limit and Branch Cuts

The paper generalizes positive geometry to the continuum:

• Infinite sums of segments become a continuous density $\rho(t)$.
• The canonical form becomes the derivative of the Cauchy transform of $\rho(t)$.
• This framework naturally incorporates branch cuts, allowing the representation of functions that are not meromorphic (e.g., loop amplitudes).
• A necessary condition for a function with a branch cut to admit such a geometry is that the density $\rho(t)$ must decay sufficiently fast at infinity ($\rho(t) \sim O(t^{-1-\epsilon})$), analogous to the genus constraint in the discrete case.

4. Results

1. Classification: The set of functions obtainable from 1D positive geometries is characterized by pseudogenus zero (discrete) or specific Cauchy transform properties (continuum).
2. String Theory: The d log of Veneziano and Virasoro–Shapiro amplitudes are canonical forms of infinite weighted positive geometries.
3. KLT Geometry: The KLT double copy at four points is interpreted as a geometric operation (triangulation/orientation flip) on the underlying line-segment geometries.
4. Physical Constraints: The framework implies that standard stringy or high-dimensional KK towers cannot contribute fully to a 4-point amplitude if represented by a positive geometry; a "sparse" spectrum is required.

5. Significance

• Bridging Rational and Transcendental: The work significantly expands the scope of positive geometry from rational functions to include trigonometric, logarithmic, and branch-cut functions, which are ubiquitous in quantum field theory and string theory.
• New Geometric Language for String Theory: It provides a purely geometric interpretation for the KLT relations and the structure of string amplitudes, moving beyond algebraic identities to geometric triangulations.
• Constraints on UV Physics: The derived constraints on the density of states offer a new geometric perspective on the consistency of effective field theories with infinite towers of states (like string theory or extra dimensions).
• Future Directions: The paper opens the door to studying loop amplitudes (via branch cuts) and higher-point/multi-variable positive geometries, suggesting a path toward a geometric understanding of the full S-matrix in string theory.