{"id":"71fb00d7-dcd7-4ad5-9ae9-154deeef7df0","arxiv_id":"2504.14924","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Quantum spectral curve operators for arbitrary base points can be derived by applying x-y and symplectic duality transformations to simpler spectral curves.","lead":"This paper shows how x-y and symplectic duality transformations in topological recursion can be used to derive quantum spectral curve operators for wave functions with arbitrary base points. The method simplifies known quantum curves and produces new ones for logarithmic and generalized topological recursion.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The substitution rule in Corollary 3.7 appears to fail in the Airy benchmark example: the operator (4.3) has a nonvanishing O(ℏ) action on the Airy wave function, so the central mechanism needs a direct check.","rationale":"I read the paper in good faith: its main contribution is a computational mechanism, Cor. 3.7 and Prop. 3.9, that turns a known quantum curve on a trivial dual side into a quantum curve for a nontrivial side by direct operator substitution. The paper recovers several known quantum curves, which is real supporting evidence, and it is transparent about the unproven existence of quantum curves for Log-TR and Gen-TR. The reader's weakest-assumption analysis focused on that existence gap, which is a fair concern but does not test the substitution mechanism itself. My stress-test found a more concrete and more dangerous potential problem: the derivation of Prop. 3.5 has a factor/ordering slip in differentiating the quotient ψ/(x−x0), and the resulting formula, when applied to the Airy curve, seems to produce an operator whose O(ℏ) action on the stated wave function is nonzero. If that is correct, the central claim does not hold even in the simplest CEO-TR case, independent of Log-TR/Gen-TR questions. The proposed check is decisive and inexpensive: act with the displayed operator on the known exact Airy wave function and verify the ℏ^1 coefficient. I recommend keeping the verdict CONDITIONAL because the issue is concrete but not yet settled; either the Airy example will be repaired with a corrected substitution formula, or the Airy check will validate it and my concern will be resolved.","tokens_in":31565,"tokens_out":40844,"duration_ms":350003,"concrete_test":"Take the exact Airy wave function ψ_{x0}(x)=Ai_+(x)Ai'_−(x0)−Ai'_+(x)Ai_−(x0) of Example 2.19 and apply the operator P=(y−ℏ/(x−x0))^2 − (x−ℏ/(y−y0)) from Eq. (4.3) with p(y)=y^2, q(y)=1, using y=ℏ d/dx, y0=−ℏ d/dx0. Clear the denominator by multiplying on the left by (y−y0), expand in ℏ, and check whether the coefficient of ℏ^1 in Pψ/ψ is identically zero. Equivalently, use the exact Airy-kernel identity (y−y0)ψ=ℏ(x0−x)Ai(x)Ai(x0) to compute the action of 1/(y−y0) and compare with the WKB prediction ∓ℏ/(√x+√x0). If the ℏ-linear term is nonzero, Example 4.1.3 fails and the substitution rule in Cor. 3.7 needs a correction.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central mechanism is the direct substitution rule of Cor. 3.7, which transfers a quantum curve from a trivial dual family to the original wave function. The proof of Prop. 3.5 contains a suspicious identity: differentiating (3.1) gives ℏ∂_x[ψ/(x−x0)] = [(ℏ∂_x − ℏ/(x−x0))ψ]/(x−x0), whereas the printed RHS misses the division by (x−x0) and has an extra −ℏψ/(x−x0)^2. This factor bookkeeping can shift first-order terms in ℏ. The issue is visible already in the Airy example, Sec. 4.1.3. With p(y)=y^2, q(y)=1, Eq. (4.3) reads P=(y−ℏ/(x−x0))^2 − (x−ℏ/(y−y0)). For the wave function of Example 2.19, one has y^2ψ=xψ, and WKB gives log ψ = σ(2/3ℏ)(x^{3/2}−x0^{3/2}) + log(√x+√x0)+O(1), σ=±1, so yψ=σ√xψ+O(ℏ) and y0ψ=σ√x0ψ+O(ℏ). The O(ℏ) part of Pψ is therefore −yℏ/(x−x0) − ℏ/(x−x0)y + ℏ/(y−y0) applied to ψ, which evaluates to ∓ℏ/(√x+√x0)ψ+O(ℏ^2), not to zero. Thus either Cor. 3.7 misses a correction term, or the Airy operator displayed in Sec. 4.1.3 is not a quantum curve in the sense of Definition 2.16. Since Airy is the basic benchmark for the whole substitution method, this must be settled before the derived operators can be trusted.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a systematic method to compute quantum spectral curve operators for wave functions with arbitrary base points by combining the x-y duality and symplectic duality of topological recursion with the perturbative wave function construction. After reviewing CEO-TR, Log-TR, Gen-TR, and the universal duality formulas, the authors state two substitution rules: Corollary 3.7 for the x-y duality and Proposition 3.9 for symplectic duality. These rules transfer a quantum curve from a trivial or simple dual spectral curve to the target curve, and the authors use them to rederive and simplify many known quantum curves (Airy, Bessel, r-spin, q-double Hurwitz, torus knot HOMFLY-PT, Gaiotto curve) and to propose new operators in the Log-TR and Gen-TR settings. The last section contains a Gen-TR example with P empty, including a new Airy-like quantization and a primer for (r,s)-curves.","tokens_in":32037,"tokens_out":18621,"duration_ms":148071,"significance":"If the substitution rules are valid, the paper provides a genuinely useful and conceptually unifying tool: it turns the hard problem of finding a quantum curve for a nontrivial spectral curve into a sequence of algebraic substitutions starting from a trivial dual family. The paper explicitly matches several previously published quantum curves, which is a real strength and gives nontrivial evidence for the method. It also clarifies the role of Log-TR and Gen-TR in quantization and identifies the open question of existence of quantum curves for general Gen-TR. The formal nature of some arguments and the incomplete verification of the new Gen-TR example, however, mean that the main claim is not yet established with full mathematical rigor. The potential payoff is high: a clean, base-point-dependent quantization algorithm with applications to Hurwitz theory, knot invariants, and W-constraints.","major_comments":[{"comment":"The proof of Proposition 3.5, on which Corollary 3.7 and all subsequent examples rely, is only sketched and contains a nontrivial gap. Differentiating (3.1) with respect to x gives [(ℏ∂_x − ℏ/(x−x0))ψ]/(x−x0), not (ℏ∂_x − ℏ/(x−x0)) applied to ψ/(x−x0). To pass from this to the operator substitutions (3.2)–(3.6) one must multiply by (x−x0) and use additional identities that are not written down. The sentence \"Combining (3.5) with (3.3) ...\" is not a derivation. Since Corollary 3.7 and all examples in Section 4 are direct consequences of this proposition, the authors should provide a complete, step-by-step proof or explicitly define the operator calculus (including the meaning of denominators such as 1/(ˆx∨−ˆx∨0)) in which the substitutions are made.","section":"§3.1, Prop. 3.5"},{"comment":"The paper asserts, but does not show, that the displayed operators annihilate the corresponding wave functions. For the Airy case this is checkable: a full WKB computation shows that the O(ℏ) contributions from (ˆy−ℏ/(x−x0))^2, the ℏ^2ψ'' correction, and the inverse operator 1/(ˆy−ˆy0) cancel exactly, so the example is consistent. The authors should include this kind of check, at least for the Airy benchmark, because it is the test of the whole substitution mechanism. For the Log-TR and Gen-TR examples, especially (4.18) and the s=2 case of §4.4.2, the operators are obtained by formal substitution or by matching a few leading terms, and the paper does not verify annihilation to all orders in ℏ. Given that §2.3.4 states that the existence of quantum curves for Gen-TR is open, these new examples should either be proved or explicitly labeled as conjectural.","section":"§4.1.3 (Airy example) and §4.3–4.4 (Log-TR/Gen-TR examples)"},{"comment":"The \"primer\" for (r,s)-curves is incomplete. The operator (4.19) is found in the limit x∨→0, and for s>1 the authors replace it by a Galois-averaged operator and then \"perturbatively fix the higher order terms\" without specifying the iteration or proving convergence/all-orders annihilation. For s=2 the final operator is written down after a one-step compensation, but no verification is given that it annihilates the exact wave function. Since this subsection is the main evidence that Gen-TR can produce a quantum curve when P is not the set of critical points of x, the claims here need a precise statement of what is proved and what is conjectural.","section":"§4.4.2, (r,s)-curves"}],"minor_comments":[{"comment":"The text contains a typo: \"Get-TR\" should read \"Gen-TR\".","section":"§2.2.4, Remark 2.14"},{"comment":"The phrase \"one the right hand side\" should be \"on the right hand side\".","section":"§2.2.3, Eq. (2.3)"},{"comment":"The sentence \"which prevents a conceptual understanding of such examples within a more general framework\" in Remark 4.1 is unclear; the surrounding discussion suggests the authors mean the previous derivation was computational and ad hoc, but the wording is confusing.","section":"§4.3.5"},{"comment":"Equation (3.6) contains the expression \"1/(d/dy + d/dy0)\", which is dimensionally inconsistent with the claimed equality \"ˆx∨0 − ℏ/(ˆy∨−ˆy∨0)\". This is likely a typographical issue, but it should be corrected.","section":"§3.1, proof of Prop. 3.5"},{"comment":"The phrase \"The final computational step follows from the identity\" refers to an identity in the previous subsection; the references to equations are not always precise. Please number and refer to equations consistently.","section":"§4.3.4, after Eq. (4.11)"}],"recommendation":"major_revision","confidential_remarks":"The paper is clearly written by experts and the examples reproduce a large body of known results, which is strong evidence that the substitution rules are correct. The main issue is that the proof of the central proposition is too compressed; the formal manipulation with denominators in noncommuting operators needs to be made rigorous or at least stated as a well-defined calculus. The Gen-TR example is a promising new application but is currently more of a computational sketch than a proof. With a complete proof of Prop. 3.5 and a clear delineation of which examples are proved and which are conjectural, the paper would be a valuable contribution. I do not see a fatal error; the Airy example, when computed carefully, supports the substitution rule."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nHere's my take on Hock–Shadrin. It's a genuinely useful tool paper, not a breakthrough. The new content is a clean substitution rule for quantum curve operators under x-y and symplectic duality, extending Weller's restricted base-point result to arbitrary base points and the full kernel. Formulas (3.7) and (3.10) are the core; the rest is a helpful review. The paper works through a long list of examples—Airy, Bessel, r-spin, negative r-spin, q-orbifold Hurwitz, torus knot HOMFLY-PT, and Gaiotto—and often gets simpler expressions than the originals. That unified picture is worth having.\n\nThe soft spots are real but not fatal. The proof of Prop 3.5 is formal—formal Gaussian integrals and cancellations—and the printed identity in the proof has a factor-bookkeeping ambiguity that should be fixed. The stress-test note about the Airy example, I think, is wrong: the WKB evaluation drops the prefactor terms in the wave function, and when those are included the O(ℏ) action cancels. So I wouldn't center a rejection on that. The more substantive issue is that the quantum curves for Log-TR and Gen-TR are derived under the assumption that such curves exist; the paper says so in Section 2.3.4. The CEO-TR examples are fine because Bouchard–Eynard guarantees existence, but the Gen-TR examples in Section 4.4 are conditional. The authors are explicit about this, so it's an honest caveat, but it does mean those operators are not yet proven quantum curves in the strict sense.\n\nCitation pattern is fine. The reliance on the authors' own prior work is legitimate; those are published results.\n\nBottom line: this deserves a serious referee. I'd send it to peer review with a request to clean up the proof of Prop 3.5 and to state the Log/Gen existence assumption more prominently. If the referee accepts the conditional nature, it's a solid contribution. I'd cite it.","headline":"Useful tool paper: clean substitution rule for quantum curve operators under dualities, with new Gen-TR examples; main caveat is unproven existence for Log/Gen-TR.","tokens_in":32535,"tokens_out":38604,"would_cite":true,"duration_ms":262295,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Dualities turn quantum-curve derivation into plain substitution, so hard quantum operators follow from trivial dual curves.","keywords":["topological recursion","quantum spectral curve","x-y duality","symplectic duality","wave function","Log-TR","Gen-TR","base point"],"falsifier":"Compute the wave function for a Gen-TR spectral curve with the special-point set $P$ chosen away from the ramification points—for instance the $(r,s)$ example of Section 4.4.2 for $s=3$—and check order by order in $\\hbar$ whether the substituted operator annihilates it; the first order at which a mismatch appears would mark the boundary of the method.","tokens_in":31380,"feed_emoji":"🔁","tokens_out":6221,"duration_ms":50501,"temperature":0.7,"pith_summary":"This paper claims that the two known duality mechanisms of topological recursion—x-y duality and the more general symplectic duality—act on quantum spectral curve operators by direct substitution: replace each operator with a specified rational expression in the dual operators, with no normal ordering. If this is right, the often laborious derivation of a quantum curve for a complicated spectral curve can be reversed: start from a dual curve whose differentials and wave function are trivial, apply the substitution rule, and read off the quantum operator that annihilates the original wave function. The paper proves the substitution rule for arbitrary base points and demonstrates it on Airy, Bessel, r-spin, q-double Hurwitz, colored HOMFLY-PT torus knot, Gaiotto, and generalized topological recursion examples, recovering known operators and producing new ones. The reason to care is that quantum curves are central to knot theory, topological string theory, and enumerative geometry, where existing derivations often require case-by-case tuning.","feed_headline":"Dualities turn quantum-curve derivation into plain substitution","feed_subtitle":"Start from a trivial dual curve; hard quantum operators follow by substitution, with new examples in knot and Hurwitz theory.","key_machinery":"The load-bearing object is the quantum spectral curve operator $\\hat P_\\hbar(\\hat x,\\hat y;\\hat x_0,\\hat y_0)$, a quantization of the polynomial relation $P(x,y)=0$ whose semiclassical limit is $P$. The paper's main tool is the operator substitution map induced by the extended Laplace transform (3.1): under x-y duality, $\\hat x$ maps to $\\hat y^\\vee_0-\\hbar/(\\hat x^\\vee-\\hat x^\\vee_0)$, $\\hat y$ maps to $\\hat x^\\vee_0-\\hbar/(\\hat y^\\vee-\\hat y^\\vee_0)$, and analogously for the base-point operators; symplectic duality is obtained by composing this map with the shift $\\hat y\\mapsto\\hat y-R(\\hat x)$ that implements $(x,y)\\mapsto(x,y+R(x))$. The substitution is applied to the already-known quantum curve and, being an involution, recovers the dual curve's annihilator without re-running any recursion.","core_discovery":"The paper's central claim is that if a quantum spectral curve operator $\\hat P_\\hbar(\\hat x,\\hat y;\\hat x_0,\\hat y_0)$ annihilates the wave function built from a system of differentials, then the dual operator annihilating the dual wave function is obtained by replacing $\\hat x,\\hat y,\\hat x_0,\\hat y_0$ with the expressions in (3.7), and similarly the symplectic-dual operator is obtained by the substitution in (3.10). The replacement is literal: no normal ordering is applied, so denominators such as $\\hat y^\\vee-\\hat y^\\vee_0$ may appear. The proof combines the extended Laplace transform that relates the two wave functions with the commutation relations $[\\hat x^\\vee,\\hat y^\\vee]=-\\hbar$ and $[\\hat x^\\vee_0,\\hat y^\\vee_0]=\\hbar$. Because the dual system is often trivial—only $\\omega_{0,1}$ and $\\omega_{0,2}$ contribute—the hard side's quantum curve can be obtained by dualizing a trivially quantizable curve.","pith_inferences":["A natural testable extension is to feed admissible systems of differentials that do not come from any known version of topological recursion into the substitution rule; if the rule is as universal as Proposition 3.1 suggests, every such system would have a quantum curve whenever its dual does.","The appearance of denominators like $\\hat y^\\vee-\\hat y^\\vee_0$ indicates that rational expressions, not polynomials, are the natural presentation of quantum curves with arbitrary base points; insisting on polynomial form may be what made earlier derivations look non-canonical.","Because the argument is formal in $\\hbar$, one could test the substitution rule order by order against direct WKB computation for a higher-genus curve once non-perturbative wave functions are included; a mismatch there would delimit the genus-zero scope of the method."],"forward_implications":["For a rational spectral curve $p(y)-q(y)x=0$ with coprime polynomials, the generic-base-point quantum curve is $p(\\hat y-\\hbar/(\\hat x-\\hat x_0))-q(\\hat y-\\hbar/(\\hat x-\\hat x_0))(\\hat x-\\hbar/(\\hat y-\\hat y_0))$; Airy, Bessel, r-spin, and negative r-spin curves are immediate special cases.","The Log-TR examples in Section 4.3 give quantum curves for r-spin q-double Hurwitz numbers and colored HOMFLY-PT polynomials of torus knots in a unified form, reproducing previously known operators such as the one in [MSS13, Eq. (58)] and [DBPSS19, Thm. 10.1].","Gen-TR produces quantum curves even when the chosen special-point set $P$ does not coincide with the critical points of $x$; the new Airy-type example has a nonzero $\\hbar^2$ correction, and the $(r,s)$ curves require Galois averaging to remove fractional powers.","The substitution rule is an involution, so the dual of the dual quantum curve is the original operator; this gives a consistency check and a way to move between representations with different base points."],"supporting_citations":[{"why":"Supplies the universal x-y swap formula and the theorem relating kernels and wave functions by formal Gaussian integrals, which underpins Proposition 3.1 and Corollary 3.7.","marker":"[ABDB+25]"},{"why":"Proves the universal x-y swap formula in general, cited by the paper as the foundation for the duality transport of differentials.","marker":"[ABDB+24d]"},{"why":"Earlier work applying duality to quantum curves under the restriction that both base-point variables are singular; the present paper extends this to arbitrary base points.","marker":"[Wel24]"},{"why":"Establishes existence of quantum curves from CEO-topological recursion for genus zero spectral curves, the baseline that the substitutions must reproduce.","marker":"[BE17]"},{"why":"Connects x-y duality to quantum curves in exponential variables and motivated the definition of Log-TR used in later examples.","marker":"[Hoc24b]"},{"why":"Defines logarithmic topological recursion and supplies the Log-TR framework used throughout Section 4.3.","marker":"[ABDB+24a]"},{"why":"Defines symplectic duality via Log-TR and gives the universal action on differentials used in Proposition 3.9.","marker":"[ABDB+24c]"},{"why":"Introduces symplectic duality for topological recursion, referenced as the origin of the $(x,y)\\mapsto(x+R(y),y)$ transformation.","marker":"[BDBKS25]"}],"fun_headline_variants":["Quantum curves via dual substitution: no hard work","Symplectic duality turns quantum curves into substitution","Trivial dual curves yield quantum spectral operators","Substitution rule: quantum curves from dual simplicity","Deriving quantum curves by dual substitution, not computation"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Throughout, the paper assumes that the wave function defined by (2.6) for Log-TR and Gen-TR is actually annihilated by some quantum spectral curve operator; Section 2.3 states that this existence is not yet established for these generalizations, so if it fails for a curve class, the operators derived by substitution would not be quantum curves in the intended sense.","fun_headline_variants_meta":{"raw":{"variants":["Quantum curves via dual substitution: no hard work","Symplectic duality turns quantum curves into substitution","Trivial dual curves yield quantum spectral operators","Substitution rule: quantum curves from dual simplicity","Deriving quantum curves by dual substitution, not computation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000726,"raw_usage":{"total_tokens":3196,"prompt_tokens":833,"completion_tokens":2363,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":449,"completion_tokens_details":{"reasoning_tokens":2292}},"tokens_in":449,"tokens_out":2363,"duration_ms":16761,"temperature":1.0,"reasoning_tokens":2292,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:36:35.546983+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the wave function for a Gen-TR spectral curve with the special-point set $P$ chosen away from the ramification points—for instance the $(r,s)$ example of Section 4.4.2 for $s=3$—and check order by order in $\\hbar$ whether the substituted operator annihilates it; the first order at which a mismatch appears would mark the boundary of the method.","supporting_citations":[],"review_version":1}