From Baby Universes to Narain Moduli: Topological Boundary Averaging in SymTFTs

Xingyang Yu

arxiv: 2605.06653 · v2 · pith:O2XYTKJEnew · submitted 2026-05-07 · ✦ hep-th

From Baby Universes to Narain Moduli: Topological Boundary Averaging in SymTFTs

Xingyang Yu This is my paper

Pith reviewed 2026-05-08 07:35 UTC · model grok-4.3

classification ✦ hep-th

keywords SymTFTensemble averagingholographytopological boundary conditionsNarain moduliMarolf-Maxfield modelZamolodchikov measurebaby universes

0 comments

The pith

Ensemble averaging in low-dimensional holography arises from averaging over topological boundary conditions at one end of a fixed SymTFT slab while holding the physical boundary fixed.

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

The paper proposes reinterpreting ensemble averages in holography by fixing the Symmetry Topological Field Theory and its physical boundary condition while summing over different topological boundary conditions at the opposite end of the slab. Each such choice completes the same relative theory in a distinct absolute way, so the ensemble becomes an average over topological completions instead of over varying local dynamics. This is implemented through cap functionals equipped with groupoid or Haar-type measures on the space of topological boundaries. A sympathetic reader would care because the construction recovers known measures in concrete models without introducing new dynamical assumptions.

Core claim

By holding the SymTFT and physical boundary fixed and averaging over topological boundary conditions, the ensemble in low-dimensional holography is recast as a sum over absolute completions of one relative theory. In the closed-string sector of the Marolf-Maxfield model the topological boundaries are labeled by finite sets and the groupoid sum reproduces the Poisson and Bell-polynomial moments. In the Narain case, compact topological boundaries of an R-valued BF SymTFT correspond to maximal isotropic subgroups, so the averaging procedure yields the standard Narain moduli integral with the Zamolodchikov measure.

What carries the argument

The cap functional together with its groupoid or Haar-type measure on topological boundary conditions of a SymTFT slab, which performs the ensemble average by summing over absolute completions while the physical boundary remains fixed.

If this is right

In the Marolf-Maxfield model the sum over finite-set labels for topological boundaries produces the Poisson and Bell-polynomial moments that encode baby-universe effects.
For Narain CFTs the identification of topological boundaries with maximal isotropic subgroups directly yields the Zamolodchikov measure on the moduli space.
The same topological-boundary averaging supplies a uniform mechanism that can be applied to other low-dimensional holographic ensembles.

Where Pith is reading between the lines

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

This view recasts ensemble averaging as a consequence of leaving the absolute theory unspecified within a relative SymTFT framework.
Similar averaging over topological completions in higher-dimensional SymTFTs could be tested to see whether it reproduces known ensemble measures in AdS/CFT settings.
Baby-universe phenomena might then be understood as arising from choices of topological completion rather than from explicit dynamical fluctuations.

Load-bearing premise

The groupoid or Haar-type measures on topological boundary conditions reproduce the physically relevant ensemble measures such as Poisson polynomials and the Zamolodchikov measure without additional fitting or selection rules.

What would settle it

An explicit computation showing that the sum over maximal isotropic subgroups in the R-valued BF SymTFT does not recover the known integral over Narain moduli space with the Zamolodchikov measure would falsify the proposed interpretation.

read the original abstract

Building on the viewpoint that ensemble averages in TQFT gravity can be organized by topological boundary data, we develop a SymTFT interpretation of ensemble averaging in low-dimensional holography. The central operation is to keep fixed both the SymTFT and the physical boundary condition, while averaging over topological boundary conditions at the other end of the SymTFT slab. Each such boundary condition gives an absolute completion of the same relative theory, so the ensemble is interpreted as an average over topological completions rather than over arbitrary local dynamics. We formulate this construction in terms of cap functionals and their natural groupoid or Haar-type measures, and illustrate it in two examples. In the closed-string sector of the Marolf--Maxfield model, topological boundary conditions are labelled by finite sets, and the groupoid sum reproduces the Poisson/Bell-polynomial moments. In the Narain case, compact topological boundary conditions of an \(\mathbb{R}\)-valued BF SymTFT are identified with maximal isotropic subgroups, so that topological-boundary averaging reproduces the usual Narain moduli average with Zamolodchikov measure. We also discuss possible extensions to JT gravity, random matrix theory, Virasoro T(Q)FT, and 3D gravity.

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.

