arxiv: 2603.23424 · v2 · submitted 2026-03-24 · 🧮 math-ph · math.MP· nlin.SI

Recognition: 2 theorem links

· Lean Theorem

Spectral Structure of the Mixed Hessian of the Dispersionless Toda τ-Function

Oleg Alekseev

Authors on Pith no claims yet

Pith reviewed 2026-05-15 00:03 UTC · model grok-4.3

classification 🧮 math-ph math.MPnlin.SI

keywords dispersionless Todatau-functionmixed Hessianconformal mapsspectral transitionsymmetry blocksGram functionshypergeometric continuation

0 comments

The pith

The mixed Hessian of the dispersionless Toda tau-function develops exactly one logarithmically diverging eigenvalue in each symmetry block at the analytic threshold zeta_c.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies the spectral properties of the mixed Hessian for the dispersionless Toda tau-function tied to one-harmonic s-fold symmetric conformal maps. After symmetry decomposition into weighted blocks on a fixed Hilbert space, each block shows a single eigenvalue that diverges logarithmically as the deformation parameter approaches the critical value zeta_c where the dominant singularity of the inverse map reaches the normalization circle. All other eigenvalues remain bounded and converge to a compact limit, so the instability has rank one in every symmetry sector. The transition occurs strictly before the geometric threshold at which the map loses univalence. The associated scalar Gram generating functions continue past this point as generalized hypergeometric functions on a slit plane and stay regular at the univalence breakdown value.

Core claim

After symmetry decomposition and weighted realization, each block of the mixed Hessian develops exactly one logarithmically diverging eigenvalue as zeta approaches zeta_c = (s-1)^{s-1}/s^s, while the remaining spectrum stays bounded and converges to a compact limit. The scalar Gram generating functions extend as generalized hypergeometric functions on the slit plane C minus [zeta_c^2, infinity), with branch-point expansions containing the logarithmic term; for 1 less than or equal to p less than or equal to s these functions admit Cauchy-Stieltjes and Jacobi-matrix realizations and remain regular at the larger univalence threshold zeta_univ = 1/(s-1).

What carries the argument

Weighted symmetry-block realizations of the susceptibility matrix generated by the inverse conformal map, together with the analytic continuation of the scalar Gram generating functions as generalized hypergeometric series.

If this is right

The instability of the mixed Hessian is rank one within every symmetry sector.
The first spectral transition occurs at the analytic threshold zeta_c rather than at the geometric univalence threshold.
The continued scalar Gram functions admit Cauchy-Stieltjes and Jacobi-matrix realizations for parameters in the range 1 to s.
The scalar quantities remain finite and regular at the univalence breakdown point.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The rank-one character suggests that near the transition the effective dynamics in each sector could be captured by a reduced one-dimensional model after removing the diverging mode.
The hypergeometric continuation supplies an explicit route for computing corrections to the Hessian spectrum across the analytic threshold without reference to the geometric singularity.
If analogous block decompositions exist for less symmetric maps, the instability would remain low-rank and potentially controllable by symmetry projections.

Load-bearing premise

The weighted symmetry-block realizations on a fixed Hilbert space faithfully capture the essential spectral properties of the mixed Hessian for the given one-harmonic s-fold symmetric conformal map.

What would settle it

Numerical computation of the eigenvalues of the mixed Hessian matrix for small fixed s such as s=2 or s=3, checking whether exactly one eigenvalue per block diverges logarithmically while the rest stay bounded as zeta approaches zeta_c from below.

Figures

Figures reproduced from arXiv: 2603.23424 by Oleg Alekseev.

**Figure 1.** Figure 1: Logarithmic spectral asymptotics of the weighted Gram block Ge(q) (ζ) for s = 3, 5 in sector q = 1 (β = 1, N = 30). Top row: the leading eigenvalue µ (q) 1 (ζ) plotted against L(ζ), showing the asymptotically affine law µ (q) 1 (ζ) = Γ(q) L(ζ)+O(1). The dashed line is a tail linear fit. Bottom row: the normalized eigenvalues µ (q) k (ζ)/L(ζ). The ratio µ (q) 1 (ζ)/L(ζ) approaches a positive constant, wher… view at source ↗

