{"id":"3411776f-a81f-4d17-9788-2a42f878ba5d","arxiv_id":"2411.15496","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Legendre-type transformations of generalized Frobenius manifolds induce linear reciprocal transformations between their Legendre-extended integrable hierarchies and between their topological deformations.","lead":"This paper proves that Legendre transformations of generalized Frobenius manifolds produce a simple time-variable swap between their associated extended integrable hierarchies, and that the same swap works for their quantum-like topological deformations. The result unifies known examples such as the KdV and q-deformed KdV hierarchies, and the Toda and Ablowitz-Ladik hierarchies.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.6 rests on unproved Virasoro coefficient identities (4.13)-(4.15); if any forbidden t_B coupling appears, the loop-equation equivalence in Theorem 4.5 breaks and the shared-tau-function argument collapses.","rationale":"The reader's weakest_assumption already names (4.12)-(4.15), so I agree. I narrowed the focus to (4.13)-(4.15) because they are the exact step where the Legendre-extended Virasoro action is identified with the undeformed one; without them, the proof of Theorem 4.5 does not go through, and Theorem 4.6 is unsupported. Proposition 3.6 is also a gap, but it is a construction that can be checked recursively and the examples in Sections 5-6 provide evidence. The central geometric correspondence in Section 3 is coherent and the examples are convincing, so I do not see an internal contradiction. The paper should remain conditionally accepted pending a complete derivation of the Virasoro coefficient identities or publication of the deferred arguments in [31] and [32].","tokens_in":912,"tokens_out":838,"duration_ms":138781,"concrete_test":"Use a computer algebra system to expand the right-hand side of (4.7) for m = -1, 0, 1, 2 with the complete data of Section 6.1 and with generic block-diagonal mu_B and block-lower-triangular R_B, and test (4.13)-(4.15) term by term. In particular, check whether any coefficient a_(B);B,p;J_m is nonzero, and whether b_(B);B,p_m;i,q or b_(B);i,q_m;B,p violates its stated index support. A violation would falsify Theorem 4.5; if the check passes for m <= 2, a general proof from the block form of P_m and the Virasoro commutators should still be supplied before the result is used unconditionally.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central topological claim (Theorem 4.6) is established by showing that the two Legendre-extended linearization conditions are both equivalent to the same loop equation. That step is Theorem 4.5, and its proof depends on the coefficient identities (4.13)-(4.15), which Section 4.1 introduces as 'a more involved observation' with no derivation. In the notation of (4.9)-(4.10), (4.13) is needed for the second-derivative terms a_IJ_m d^2 Delta F and a_IJ_m dDelta F dDelta F in (4.38) and (4.46) to agree; the support conditions (4.14)-(4.15) are needed for Delta b_J_m;0,0 = 0, which is exactly what converts the difference of the two flow actions into the identity (4.47). If any nonvanishing a_(B);B,p;J_m or a forbidden b_(B);B,p_m;i,q or b_(B);i,q_m;B,p term occurs, the reduction of (4.44) to (4.42) fails, so Delta F and Delta hat F need not solve the same loop equation and Theorem 4.6 loses its proof. The displayed m = -1,0,1,2 formulas are consistent, and the examples give independent support, so this is a gap rather than a contradiction; nevertheless it is load-bearing. Proposition 3.6 is also deferred to [31], but the coefficient identities are the more immediate obstruction to the main theorem.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies a class of generalized Frobenius manifolds related by the generalized Legendre transformations introduced by Strachan and Stedman. The authors construct, for a generalized Frobenius manifold M equipped with a quasi-homogeneous invertible Legendre field B, an extension of the Principal Hierarchy by the Legendre flows generated by B and by the accompanying family of Legendre fields. Their main structural results are: the Legendre-extended Principal Hierarchies of M and of the transformed manifold M-hat are related by the linear reciprocal transformation (3.50); the associated tau structures and complete data transform as stated in Theorem 3.18; the Legendre-extended Virasoro operators and symmetries satisfy the expected commutation relations; the linearization condition of the Legendre-extended Virasoro symmetries is equivalent to the same loop equation as in the non-extended case; and, under semisimplicity, the topological deformations of the two hierarchies share the same tau function and are related by the same linear reciprocal transformation. The paper also presents two detailed examples: the KdV hierarchy and the q-deformed KdV hierarchy, and the Toda and Ablowitz-Ladik hierarchies.","tokens_in":1881,"tokens_out":4505,"duration_ms":65516,"significance":"If the main theorems are correct, the paper gives a substantial extension of the known relationship between Frobenius manifolds under Legendre transformations: it moves from flat-unity Frobenius manifolds to generalized Frobenius manifolds with non-flat unity and upgrades the statement from the dispersionless level to the full topological deformation level. The two examples are valuable and independently checked at low genus, and Theorem 5.1 and Theorem 6.2 give concrete, verifiable equivalences between well-known integrable hierarchies. The paper also benefits from a clear, detailed proof of the linear reciprocal transformation theorem at the dispersionless level. The main limitation is that two load-bearing technical inputs are not proved in the text: the coefficient identities (4.13)-(4.15) and, to a lesser extent, the existence of the extended calibration in Proposition 3.6. These are internal gaps rather than contradictions, since the displayed low-order cases and the examples are consistent, but they need to be filled before the topological claim can be considered fully established.","major_comments":[{"comment":"The identities (4.13)-(4.15) are load-bearing for the proof of Theorem 4.5, hence for Theorem 4.6. In the proof of Theorem 4.5, the equality a(B;IJ)_m = a(IJ)_m is needed so that the second-derivative and quadratic derivative terms in (4.38) and (4.46) agree, and the support conditions (4.14)-(4.15) are used to conclude that Delta b^J_{m;0,0}=0, which is exactly the step converting the difference of the two flow actions into (4.47). The text only states these identities as 'a more involved observation' with no derivation. If any of them fails, the reduction of (4.44) to the loop equation (4.42) breaks and the shared-tau-function argument in Theorem 4.6 loses its proof. I therefore request a complete proof of (4.13)-(4.15), or an explicit verification from the definitions (4.4)-(4.7), perhaps in an appendix.","section":"Section 4.1, equations (4.13)-(4.15)"},{"comment":"Proposition 3.6 asserts the existence, for an arbitrary quasi-homogeneous Legendre field B, of a family of Legendre fields xi_{B,q} satisfying (3.27)-(3.31) with constants r_{B;s} satisfying (3.32). This existence is foundational: it is used in Definition 3.8 and Definition 3.9 to define the Legendre-extended calibration and the Legendre-extended Principal Hierarchy, and it is later used in the tau-structure construction. The proof is deferred by saying that the argument is similar to the case B=e, details in [31], and is omitted. Since the case B=e is not the same as a generic B, the reader cannot verify the normalization and support conditions (3.32) without reconstructing the proof. Please include the proof, or at least a precise statement of the part of [31] that covers it and an indication of how the constants r_{B;s} are selected.","section":"Proposition 3.6"},{"comment":"Theorem 4.4 states that the Legendre-extended Virasoro flows commute with all flows of the Legendre-extended hierarchy. The proof reduces the claim to verifying (4.33) for m=-1,0,1,2, but for m=1,2 it says only that the method of Appendix B of [31] applies and omits the details. These commutation relations are part of the definition of the Legendre-extended Virasoro symmetries and are used in the linearization setup in Section 4.3. Please provide the missing calculation or a more detailed derivation for m=1,2.","section":"Theorem 4.4"},{"comment":"Theorem 3.18 transfers the tau structure and complete data from (M,B) to (M-hat,B-hat). Its proof says that the remainder can be verified by simple and straightforward calculations and omits the details. The identification of the complete data, especially (3.79), is what later produces the identification of the Virasoro operators (4.16) and hence the equivalence of the linearization conditions. Since this is a load-bearing transfer statement, I ask for at least the main steps of the calculation, in particular the verification that the four steps defining the tau structure in Section 3.4 are preserved under the bijection sigma.","section":"Theorem 3.18"}],"minor_comments":[{"comment":"There are several typographical slips, such as 'Frobeni us' in the abstract and 'the the' in the introduction; these should be corrected in revision.","section":"Abstract and Introduction"},{"comment":"The displayed formulas for L^(B)_m for m=-1,0,1,2 are stated to have the same expressions as in [14] and [31], but the notation in the m=1 and m=2 formulas uses t_{i,p} with the extended index set while the sums over s and the R_B entries are not all explicitly explained; a brief indication of the range of summation over the extended indices would improve readability.","section":"Section 4.1, equations (4.18)-(4.21)"},{"comment":"In the proof of Theorem 4.4, the notation partial/partial s^{[B]}_m appears once and should be partial/partial s^{(B)}_m for consistency with Definition 4.3.","section":"Section 4.2"},{"comment":"In Section 5.2, the sentence 'From the flows ... we obtain the following relationships between the coordinates' is followed by formulas that include the fourth derivatives of v and hat v, but the derivation of the relation for the fourth derivative is not shown; adding one line explaining how the higher derivative is obtained from the reciprocal transformation would be helpful.","section":"Section 5.2"}],"recommendation":"major_revision","confidential_remarks":"The paper leans heavily on previous work by the same group, especially [30], [31], and [32], and some load-bearing statements are deferred to [31]. This is acceptable if the missing proofs are supplied in revision, but the present dependence is heavy. The worked examples are a strong point and provide useful independent checks of the general claims."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. The paper's real novelty is the Legendre-extended Principal Hierarchy, which adds flows generated by a Legendre field to the usual Principal Hierarchy. This lets the authors transfer the Legendre-type transformation picture from flat-unity Frobenius manifolds to generalized Frobenius manifolds with non-flat unity. The dispersionless-level theorem (Thm 3.13) is clean and proved; the tau structure construction in Section 3.4 is also explicit. The two examples are the strongest part: the KdV ↔ q-deformed KdV and Toda ↔ Ablowitz-Ladik equivalences, where they write the extended calibrations, tau structures, Virasoro operators, and verify up to genus three that the free energies match under the linear reciprocal transformation. That is real evidence, not a formal consequence of something hidden.\n\nNow the soft spots. Section 4 carries the main topological claim (Thm 4.6), and it relies on the Virasoro coefficient identities (4.13)–(4.15) plus the support conditions (4.14)–(4.15), introduced as \"a more involved observation\" with no derivation. If any of those fail, the equivalence in Theorem 4.5 breaks and the shared tau function argument collapses. This is exactly the stress-test concern, and it is accurate. The examples check the displayed m = -1,0,1,2 cases, so the identities hold there, but that is a consistency check, not a proof for general m. Also, Proposition 3.6 (existence of the extended calibration) is deferred to [31], and Theorem 4.4 omits the m = 1,2 details with a pointer to the same preprint. These are addressable gaps, not contradictions, but they are load-bearing.\n\nOne remark on the citation pattern: the paper leans on a string of papers from the same group, some unpublished ([31], [32]). That is not fatal, but the referee should insist on complete proofs or published versions rather than taking the arXiv preprints at face value.\n\nWho gets value: this is for integrable systems specialists and people working on Frobenius manifolds and Gromov-Witten theory. The examples alone are worth the read. Verdict: conditional accept. Send it to a serious referee, ask for the missing derivation of (4.13)–(4.15) and for Proposition 3.6 to be backed by a published version of [31], and the paper should be publishable.","headline":"Genuinely new construction with two excellent explicit examples, but the topological equivalence rests on unproved coefficient identities that a referee should demand before accepting.","tokens_in":45027,"tokens_out":3332,"would_cite":true,"duration_ms":30947,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["37K10","53D45","17B68"],"pacs":[],"model":"deepseek-v4-flash","headline":"Legendre-type transformations between generalized Frobenius manifolds induce linear reciprocal transformations between their extended integrable hierarchies, and, for semisimple manifolds, between their topological deformations.","keywords":["generalized Frobenius manifolds","Legendre-type transformations","Principal Hierarchy","linear reciprocal transformations","tau structures","Virasoro symmetries","loop equations","topological deformations"],"falsifier":"Compute the coefficients $a^{(B);IJ}_m$, $b^{(B);J}_{m;I}$, $c^{(B)}_{m;IJ}$ directly from definitions (4.4)-(4.7) for an invertible quasi-homogeneous Legendre field on a generalized Frobenius manifold with nontrivial monodromy data $R_s$ and $r_{B;s}$, and check whether $a^{(B);IJ}_m=a^{IJ}_m$ for all indices and whether $b^{(B);B,p}_{m;i,q}$ vanishes unless $i=B$. A single pair $(m,I,J)$ violating (4.13) or (4.15) would break the equivalence in Theorem 4.5 and hence Theorem 4.6.","tokens_in":43952,"feed_emoji":"🌀","tokens_out":9295,"duration_ms":73883,"temperature":0.7,"pith_summary":"This paper establishes a bridge between two integrable hierarchies whenever their underlying geometric structures are related by a Legendre-type transformation. For a generalized Frobenius manifold—a geometric structure encoding an associative product, a flat metric, and a unit vector field that need not be flat—the paper constructs an extended set of commuting flows, the Legendre-extended Principal Hierarchy, using an invertible quasi-homogeneous Legendre field. It proves that the extended hierarchies of two Legendre-related manifolds are related by a linear reciprocal transformation, and that under semisimplicity the same transformation relates their topological deformations: the two deformed hierarchies share one tau function, and their genus-$g$ free energies coincide up to constants. The result matters because it turns a symmetry of the WDVV associativity equations into an explicit equivalence of integrable systems, covering the known pairs KdV/q-deformed KdV and Toda/Ablowitz-Ladik.","feed_headline":"Legendre duality links KdV and q-deformed KdV at every genus","feed_subtitle":"A change of coordinates between Frobenius manifolds carries over to their hierarchies, tau functions, and all genus-g free energies.","key_machinery":"The load-bearing object is the Legendre field $B$: a vector field satisfying $X\\cdot\\nabla_Y B=Y\\cdot\\nabla_X B$, which is invertible and quasi-homogeneous. It generates Legendre flows and, together with the recursion (3.28), a family of vector fields $\\{\\xi_{B,q}\\}_{q\\in\\mathbb Z}$ that extend the Principal Hierarchy to the index set $I_B$; the resulting hierarchy is the family of hydrodynamic-type flows $\\partial v/\\partial t_{i,p}=\\xi_{i,p}\\cdot v_x$. Its tau structure is a family of two-point functions $\\Omega_{i,p;j,q}$ with $\\xi_{i,p}\\cdot\\xi_{j,q}=\\operatorname{grad}_\\eta\\Omega_{i,p;j,q}$, and its complete data are the matrices $\\tilde\\mu_B,\\tilde R_B$ encoding the monodromy data, the Legendre field's own shift parameter, and extra constants. The Virasoro operators $L_m^{(B)}$ are built from these data, and their linearization condition is shown to be equivalent to the loop equation of $M$. The identity that carries the whole argument is (3.43), which expresses the transformed calibration as $\\hat\\xi_{\\alpha,p}=\\hat B\\cdot\\xi_{\\alpha,p}$, $\\hat\\xi_{0,q}=\\hat B\\cdot\\xi_{B,q}$, $\\hat\\xi_{\\hat B,q}=\\hat B\\cdot\\xi_{0,q}$; every later equivalence, including the equality of free energies, follows from tracking this identification through tau structures and Virasoro conditions.","core_discovery":"The central claim is that Legendre-type transformations act coherently at every level of the theory. Let $B$ be an invertible quasi-homogeneous Legendre field on a generalized Frobenius manifold $M$, and let $(\\hat M,\\hat B)$ be the transformed manifold with $\\hat B=B^{-1}$. The paper proves in Theorem 3.13 that the Legendre-extended Principal Hierarchies are related by the linear reciprocal transformation $\\hat t_{\\alpha,p}=t_{\\alpha,p}$, $\\hat t_{0,q}=t_{B,q}$, $\\hat t_{\\hat B,q}=t_{0,q}$, in Theorem 3.18 that their tau structures correspond under the same identification, and in Theorem 4.5 that the linearization of the Legendre-extended Virasoro symmetries is equivalent to the same loop equation as before. Theorem 4.6 then asserts that for semisimple $M$ the topological deformations are related by the same linear reciprocal transformation, share the same tau function, and satisfy $F_g=\\hat F_g+\\text{const}$ for every genus $g\\geq1$.","pith_inferences":["If the asserted Virasoro coefficient identities hold generally, the same scheme should identify the negative flows of one hierarchy with the reciprocal spatial direction of the other in any dimension, not just in the two worked examples.","The equivalence suggests a geometric interpretation of discrete symmetries of soliton hierarchies: the shift symmetry of the extended Ablowitz-Ladik hierarchy acts as the reciprocal transformation to the Toda side, so discrete symmetries may be viewed as Legendre duality in disguise.","A practical test beyond the paper's examples would be to compute the genus-one free energies $F_1$ and $\\hat F_1$ for a Legendre pair in which $B$ is neither flat nor the unit field; equality up to a constant would support Theorem 4.6 without checking all Virasoro coefficients.","The conjectured polynomiality of the deformed bihamiltonian structure may be approachable by composing the known flat-unity polynomiality result with the reciprocal transformation constructed here."],"forward_implications":["Every invertible quasi-homogeneous Legendre field yields a hierarchy of commuting hydrodynamic-type flows with a tau structure and Virasoro symmetries, so the construction applies to any generalized Frobenius manifold admitting such a field.","The linear reciprocal transformation (3.50) gives an explicit dictionary between the extended hierarchies of Legendre-related manifolds, exchanging the $B$-flows of one with the $0$-flows of the other.","When the manifold is semisimple, the topological deformations of the two extended hierarchies have the same tau function, so all genus-$g$ free energies agree up to genus-independent constants.","In the one-dimensional example, the topological deformation of the extended KdV hierarchy is mapped to the extended q-deformed KdV hierarchy; in the two-dimensional example, the extended Toda and extended Ablowitz-Ladik hierarchies are mapped to each other.","The paper conjectures that the deformed bihamiltonian structure of a semisimple generalized Frobenius manifold with non-flat unity is polynomial, and that this can be proved by applying a Legendre transformation to the flat-unity case."],"supporting_citations":[{"why":"Supplies the definition of Legendre fields and the generalized Legendre transformation that maps one generalized Frobenius manifold to another.","marker":"[42]"},{"why":"Establishes the flat-unity prototype: Principal Hierarchies of Legendre-related Frobenius manifolds are related by a linear reciprocal transformation, the result this paper generalizes.","marker":"[45]"},{"why":"Provides the Principal Hierarchy, tau structure, Virasoro symmetries and loop equation for generalized Frobenius manifolds with non-flat unity, the base theory being extended.","marker":"[31]"},{"why":"Proves uniqueness of solutions to the loop equation for semisimple generalized Frobenius manifolds, which Theorem 4.6 uses to identify the two topological deformations.","marker":"[30]"},{"why":"Supplies the standard machinery of Principal Hierarchies, tau covers, loop equations and quasi-Miura transformations for Frobenius manifolds.","marker":"[15]"},{"why":"Identifies the topological deformation of the Ablowitz-Ladik example with the extended Ablowitz-Ladik hierarchy, used in Section 6.","marker":"[32]"},{"why":"Provides the extended Toda hierarchy and its tau structure, the target hierarchy in the second example.","marker":"[8]"},{"why":"Gives Virasoro symmetries of the extended Toda hierarchy, used in comparing tau structures in the second example.","marker":"[16]"},{"why":"Supplies the method for constructing Virasoro operators and verifying their commutation relations, used in (4.7)-(4.8).","marker":"[14]"}],"fun_headline_variants":["Legendre duality pairs hierarchies and tau functions","Legendre transforms commute with topological deformations","Same reciprocal map links KdV and q-deformed KdV","All orders: Legendre duality in Frobenius manifolds","Legendre-extended hierarchies linked by reciprocal maps"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument that the two linearization conditions coincide rests on the asserted Virasoro coefficient identities (4.12)-(4.15), which the paper states as a 'more involved observation' without derivation; if those identities fail, the shared tau function and the equality of free energies would not follow from the presented proof.","fun_headline_variants_meta":{"raw":{"variants":["Legendre duality pairs hierarchies and tau functions","Legendre transforms commute with topological deformations","Same reciprocal map links KdV and q-deformed KdV","All orders: Legendre duality in Frobenius manifolds","Legendre-extended hierarchies linked by reciprocal maps"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00075,"raw_usage":{"total_tokens":3288,"prompt_tokens":843,"completion_tokens":2445,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":2370}},"tokens_in":459,"tokens_out":2445,"duration_ms":16089,"temperature":1.0,"reasoning_tokens":2370,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T14:13:49.803356+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the coefficients $a^{(B);IJ}_m$, $b^{(B);J}_{m;I}$, $c^{(B)}_{m;IJ}$ directly from definitions (4.4)-(4.7) for an invertible quasi-homogeneous Legendre field on a generalized Frobenius manifold with nontrivial monodromy data $R_s$ and $r_{B;s}$, and check whether $a^{(B);IJ}_m=a^{IJ}_m$ for all indices and whether $b^{(B);B,p}_{m;i,q}$ vanishes unless $i=B$. A single pair $(m,I,J)$ violating (4.13) or (4.15) would break the equivalence in Theorem 4.5 and hence Theorem 4.6.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the definition of Legendre fields and the generalized Legendre transformation that maps one generalized Frobenius manifold to another."},{"cited_title":"Yang, Analytic theory of Legendre-type transformat ions for a Frobenius manifold, Comm","cited_arxiv_id":null,"evidence_quote":"Establishes the flat-unity prototype: Principal Hierarchies of Legendre-related Frobenius manifolds are related by a linear reciprocal transformation, the result this paper generalizes."},{"cited_title":"Generalized Frobenius Manifolds with Non-flat Unity and Integrable Hierarchies","cited_arxiv_id":"2209.00483","evidence_quote":"Provides the Principal Hierarchy, tau structure, Virasoro symmetries and loop equation for generalized Frobenius manifolds with non-flat unity, the base theory being extended."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves uniqueness of solutions to the loop equation for semisimple generalized Frobenius manifolds, which Theorem 4.6 uses to identify the two topological deformations."},{"cited_title":"Dubrovin, Y","cited_arxiv_id":null,"evidence_quote":"Supplies the standard machinery of Principal Hierarchies, tau covers, loop equations and quasi-Miura transformations for Frobenius manifolds."},{"cited_title":"Carlet, B","cited_arxiv_id":null,"evidence_quote":"Provides the extended Toda hierarchy and its tau structure, the target hierarchy in the second example."},{"cited_title":"Dubrovin, Y","cited_arxiv_id":null,"evidence_quote":"Gives Virasoro symmetries of the extended Toda hierarchy, used in comparing tau structures in the second example."},{"cited_title":"Dubrovin, Y","cited_arxiv_id":null,"evidence_quote":"Supplies the method for constructing Virasoro operators and verifying their commutation relations, used in (4.7)-(4.8)."}],"review_version":1}