How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
2026 Fibre Inflation axion-assisted primordial black-hole model study
Source-specific numerical study of a finite-field Type IIB Fibre Inflation EFT with spectator axions. The quoted PBH criterion and model output are theoretical calculations, not observations; no globally consistent compactification, tadpole cancellation, reheating history, or PBH dark-matter abundance is established.
Example
The source's spectator axions are periodic scalar fields in a regime of subdominant background axion energy, specified below. This designation permits an effect on the background trajectory as well as on perturbations. Fibre Inflation here denotes the source's Type IIB K3-fibred Calabi–Yau inflation model. Write its three scalar fields as , , with background coordinates , positive diagonal field-space metric with , and . On an interval where , set , lower its index by , define with the scalar spatial-metric perturbation on equal-time slices, and define . The source's dimensionless curvature spectrum is for comoving wavenumber in its Fourier convention, where the source's number of e-folds remaining is on its expanding inflationary interval, with , and declared end time . Thus and . The quoted labels horizon exit of the CMB pivot mode, not the slice at which the final spectrum is evaluated; the source evaluates that spectrum at . Its isocurvature perturbation is , which has two independent components orthogonal to the three-field trajectory.
For the source's potential splitting , define and , and set and . These are energy densities in cosmic time. The source restricts to with ; a quantitative use of this regime requires a declared small tolerance and over the stated interval. No numerical tolerance is supplied by the source or certified here. This energy restriction does not impose : axion motion may temporarily determine the direction of the background field velocity while the inflaton potential dominates the energy. The source discusses such trajectory changes in its illustrative dynamics; they are not excluded by its use of “spectator”.
Cicoli, Lorenzoni, McDonough and Pedro numerically study two spectator axions in a finite-field Type IIB Fibre Inflation EFT. For their “Success” point they use the single-field P2 potential parameters of their Table 1 with rescaled to , axion masses , decay constants and , and initial fields ; their discussion requires an exponentially small nonperturbative prefactor . They integrate the background and linear curvature/isocurvature perturbation equations and use PyTransport for the reported final spectra, with the CMB pivot exiting e-folds before the end of inflation. With their adopted PBH-seeding criterion , the axion model has reported peak and model-inferred , while the underlying single-field P2 case remains below the criterion; most of the scanned cases have negligible spectral impact. The authors explicitly leave a globally consistent K3-fibred compactification, the required large gauge rank/tadpole cancellation, and reheating unresolved. This is a finite-EFT numerical result, not an observed PBH signal or a global string construction.
Facts & Assumptions
Given: The source paper’s finite-field Type IIB Fibre Inflation ansatz, its specified P2 base parameters and axion data, the paper’s linear perturbation solver and its stated PBH-seeding criterion. Planck units and the authors’ conventions are retained.
Compactification-derived four-dimensional moduli EFT data: the actual draft statement specifies retained chiral coordinates, Kähler potential, superpotential, gauge-kinetic functions, Einstein-frame normalization, truncation range/cutoff and omitted KK, warped-throat, string and open-string modes. Its current Step 1 readiness record is missing. Its proof remains conditional on the O3/O7 chiral-coordinate and large-volume Kähler/gauge interfaces, whose item files exist outside the current run manifest without current Step 1 records, and on two suppliers with escalated Step 1 records.
Admissible nonperturbative sectors contributing to a moduli superpotential: the actual draft statement admits a semiclassical instanton term only with the two universal fermion modes, all additional modes absent/lifted/saturated, a nonzero holomorphic determinant, and gauge-invariant quantized axion charge; gaugino condensation separately requires its specified low-energy gauge dynamics. Its current Step 1 readiness record is missing and it depends on [F1].
Four-dimensional Einstein-frame multi-scalar cosmology EFT data: the four-dimensional scalar data declare the Einstein frame, fields, potential, units, cutoff, omitted modes and approximation domain, without asserting a global string realization.
Primordial scalar and tensor observables for inflation models: primordial scalar/tensor observables are defined for a specified perturbation model and pivot; likelihoods and observations are separate.
Periodic axion EFT data and sources: axion periods, kinetic matrix, canonical normalization, nonperturbative charge/action data and periodic potential are explicit; a monodromy branch is separate data.
Cicoli et al., arXiv:2607.27361v1, relevant passages in §§2–7, article pp. 3–24: §4 Eqs. (33)–(37) define the energy split and impose subdominant axion energy, while Fig. 5 and §5.2 describe temporary axion dominance of the field velocity. Figure 5 uses the Illustrative parameters of Table 3, not the Success parameters of Table 4. P2 has before the stated Success-point rescaling. In §5.1 the source writes and defines , where and is the scalar spatial-metric perturbation on equal-time slices. For positive field-space metric , it sets and . Indices on are lowered with . For the three-field Success model, and the orthogonal projector is . The source’s §5.1 Eqs. (5.3)–(5.6) define , and . There are two independent entropy components, since ; in a chosen -orthonormal normal basis , , they are . The later coupled equations for a single in §5.1 concern the separate two-field limit, not this whole three-field model. Table 5 labels its Success isocurvature output at . The inspected formalism and table do not specify how that scalar label aggregates the two entropy spectra or its normalization; it remains a source-reported solver label here, without identifying it with a single- power fraction or deriving an independent three-field isocurvature bound. Figure 1 and §3 use the number of e-folds before the end of inflation, with ; §3 evaluates the spectrum at , while Tables 4–5 identify the CMB exit by . With its Fourier convention it defines and evaluates the spectrum at the end of inflation. The Fourier modes are defined on the source’s flat FLRW slices; is its comoving curvature perturbation and is not identified here with the uniform-density curvature of [F4]. It uses as its adopted PBH-seeding criterion and converts to a formation mass with and . Tables 4 and 5 give the Success parameters and outputs. These are model calculations; the threshold is not an observed event or universal PBH theorem.
The paper’s finite truncation, flux-dependent coefficients, initial conditions, spectator treatment, linear perturbations and reported numerical solver outputs are adopted only for this model study. No underlying compactification is assumed to exist unless separately constructed.
Verification
The model is specified as a four-dimensional Einstein-frame field datum [F3], with primordial observables interpreted under [F4] and two periodic source/kinetic sectors of [F5]. The actual draft definitions [F1–F2] state the compactification-specific inputs a realization requires, but their current Step 1 readiness records are missing; [F1]'s O3/O7 interface files are outside the current run manifest, and its inputs remain escalated. Therefore the example is conditional on the source's finite EFT data and does not claim that those geometric, zero-mode or global-control conditions have been accepted or established locally.
The paper’s Table 4 gives the stated Success-point masses, decay constants and initial fields, and its discussion gives ; Table 5 reports and the model-inferred mass . Since , the reported Success spectrum exceeds the paper’s adopted PBH-seeding threshold. This comparison reproduces the paper’s numerical criterion; it is not a detection or an independent recalculation of its perturbation solver.
The same study reports negligible impact for most scanned sub-Planckian decay constants and identifies the tuned large-, small-prefactor region as the enhancing case; its §7 leaves the global high-rank/tadpole construction and reheating for future work. The conclusion therefore remains restricted to that finite-EFT numerical study.