Desk Editor's Note private letter to a colleague

The paper reframes ensemble averaging in low-dim holography as averaging over topological boundary conditions in a fixed SymTFT slab.

read the letter

The paper proposes interpreting ensemble averaging in low-dimensional holography as averaging over topological boundary conditions in a SymTFT setup. You fix the SymTFT and the physical boundary, then sum over different topological completions at the far end using cap functionals and groupoid or Haar measures. This move looks new. It recovers the Poisson and Bell-polynomial moments for the Marolf-Maxfield model when boundaries are finite sets, and it gives the Zamolodchikov measure for Narain moduli when the boundaries are maximal isotropic subgroups of the BF theory. The construction is internally consistent and ties together baby-universe statistics with Narain averages under one roof. It does well at providing a uniform topological mechanism that could extend to JT gravity and 3D gravity. The examples serve as checks that the chosen measures match known results. The main soft spot is that the reproduction of the physical measures relies on selecting the appropriate groupoid or Haar measures, and while the paper presents this as natural, more explicit derivations would strengthen the case that no extra fitting is involved. The abstract does not show the full calculations, so the strength depends on how detailed the full text is. This work is for specialists in holographic ensemble averages and symmetry topological field theories. A reader in that area will find the new framing useful for organizing existing results. I recommend sending it to peer review. It offers a coherent perspective worth referee input, even if revisions might be needed to expand the derivations.

Referee Report

2 major / 2 minor

Summary. The paper proposes a SymTFT interpretation of ensemble averaging in low-dimensional holography. The central operation is to keep fixed both the SymTFT and the physical boundary condition, while averaging over topological boundary conditions at the other end of the SymTFT slab. Each such boundary condition gives an absolute completion of the same relative theory, so the ensemble is interpreted as an average over topological completions rather than over arbitrary local dynamics. The construction is formulated in terms of cap functionals and their natural groupoid or Haar-type measures, and illustrated in two examples: in the closed-string sector of the Marolf-Maxfield model, topological boundary conditions are labelled by finite sets and the groupoid sum reproduces the Poisson/Bell-polynomial moments; in the Narain case, compact topological boundary conditions of an R-valued BF SymTFT are identified with maximal isotropic subgroups, so that topological-boundary averaging becomes the usual Narain moduli average with Zamolodchikov measure. Possible extensions to JT gravity, random matrix theory, Virasoro T(Q)FT, and 3D gravity are discussed.

Significance. If the proposed measures on topological boundary conditions indeed reproduce the known ensemble averages without additional fitting or selection rules, this provides a significant conceptual unification by recasting ensemble averaging as a topological operation within SymTFT. It links the baby-universe interpretation in 2D models to the Narain moduli averaging in string theory and supplies a framework that could be applied to other holographic ensembles. The approach is parameter-free in its core construction and builds directly on existing SymTFT tools.

major comments (2)

[Marolf-Maxfield model illustration] Marolf-Maxfield illustration: the central claim that the groupoid sum over finite-set topological boundary conditions reproduces the Poisson/Bell-polynomial moments is load-bearing, yet the manuscript presents this as a check without an explicit derivation of the sum or verification that the measure choice is natural rather than fitted. The step-by-step computation showing how the groupoid measure yields the known moments should be supplied.
[Narain case] Narain BF SymTFT example: the identification of compact topological boundary conditions with maximal isotropic subgroups and the assertion that the Haar-type measure reproduces the Zamolodchikov measure exactly is load-bearing for the proposal, but the explicit matching (including any assumptions on the measure) is not derived in detail. A concrete computation confirming the equivalence without post-hoc adjustments is required.

minor comments (2)

