{"id":"0edfa488-3936-4e41-a3f1-917d7282818a","arxiv_id":"1512.03052","paper_version":3,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors derive explicit closed-form 1/c corrections to the heavy-light Virasoro vacuum block, separating a semiclassical h_L^2/c piece from a quantum h_L/c piece, and argue that only non-perturbative effects can restore Euclidean-time periodicity.","lead":"This paper computes the first subleading 1/c corrections to Virasoro conformal blocks in the heavy-light limit of two-dimensional conformal field theory, giving closed-form expressions for both the semiclassical and the genuinely quantum pieces. It matters to theorists working on AdS3 holography and the black hole information paradox, because these blocks encode quantum gravitational effects order by order in 1/c.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The load-bearing soft spot is the mode-truncation counting in §2.1; the bound is conservative and the small-h_H O(z^8) check supports it, but the general-alpha closed form in (1.4) is only indirectly verified, leaving an algebra-error gap.","rationale":"The reader correctly identifies the mode-truncation counting in §2.1 as the main technical soft spot, and I agree it is the place where the derivation is least secure. But the counting is a conservative upper bound, not a tight estimate: the connected heavy-light stress-tensor correlators in w-coordinates scale as c rather than c^k, so higher-L terms are suppressed by additional powers of 1/c at fixed h_L. The O(z^8) check against the recursion, even though performed in the small-h_H limit, would expose any missing higher-mode contribution at O(1/c) because such a contribution would shift low-order z coefficients. The genuinely under-checked object is the general-alpha closed form (1.4): the small-h_H check verifies (2.22), and the [17] comparison is at the integral level, so the general-alpha algebra is verified only indirectly. This is a real but bounded gap, and it does not by itself invalidate the central claim. The interpretive material in §3 (geodesic Witten diagrams, monodromies, the information-paradox expectation in abstract:s6) is appropriately hedged and is not load-bearing for the closed form. The paper also correctly notes that V^(1)_{h_L} does not survive in (1/c) log V while V^(1)_{h_L^2} does, so the 'quantum' versus 'semiclassical' labels are consistent with the stated definition (1.5). I would keep the reader's ACCEPT verdict and MODERATE confidence; the concrete test above would raise confidence to HIGH if it passes at generic alpha.","tokens_in":23864,"tokens_out":23419,"duration_ms":456470,"concrete_test":"Expand the general-alpha closed form (1.4) in z to O(z^8) and compare coefficient-by-coefficient against the Zamolodchikov recursion at a generic alpha (e.g. alpha = 0.7 and alpha = 1.3i), not just alpha -> 1. If the coefficients match, the general-alpha closed form is verified and the concern does not land; if they differ, the first mismatching order localizes the algebra error in evaluating (2.20).","verdict_should_be":"UNCHANGED","load_bearing_attack":"The truncation to single and double L modes at O(1/c) rests on the bound in §2.1: a correlator with 2k T insertions has at most c^k from TT contractions, against a norm suppression c^{-2k}, so the 2k-L term is at most c^{-k}. At fixed h_L this is conservative: the connected heavy-light T^{2k} correlator in w-coordinates scales as c, not c^k, so 4-L and higher terms are suppressed by extra powers of 1/c and cannot contaminate the O(1/c) result. The reader's worry that 'triple or higher L-mode contributions could contribute at O(1/c)' is therefore bounded by the same counting. The sharper residual gap is verification coverage: the O(z^8) comparison in §2.3 is performed only in the small-h_H limit (alpha -> 1, eq. 2.22), and the comparison with ref. [17] is at the level of the integral expression for the semiclassical piece, not the closed form. The general-alpha closed form (1.4) is thus obtained by direct evaluation of the checked integrals (2.20) but is not itself independently expanded and matched at generic alpha. An algebra slip in the incomplete-Beta/harmonic-number evaluation at general alpha would survive the small-h_H check. This is a bounded gap, not a refutation: the derivation is a direct evaluation of integrals whose small-h_H limit is verified, and the analytic structure is consistent with expectations.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript computes perturbative 1/c corrections to heavy-light Virasoro conformal blocks in two-dimensional CFT at large central charge, using the projector method in the deformed w-coordinates of the authors' earlier work. The central deliverables are closed-form expressions (Eq. 1.4) for the O(h_L^2/c) 'semi-classical' and O(h_L/c) 'quantum' corrections to the vacuum block, together with contour-integral representations (Eq. 2.20) and a general-block formula collected in Appendix A. The paper checks the small-h_H limit (Eq. 2.22) against a direct small-z expansion to O(z^8) using the Zamolodchikov recursion of ref. [18], studies the large-temperature limit (Eq. 2.24) and the resulting Euclidean-time monodromies, and offers an AdS interpretation in terms of geodesic Witten diagrams, arguing that the monodromies of individual blocks need not signal a violation of thermality in the full correlator.","tokens_in":24212,"tokens_out":12370,"duration_ms":229188,"significance":"If correct, this is the first explicit subleading 1/c computation of these blocks, and the observation that the O(h_L/c) 'quantum' piece survives the strict semi-classical limit (where h_L/c is held fixed) is conceptually important: it delineates what the c→∞ block does and does not capture. The paper is a genuine first-principles derivation with no fitted parameters, and the O(z^8) comparison against the independent recursion of ref. [18] is a real benchmark rather than a self-consistency check. The interpretive sections are appropriately hedged, with the geodesic-Witten-diagram mechanism explicitly labelled a conjecture. The result is a useful, falsifiable ingredient for subsequent work on thermality and information loss in AdS3/CFT2.","major_comments":[{"comment":"The truncation to single and double L-modes at O(1/c) rests on the counting argument in §2.1: a correlator with 2k insertions of T can have at most c^k from TT contractions, against a norm suppression c^{-2k}, so the 2k-L term is at most c^{-k}. This is a bound, not a demonstration that the bound is saturated only by the modes retained, and it is load-bearing for the completeness of Eq. (1.4). The paper should state explicitly that this is a conservative bound and, ideally, supply a short argument or a check that triple- and higher-L contributions are genuinely absent at O(1/c) at generic alpha, not merely suppressed by the same counting. The O(z^8) check in §2.3 supports the truncation but only in the alpha -> 1 limit, so it does not by itself close this point.","section":"§2.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The independent verification is confined to the small-h_H limit: the O(z^8) comparison against ref. [18] is performed for the alpha -> 1 expressions in Eq. (2.22), and the comparison with ref. [17] is at the level of the integral representation of the semi-classical piece, not the closed form. The general-alpha closed form in Eq. (1.4) is therefore obtained by direct evaluation of the checked integrals (2.20) but is not itself independently expanded and matched at generic alpha. An algebra slip in the incomplete-Beta/harmonic-number evaluation at general alpha would survive the small-h_H check. A numerical comparison of Eq. (1.4) against the integral (2.20), or against the independent method of ref. [17], at one or two generic values (e.g. alpha = 0.7 and alpha = 1.3 i) would substantially strengthen confidence in the headline result and is the sharpest residual gap in the paper.","section":"§2.3, Eq. (2.22); Eq. (1.4)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The abstract states the corrections as 'semi-classical' h_L^2/c^2 and 'quantum' h_L/c^2, whereas Eq. (1.4) and the surrounding discussion in §2.2 give the corrections as O(h_L^2/c) and O(h_L/c). The body is the correct scaling (the projector factors in Eq. 2.13 supply 1/c^2, the light-operator overlaps supply h_L^2 or h_L, and the heavy T T correlator supplies one factor of c). The abstract should be corrected so that the headline statement matches the body.","section":"Abstract [s4]; Eq. (1.4); §2.2","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Several factors in Eq. (1.4) are typographically ambiguous as displayed, for example 'csch2(alpha t/2)2' and '12 log(2 sinh(alpha t/2) alpha )'. Since this equation is the central deliverable, it should be typeset so that the argument of each special function and the placement of each denominator are unambiguous.","section":"Eq. (1.4)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The overall 1/c bookkeeping and the sign of the leading z^4 coefficient should be stated explicitly when passing from Eq. (2.22) to the small-w series in Eq. (2.26). As printed, Eq. (2.22) carries no explicit 1/c while Eq. (2.26) does, and the leading coefficients appear to differ in sign; a reader cannot tell whether this reflects a convention for V^(1) or an inconsistency. A one-line statement of the convention would resolve it.","section":"Eqs. (2.22), (2.26)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The abstract promises 'integral formulas for general Virasoro blocks', but Appendix A leaves the functions G1 and G2 in Eq. (A.7) implicit ('we do not present them here'). Either the explicit G1, G2 should be written out, or the abstract should be softened to say that the general-block formula is given up to the constituent sums displayed in Eq. (A.6).","section":"Appendix A, Eq. (A.7); Abstract [s4]","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The symbol T is used both for the stress tensor T(w) throughout §2 and for the temperature in the 'Large T limit' of §2.4. The two uses are close enough in the text to be confusing; a distinct symbol for temperature (or an explicit note at the start of §2.4) would help.","section":"§2.4; §2.2","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"In §1.1 the paper states the expectation that 'perturbative 1/c corrections should not violate the thermal periodicity', and §2.4 then finds that the 1/c corrections to the block do violate it. The reconciliation (the expectation applies to the full correlator, while the block's monodromy cancels against other blocks) is present but appears only later; it would be clearer to flag it at the point where the expectation is first stated. Separately, footnote 5 asserts that the monodromy under Tt -> Tt + 1 can be checked 'straightforwardly' from Eq. (2.24); showing the monodromy of the Ei/li terms explicitly would make that check verifiable by the reader.","section":"§1.1; §2.4; footnote 5","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"The paper is a follow-up to the authors' own refs. [4,20], and the semi-classical piece overlaps with the concurrent ref. [17]; the manuscript discloses the timing of [17] appropriately. The main things I would want before acceptance are the abstract/body scaling correction and some independent check of the general-alpha closed form, both of which are within the authors' reach. The interpretive material in §3 is clearly labelled as conjecture and should not be held to the standard of the derivation in §2."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"Short version: the new content here is real. This is the first explicit O(h_L/c) correction to the heavy-light Virasoro vacuum block, and that term is not visible in (1/c) log V at fixed h_L/c, so it genuinely sits outside the semiclassical limit rather than being a reshuffling of it. The O(h_L^2/c) piece overlaps with Beccaria–Fachechi–Macorini [17], and the paper says so plainly in the introduction. That disclosure is the right call and it is done without fuss. The closed forms in (1.4) and the general-block integral formulas in Appendix A are the kind of thing people will actually use, and the derivation — projector in w-coordinates, contour integrals reduced to (2.20), then evaluated — is a real first-principles computation, not a fit to anything. The small-z check against the Zamolodchikov recursion to O(z^8) is a genuine independent benchmark, and the authors are careful to say the monodromy story in Section 3 is a conjecture about image-summed propagators, not a derivation. I'd take that at face value; it's labeled honestly and shouldn't be read as a claim about resolving the information paradox, which they explicitly disclaim (abstract:s6 is an expectation, not a result). On the reader's main worry: I'd downgrade it. The mode-truncation counting in §2.1 is conservative, because the connected heavy-light T^{2k} correlator in w-coordinates scales as c, not c^k, so 4-L and higher terms are suppressed by extra powers of 1/c and can't contaminate O(1/c). The sharper gap is verification coverage. The O(z^8) comparison is done only at alpha → 1 (eq. 2.22), and the agreement with [17] is at the level of the integral (2.20), not the closed form. An algebra slip in the incomplete-Beta/harmonic-number evaluation at generic alpha would survive both checks. That's a bounded gap, not a refutation, but it's the one thing I'd ask for: a numerical evaluation of (1.4) at, say, alpha = 1.7i against a direct series. Footnote 3's branch-cut prescription is also a practical annoyance for anyone reusing the formula. Who should read it: people working on Virasoro blocks, AdS3 gravity, and thermalization in 2d CFT. I'd cite it. Send it to referees.","headline":"A solid, honest next step in the heavy-light Virasoro program: the O(h_L/c) correction is genuinely new, and the interpretive section is flagged as conjecture rather than sold as a result.","tokens_in":24829,"tokens_out":1502,"would_cite":true,"duration_ms":27335,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["11.25.Hf","11.25.Tq","04.70.Dy"],"model":"selfhosted/deepseek-v4.1-flash","headline":"The first $1/c$ correction to the heavy-light Virasoro vacuum block is computed in closed form, and it breaks the thermal periodicity that the leading-order result obeys.","keywords":["Virasoro conformal blocks","heavy-light limit","large central charge expansion","AdS3/CFT2","black hole information paradox","Euclidean time monodromy","geodesic Witten diagrams","thermal two-point function"],"falsifier":"Evaluate the triple- and higher-mode contributions to the projector sum at order $1/c$ explicitly, or compare the closed forms against a numerical evaluation of the Virasoro block at large but finite $c$ using the Zamolodchikov recursion; a mismatch in the $z^8$ coefficient would settle it.","tokens_in":52986,"feed_emoji":"🕳️","tokens_out":5213,"duration_ms":94368,"temperature":0.7,"pith_summary":"In two-dimensional conformal field theory, the Virasoro vacuum block in a background with one heavy operator and one light operator reproduces, at infinite central charge $c$, exactly the two-point function of a thermal state. That match is the sharpest CFT-side statement of black hole thermodynamics, and its failure at finite $c$ is a sharpest-form version of the information paradox: the thermal answer is periodic in Euclidean time, while a genuine four-point function in a finite-$c$ CFT cannot be. This paper pushes the computation one step further, extracting the terms of order $h_L/c$ and $h_L^2/c$ in the heavy-light expansion of the vacuum block and writing them in closed form. The corrections turn out not to be periodic in Euclidean time, and the authors argue this is not a contradiction: an individual conformal block is allowed unphysical monodromies that cancel once blocks are summed into a full correlator, and they sketch how the same monodromies arise from a bulk AdS$_3$ computation using geodesic Witten diagrams.","feed_headline":"First 1/c correction to Virasoro blocks, in closed form","feed_subtitle":"It breaks thermal periodicity in Euclidean time, which the authors argue is expected for a single block.","key_machinery":"The engine is a change of coordinates. Instead of the flat Virasoro generators $L_n$, the authors build the projector onto the exchanged representation out of modes defined in the coordinate $w = 1-(1-z)^{1/2}$, where the exponent is fixed by the heavy operator dimension through $1-24h_H/c$; in this basis the overlap with the heavy operator no longer grows with $h_H$, so the leading contribution comes only from the raising modes $L_{-n}$. The stress-tensor two-point function in the $w$ coordinate then acts as a generating function for the heavy-operator overlaps, and the norm matrix of the double modes is inverted and expanded to order $1/c^2$. A contour integral over two $w$-plane insertions of $T$ converts the projector sum into the closed-form correction functions, with the contour shrunk onto the branch cut between $0$ and $w$.","core_discovery":"The paper's central result is equation (1.4): the heavy-light Virasoro vacuum block, expanded to first order in $1/c$ at large temperature, is the leading semi-classical answer multiplied by a bracket $1 + (h_L/c)V^{(1)}_{h_L} + (h_L^2/c)V^{(1)}_{h_L^2}$, where both correction functions are given explicitly in terms of incomplete Beta functions, harmonic numbers, and elementary functions of the rescaled time and of $h_H/c$. The $h_L^2/c$ piece is semi-classical: it survives in the limit where $c$ is taken large with $h_H/c$ and $h_L/c$ held fixed, so it corresponds to classical gravitational backreaction of the light probe on the geometry. The $h_L/c$ piece is quantum: it drops out of $c^{-1}$ times the logarithm of the block in that same limit, so it is a genuine loop effect in the dual AdS$_3$ description rather than a correction to a classical saddle. The authors also give integral formulas, built from a contour representation of the Virasoro projector, that produce general heavy-light blocks order by order in $1/c$. Examining the corrections as functions of Euclidean time, they find logarithms of $1-w$ with $1-w = e^{2 i T t}$, hence a non-trivial monodromy under $t_E$ shifted by one thermal period: the subleading block is not periodic, unlike the leading thermal answer.","pith_inferences":["If the mode-truncation counting is right, the same projector-plus-contour method should give the $1/c^2$ term mechanically, so the real bottleneck for a systematic expansion is bookkeeping rather than a new idea.","The claim that monodromies cancel between blocks is testable in principle: in a theory with a large gap, the leading OPE singularities are vacuum-block only, so the $1/c$ corrections computed here should be visible in the OPE coefficients of double-trace operators built from the light field.","The resemblance between the small-$h_H/c$ and infinite-temperature corrections hints that a single function of the ratio of the two scales may organize the whole $1/c$ series, which would be worth checking at the next order."],"forward_implications":["The vacuum block is now known to two orders beyond the semi-classical limit, giving a concrete target for any proposed bulk dual computation of subleading heavy-light blocks in AdS$_3$.","Because the $h_L/c$ term survives in $\\log V$ only at order $c^0$, it is a genuine quantum (loop) effect in the bulk, so its explicit form is a check on one-loop gravity in a BTZ or deficit-angle background.","The non-trivial Euclidean-time monodromy of the corrections shows that perturbative $1/c$ physics alone cannot restore the thermal periodicity of the full correlator; only effects of order $e^{-O(c)}$ can.","The integral formulas extend beyond the vacuum block to general heavy-light Virasoro blocks, so the same projector technique can be pushed to higher orders in $1/c$ and to non-vacuum exchange.","The observed near-agreement of the correction functions at small $h_H/c$ and at infinite temperature is attributed to BTZ being locally pure AdS$_3$, suggesting a geometric reason that survives away from both limits."],"supporting_citations":[{"why":"Supplies the coordinate change and the projector construction in the deformed basis that the whole computation is built on.","marker":"[20]"},{"why":"Establishes the leading-order heavy-light vacuum block and its identification with the thermal two-point function, which is the result being corrected here.","marker":"[4]"},{"why":"Introduces geodesic Witten diagrams, the bulk construction the authors invoke to explain where conformal-block monodromies come from.","marker":"[14]"},{"why":"Computes semi-classical Virasoro blocks from AdS$_3$ gravity and provides the bulk-side comparison the $1/c$ corrections are measured against.","marker":"[15]"},{"why":"Provides the OPE-convergence statement that finite-$c$ four-point functions cannot have the periodic singularities a thermal correlator would require.","marker":"[12]"},{"why":"Supplies the recursion and small-$z$ expansion used to cross-check the closed-form corrections to order $z^8$.","marker":"[18]"},{"why":"Independent integral expression for the order $h_L^2/c$ semi-classical term, obtained by a different method, offering a comparison point.","marker":"[17]"},{"why":"Discusses propagators in black hole backgrounds and the image sum that produces the extra singularity, supporting the proposed bulk origin of the monodromy.","marker":"[31]"}],"fun_headline_variants":["Virasoro block gets its first 1/c correction in closed form","The 1/c correction makes the Virasoro block nonperiodic in Euclidean time","Closed-form 1/c corrections split into classical and quantum pieces","General Virasoro blocks now have integral formulas order by order","Authors expect only nonperturbative 1/c can resolve the singularities"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The closed forms rest on a power-counting argument that only single and double Virasoro raising modes can contribute at order $1/c$, justified by noting that a correlator with $2k$ stress-tensor insertions can gain at most $c^k$ from coincident-operator singularities; no systematic proof is given that triple and higher modes are absent at this order.","fun_headline_variants_meta":{"raw":{"variants":["Virasoro block gets its first 1/c correction in closed form","The 1/c correction makes the Virasoro block nonperiodic in Euclidean time","Closed-form 1/c corrections split into classical and quantum pieces","General Virasoro blocks now have integral formulas order by order","Authors expect only nonperturbative 1/c can resolve the singularities"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2797,"prompt_tokens":1059,"completion_tokens":1738,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":1655}},"tokens_in":1059,"tokens_out":1738,"duration_ms":30415,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":1655,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-11-09T15:43:51.194217+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Evaluate the triple- and higher-mode contributions to the projector sum at order $1/c$ explicitly, or compare the closed forms against a numerical evaluation of the Virasoro block at large but finite $c$ using the Zamolodchikov recursion; a mismatch in the $z^8$ coefficient would settle it.","supporting_citations":[{"cited_title":"Virasoro conformal blocks and thermality from classical background fields","cited_arxiv_id":"1501.05315","evidence_quote":"Supplies the coordinate change and the projector construction in the deformed basis that the whole computation is built on."},{"cited_title":"Universality of long-distance AdS physics from the CFT bootstrap","cited_arxiv_id":"1403.6829","evidence_quote":"Establishes the leading-order heavy-light vacuum block and its identification with the thermal two-point function, which is the result being corrected here."},{"cited_title":"Witten diagrams revisited: the AdS geometry of conformal blocks","cited_arxiv_id":"1508.00501","evidence_quote":"Introduces geodesic Witten diagrams, the bulk construction the authors invoke to explain where conformal-block monodromies come from."},{"cited_title":"Semiclassical Virasoro Blocks from AdS$_3$ Gravity","cited_arxiv_id":"1508.04987","evidence_quote":"Computes semi-classical Virasoro blocks from AdS$_3$ gravity and provides the bulk-side comparison the $1/c$ corrections are measured against."},{"cited_title":"Operator product expansion convergence in conformal field theory","cited_arxiv_id":"1208.6449","evidence_quote":"Provides the OPE-convergence statement that finite-$c$ four-point functions cannot have the periodic singularities a thermal correlator would require."},{"cited_title":"Conformal Symmetry in Two-Dimensions: An Explicit Recurrence Formula for the Conformal Partial Wave Amplitude","cited_arxiv_id":null,"evidence_quote":"Supplies the recursion and small-$z$ expansion used to cross-check the closed-form corrections to order $z^8$."},{"cited_title":"Virasoro vacuum block at next-to-leading order in the heavy-light limit","cited_arxiv_id":"1511.05452","evidence_quote":"Independent integral expression for the order $h_L^2/c$ semi-classical term, obtained by a different method, offering a comparison point."},{"cited_title":"Inside the Horizon with AdS/CFT","cited_arxiv_id":"hep-th/0212277","evidence_quote":"Discusses propagators in black hole backgrounds and the image sum that produces the extra singularity, supporting the proposed bulk origin of the monodromy."}],"review_version":1}