**Figure 2.** Figure 2: Soft spectrum after removal of the stiff direction for s = 3, 5 (β = 1, N = 40). Top row: the soft eigenvalues µ (q) 2 (ζ), . . . , µ (q) 6 (ζ) in sector q = 1, plotted against 1/L(ζ). Their flattening as 1/L(ζ) → 0 shows that the soft eigenvalues remain bounded as ζ ↑ ζc. Bottom row: finite-ζ snapshots of the soft eigenvalues for all sectors q = 1, . . . , s at ζ/ζc = 0.9999. Remark 4.9 (Soft modes). Prop… view at source ↗

**Figure 3.** Figure 3: Continued Gram weights σ cont p (u) and discontinuity density ρp(u) for s = 3, 5. Top row: the analytically continued Gram weights σ cont p (u) on the subcritical side 0 < u < ζ2 c . Bottom row: the discontinuity density ρp(u) on the supercritical side u > ζ2 c . The open circles at u = ζ 2 c mark the edge values ρp(ζ 2 c ) > 0. For larger values of p, the density becomes negative away from the edge, showi… view at source ↗

**Figure 4.** Figure 4: Structure of the first soft modes of Ce(q) ∗,⊥ for s = 3, 5, with q = 1, β = 1, and N = 40. The curves show the signed components of the eigenvectors ϕ (q) 2 , ϕ(q) 3 , ϕ(q) 4 , ϕ(q) 5 , corresponding to the soft eigenvalues µ (q) 2,∗ , µ (q) 3,∗ , µ (q) 4,∗ , µ (q) 5,∗ . As the mode index increases, the eigenvectors become more oscillatory while remaining concentrated near low values of the lattice index … view at source ↗

read the original abstract

We study the mixed Hessian of the dispersionless Toda $\tau$-function for the one-harmonic $s$-fold symmetric conformal map $f(w)=rw+aw^{1-s}$. This Hessian is the susceptibility matrix generated by the inverse conformal map. Our spectral statements are formulated for its weighted symmetry-block realizations on a fixed Hilbert space. In that realization, the first spectral transition occurs at the analytic threshold $\zeta_c=(s-1)^{s-1}/s^s$, where the dominant square-root singularity of the inverse map reaches the normalization circle, rather than at the geometric threshold $\zeta_{\mathrm{univ}}=1/(s-1)$, where univalence fails. After symmetry decomposition and weighted realization, each block develops exactly one logarithmically diverging eigenvalue as $\zeta\uparrow\zeta_c$, while the remaining spectrum stays bounded and converges to a compact limit. The instability is therefore rank one in every symmetry sector of the weighted block theory. We then continue the scalar Gram generating functions beyond $\zeta_c$. They are generalized hypergeometric functions on the slit plane $\mathbb{C}\setminus[\zeta_c^2,\infty)$, their branch-point expansion contains the logarithmic term responsible for the divergence, and in the range $1\le p\le s$ they admit Cauchy--Stieltjes and Jacobi-matrix realizations. In particular, the continued scalar quantities remain regular at $\zeta_{\mathrm{univ}}$, so the analytic spectral transition strictly precedes the geometric breakdown of univalence.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows a rank-one log divergence in each symmetry block of the weighted mixed Hessian at the analytic threshold zeta_c, before univalence fails, with hypergeometric continuations for the Gram functions.

read the letter

