The reviewed record of science sign in
Pith

arxiv: 2607.05385 · v1 · pith:CDDYQNR3 · submitted 2026-07-06 · hep-th · gr-qc· quant-ph

Charge-Sector Construction of the Type-IIB Axion--Dilaton Wormhole Partition Function

Soo-Jong Rey This is my paper

Reviewed by Pith2026-07-07 13:02 UTCglm-5.2pith:CDDYQNR3open to challenge →

classification hep-th gr-qcquant-ph
keywords wormhole partition functionaxion-dilatonType-IIB supergravitycharge-sector expansionFourier transformpositivityBochner theoremCauchy-Schwarz inequality
0
0 comments X

The pith

Wormhole partition function is Fourier transform of charge coefficients

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

This paper constructs the Type-IIB axion-dilaton wormhole partition function Z_wh(theta;b) = sum over integer charge nu of W_nu[b] e^{i nu theta} from charge-sector data. The central claim is that the theta-dependence of the wormhole partition function is the Fourier transform of charge-sector scalar coefficients W_nu[b], and that all physical properties of the partition function -- reality, evenness, positivity, analyticity domain -- are determined by properties of the coefficient sequence and the reduction data b, not by the theta expansion itself. The coefficient chain proceeds hierarchically: a semiclassical saddle calculation in a fixed axion charge sector nu produces a two-end operator coefficient matrix C^ij_nu; reduction data b (traces, projections, zero-mode insertions, source normalizations, contours) convert this matrix into scalar coefficients W_nu[b]; and these reduced coefficients are then summed with Fourier characters e^{i nu theta} to form the partition function. The paper shows that reality requires a discrete-symmetry covariance condition on the reduction data, evenness requires theta-reversal symmetry of the boundary problem, positivity requires the reduced sequence to be non-negative (giving Bochner-type moment positivity), and a positive unreduced coefficient matrix gives Cauchy-Schwarz inequalities before reduction. The analytic strip for complexified theta is controlled by the large-charge tail of the coefficient sequence. The dilute Bessel/Skellam law is recovered only after imposing positivity, independence, charge symmetry, and unit-charge dominance on top of this hierarchy. The paper does not compute the coefficient; it identifies which analytic tests the coefficient must pass once computed.

Core claim

The paper establishes that the wormhole partition function's theta-dependence is a Fourier transform of charge-sector scalar coefficients W_nu[b], and that the physical character of the partition function -- whether it is a formal Fourier series, a signed or complex series, a positive moment function, or the marginal of a positive unreduced quadratic form -- is determined by a hierarchy of properties of the coefficient sequence and reduction data. The key structural insight is the separation of the unreduced coefficient matrix C^ij_nu (which carries Cauchy-Schwarz inequalities in its end-insertion source space) from the reduced scalar coefficient W_nu[b] (which carries moment positivity and,

What carries the argument

The central object is the coefficient matrix C^ij_nu, the two-end operator term obtained when a small wormhole throat is replaced by its long-distance multipole expansion. Labels i,j are end-insertion operator labels; labels A,B are parent-universe placement labels. The reduction operation R_b converts C^ij_nu into scalar coefficients W_nu[b]. The wormhole partition function is then Z_wh(theta;b) = sum_nu W_nu[b] e^{i nu theta}, where theta is the compact Fourier variable conjugate to the integer axion charge nu (equivalently, the form-field flux). The hierarchy of tests proceeds: discrete-symmetry covariance (Eq. 11), absolute-value bounds (Eq. 14), moment positivity via Bochner's theorem (

If this is right

  • If the coefficient sequence W_nu[b] is non-negative and summable, the theta expansion becomes the characteristic function of a probability distribution on the axion charge lattice, giving the wormhole partition function a direct probabilistic interpretation.
  • The analytic domain for complexified theta is determined by the large-charge tail of W_nu[b] through the rate exponents alpha_+ and alpha_-, providing a concrete diagnostic: if the tail decays slowly, the complex-theta domain is narrow.
  • For multi-axion systems, different directions in the charge lattice can have different analytic reach, meaning the complexified-theta domain is direction-dependent and controlled by directional tails of the coefficient sequence.
  • The Cauchy-Schwarz inequality |C^ij_nu|^2 <= C^ii_nu C^jj_nu on the unreduced coefficient matrix provides a test that is logically prior to reduction: if a computation keeps mixed matrix elements while eliminating diagonal ones, that elimination must be explained by a specific projection or contour operation.
  • The phase delta_nu of complex coefficients W_nu = |W_nu| e^{i delta_nu} diagnoses the reduction: if it survives, the induced axion potential is shifted independently at each charge sector, and the casual cosine potential is a special case requiring all phases to vanish.

