Spectral Structure of the Mixed Hessian of the Dispersionless Toda $\tau$-Function

This paper demonstrates that for the $s$-fold symmetric one-harmonic polynomial conformal map, the first spectral instability of the mixed Hessian of the dispersionless Toda $\tau$-function occurs at the analytic threshold $\zeta_c$ rather than the later geometric threshold $\zeta_{\mathrm{univ}}$ where univalence is lost, characterized by a single logarithmically diverging eigenvalue and a bounded remainder spectrum.

The Gist

The Big Picture: A Balloon and a Stiff Spring

Imagine you are inflating a special, magical balloon. This balloon represents a shape in the complex plane (a flat, 2D world). As you blow air into it, the shape changes.

In mathematics, there is a "control panel" for this balloon. It has knobs that adjust the shape's "harmonic moments" (think of these as the balloon's internal tension or how it stretches). The paper studies a specific machine attached to this control panel called the Mixed Hessian.

Think of the Mixed Hessian as a giant, complex spring system inside the balloon.

• When you turn a knob slightly, the springs wiggle.
• The "stiffness" of these springs tells mathematicians how sensitive the balloon is to changes.
• If a spring becomes infinitely stiff, it means the system is hitting a critical point—a moment of instability or a "tipping point."

The author, Oleg Alekseev, asks a very specific question: What causes the springs to break?

There are two obvious candidates for what might break the system:

1. The Analytic Break: The mathematical formula describing the balloon's shape gets "tangled" or singular (like a knot in a string).
2. The Geometric Break: The balloon actually starts to fold over itself, creating a sharp point (a cusp) or a self-intersection.

Intuitively, you might think the balloon breaks only when it folds over (the geometric break). However, this paper proves a surprising fact: The springs break before the balloon even folds.

---

The Two Thresholds: The "Knot" vs. The "Fold"

The paper studies a specific type of balloon that has $s$-fold symmetry (like a flower with $s$ petals). As you inflate it, two things happen at different times:

1. The Analytic Threshold ($\zeta_c$): This is the moment the mathematical formula describing the balloon's edge hits a "knot." The formula becomes singular (it has a square-root singularity). Imagine a smooth curve that suddenly tries to turn a corner so sharply that the math describing it starts to scream.
2. The Geometric Threshold ($\zeta_{univ}$): This is the moment the balloon actually loses its smooth shape. It develops a sharp point (a cusp) or folds back on itself. This is the "univalence" loss—where the map stops being a one-to-one shape.

The Discovery:
The paper proves that the Analytic Threshold happens first.

• $\zeta_c < \zeta_{univ}$
• The "spring system" (the Hessian) becomes unstable and one of its springs goes "stiff" (its value goes to infinity) while the balloon is still perfectly smooth and hasn't folded yet.

The "Stiff" Spring and the "Soft" Crowd

The paper dives deep into the math of these springs (eigenvalues). Here is what they found:

• One Loud Spring: In every symmetry sector (every "petal" of the flower), there is exactly one spring that goes crazy. As you approach the Analytic Threshold, this spring's stiffness grows logarithmically (it gets louder and louder, like a siren).
• The Quiet Crowd: All the other thousands of springs in the system stay calm. They remain bounded and stable. They don't break; they just settle into a new, quiet rhythm.

The Metaphor: Imagine a stadium full of people (the springs). As the balloon approaches the critical point, one person in the stands starts screaming (the stiff mode). Everyone else is whispering or silent. The screaming happens before the stadium structure actually collapses (the geometric fold).

The "Ghost" Data: What Happens After the Break?

Usually, when a mathematical system breaks (becomes singular), you can't calculate anything past that point. It's like a bridge collapsing; you can't drive past it.

But this paper found a "ghost" path.

