A variational principle for holomorphic correspondences

This paper establishes a variational principle for holomorphic correspondences on the Riemann sphere by defining their measure-theoretic entropy and using it to formulate the pressure of continuous functions, analogous to the theory for continuous maps on compact metric spaces.

The Gist

Imagine you are standing in a vast, magical garden called the Riemann Sphere. In a normal garden, if you walk from one flower to another, there is usually just one clear path. But in this magical garden, the rules are different. When you stand at a flower, you might have multiple paths leading to different flowers, or even multiple flowers leading back to you. This is what mathematicians call a Holomorphic Correspondence. It's not a single map; it's a "choose-your-own-adventure" book where every step branches out into several possibilities.

The authors of this paper, Subith Gopinathan and Shrihari Sridharan, are trying to solve a big puzzle: How do we measure the "chaos" or "complexity" of this garden, and how do we predict the most likely paths a traveler will take?

Here is the breakdown of their work using simple analogies:

1. The Problem: Measuring Chaos in a Multi-Path World

In the world of standard math (dynamical systems), if you have a simple machine that moves a ball from point A to point B, we can easily measure how chaotic it is. We call this Entropy. Think of entropy as a measure of "surprise." If a machine always sends the ball to the same spot, there is zero surprise (zero entropy). If it sends the ball to a random spot every time, the surprise is high (high entropy).

But in this magical garden (the holomorphic correspondence), the ball doesn't just go to one spot; it splits into many. How do you measure the surprise when there are infinite branching paths? The authors say, "We need a new ruler."

2. The Solution: The "Shadow" Garden

To measure this complexity, the authors build a Shadow Garden (mathematically called the space of permissible paths).

• Instead of looking at just the flowers (points on the sphere), they look at the entire history of a walk.
• Imagine a traveler who has walked for a million years. Their path is a long string of choices: "Go to flower A, then B, then C..."
• The authors create a new space where every possible infinite walk is a single "point."
• In this Shadow Garden, the "move" is simple: just shift the string. If the path was "A-B-C-D...", the new path is "B-C-D...". This is called a Shift Map.

By turning the complex, branching garden into a simple "shifting" game in the Shadow Garden, they can use standard tools to measure the chaos.

3. The "Variational Principle": Finding the Best Balance

The core of their paper is something called the Variational Principle. Here is a simple way to think about it:

Imagine you are a tour guide in this magical garden. You want to find the most popular route that travelers take.

• Option A: You could look at every single possible path and count them (this is the "Topological Pressure"). It's hard and messy.
• Option B: You could look at the average behavior of the crowd. You ask, "What is the average amount of surprise (entropy) plus the average 'beauty' (a function called $f$) of the paths people actually take?"

The Variational Principle is the magical rule that says: Option A and Option B will always give you the exact same number.

It's like saying: "The total complexity of the entire maze is exactly equal to the sum of the 'surprise' and 'beauty' of the single most efficient way people navigate it." This allows mathematicians to switch between looking at the whole messy forest or just the most important tree, whichever is easier to study.

4. The Ruelle Operator: The "Magic Filter"

In the final section, the authors introduce a tool called the Ruelle Operator. Think of this as a magic filter or a sieve.

• You pour a mixture of all possible paths into the sieve.
• The sieve shakes and filters out the "noise" (the unlikely, chaotic paths).
• What falls out the bottom is a single, unique, perfect distribution of paths. This is the "Dinh-Sibony measure."

This unique distribution tells us exactly where the "traffic" in the garden will be. If you drop a leaf in this garden, this math predicts exactly where it will eventually settle down.

Summary

In everyday terms, this paper does three things:

1. Defines a new way to measure chaos for systems where one thing leads to many things (not just one).
2. Proves a bridge between the "total chaos" of the system and the "average behavior" of its most likely paths (The Variational Principle).
3. Builds a machine (the Ruelle Operator) that can filter out the noise to find the single, most stable pattern of movement in this chaotic, branching world.

The authors have successfully taken a very complex, abstract mathematical concept and shown that, just like in the real world, even in a place with infinite choices, there is a hidden order and a predictable "best path" that governs the system.

Technical Summary

Here is a detailed technical summary of the paper "A variational principle for holomorphic correspondences" by Subith Gopinathan and Shrihari Sridharan.

1. Problem Statement

The paper addresses the extension of thermodynamic formalism from continuous maps to holomorphic correspondences on the Riemann sphere ($\mathbb{P}^1$).

• Context: In classical dynamical systems, the Variational Principle (Equation 1.1) establishes a fundamental link between topological pressure ($P_T(f)$) and measure-theoretic entropy ($h_T(\mu)$) for a continuous map $T$ on a compact metric space. It states that the pressure is the supremum of the sum of entropy and the integral of a potential function over all invariant measures.
• Gap: While thermodynamic properties of holomorphic correspondences (set-valued maps) have been studied using topological definitions (separated/spanning sets), a rigorous measure-theoretic formulation of the variational principle specifically for holomorphic correspondences was lacking.
• Goal: The authors aim to define the measure-theoretic entropy for holomorphic correspondences, identify the appropriate space of invariant measures, and prove that the topological pressure satisfies the variational principle in this set-valued context.

2. Methodology

The authors employ a lifting technique, moving the dynamics from the Riemann sphere to a space of infinite iteration paths, analogous to the construction of shift spaces in symbolic dynamics.