The core result is that for the one-harmonic s-fold map, the mixed Hessian (susceptibility matrix) in its weighted symmetry-block form on a fixed Hilbert space has exactly one logarithmically diverging eigenvalue per block as zeta approaches zeta_c = (s-1)^{s-1}/s^s, with the rest of the spectrum bounded. The scalar Gram functions continue as generalized hypergeometric functions on the slit plane, regular at the geometric threshold zeta_univ where univalence breaks. This cleanly separates an analytic spectral transition from the geometric breakdown of the map. The explicit Cauchy-Stieltjes and Jacobi-matrix realizations for 1 ≤ p ≤ s are concrete and useful for this setup. The abstract states the claims without internal contradictions, and the distinction between thresholds looks like a genuine clarification for this class of conformal maps. The main soft spot is the reliance on the weighted realizations: it is not obvious whether the weighting and fixed-space embedding preserve the precise multiplicity and logarithmic rate of the divergence from the original unweighted Hessian, or if they introduce an artifact. Without the full derivations it is hard to check the error control or the isospectrality argument. This is narrow-scope work aimed at people already working on dispersionless Toda tau-functions and related integrable hierarchies in conformal geometry. It gives a precise spectral picture for this symmetric case that could be cited in follow-up studies of singularities in the susceptibility matrix. I would send it to referees familiar with the Toda literature rather than desk-reject it.

Referee Report

1 major / 1 minor

Summary. The paper analyzes the mixed Hessian of the dispersionless Toda τ-function for the one-harmonic s-fold symmetric conformal map f(w)=rw + a w^{1-s}. Spectral statements are formulated in weighted symmetry-block realizations on a fixed Hilbert space. The first transition occurs at the analytic threshold ζ_c = (s-1)^{s-1}/s^s rather than the geometric univalence threshold ζ_univ=1/(s-1). In this realization each symmetry block develops exactly one logarithmically diverging eigenvalue as ζ ↑ ζ_c while the remaining spectrum stays bounded and converges to a compact limit, implying rank-one instability per sector. The scalar Gram generating functions are continued beyond ζ_c as generalized hypergeometric functions on the slit plane, with explicit Cauchy-Stieltjes and Jacobi-matrix realizations for 1 ≤ p ≤ s; these continued quantities remain regular at ζ_univ.

Significance. If the spectral claims hold, the work distinguishes analytic singularities of the inverse map from geometric breakdown of univalence and establishes a precise rank-one character of the instability in each symmetry sector. The explicit hypergeometric continuations and matrix realizations supply concrete, verifiable objects that could be used for further analysis in integrable systems or conformal geometry. The parameter-free character of the thresholds and the explicit branch-point expansions are strengths that make the results falsifiable and potentially useful for numerical checks.

major comments (1)

Abstract and the section introducing weighted realizations: the central claim that each block develops exactly one logarithmically diverging eigenvalue (with the rest bounded) is formulated only for the weighted symmetry-block realizations on a fixed Hilbert space. The manuscript must supply a direct argument showing that the weighting and fixed-space embedding preserve the multiplicity and the precise logarithmic rate of divergence of the original unweighted mixed Hessian; without an isospectrality or perturbation-control statement, the rank-one instability could be an artifact of the chosen realization rather than intrinsic to the susceptibility matrix.

minor comments (1)

Notation: the distinction between the original mixed Hessian and its weighted block realizations should be emphasized consistently in every statement of the spectral results to avoid any ambiguity for readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. The report correctly identifies that our spectral claims are stated for the weighted symmetry-block realizations, and we address the request for an explicit justification that these properties are intrinsic to the original unweighted mixed Hessian.

read point-by-point responses

Referee: Abstract and the section introducing weighted realizations: the central claim that each block develops exactly one logarithmically diverging eigenvalue (with the rest bounded) is formulated only for the weighted symmetry-block realizations on a fixed Hilbert space. The manuscript must supply a direct argument showing that the weighting and fixed-space embedding preserve the multiplicity and the precise logarithmic rate of divergence of the original unweighted mixed Hessian; without an isospectrality or perturbation-control statement, the rank-one instability could be an artifact of the chosen realization rather than intrinsic to the susceptibility matrix.

