pith. sign in

arxiv: 2606.03653 · v1 · pith:MTU3HDW5new · submitted 2026-06-02 · 🧮 math-ph · hep-th· math.GT· math.MP

Asymptotics of complex b-6j symbols

Yunpeng Meng , Tian Yang This is my paper

Pith reviewed 2026-06-28 08:00 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.GTmath.MP
keywords complex b-6j symbolsasymptoticshyperideal hyperbolic tetrahedronGram matrixvolumeanalytic continuationmodular doubledihedral angles
0
0 comments X

The pith

Complex b-6j symbols asymptotics equal the volume and Gram determinant of a hyperideal hyperbolic tetrahedron when scaled to its dihedral angles.

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

The paper defines complex b-6j symbols as an analytic extension of ordinary 6j symbols to complex values of the parameter b in the context of the modular double of U_q sl(2,R). It establishes that when the six parameters grow in proportion to the dihedral angles of a hyperideal hyperbolic tetrahedron, the leading asymptotic behavior of these symbols is controlled by the volume of the tetrahedron together with the determinant of its Gram matrix. A reader would care because the result supplies an explicit semiclassical limit that converts a representation-theoretic object into concrete hyperbolic geometry data.

Core claim

The asymptotics of the complex b-6j symbols, when the six parameters scale according to the dihedral angles of a hyperideal hyperbolic tetrahedron, are related to the volume and the determinant of the Gram matrix of the tetrahedron.

What carries the argument

The complex b-6j symbols, the analytic continuation of the 6j symbols for the principal series of the modular double of U_q sl(2,R) with complex b, whose large-parameter expansion is matched to the tetrahedron geometry.

If this is right

  • The leading exponential growth is governed by the tetrahedron volume.
  • A subleading prefactor is fixed by the determinant of the Gram matrix.
  • The relation holds uniformly for the chosen dihedral-angle scaling.
  • When arg b equals plus or minus pi over 4 the same asymptotics are expected to match quantities in the complex Liouville string.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The formula may be inverted to extract hyperbolic volumes from sufficiently large 6j symbols.
  • Similar asymptotic statements could be tested for other ideal or hyperideal polyhedra whose dihedral angles satisfy the same scaling.
  • The special case arg b = pi/4 supplies a concrete bridge between 6j asymptotics and Liouville theory that can be checked by independent methods.

Load-bearing premise

The analytic continuation of the 6j symbols to complex b remains well-defined, and the chosen scaling of the six parameters exactly reproduces the dihedral angles of the hyperideal tetrahedron without extra corrections.

What would settle it

Numerical evaluation of the complex b-6j symbol at large values of the parameters scaled exactly to the dihedral angles of a concrete hyperideal tetrahedron, checked against the explicit volume-plus-Gram-determinant formula.

Figures

Figures reproduced from arXiv: 2606.03653 by Tian Yang, Yunpeng Meng.