Where Pith is reading between the lines

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

  • The paper's framework implies that if the companion semiclassical calculation produces a coefficient matrix C^ij_nu that fails positivity as a quadratic form, then no choice of reduction data b can restore moment positivity in the reduced sequence -- the unreduced positivity is a necessary (though not sufficient) condition for the reduced coefficient to define a probability distribution.
  • The separation between 'does the complexified boundary-value problem define a coefficient?' and 'does the resulting Fourier series converge?' suggests that apparent failures of axion duality at complex theta could arise from either ingredient failing independently, and these two failure modes would have distinct physical signatures.
  • The compound Poisson structure of the dilute limit (Eq. 30) suggests that going beyond unit-charge dominance would produce modified Bessel-type laws with charge-dependent intensities lambda_m, and the deviation from the Skellam distribution could serve as an experimental diagnostic for multi-charge wormhole contributions.

Load-bearing premise

The entire framework depends on the existence of a well-defined, finite coefficient matrix C^ij_nu supplied by a controlled semiclassical saddle calculation. The paper explicitly starts after this coefficient has been obtained and defers its microscopic computation to a companion paper. If the saddle, Hessian, or variational problem in that companion work does not produce a well-defined coefficient with the assumed properties, the hierarchy of tests developed here has no物理对象

What would settle it

The key testable claim is that the wormhole partition function's properties are determined by the coefficient sequence W_nu[b] and reduction data, not by the theta expansion. This would be falsified if, for example, two different reduction data choices b1 and b2 producing the same coefficient sequence W_nu led to partition functions with different analyticity or positivity properties -- which would contradict the paper's claim that these properties are inherited from the coefficients. More directly, if the companion semiclassical calculation yields a coefficient matrix that is not positive as

Figures

Figures reproduced from arXiv: 2607.05385 by Soo-Jong Rey.