Authors: We agree that an explicit argument is required. The weighting is introduced to realize the symmetry blocks on a fixed Hilbert space while preserving the inner-product structure induced by the inverse map; however, the manuscript does not currently contain a self-contained comparison to the unweighted susceptibility matrix. In the revised version we will add a short subsection (immediately following the definition of the weighted realizations) that supplies the missing control. Specifically, we will show that the weighting operator is a bounded, invertible multiplication operator whose norm remains uniformly controlled for ζ < ζ_c, and that the difference between the weighted and unweighted Hessians is a compact perturbation whose operator norm vanishes as the weight parameter tends to the unweighted limit. Because the diverging eigenvalue is simple and separated from the rest of the spectrum by a gap that remains positive up to ζ_c, standard perturbation theory for isolated eigenvalues then guarantees that both the multiplicity and the precise logarithmic divergence rate are preserved. This argument will be phrased in terms of the explicit Gram-matrix entries already computed in the paper, so no new computations are needed. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation proceeds via direct function continuation and spectral decomposition

full rationale

The paper derives the rank-one logarithmic divergence from the explicit branch-point expansion of the continued scalar Gram generating functions, identified as generalized hypergeometric functions on the slit plane. These functions are obtained by analytic continuation beyond ζ_c, with the log term arising directly from the singularity structure of the inverse map at the analytic threshold. The weighted symmetry-block realizations are introduced as a technical device to embed the blocks on a fixed Hilbert space, but the spectral statements follow from the hypergeometric representation and Cauchy-Stieltjes realizations rather than from any self-referential definition or fitted parameter that presupposes the divergence multiplicity. No load-bearing step reduces by construction to its own inputs, and external benchmarks (hypergeometric identities, Jacobi-matrix realizations) remain independent of the target claim.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The setup relies on standard background from dispersionless Toda hierarchies and conformal mapping theory, with the specific one-harmonic s-fold symmetric form introduced as the domain of study.

axioms (1)

domain assumption The conformal map takes the one-harmonic s-fold symmetric form f(w)=r w + a w^{1-s}
This specific functional form is chosen to enable the symmetry decomposition and weighted realization of the Hessian.

pith-pipeline@v0.9.0 · 5568 in / 1209 out tokens · 48893 ms · 2026-05-15T00:03:26.727991+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

After symmetry decomposition and weighted realization, each block develops exactly one logarithmically diverging eigenvalue as ζ↑ζ_c, while the remaining spectrum stays bounded and converges to a compact limit.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean embed_strictMono_of_one_lt unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The function G_p extends ... to a generalized hypergeometric function ... resonant expansion ... (1-u/ζ_c²)² log(1-u/ζ_c²)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Local Rank-One Logarithmic Instability for the Mixed Hessian of the Dispersionless Toda $\tau$-Function
math-ph 2026-03 unverdicted novelty 6.0

A rank-one logarithmic spectral instability appears in each symmetry block of the renormalized mixed Hessian of the dispersionless Toda τ-function near transversal subcritical approaches to simple analytic critical points.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper

[1]

N. I. Akhiezer.The Classical Moment Problem and Some Related Questions in Analysis. Oliver & Boyd, Edinburgh, 1965. Translated from the Russian by N. Kemmer

work page 1965
[2]

Bell.The Cauchy Transform, Potential Theory, and Conformal Mapping

Steven R. Bell.The Cauchy Transform, Potential Theory, and Conformal Mapping. CRC Press, Boca Raton, FL, 1992

work page 1992
[3]

Louis Comtet.Advanced Combinatorics: The Art of Finite and Infinite Expansions. D. Reidel Publishing Company, Dordrecht, 1974. doi: 10.1007/978-94-010-2196-8

work page doi:10.1007/978-94-010-2196-8 1974
[4]

Duren.Univalent Functions, volume 259 ofGrundlehren der mathematischen Wis- senschaften