• Even though the main "spring system" breaks at the Analytic Threshold, the underlying scalar data (the raw numbers that build the springs) can be analytically continued.
• Think of this as having a map that shows the road through the collapsed bridge. The road exists mathematically, even if the physical bridge is gone.
• The authors show that these numbers can be described using Generalized Hypergeometric functions (a fancy type of mathematical function) and can be visualized as a Jacobi operator (a specific type of matrix).
• Crucially, these "ghost" numbers remain finite and well-behaved even when the balloon finally folds over at the Geometric Threshold. The "scream" of the spring stops being infinite, but the system doesn't explode; it just transitions into a new state.

Why Does This Matter?

1. It's Not About the Shape, It's About the Math: In many physical systems (like fluid dynamics or growing crystals), we assume things break because the shape gets ugly (cusps). This paper says, "Wait! The math breaks first." The instability is hidden in the analytic properties of the map, not just the geometry.
2. Predicting the Tipping Point: By understanding that the "stiff spring" appears at the Analytic Threshold, scientists can predict when a system will become unstable before it actually looks broken.
3. A New Tool: The paper provides a way to calculate what happens after the break using these "ghost" functions, which is useful for understanding complex systems like the Dispersionless Toda hierarchy (a model used in physics for wave propagation and random matrix theory).

Summary in One Sentence

The paper reveals that in a symmetric, growing shape, the internal mathematical "tension" (the Hessian) snaps and screams before the shape itself ever folds or breaks, and we can still mathematically track the system's behavior even after that snap occurs.

Technical Summary

1. Problem Statement and Context

The paper investigates the spectral properties of the mixed Hessian of the dispersionless Toda free energy ($F = \log \tau$), denoted as $(H_{mn})$. This object arises in the study of planar domains, conformal maps, Laplacian growth, and normal matrix models. Specifically, $H_{mn}$ represents the second-order response of the system to deformations of harmonic moments.

The central question addressed is: What governs the first spectral instability (singularity) of the mixed Hessian as a conformal map approaches criticality?

• Analytic Criticality ($\zeta_c$): The point where the dominant square-root singularity of the inverse conformal map reaches the circle of convergence.
• Geometric Criticality ($\zeta_{univ}$): The later point where the conformal map ceases to be univalent (injective), leading to geometric singularities like cusps or self-intersections.

The author studies the $s$-fold symmetric one-harmonic polynomial family:
$$f(w) = rw + aw^{1-s}, \quad s \ge 2, \quad \zeta = a/r > 0$$
This family is chosen because it allows for explicit analysis and clearly separates the analytic threshold $\zeta_c$ from the geometric threshold $\zeta_{univ}$.

2. Methodology

The paper employs a combination of operator theory, complex analysis, and combinatorial asymptotics:

1. Inverse Map Analysis: The inverse branch $w(z)$ is analyzed via the algebraic equation $U = 1 + \zeta x^s U^s$ (where $x=r/z$). The coefficients of the inverse map are identified as Raney numbers ($R_{s,p}(n)$).
2. Gram Factorization: The mixed Hessian is shown to admit an exact Gram representation as a sum of rank-one operators constructed from Raney coefficients. This reveals the underlying positivity and structure of the operator.
3. Weighted Renormalization: To handle the divergence near criticality, the author introduces a weighted Hilbert space realization. By applying specific diagonal weights to the basis vectors, the operator is transformed into a compact operator plus a rank-one perturbation, allowing for rigorous spectral analysis in the subcritical regime ($\zeta < \zeta_c$).
4. Hypergeometric Continuation: For the supercritical regime ($\zeta > \zeta_c$), the author analyzes the scalar generating functions of the squared Raney coefficients. These are identified as generalized hypergeometric functions ($_{2s}F_{2s-1}$), allowing for analytic continuation beyond the radius of convergence.
5. Jacobi Operator Realization: In the range $1 \le p \le s$, the continued scalar data are shown to correspond to the Weyl $m$-functions of bounded Jacobi operators, linking the spectral data to orthogonal polynomials.

3. Key Contributions and Results

A. Separation of Thresholds

