Double-scaled SYK from boundary metrics of planar maps
Pith reviewed 2026-07-03 10:43 UTC · model grok-4.3
The pith
Bipartite planar maps with q-deformed weights have enumeration depending only on chord diagram crossing number.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Encoding the boundary metric of a bipartite planar map by its so-called geodesic chord diagram, we prove that the weighted enumeration depends only on the crossing number of the chord diagram. At fixed perimeter, the induced law of the geodesic chord diagram in these planar map models coincides exactly with the chord diagram representation of the DSSYK model.
What carries the argument
Geodesic chord diagram encoding the boundary pseudometric, with crossing number as the sole controlling statistic under the q-deformed weights.
If this is right
- The weighted enumeration of maps with a given chord diagram is completely determined by its crossing number alone.
- At fixed perimeter the probability distribution on geodesic chord diagrams is identical to that of the DSSYK model.
- The boundary metric statistics of these planar maps reproduce the DSSYK chord diagram law exactly.
Where Pith is reading between the lines
- The equivalence opens a route to transfer known DSSYK results into explicit generating functions for the planar maps.
- Similar simplifications might be testable in variants with different face weights or non-bipartite maps.
- The match suggests that planar map techniques could be used to compute DSSYK observables via chord diagram crossing statistics.
Load-bearing premise
The family of bipartite planar map models equipped with the special q-deformed face weights that arise in the DSSYK context exists and is well-defined.
What would settle it
Explicit weighted enumeration of all maps of perimeter 4 or 6 for two chord diagrams that share the same crossing number but differ in other features; a mismatch in their total weights would falsify the claim that the enumeration depends only on crossing number.
Figures
read the original abstract
The enumeration of planar maps with control on the boundary metric, i.e. the pseudometric induced on the outer face of the map by its bulk graph distance metric, is a difficult problem in general. However, we show that for a family of bipartite planar map models with special q-deformed face weights that arise in the physics context of the double-scaled Sachdev-Ye-Kitaev model (DSSYK) the enumeration admits a very simple answer. Encoding the boundary metric of a bipartite planar map by its so-called geodesic chord diagram, we prove that the weighted enumeration depends only on the crossing number of the chord diagram. At fixed perimeter, the induced law of the geodesic chord diagram in these planar map models coincides exactly with the chord diagram representation of the DSSYK model.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove that, for a family of bipartite planar map models equipped with special q-deformed face weights arising in the double-scaled SYK (DSSYK) context, the weighted enumeration of maps with a fixed boundary metric (encoded via the geodesic chord diagram) depends only on the crossing number of that diagram. At fixed perimeter, the induced probability law on geodesic chord diagrams coincides exactly with the chord-diagram representation of the DSSYK model.
Significance. If the central combinatorial identity holds, the result supplies an explicit planar-map realization of the DSSYK chord-diagram statistics, linking boundary-metric enumeration in combinatorics to the physics model. The manuscript ships a claimed mathematical proof of the reduction to crossing number, which would be a strength if the q-weights are shown to be well-defined and positive.
major comments (2)
- [Introduction and model definition (near the statement of the main theorem)] The central claim presupposes a well-defined family of bipartite planar maps whose face weights are the specific q-deformations from DSSYK such that the weighted sum over maps with a given geodesic chord diagram reduces exactly to a function of crossing number. The manuscript must explicitly define these weights (including the range of q for which they remain positive and the generating functions converge) and verify that the geodesic chord diagram is canonically induced by graph distance; without this, the reduction is not shown to be a combinatorial identity independent of auxiliary choices.
- [Proof of the main enumeration result] The proof that the enumeration depends only on crossing number must be checked for circularity: if the q-weights are chosen precisely so that the generating function factors through crossing number by construction, the result is tautological rather than a non-trivial coincidence with DSSYK. The derivation steps establishing independence from other diagram features should be isolated and shown to rely only on the combinatorial structure of the maps.
minor comments (2)
- Clarify the precise range of the deformation parameter q for which all statements hold, including any restrictions needed for positivity or convergence.
- Ensure that all notation for chord diagrams, crossing number, and boundary perimeter is introduced with explicit definitions before the main theorem.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We respond point-by-point to the major comments below, providing clarifications on the model and proof while agreeing to revisions that enhance explicitness without altering the central claims.
read point-by-point responses
-
Referee: [Introduction and model definition (near the statement of the main theorem)] The central claim presupposes a well-defined family of bipartite planar maps whose face weights are the specific q-deformations from DSSYK such that the weighted sum over maps with a given geodesic chord diagram reduces exactly to a function of crossing number. The manuscript must explicitly define these weights (including the range of q for which they remain positive and the generating functions converge) and verify that the geodesic chord diagram is canonically induced by graph distance; without this, the reduction is not shown to be a combinatorial identity independent of auxiliary choices.
Authors: Section 2 introduces the q-deformed face weights explicitly as the DSSYK-derived weights w_d = (1-q)q^{d-1} for a face of degree d (with the bipartite case restricting to even d). We agree that a dedicated paragraph specifying the range 0 < q < 1 (ensuring positivity and convergence of the generating functions via the geometric series) is needed and will be added. The geodesic chord diagram is canonically induced by the graph-distance pseudometric on the boundary vertices (Definition 2.3), with no auxiliary choices; the construction uses only the shortest-path distances in the map. This will be clarified in the revision. revision: yes
-
Referee: [Proof of the main enumeration result] The proof that the enumeration depends only on crossing number must be checked for circularity: if the q-weights are chosen precisely so that the generating function factors through crossing number by construction, the result is tautological rather than a non-trivial coincidence with DSSYK. The derivation steps establishing independence from other diagram features should be isolated and shown to rely only on the combinatorial structure of the maps.
Authors: The weights are imported unchanged from the DSSYK literature and are not engineered for the crossing-number reduction. The proof proceeds via a recursive decomposition of maps according to the chord diagram (Section 4), using induction on perimeter and crossing number; the key step is a gluing lemma showing that the q-weights multiply in a manner that cancels all dependence on non-crossing features. This relies on the standard combinatorial structure of bipartite planar maps (e.g., the cycle lemma and face-gluing rules) rather than the specific q-form alone. We will revise to isolate this lemma and add an explicit outline separating the combinatorial steps from the weight evaluation. revision: partial
Circularity Check
No significant circularity; combinatorial proof is self-contained
full rationale
The paper states a proof that, for the given family of bipartite planar maps with q-deformed weights taken from the DSSYK context, the weighted enumeration depends only on the crossing number of the geodesic chord diagram and coincides with the DSSYK chord diagram law. This is presented as an independent combinatorial identity at fixed perimeter. No load-bearing step reduces by the paper's own equations to a fitted parameter, self-definition, or unverified self-citation chain. The derivation chain relies on the external definition of the weights and standard planar map enumeration techniques, which are falsifiable outside the paper. Minor self-citations, if present, are not load-bearing for the central claim.
Axiom & Free-Parameter Ledger
free parameters (1)
- q
axioms (1)
- domain assumption Bipartite planar maps admit a well-defined geodesic chord diagram encoding of the boundary metric induced by bulk graph distance.
Reference graph
Works this paper leans on
-
[1]
Albenque and D
M. Albenque and D. Poulalhon , A generic method for bijections between blossoming trees and planar maps , Electron. J. Combin., 22 (2015), pp. Paper 2.38, 44
2015
-
[2]
Ambj rn and T
J. Ambj rn and T. G. Budd , Trees and spatial topology change in causal dynamical triangulations , Journal of Physics A: Mathematical and Theoretical, 46 (2013), p. 315201
2013
-
[3]
height 2pt depth -1.6pt width 23pt, Multi-point functions of weighted cubic maps , Annales de l’Institut Henri Poincar \'e D, 3 (2016), pp. 1--44
2016
-
[4]
Ambj rn and Y
J. Ambj rn and Y. Watabiki , Scaling in quantum gravity , Nuclear Physics B, 445 (1995), pp. 129--142
1995
-
[5]
Angel , Growth and percolation on the uniform infinite planar triangulation , Geometric And Functional Analysis, 13 (2003), pp
O. Angel , Growth and percolation on the uniform infinite planar triangulation , Geometric And Functional Analysis, 13 (2003), pp. 935--974
2003
-
[6]
Berkooz, M
M. Berkooz, M. Isachenkov, P. Narayan, and V. Narovlansky , Quantum groups, non-commutative AdS2 , and chords in the double-scaled SYK model , Journal of High Energy Physics, 2023 (2023), p. 76
2023
-
[7]
Berkooz, M
M. Berkooz, M. Isachenkov, V. Narovlansky, and G. Torrents , Towards a full solution of the large N double-scaled SYK model , Journal of High Energy Physics, 2019 (2018)
2019
-
[8]
Berkooz and O
M. Berkooz and O. Mamroud , A cordial introduction to double scaled SYK , Reports on Progress in Physics, 88 (2025), p. 036001
2025
-
[9]
Berkooz, P
M. Berkooz, P. Narayan, and J. Simon , Chord diagrams, exact correlators in spin glasses and black hole bulk reconstruction , Journal of High Energy Physics, 2018 (2018), pp. 1--39
2018
-
[10]
Bettinelli , Scaling limit of random planar quadrangulations with a boundary , in Annales de l'IHP Probabilit \'e s et statistiques, vol
J. Bettinelli , Scaling limit of random planar quadrangulations with a boundary , in Annales de l'IHP Probabilit \'e s et statistiques, vol. 51, 2015, pp. 432--477
2015
-
[11]
Blommaert, T
A. Blommaert, T. G. Mertens, and J. Papalini , The dilaton gravity hologram of double-scaled SYK , Journal of High Energy Physics, 2025 (2025), pp. 1--43
2025
-
[12]
Blommaert, T
A. Blommaert, T. G. Mertens, and S. Yao , Dynamical actions and q-representation theory for double-scaled SYK , Journal of High Energy Physics, 2024 (2024), pp. 1--46
2024
-
[13]
Bossi, L
L. Bossi, L. Griguolo, J. Papalini, L. Russo, and D. Seminara , Sine-dilaton gravity vs double-scaled SYK : exploring one-loop quantum corrections , Journal of High Energy Physics, 2025 (2025), pp. 1--36
2025
-
[14]
Bouttier , Planar maps and random partitions , Habilitation thesis , Universit\' e Paris-Sud, 2019
J. Bouttier , Planar maps and random partitions , Habilitation thesis , Universit\' e Paris-Sud, 2019. arXiv:1912.06855
-
[15]
Bouttier, P
J. Bouttier, P. Di Francesco, and E. Guitter , Geodesic distance in planar graphs , Nuclear physics B, 663 (2003), pp. 535--567
2003
-
[16]
Bouttier, P
J. Bouttier, P. Di Francesco, and E. Guitter , Planar maps as labeled mobiles , Electron. J. Combin., 11 (2004), pp. Research Paper 69, 27 pp. (electronic)
2004
-
[17]
Bouttier and E
J. Bouttier and E. Guitter , The three-point function of planar quadrangulations , Journal of Statistical Mechanics: Theory and Experiment, 2008 (2008), p. P07020
2008
-
[18]
height 2pt depth -1.6pt width 23pt, Distance statistics in quadrangulations with a boundary, or with a self-avoiding loop , Journal of Physics A: Mathematical and Theoretical, 42 (2009), p. 465208
2009
-
[19]
Bouttier and E
J. Bouttier and E. Guitter , Planar maps and continued fractions , Comm. Math. Phys., 309 (2012), pp. 623--662
2012
-
[20]
Bouttier, E
J. Bouttier, E. Guitter, and G. Miermont , Bijective enumeration of planar bipartite maps with three tight boundaries, or how to slice pairs of pants , Ann. H. Lebesgue, 5 (2022), pp. 1035--1110
2022
- [21]
-
[22]
Budd , The peeling process of infinite boltzmann planar maps , The Electronic Journal of Combinatorics, 23 (2016), p
T. Budd , The peeling process of infinite boltzmann planar maps , The Electronic Journal of Combinatorics, 23 (2016), p. \#P1.28
2016
-
[23]
height 2pt depth -1.6pt width 23pt, Lessons from the mathematics of two-dimensional euclidean quantum gravity , in Handbook of Quantum Gravity, Springer, 2023, pp. 1--55
2023
-
[24]
J. S. Cotler, G. Gur-Ari, M. Hanada, J. Polchinski, P. Saad, S. H. Shenker, D. Stanford, A. Streicher, and M. Tezuka , Black holes and random matrices , Journal of High Energy Physics, 2017 (2017), pp. 1--54
2017
-
[25]
Curien , Peeling random planar maps , vol
N. Curien , Peeling random planar maps , vol. 2335 of Lecture Notes in Mathematics, Springer, Cham, 2023. \' E cole d'\' E t\' e de Probabilit\' e s de Saint-Flour XLIX---2019, \' E cole d'\' E t\' e de Probabilit\' e s de Saint-Flour. [Saint-Flour Probability Summer School]
2023
- [26]
- [27]
-
[28]
Ernst , A comprehensive treatment of q -calculus , Birkh\" a user/Springer Basel AG, Basel, 2012
T. Ernst , A comprehensive treatment of q -calculus , Birkh\" a user/Springer Basel AG, Basel, 2012
2012
-
[29]
Fusy and E
\'E . Fusy and E. Guitter , The three-point function of general planar maps , Journal of Statistical Mechanics: Theory and Experiment, 2014 (2014), p. P09012
2014
-
[30]
Gasper and M
G. Gasper and M. Rahman , Basic hypergeometric series , vol. 35 of Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 1990. With a foreword by Richard Askey
1990
-
[31]
Giacchetto, P
A. Giacchetto, P. Maity, and E. A. Mazenc , Matrix correlators as discrete volumes of moduli space I : Recursion relations, the BMN -limit and DSSYK , (2025)
2025
-
[32]
H. W. Gould , The q - S tirling numbers of first and second kinds , Duke Math. J., 28 (1961), pp. 281--289
1961
-
[33]
Gwynne , Random surfaces and Liouville quantum gravity , Notices of the American Mathematical Society, 67 (2020), pp
E. Gwynne , Random surfaces and Liouville quantum gravity , Notices of the American Mathematical Society, 67 (2020), pp. 484--491
2020
-
[34]
Gwynne and J
E. Gwynne and J. Miller , Existence and uniqueness of the Liouville quantum gravity metric for (0,2) , Inventiones mathematicae, 223 (2021), pp. 213--333
2021
-
[35]
M. E. H. Ismail, D. Stanton, and G. Viennot , The combinatorics of q - H ermite polynomials and the A skey- W ilson integral , European J. Combin., 8 (1987), pp. 379--392
1987
-
[36]
Jackiw , Lower dimensional gravity , Nuclear Physics B, 252 (1985), pp
R. Jackiw , Lower dimensional gravity , Nuclear Physics B, 252 (1985), pp. 343--356
1985
-
[37]
D. L. Jafferis, D. K. Kolchmeyer, B. Mukhametzhanov, and J. Sonner , Jackiw-Teitelboim gravity with matter, generalized eigenstate thermalization hypothesis, and random matrices , Physical Review D, 108 (2023), p. 066015
2023
-
[38]
Jensen , Chaos in AdS _2 holography , Physical review letters, 117 (2016), p
K. Jensen , Chaos in AdS _2 holography , Physical review letters, 117 (2016), p. 111601
2016
-
[39]
Kitaev , A simple model of quantum holography (part 2) , Entanglement in strongly-correlated quantum matter, (2015), p
A. Kitaev , A simple model of quantum holography (part 2) , Entanglement in strongly-correlated quantum matter, (2015), p. 38
2015
-
[40]
Kitaev and S
A. Kitaev and S. J. Suh , The soft mode in the Sachdev-Ye-Kitaev model and its gravity dual , Journal of High Energy Physics, 2018 (2018), pp. 1--68
2018
-
[41]
Koekoek, P
R. Koekoek, P. A. Lesky, and R. F. Swarttouw , Hypergeometric orthogonal polynomials and their q -analogues , Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2010. With a foreword by Tom H. Koornwinder
2010
-
[42]
The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue
R. Koekoek and R. F. Swarttouw , The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue , arXiv preprint math/9602214, (1996)
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[43]
Le Gall , Uniqueness and universality of the B rownian map , Ann
J.-F. Le Gall , Uniqueness and universality of the B rownian map , Ann. Probab., 41 (2013), pp. 2880--2960
2013
-
[44]
Le Gall and G
J.-F. Le Gall and G. Miermont , On the scaling limit of random planar maps with large faces , in X VI th I nternational C ongress on M athematical P hysics, World Sci. Publ., Hackensack, NJ, 2010, pp. 470--474
2010
-
[45]
H. W. Lin , The bulk hilbert space of double scaled SYK , Journal of High Energy Physics, 2022 (2022)
2022
-
[46]
H. W. Lin and D. Stanford , A symmetry algebra in double-scaled SYK , SciPost Phys. 15, 234 (2023), 15 (2023)
2023
-
[47]
Maldacena and D
J. Maldacena and D. Stanford , Remarks on the Sachdev-Ye-Kitaev model , Phys. Rev. D, 94 (2016), p. 106002
2016
-
[48]
Marckert and G
J.-F. Marckert and G. Miermont , Invariance principles for random bipartite planar maps , Ann. Probab., 35 (2007), pp. 1642--1705
2007
-
[49]
T. G. Mertens and G. J. Turiaci , Solvable models of quantum black holes: a review on Jackiw--Teitelboim gravity , Living Reviews in Relativity, 26 (2023), p. 4
2023
-
[50]
Miermont , The B rownian map is the scaling limit of uniform random plane quadrangulations , Acta Math., 210 (2013), pp
G. Miermont , The B rownian map is the scaling limit of uniform random plane quadrangulations , Acta Math., 210 (2013), pp. 319--401
2013
-
[51]
Miller and S
J. Miller and S. Sheffield , Liouville quantum gravity and the Brownian map I : the QLE (8/3,0) metric , Inventiones mathematicae, 219 (2020), pp. 75--152
2020
-
[52]
Okuyama , Discrete analogue of the Weil-Petersson volume in double scaled SYK , Journal of High Energy Physics, 2023 (2023), p
K. Okuyama , Discrete analogue of the Weil-Petersson volume in double scaled SYK , Journal of High Energy Physics, 2023 (2023), p. 133
2023
-
[53]
Penaud , Une preuve bijective d'une formule de T ouchard- R iordan , vol
J.-G. Penaud , Une preuve bijective d'une formule de T ouchard- R iordan , vol. 139, 1995, pp. 347--360. Formal power series and algebraic combinatorics (Montreal, PQ, 1992)
1995
-
[54]
Riordan , The distribution of crossings of chords joining pairs of 2n points on a circle , Math
J. Riordan , The distribution of crossings of chords joining pairs of 2n points on a circle , Math. Comp., 29 (1975), pp. 215--222
1975
-
[55]
P. Saad, S. H. Shenker, and D. Stanford , JT gravity as a matrix integral , arXiv preprint arXiv:1903.11115, (2019)
work page internal anchor Pith review Pith/arXiv arXiv 1903
-
[56]
Sachdev , Holographic metals and the fractionalized Fermi liquid , Phys
S. Sachdev , Holographic metals and the fractionalized Fermi liquid , Phys. Rev. Lett., 105 (2010), p. 151602
2010
-
[57]
Sachdev and J
S. Sachdev and J. Ye , Gapless spin-fluid ground state in a random quantum Heisenberg magnet , Phys. Rev. Lett., 70 (1993), pp. 3339--3342
1993
-
[58]
Schaeffer , Conjugaison d'arbres et cartes combinatoires al \'e atoires , PhD thesis, Bordeaux 1, 1998
G. Schaeffer , Conjugaison d'arbres et cartes combinatoires al \'e atoires , PhD thesis, Bordeaux 1, 1998
1998
-
[59]
Sheffield , What is a random surface? , in International Congress of Mathematicians, European Mathematical Society-EMS-Publishing House GmbH, 2023, pp
S. Sheffield , What is a random surface? , in International Congress of Mathematicians, European Mathematical Society-EMS-Publishing House GmbH, 2023, pp. 1202--1258
2023
-
[60]
Teitelboim , Gravitation and hamiltonian structure in two spacetime dimensions , Physics Letters B, 126 (1983), pp
C. Teitelboim , Gravitation and hamiltonian structure in two spacetime dimensions , Physics Letters B, 126 (1983), pp. 41--45
1983
-
[61]
Touchard , Sur un probl\`eme de configurations et sur les fractions continues , Canad
J. Touchard , Sur un probl\`eme de configurations et sur les fractions continues , Canad. J. Math., 4 (1952), pp. 2--25
1952
-
[62]
W. T. Tutte , A census of slicings , Canadian Journal of Mathematics, 14 (1962), pp. 708--722
1962
-
[63]
Watabiki , Construction of non-critical string field theory by transfer matrix formalism in dynamical triangulation , Nuclear Physics B, 441 (1995), pp
Y. Watabiki , Construction of non-critical string field theory by transfer matrix formalism in dynamical triangulation , Nuclear Physics B, 441 (1995), pp. 119--163
1995
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.