{"id":"b1e53bdf-2588-4c63-8f9c-9e249a388a62","arxiv_id":"2406.07391","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves that correlation differentials from topological recursion on any genus-zero spectral curve are KP integrable, with application to ELSV-type partition functions for r-th roots of twisted log canonical bundles.","lead":"The paper proves that topological recursion on any rational spectral curve produces correlation differentials satisfying the KP hierarchy. Smart generalists in math physics may read it for connections between algebraic curves, integrable systems, and partition functions via ELSV formulas.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's UNVERDICTED verdict stems directly from the absence of the full proof text, which precludes any deeper analysis of the argument's soundness. This assessment is accurate and no independent load-bearing concern can be raised without access to the derivations.","tokens_in":1521,"tokens_out":258,"duration_ms":15588,"concrete_test":"Obtain the full manuscript and verify whether the main theorem statement (likely in §1 or §3) includes any unstated restrictions on initial data or on the precise notion of 'KP integrability' (e.g., via tau-function, bilinear identities, or differential equations) beyond what is claimed in the abstract; if additional conditions appear, re-evaluate the universality claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Without the detailed proof derivations available for inspection, no specific technical gap, hidden assumption, or internal inconsistency in the argument can be identified. The central claim asserts KP integrability of TR correlation differentials for arbitrary initial data on any rational (genus-zero) spectral curve; the reader's weakest_assumption correctly flags the genus-zero restriction as essential to the result, but no further load-bearing condition can be isolated from the given information.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","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.","tokens_in":1595,"tokens_out":387,"duration_ms":11405,"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.","major_comments":[],"minor_comments":[{"comment":"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.","section":"Abstract / §1"},{"comment":"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.","section":"§2"},{"comment":"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.","section":"§5"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"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.","responses":[],"tokens_in":1013,"tokens_out":51,"duration_ms":7036,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","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.","headline":"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.","tokens_in":2085,"tokens_out":372,"would_cite":true,"duration_ms":9035,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"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."},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"We prove that for any initial data on a genus zero spectral curve the corresponding correlation differentials of topological recursion are KP integrable."}],"headline":"KP integrability of TR on rational curves has no structural overlap with RS forcing chain","alignment":"orthogonal","rationale":"The paper proves that topological recursion on any genus-zero spectral curve (Σ=CP¹ with canonical Bergman kernel) produces KP-integrable correlation differentials ω_n^g, with the converse (KP integrability implies genus zero) already shown in prior work. Its machinery relies on deformation formulas, global KP symmetries via Fock-space operators K(z+,z−), and residue computations at simple zeros of dx. None of this intersects the RS chain: no J-cost J(x)=½(x+x⁻¹)−1, no φ-ladder, no 8-tick periodicity, no ratio-symmetric cost forcing, and no derivation of c,ℏ,G or D=3. The result is a statement internal to integrable systems on rational curves.","tokens_in":50543,"confidence":"high","tokens_out":384,"duration_ms":6749,"cache_read_input_tokens":32896,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Any topological recursion on a rational spectral curve produces KP integrable correlation differentials.","keywords":["topological recursion","spectral curve","KP integrability","correlation differentials","genus zero","ELSV formula","partition function"],"falsifier":"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.","tokens_in":2433,"feed_emoji":"","tokens_out":559,"duration_ms":14078,"temperature":0.7,"pith_summary":"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.","feed_headline":"Any rational spectral curve yields KP integrable recursion outputs","feed_subtitle":"Correlation differentials satisfy the KP hierarchy for arbitrary initial data on genus-zero curves, including ELSV-type cases.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Topological recursion on rational curves is KP integrable","Genus zero spectral curves produce KP integrable differentials","KP hierarchy holds for recursion on rational spectral curves","Correlation differentials on genus zero curves are KP integrable"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The spectral curve must be rational, meaning of genus zero.","fun_headline_variants_meta":{"raw":{"variants":["Topological recursion on rational curves is KP integrable","Genus zero spectral curves produce KP integrable differentials","KP hierarchy holds for recursion on rational spectral curves","Correlation differentials on genus zero curves are KP integrable"]},"model":"grok-4.3","cost_usd":0.004809,"raw_usage":{"total_tokens":2261,"prompt_tokens":460,"num_sources_used":0,"completion_tokens":57,"cost_in_usd_ticks":48087000,"prompt_tokens_details":{"text_tokens":460,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1744,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":460,"tokens_out":57,"duration_ms":13078,"temperature":1.0,"reasoning_tokens":1744,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-23T23:56:01.265247+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"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.","supporting_citations":[],"review_version":1}