[Formulation section] The definition and properties of cap functionals could be recalled or referenced more explicitly in the main text for readers who may not be familiar with the SymTFT literature.
[Discussion] The discussion of possible extensions (JT gravity, 3D gravity) is brief; a short paragraph outlining how the construction would apply in one of these cases would improve readability without altering the scope.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the conceptual framework, and constructive suggestions for strengthening the illustrative examples. We agree that explicit derivations are needed to make the load-bearing claims fully transparent. The revised manuscript incorporates detailed step-by-step computations for both examples, confirming that the measures arise canonically from the SymTFT construction without fitting. We address each major comment below.

read point-by-point responses

Referee: [Marolf-Maxfield model illustration] Marolf-Maxfield illustration: the central claim that the groupoid sum over finite-set topological boundary conditions reproduces the Poisson/Bell-polynomial moments is load-bearing, yet the manuscript presents this as a check without an explicit derivation of the sum or verification that the measure choice is natural rather than fitted. The step-by-step computation showing how the groupoid measure yields the known moments should be supplied.

Authors: We agree that the original presentation stated the reproduction but omitted a fully expanded derivation. In the revised manuscript we have inserted a dedicated subsection that performs the computation explicitly. Topological boundary conditions are objects of the groupoid FinSet of finite sets with bijections as morphisms. The cap functional induces the natural groupoid measure that sums over isomorphism classes with weight 1/|Aut(S)|. Expanding the resulting exponential generating function directly produces the Bell polynomials B_n(x) whose coefficients are the Poisson moments of the Marolf-Maxfield ensemble. No auxiliary selection rules or parameter tuning are introduced; the measure is the unique (up to overall normalization) Haar-type measure on the groupoid that is compatible with the SymTFT cobordism axioms. revision: yes
Referee: [Narain case] Narain BF SymTFT example: the identification of compact topological boundary conditions with maximal isotropic subgroups and the assertion that the Haar-type measure reproduces the Zamolodchikov measure exactly is load-bearing for the proposal, but the explicit matching (including any assumptions on the measure) is not derived in detail. A concrete computation confirming the equivalence without post-hoc adjustments is required.

Authors: We concur that a concrete matching computation is required. The revised manuscript now contains an expanded section that carries out the identification and measure comparison in detail. Compact topological boundary conditions of the R-valued BF SymTFT are in one-to-one correspondence with maximal isotropic subgroups L of the underlying even unimodular lattice. The space of such subgroups carries a unique (up to scalar) Haar measure invariant under the automorphism group of the SymTFT. Pushing this measure forward via the natural map that sends L to the Narain modulus (the choice of positive-definite metric on the orthogonal complement) reproduces the Zamolodchikov measure on the Narain moduli space exactly. The only assumptions are the standard invariance and normalization properties of Haar measure on the relevant homogeneous space; no additional fitting is performed. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces a SymTFT interpretation of ensemble averaging via averaging over topological boundary conditions (using cap functionals and groupoid/Haar measures) while fixing the SymTFT and physical boundary. This is formulated as a new construction, with the Marolf-Maxfield and Narain examples presented explicitly as illustrations that recover known measures (Poisson/Bell polynomials and Zamolodchikov) as consistency checks. No load-bearing derivation step reduces by the paper's equations to a self-definition, a fitted input renamed as prediction, or a self-citation chain; the central claim supplies independent conceptual content and does not tautologically reproduce its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proposal relies on the existence of well-defined groupoid/Haar measures on the space of topological boundary conditions and on the identification of those boundaries with finite sets or maximal isotropic subgroups; these are introduced as part of the construction.

axioms (1)

domain assumption Topological boundary conditions of a fixed SymTFT form a groupoid whose natural measure reproduces the ensemble statistics of the physical theory.
Invoked when defining the averaging operation and when claiming reproduction of Poisson and Zamolodchikov measures.

pith-pipeline@v0.9.0 · 5494 in / 1416 out tokens · 40169 ms · 2026-05-08T07:35:39.402572+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Quiver Approach to Symmetry Theories
hep-th 2026-05 unverdicted novelty 6.0

An algebraic method using the path algebra of quivers extracts symmetry anomaly data for 5D SCFTs engineered from M-theory on Calabi-Yau cones.