Figure 1
Figure 1. Figure 1: Three objects in the construction. Panel (a) is a two-ended throat, a connected [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: From the unreduced two-end coefficient to the wormhole partition function. The [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
read the original abstract

I construct the Type-IIB axion--dilaton wormhole partition function from charge-sector data. In a chosen axion charge, equivalently form-field flux sector, the long-distance saddle calculation supplies a two-end operator term with coefficient matrix \(C^{ij}_\nu\). The labels \(i,j\) label end-insertion operators; the labels \(A,B\) label parent universes. Reduction data \(b\) convert this matrix into scalar coefficients \(W_\nu[b]\). The wormhole partition function in the theta variable is \(Z_{\rm wh}(\theta;b)=\sum_\nu W_\nu[b]\e^{i\nu\theta}\). I analyze properties and constraints this coefficients satisfy: discrete-symmetry covariance, phase, absolute bounds, moment positivity, Cauchy--Schwarz inequalities for the unreduced coefficient matrix, complex-\(\theta\) domains, charge-lattice tails, and the dilute Bessel/Skellam limit. The \(\theta\)-dependence of the wormhole partition function is the Fourier transform of the charge-sector scalar coefficients.

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 / 7 minor

Summary. This manuscript constructs the Type-IIB axion--dilaton wormhole partition function Z_wh(θ;b) from charge-sector data. Starting from a coefficient matrix C^ij_ν supplied by a companion semiclassical calculation [2], the author defines reduction data b that convert this matrix into scalar coefficients W_ν[b], and then forms Z_wh as a Fourier series over the charge lattice. The paper systematically analyzes the properties of this coefficient sequence: discrete-symmetry covariance, phase structure, absolute-value bounds, moment positivity (Bochner-type), Cauchy--Schwarz inequalities for the unreduced matrix, complex-θ analyticity domains, multi-axion lattice tails, and the dilute Bessel/Skellam limit. The logical structure is a hierarchy of conditional statements: each property (reality, evenness, positivity, analyticity, the Bessel law) requires its own additional input beyond the bare Fourier series definition.

Significance. The paper provides a clear taxonomy of which assumptions are needed at each stage of the wormhole partition function construction, and is transparent about the status of each property as a conditional statement rather than a derived theorem. The separation of positivity tests (reduced sequence vs. unreduced matrix) and the distinction between coefficient existence and series convergence for complex θ are conceptually useful clarifications for the recent literature on axion wormholes and duality. The dilute Bessel/Skellam recovery (§6.1, Eqs. 30--33) correctly identifies the four independent assumptions (positivity, independence, charge symmetry, unit-charge dominance) underlying the standard result. However, the central claim that Z_wh is the Fourier transform of charge-sector coefficients is the definition in Eq. (1), not a derived result, and the physical content depends entirely on the coefficient matrix C^ij_ν from the companion paper [2], which is not available for independent verification within this manuscript.

major comments (2)
  1. §2.1, Eq. (6) and surrounding text: The entire framework takes C^ij_ν as input from a controlled semiclassical calculation in [2] and defers the functional integral evaluation to future work. The paper states: 'The analysis below starts after Eq. (3) has been obtained in a controlled semiclassical calculation.' Since the companion paper [2] is cited as the source of this coefficient but its results are not reproduced or summarized in sufficient detail here, a reader cannot independently assess whether the assumed properties of C^ij_ν (finite, well-defined, with the Hessian structure described) are actually established. This is the load-bearing dependency: without a computed, finite coefficient matrix, the hierarchy of tests developed in §§3--6 has no physical object to act on. The paper should either (a) provide a self-contained summary of the key results of [2] sufficient to justify the
  2. continued: assumptions on C^ij_ν, or (b) clearly state in the abstract and introduction that the present paper is a framework paper whose physical predictions are contingent on results not yet verified in print.
minor comments (7)
  1. §2.4, Eq. (5): The notation C^ij_ν ↦ W_ν[b] uses an arrow labeled 'b' but the nature of the map R_b is described only schematically. A more explicit definition, even if only specifying the domain and codomain, would help.
  2. Abstract: 'I analyze properties and constraints this coefficients satisfy' should read 'these coefficients satisfy.'
  3. §7.1: 'Figure 1 amjong' should read 'among.'
  4. §2.3: 'the real part of axion-dilaton's limiting value value' contains a duplicated 'value.'
  5. Figure 2 caption: uses 'wν[b]' (lowercase) while the text uses 'Wν[b]' (uppercase). Consistent notation would improve clarity.
  6. §4.1, Eq. (14): Z_abs[b] is introduced without a separate symbol definition in the text; it appears only in the equation. A brief inline definition would help.
  7. References [11]--[14] are all 2026 arXiv preprints; the paper should note their preprint status when citing specific results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

The referee's major comment concerns the paper's dependence on the companion paper [2] for the coefficient matrix C^ij_nu, arguing that without a self-contained summary of those results, the reader cannot independently verify the assumptions underlying the hierarchy of tests developed in the present paper. The referee requests either a self-contained summary of [2]'s key results or an explicit acknowledgment in the abstract and introduction that this is a framework paper with physical predictions contingent on results not yet verified in print. We agree that the dependency on [2] should be made more transparent and will revise the abstract and introduction accordingly, while also adding a summary of the companion paper's key results sufficient to justify the assumed properties of C^ij_nu.

read point-by-point responses

  1. Referee: §2.1, Eq. (6) and surrounding text: The entire framework takes C^ij_nu as input from a controlled semiclassical calculation in [2] and defers the functional integral evaluation to future work. The paper states: 'The analysis below starts after Eq. (3) has been obtained in a controlled semiclassical calculation.' Since the companion paper [2] is cited as the source of this coefficient but its results are not reproduced or summarized in sufficient detail here, a reader cannot independently assess whether the assumed properties of C^ij_nu (finite, well-defined, with the Hessian structure described) are actually established. This is the load-bearing dependency: without a computed, finite coefficient matrix, the hierarchy of tests developed in §§3--6 has no physical object to act on. The paper should either (a) provide a self-contained summary of the key results of [2] sufficient to justify,

    Authors: The referee correctly identifies that the dependency on [2] is load-bearing and that the current manuscript does not provide enough detail for a reader to independently assess the assumptions on C^ij_nu. We accept this point and will implement both remedies (a) and (b) in the revised manuscript. First, we will add a self-contained summary of the key results of [2] in §2.1, covering: (i) the saddle classification into BPS instantons (E=0) and non-BPS wormholes (E>0); (ii) the Hessian structure, including the singular-value square H_nu = Q†_nu Q_nu at the BPS endpoint and the Euclidean Hessian for E>0 wormholes; (iii) the neck-cut variational problem and the derivation of the two-end operator term (Eq. 3); and (iv) the status of the determinant, zero-mode measure, and contour prescriptions that enter the coefficient. This summary will be sufficient to justify the finiteness and well-definedness assumptions on C^ij_nu that the hierarchy of tests in §§3--6 requires. Second, we will revise the abstract and introduction to state explicitly that the present paper is a framework paper whose physical predictions are contingent on the coefficient matrix C^ij_nu established in the companion paper [2]. We agree with the referee that the current phrasing, particularly the sentence 'The analysis below starts after Eq. (3) has been obtained in a controlled semiclassical calculation,' does not adequately convey the status of the paper or the nature of the dependency. The revised abstract will include a sentence such as: 'The coefficient matrix C^ij_nu is supplied by a controlled semiclassical calculation in the companion paper [2]; the present paper studies the analytic properties of the theta-expansion that follows from it, and its physical predictions are contingent on those results. revision: yes

  2. Referee: continued: assumptions on C^ij_nu, or (b) clearly state in the abstract and introduction that the present paper is a framework paper whose physical predictions are contingent on results not yet verified in print.

    Authors: As noted in our response to the first part of this comment, we will implement both remedies. We agree that the abstract and introduction should clearly state the framework status of the paper. We will also note that [2] is cited as arXiv:2607.01221 and is available, though we accept that availability of the companion paper does not substitute for a self-contained summary within the present manuscript. The revised §2.1 will contain the summary of [2]'s results, and the revised abstract and introduction will explicitly flag the contingent status. revision: yes

Circularity Check

0 steps flagged

No significant circularity. The paper is transparent about its definitional setup and external dependency.

full rationale

The paper's central definition, Z_wh(θ;b) = Σ_ν W_ν[b] e^{iνθ} (Eq. 1), is presented as a definition, not as a derived result. The abstract's statement that 'the θ-dependence of the wormhole partition function is the Fourier transform of the charge-sector scalar coefficients' is a restatement of this definition, not a claim of derivation. The paper's actual mathematical content consists of conditional theorems: IF the coefficient sequence satisfies property X (non-negativity, symmetry covariance, tail decay), THEN the partition function satisfies property Y (Bochner positivity, Cauchy-Schwarz, analytic strip). These are standard results (Bochner's theorem, Cauchy-Schwarz, compound Poisson) correctly applied to the coefficient sequence, not circular derivations. The Bessel/Skellam law (Eq. 32-33) is explicitly flagged as requiring four additional independent assumptions beyond the framework (Eq. 31), not as a prediction. The companion paper [2] by the same author supplies the semiclassical input C^ij_ν, and this dependency is load-bearing — but it is not circular: [2] performs a separate semiclassical saddle calculation, while the present paper studies the mathematical consequences of whatever coefficients emerge. The paper is transparent that the functional integral (Eq. 6) is deferred and that the coefficient matrix is an input, not an output. No step in the derivation chain reduces to its own inputs by construction. The self-citation to [2] is a genuine external dependency (a separate calculation), not a self-referential loop. Score 1 reflects the load-bearing self-citation to [2] which, while not circular, means the physical content of the framework awaits verification in the companion work.

Axiom & Free-Parameter Ledger

3 free parameters · 5 axioms · 0 invented entities

The paper introduces no new physical entities. All objects (coefficient matrix, reduction data, theta variable) are organizational labels for standard objects in the wormhole literature.

free parameters (3)
  • W_ν[b]
    The charge-sector scalar coefficients are the central object of study but are not computed in this paper. They are treated as inputs from a future microscopic calculation (Eq. 6). Their values, signs, and large-charge tails are all undetermined.
  • b (reduction data)
    The reduction data vector b specifies the trace, projection, insertion, source normalization, and contour used to convert C^ij_ν to W_ν[b]. Its specific form is not fixed; different choices give different coefficients.
  • λ (dilute intensity)
    The intensity parameter λ in the Skellam/Bessel limit (Eq. 32-33) is a free parameter of the dilute approximation, not computed from first principles here.
axioms (5)
  • domain assumption The semiclassical saddle calculation in a chosen axion charge sector produces a well-defined coefficient matrix C^ij_ν
    Section 2.1: 'The analysis below starts after Eq.(3) has been obtained in a controlled semiclassical calculation.' This is the input from companion paper [2].
  • domain assumption The reduction operation R_b is well-defined and converts C^ij_ν to a scalar W_ν[b]
    Section 2.4, Eq. (5): the reduction is defined schematically as C^ij_ν → W_ν[b], with the specific operation depending on the calculation.
  • standard math The charge lattice is Z (integers) and θ is its compact dual
    Section 2.3: standard Fourier duality between integer charge and compact angle.
  • standard math Bochner's theorem characterizes positive-definite functions on the circle
    Section 4.2, Eq. (19): standard result from harmonic analysis [16].
  • standard math Compound Poisson distributions arise from independent, dilute events
    Section 6.1, Eq. (30): standard result from probability theory [18].

pith-pipeline@v1.1.0-glm · 12874 in / 4154 out tokens · 111869 ms · 2026-07-07T13:02:07.372371+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. The Chiral Random-Matrix Ensemble of the Type-IIB Axion--Dilaton Wormhole Partition Function

    hep-th 2026-07 unverdicted novelty 6.0

    The charge-sector coefficient of the Type-IIB axion-dilaton wormhole partition function is shown to be a chiral Wishart hard-edge limit of the D(-1)/D3 super-ADHM collective-coordinate integral.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages · cited by 1 Pith paper · 4 internal anchors

  1. [1]

    Confining phase of superstrings and axionic strings,

    S.-J. Rey, “Confining phase of superstrings and axionic strings,” Phys. Rev. D43 (1991) 526. 13

    work page 1991

  2. [2]

    Type IIB Axion--Dilaton Wormholes and the BPS Limit Hessian

    S.-J. Rey, “Type IIB Axion–Dilaton Wormholes and the BPS Limit Hessian,” arXiv:2607.01221 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    Quantum coherence down the wormhole,

    S. W. Hawking, “Quantum coherence down the wormhole,” Phys. Lett. B195(1987) 337–343

    work page 1987

  4. [4]

    Particle creation and destruction of quantum coherence by topological change,

    G. V. Lavrelashvili, V. A. Rubakov and P. G. Tinyakov, “Particle creation and destruction of quantum coherence by topological change,” Nucl. Phys. B299(1988) 757–796

    work page 1988

  5. [5]

    Axion-induced topology change in quantum gravity and string theory,

    S. B. Giddings and A. Strominger, “Axion-induced topology change in quantum gravity and string theory,” Nucl. Phys. B306(1988) 890

    work page 1988

  6. [6]

    Wormholes in spacetime,

    S. W. Hawking, “Wormholes in spacetime,” Phys. Rev. D37(1988) 904

    work page 1988

  7. [7]

    Black holes as red herrings: topological fluctuations and the loss of quantum coherence,

    S. Coleman, “Black holes as red herrings: topological fluctuations and the loss of quantum coherence,” Nucl. Phys. B307(1988) 867

    work page 1988

  8. [8]

    Loss of incoherence and determination of coupling constants in quantum gravity,

    S. B. Giddings and A. Strominger, “Loss of incoherence and determination of coupling constants in quantum gravity,” Nucl. Phys. B307(1988) 854–866

    work page 1988

  9. [9]

    Why there is nothing rather than something: a theory of the cosmological constant,

    S. Coleman, “Why there is nothing rather than something: a theory of the cosmological constant,” Nucl. Phys. B310(1988) 643

    work page 1988

  10. [10]

    On constrained instantons,

    I. Affleck, “On constrained instantons,” Nucl. Phys. B191(1981) 429

    work page 1981

  11. [11]

    Duality and axion wormholes,

    E. Witten, “Duality and axion wormholes,” arXiv:2601.01587 [hep-th]

    work page arXiv

  12. [12]

    Positivity of the gravitational path integral implies the axionic weak gravity conjecture

    G. Di Ubaldo, L. V. Iliesiu, H. W. Lin and C. Yan, “Positivity of the gravitational path integral implies the axionic weak gravity conjecture,” arXiv:2605.05305 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    Wormholes and the imaginary distance bound

    J. Maldacena, A. Maloney and B. McPeak, “Wormholes and the imaginary distance bound,” arXiv:2605.05336 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  14. [14]

    Quantum Gravity Cutoff from Axions: A Type IIB Landscape Study

    M. Reece, T. Rudelius and C. Tudball, “Quantum gravity cutoff from axions: a Type IIB landscape study,” arXiv:2606.21650 [hep-th]

    work page internal anchor Pith review Pith/arXiv arXiv

  15. [15]

    Parity conservation in quantum chromodynamics,

    C. Vafa and E. Witten, “Parity conservation in quantum chromodynamics,” Phys. Rev. Lett.53(1984) 535

    work page 1984

  16. [16]

    Monotone Funktionen, Stieltjessche Integrale und harmonische Analyse,

    S. Bochner, “Monotone Funktionen, Stieltjessche Integrale und harmonische Analyse,” Math. Ann.108(1933) 378

    work page 1933

  17. [17]

    The frequency distribution of the difference between two Poisson variates belonging to different populations,

    J. G. Skellam, “The frequency distribution of the difference between two Poisson variates belonging to different populations,” J. R. Stat. Soc. Series A109(1946) 296

    work page 1946

  18. [18]

    Feller,An Introduction to Probability Theory and Its Applications, Vol

    W. Feller,An Introduction to Probability Theory and Its Applications, Vol. II, Wiley, New York (1991). 14

    work page 1991