Recognition: 2 theorem links
· Lean TheoremWormholes and Averaging over N
Pith reviewed 2026-05-15 02:54 UTC · model grok-4.3
The pith
Mellin averaging over the integer N can account for the apparent randomness produced by wormholes in the gravitational path integral.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper introduces Mellin averaging as a procedure to define an asymptotic average over the discrete parameter N in holographic duals. This averaging is shown to potentially reproduce the ensemble averages computed by wormholes in the gravitational path integral, under the conditions that the dual theory allows analytic continuation in N and that the relevant observables fluctuate on superpolynomially small scales in N. As a concrete example, the spectral form factor in the double-cone regime is compared to expectations from random matrix theory treating N as continuous.
What carries the argument
Mellin averaging, a transform-based procedure that defines an asymptotic average of a function of the discrete variable N.
Load-bearing premise
The dual theory admits an analytic continuation in N and the relevant observables fluctuate on superpolynomially small scales in N.
What would settle it
A concrete counter-example would be any holographic observable whose variance with respect to N fails to fall superpolynomially or whose Mellin average deviates from the wormhole saddle contribution in a model where both quantities can be computed exactly.
read the original abstract
The gravitational path integral produces an asymptotic expansion in $G_N$, a fact which is puzzling in the case of observables that are expected to fluctuate wildly. Wormholes appear to compute ensemble averages of functions of such observables, though in typical constructions of AdS/CFT, there are no parameters to average over except, in some examples, a single integer $N$. We introduce a procedure that we call ``Mellin averaging'' to define a sort of asymptotic average of a function of $N$. We argue that Mellin averaging over $N$ may suffice to reproduce the apparent randomness seen in wormhole physics, provided that the dual theory admits an analytic continuation in $N$ and the relevant observables fluctuate on superpolynomially small scales in $N$. As a test case, we consider the spectral form factor in the regime where the double cone is believed to dominate the gravitational path integral and compare to a random matrix theory in which $N$ behaves as a continuous variable. We also describe some toy models of analytic continuation in $N$: a qubit model that can be analytically continued in $N$, and an explicit construction of a deterministic function of $N$ that simulates a sequence of independent draws from a Gaussian ensemble.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a procedure called 'Mellin averaging' to define an asymptotic average of a function of the integer N. It argues that this averaging over N may reproduce the apparent randomness seen in wormhole contributions to the gravitational path integral, provided the dual theory admits an analytic continuation in N and the relevant observables fluctuate on superpolynomially small scales in N. As a test case, the spectral form factor in the double-cone regime is compared to a random matrix theory model in which N is treated as continuous; the paper also presents toy models, including a qubit model that admits analytic continuation in N and a deterministic function of N that simulates independent draws from a Gaussian ensemble.
Significance. If the superpolynomial fluctuation condition holds for physical observables, the work provides a conceptual mechanism for interpreting wormhole saddles as effective ensemble averages without an explicit ensemble parameter in the dual CFT. The explicit construction of Mellin averaging and the concrete toy models for analytic continuation in N constitute useful technical contributions to the literature on holographic ensembles and the spectral form factor.
major comments (2)
- [Spectral form factor test case] The central claim in the abstract and introduction is load-bearing on the assumption that dual observables fluctuate on superpolynomially small scales in N. The spectral form factor comparison treats N as continuous in the RMT model but does not derive or measure this fluctuation scale from any holographic dual; if fluctuations are only polynomially small (as is typical for free energies or correlators), the Mellin transform would suppress rather than reproduce the wild ensemble-like behavior.
- [Toy models of analytic continuation in N] The qubit and Gaussian toy models in the final section demonstrate analytic continuation in N but do not exhibit or verify the required superpolynomial suppression for physical observables. Without this verification, the models illustrate only part of the necessary conditions and do not close the gap between the conceptual proposal and actual holographic observables.
minor comments (2)
- [Introduction] The definition of the Mellin averaging integral transform should be stated explicitly with its contour and convergence conditions in the main text rather than left implicit from the abstract.
- [Spectral form factor test case] Notation for the double-cone geometry and its relation to the spectral form factor could be clarified with a brief equation reference to avoid ambiguity in the comparison to RMT.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive report. The comments highlight important clarifications needed regarding the assumptions in our proposal and the scope of the toy models. We address each major comment below and will make corresponding revisions to improve the manuscript.
read point-by-point responses
-
Referee: [Spectral form factor test case] The central claim in the abstract and introduction is load-bearing on the assumption that dual observables fluctuate on superpolynomially small scales in N. The spectral form factor comparison treats N as continuous in the RMT model but does not derive or measure this fluctuation scale from any holographic dual; if fluctuations are only polynomially small (as is typical for free energies or correlators), the Mellin transform would suppress rather than reproduce the wild ensemble-like behavior.
Authors: We agree that the superpolynomial fluctuation condition is a crucial assumption underlying the central claim, as the Mellin averaging procedure would indeed suppress rather than reproduce ensemble-like behavior if fluctuations were only polynomially small. The spectral form factor comparison is presented strictly as an illustrative test case within a random matrix theory model where N is treated as a continuous parameter, under the hypothesis that the condition holds for the dual observables. The manuscript does not derive or measure the fluctuation scale from a specific holographic dual, as this would require detailed analysis of a concrete CFT that is beyond the scope of the present work. In the revised version, we will add explicit language in the abstract, introduction, and discussion sections to emphasize that this is a necessary condition to be verified in future studies of holographic models, rather than a result established here. revision: partial
-
Referee: [Toy models of analytic continuation in N] The qubit and Gaussian toy models in the final section demonstrate analytic continuation in N but do not exhibit or verify the required superpolynomial suppression for physical observables. Without this verification, the models illustrate only part of the necessary conditions and do not close the gap between the conceptual proposal and actual holographic observables.
Authors: The toy models are constructed specifically to demonstrate the analytic continuation in N, which is one of the two prerequisites stated in the paper for Mellin averaging to be applicable. The qubit model provides a simple quantum-mechanical example where N can be continued analytically, while the deterministic function of N is designed to reproduce the statistics of independent Gaussian draws, thereby showing how ensemble-like behavior can emerge from a fixed function without an explicit ensemble. We acknowledge that neither model explicitly verifies or exhibits the superpolynomial suppression of fluctuations for the observables in question. In the revision, we will clarify the limited purpose of these models as illustrations of analytic continuation alone and state explicitly that the superpolynomial condition must be checked independently in more realistic holographic settings. revision: partial
Circularity Check
No significant circularity: Mellin averaging defined via standard transform; claims conditional on explicit assumptions without reduction to fits or self-citations
full rationale
The paper introduces Mellin averaging as a new integral-transform procedure for averaging functions of N, then argues conditionally that it can reproduce wormhole randomness if the dual admits analytic continuation in N and observables fluctuate superpolynomially in N. These conditions are stated as assumptions rather than derived. The spectral form factor comparison is to an external RMT model with continuous N, and the toy models (qubit analytic continuation and deterministic Gaussian simulator) are explicit constructions presented as illustrations, not as derivations that reduce the main claim to their own inputs by construction. No load-bearing self-citations, fitted parameters renamed as predictions, or ansatzes smuggled via prior work appear in the derivation chain. The argument remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The dual theory admits an analytic continuation in N
- domain assumption Relevant observables fluctuate on superpolynomially small scales in N
invented entities (1)
-
Mellin averaging
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce a procedure that we call 'Mellin averaging' to define a sort of asymptotic average of a function of N... provided that the dual theory admits an analytic continuation in N and the relevant observables fluctuate on superpolynomially small scales in N.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The double cone wormhole... n!-fold degeneracy of double cone saddles.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Coleman,Black Holes as Red Herrings: Topological Fluctuations and the Loss of Quantum Coherence,Nucl
S. Coleman,Black Holes as Red Herrings: Topological Fluctuations and the Loss of Quantum Coherence,Nucl. Phys. B307(1988) 867
work page 1988
-
[2]
T. Banks, I.R. Klebanov and L. Susskind,Wormholes and the Cosmological Constant, Nucl. Phys. B317(1989). – 47 –
work page 1989
-
[3]
A semiclassical ramp in SYK and in gravity
P. Saad, S.H. Shenker and D. Stanford,A Semiclassical Ramp in SYK and in Gravity, arXiv:1806.06840
work page internal anchor Pith review Pith/arXiv arXiv
-
[4]
A. Almheiri, N. Engelhardt, D. Marolf and H. Maxfield,The Entropy of Bulk Quantum Fields and the Entanglement Wedge of an Evaporating Black Hole,JHEP12(2019) 063 [arXiv:1905.08762]
-
[5]
G. Penington,Entanglement Wedge Reconstruction and the Information Paradox,JHEP09 (2020) 002 [arXiv:1905.08255]
-
[6]
A. Almheiri, T. Hartman, J. Maldacena, E. Shaghoulian and A. Tajdini,Replica Wormholes and the Entropy of Hawking Radiation,JHEP05(2020) 013 [arXiv:1911.12333]
-
[7]
G. Penington, S.H. Shenker, D. Stanford and Z. Yang,Replica Wormholes and the Black Hole Interior,JHEP03(2022) 205 [arXiv:1911.11977]
-
[8]
N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals
O. Aharony, O. Bergman, D.L. Jafferis and J. Maldacena,N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals,JHEP10(2008) 091 [arXiv:0806.1218]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[9]
J.M. Schlenker and E. Witten,No ensemble averaging below the black hole threshold,JHEP 07(2022) 143 [arXiv:2202.01372]
-
[10]
Liu,Towards a holographic description of closed universes,arXiv:2509.14327
H. Liu,Towards a holographic description of closed universes,arXiv:2509.14327
-
[11]
J. Kudler-Flam and E. Witten,Emergent Mixed States for Baby Universes and Black Holes, arXiv:2510.06376
-
[12]
H. Liu,”Filtering” CFTs at large N: Euclidean Wormholes, Closed Universes, and Black Hole Interiors,arXiv:2512.13807
-
[13]
Kohno,Monodromy Representations of Braid Groups and Yang-Baxter Equations, Ann
T. Kohno,Monodromy Representations of Braid Groups and Yang-Baxter Equations, Ann. Inst. Fourier37(1987) 137
work page 1987
-
[14]
A. Tsuchiya and Y. Kanie,Vertex Operators in the Conformal Field Theory onP1 and Monodromy Representations of the Braid Group,Lett. Math. Phys.13(1987) 303
work page 1987
-
[15]
Analytic Continuation Of Chern-Simons Theory
E. Witten,Analytic Continuation of Chern-Simons Theory, inChern-Simons Gauge Theories: 20 Years After, p. 347. American Mathematical Society, 2011.arXiv:1001.2933
work page internal anchor Pith review Pith/arXiv arXiv 2011
- [16]
-
[17]
Black Holes and Random Matrices
J.S. Cotler, G. Gur-Ari, M. Hanada, J. Polchinski, P. Saad, S.H. Shenker, A. Streicher and M. Tezuka,Black Holes and Random Matrices,JHEP05(2017) 118 [arXiv:1611.04650]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[18]
Black holes and the butterfly effect
S.H. Shenker and D. Stanford,Black Holes and the Butterfly Effect,JHEP03(2014) 067 [arXiv:1306.0622]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[19]
J. Cotler and K. Jensen,A precision test of averaging in AdS/CFT,JHEP11(2022) 070 [arXiv:2205.12968]
-
[20]
R. Mahajan, D. Marolf and J.E. Santos,The double cone geometry is stable to brane nucleation,JHEP09(2021) 156 [arXiv:2104.00022]
-
[21]
Time-periodic solutions in Einstein AdS - massless scalar field system
M. Maliborski and A. Rostworowski,Time-Periodic Solutions in an Einstein AdS–Massless-Scalar-Field System,Phys. Rev. Lett.111(2013) 051102 [arXiv:1303.3186]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[22]
A. Milekhin and N. Sukhov,All holographic systems have scar states,Phys. Rev. D110 (2024) 046023 [arXiv:2307.11348]. – 48 –
-
[23]
Invariants of algebraic curves and topological expansion
B. Eynard and N. Orantin,Invariants of algebraic curves and topological expansion, Commun. Num. Theor. Phys.1(2007) 347 [math-ph/0702045]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[24]
J.A. Mingo and R. Speicher,Free probability and random matrices, vol. 35 Springer (2017)
work page 2017
-
[25]
Weyl,Über die Gleichverteilung von Zahlen mod
H. Weyl,Über die Gleichverteilung von Zahlen mod. Eins,Math. Ann.77(1916) 313
work page 1916
-
[26]
Koksma,Einige Sätze über die Gleichverteilung modulo Eins,Compositio Math.2(1935) 250
J.F. Koksma,Einige Sätze über die Gleichverteilung modulo Eins,Compositio Math.2(1935) 250
work page 1935
-
[27]
Kakutani,On Equivalence of Infinite Product Measures,Ann
S. Kakutani,On Equivalence of Infinite Product Measures,Ann. Math.49(1948) 214
work page 1948
-
[28]
A. Nica and R. Speicher,Lectures on the Combinatorics of Free Probability, vol. 335 of London Mathematical Society Lecture Note SeriesCambridge University Press (2006)
work page 2006
-
[29]
Voiculescu,Addition of certain non-commuting random variables,J
D. Voiculescu,Addition of certain non-commuting random variables,J. Funct. Anal.66 (1986) 323
work page 1986
-
[30]
Biane,Processes with free increments,Math
P. Biane,Processes with free increments,Math. Z.227(1998) 143
work page 1998
-
[31]
Curran,Analytic subordination for free compression,arXiv preprint arXiv:0803
S. Curran,Analytic subordination for free compression,arXiv preprint arXiv:0803. 4227 (2008)
work page 2008
-
[32]
D. Voiculescu,The analogues of entropy and of fisher’s information measure in free probability theory, i,Communications in mathematical physics155(1993) 71. – 49 –
work page 1993
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.