Peter L. Duren.Univalent Functions, volume 259 ofGrundlehren der mathematischen Wis- senschaften. Springer-Verlag, New York, 1983. ISBN 9783540907954

work page 1983
[5]

Cambridge University Press, Cambridge, 2009

Philippe Flajolet and Robert Sedgewick.Analytic Combinatorics. Cambridge University Press, Cambridge, 2009. doi: 10.1017/CBO9780511801655

work page doi:10.1017/cbo9780511801655 2009
[6]

Forrester and Dang-Zheng Liu

Peter J. Forrester and Dang-Zheng Liu. Raney distributions and random matrix theory.Journal of Statistical Physics, 158(5):1051–1082, 2015. doi: 10.1007/s10955-014-1150-4

work page doi:10.1007/s10955-014-1150-4 2015
[7]

Addison-Wesley, Reading, MA, 2 edition, 1994

RonaldL.Graham, DonaldE.Knuth, andOrenPatashnik.Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley, Reading, MA, 2 edition, 1994

work page 1994
[8]

On the dynamics of roots and poles for solutions of the Polubarinova–Galin equation.Annales Fennici Mathematici, 38(1):259–286, 2013

Björn Gustafsson and Yu-Lin Lin. On the dynamics of roots and poles for solutions of the Polubarinova–Galin equation.Annales Fennici Mathematici, 38(1):259–286, 2013. doi: 10.5186/aasfm.2013.3802

work page doi:10.5186/aasfm.2013.3802 2013
[9]

John Wiley & Sons, New York, 1974

Peter Henrici.Applied and Computational Complex Analysis, Volume 1: Power Series, Inte- gration, Conformal Mapping, Location of Zeros. John Wiley & Sons, New York, 1974. ISBN 9780471372448

work page 1974
[10]

The Bergman kernel for circular multiply connected domains.Pacific Journal of Mathematics, 233(1):145–157, 2007

Moonja Jeong and Vladimir Mityushev. The Bergman kernel for circular multiply connected domains.Pacific Journal of Mathematics, 233(1):145–157, 2007. doi: 10.2140/pjm.2007.233.145

work page doi:10.2140/pjm.2007.233.145 2007
[11]

Coulomb gas and the Grunsky operator on a Jordan domain with corners.Inventiones mathematicae, 2026

Kurt Johansson and Fredrik Viklund. Coulomb gas and the Grunsky operator on a Jordan domain with corners.Inventiones mathematicae, 2026. doi: 10.1007/s00222-026-01417-5

work page doi:10.1007/s00222-026-01417-5 2026
[12]

τ-function for analytic curves

Ivan Kostov, Igor Krichever, Mark Mineev-Weinstein, Paul Wiegmann, and Anton Zabrodin. τ-function for analytic curves. In Pavel Bleher and Alexander Its, editors,Random Matrices and Their Applications, volume 40 ofMathematical Sciences Research Institute Publications, pages 285–299. Cambridge University Press, Cambridge, 2001

work page 2001
[13]

Jian-Guo Liu and Robert L. Pego. On generating functions of Hausdorff moment sequences. Transactions of the American Mathematical Society, 368(12):8499–8518, December 2016. doi: 10.1090/tran/6618. URLhttps://doi.org/10.1090/tran/6618

work page doi:10.1090/tran/6618 2016
[14]

On generating functions of Hausdorff moment sequences

Jian-Guo Liu and Robert L. Pego. Corrigendum to “On generating functions of Hausdorff moment sequences”.Transactions of the American Mathematical Society, 379(4), 2026. doi: 10.1090/tran/9582

work page doi:10.1090/tran/9582 2026
[15]

Marshakov, P

A. Marshakov, P. Wiegmann, and A. Zabrodin. Integrable structure of the Dirichlet boundary problem in two dimensions.Communications in Mathematical Physics, 227:131–153, 2002. doi: 10.1007/s002200200629

