Pith. sign in

REVIEW 2 major objections 6 minor 16 references

Eigenvectors of monodromy matrices fix bulk geodesic endpoints, so internal network equations ignore the heavy background and give heavy-light Virasoro blocks.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-13 02:34 UTC pith:WIAFDJCL

load-bearing objection Clean technical advance: monodromy eigenvectors give geodesic endpoints, network equations decouple from the heavy background, and they deliver the full non-vacuum HHLLL five-point block. the 2 major comments →

arxiv 2607.09500 v1 pith:WIAFDJCL submitted 2026-07-10 hep-th math-phmath.MP

Monodromy and geometry of heavy-light Virasoro blocks

Mikhail Belakovskiy , Vladimir Belavin This is my paper
classification hep-th math-phmath.MP
keywords Virasoro blocksheavy-light limitclassical monodromyAdS3/CFT2geodesic networksholographic coordinatesaccessory parameters
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

In two-dimensional conformal field theory, correlation functions are built from Virasoro blocks. In the large-central-charge limit these blocks become lengths of geodesic networks in three-dimensional anti-de Sitter space, especially when a few heavy operators create a curved background that light operators probe. This paper shows that, once the monodromy problem is written in holographic coordinates, the eigenvectors of each monodromy matrix simply record the two endpoints of the corresponding bulk geodesic. That identification immediately produces both the light classical action and a set of algebraic equations that locate every internal junction of the network. Crucially, those network equations do not depend on the heavy background at all. For two equal heavy operators the same equations are recovered from elementary plane geometry, confirming the monodromy result. The method is then used to compute the complete non-vacuum five-point heavy-heavy-light-light-light block, previously known only in a superlight approximation, and to identify the six-point HHHLLL block as the largest configuration still solvable in closed form.

Core claim

The eigenvectors of the first-order monodromy matrices around light insertions encode the pair of endpoints of the corresponding bulk geodesics. Consequently the algebraic conditions that fix the internal geodesic network are independent of the heavy background; once those endpoints are known, the light classical action is obtained by a simple additive formula built from vacuum four- and five-point pieces.

What carries the argument

Holographic coordinates w = ψ_{1}/ψ_{2} together with the first-order monodromy matrix around each light singularity; their eigenvectors supply the geodesic endpoints, which convert the monodromy eigenvalue conditions into background-independent cross-ratio equations at every cubic vertex of the network.

Load-bearing premise

The product of the three monodromy matrices around any cubic vertex equals the identity at first order, because the bulk connection is flat and the corresponding cycle can be contracted in the bulk.

What would settle it

For the five-point HHLLL network, solve the monodromy eigenvalue problem independently of the eigenvector construction and check whether the resulting accessory parameters and classical action coincide with the closed-form expression obtained from the network equations and the additive light action.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 6 minor

Summary. The paper relates the classical monodromy method for semiclassical Virasoro blocks to the bulk geodesic-network description in the heavy-light regime of AdS3/CFT2. In holographic coordinates (the ratio of two background monodromy solutions), the authors show that the eigenvectors of the first-order monodromy matrix encode the endpoints of bulk geodesics. Flatness of the bulk connection then yields algebraic equations that fix the internal geodesic network; these equations are independent of the heavy background. For two equal heavy operators the same cross-ratio conditions and light action are rederived from elementary Euclidean plane geometry. The construction is applied to obtain the full non-vacuum five-point HHLLL block (previously available only in the superlight approximation) and is organized into a general algorithm whose analytic computability threshold is identified as the six-point HHHLLL configuration.

Significance. If the derivations hold, the work supplies a practical bulk algorithm for heavy-light Virasoro blocks in which the light-network equations decouple from the heavy background. The dual monodromy and Euclidean-geometry derivations of the same network equations (Eqs. 2.10–2.12 and 3.11) and additive light actions constitute a genuine cross-check. The explicit non-vacuum five-point HHLLL block beyond the superlight limit of Alkalaev–Belavin (2016) is a concrete new result, and the clean statement of the analytic-computability threshold (at most three heavy and three light operators) is a useful organizational contribution. The paper is a natural and solid addition to the AdS3/CFT2 semiclassical-block literature.