Figure 1
Figure 1. Figure 1: The contour Γ. In Subsection 2.1, we will prove the following Proposition 1.2. For any b-admissible six-tuple (a1, . . . , a6) ∈ C 6 , the integral in (1.2) converges abso￾lutely, is independent of the choice of the vertical line Γ, and depends analytically on b. 1.2 Asymptotics of complex b-6j symbols Let (θ1, . . . , θ6) be the dihedral angles of a truncated hyperideal hyperbolic tetrahedron ∆; and for k… view at source ↗
Figure 2
Figure 2. Figure 2: The poles and zeros of Sb(z). Then for b ∈ C with arg b ∈ [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The contour Γ ∗ . The proof of Proposition 2.5 relies on the relationship between the double sine function and Fad￾deev’s quantum dilogarithm function Φb(z) .= exp  Z Ω e −2izt 4tsinh(bt) sinh t b dt for b ∈ C with arg b ∈ (0, π 2 ). The integral absolutely converges for z ∈ C with −Re Q 2  < Imz < Re Q 2  , defining a holomorphic function in such z; and by the functional equation [1, Formula (48)] Φb… view at source ↗
Figure 4
Figure 4. Figure 4: The regions R + δ and R − δ . Proof. By (2.19) and Proposition 2.6, we have Sb(z) = e πi 2 z(z−Q)+ πi 12 (Q2+1) Q+∞ n=0  1 − e −2πibz+2(n+1)πib 2  Q+∞ n=0  1 − e−2πib−1z−2nπib−2  (2.20) for each z ∈ C that is not a pole of Sb(z). We also notice that none of the poles nor zeros of Sb lies in the regions R + δ and R − δ , as shown in [PITH_FULL_IMAGE:figures/full_fig_p013_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: The contour Γ+ = Γ∗ 1,+ ∪ C+ ∪ Γ ∗ 2,+ and the contour Γ− = Γ∗ 1,− ∪ C− ∪ Γ ∗ 2,−. and for u = −Reiϕ ∈ C−, we have [PITH_FULL_IMAGE:figures/full_fig_p018_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The region Hθ in (a), and the region Hθ,δ in (b). The classical limit of log Sb  x πb + b 2  as b → 0 is closely related to the following complexified Lobachevsky function L(x) = x 2 − πx + π 2 6 − Li2 [PITH_FULL_IMAGE:figures/full_fig_p019_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The region Vθ in (a), and the region V − θ,δ in (b). Proposition 3.2. For θ ∈ (0, π 2 ), there exists a B = Bθ,δ > 0 independent of b such that for all b ∈ C with |b| sufficiently small and arg b = θ, and for all y ∈ V − θ,δ, [PITH_FULL_IMAGE:figures/full_fig_p021_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The distance d in (a), and the region W− θ,δ in (b). also observe that as |b| approaches 0, d approaches δ sin(2θ). As a consequence, when |b| is sufficiently small, we have d > δ sin(2θ) 2 and Re y − πi  b −2  < − δ sin(2θ)|b| −2 2 = δ 2 Im( b −2  for each y ∈ V − θ,δ. Together with the fact that Im(b −2 ) < 0, we have [PITH_FULL_IMAGE:figures/full_fig_p022_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The case θ ∈ (0, π 4 ) in (a), and the case θ ∈ [ π 4 , π 2 ) in (b). In the former case, we have [PITH_FULL_IMAGE:figures/full_fig_p026_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The region Dθ and the contour Γ of the integrand in (4.3) in (a), and the region Dθ,δ in (b). and να,b(ξ) = Uα,b(ξ) − Uα(ξ) − κα(ξ)b 2 b 4 . (4.6) Then by (4.3) and (4.6), the b-6j symbol of (a1, . . . , a6) is computed by  a1 a2 a3 a4 a5 a6  b = 1 πb Z Γ exp  Uα(ξ) + κα(ξ)b 2 + να,b(ξ)b 4 2πib 2  dξ. (4.7) We first recall two important properties of the functions Uα and κα from [13]. Proposition 4.2.… view at source ↗
Figure 11
Figure 11. Figure 11: The contour Γ ∗ in the case that θ ∈ (0, π 4 ), where Γ ∗ d is the piece of Γ ∗ lying in the light green region Bd, and Γ ∗ L is the piece of Γ ∗ lying in between the two horizontal dotted lines. (II) [PITH_FULL_IMAGE:figures/full_fig_p040_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The contour Γ in (a) and the contour Γ ∗ in (b) in the case that θ = π 4 . In (b), Γ ∗ d is the piece of Γ ∗ lying in the light green region Bd, and Γ ∗ L is the piece of Γ ∗ lying in between the two vertical dotted lines. As depicted in [PITH_FULL_IMAGE:figures/full_fig_p043_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: The contour Γ ∗ in the case that θ ∈ ( π 4 , π 2 ), where Γ ∗ d is the piece of Γ ∗ lying in the light green region Bd, and Γ ∗ L is the piece of Γ ∗ lying in between the two vertical dotted lines. 47 [PITH_FULL_IMAGE:figures/full_fig_p047_13.png] view at source ↗
read the original abstract

We study the $b$-$6j$ symbols -- an analytic extension of the $6j$-symbols for the principal series of the modular double of $\mathrm U_q\mathfrak{sl}(2;\mathbb R)$ -- with complex index $b,$ refereed to as the \emph{complex $b$-$6j$ symbols}. Then we relate their asymptotics, when the six parameters scale according to the dihedral angles of a hyperideal hyperbolic tetrahedron, to the volume and the determinant of the Gram matrix of the tetrahedron. In the case $\arg b=\pm \frac{\pi}{4},$ we believe that this work is closely related to the complex Liouville string\,\cite{CEMR}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper studies the b-6j symbols as an analytic extension of the 6j-symbols for the principal series of the modular double of U_q sl(2,R) with complex index b (termed complex b-6j symbols). It claims that their asymptotics, when the six parameters scale according to the dihedral angles of a hyperideal hyperbolic tetrahedron, are related to the volume and the determinant of the Gram matrix of the tetrahedron. For arg b = ±π/4 the work is suggested to relate to the complex Liouville string.

Significance. If the central asymptotic relation holds with the stated geometric interpretation, the result would connect representation-theoretic quantities arising from quantum groups to classical hyperbolic geometry, offering a potential bridge between modular doubles, hyperideal tetrahedra, and Liouville theory that could be of interest in quantum topology and integrable systems.

major comments (2)
  1. [Abstract / main claim] The central claim requires that the analytic continuation of the b-6j symbols to complex b remains valid when all six arguments are scaled simultaneously to match dihedral angles; no explicit contour, pole-avoidance argument, or verification that the continuation contour avoids singularities in this regime is supplied.
  2. [Abstract / main claim] The scaling is asserted to match the dihedral angles of a hyperideal tetrahedron exactly, without extra phase factors or corrections from representation theory or Gram-matrix closure; the manuscript provides no independent derivation or numerical check confirming the absence of such terms.
minor comments (1)
  1. [Abstract] The citation [CEMR] for the complex Liouville string connection should be expanded with a brief explanation of the precise relation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thoughtful review and for highlighting two important points regarding the analytic continuation and the precise geometric matching in our central claim. We address each comment below and indicate where revisions will be made.

read point-by-point responses

  1. Referee: [Abstract / main claim] The central claim requires that the analytic continuation of the b-6j symbols to complex b remains valid when all six arguments are scaled simultaneously to match dihedral angles; no explicit contour, pole-avoidance argument, or verification that the continuation contour avoids singularities in this regime is supplied.

    Authors: We agree that the manuscript would benefit from an explicit discussion of the contour. The b-6j symbols are defined via an integral representation whose contour can be deformed continuously as the six parameters are scaled to the dihedral angles of a hyperideal tetrahedron. For arg b = ±π/4 the imaginary parts of the parameters keep the integration path in a region free of poles of the integrand, which follows from the known pole locations of the quantum dilogarithms appearing in the integrand. We will add a short subsection (new Section 2.3) that spells out the contour choice and the pole-avoidance argument. revision: yes

  2. Referee: [Abstract / main claim] The scaling is asserted to match the dihedral angles of a hyperideal tetrahedron exactly, without extra phase factors or corrections from representation theory or Gram-matrix closure; the manuscript provides no independent derivation or numerical check confirming the absence of such terms.

    Authors: The scaling is fixed by the standard dictionary between the principal-series parameters of the modular double and the dihedral angles of a hyperideal tetrahedron (see e.g. the Gram-matrix formulas in Section 3). Because the parameters enter the 6j symbol linearly through the representation labels, the matching is exact by construction and no additional phase factors arise from the representation theory. The asymptotic analysis in Section 4 then proceeds directly from this identification via saddle-point evaluation; the resulting expression involves precisely the tetrahedron volume and the determinant of the Gram matrix, with no residual corrections. While we have not performed a separate numerical check, the derivation is analytic and does not rely on numerical verification. We therefore see no need to modify the manuscript on this point. revision: no

Circularity Check

0 steps flagged

No derivation chain or equations visible; no circularity identifiable

full rationale

The abstract claims a relation between asymptotics of complex b-6j symbols (under scaling to hyperideal tetrahedron dihedral angles) and the tetrahedron volume plus Gram determinant, with a belief of relation to complex Liouville string via citation [CEMR]. No equations, derivation steps, parameter fits, self-citations, or ansatzes are exhibited that could reduce the claimed result to its inputs by construction. The citation is to external work (CEMR), not self-citation by Meng-Yang. Without any load-bearing steps or quoted reductions present, no circularity patterns apply and the score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the existence of the analytic extension to complex b and on the precise identification of the scaling parameters with dihedral angles; no free parameters or invented entities are mentioned in the abstract.

axioms (2)
  • domain assumption The 6j symbols admit an analytic extension to complex b that preserves the necessary functional equations
    The paper defines the complex b-6j symbols as this extension.
  • domain assumption The six parameters can be scaled exactly according to the dihedral angles of a hyperideal hyperbolic tetrahedron
    The asymptotic regime is defined by this scaling.

pith-pipeline@v0.9.1-grok · 5654 in / 1290 out tokens · 32094 ms · 2026-06-28T08:00:51.591010+00:00 · methodology

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

17 extracted references · 1 linked inside Pith

  1. [1]

    J. E. Andersen and R. Kashaev.A TQFT from quantum Teichm ¨uller theory. Comm. Math. Phys. 330 (2014), 887–934

    2014

  2. [2]

    Apostol.An Elementary view of Euler’s summation Formula

    T. Apostol.An Elementary view of Euler’s summation Formula. The American Mathematical Monthly V ol. 106, No. 5 (May, 1999), 409–418

    1999

  3. [3]

    Bao and F

    X. Bao and F. Bonahon.Hyperideal polyhedra in hyperbolic 3-space. Bulletin de la Soci ´et´e math´ematique de France, 130(3):457–491, 2002

    2002

  4. [4]

    Chen and T

    Q. Chen and T. Yang.Volume conjectures for the Reshetikhin–Turaev and the Turaev–Viro invari- ants. Quantum Topology, 9(3):419–460, 2018

    2018

  5. [5]

    Collier, L

    S. Collier, L. Eberhardt, B. M ¨uhlmann, V . Rodriguez,The complex Liouville string. arXiv:2409.17246

    arXiv

  6. [6]

    Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, arXiv:2309.11540, 2023

    L. Eberhardt,Notes on crossing transformations of Virasoro conformal blocks, arXiv:2309.11540, 2023

    arXiv 2023

  7. [7]

    L. D. Faddeev.Modular double of a quantum group. In Fifty Years of Mathematical Physics: Se- lected Works of Ludwig Faddeev, pages 523–530. World Scientific, 2016

    2016

  8. [8]

    L. D. Faddeev.Discrete Heisenberg-Weyl group and modular group. Letters in Mathematical Physics, 34(3):249–254, 1995

    1995

  9. [9]

    I. B. Frenkel and I. C. Ip.Positive representations of split real quantum groups and future perspec- tives. International Mathematics Research Notices, 2014(8):2126–2164, 2014

    2014

  10. [10]

    Haslinger,Complex analysis: a functional analytic approach, De Gruyter, Berlin, Boston, 2018

    F. Haslinger,Complex analysis: a functional analytic approach, De Gruyter, Berlin, Boston, 2018

    2018

  11. [11]

    Knopp.Theory and application of infinite series

    K. Knopp.Theory and application of infinite series. Blackie & Son Limited, London and Glasgow, 2nd English edition, 1951

    1951

  12. [12]

    T. Liu, S. Ming, X. Sun, B. Wu, and T. Yang.Turaev-Viro invariant from the modular double of Uqsl(2;R). Preprint: arXiv:2508.05120, 2025

    arXiv 2025

  13. [13]

    T. Liu, S. Ming, X. Sun, B. Wu, and T. Yang.Asymptotics ofb-6jsymbols and anti-de Sitter tetrahedra. Preprint: arXiv:2511.20953, 2025

    arXiv 2025

  14. [14]

    Ponsot and J

    B. Ponsot and J. Teschner.Liouville bootstrap via harmonic analysis on a noncompact quantum group. arXiv preprint hep-th/9911110, 1999

    Pith/arXiv arXiv 1999

  15. [15]

    Teschner and G

    J. Teschner and G. Vartanov.6jsymbols for the modular double, quantum hyperbolic geometry, and supersymmetric gauge theories. Letters in Mathematical Physics, 104:527–551, 2014

    2014

  16. [16]

    V . G. Turaev and O. Y . Viro.State sum invariants of 3 manifolds and quantum 6j symbols. Topology, 31:865–902, 1992

    1992

  17. [17]

    K. H. Wong and T. Yang.On the Volume Conjecture for hyperbolic Dehn-filled 3-manifolds along the figure-eight knot. Quantum Topology, 16(3):419–491, 2025. 52

    2025