work page doi:10.1007/s002200200629 2002
[16]

Barkai and S

Mark Mineev-Weinstein, Paul B. Wiegmann, and Anton Zabrodin. Integrable structure of interface dynamics.Physical Review Letters, 84(22):5106–5109, 2000. doi: 10.1103/PhysRevLett. 84.5106

work page doi:10.1103/physrevlett 2000
[17]

NIST Digital Library of Mathematical Functions.https://dlmf.nist.gov/

NIST Digital Library of Mathematical Functions. NIST Digital Library of Mathematical Functions.https://dlmf.nist.gov/. Release 1.2.1 (2025-06-15), accessed 2026-01-18

work page 2025
[18]

Springer-Verlag, Berlin, 1992

Christian Pommerenke.Boundary Behaviour of Conformal Maps, volume 299 ofGrundlehren der mathematischen Wissenschaften. Springer-Verlag, Berlin, 1992. doi: 10.1007/978-3-662-02770-7

work page doi:10.1007/978-3-662-02770-7 1992
[19]

George N. Raney. Functional composition patterns and power series reversion.Transactions of the American Mathematical Society, 94(3):441–451, 1960. doi: 10.1090/S0002-9947-1960-0114765-9

work page doi:10.1090/s0002-9947-1960-0114765-9 1960
[20]

Fredholm eigenvalues and Grunsky matrices.Annales Polonici Mathematici, 39(1):149–164, 1981

Menahem Schiffer. Fredholm eigenvalues and Grunsky matrices.Annales Polonici Mathematici, 39(1):149–164, 1981. doi: 10.4064/ap-39-1-149-164. 44 OLEG ALEKSEEV

work page doi:10.4064/ap-39-1-149-164 1981
[21]

Fredholm eigenvalue for a quasi-circle and Grunsky functionals.Annales Fennici Mathematici, 35(2):581–593, 2010

Yuliang Shen. Fredholm eigenvalue for a quasi-circle and Grunsky functionals.Annales Fennici Mathematici, 35(2):581–593, 2010. doi: 10.5186/aasfm.2010.3536

work page doi:10.5186/aasfm.2010.3536 2010
[22]

Cambridge University Press, Cam- bridge, 1966

Lucy Joan Slater.Generalized Hypergeometric Functions. Cambridge University Press, Cam- bridge, 1966

work page 1966
[23]

Takhtajan

Leon A. Takhtajan. Free bosons and tau-functions for compact riemann surfaces and closed smooth jordan curves. current correlation functions.Letters in Mathematical Physics, 56(3): 181–228, 2001. doi: 10.1023/A:1017999407650

work page doi:10.1023/a:1017999407650 2001
[24]

Conformal mappings and the dispersionless Toda hierarchy.Communications in Mathematical Physics, 292:391–415, 2009

Lee-Peng Teo. Conformal mappings and the dispersionless Toda hierarchy.Communications in Mathematical Physics, 292:391–415, 2009. doi: 10.1007/s00220-009-0907-0

work page doi:10.1007/s00220-009-0907-0 2009
[25]

Wiegmann and Anton Zabrodin

Paul B. Wiegmann and Anton Zabrodin. Conformal maps and integrable hierarchies.Commu- nications in Mathematical Physics, 213(3):523–538, 2000. doi: 10.1007/s002200000249

work page doi:10.1007/s002200000249 2000
[26]

Wiegmann and Anton Zabrodin

Paul B. Wiegmann and Anton Zabrodin. Large N expansion for the 2D Dyson gas.Journal of Physics A: Mathematical and General, 39(28):8933–8964, 2006. doi: 10.1088/0305-4470/39/28/ S10. Department of Mathematics, HSE University (National Research University Higher School of Economics), Moscow, Russia Chebyshev Laboratory, Department of Mathematics and Comput...

work page doi:10.1088/0305-4470/39/28/ 2006