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

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}_ν). 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_ν[b]). The wormhole partition function in the theta variable is (Z_{\rm wh}(θ;b)=\sum_νW_ν[b]\e^{iνθ}). 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-(θ) domains, charge-lattice tails, and the dilute Bessel/Skellam limit. The (θ)-dependence of the wormhole partition function is the Fourier transform of the charge-sector scalar coefficients.

• The paper establishes a rigorous charge-sector construction of the Type-IIB axion–dilaton wormhole partition function through a sequential reduction process.
• It employs semiclassical saddle evaluations and operator coefficient reductions to isolate physical parameters and clarify underlying symmetry constraints.
• Analytic bounds, positivity tests, and multi-axion generalizations validate the framework, shaping prospects for microscopic wormhole studies.

Charge-Sector Framework for the Type-IIB Axion–Dilaton Wormhole Partition Function

Semiclassical Input and Charge-Sector Reduction

This paper rigorously formulates the Type-IIB axion–dilaton wormhole partition function via a charge-sector expansion, establishing a sequential analytic workflow from semiclassical saddle evaluation in a fixed axion charge sector to the construction of a partition function in the compact theta variable. The approach isolates the matrix-valued coefficient $C_\nu^{ij}$ arising in the two-end operator term, with labels $i, j$ indexing end-insertion operators and $A, B$ indexing parent universes. Reduction data $b$ are applied to $C_\nu^{ij}$, converting it into the scalar coefficient $W_\nu[b]$, which in turn supplies the weight in the Fourier–theta decomposition,

$$Z_{\rm wh}(\theta;b)=\sum_\nu W_\nu[b]^{i\nu\theta}.$$

Figure 1 illustrates the geometric and operational entities utilized: the two-ended throat geometry, the neck-cut geometry with explicit neck boundary conditions, and the algebraic two-end operator term with its coefficient matrix structure. This systematic decomposition and reduction is central to resolving ambiguities inherent in previous formal treatments of wormhole amplitudes and in making charge-sector information explicit prior to the theta expansion.

Figure 1: The three geometric/operator constructions — two-ended throat, neck-cut geometry, and two-end operator term — clarify the analytic sequence from semiclassical input to coefficient reduction.

Figure 2 captures the transition from the unreduced operator coefficient $C_\nu^{ij}$ through the reduction operation to the scalar coefficients summed in the partition function. Here, the distinction between end-insertion operator labels and parent universe labels is explicit, reinforcing the necessity of reduction data specification for physical interpretation.

Figure 2: Schematic flow from two-end coefficient matrix $C_\nu^{ij}$ and reduction data $b$ to the scalar $i, j$0 and the summed wormhole partition function $i, j$1.

Symmetry Covariance, Phase Structure, and Reduction Hierarchy

Analyzing symmetry and covariance, the paper presents conditions under which discrete spacetime symmetries act on both charge labels and reduction data, leading to fundamental constraints on scalar coefficients:

$i, j$2

for discrete operations $i, j$3. With invariant reduction data, this simplifies to a reality condition across charge sectors, e.g., $i, j$4, establishing phase relations and the possibility for shifted cosine potentials at each charge sector.

The reduction hierarchy is formalized via a sequence:

$i, j$5

reminding that symmetry, phase, and positivity are properties assigned only after reduction operations are executed.

Positivity, Bounds, and Analyticity Constraints

The paper proposes strong numerical and analytic tests on the coefficient sequence and its matrix antecedent. Absolute-value bounds are established for complex coefficient sequences,

$i, j$6

prior to imposing any positivity or symmetry assumptions. For positive reductions, scalar coefficients $i, j$7 permit interpretation in terms of probability distributions and enable moment positivity characterized by Bochner-type inequalities:

$i, j$8

where $i, j$9 is defined relative to normalized coefficients.

Quadratic-form positivity for $A, B$0, prior to reduction, yields Cauchy–Schwarz constraints:

$A, B$1

This test provides additional analytic control, supplementing moment positivity and bounding correlations among source insertions.

Complexification of the theta variable and charge tail estimates delimit the absolutely convergent analytic domain. The convergence strip is dictated by exponential falloff rates $A, B$2 in the large-charge tail,

$A, B$3

with the validity of the coefficients for complexified boundary data a necessary precondition.

Multi-Axion Generalization and Dilute Limit

The framework generalizes seamlessly to multiple axions, with charge sectors indexed by a lattice $A, B$4 and compact variables $A, B$5, expanding analytic and symmetry reach in axiverse scenarios. The convergence and positivity tests become directionally sensitive, determined by rate functions $A, B$6 across the charge lattice, underscoring the role of microscopic coefficient calculations in multi-axion physics.

In the dilute limit, under positivity, independence, charge symmetry, and unit-charge dominance, the characteristic function becomes a compound Poisson/Bessel form:

$A, B$7

with the charge distribution reducing to the Skellam law,

$A, B$8

explicitly exhibiting how physical assumptions restrict the analytic structure of the partition function.

Implications and Outlook

Practical and theoretical implications center on the necessity of specifying reduction data, symmetry properties, and analytic control prior to interpreting the wormhole partition function. The coefficient-level analysis offers new granularity in linking semiclassical saddles to observable partition functions, guiding future microscopic evaluations to determine which physical regime — formal Fourier series, signed/complex expansion, positive moment function, or marginal of a positive quadratic form — is realized.

Speculatively, the approach prepares a rigorous foundation for ongoing explorations of the axion landscape, multi-axion quantum gravity, and the analytic properties of partition functions under complexified boundary conditions and specific positivity constraints. The full microscopic computation of $A, B$9 and its charge tail will be decisive in resolving duality, cutoff, and positivity conjectures now prevalent in axion–wormhole theories.

Conclusion

The paper defines the Type-IIB axion–dilaton wormhole partition function as a compact theta expansion over reduced charge-sector coefficients, systematically analyzing symmetry constraints, phase structure, positivity, analytic bounds, and convergence properties. The coefficient hierarchy elucidated clarifies the physical and mathematical role of reduction data and provides precise analytic tests applicable across single and multi-axion cases. The dilute Bessel structure emerges only after a chain of symmetry and positivity assumptions. The results set a robust analytic basis for future detailed microscopic studies and for discriminating among competing physical interpretations of wormhole-induced axion dynamics.