{"id":"b669570d-b995-426d-8b63-590af6465262","arxiv_id":"2412.10868","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"For rational surgeries on one component of the Whitehead link, the paper proves asymptotic expansions of the relative Reshetikhin-Turaev invariants and, under a large surgery coefficient condition, of the Turaev-Viro invariants, with leading term governed by hyperbolic complex volume.","lead":"The paper computes the large-level asymptotic expansion of quantum invariants of 3-manifolds made by surgery on the Whitehead link, including both relative Reshetikhin-Turaev and Turaev-Viro invariants. The result confirms a volume conjecture for this family, connecting quantum invariants to hyperbolic volume and Chern-Simons invariant.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.5 rests on Proposition 7.4, whose existence/uniqueness proof for the critical point is only summarized; absent the rectangle estimate and uniqueness argument, formula (1.12) is not established.","rationale":"The reader's weakest assumption points to Proposition 7.4, and the same step is the one I would stress. The relative RT part leading to Theorem 1.2 has substantial structural support: the potential is computed explicitly, the critical point equations are matched to the hyperbolic gluing equations, and Proposition 5.8 identifies the critical value with the complex volume modulo the expected lattice. The main omission there is Proposition 6.10, whose proof is delegated to [26] without reproduction; that is a genuine gap but the method is stated to be directly analogous. The Turaev-Viro theorem is more fragile because it adds a second saddle-point parameter x and introduces the condition p≥1000 or q≥1000 specifically to force Proposition 7.4. That proposition is the linchpin: without a rigorously verified unique critical point in D(x), the functions ζ(p,q;x) and h(x) used in Theorem 7.5 and the subsequent Laplace method are not well defined. The asserted rectangle is concrete enough to be checked, which is why a conditional verdict rather than rejection is appropriate. I find no internal inconsistency in the algebraic reductions or in the geometric identification as far as they are presented, and the missing estimates are likely fillable, but until Proposition 7.4 is either proved in detail or certified computationally, the Turaev-Viro asymptotic formula (1.12) is not established. Therefore the reader's CONDITIONAL verdict should stand unchanged.","tokens_in":55465,"tokens_out":8374,"duration_ms":78474,"concrete_test":"Reproduce Proposition 7.4 by certified interval arithmetic: for both regimes q≥1000 and p≥1000 over x∈[0,0.01], compute rigorous bounds on the left-hand sides of (7.33)-(7.34) on the boundaries of the rectangles in (7.35)-(7.36), verifying the sign changes required by Poincaré-Miranda, and bound the Jacobian determinant away from zero inside each rectangle. If the sign-change or Jacobian certificates fail for any admissible parameter range, the existence/uniqueness step is invalid; if they pass, the central missing ingredient of Theorem 1.5 is supplied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Turaev-Viro theorem (1.12) is obtained by summing |J_{N-a}|^2 and applying Laplace's method; this requires the critical point (θ1(x), θ2(x)) of equations (7.33)-(7.34) to exist, be unique, and remain in D(x) for every x∈[0,x0) with x0=0.01 and all (p,q) with p≥1000 or q≥1000. Proposition 7.4 is the only support for this, but its proof is a single sentence: it asserts a rectangle (7.35)-(7.36) obtained by 'tedious estimation' and the Poincaré-Miranda theorem, with uniqueness deferred as 'similar to [7]'. The rectangle is not derived, the required inequalities are not stated, and the displayed intervals are ambiguous because θ1,θ2 are complex while the intervals appear to bound only real parts. If for some admissible (p,q,x) the solution is non-unique or exits D(x), then ζ(p,q;x) and h(x) in Theorem 7.5 are not well-defined, the Hessian positivity of Proposition 7.3 cannot be invoked at the actual critical point, and the Laplace expansion (7.82) has no basis. This gap is load-bearing because the large-coefficient assumption p≥1000 or q≥1000 is introduced specifically to make Proposition 7.4 true, yet no independent verification, numerical or analytic, is supplied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives an asymptotic expansion formula (Theorem 1.2) for the normalized relative Reshetikhin–Turaev invariant of the knot L2 in the lens space L(p,q), obtained by p/q-surgery on one component of the Whitehead link, evaluated at t=e^{2π√-1/(N+1/2)}. The leading term is expressed through a critical point of an explicit potential, and Proposition 5.8 identifies the critical value with the complex volume of W(p,q). The paper then studies the Turaev–Viro invariant of W(p,q) via the formula TV = μ^2 Σ |J_{N-a}|^2 and, using a second saddle-point/Laplace analysis, obtains Theorem 1.5 under the large-coefficient assumption p≥1000 or q≥1000. The technical route combines continued-fraction surgery formulas, Poisson summation, Fourier-coefficient estimates, a two-dimensional saddle-point method, and a Neumann–Zagier–Yoshida geometric identification.","tokens_in":55726,"tokens_out":5189,"duration_ms":49486,"significance":"If the arguments are completed, the paper would confirm the Wong–Yang relative volume conjecture for an infinite family of Dehn fillings of the Whitehead link and would give the first Turaev–Viro asymptotic expansion for non-figure-eight cusped manifolds obtained by rational surgery. The manuscript has genuine strengths: the potential V±(p,q;θ1,θ2) is written explicitly; the Hessian computations in Section 6.1 and Section 7.2 are concrete; the volume threshold 3.374482 and the constants c0=0.122532 and x0=0.01 function as proof thresholds rather than fitted parameters; and Example 7.12 recovers the known figure-eight knot asymptotic of Wong–Au. These merits are substantial. However, several estimates that are load-bearing for the main theorems are asserted with only a reference or a summary, and the proof of Theorem 1.5 depends on an existence/uniqueness statement whose verification is not supplied in the text.","major_comments":[{"comment":"Proposition 7.4 is the sole support for the critical point (θ1(x),θ2(x)) used in Theorem 7.5 and hence in Theorem 1.5, but its proof is only a summary: the bounding rectangle (7.35)–(7.36) is stated without derivation, the inequalities needed for the Poincaré–Miranda theorem are not displayed, and uniqueness is deferred to a comparison with the proof in [7]. Moreover, θ1 and θ2 are complex variables, while the intervals in (7.35)–(7.36) appear to constrain only their real parts; the imaginary parts are not specified. If the solution is non-unique or exits D(x) for some admissible (p,q,x), then ζ(p,q;x) and h(x) in Theorem 7.5 are not well-defined, the Hessian positivity of Proposition 7.3 cannot be invoked at the actual critical point, and the Laplace expansion (7.82) has no basis. This is a load-bearing gap: the large-coefficient assumption p≥1000 or q≥1000 is introduced specifically to make this proposition true, but no independent derivation or numerical verification is included.","section":"Section 7.3, Proposition 7.4 and Eqs. (7.33)–(7.36)"},{"comment":"Proposition 6.10 asserts that all Fourier coefficients with (s,m1)≠(s±,m±1) are exponentially small compared with the main term. The proof is omitted: the text says only that it follows directly from the proof of Proposition 6.6 in [26]. This proposition is load-bearing for Theorem 1.2, because the final proof in Section 6.4 keeps only the two coefficients h_N(s+,m+,1) and h_N(s-,m-,1). The manuscript should either provide the full proof, with the deformed contours and the estimates on Re V(s,θ1,θ2;m1,1), or state the exact proposition from [26] and verify that its hypotheses hold in the present setting, including the different root of unity and the rational-surgery coefficients appearing here.","section":"Section 6.3.2, Proposition 6.10"},{"comment":"In the final step of the proof of Theorem 1.2, the equality h_N(s+,m+,1)=h_N(s-,m-,1) is invoked with the comment 'as shown in [26]', but it is not proved in this paper. This equality is needed to combine the two main Fourier coefficients into the stated form of the asymptotic expansion and to identify the phase CN(p,q). Since CN(p,q) is claimed to be a constant of norm 1 independent of the geometric structure, the phase matters only for the subleading term, but the equality is still needed for the displayed expression (1.6). A proof or an exact reference with a statement in the current notation should be supplied.","section":"Section 6.4, Eq. (6.59)"}],"minor_comments":[{"comment":"In the definitions of c and d, the numerators contain sin(2πθ1R), but they should be sin(2πθ2R), since c and d are imaginary parts of functions of θ2 only.","section":"Section 6.1, Eqs. (6.9)–(6.10)"},{"comment":"In case (4) of the definition of VN, the argument of the first φN term is written as 1−θ2−θ2−...; the second θ2 should presumably be θ1.","section":"Section 3.2, formula (3.52)"},{"comment":"The phrase 'By Proposition ,' is missing the proposition number; it should refer to Proposition 7.10 or an analogous statement.","section":"Section 7.5, text before Eq. (7.73)"},{"comment":"The finite exceptional cases are excluded by an appeal to volume computations in Snappy, but the numerical values for the excluded pairs are not reported. Including a short table would make the definition of the set S verifiable.","section":"Section 8.1, Corollary 8.2"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a substantial amount of correct-looking computation and the main strategy is credible. My recommendation is major revision rather than rejection because the gaps I found are in principle fixable by writing out the deferred proofs: Proposition 7.4 needs a complete existence/uniqueness argument, Proposition 6.10 needs a real proof or a precise transfer of the cited result, and the symmetry in (6.59) should be established. I would want those three points addressed before the claims of Theorems 1.2 and 1.5 can be accepted as proved."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi [Colleague],\n\nThe thing to know: the relative Reshetikhin-Turaev half of this paper is in good shape, and the Turaev-Viro half rests on an existence/uniqueness claim that is not proved. This is a paper worth engaging, but the TV formula (1.12) should be treated as conditional until Proposition 7.4 is fully written out.\n\nWhat's new: for the family W(p,q) obtained by p/q-surgery on one component of the Whitehead link, the authors compute the relative RT invariant, derive the potential, show the critical point equations match the hyperbolic gluing equations, and identify the critical value with complex volume. That gives the Wong-Yang volume conjecture for this family. They also get a full asymptotic expansion (1.6) with an explicit prefactor, not just a leading log. The derivation is honest: the constants c0, x0 and the volume threshold are proof thresholds, not fitted parameters. The finite volume check via SnapPy is not shipped, but that's a minor reproducibility issue.\n\nThe soft spots. First, Proposition 6.10 — the claim that all non-leading Fourier coefficients are exponentially negligible — is not proved in the text; it's just said to follow from Wong-Yang's Proposition 6.6. Given how much of the RT proof depends on that step, it needs a real proof, not a pointer. Second, and more serious, Proposition 7.4. The TV theorem requires that for every x in [0,0.01) and every (p,q) with p or q at least 1000, the critical point equations (7.33)-(7.34) have a unique solution in D(x). The proof is one sentence: a rectangle obtained by 'tedious estimation' and Poincaré-Miranda, with uniqueness deferred to [7]. The rectangle is not derived, and it's ambiguous because θ1,θ2 are complex while the displayed intervals look like real bounds. If those intervals only control real parts, the imaginary parts are unconstrained and the Hessian positivity argument has no target. This gap is load-bearing: the Laplace expansion (7.82) has no basis without that unique critical point. The authors know it's technical, but the large-coefficient condition exists only to make it true, so the proof can't be skipped.\n\nNet: the RT result is a solid extension of known techniques and deserves a careful referee. The TV result is promising but incomplete. I'd send it out, with the referee instructed that the TV theorem is not proved until Proposition 7.4 is fully demonstrated. The paper is clearly written by people who know the material; the gaps are in exposition and proof detail, not in the overall strategy.\n\nRecommendation: accept for peer review, with heavy revision expected.","headline":"Solid RT expansion for Whitehead-link surgeries; the TV theorem has a load-bearing existence proof that is only sketched.","tokens_in":56308,"tokens_out":2419,"would_cite":true,"duration_ms":23618,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K31","57K32","57R56","57K14"],"pacs":[],"model":"deepseek-v4-flash","headline":"For Whitehead-link surgeries, the relative Reshetikhin–Turaev and Turaev–Viro invariants have a complete leading asymptotic expansion whose exponential rate is the hyperbolic complex volume.","keywords":["relative Reshetikhin-Turaev invariant","Turaev-Viro invariant","Whitehead link","volume conjecture","Chern-Simons invariant","saddle point method","quantum dilogarithm","Dehn surgery"],"falsifier":"Solve equations (7.33)–(7.34) numerically for $x=0.009$ and a pair such as $(p,q)=(1,1000)$; Theorem 1.5 collapses if the solution leaves the stated rectangle $D(x)$ or if a second solution appears. Independently, computing $J_N(W(p,q);t)$ from the finite sum in Proposition 3.4 for small $N$ and checking the $O(1/(N+1/2))$ convergence to the right-hand side of Theorem 1.2 would constitute a direct test.","tokens_in":55212,"feed_emoji":"🔗","tokens_out":22318,"duration_ms":193925,"temperature":0.7,"pith_summary":"This paper proves that two families of quantum invariants coming from rational surgeries on the Whitehead link have their large-level behavior controlled by the hyperbolic geometry of the surgered manifold. For the normalized relative Reshetikhin–Turaev invariant of the image knot in the lens space $L(p,q)$, Theorem 1.2 gives a complete leading asymptotic expansion for every surgery coefficient in an explicit set $S$: the exponential factor is $e^{(N+1/2)\\zeta(p,q)}$, and Proposition 5.8 identifies $2\\pi\\zeta(p,q)$ with the complex volume $\\mathrm{Vol}(W(p,q))+\\sqrt{-1}\\,\\mathrm{CS}(W(p,q))$ modulo $\\sqrt{-1}\\pi^2\\mathbb{Z}$. This confirms the volume conjecture for these relative invariants. For the Turaev–Viro invariant of the cusped manifold $W(p,q)$, Theorem 1.5 gives the leading asymptotic growth, with the leading exponential $e^{(N+1/2)\\mathrm{Vol}(W(p,q))/\\pi}$, under a technical large-coefficient condition. The proof is a computation of the state sum as a sum of Fourier integrals whose saddle points are the solutions of the hyperbolic Dehn-filling equations.","feed_headline":"Quantum invariants of Whitehead-link surgeries follow the volume","feed_subtitle":"The complex volume of the surgered manifold sets the exponential growth rate of both invariants.","key_machinery":"The load-bearing object is the potential $V^\\pm(p,q;\\theta_1,\\theta_2)$ of (5.3): a holomorphic function of two complex variables made from quadratic terms in $\\theta_1,\\theta_2$ and dilogarithms of $e^{2\\pi\\sqrt{-1}\\theta_i}$ combinations. The paper proves that the critical point equations of $V^\\pm$ are exactly the exponential form of the hyperbolic gluing plus Dehn-filling equations for $W(p,q)$, and that the critical value satisfies the complex-volume identity of Proposition 5.8. The asymptotic machinery is the Poisson summation formula turning the discrete state sum into a sum of Fourier integrals, followed by a two-dimensional saddle point method; positivity of the Hessian restricts the surviving modes to two Fourier coefficients. For Turaev–Viro, the same potential is promoted to a one-parameter family $V^\\pm(p,q;x,\\theta_1,\\theta_2)$, and a Laplace-type sum over $x$ produces the volume growth.","core_discovery":"The central claim is that the quantum invariants are asymptotically geometric, with explicit constants. For $(p,q)\\in S$, the normalized relative Reshetikhin–Turaev invariant satisfies the expansion of Theorem 1.2, whose prefactor is assembled from $\\omega(p,q)$, a rational function of the critical point $(z_1^0,z_2^0)=(e^{2\\pi\\sqrt{-1}\\theta_1^0},e^{2\\pi\\sqrt{-1}\\theta_2^0})$, and whose exponential rate is $\\zeta(p,q)$; the paper proves $2\\pi\\zeta(p,q)\\equiv \\mathrm{Vol}(W(p,q))+\\sqrt{-1}\\,\\mathrm{CS}(W(p,q)) \\pmod{\\sqrt{-1}\\pi^2\\mathbb{Z}}$, so Corollary 1.3 follows. The essential mechanism is that the critical point equations of the potential $V^\\pm$ are equivalent to the hyperbolic gluing and Dehn-filling equations for $W(p,q)$, so the saddle point of the quantum sum is the hyperbolic structure itself. For the Turaev–Viro invariant, the same invariant with the color shifted by $a$ is analyzed as a function of $x=(a+1/2)/(N+1/2)$; summing over $a$ and applying the Laplace method yields the volume exponential of Theorem 1.5.","pith_inferences":["The $p\\ge 1000$ or $q\\ge 1000$ condition in Theorem 1.5 is a proof artifact: the same formula is recovered for $(p,q)=(1,1)$ in Example 7.12, so the result should extend to every hyperbolic $W(p,q)$ once uniqueness in Proposition 7.4 is checked case by case.","The saddle-point dictionary between critical points of the quantum potential and solutions of Dehn-filling equations suggests a general recipe: for any link whose complement has a one-dimensional deformation space controlled by a single holonomy equation, the relative RT and TV invariants should follow the complex volume.","A direct numerical check of the ratio $J_N(W(p,q);t)$ divided by the leading term in Theorem 1.2 for a few non-exceptional pairs would independently test the error-term analysis and the numerical constants entering the set $S$.","The set $S$ is defined through a volume threshold coming from a general Dehn-filling bound; a finer volume estimate could enlarge $S$ and make Theorem 1.2 unconditional for more surgeries."],"forward_implications":["For every $(p,q)\\in S$, the volume conjecture for relative Reshetikhin–Turaev invariants of the knot $L_2\\subset L(p,q)$ holds, with a precise $O(1/(N+1/2))$ error term in the asymptotic expansion.","The Turaev–Viro volume conjecture holds for $W(p,q)$ whenever $p\\ge 1000$ or $q\\ge 1000$, in particular for the complements of twist knots $K_s$ with $|s|\\ge 1000$.","The asymptotic constants are explicit: volume, Chern–Simons invariant, and the prefactor $\\omega(p,q)$ are all computable from the unique solution of the algebraic Dehn-filling equation (5.24).","The same two-dimensional saddle point method reduces the entire infinite state sum to two surviving Fourier coefficients, so the same route is available for nearby surgery families."],"supporting_citations":[{"why":"Formulates the relative Reshetikhin–Turaev volume conjecture (Conjecture 1.1) that Theorem 1.2 confirms for the Whitehead surgery family.","marker":"[27]"},{"why":"Supplies the continued-fraction computations and the potential-function framework used to write $J_N(W(p,q);t)$ as a finite sum.","marker":"[26]"},{"why":"Provides the two-step saddle point and Laplace method for Turaev–Viro invariants, recovered in Example 7.12 for the figure-eight complement.","marker":"[25]"},{"why":"Proposed the Turaev–Viro volume conjecture and the general RT–TV relationship that frames Theorem 1.5.","marker":"[6]"},{"why":"Gives the formula expressing Turaev–Viro invariants of link complements as sums of squares of colored Jones or relative RT invariants.","marker":"[10]"},{"why":"Supplies the edge-gluing and Dehn-filling equations for the Whitehead link whose solution is matched to the critical point in Proposition 5.4.","marker":"[18]"},{"why":"Gives the Neumann–Zagier potential and its differential relation used to identify the critical value with the complex volume.","marker":"[19]"},{"why":"Provides the Dehn-filling formula for the complex volume that enters Proposition 5.8.","marker":"[28]"},{"why":"Gives the volume bound under Dehn filling used in Theorem 8.1 to define the set $S$ with volume above 3.374482.","marker":"[11]"},{"why":"Contributes the saddle-point technique and dilogarithm identity from the twist-knot case used in Sections 5 and 6.","marker":"[7]"}],"fun_headline_variants":["Quantum invariants of Whitehead-link surgeries see the volume","Whitehead-link surgery invariants: volume sets the rate","Complex volume dictates quantum invariant asymptotics","Surgeries on Whitehead link: invariants follow complex volume"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the potential function has exactly one nondegenerate critical point in the region where the saddle-point expansion is applied; the paper proves this for the Turaev–Viro part only by a sketched estimate for large $|p|$ or $|q|$, so Theorem 1.5 depends on that estimate being correct.","fun_headline_variants_meta":{"raw":{"variants":["Quantum invariants of Whitehead-link surgeries see the volume","Whitehead-link surgery invariants: volume sets the rate","Complex volume dictates quantum invariant asymptotics","Surgeries on Whitehead link: invariants follow complex volume"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000171,"raw_usage":{"total_tokens":1260,"prompt_tokens":925,"completion_tokens":335,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":541,"completion_tokens_details":{"reasoning_tokens":273}},"tokens_in":541,"tokens_out":335,"duration_ms":3668,"temperature":1.0,"reasoning_tokens":273,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:32:39.264528+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve equations (7.33)–(7.34) numerically for $x=0.009$ and a pair such as $(p,q)=(1,1000)$; Theorem 1.5 collapses if the solution leaves the stated rectangle $D(x)$ or if a second solution appears. Independently, computing $J_N(W(p,q);t)$ from the finite sum in Proposition 3.4 for small $N$ and checking the $O(1/(N+1/2))$ convergence to the right-hand side of Theorem 1.2 would constitute a direct test.","supporting_citations":[{"cited_title":"Asymptotic Behavior of Colored Jones polynomial and Turaev-Viro Invariant of figure eight knot","cited_arxiv_id":"1711.11290","evidence_quote":"Supplies the continued-fraction computations and the potential-function framework used to write $J_N(W(p,q);t)$ as a finite sum."},{"cited_title":"MR 1292673 Zbl 0812.57003","cited_arxiv_id":null,"evidence_quote":"Provides the two-step saddle point and Laplace method for Turaev–Viro invariants, recovered in Example 7.12 for the figure-eight complement."},{"cited_title":"Chen and T","cited_arxiv_id":null,"evidence_quote":"Proposed the Turaev–Viro volume conjecture and the general RT–TV relationship that frames Theorem 1.5."},{"cited_title":"Detcherry, E","cited_arxiv_id":null,"evidence_quote":"Gives the formula expressing Turaev–Viro invariants of link complements as sums of squares of colored Jones or relative RT invariants."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the edge-gluing and Dehn-filling equations for the Whitehead link whose solution is matched to the critical point in Proposition 5.4."},{"cited_title":"Neumann and D","cited_arxiv_id":null,"evidence_quote":"Gives the Neumann–Zagier potential and its differential relation used to identify the critical value with the complex volume."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Dehn-filling formula for the complex volume that enters Proposition 5.8."},{"cited_title":"Futer, E","cited_arxiv_id":null,"evidence_quote":"Gives the volume bound under Dehn filling used in Theorem 8.1 to define the set $S$ with volume above 3.374482."},{"cited_title":"On the asymptotic expansions of various quantum invariants I: the colored Jones polynomial of twist knots at the root of unity $e^{\\frac{2\\pi\\sqrt{-1}}{N+\\frac{1}{2}}}$","cited_arxiv_id":"2307.12963","evidence_quote":"Contributes the saddle-point technique and dilogarithm identity from the twist-knot case used in Sections 5 and 6."}],"review_version":1}