{"id":"55633b08-c54d-4f82-bd45-60fd6ef08c91","arxiv_id":"2608.07634","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The wormhole-length onset L0 in DSSYK is derived in closed form through three loops, with new two- and three-loop coefficients from a new exact recursion.","lead":"The paper computes the initial value of the Einstein-Rosen bridge length in sine-dilaton gravity, equivalently the Krylov spread complexity of the thermal state in double-scaled SYK, through three loops in the semiclassical parameter. This matters because the computation fixes a previously scheme-dependent additive constant in holographic complexity and provides explicit closed forms that benchmark future finite-temperature complexity work.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The three-loop closed form A3(u,0) in Eq. (6.7) is fixed by an assumed rational Ansatz fitted to the recursion-generated series, with only ~18 validation coefficients beyond the 72 fitted parameters; if the true A3 has a different rational shape, (6.7) is an interpolant rather than the exact…","rationale":"I read the paper in good faith and identified the same load-bearing weak point as the reader. The one-loop and two-loop parts are on solid ground: A1 reproduces the known result, A2 is derived from a saddle point evaluation with explicit cancellation of coincident-point singularities, and the low-temperature Schwarzian check in Section 7.1 independently confirms the one-loop coefficient, including its transcendental part. The three-loop coefficient is the genuinely new quantity, and it is obtained by assuming the rational Ansatz (6.1), fitting its 72 coefficients to the recursion-generated series, and validating on additional series terms. This is a reasonable physics strategy, and the match through u^180 is non-trivial evidence, but it is not a derivation and the validation margin is smaller than the text suggests: roughly 18 independent Taylor coefficients beyond the 72 fitted parameters. The concern is not that the authors are mistaken, but that the exactness of the closed form (6.7) is not established by an independent route. The numerical check I propose uses the exact chord-space definition of L0, makes no reference to the Ansatz, and directly tests whether (6.7) is the true lambda^3 coefficient at finite temperature. If it passes, the conditional acceptance is well justified; if it fails, the three-loop result should be treated as an interpolant. Since the reader already flagged this exact assumption and assigned a conditional verdict, my read does not change the verdict.","tokens_in":27477,"tokens_out":18872,"duration_ms":188602,"concrete_test":"Compute L0(lambda,u) numerically from the exact chord-space definition (2.8) using the q-oscillator Hamiltonian (2.4) truncated to a large chord number (e.g. n<=50), for u in {0.5, 1.0, 1.4} and lambda in {0.02, 0.01, 0.005, 0.0025}. Form F(lambda,u) = (-L0 + 2 log cos u + A1(u,0) lambda + A2(u,0) lambda^2)/lambda^3, with A1 and A2 taken from (5.39) and (5.53), and Richardson-extrapolate F to lambda -> 0. Compare the extrapolated A3(u,0) with Eq. (6.7) at the same u. Agreement to about 1% or better at all three temperatures would confirm that the Ansatz-fitted expression is the exact three-loop coefficient; a systematic mismatch would show that Eq. (6.7) is only an interpolant of the low-order series.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (1.18) at three loops rests on Eq. (6.7), obtained by assuming the structural Ansatz (6.1) with N1=8, N2=11, and deg P_p <= 5. The 72 coefficients are fixed by matching the Taylor series of the lambda^3 term generated by the recursion (6.6), and then checked against further terms up to u^180. This is a fit, not a derivation: Section 6.2 explicitly bypasses the three-loop saddle point expansion. The paper's minimality check shows that no smaller Ansatz is consistent, but it does not prove that the true A3 has exactly these degrees and denominator power. Since the available series provides only about 18 validation coefficients beyond the 72 fitted ones, the agreement, while suggestive, is finite-sample. A genuine three-loop coefficient with, for example, a higher-degree polynomial numerator could coincide with (6.7) through u^180 and differ at higher order. The independent Schwarzian check in Section 7.1 validates only A1, not A3; the low-order match with the q-algebra expansion (4.3) covers only the first few coefficients. Thus the closed-form claim for A3 is not supported by an independent derivation, and the headline new result is exactly the part that rests on the unproven Ansatz.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the t=0 value of the wormhole length / Krylov spread complexity, L0(β), in double-scaled SYK as a power series in the double-scaling parameter λ, with β encoded in the variable u through β=4u/cos u. The central formula is Eq. (1.18), which collects the classical term -2 log cos u and loop coefficients A1(u,0), A2(u,0), A3(u,0). The paper reproduces the known one-loop coefficient, derives the two-loop coefficient (Eq. (5.53)) from a saddle-point expansion of the coincident-point two-point function, and obtains the three-loop coefficient (Eq. (6.7)) by fitting the structural Ansatz (6.1) to long high-temperature series generated by the exact recursion (6.6). It then derives the low-temperature reorganization into powers of the Schwarzian coupling λβ, matches the leading one-loop Schwarzian coefficient, and extends the same techniques to the variance and third cumulant of the length at t=0.","tokens_in":27830,"tokens_out":9732,"duration_ms":92190,"significance":"If the three-loop coefficient is exact, the paper provides a microscopic, scheme-independent determination of the additive constant of the Einstein-Rosen bridge length at t=0, together with its variance and skewness, and exhibits a striking structural pattern (1.19)-(1.20) that predicts the form of higher-loop corrections. The two-loop saddle-point calculation is a substantial technical achievement: it exposes the cancellation of poles in the regulator ε up to order 1/ε^3, and it is independently cross-checked by the short high-temperature series. The exact recursion (6.6) is elegant and efficient, and the Schwarzian one-loop match in Eq. (7.17) is a genuine independent check. The main weakness is that the headline three-loop closed form (6.7) is not derived: it is a rational Ansatz fitted to finite series data, and the available independent validation is only about 17 coefficients beyond the 72 fitted parameters.","major_comments":[{"comment":"The three-loop coefficient A3(u,0) is reconstructed rather than derived: the Ansatz (6.1) with N1=8, N2=11, and deg P_p ≤ 5 contains 72 free coefficients, and the paper fixes them by matching the series generated by the recursion (6.6), then validates on the remaining terms up to u^180. Since A3(u,0) starts at u^4, the available series contains about 89 even-power coefficients from u^4 to u^180; after fixing 72 parameters, only about 17 coefficients remain as truly independent validation data. A different rational function with a higher-degree numerator or a larger denominator power could pass this finite test and differ at higher orders. The minimality check in footnote 12 excludes smaller Ansatz shapes but does not prove that the exact A3 belongs to the chosen family. Because Eq. (1.18) is presented as the exact three-loop result, this is a load-bearing gap; the paper should either supply an independent derivation (or a convincing exactness argument) or explicitly label (6.7) as a conjecture verified to order u^180, and adjust the summary in Section 9 accordingly.","section":"§6.2, Eq. (6.7)"},{"comment":"The introduction states that the results are obtained by three independent methods that agree wherever they overlap, but this does not provide independent support for A3. The q-algebra expansion (4.3) is used only at low orders in u, the saddle-point analysis is carried out only to two loops, and the Schwarzian computation in Section 7.1 matches only the one-loop coefficient pK1 in Eq. (7.17), not A2 or A3. Therefore the three-loop coefficient (6.7) rests entirely on the recursion-plus-Ansatz procedure, and the paper should not present the mutual consistency of the three methods as a check on the three-loop result.","section":"§1 and §7.1"},{"comment":"The low-temperature reorganization into powers of λβ and the coefficients pK1, pK2, pK3 are derived entirely from the closed forms (5.39), (5.53), and (6.7). In particular, pK3 inherits the uncertainty of the Ansatz-fixed A3(u,0). The statement that 'each loop order contributes one further power of β' is a consequence of the tan^k u asymptotics of the assumed closed forms, not an independent verification of the three-loop coefficient; this should be stated explicitly.","section":"§7, Eqs. (1.23)-(1.24) and (7.3)"}],"minor_comments":[{"comment":"The u^6 bracket in Eq. (4.4) begins with a constant term 2/3, whereas the classical expansion in Eq. (1.17) has 2u^6/45; please check whether this is a typo (the coefficient should presumably be 2/45) and confirm that the subsequent agreement with Eq. (4.3) is unaffected.","section":"§4.1, Eq. (4.4)"},{"comment":"The cancellation of the 1/ε^3, 1/ε^2, and 1/ε poles in the assembly leading to Eq. (5.53) is asserted but not shown in detail. Since this two-loop result is a central new output, including the intermediate algebra or an ancillary notebook would make the cancellation mechanism directly reproducible.","section":"§5.3, Eqs. (5.44)-(5.53)"},{"comment":"The phrase 'validated on many independent data points' overstates the ratio of validation to fitted parameters; please state the exact number of coefficients used to fix the 72 parameters and the number of independent higher-order coefficients used for validation (approximately 17), so that the reader can judge the strength of the check.","section":"§6.2, final paragraph"},{"comment":"The summary describes Eq. (6.7) as a result and says the same strategy 'extends straightforwardly' to four and higher loops; unless the Ansatz (6.1) is proven, these statements should be tempered to reflect that the three-loop coefficient is currently a well-tested rational reconstruction rather than a proven exact closed form.","section":"§9, Summary"}],"recommendation":"major_revision","confidential_remarks":"The two-loop saddle-point calculation and the exact recursion are solid and valuable, and the Schwarzian one-loop match is a genuinely independent cross-check. The editorial decision hinges on whether a rational Ansatz fitted to a long but finite series, with only about 17 independent validation coefficients, can support the exact closed-form claim for A3(u,0) in Eq. (6.7). I would favor publication of a revised version that either supplies an independent derivation of (6.7) or clearly reclassifies it as a high-order conjecture, with the abstract and Section 9 adjusted accordingly. The paper fits the journal's scope and the citation practice appears standard."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper is a careful, mostly reproducible calculation of the t=0 wormhole length (Krylov spread complexity) in DSSYK at arbitrary temperature. The genuinely new and solid parts are the two-loop coefficient A2 from a saddle point expansion where the divergent pieces cancel only in combination, and the exact recursion (6.6) for the Z_n(x) generating functions, which lets them produce long high-temperature expansions cheaply. The paper is honest that the three-loop coefficient A3 is not derived: they assume the structural Ansatz (6.1), fix its 72 coefficients to the recursion-generated series, and validate on further terms up to u^180. That is a well-tested interpolant, not a proof. The stress-test note is right that only about 18 validation coefficients remain beyond the fitted ones, so a differently shaped A3 coinciding through u^180 cannot be excluded. This is a moderate weakness, not a fatal one, because they don't hide the procedure and the minimality check makes the Ansatz plausible. But the abstract's 'closed form' claim for A3 overstates its epistemic status.\n\nThe low-temperature Schwarzian match validates only A1, as they state, and the same applies to the variance and third-cumulant results, which are also fixed by Ansatz. The two-loop derivation is the most valuable part; the recursion is a nice tool. If you work on DSSYK complexity, cite it for A2 and the recursion, with care about A3.\n\nWho this is for: specialists in DSSYK/Krylov complexity and sine-dilaton gravity. A serious referee should engage with it, mainly to check the two-loop cancellation and the validation statistics; the three-loop claim is a conjecture and should be labeled that way in the published version.","headline":"Solid two-loop derivation and an efficient recursion; the three-loop closed form is a well-tested fit, not a derivation, so the headline three-loop claim needs a caveat.","tokens_in":28318,"tokens_out":1628,"would_cite":true,"duration_ms":16162,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.60.-m","11.25.Tq","04.70.Dy"],"model":"deepseek-v4-flash","headline":"This paper computes the onset value of the two-sided wormhole length in the DSSYK model at $t=0$ through three loops, in closed form, thereby fixing an additive constant that holography leaves scheme-dependent.","keywords":["DSSYK","Krylov complexity","wormhole length","sine-dilaton gravity","Einstein-Rosen bridge","Schwarzian limit","chord number","high-temperature expansion"],"falsifier":"A direct three-loop saddle-point calculation at a generic temperature (for instance $u=1$) should reproduce Eq. (6.7) term by term in $\\tan u$; alternatively, extending the recursion-generated series past order $u^{180}$ should match the coefficients predicted by (6.7) if the Ansatz is exact.","tokens_in":27287,"feed_emoji":"🕳️","tokens_out":10286,"duration_ms":88226,"temperature":0.7,"pith_summary":"The paper asks what the two-sided wormhole length is before any Lorentzian time evolution, at arbitrary temperature, in the double-scaled SYK model dual to sine-dilaton gravity. It argues that this value, $L_0$, is not a scheme-dependent subtraction constant but an unambiguous microscopic quantity: $\\lambda$ times the average chord number of the thermal state, equivalently the Krylov spread complexity of the state prepared by Euclidean evolution. The main result is a closed-form semiclassical expansion of $L_0$ through three loops, with the two- and three-loop coefficients new. These coefficients matter because the bulk side fixes the additive constant only up to a renormalization choice, while the microscopic side pins it down; the result also gives a quantitative check of the holographic dictionary in the Schwarzian limit. The same methods fix the two-loop expansion of the length variance and third-order cumulant at $t=0$.","feed_headline":"Three-loop formula pins down wormhole's onset length","feed_subtitle":"A closed-form DSSYK expansion removes the additive-constant ambiguity and matches the Schwarzian limit.","key_machinery":"The central object is the normalized two-point function of a matter operator of dimension $\\Delta$ at coincident insertion points, whose $\\Delta$-derivative at $\\Delta=0$ gives $L_0$, equivalently the average chord number of the thermal state. The two-loop calculation uses a saddle-point expansion of this correlator in which the regulator $\\epsilon=\\lambda\\Delta$ must be treated as independent of $\\lambda$, exposing cancellations of poles up to $1/\\epsilon^3$. The three-loop calculation bypasses the saddle point via the exact recursion $Z_{n+1}(x)=2Z_n'(x)-(1-q^n)Z_{n-1}(x)$ for the chord-space amplitudes $Z_n(x)$, derived from the three-term recurrence of continuous $q$-Hermite polynomials; this generates long high-temperature expansions cheaply, and the closed form is fixed by the structural Ansatz $A_k(u,0) = (1+u\\tan u)^{-(3k-1)}$ times polynomials in $u^2$ and $\\tan u$, with degrees growing linearly in $k$.","core_discovery":"At $t=0$, the wormhole length takes the form $L_0 = -2\\log\\cos u - \\sum_{k\\ge 1} A_k(u,0)\\,\\lambda^k$, with $\\beta = 4u/\\cos u$, where $u$ covers the whole temperature range from infinite temperature ($u=0$) to zero temperature ($u=\\pi/2$). The one-loop coefficient $A_1(u,0)$ reproduces known results, and the paper derives the two-loop coefficient $A_2(u,0)$ (Eq. 5.53) by a saddle-point evaluation of the DSSYK two-point function at coincident insertion points, where individually divergent pieces cancel only after assembly. It then obtains the three-loop coefficient $A_3(u,0)$ (Eq. 6.7) by combining an exact three-term recursion for the chord-space amplitudes with a structural Ansatz for the dependence on $u$ and $\\tan u$, validated on a high-temperature series longer than needed to fix the Ansatz. In the low-temperature limit the series reorganizes as an expansion in the Schwarzian coupling $\\lambda\\beta$, and the leading coefficient matches an independent one-loop Schwarzian computation.","pith_inferences":["If the structural pattern of degrees ($N_1=3k-1$, $N_2=4k-1$, $\\deg P_p \\le 2k-1$) persists, the four-loop coefficient should be fixed by the same Ansatz; a four-loop saddle-point or independent series calculation would test whether the pattern is exact or merely low-order numerology.","The scheme-independence argument suggests that other normally subtracted bulk quantities at $t=0$, such as interior volume or complexity of formation, could be promoted to well-defined microscopic observables in the same chord-space language and compared against DSSYK loop by loop.","A two-loop Schwarzian computation, analogous to the one-loop check in Section 7.1, should reproduce the coefficient of $(\\lambda\\beta)^2$ in the low-temperature expansion, providing a stronger test of the dictionary; the paper only performs the one-loop check.","The all-order resummation of the $u^4$ coefficient (Eq. 4.5) predicts a definite value at every loop order, including $1/144$ at four loops, which is a cheap numerical target for future direct calculations."],"forward_implications":["$L_0$ is now fixed unambiguously at all temperatures through three loops, so future bulk computations of the wormhole length at rest can be compared order by order instead of being subtracted away.","In the low-temperature limit, the expansion reorganizes as a series in the Schwarzian coupling $\\lambda\\beta$ with explicit leading coefficients, and a one-loop Schwarzian calculation reproduces the DSSYK result, confirming the holographic dictionary at this observable.","The paper states that the same exact recursion plus Ansatz machinery extends in principle to four and higher loop orders, given a sufficiently long high-temperature series.","The variance and third-order cumulant of the length at $t=0$ are now known through two loops, providing additional finite, scheme-independent data for the thermal state."],"supporting_citations":[{"why":"Defines the DSSYK chord-space Hilbert space, spectral integrals, continuous $q$-Hermite polynomials, and the two-point function (3.7) used throughout.","marker":"[8]"},{"why":"Establishes that Krylov spread complexity equals $\\lambda$ times the wormhole length, giving the interpretation of $L_0$ as preparation complexity.","marker":"[22]"},{"why":"Supplies the classical saddle solution and the one-loop coefficient $A_1(u,0)$ whose two-loop extension is computed here.","marker":"[26]"},{"why":"Provides the one-loop correlator expansion and the $q$-Pochhammer asymptotic formula (5.2), as well as a Schwarzian one-loop check.","marker":"[27]"},{"why":"Builds the sine-dilaton/DSSYK dictionary, including the length as a $\\Delta$-derivative of the two-point function, which defines $L_0$.","marker":"[15]"},{"why":"Fixes the temperature dictionary $\\beta=4u/\\cos u$ (with $J=1/2$) that the main formula (1.18) relies on.","marker":"[16]"},{"why":"Computes higher-loop wormhole-length corrections at infinite temperature, the regime complementary to the all-temperature $t=0$ result here.","marker":"[32]"},{"why":"Gives the Schwarzian bilocal correlator used in the independent one-loop check of the low-temperature coefficient.","marker":"[9]"},{"why":"Provides the exact Schwarzian bilocal matrix element used alongside [9] for the one-loop match.","marker":"[37]"}],"fun_headline_variants":["Three-loop wormhole length closed form in DSSYK","Exact wormhole length: three-loop DSSYK expansion","Wormhole length rises to three loops in DSSYK","DSSYK wormhole length at three loops, no ambiguity","Three-loop wormhole length kills additive constant"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The three-loop formula rests on the assumption that $A_3(u,0)$ has exactly the same rigid rational-trigonometric shape as the one- and two-loop coefficients, with the specific denominator power, polynomial degrees, and powers of $\\tan u$ prescribed by the Ansatz; if the true coefficient contains any term outside that shape, the reported closed form is an interpolation rather than the exact answer.","fun_headline_variants_meta":{"raw":{"variants":["Three-loop wormhole length closed form in DSSYK","Exact wormhole length: three-loop DSSYK expansion","Wormhole length rises to three loops in DSSYK","DSSYK wormhole length at three loops, no ambiguity","Three-loop wormhole length kills additive constant"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000221,"raw_usage":{"total_tokens":1516,"prompt_tokens":1076,"completion_tokens":440,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":692,"completion_tokens_details":{"reasoning_tokens":362}},"tokens_in":692,"tokens_out":440,"duration_ms":4414,"temperature":1.0,"reasoning_tokens":362,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T00:27:17.434974+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct three-loop saddle-point calculation at a generic temperature (for instance $u=1$) should reproduce Eq. (6.7) term by term in $\\tan u$; alternatively, extending the recursion-generated series past order $u^{180}$ should match the coefficients predicted by (6.7) if the Ansatz is exact.","supporting_citations":[],"review_version":1}