REVIEW 1 major objections 5 minor 32 references
Radon Transforms and the SYK model
T0 review · 1 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read By computing Radon transforms of hyperbolic eigenfunctions in the Poincaré disc, this paper argues that the SYK four-point function's special boundary condition—the θ = 3π/4 self-adjoint extension—is fully determined by geodesic geometry…
desk verdict A clear geometric explanation for the SYK θ=3π/4 boundary condition via antipodal symmetry of the Radon transform on the Poincaré disc; the odd-k confirmation rests on slightly hand-adjusted asymptotics, but the main argument holds. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The Radon (X-ray) transform Rf(γ)=∫_γ f dσ, which averages a function over arc-length-parametrized geodesics, acts as an intertwiner: it sends Laplace eigenfunctions on hyperbolic space to wave-operator eigenfunctions on the kinematic space of geodesics, which is dS2. In the Poincaré-disc basis the geodesics are labelled by (ξ,θ), and the transform lands in two rarely-met families E^k_ν and O^k_ν—the real and imaginary parts of the associated Legendre function of imaginary argument, P^k_{iν−1/2}(i $\sinh$ ξ). The parity of k decides which family appears, and that parity selection is the mechanism that imposes the antipodal symmetry and thereby fixes the self-adjoint extension.
What would settle it
Numerically evaluate the Radon integral for an odd k, such as k = 1, at several finite ξ and ν values by direct quadrature, and compare with the predicted value $π^{{1/2}}$ Im[$P^{1}$_{iν−1/2}(i $\sinh$ ξ)] Γ(1/4 + iν/2)Γ(1/4 − iν/2); a phase or amplitude mismatch would disprove the odd-k conjecture and with it the antipodal selection of θ = 3π/4.
Extended reading notes
Core claim
Working in the Poincaré-disc model, the paper computes the Radon transform of the Laplace eigenfunctions φ_{k,ν}(ρ,φ)=$e^{{ikφ}}$P^k_{iν−1/2}($\cosh$ ρ). The even-k transforms are proportional to the real part E^k_ν(ξ) = Re[P^k_{iν−1/2}(i $\sinh$ ξ)], while the odd-k transforms are proportional to the imaginary part O^k_ν(ξ) = Im[P^k_{iν−1/2}(i $\sinh$ ξ)]; the odd-k identity is first conjectured and then confirmed by matching large-ξ asymptotics with a branch choice corrected from the cited source to agree with numerics. Because the transform is indifferent to geodesic orientation, the resulting function on the kinematic space dS2 must take equal values at antipodal points, and this forces the alternation between even and odd families. That alternation is exactly what selects the θ = 3π/4 self-adjoint extension used in the SYK four-point function, giving the boundary condition a geometric origin.
Load-bearing premise
The load-bearing premise is that the large-distance asymptotic formulas for the special function families E^k_ν and O^k_ν given in Appendix B, with the branch correction the paper says it made to match numerics, are correct; the odd-k transform identity and the orthogonality relations rest on those formulas.
Editorial extensions
If this is right
- The θ = 3π/4 boundary condition in the SYK four-point function is the unique choice compatible with the antipodal symmetry of unoriented geodesics, so it is geometric rather than a matter of analytic convenience.
- In the disc basis the antipodal selection halves the Pöschl–Teller bound-state spectrum, leaving exactly the same sequence ν_n = 3/2, 7/2, 11/2, … found in the upper-half-plane treatment.
- The Radon map from L2[H^2_+] to L2[dS2] is not surjective; the bound states of the dS2 wave operator are images of non-normalizable modes, and the continuous-spectrum singular values vanish at the bound-state energies.
- The large-ν singular values of the hyperbolic Radon transform behave as √(2π)/|ν|, matching the flat-space Radon transform once the wavelength is short compared with the curvature scale.
Reading between the lines
- If the antipodal selection is as fundamental as the paper suggests, the same parity argument should constrain boundary conditions in higher-dimensional hyperbolic spaces, where the kinematic space is again a quotient of the isometry group; testing that generalization would show whether the SYK story is a special case of a general holographic-geometric principle.
- The paper's rederivation of a Bessel identity as a geometric statement suggests that other special-function identities in SYK and AdS/CFT computations may likewise encode orientation-forgetting or antipodal symmetries of kinematic spaces.
- Because the inverse Radon transform is unbounded—averaging loses information—the non-surjectivity found here quantifies how much bulk signal is irrecoverably smeared; a natural test is whether a discretized inversion of the hyperbolic transform reproduces the expected smoothing of reconstructed boundary data.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the Radon (X-ray) transform on two-dimensional hyperbolic space in the context of the SYK model. It shows that the Radon transform maps Laplace eigenfunctions on the hyperbolic plane to eigenfunctions of the wave operator on the kinematic space dS2, and that the self-adjoint extension parameter θ=3π/4 used in the SYK four-point function calculation emerges from the large-distance asymptotics of the transform. The main new result is a Poincaré-disc formulation: the Radon image of the eigenfunction e^{ikφ} P^k_{iν−1/2}(cosh ρ) is proportional to the even function E^kν(ξ)=Re P^k_{iν−1/2}(i sinh ξ) for even k, and conjecturally to the odd function O^kν(ξ)=Im P^k_{iν−1/2}(i sinh ξ) for odd k. The paper interprets this parity alternation as a consequence of the fact that the Radon transform is defined on unoriented geodesics, so its image must be invariant under the antipodal map on dS2; this antipodal symmetry is argued to be the geometric origin of the θ=3π/4 boundary condition.
Significance. If the odd-k conjecture is fully established, the paper provides a clean geometric explanation for an otherwise analytic boundary-condition choice in the SYK literature, and it supplies explicit transform formulas that may be useful for integral geometry on hyperbolic spaces. The even-k case is proven directly from a known integral at ξ=0, and the paper is transparent about the conjectural status of the odd-k case. The upper-half-plane calculation reproduces known results with a simpler derivation. The paper is honest about the limitations of the numerical and asymptotic evidence, which strengthens its credibility.
major comments (1)
- [§5.2, Eq. (5.28); Appendix B, Eqs. (B.1)-(B.4), footnote 3] The odd-k identity (5.28) is load-bearing: it is what shows that the Radon image of a k-odd eigenfunction is the odd member O^kν of the modified conical family, and the parity selection in §6 depends on it. The paper labels (5.28) a conjecture, checks it numerically, and then takes the large-ξ matching with (5.32) as confirmation. That confirmation relies on the asymptotic formulas (B.1)-(B.4), which footnote 3 states were not taken from [32] but were adjusted in branch choice to agree with numerical evaluations. The matching is therefore not an independent check: the branch adjustment and the numerical check of (5.28) could in principle have been tuned to the same incorrect answer, and no error estimate or first-principles derivation of (B.1)-(B.4) is supplied. Since an undetected phase or amplitude error in these asymptotics would break the identification of the odd-k Radon image with O^kν and hence the claimed geometric origin of θ=3π/4, I ask that the asymptotics be derived from the hypergeometric representation of the Legendre functions, or that (5.28) be proved independently, or that a rigorous error analysis of the numerical verification be provided.
minor comments (5)
- [§5.3] The sentence 'The lowest energy Pöschl–Teller bound state νk = (2k − 1)2/4 should read ν_k = (2k-1)/2; the notation '2/4' is confusing and appears to be a typographical error.
- [§5.2, after Eq. (5.33)] The phrase 'normalizing over is the whole of dS2' should be 'normalizing over the whole of dS2'.
- [§5.1, Eq. (5.11)] The sentence beginning 'For kη ≫ 1...' would be clearer if it stated explicitly that the dominant contribution to the integral comes from the endpoints of the semicircle, where the geodesic is nearly vertical and the Bessel function is in its oscillatory regime.
- [§5.2, Eq. (5.22)] The numerical check reported in footnote 2 would be more reproducible if the branch convention of the Mathematica implementation of P^k_{iν−1/2}(cosh ρ) were stated in the main text alongside the definitions of E^kν and O^kν.
- [§5.1 and §5.2] A short dictionary between the upper-half-plane geodesic coordinates (t,ξ) and the Poincaré-disc geodesic coordinates (θ,ξ) would help the reader see that the two Radon-transform calculations are the same transformation in different bases.
Circularity Check
No circularity: the theta=3pi/4 choice is derived from Radon-transform asymptotics and parity selection, not fitted or imported.
full rationale
The paper's derivation chain is self-contained. The upper-half-plane Radon transform of the eigenfunction chi_{k,nu} is evaluated to the asymptotic form N_nu 2^{-1/2} e^{ikt} |k|^{-1/2} cos(k eta) Gamma(1/4 + i nu/2) Gamma(1/4 - i nu/2) (Eq. 5.11), and this is compared with the large-eta behavior of the Liouville scattering states (Eq. 4.60), fixing theta = 3pi/4 by the phase of cos(k eta); no parameter is fitted from that target. In the Poincare-disc treatment, the even-k Radon transform is computed directly from the xi = 0 integral (Eqs. 5.26-5.27); the odd-k result is first stated as a numerically checked conjecture (Eq. 5.28) and then confirmed by matching the large-xi asymptotics (Eq. 5.32) with the Appendix B expansions of E_k^nu and O_k^nu. The manuscript explicitly acknowledges one caveat in footnote 3: Eqs. (B.1)-(B.4) are not taken verbatim from [32] but involve a branch modification chosen to agree with numerical evaluations of these special functions. This is a genuine correctness risk, because an error in that branch choice would weaken the odd-k confirmation and hence the parity-to-theta link, but it is not circular: the branch choice is fixed by evaluating the E/O functions themselves, not by assuming the Radon-transform identity that the asymptotics are used to prove, and the odd-k conjecture has an independent numerical check in footnote 2. The sole self-citation, [26], provides standard Poschl-Teller bound-state results and is not load-bearing. Thus no circular step reduces the geometric conclusion to its inputs.
Assumptions & free parameters
assumptions (5)
- standard math Weyl-von Neumann theory: the operator H = -d^2/dxi^2 - k^2 e^{2xi} has a one-parameter family of self-adjoint extensions parameterized by theta, with boundary condition (4.60).
- domain assumption Radon transform intertwining property, Eq. (5.2): -nabla^2_dS(R f) = R(-nabla^2_H f).
- ad hoc to paper Branch-modified large-xi asymptotics for E^k_nu and O^k_nu, Eqs. (B.1)-(B.4).
- standard math Completeness and orthogonality of the associated Legendre functions P^k_{i nu - 1/2}(cosh rho) on the hyperboloid.
- domain assumption The space of unoriented geodesics on H^2 is the antipodal quotient dS2/Z2, so Radon-transformed functions must be antipodally symmetric.
Cite this review
Pith. "Pith review of Radon Transforms and the SYK model." pith.science (2026). https://pith.science/paper/BQ2ZCFGZ
@misc{pith2026250609880,
author = {Pith},
title = {Pith review of: Radon Transforms and the SYK model},
year = {2026},
howpublished = {\url{https://pith.science/paper/BQ2ZCFGZ}},
note = {Machine review of arXiv:2506.09880}
}
read the original abstract
Motivated by recent work on the Sachdev-Ye-Kitaev (SYK) model, we consider the effect of Radon or X-ray transformations, on the Laplace eigenfunctions in hyperbolic Bolyai-Lobachevsky space. We show that the Radon map from this space to Lorentzian-signature Anti-de Sitter or de Sitter space is easier to interpret if we use the Poincare disc model and eigenfunctions rather than the upper-half-plane model. In particular, this version of the transform reveals the geometric origin of the boundary conditions imposed on the eigenfunctions that are involved in calculating the SYK four-point function.
Reference graph
Works this paper leans on
-
[11]
S. R. Das, A. Ghosh, A. Jevicki, K. Suzuki, Space-Time in the SYK Model , JHEP07(2018)184; arXiv:1712.02725
work page Pith review arXiv 2018
-
[32]
N. K. Chukhrukidze, Asymptotic expansions of Legendre Spherical Functions wit h an imaginary Argument , USSR Computational Mathematics and Mathematical Physics, 8 (1968)1-13. – 43 –
work page 1968
-
[1]
Kitaev, Seminars A simple model of quantum holography
A. Kitaev, Seminars A simple model of quantum holography . Seminars in the KITP Strings and Entanglement program 2015. (Feb. 12, April 7, and May 27, 2015) http://online.kitp.ucsb.edu/online/entangled15/
work page 2015
-
[2]
S. Sachdev, J. Ye, Gapless spin-fluid ground state in a random quantum Heisenbe rg magnet , Phys. Rev. Lett. 70 (1993) 3339–3342
work page 1993
-
[3]
Maldacena, Remarks on the Sachdev-Ye-Kitaev model , Phys
J. Maldacena, Remarks on the Sachdev-Ye-Kitaev model , Phys. Rev. D 94 (2016) 10, 106002; ArXiv:1604.07818
arXiv 2016
-
[4]
Rosenhaus, An introduction to the SYK model , J
V. Rosenhaus, An introduction to the SYK model , J. Phys. A: Math. Theor. 52 (2019) 323001
work page 2019
-
[5]
S´ arosi, AdS2 holography and the SYK model , ArXiv:1711.08482
G. S´ arosi, AdS2 holography and the SYK model , ArXiv:1711.08482
-
[6]
J. Polchinski, V. Rosenhaus, The Spectrum in the Sachdev-Ye-Kitaev Model , JHEP04(2016)001; ArXiv 1601.06768
arXiv 2016
Show all 32 references
-
[7]
T. M. Dunster, Bessel functions of purely imaginary order, with an applica tion to second- order linear differential equations having a large paramete r , SIAM J. Math. Anal., 21 (1990), 995-1018
1990
-
[8]
D. M. Gitman, I. V. Tyutin, B. L. Voronov, Self-adjoint Extensions in Quantum Mechanics , (Birkh¨ auser, Basel, 2012)
2012
-
[9]
A. A. Andrianov, C. Lan, O. O. Novikov, Y-F. Wang, Integrable minisuperspace models with Liouville field: energy density self-adjointness and semic lassical wave packets , Eur. Phys. J. C 78 (2018) 786
2018
-
[10]
Kobayashi, I
H. Kobayashi, I. Tsutsui, Quantum mechanical Liouville model with attractive potent ial, Nuclear Physics B 472 (1996) 409-426; arXiv:hep-th/9601111 – 41 –
1996 arXiv
-
[12]
Helgason, The Radon Transform , 2nd edition, Springer (NY) 2013
S. Helgason, The Radon Transform , 2nd edition, Springer (NY) 2013
2013
-
[13]
I. M. Gel’fand, M. I. Graev, N. Ya. Vilenkin, Generalized Functions, Volume 5: Integral Geometry and Representation Theory , AMS Chelsea Publishing (1966)
1966
-
[14]
E. C. Tarabusi, M. A. Picardello, Radon Transforms in Hyperbolic Spaces and Their Discrete Counterparts, Complex Analysis and Operator Theory (2021) 15:13
2021
-
[15]
G. N. Watson, A Treatise on the Theory of Bessel Functions , Cambridge University Press 1922
1922
-
[16]
Kitaev, Notes on ~SL(2,R ) representations, arXiv:1711.08169
A. Kitaev, Notes on ~SL(2,R ) representations, arXiv:1711.08169
-
[17]
Czech, L
B. Czech, L. Lamprou, S. McCandlish, J. Sully, Integral geometry and holography , JHEP10(2015)175; ArXiv 1505.05515
2015 arXiv
-
[18]
Bargmann, Irreducible Unitary Representations of the Lorentz Group , Annals of Mathematics (Second Series) 48 (1947) 568-640
V. Bargmann, Irreducible Unitary Representations of the Lorentz Group , Annals of Mathematics (Second Series) 48 (1947) 568-640
1947
-
[19]
Czech, L
B. Czech, L. Lamprou, S. McCandlish, B. Mosk, J. Sully, A Stereoscopic Look into the Bulk , JHEP07(2016)129; arXiv:1604.03110
2016 arXiv
-
[20]
Huang, C-T
X. Huang, C-T. Ma, Berry Curvature and Riemann Curvature in Kinematic Space wi th Spherical Entangling Surface , Progress of Physics, 69 (2021) 2000048; arXiv:2003.12252
2021 arXiv
-
[21]
Huang, C-T
X. Huang, C-T. Ma, The probe of curvature in the Lorentzian AdS2/CFT1 correspo ndence, Phys. Lett. B (2019) 134936; arXiv:1907.01422
2019 arXiv
-
[22]
T. M. Dunster, Conical functions of purely imaginary order and argument , Proceedings of the Royal Society of Edinburgh, 143A (2013) 929-955
2013
-
[23]
Digital Library of Mathematical Functions , https://dlmf.nist.gov
-
[24]
Oberhettinger, T
F. Oberhettinger, T. P. Higgins, Tables of Lebedev, Mehler, and Generalized Mehler Transforms, Boeing Scientific Research report D1-82-0136 (1961). https://apps.dtic.mil/sti/tr/pdf/AD0267210.pdf
1961
-
[25]
Balasubramanian, J
V. Balasubramanian, J. de Boer, D. Minic, Exploring de Sitter Space and Holography , Annals of Physics 303, (2003) 59-116; arXiv:0207245
2003
-
[26]
Goldbart, M
P. Goldbart, M. Stone, Mathematics for Physics , Cambridge University Press ( 2009)
2009
-
[27]
N. Ya. Vilenkin, A. U. Klimyk, Representation of Lie Groups and Special Functions , Kluwer Academic, London, 1991 Vols. I, II, III
1991
-
[28]
Comtet, On the Landau Levels on the Hyperbolic Plane , Annals of Physics (NY) 173 (1987) 185-209
A. Comtet, On the Landau Levels on the Hyperbolic Plane , Annals of Physics (NY) 173 (1987) 185-209
1987
-
[29]
Comtet, Effective action on the hyperbolic plane in a constant extern al field , J
A. Comtet, Effective action on the hyperbolic plane in a constant extern al field , J. Math. Phys. 26 (1985) 185-191
1985
-
[30]
Comtet, Effective action on the hyperbolic plane in a constant extern al field , J
A. Comtet, Effective action on the hyperbolic plane in a constant extern al field , J. Math. Phys. 26, (1985)185-191
1985
-
[31]
J. D. Fay, Fourier coefficients of the resolvent for a Fuchsian group , Journal f¨ ur die reine und angewandte Mathematik 0293 0294 (1977) 143-203. – 42 –
1977
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.