{"id":"17a1440a-22b8-415a-a1ab-f82190af89bc","arxiv_id":"1908.03575","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The bulk one-loop partition function of JT gravity reproduces the SYK result -3/2 log beta, with the logarithmic contribution coming entirely from quadratic holomorphic differentials.","lead":"This paper computes the one-loop quantum correction to the Jackiw-Teitelboim black hole partition function directly in the bulk, without going through the Schwarzian boundary theory. It finds the same -3/2 log beta correction as the SYK model, strengthening the near-AdS2/near-CFT1 correspondence.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The -3/2 log beta coefficient rests on treating quadratic holomorphic differentials as physical large diffeomorphisms; if they are pure gauge the coefficient vanishes, and the paper's Riemann-Roch count is heuristic.","rationale":"The reader identified the same weakest assumption: the physical status of the QHD modes. The paper's strongest evidence is the match with the Schwarzian/SYK result (1.1) and the Brown-Henneaux analogy, but in a test of the duality that evidence is partly the thing being tested. A covariant phase-space check would settle whether the symplectic form pairs these modes with boundary reparametrizations. If they are physical, the computation is correct and the verdict can be accepted modulo the uncomputed O(T^2) terms; if they are gauge, the central claim fails. I therefore keep the reader's CONDITIONAL verdict: the concern is real but not demonstrated, and the proposed check is decisive.","tokens_in":30036,"tokens_out":18583,"duration_ms":213019,"concrete_test":"Regulate H2 by a cutoff surface |z| = rho < 1 and compute (i) the norm of the vector field xi^(n) whose traceless symmetrized derivative equals H^(n)_zz in (3.19), and (ii) the Noether charge of the deformation H^(n) through the cutoff boundary using the covariant phase space of action (2.1). If ||xi^(n)|| diverges as rho -> 1 while the charge is nonzero, the modes are large diffeomorphisms and physical; if the charge vanishes, they are gauge and the -3/2 coefficient is an artifact.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result (4.49) is obtained by integrating over the QHD modes H^(n)_zz, n = 2, 3, ..., and zeta-regularizing their infinite number to 3/2. Everything depends on these modes being physical. On a compact surface, quadratic holomorphic differentials are non-trivial moduli, but H2 is noncompact; the paper's Riemann-Roch count in (3.22)-(3.25) produces Ker P1^T = -3, a negative dimension obtained by combining the infinite mode density with a renormalized volume. That is a heuristic, not a rigorous mode count. The physicality argument in Section 3.4 relies on the fact that the generating diffeomorphisms are non-normalizable, while the QHDs themselves are normalizable. If the correct quantum boundary conditions instead treat these as large gauge transformations, the QHD Gaussian integrals in (4.42) would be divided out and log Z|one-loop would lose the 3/2 log T term, contradicting (1.1). This is the load-bearing assumption; the O(T^2) remainder from continuous modes does not affect the logarithmic coefficient because T d/dT of O(T^2) vanishes.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper computes the one-loop Euclidean path integral for the Jackiw-Teitelboim model around the near-extremal black hole background. The authors decompose metric, dilaton, and ghost fluctuations on H2 into continuous scalar modes plus discrete harmonic-vector and quadratic-holomorphic-differential (QHD) modes. In the free benchmark model the continuous determinants cancel exactly and leave only discrete-mode products (Sec. 3.5). In the full JT quadratic action, the authors find that the continuous modes cancel up to O(T^2) after using an SL(2,R) representation-theory argument for the vanishing of tr M^(1) (Sec. 4.3), that harmonic vector modes give no logarithmic temperature dependence, and that the QHDs, lifted by the dilaton slope, produce a zeta-regularized contribution 3/2 log T (Sec. 4.4). Identifying the renormalization scale as Lambda = M_gap/G_2 gives log Z|one-loop = 3/2 log(G_2 T/M_gap) = -3/2 log(beta M_gap/G_2), matching the SYK result (1.1). The authors also show that the corresponding logarithmic correction to the microcanonical entropy cancels against the Legendre transform (Sec. 5).","tokens_in":30320,"tokens_out":12112,"duration_ms":129480,"significance":"If the QHD modes are indeed physical, this is a valuable result: it derives the SYK logarithmic coefficient directly from bulk one-loop determinants, without passing through the Schwarzian boundary theory, and it identifies the contributing modes as normalizable tensor deformations generated by non-normalizable diffeomorphisms. The computation is internally consistent: the explicit mode normalizations (3.15), (3.19), the cancellation in the free model (3.28)-(3.32), the gauge-fixed quadratic action (4.8), and the representation-theory argument for tr M^(1)=0 (4.28)-(4.32) are all presented in detail, and the final coefficient follows from the stated zeta regularization. The result is also falsifiable, since a different treatment of the QHDs as gauge modes would remove the -3/2 coefficient. The main weakness is not in the algebra of the mode sums but in the physical interpretation and regularization of the infinite QHD tower.","major_comments":[{"comment":"The central result (4.49) is entirely determined by the Gaussian integrals over the QHD modes H^(n)_zz in (4.42), and the coefficient 3/2 comes from the zeta-regularized sum over n=2,3,... in (4.46). Whether these modes belong in the path integral at all is therefore load-bearing. The argument in Sec. 3.4 is that the QHDs are normalizable tensor modes generated by non-normalizable diffeomorphisms, so they are physical rather than gauge; however, the mode count that supports this, Ker P1^T = -3 in (3.25), is obtained by multiplying the formal local density (3.24) by the renormalized volume -2*pi*l^2. This is a heuristic, not a derivation from the index theorem on a noncompact manifold with specified boundary conditions, and a negative number of zero modes is a signal that the counting needs a precise regularized definition. If the correct quantum boundary conditions instead identify the generating non-normalizable diffeomorphisms as large gauge transformations, the QHD integrals in (4.42) would be factored out and the -3/2 coefficient would vanish, contradicting (1.1). I ask the authors to provide a well-posed mode-counting argument on the regularized disk, with explicit fall-off conditions for Ker P1 and Ker P1^T, and to explain why non-normalizable diffeomorphisms are not part of the gauge group. The related treatment of the harmonic-vector modes B^(n)_zz in (4.35)-(4.41) is similarly ambiguous: they are called pure gauge yet are integrated over, so the paper should also specify the precise quotient that removes the pure-gauge part.","section":"§3.4, Eq. (3.25); §4.4, Eq. (4.42)"},{"comment":"The coefficient 3/2 is obtained by zeta-regularizing the infinite QHD product. As the authors note in Appendix A.1, the same zeta prescription is used in the SYK derivation, so the comparison is internally consistent. However, for a bulk one-loop test to be independent, the regularization should be justified from the spectral problem on H2 rather than imposed by analogy with the target result. A cutoff on the mode number n would give a cutoff-dependent coefficient for the log T term, and the zeta value 1 - zeta(0) = 3/2 is an analytic continuation, not a convergent sum. The authors should state this limitation explicitly and, ideally, derive the same coefficient from a regulator with an independent geometric meaning, such as heat-kernel or Pauli-Villars regularization adapted to the noncompact background.","section":"§4.4, Eqs. (4.43)-(4.46)"},{"comment":"The conclusion that the continuous modes contribute no logarithmic terms is asserted rather than derived. The computation shows tr M^(1) = 0 in (4.32), but the partition function (4.27) then depends on tr[(M^(1))^2] and higher traces, and the matrix elements L and R in (4.20) are never evaluated. The text states that two cancellations have occurred and leaves log Z_cont = O(T^2). I do not think a pure O(T^2) power-law remainder affects the logarithmic coefficient extracted in (4.45), so this point may be repairable by a short argument; as written, however, the claim that all logarithmic terms come from the QHD sector is not fully supported.","section":"§4.3, Eqs. (4.27)-(4.33)"}],"minor_comments":[{"comment":"The name Teitelboim is misspelled as \"Teitelbom\" in the abstract and in the introduction; please correct this throughout.","section":"§2.1, abstract"},{"comment":"The word \"occured\" should be \"occurred\".","section":"§4.3, after Eq. (4.33)"},{"comment":"The displayed expression for B^(n)_zz appears garbled: it contains the meaningless factor (1-|z|^2)/(1-|z|^2) and the overall form does not match the claimed normalization. Please check the formula.","section":"§4.4, Eq. (4.35)"},{"comment":"After zeta regularization, the equality 1 - zeta(0) = 3/2 is exact, so the symbol \"~=\" or \"∼\" is misleading; please use an equals sign and state explicitly that zeta(0) = -1/2.","section":"§4.4, Eq. (4.46)"},{"comment":"The identification of the renormalization scale Lambda = M_gap/G_2 is presented as a determination, but it is in fact a convention that fixes the dimensionless argument of the logarithm. Please clarify that the precision test fixes the coefficient of the logarithm, while the scale inside the logarithm is scheme-dependent.","section":"§4.4, Eq. (4.48)"}],"recommendation":"major_revision","confidential_remarks":"The paper is worth publishing if the QHD physicality and the zeta regularization can be justified. The current Riemann-Roch counting in (3.25) is the weakest point and should be the main focus of revision. The comparison with the SYK result is otherwise clean, and the entropy-cancellation discussion in Sec. 5 is a useful addition. The authors should also make explicit which parts of the final answer are scheme-independent signatures of the duality and which parts are regulator choices."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper does something genuinely new—a direct Euclidean bulk one-loop computation of JT gravity around near-extremal black holes—and it gets the SYK coefficient -3/2 log beta. The numerical result is not new and the authors say so; what's new is the method, and the identification of quadratic holomorphic differentials as the modes that generate the logarithm.\n\nThe computation is careful and mostly credible. The continuous modes cancel between physical fields and ghosts at T=0, the leading T correction to tr M^(1) vanishes by representation theory, and the discrete QHD sum gives -3/2 via zeta regularization after the dilaton slope turns on. The harmonic-vector tower does not contribute because its eigenvalues are shifted by T rather than lifted from zero. All of that is internally consistent. The paper also does real work organizing the field content: dualizing vectors and tensors to scalars up to discrete modes, and comparing Riemann-Roch on S2, the disk, and H2.\n\nThe soft spot is exactly where the stress-test note points. Everything rests on the QHDs being physical, normalizable tensor modes. If the correct quantization treats the underlying non-normalizable diffeomorphisms as large gauge transformations, the QHD integrals divide out and the -3/2 log beta disappears. The paper's argument that they are physical—normalizable modes generated by non-normalizable diffeos, analogous to Brown-Henneaux—is plausible, and it is the standard reading in this literature, but it is not airtight. The Riemann-Roch count that gives Ker P1^T = -3 is a heuristic: an infinite tower regulated to a negative number by combining the mode density with renormalized volume. That is not a rigorous counting of physical degrees of freedom. I would not call this fatal—there is a decent physical argument and the paper engages with the issue explicitly—but it is the hinge, and a referee should probe it.\n\nTwo smaller points. The O(T^2) remainder from continuous modes is asserted rather than fully computed. It cannot affect the log term, so for the paper's main claim this is minor, but it does leave the full one-loop result not quite proven. And the universality section extrapolates from the JT calculation to all near-AdS2 theories using effective-field-theory reasoning and a Riemann-Roch count that, as noted, is heuristic. Fine as a conjecture, not as a derived result.\n\nWho this is for: people working on JT/SYK, near-extremal black hole entropy, and AdS2 holography. It deserves a serious referee despite my caveats. I would send it to review, and I would expect the referee to spend most of their time on Section 3.4 and the physicality of QHDs.","headline":"Credible first bulk one-loop derivation of the SYK log correction in JT gravity; the two hinges are the physicality of quadratic holomorphic differentials and a heuristic Riemann-Roch count.","tokens_in":30799,"tokens_out":2645,"would_cite":true,"duration_ms":26719,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A direct bulk computation in JT gravity yields the one-loop partition function log Z = (3/2) log(G2 T/M_gap), matching the dual model.","keywords":["Jackiw-Teitelboim gravity","one-loop partition function","quadratic holomorphic differentials","near-AdS2/near-CFT1 correspondence","two-dimensional dilaton gravity","near-extremal black holes","conformal symmetry breaking","logarithmic quantum corrections"],"falsifier":"Recompute the one-loop determinant on the same black hole background with boundary conditions that remove the non-normalizable diffeomorphisms generating the quadratic holomorphic differentials, e.g. by imposing stronger fall-off on the metric fluctuations; if the logarithmic coefficient is no longer $-\\frac{3}{2}$, the QHD identification is falsified.","tokens_in":29849,"feed_emoji":"🕳️","tokens_out":13716,"duration_ms":133183,"temperature":0.7,"pith_summary":"The paper sets out to quantize the Jackiw-Teitelboim model of two-dimensional dilaton gravity directly in the bulk and to compute its one-loop partition function around black hole backgrounds. Its central result is $\\log Z\\big|_{\\text{one-loop}} = \\frac{3}{2}\\log\\frac{G_2 T}{M_{\\rm gap}} = -\\frac{3}{2}\\log\\frac{\\beta M_{\\rm gap}}{G_2}$, the same logarithmic correction that had been derived from the one-dimensional dual model. The entire temperature-dependent logarithm comes from a single tower of discrete modes, the quadratic holomorphic differentials, which are exact zero modes in the extremal limit and are lifted by finite temperature. If correct, this gives a quantum-level test of the near-AdS$_2$/near-CFT$_1$ correspondence and explains why the logarithmic correction is universal: the contributing modes saturate the Breitenlohner-Freedman stability bound and their count is fixed by the Riemann-Roch theorem.","feed_headline":"Bulk one-loop log term matches its holographic dual","feed_subtitle":"A direct bulk calculation finds log Z = (3/2) log(G2 T / Mgap), exactly the dual's one-loop value.","key_machinery":"The load-bearing object is the infinite tower of quadratic holomorphic differentials on Euclidean AdS$_2$, defined as normalizable symmetric traceless tensor modes $H_{zz}^{(n)} = \\ell^2\\sqrt{n(n^2-1)/(2\\pi)}\\,z^{n-2}$ for $n = 2,3,\\dots$. These modes are normalizable tensor deformations that arise from non-normalizable conformal Killing vectors, and they are eigenmodes of the tensor Laplacian with eigenvalue $-2/\\ell^2$, so they saturate the Breitenlohner-Freedman bound. Around black holes the dilaton profile gives each mode a mass $n\\sqrt{\\mu a}\\propto n\\,T/M_{\\rm gap}$, producing the large logarithm in the partition function. The surrounding machinery is a harmonic-analysis decomposition on $H^2$ that dualizes vectors and tensors to scalars plus discrete modes, making the cancellations in the continuous sector manifest and isolating the QHD contribution; zeta-function regularization converts the divergent tower sum into the coefficient $\\frac{3}{2}$.","core_discovery":"On the paper's own terms, the discovery is that standard Euclidean quantum gravity methods suffice to compute the one-loop partition function of JT black holes, with the result $\\log Z\\big|_{\\text{one-loop}} = \\frac{3}{2}\\log\\frac{G_2 T}{M_{\\rm gap}}$, in precise agreement with the one-loop free energy of the dual one-dimensional model. The logarithmic term is determined entirely by the quadratic holomorphic differentials: normalizable symmetric-traceless tensor modes $H_{zz}^{(n)}\\propto z^{n-2}$ that are formally pure diffeomorphisms, but only by non-normalizable vector fields, so they are physical. In the extremal limit these modes have vanishing on-shell kinetic eigenvalue; the dilaton slope of the black hole background lifts them by an amount proportional to $n\\,T/M_{\\rm gap}$. Continuous modes cancel against ghosts, and harmonic vector modes do not contribute a log, leaving the zeta-function-regulated QHD tower as the sole source of the coefficient $\\frac{3}{2}$.","pith_inferences":["If the QHD identification is robust, the same harmonic-analysis method should be able to compute subleading $T^2$ free-energy coefficients and two-point functions in the bulk, which the paper does not address.","The paper's analogy with the Virasoro boundary-symmetry mechanism of AdS$_3$ gravity suggests the bulk QHD tower may be the image of the full reparameterization group, not just the boundary quotient; a test would be to match Virasoro primaries of the dual theory to deformations generated by the whole tower.","One could test the claimed universality by coupling the JT model to a second matter field: the paper's logic predicts the dilaton-gravity sector still contributes $-\\frac{3}{2}\\log\\beta$, while matter introduces its own coefficient, changing the total to a different rational number."],"forward_implications":["The near-AdS$_2$/near-CFT$_1$ correspondence survives a one-loop precision test: the bulk partition function and the one-dimensional dual produce the same logarithmic temperature dependence.","The one-loop correction to the canonical free energy cancels in the Legendre transform to the microcanonical ensemble, so the Bekenstein-Hawking entropy formula receives no logarithmic correction at this order.","Because the count of quadratic holomorphic differentials is topological (Riemann-Roch) and their effective mass saturates the Breitenlohner-Freedman bound, the paper argues the $-\\frac{3}{2}\\log\\beta$ coefficient is universal for near-AdS$_2$ dilaton gravities, not special to the JT action.","The bulk method also exposes a $-\\frac{3}{2}\\log S_0$ threshold contribution to extremal black hole entropy that the one-dimensional boundary computation does not see, connecting the one-loop test to earlier logarithmic-entropy calculations."],"supporting_citations":[{"why":"supplies the one-loop partition function of the dual model, eq. (1.1), which is the target of the bulk computation.","marker":"[5]"},{"why":"reduces the JT model to the one-dimensional boundary action and establishes the conformal symmetry breaking pattern the paper works in.","marker":"[6]"},{"why":"provides the AdS2 black hole solutions and dilaton profiles that serve as the semiclassical backgrounds.","marker":"[10]"},{"why":"notes the mass shift of the quadratic holomorphic differentials from the coupling to the background curvature, used in the universality argument.","marker":"[15]"},{"why":"pioneers the quantum entropy function computation of logarithmic corrections from near-horizon AdS2 fluctuations, the methodological precedent.","marker":"[22]"},{"why":"computes logarithmic corrections to near-extremal black hole entropy whose threshold contributions are connected to the paper's $-3/2\\log S_0$ term.","marker":"[25]"},{"why":"supplies the scalar eigenfunctions and Plancherel measure underlying the harmonic analysis on the hyperbolic plane.","marker":"[38]"},{"why":"documents the quantum inequivalence of different field representations that produces the discrete vector and tensor modes.","marker":"[40]"}],"fun_headline_variants":["JT gravity one-loop log matches SYK exactly","Bulk one-loop log = 3/2 log(G2T/Mgap) matches dual","Exact one-loop match: JT black holes and SYK","Quantum fluctuations in JT gravity exactly match SYK"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument's load-bearing premise is that the quadratic holomorphic differentials are physical fluctuation modes rather than gauge artifacts: if the correct boundary conditions instead counted them as pure gauge, they would cancel against ghost contributions and the $-\\frac{3}{2}\\log\\beta$ coefficient would vanish.","fun_headline_variants_meta":{"raw":{"variants":["JT gravity one-loop log matches SYK exactly","Bulk one-loop log = 3/2 log(G2T/Mgap) matches dual","Exact one-loop match: JT black holes and SYK","Quantum fluctuations in JT gravity exactly match SYK"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000414,"raw_usage":{"total_tokens":2091,"prompt_tokens":846,"completion_tokens":1245,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":462,"completion_tokens_details":{"reasoning_tokens":1173}},"tokens_in":462,"tokens_out":1245,"duration_ms":8694,"temperature":1.0,"reasoning_tokens":1173,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:09:38.354499+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Recompute the one-loop determinant on the same black hole background with boundary conditions that remove the non-normalizable diffeomorphisms generating the quadratic holomorphic differentials, e.g. by imposing stronger fall-off on the metric fluctuations; if the logarithmic coefficient is no longer $-\\frac{3}{2}$, the QHD identification is falsified.","supporting_citations":[{"cited_title":"Camporesi and A","cited_arxiv_id":null,"evidence_quote":"supplies the scalar eigenfunctions and Plancherel measure underlying the harmonic analysis on the hyperbolic plane."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"documents the quantum inequivalence of different field representations that produces the discrete vector and tensor modes."}],"review_version":1}