Any topological recursion on a rational spectral curve is KP integrable

Alexander Alexandrov; Boris Bychkov; Maxim Kazarian; Petr Dunin-Barkowski; Sergey Shadrin

arxiv: 2406.07391 · v2 · pith:7LFQUUMCnew · submitted 2024-06-11 · 🧮 math-ph · hep-th· math.AG· math.MP· nlin.SI

Any topological recursion on a rational spectral curve is KP integrable

Alexander Alexandrov , Boris Bychkov , Petr Dunin-Barkowski , Maxim Kazarian , Sergey Shadrin This is my paper

Pith reviewed 2026-05-23 23:56 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.AGmath.MPnlin.SI

keywords topological recursionspectral curveKP integrabilitycorrelation differentialsgenus zeroELSV formulapartition function

0 comments

The pith

Any topological recursion on a rational spectral curve produces KP integrable correlation differentials.

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

The paper shows that topological recursion applied to a genus-zero spectral curve always yields correlation differentials that satisfy the KP hierarchy, no matter what initial data is chosen. This universality matters because it links a wide class of geometric and combinatorial constructions directly to the exact solvability properties of integrable systems. The result covers all rational curves and includes an application proving KP integrability for certain partition functions arising from ELSV-type formulas. A reader would see this as removing the need for case-by-case verification of integrability in this setting.

Core claim

We prove that for any initial data on a genus zero spectral curve the corresponding correlation differentials of topological recursion are KP integrable. As an application we prove KP integrability of partition functions associated via ELSV-type formulas to the r-th roots of the twisted powers of the log canonical bundles.

What carries the argument

Topological recursion on a rational spectral curve, which takes initial data consisting of the curve and a choice of differentials and produces an infinite sequence of correlation differentials.

If this is right

All correlation differentials generated by topological recursion on genus-zero curves belong to the KP hierarchy.
Partition functions obtained from ELSV-type formulas for r-th roots of twisted log canonical bundles are KP integrable.
The integrability property holds independently of the specific choice of initial data on the curve.
The result supplies a general source of KP integrable objects coming from geometric recursion.

Where Pith is reading between the lines

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

Similar integrability statements might be testable for other recursion procedures that reduce to genus zero cases.
The construction could be used to generate new examples of KP tau-functions with geometric origins.
One could check whether the same initial-data independence persists when the curve is deformed slightly away from genus zero.

Load-bearing premise

The spectral curve must be rational, meaning of genus zero.

What would settle it

An explicit rational spectral curve together with initial data whose computed correlation differentials fail to obey the lowest KP equations would serve as a counterexample.

read the original abstract

We prove that for any initial data on a genus zero spectral curve the corresponding correlation differentials of topological recursion are KP integrable. As an application we prove KP integrability of partition functions associated via ELSV-type formulas to the $r$-th roots of the twisted powers of the log canonical bundles.

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 proves that topological recursion on any rational spectral curve yields KP-integrable correlation differentials for arbitrary initial data, with an application to certain ELSV-type partition functions.

read the letter

The core claim is that any topological recursion setup on a genus-zero spectral curve produces correlation differentials that satisfy the KP hierarchy, no matter what initial data you feed in. This looks like a genuine extension beyond the special cases that were already known. The authors also derive KP integrability for the partition functions coming from ELSV-type formulas tied to r-th roots of twisted log canonical bundles, which gives a concrete payoff in enumerative geometry. That part is cleanly stated and directly follows from the main theorem if the proof holds. The argument is presented as a derivation from the standard definitions of topological recursion and the KP hierarchy rather than from fitting or extra assumptions, which keeps the circularity burden low. The restriction to rational curves is explicit and necessary for the universal statement, so readers will not be surprised by it. Because only the abstract was initially visible, the detailed lemmas and error checks could not be examined, but the stress-test found no obvious internal contradictions or hidden fitting steps. The citation pattern appears standard for the area and does not rely on self-reference to carry the load. This work is aimed at people already comfortable with topological recursion and integrable hierarchies; a reader outside that circle will need the background references to follow the steps. It is worth sending to peer review because the statement is sharp, the scope is broad within the subfield, and the application is nontrivial. A referee can check the derivation in detail and confirm whether the arbitrary-initial-data claim survives close inspection.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for arbitrary initial data on any rational (genus-zero) spectral curve, the correlation differentials produced by topological recursion are integrable with respect to the KP hierarchy. As an application, it establishes KP integrability for the partition functions arising from ELSV-type formulas associated to the r-th roots of twisted powers of the log canonical bundle.

Significance. If the central claim holds, the result supplies a uniform, general mechanism linking topological recursion on genus-zero curves to the KP hierarchy, independent of the choice of initial data. This would unify several previously case-by-case integrability statements in the literature and furnish a new route to KP integrability for geometrically defined partition functions via ELSV-type correspondences.

minor comments (3)