major comments (2)
  1. §4.2, Eq. (4.8) and the uniqueness argument that follows: the physical solution is identified as the unique negative root of P(x) under the restriction arg w_i ∈ [0, π) (hence ζ < 0). The claim that (4.11) is the full non-vacuum HHLLL block requires a clearer statement of the kinematic domain in which this root remains physical and continuous under analytic continuation of the light insertions, and whether other real roots can become physical in other regimes. A short discussion (or an explicit check against a known limit other than the four-point reduction already given) would make the selection criterion load-bearing rather than kinematic-assumption-dependent.
  2. §2.2, Eq. (2.8) and the paragraph preceding it: the product of the three monodromy matrices is set to the identity by pulling the cubic cycle into the bulk, using flatness of the connection. This is standard and is independently recovered by the Euclidean geometry for two equal heavies (Sec. 3). For the full claimed range of analytically tractable heavy sectors (nh ≤ 3), a brief remark on the topology of the cycle when the background is the three-heavy solution (still explicit by Ward identities) would make the background-independence claim uniformly supported rather than checked only for the conical-defect case.
minor comments (6)
  1. An explicit expansion of the five-point formula (4.11) in the superlight regime and a direct comparison with the known result of Ref. [10] would strengthen the application section and give an independent numerical check of root selection.
  2. Notation switches between w(z), z^α, and angular variables θ without a single consistent dictionary; a short paragraph at the start of Sec. 4 fixing w = z^α for the two-heavy case would help.
  3. The general action reconstruction at the end of §4.3 (sum of vacuum f3 contributions minus double-counted internal f2 segments) is correct in outline but written somewhat schematically; spelling out the five-point case from this formula side-by-side with (4.6)–(4.7) would improve readability.
  4. Figure 1.1 (comb channel) and Figures 2.1, 3.1–3.5, 4.1 are helpful but several labels (especially the continued internal endpoints ˜Zij) are dense; a single schematic summarizing the auxiliary endpoints for the five-point network would clarify Sec. 4.2.
  5. Eqs. (2.15)–(2.17): the relations among f(z), f(w) and f(θ) are correct but the passage from the accessory-parameter integral to the additive bulk action could be stated more cleanly (one intermediate line relating ψ1ψ2 = W w / w' to the logarithmic derivatives).
  6. Minor typographical points: “theactionhereconsistsoffivecontributions” (p. 11) needs spacing; “scotρ” and similar products would be clearer with an explicit multiplication sign or parentheses in Sec. 3.

Circularity Check

0 steps flagged

No significant circularity: monodromy-eigenvector claim and background-independent network equations are derived twice (monodromy + Euclidean geometry) and then used to solve for the new 5-point block.

full rationale

The central derivation (Sec. 2.2) starts from the first-order monodromy matrix in holographic coordinates, shows that its eigenvectors are the geodesic endpoints for the vacuum 4-point case (explicit calculation around Eqs. 2.6–2.7), then imposes flatness/contractibility of the cubic cycle (Eq. 2.8) to obtain the three algebraic network equations (2.9–2.10) and the invariant cross-ratio form (2.12). The light action follows by substitution (2.13–2.17). Section 3 re-derives the identical cross-ratio condition (3.11) and additive action (3.13) from elementary Euclidean plane geometry for two equal heavies, without invoking monodromy matrices; the match is an independent check, not a re-labeling of the same input. The 5-point non-vacuum block (Sec. 4.2) is obtained by solving the resulting algebraic system (4.5, 4.8) and assembling the action from vacuum 4- and 5-point pieces; no parameters are fitted to data. Self-citations supply the holographic-coordinate setup and known vacuum blocks, but the new claims (eigenvector interpretation, heavy-background independence of the network equations, and the full HHLLL block) are computed inside the paper. The only mild self-reference is the reuse of prior vacuum results as building blocks, which is ordinary and non-load-bearing for the novelty. Score 1 reflects that minor self-citation without any reduction of a claimed prediction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

The paper works entirely within the standard semiclassical AdS3/CFT2 dictionary and the classical monodromy method. No free parameters are fitted; the only inputs are the usual heavy and light dimensions and the flatness of the bulk connection. Invented entities are absent; holographic coordinates are taken from prior literature.

axioms (5)
  • domain assumption Semiclassical Virasoro blocks exponentiate as F ~ exp(c/6 f) and equal regularized lengths of bulk geodesic networks (AdS3/CFT2 dictionary).
    Invoked throughout Secs. 1–2 and used to identify the classical action with geodesic length; standard in the cited literature.
  • domain assumption The bulk connection generated by the stress tensor is flat, so holonomy around any contractible cycle is trivial.
    Used to set M_γz1 M_γz2 M_γz3 = Id (Eq. 2.8) and to extend the cubic-vertex relations to the whole network.
  • domain assumption Heavy background T^(0) is known in closed form for at most three heavy operators (Ward identities fix all accessories).
    Stated in Sec. 2.1; determines the computability threshold HHHLLL.
  • domain assumption First-order expansion in light dimensions ϵ_l ~ O(c^{-1}) is sufficient for the classical block.
    Standard heavy-light approximation used to construct M^(1) (Eq. 2.4) and the eigenvectors.
  • standard math Standard linear algebra and complex analysis (eigenvectors of 2×2 monodromy matrices, cross-ratios on the plane, Wronskian identities).
    Used throughout Secs. 2–4 to extract endpoints and solve algebraic systems.

pith-pipeline@v1.1.0-grok45 · 19118 in / 2695 out tokens · 28716 ms · 2026-07-13T02:34:02.991075+00:00 · methodology

0 comments
read the original abstract

The AdS/CFT correspondence relates gravity in anti-de Sitter space to a boundary conformal field theory, and in its AdS$_3$/CFT$_2$ instance the Virasoro symmetry of the boundary theory organizes correlation functions into conformal blocks. In the semiclassical limit these blocks are computed by lengths of geodesic networks in the bulk, most sharply in the heavy-light regime, where heavy operators source a background probed by light ones. We relate the classical monodromy method to this bulk geometry in holographic coordinates, showing that the eigenvectors of the monodromy matrix encode the endpoints of bulk geodesics. This yields the light action and the equations determining the internal geodesic network; crucially, the internal network equations are independent of the heavy background. For two heavy operators we rederive the same equations from elementary Euclidean geometry, which provides an independent geometric check. As an application we compute the full non-vacuum 5-point HHLLL block, so far known only in the superlight approximation. More broadly, our construction gives a general framework for computing heavy-light blocks from the bulk, while at the same time fixing its threshold of computability.

Figures

Figures reproduced from arXiv: 2607.09500 by Mikhail Belakovskiy, Vladimir Belavin.

Figure 1.1
Figure 1.1. Figure 1.1: Comb channel of the heavy-light block. 2 [PITH_FULL_IMAGE:figures/full_fig_p002_1_1.png] view at source ↗
Figure 2.1
Figure 2.1. Figure 2.1: Three geodesics and three contours Mγz1Mγz2Mγz3 = M123 = Id (2.8) and at the first order X 3 i=1 ϵiPiΛP −1 i = 0 (2.9) In terms of the holographic coordinate w = ψ (0) 1 (z) ψ (0) 2 (z) , Eq. 2.9 yields exactly three independent equations: X 3 i=1 ϵi w(zi) + w(yi) w(zi) − w(yi) = 0 X 3 i=1 ϵi 1 w(zi) − w(yi) = 0 X 3 i=1 ϵi w(zi)w(yi) w(zi) − w(yi) = 0 (2.10) These equations can be solved explicitly, w(yi… view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: A plane configuration Now µ = ±∠T OM or µ = π ∓ ∠T OM. But it is clear that e iθe iµ must lie within the angle ∠T ZO, so M = e iθe iµ (3.7) It is now easy to obtain the expression for the regularized length: L = ln sin φ sin(β − γ) = ln sin ∠ZOV sin ∠T OM = ln ZV MV (3.8) In what follows we use 3.7 and 3.8 to compute heavy-light conformal blocks. 3.3. 4-point identity block Here we demonstrate how the pr… view at source ↗
Figure 3.2
Figure 3.2. Figure 3.2: AdS→ C mapping Now we write down the similarity of the triangles: △Z1V Z2 ∼ △M2V M1 ⇒ Z1V V M1 Z2V V M2 = Z1V V M2 Z2V V M1 =  Z1Z2 M1M2 2 ∼ (w1−w2) 2 w1w2 , where we omitted an inessential factor that does not depend on the coordinates. The action then reads: f(θ) = −S = ϵ1 ln w1 + ϵ1 ln w2 − 2ϵ1 ln(w1 − w2) = ϵ1 ln z α 1 z α 2 (z α 1 − z α 2 ) 2 8 [PITH_FULL_IMAGE:figures/full_fig_p008_3_2.png] view at source ↗
Figure 3.3
Figure 3.3. Figure 3.3: An inner vertex for three geodesics O Z1 M1 Z2 M2 Z˜ 11 M˜ 12 M˜ 11 Z˜ 12 V [PITH_FULL_IMAGE:figures/full_fig_p009_3_3.png] view at source ↗
Figure 3.4
Figure 3.4. Figure 3.4: Inner vertex. The C-picture △Z1V Z˜ 12 ∼ △M1V M˜ 12 ⇒ Z1Z˜ 12 M1M˜ 12 = V Z˜ 12 V M1 9 [PITH_FULL_IMAGE:figures/full_fig_p009_3_4.png] view at source ↗
Figure 3
Figure 3. Figure 3 [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 3.5
Figure 3.5. Figure 3.5: ∠M1OM˜ 12 = π − α1, ∠M2OM˜ 12 = π − α2, and hence Z1Z˜ 12 · Z2Z˜ 11 Z2Z˜ 12 · Z1Z˜ 11 = cot α1 2 cot α2 2 = −ϵ1 + ϵ2 + ˜ϵ1 ϵ1 − ϵ2 + ˜ϵ1 (3.10) The last equality is depicted in [PITH_FULL_IMAGE:figures/full_fig_p010_3_5.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: We continue the internal geodesics up to the boundary to obtain the points [PITH_FULL_IMAGE:figures/full_fig_p011_4_1.png] view at source ↗
Figure 4.1
Figure 4.1. Figure 4.1: 5-point geodesic network which can be rewritten in a more convenient invariant form: S = ϵ1 ln (w1 − w2)(w1 − w3) w1(w2 − w3) + ϵ1 ln(w1, w2; w˜ 11, w3) + ϵ2 ln (w1 − w2)(w2 − w3) w2(w1 − w3) + ϵ2 ln(w2, w1; w˜ 11, w3)+ +˜ϵ1 ln(w2, w3; w˜ 11, w˜ 12)+ϵ3 ln (w1 − w3)(w2 − w3) w3(w1 − w2) + ϵ3 ln  (w2, w˜ 12; w˜ 21, w3)(w1, w˜ 21; w2, w3)  + +˜ϵ2 ln  (w3, 0; w˜ 21, w˜ 12)(w˜ 21, 0; w˜ 12, ∞)  (4.7) To s… view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 14 linked inside Pith

  1. [1]

    Belavin, A.M

    A. Belavin, A.M. Polyakov, A. Zamolodchikov,Infinite Conformal symmetry in two-dimensional quantum field theory. Nucl. Phys. B 241 (1984) 333-380

    1984

  2. [2]

    Zamolodchikov,Conformal Symmetry in Two-dimensional Space: Recursion Representation of the Conformal Block, Teor.Mat.Fiz

    A. Zamolodchikov,Conformal Symmetry in Two-dimensional Space: Recursion Representation of the Conformal Block, Teor.Mat.Fiz. 73 (1987) 103–110

    1987

  3. [3]

    Fitzpatrick, J

    A.L. Fitzpatrick, J. Kaplan, M.T. Walters,Universality of long-distance AdS physics from the CFT bootstrap. J. High Energy Phys. 08 (2014) 145, arXiv:1403.6829

    Pith/arXiv arXiv 2014

  4. [4]

    Hijano, P

    E. Hijano, P. Kraus, R. Snively,Worldline approach to semi-classical conformal blocks. J. High Energy Phys. 07 (2015) 131, arXiv:1501.02260

    Pith/arXiv arXiv 2015

  5. [5]

    A.L.Fitzpatrick, J.Kaplan, M.T.Walters,Virasoro conformal blocks and thermality from classical background fields. J. High Energy Phys. 11 (2015) 200, arXiv:1501.05315

    Pith/arXiv arXiv 2015

  6. [6]

    Alkalaev, V.A

    K.B. Alkalaev, V.A. Belavin,Classical conformal blocks via AdS/CFT correspondence, J. High Energy Phys. 08 (2015) 049, arXiv:1504.05943

    Pith/arXiv arXiv 2015

  7. [7]

    Alkalaev, V.A

    K.B. Alkalaev, V.A. Belavin,More on Wilson toroidal networks and torus blocks, JHEP 11 (2020) 121, arXiv: 2007.10494

    Pith/arXiv arXiv 2020

  8. [8]

    Hijano, P

    E. Hijano, P. Kraus, E. Perlmutter, R. Snively,Semiclassical Virasoro blocks from AdS3 gravity. J. High Energy Phys. 12 (2015) 077, arXiv:1508.04987

    Pith/arXiv arXiv 2015

  9. [9]

    geodesic computation of Virasoro classical conformal blocks

    K.B.Alkalaev, V.A.Belavin,Monodromic vs. geodesic computation of Virasoro classical conformal blocks. Nucl. Phys. B 904 (2016) 367-385, arXiv:1510.06685

    Pith/arXiv arXiv 2016

  10. [10]

    Alkalaev, V.A

    K.B. Alkalaev, V.A. Belavin,From global to heavy-light: 5-point conformal blocks. J. High Energy Phys. 03 (2016) 184, arXiv:1512.07627

    Pith/arXiv arXiv 2016

  11. [11]

    Belavin, R.V

    V.A. Belavin, R.V. Geiko,Geodesic description of heavy-light Virasoro blocks. J. High Energy Phys. 08 (2017) 125, arXiv:1705.10950

    Pith/arXiv arXiv 2017

  12. [12]

    Alkalaev, M

    K. Alkalaev, M. Pavlov,Perturbative classical conformal blocks as Steiner trees on the hyperbolic disk. J. High Energy Phys. 02 (2019) 023, arXiv:1810.07741

    Pith/arXiv arXiv 2019

  13. [13]

    Alkalaev, M

    K.B. Alkalaev, M. Pavlov,Four-point conformal blocks with three heavy background operators. J. High Energy Phys. 08 (2019) 038, arXiv:1905.03195

    Pith/arXiv arXiv 2019

  14. [14]

    Besken, S

    M. Besken, S. Datta, P. Kraus,Semi-classical Virasoro blocks: proof of exponentiation. arXiv:1910.04169

    Pith/arXiv arXiv 1910

  15. [15]

    Alkalaev, M

    K. Alkalaev, M. Pavlov,Holographic variables for CFT2 conformal blocks with heavy operators. Nucl. Phys. B956 (2020) 115018, arXiv:2001.02604

    Pith/arXiv arXiv 2020

  16. [16]

    Jottar and Per Kraus,Higher Spin Entan- glement and WN Conformal Blocks

    Jan de Boer, Alejandra Castro, Eliot Hijano, Juan I. Jottar and Per Kraus,Higher Spin Entan- glement and WN Conformal Blocks. J. High Energy Phys. 07 (2015) 168, arXiv:1412.7520v1 15

    Pith/arXiv arXiv 2015