A. Mathematical Framework

• Holomorphic Correspondence ($\Gamma$): Defined as a formal linear combination of irreducible complex-analytic subvarieties in $\mathbb{P}^1 \times \mathbb{P}^1$. It is characterized by forward degree ($d_{fwd}$) and topological degree ($d_{top}$).
• Space of Paths ($P_\Gamma(\mathbb{P}^1)$): The authors construct a compact metric space consisting of all permissible infinite forward iteration paths:
  $$P_\Gamma(\mathbb{P}^1) = \{ (x_0, x_1, \dots; \alpha_1, \alpha_2, \dots) \mid (x_{r-1}, x_r) \in \Gamma_{\alpha_r} \}$$
  This space is equipped with a metric $\Delta$ combining the spherical metric on $\mathbb{P}^1$ and the discrete metric on the branch indices.
• Shift Map ($\sigma_\Gamma$): A continuous left-shift map is defined on $P_\Gamma(\mathbb{P}^1)$, shifting the sequence of points and branch indices. This transforms the set-valued dynamics into a single-valued continuous dynamical system on a compact metric space.

B. Measure-Theoretic Construction

• Push-Forward Measures: The authors define a set $S_\Gamma$ of probability measures on $\mathbb{P}^1$. A measure $\nu \in S_\Gamma$ is the push-forward of a $\sigma_\Gamma$-invariant measure $\mu$ on the path space via the projection $\Pi_0$ (the map taking a path to its starting point).
• Intermediate Entropy: To bridge the gap between the path space and the base space, they define an "intermediate entropy" $h_{(\nu, \mu)}(\Gamma)$ for an ordered pair of measures $(\nu, \mu)$ where $\nu = (\Pi_0)_*\mu$. This is defined via the information function of partitions lifted from $\mathbb{P}^1$ to the path space.
• Measure-Theoretic Entropy: The entropy of the correspondence with respect to $\nu$ is defined as the supremum of the intermediate entropies over all possible lifts $\mu$:
  $$h_\nu(\Gamma) = \sup \{ h_{(\nu, \mu)}(\Gamma) \mid \mu \in M_{\sigma_\Gamma}(P_\Gamma), (\Pi_0)_*\mu = \nu \}$$

3. Key Contributions

1. Definition of Measure-Theoretic Entropy for Correspondences: The paper successfully defines $h_\nu(\Gamma)$ for holomorphic correspondences, resolving the ambiguity of how to assign entropy to set-valued maps in a measure-theoretic framework.
2. Proof of the Variational Principle: The authors prove that the topological pressure $P(\Gamma, f)$ (defined via separated sets/spanning sets) satisfies the variational principle:
   $$P(\Gamma, f) = \sup_{\nu \in S_\Gamma} \left( h_\nu(\Gamma) + \int f \, d\nu \right)$$
3. Connection to Shift Dynamics: A crucial technical result (Theorem 4.1) establishes that the intermediate entropy of the correspondence with respect to a pair $(\nu, \mu)$ is exactly equal to the measure-theoretic entropy of the shift map $\sigma_\Gamma$ with respect to the lifted measure $\mu$.
4. Ruelle Operator Analysis: The paper extends the analysis to the Ruelle operator (transfer operator) restricted to the support of the Dinh-Sibony measure ($\Omega_{DS}$). They prove the existence of a unique equilibrium state (measure) for expansive correspondences under the action of the Ruelle operator.

4. Main Results

• Theorem 5.2 (Variational Principle): Establishes the equality between topological pressure and the supremum of measure-theoretic quantities. This generalizes the classical result for maps to the set-valued holomorphic correspondence case.
• Corollary 5.3: The topological entropy of the correspondence is the supremum of the measure-theoretic entropies over the set $S_\Gamma$.
• Theorem 5.4: Characterizes the upper semicontinuity of the entropy map in terms of the variational principle, mirroring classical results for continuous maps.
• Theorem 6.4: For expansive holomorphic correspondences ($d_{top} > d_{fwd}$) restricted to the support of the Dinh-Sibony measure, the Ruelle operator $L_f$ has a unique eigenmeasure. Specifically, the sequence of normalized iterates of the operator converges to a unique invariant measure $\nu \in S_\Gamma$, which serves as the equilibrium state for the potential $f$.

5. Significance

• Unification of Theory: This work unifies the thermodynamic formalism of holomorphic maps and holomorphic correspondences. It demonstrates that despite the set-valued nature of correspondences, the core principles of ergodic theory (entropy, pressure, variational principles) hold when viewed through the lens of the associated shift space on path sequences.
• Foundation for Further Study: By rigorously defining the measure-theoretic entropy and proving the variational principle, the paper provides the necessary theoretical foundation for studying statistical properties (e.g., decay of correlations, central limit theorems) of holomorphic correspondences.
• Operator Theory: The analysis of the Ruelle operator on the support of the Dinh-Sibony measure connects complex dynamics with spectral theory, showing that unique equilibrium states exist for a broad class of these systems, similar to the classical case of rational maps.

In summary, the paper successfully generalizes the variational principle to holomorphic correspondences by lifting the dynamics to a path space, defining appropriate entropy, and proving that the topological pressure is indeed the supremum of the sum of this entropy and the potential integral.