[Abstract / §1] The abstract and introduction would benefit from an explicit statement of the precise form of the KP hierarchy (e.g., the bilinear identity or the Hirota equations) used in the proof, to make the integrability claim immediately verifiable without consulting external references.
[§2] Notation for the initial data (x,y,ω_{0,1},ω_{0,2}) and the resulting correlation differentials ω_{g,n} should be introduced with a short table or diagram in §2 to avoid repeated forward references when the proof begins.
[§5] The application section would be strengthened by a brief comparison (even a single sentence) with previously known KP-integrable cases (e.g., the r=1 or r=2 ELSV formulas) to clarify the novelty of the general statement.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary and recommendation of minor revision. No specific major comments appear in the report, so there are no individual points to address.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained from standard definitions

full rationale

The paper claims to prove KP integrability of topological recursion correlation differentials for arbitrary initial data on any rational (genus-zero) spectral curve, starting from the standard Eynard-Orantin topological recursion and the KP hierarchy. No equations or steps in the abstract or described structure reduce a prediction to a fitted input by construction, invoke self-citations as load-bearing uniqueness theorems, or smuggle ansatzes via prior author work. The genus-zero restriction is an explicit assumption enabling the universal result rather than a derived output. The central claim therefore rests on independent mathematical derivation rather than re-labeling or self-referential fitting, consistent with an honest non-finding of circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard definitions of topological recursion, the KP hierarchy, and ELSV-type formulas; no free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Standard definition of topological recursion on a spectral curve
Invoked as the starting point for generating correlation differentials.
standard math KP hierarchy as the target integrable structure
The integrability is with respect to this known hierarchy.

pith-pipeline@v0.9.0 · 5586 in / 1166 out tokens · 17097 ms · 2026-05-23T23:56:01.265247+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/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

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

Theorem 1.1. The system of TR differentials for the input data as above possesses KP integrability property. ... Corollary 1.10. A system of differentials {ω_n^g} produced by topological recursion is KP integrable if and only if the spectral curve is rational.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We prove that for any initial data on a genus zero spectral curve the corresponding correlation differentials of topological recursion are KP integrable.

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.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

[1]

Elements of spin Hurwitz theory: closed al- gebraic formulas, blobbed topological recursion, and a proof of the Giacchetto- Kramer-Lewa´ nski conjecture

arXiv: 2212.00320 [math-ph] . [ABDBKS23] A. Alexandrov, B. Bychkov, P. Dunin-Barkowski, M. Kazarian, and S. Shadrin. KP integrability through the x − y swap relation . 2023. arXiv: 2309.12176 [math-ph] . 12 REFERENCES [AS23] A. Alexandrov and S. Shadrin. “Elements of spin Hurwitz theory: closed al- gebraic formulas, blobbed topological recursion, and a pr...

work page doi:10.1007/s00029-023-00834-1 2023
[2]

Identifica- tion of the Givental formula with the spectral curve topological recur- sion procedure

doi: 10.1112/S0010437X08003709. [DBOSS14] P. Dunin-Barkowski, N. Orantin, S. Shadrin, and L. Spitz. “Identifica- tion of the Givental formula with the spectral curve topological recur- sion procedure”. In: Comm. Math. Phys. 328.2 (2014), pp. 669–700. doi: 10.1007/s00220-014-1887-2 . [DBKPS23] P. Dunin-Barkowski, R. Kramer, A. Popolitov, and S. Shadrin. “L...

work page doi:10.1112/s0010437x08003709 2014

[1] [1]

Elements of spin Hurwitz theory: closed al- gebraic formulas, blobbed topological recursion, and a proof of the Giacchetto- Kramer-Lewa´ nski conjecture

arXiv: 2212.00320 [math-ph] . [ABDBKS23] A. Alexandrov, B. Bychkov, P. Dunin-Barkowski, M. Kazarian, and S. Shadrin. KP integrability through the x − y swap relation . 2023. arXiv: 2309.12176 [math-ph] . 12 REFERENCES [AS23] A. Alexandrov and S. Shadrin. “Elements of spin Hurwitz theory: closed al- gebraic formulas, blobbed topological recursion, and a pr...

work page doi:10.1007/s00029-023-00834-1 2023

[2] [2]

Identifica- tion of the Givental formula with the spectral curve topological recur- sion procedure

doi: 10.1112/S0010437X08003709. [DBOSS14] P. Dunin-Barkowski, N. Orantin, S. Shadrin, and L. Spitz. “Identifica- tion of the Givental formula with the spectral curve topological recur- sion procedure”. In: Comm. Math. Phys. 328.2 (2014), pp. 669–700. doi: 10.1007/s00220-014-1887-2 . [DBKPS23] P. Dunin-Barkowski, R. Kramer, A. Popolitov, and S. Shadrin. “L...

work page doi:10.1112/s0010437x08003709 2014