{"id":"b31343a4-40f2-47c6-a31b-e16ca74f4a6b","arxiv_id":"2505.02556","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Genus-zero descendant Gromov-Witten invariants of P1 are shown to equal LGS correlation functions of Kontsevich-Manin mirror observables.","lead":"Lysov defines explicit Landau-Ginzburg-Saito correlation functions for gravitational descendants and proves they equal genus-zero Gromov-Witten invariants on the projective line. The paper offers a residue-integral mirror method for computing these curve counts, with applications to Hurwitz numbers, polynomiality, and integrality.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.12 verifies the universality of the extreme TRR coefficients only in the one-dimensional W=x^2 model; the two-dimensional P1 mirror ring case is asserted, not proved.","rationale":"The paper's central result is Theorem 4.3, asserting that genus-zero descendant GW invariants of P1 equal LGS correlation functions of the mirror observables. The proof is via Dubrovin's reconstruction theorem, so the LGS correlation functions must satisfy the same puncture, divisor, and topological recursion relations as the GW invariants. The puncture and divisor relations are comparatively straightforward and are verified with explicit contact-term computations. The TRR is the load-bearing piece: it is the only input that reduces arbitrary descendant levels to the base case. The proof of the TRR in Theorem 3.13 is an induction whose extreme base case is Proposition 3.12. That proposition asserts a universal combinatorial coefficient identity, valid for any superpotential, but the only verification is the one-dimensional W=x^2 model. In that model there is only one good section, so the identity is essentially the string equation for moduli-space integrals; it cannot test the two-dimensional Frobenius algebra structure of the actual mirror. This is precisely the gap identified by the reader, and it is serious enough to justify a conditional verdict: the main theorem is plausible and supported by the explicit examples and Hurwitz-number computations, but the proof of the engine that makes the reconstruction work is incomplete as written. A direct symbolic computation of both sides of the extreme TRR in the mirror ring, for mixed I/P insertions, would settle whether the universality claim holds. Until then, the reader's CONDITIONAL verdict is appropriate; I do not see grounds to reject the paper, because the examples do verify the claimed equality in several nontrivial cases, and the gap is localized to one identifiable lemma.","tokens_in":23311,"tokens_out":8682,"duration_ms":107936,"concrete_test":"Evaluate Proposition 3.12 directly in the mirror ring W=e^{iY}+qe^{-iY}, using the good-section basis phi_I=1, phi_P=qe^{-iY} and the metric eta_ab=oint phi_a phi_b/W'. Take n=5 with descendant levels (2,0,0,0,0) and observables (phi_P, phi_P, phi_P, phi_I, phi_I). Compute the LHS from the extreme residue formula (3.5). Compute the RHS of the TRR (3.19) by enumerating S1 subset of {4,5}, expanding products via (3.22), and contracting with eta^ab. Repeat for several mixed I/P assignments with nonzero LHS residue. If any mixed case fails, the universality claim in Proposition 3.12 is false; if all succeed, the claim is supported but an independent algebraic derivation is still needed, since the W=x^2 check cannot distinguish structure-dependent coefficients.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 4.3 rests on the LGS topological recursion relation for arbitrary good sections (Theorem 3.13), whose extreme case (Proposition 3.12) is the base of the induction. In Eq. (3.24), the proof reduces the TRR to a numerical identity for the coefficients C_{S1,S2}, and then claims these coefficients are independent of the superpotential. The only check supplied is W=x^2, whose Jacobi ring is one-dimensional (Example 3.2) and contains only phi_I, so Eq. (3.25) verifies the identity in a single trivial Frobenius algebra. This check does not exercise the contractions with eta^{ab}, the product-expansion coefficients f^c_{23} of Eq. (3.22), or the two-dimensional structure of the P1 mirror ring W=e^{iY}+q e^{-iY} with generators phi_I and phi_P and nonzero metric eta_{IP}. If the coefficient C in Eq. (3.24) depends on the Frobenius algebra structure, Proposition 3.12 fails for mixed I/P insertions and the induction in Theorem 3.13 has no base. Remark 3.4 already concedes that the recursion is not defined for general holomorphic superpotentials, so the two-dimensional mirror case is the only regime where the paper's definition is guaranteed; yet the universality claim is not proven there.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines genus-zero descendant correlation functions in Landau-Ginzburg-Saito (LGS) theory for the mirror superpotential W = e^{iY} + q e^{-iY} of the projective line. The definition is recursive: over-extreme correlators are set to zero, extreme correlators are given by residue integrals, and under-extreme correlators are reduced via a deformation/contact-term recursion. The paper proves puncture, dilaton, divisor, and topological recursion relations for these LGS correlators, introduces a Kontsevich-Manin mirror map for descendant observables, and states as Theorem 4.3 that LGS correlators of the mirrored observables equal all genus-zero descendant GW invariants of P1. It provides explicit checks for 4-, 5-, and 6-point invariants, and applications to Hurwitz numbers, polynomiality, and integrality.","tokens_in":23560,"tokens_out":17189,"duration_ms":201435,"significance":"If Theorem 4.3 is correct, the paper provides a complete recursive B-model computation of all genus-zero descendant GW invariants of P1, going beyond earlier single-descendant mirror constructions. The approach is framed in Saito's good-section formalism and is potentially generalizable to higher-dimensional toric varieties. The explicit computations are checkable and reproduce known values, including the Dubrovin-Yang numbers in Section 5 and the Hurwitz numbers in Section 6.1. The main caveat is that the proof of the LGS topological recursion relation, which is the load-bearing reconstruction input, is not fully established: Proposition 3.12's universality claim is only checked in the one-dimensional W = x^2 model. The construction is also not independent of the GW side, since the mirror map coefficients in Eq. (4.3) are fixed by GW two-point functions, but the higher-point invariants are not used as input, so the theorem is not circular in the strong sense.","major_comments":[{"comment":"The proof that the extreme LGS topological recursion relation holds in the actual mirror theory is incomplete. Eq. (3.24) reduces the extreme TRR to the claim that the coefficients C are independent of the superpotential, but the only verification supplied is Eq. (3.25) for W = x^2, whose Jacobi ring is one-dimensional (Example 3.2). This check does not exercise the two-dimensional product structure of the mirror ring, the contraction with eta^{ab}, the structure constants f^c_{23} of Eq. (3.22), or mixed phi_I / phi_P insertions in the ring W = e^{iY} + q e^{-iY}. Since Theorem 3.13 uses Proposition 3.12 as the base of the induction and Theorem 4.3 relies on Theorem 3.13, this is a load-bearing gap. A proof of the superpotential-independence of C, or an explicit verification for the two-dimensional mirror ring covering all I/P combinations, is needed.","section":"§3.6, Proposition 3.12, Eqs. (3.24)–(3.25)"},{"comment":"The under-extreme case is misstated: the text says \"under-extreme correlation function for sum m_k > n-3\", which is the same inequality as the over-extreme case. The recursive definition only makes sense for sum m_k < n-3; as written, the vanishing rule and the recursion are contradictory. This typo affects the definition of all LGS correlation functions and the induction in Theorem 3.13, and must be corrected.","section":"§3.3, Definition 3.3"},{"comment":"The induction step from n-1 to n is only sketched. In Eq. (3.27), the deformed (n-1)-point TRR is differentiated, but the matching of the three possible positions of phi_n (in S1, in S2, or as the third entry of the first factor) and the cancellation of the deformation terms are not written out in detail. The special case m1 = 1 is treated in two sentences after Eq. (3.28). The argument also requires that the deformation W + epsilon phi_n remains in the two-dimensional deformation space of the mirror superpotential, which is asserted in the proof of Proposition 3.9 rather than proved. Because the proof of Theorem 4.3 is \"Dubrovin reconstruction + LGS TRR\", this gap directly affects the main theorem.","section":"§3.6, Theorem 3.13"}],"minor_comments":[{"comment":"The dimension formula appears to have a typo: for genus-zero degree-d maps to P1 the virtual dimension is 2d + n - 2, not d + n - 2. The printed formula is inconsistent with the nonvanishing of the three-point invariant at degree 1 used in Section 2.3.","section":"§2.1, Eq. (2.3)"},{"comment":"The simplified residue notation in Eq. (3.4) is misleading: the integral over the real circle 0 <= Y < 2pi does not, as written, produce the values quoted in Eq. (3.10). The definition should specify a Saito residue (a sum over the critical points) or an equivalent contour in z = e^{iY}.","section":"§3.2, Eq. (3.4)"},{"comment":"The equivalence of the two definitions of the Kontsevich-Manin map is asserted but not shown. Since the coefficients C_m(γ) depend on signs and harmonic numbers, it would be helpful to display the one-line verification using Eq. (2.18).","section":"§4.1, Eqs. (4.4)–(4.5)"},{"comment":"The boundary condition h_{k,0} = q should have the index aligned with the number of phi_P insertions; the current notation h_{k,0} = <phi_P^n>_W uses n inconsistently. This is a presentational issue only.","section":"§6.1, Eq. (6.5)–(6.6)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is within scope and contains a coherent strategy with many correct-looking explicit checks. The main obstruction is the unproved universality claim in Proposition 3.12; if the authors can supply a proof or a full two-dimensional check, the paper would be a solid contribution. I recommend revision rather than rejection, because the gap is localizable and potentially fixable within the manuscript's framework."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my read of Lysov's LGS-descendants paper.\n\nThe genuinely new piece is the explicit recursive definition of descendant correlation functions in the LGS model with the P1 mirror superpotential W = e^{iY} + q e^{-iY}, and the proof that they satisfy the puncture, dilaton, divisor, and topological recursion relations. That explicit package is not in Takahashi's earlier descendant mirror theorem, and the applications — Hurwitz numbers, Norbury–Scott polynomiality, the integrality statements — are real value added. The examples check against known invariants, including the 5- and 6-point numbers in Section 5 and the Hurwitz recursion in Section 6.1. The paper is also honest about its own limits: Remark 3.4 concedes the recursion needs modification beyond the versal mirror setting.\n\nThe soft spot flagged by the stress test is genuine. Proposition 3.12 is the base of the induction for the LGS TRR, and its proof reduces the extreme case to a numerical identity whose coefficients are asserted to be independent of the superpotential. The only check is W = x^2, a one-dimensional Frobenius algebra where every insertion is φ_I. The mirror ring that actually matters is two-dimensional, with φ_I, φ_P and nontrivial η_{IP}; mixed I/P insertions are precisely where the η^{ab} contractions and the product coefficients f^c_{23} do their work. So as written, the induction base is not established in the regime the paper needs. I suspect the identity is true — the residue correlators of any Frobenius algebra satisfy this TRR by associativity, and the W = x^2 check is the classical intersection-theory TRR on M_{0,n} — so the gap is probably fillable. But a referee should ask for the actual argument.\n\nMinor items: Definition 3.3's under-extreme bullet repeats ∑ m_k > n−3 where it should be < n−3. The m1=1 case in Theorem 3.13 is compressed, with the SWπW(φ1φn) matching gestured at. And the mirror map imports GW two-point data through the C-coefficients that later appear in the TRR matching, so this is not a fully independent B-model computation — though the higher-point functions are genuinely computed rather than fitted.\n\nBottom line: serious paper, plausible result, one fillable proof gap and assorted typos. It deserves referee time, not a desk reject. I'd take it to reading group to discuss whether the universality in Prop 3.12 can be proven from associativity.","headline":"An explicit LGS recursion for all genus-zero descendant GW invariants of P1 that deserves serious refereeing, provided the extreme TRR base case (Prop. 3.12) gets a real proof instead of a universality assertion checked only in the trivial W=x^2 model.","tokens_in":24085,"tokens_out":7701,"would_cite":true,"duration_ms":95367,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14N35","14J33","53D45"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every genus-zero descendant Gromov-Witten invariant of the projective line P^1 equals a correlation function in a mirror Landau-Ginzburg-Saito theory, reducing the computation to residue integrals and recursion.","keywords":["Landau-Ginzburg-Saito theory","Gromov-Witten invariants","gravitational descendants","projective line","mirror symmetry","topological recursion relation","Kontsevich-Manin mirror map","Hurwitz numbers"],"falsifier":"Evaluate both sides of the LGS topological recursion relation (3.19) for the mirror superpotential W = $e^{{iY}}$ + q $e^{{-iY}}$ in an extreme case not covered in the paper, say n=5 with m_1=2, m_2=m_3=m_4=m_5=0 and each observable the point class φ_P: compute the left side directly from the residue formula (3.5) and the right side by factorizing with the coefficients verified only in the W=$x^{2}$ model. Any mismatch would disprove the superpotential-independence of the TRR coefficients and break the proof of Theorem 4.3.","tokens_in":23035,"feed_emoji":"🪞","tokens_out":12651,"duration_ms":128119,"temperature":0.7,"pith_summary":"This paper establishes a mirror-symmetric B-model evaluation of all genus-zero descendant Gromov-Witten invariants of the projective line $P^{1}$. It defines descendant correlation functions in Landau-Ginzburg-Saito (LGS) theory—a superpotential, a holomorphic top form, and K. Saito's good sections—recursively: correlators with total descendant level above n−3 vanish, correlators at the maximal level are explicit residue integrals, and lower-level cases are reduced to fewer observables by deforming the superpotential along good sections. The main theorem states that, under the Kontsevich-Manin mirror map on observables, these LGS correlation functions reproduce exactly the descendant GW invariants for three or more insertions. A sympathetic reader should care because this turns a moduli-space integration problem into iterated residue calculus and recursion, yielding new proofs of polynomiality, integrality, and the Hurwitz-number relation for $P^{1}$ invariants.","feed_headline":"Mirror residue formulas yield all genus-zero P^1 invariants","feed_subtitle":"A Landau-Ginzburg-Saito recursion evaluates every descendant invariant of P^1 as a residue integral.","key_machinery":"The engine of the paper is the recursive definition of LGS descendant correlation functions (Definition 3.3): an n-point correlator of good sections with total descendant level ∑ m_k > n−3 vanishes, the extreme case ∑ m_k = n−3 is the multinomial-weighted residue integral ∮ (φ_1⋯φ_n)/W′, and the under-extreme case is reduced to (n−1)-point correlators by deforming the superpotential W by the level-zero good section, with contact terms given by the good-section projection and the flat metric. For the mirror of $P^{1}$, W = $e^{{iY}}$ + q $e^{{-iY}}$, the identity and point good sections are 1 and q $e^{{-iY}}$, and the deformation simply shifts q, making the recursion tractable. The Kontsevich-Manin map Φ_m(γ) = ∑_{k=0}^m z^k C_{m−k}(γ) converts GW descendant observables into LGS observables and carries the two-point data of $P^{1}$ into the recursion.","core_discovery":"Theorem 4.3 is the central claim: for n ≥ 3, nonnegative levels m_n, and classes γ_n in H*($P^{1}$), the identity ⟨τ_{m1}(γ1)⋯τ_{mn}(γn)⟩ = ⟨Φ_{m1}(γ1),...,Φ_{mn}(γn)⟩_W holds, where the left side is the genus-zero descendant GW invariant and the right side is the LGS correlation function for the mirror superpotential W = $e^{{iY}}$ + q $e^{{-iY}}$ with good sections 1 and q $e^{{-iY}}$. The mirror observable Φ_m(γ) is a finite combination of z^k times good sections whose coefficients are fixed by the two-point GW invariants of $P^{1}$. The proof shows that the LGS correlators obey puncture, divisor, dilaton, and topological recursion relations that map, under the Kontsevich-Manin mirror map, exactly to the corresponding relations in GW theory; since those relations determine all genus-zero descendant invariants, equality follows.","pith_inferences":["The well-definedness of the recursion (3.6) is assumed rather than proved for the under-extreme mirror correlators; checking order-independence on a correlator with two level-zero observables would convert this assumption into a lemma.","The superpotential-independence of the TRR coefficients is the paper's most delicate premise; deriving these coefficients from the Jacobi-ring structure of W = e^{iY} + q e^{-iY} directly would remove reliance on the W = x^2 verification.","The same construction, applied to other toric varieties, would need a mirror map absorbing their own two-point invariants; the P^1 case suggests a general form Φ_m(γ) built from two-point GW data.","The integrality and Hurwitz computations hint at a purely combinatorial model—weighted trees or paths with factorial edge weights—for the LGS recursion coefficients h_{k,n}, which could give an independent enumerative interpretation of the invariants."],"forward_implications":["All genus-zero descendant GW invariants of P^1 become computable by iterated residue integrals and algebraic recursion, without integrating over moduli spaces of maps.","The Hurwitz relation ⟨τ_1(P)^{2m}⟩ = q^{m+1} H_{0,m+1} follows from the LGS recursion, so simple Hurwitz numbers are corollaries of the mirror construction.","The factorial-normalized descendant invariants are integers (nonnegative for point descendants at q=1), giving a clean integrality theorem for P^1 GW invariants.","The Norbury-Scott polynomiality of the invariants is reproved from the structure of the mirror map: polynomial degree in the descendant levels matches the z-degree, and the top coefficients are moduli-space intersection numbers.","Since LGS theory is set up for toric targets generally, the descendant recursion offers a path to residue-type B-model computations for higher-dimensional toric varieties, where the topological recursion approach is not available."],"supporting_citations":[{"why":"Defines the Kontsevich-Manin mirror map on descendant observables, which the paper uses to translate GW insertions into LGS observables.","marker":"[12]"},{"why":"Supplies the topological recursion relation for GW invariants, the key structural relation used in the reconstruction proof.","marker":"[16]"},{"why":"Introduces K. Saito's good sections, an essential piece of the LGS data used throughout the recursive definition.","marker":"[4]"},{"why":"Gives the original construction of gravitational descendants in topological Landau-Ginzburg theory that this paper generalizes.","marker":"[5]"},{"why":"Formulates the recursive LGS correlation functions and the puncture and dilaton relations that the paper extends to mirror superpotentials.","marker":"[7]"},{"why":"Provides explicit formulas for P^1 GW invariants that fix the coefficients of the mirror map and serve as numerical checks.","marker":"[1]"},{"why":"States the Norbury-Scott polynomiality formula reproved in Section 6 and supplies the four-point invariant formulas used as examples.","marker":"[13]"},{"why":"Extends LGS descendants to the mirror superpotential of P^1 in the single-observable case, the starting point for the many-observable generalization.","marker":"[8]"},{"why":"The authors' earlier construction of mirror LGS models for toric varieties, which supplies the mirror data and the base no-descendant mirror theorem.","marker":"[19,20]"}],"fun_headline_variants":["LGS recursion matches all P^1 descendant invariants","Mirror symmetry for descendant invariants on P^1 proven","Descendant Gromov-Witten invariants from mirror residue calculus","All genus-zero P^1 invariants via Landau-Ginzburg-Saito theory"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's argument relies on the recursive definition of LGS correlation functions being well-defined for the mirror superpotential of $P^{1}$, and on the topological recursion coefficients being independent of the superpotential—properties verified only in the one-dimensional model W = $x^{2}$, whose Jacobi ring is not the two-dimensional mirror ring of $P^{1}$; if either fails, the reconstruction of Theorem 4.3 collapses.","fun_headline_variants_meta":{"raw":{"variants":["LGS recursion matches all P^1 descendant invariants","Mirror symmetry for descendant invariants on P^1 proven","Descendant Gromov-Witten invariants from mirror residue calculus","All genus-zero P^1 invariants via Landau-Ginzburg-Saito theory"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000577,"raw_usage":{"total_tokens":2663,"prompt_tokens":827,"completion_tokens":1836,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":443,"completion_tokens_details":{"reasoning_tokens":1760}},"tokens_in":443,"tokens_out":1836,"duration_ms":17613,"temperature":1.0,"reasoning_tokens":1760,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:49:18.795314+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate both sides of the LGS topological recursion relation (3.19) for the mirror superpotential W = $e^{{iY}}$ + q $e^{{-iY}}$ in an extreme case not covered in the paper, say n=5 with m_1=2, m_2=m_3=m_4=m_5=0 and each observable the point class φ_P: compute the left side directly from the residue formula (3.5) and the right side by factorizing with the coefficients verified only in the W=$x^{2}$ model. Any mismatch would disprove the superpotential-independence of the TRR coefficients and break the proof of Theorem 4.3.","supporting_citations":[{"cited_title":"Relations between the correlator s of the topological sigma-model coupled to gravity,","cited_arxiv_id":null,"evidence_quote":"Defines the Kontsevich-Manin mirror map on descendant observables, which the paper uses to translate GW insertions into LGS observables."},{"cited_title":"Two-dimensional gravity and intersection theory o n moduli space,","cited_arxiv_id":null,"evidence_quote":"Supplies the topological recursion relation for GW invariants, the key structural relation used in the reconstruction proof."},{"cited_title":"Period mapping associated to a primitive form,","cited_arxiv_id":null,"evidence_quote":"Introduces K. Saito's good sections, an essential piece of the LGS data used throughout the recursive definition."},{"cited_title":"Descendants constructed from matter fields in topological Landau-Ginzburg theories coupled to topological gravity","cited_arxiv_id":"hep-th/9211090","evidence_quote":"Gives the original construction of gravitational descendants in topological Landau-Ginzburg theory that this paper generalizes."},{"cited_title":"On connection between topological La ndau-Ginzburg gravity and integrable systems,","cited_arxiv_id":null,"evidence_quote":"Formulates the recursive LGS correlation functions and the puncture and dilaton relations that the paper extends to mirror superpotentials."},{"cited_title":"On Gromov–Witten invariants of P1,","cited_arxiv_id":null,"evidence_quote":"Provides explicit formulas for P^1 GW invariants that fix the coefficients of the mirror map and serve as numerical checks."},{"cited_title":"Gromov–Witten invariants of P1 and Eynard–Orantin invariants,","cited_arxiv_id":null,"evidence_quote":"States the Norbury-Scott polynomiality formula reproved in Section 6 and supplies the four-point invariant formulas used as examples."},{"cited_title":"Topological σ models and large N matrix integral,","cited_arxiv_id":null,"evidence_quote":"Extends LGS descendants to the mirror superpotential of P^1 in the single-observable case, the starting point for the many-observable generalization."}],"review_version":1}