The paper rigorously proves that the analytic threshold occurs strictly before the geometric threshold:
$$\zeta_c = \frac{(s-1)^{s-1}}{s^s} < \zeta_{univ} = \frac{1}{s-1}$$
This establishes an intermediate regime $\zeta_c < \zeta < \zeta_{univ}$ where the map is still univalent and the boundary is smooth, yet the spectral properties of the Hessian have already undergone a transition.

B. Theorem A: Rank-One Logarithmic Instability

In the subcritical regime ($\zeta < \zeta_c$), the weighted block Gram operator $\tilde{G}^{(q)}(\zeta)$ (in each symmetry sector $q$) admits a decomposition as $\zeta \to \zeta_c$:
$$\tilde{G}^{(q)}(\zeta) = L(\zeta) \, \mathbf{e}_d^{(q)} \otimes \mathbf{e}_d^{(q)*} + \tilde{C}^{(q)}(\zeta)$$

• $L(\zeta)$: A logarithmic factor diverging as $\log(1 - \zeta^2/\zeta_c^2)$.
• $\mathbf{e}_d^{(q)}$: A fixed, non-zero vector (the "stiff mode").
• $\tilde{C}^{(q)}(\zeta)$: A compact operator that remains uniformly bounded and converges to a limit.

Spectral Consequence: Exactly one eigenvalue in each symmetry sector diverges logarithmically ($\mu_1 \sim \Gamma L(\zeta)$), while all other eigenvalues ("soft modes") remain bounded and converge to the spectrum of the compressed limit operator. This contrasts with the classical holomorphic Grunsky operator, where the norm saturates at the geometric threshold.

C. Theorem B: Analytic Continuation of Scalar Data

Beyond the analytic threshold ($\zeta > \zeta_c$), the weighted operator picture breaks down. However, the underlying scalar Gram generating functions $G_p(u)$ (where $u=\zeta^2$) admit analytic continuation to the slit plane $\mathbb{C} \setminus [\zeta_c^2, \infty)$.

• Structure: $G_p(u)$ are generalized hypergeometric functions with a resonant singularity at $u = \zeta_c^2$ of the form:
  $$G_p(u) \sim A(u) + B(u) \left(1 - \frac{u}{\zeta_c^2}\right)^2 \log\left(1 - \frac{u}{\zeta_c^2}\right)$$
• Mechanism: The Euler differential operator used to recover the Gram weights from $G_p$ removes the quadratic prefactor, converting this mild singularity back into the logarithmic divergence observed in the subcritical regime.
• Jacobi Realization: For $1 \le p \le s$, $G_p(u)$ is the Weyl $m$-function of a bounded Jacobi operator, implying the existence of a positive representing measure.

D. Proposition C: Regularity at Geometric Criticality

The paper demonstrates that the analytically continued scalar data remain finite at the geometric threshold $\zeta_{univ}$. The singularity at $\zeta_c$ is purely analytic (branch-point driven) and is not caused by the loss of univalence or the formation of cusps.

4. Significance and Implications

1. Distinction of Criticalities: The work fundamentally distinguishes between analytic criticality (singularity of the inverse map) and geometric criticality (loss of univalence). In the mixed Hessian sector, the spectral instability is triggered by the former, occurring while the domain geometry is still perfectly smooth.
2. Spectral Mechanism: The paper identifies a universal mechanism for spectral instability in dispersionless integrable hierarchies: a rank-one logarithmic spike driven by the $m^{-3/2}$ coefficient decay associated with square-root branch points. This is distinct from the saturation of operator norms seen in purely holomorphic settings.
3. Intermediate Regime: The existence of the regime $\zeta_c < \zeta < \zeta_{univ}$ provides a new window for studying systems that are spectrally unstable but geometrically regular.
4. Methodological Advance: The combination of Raney number combinatorics, hypergeometric function theory, and weighted operator theory provides a robust framework for analyzing spectral transitions in non-linear integrable systems and random matrix models.

In conclusion, Alekseev proves that the "soft" geometric breakdown of the conformal map is preceded by a "hard" analytic spectral transition in the mixed Hessian, characterized by a single diverging eigenmode per symmetry sector, driven entirely by the branch-point structure of the inverse map.