Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-05 (gpt-6.1-sol)
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

Physical scope

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 ϕ~I(x,t)=ϕI(t)+δϕI(x,t), I=1,2,3, with background coordinates ϕI=(φ,χ1,χ2), positive diagonal field-space metric GIJ with Gφφ=1, and HHub=a˙/a. On an interval where σ˙:=(GIJϕ˙Iϕ˙J)1/2>0, set σ^I=ϕ˙I/σ˙, lower its index by σ^I=GIJσ^J, define QI=δϕI+(ϕ˙I/HHub)ψ with ψ the scalar spatial-metric perturbation on equal-time slices, and define R:=HHubσ^IQI/σ˙. The source's dimensionless curvature spectrum is PR(k,N):=k3∣Rk(N)∣2/(2π2) for comoving wavenumber k in its Fourier convention, where the source's number of e-folds remaining is N(t):=∫ttendHHub(s) ds=log⁡[a(tend)/a(t)] on its expanding inflationary interval, with a>0, HHub>0 and declared end time tend. Thus dN/dt=−HHub and N(tend)=0. The quoted NCMB=53 labels horizon exit of the CMB pivot mode, not the slice at which the final spectrum is evaluated; the source evaluates that spectrum at N=0. Its isocurvature perturbation is QsI:=(δIJ−σ^Iσ^J)QJ, which has two independent components orthogonal to the three-field trajectory.

For the source's potential splitting V=Vinf(φ)+Vax(φ,χ1,χ2), define Kinf:=φ˙2/2 and Kax:=12∑i=12Gχiχiχ˙i2, and set ρinf:=Kinf+Vinf and ρax:=Kax+Vax. These are energy densities in cosmic time. The source restricts to ρax≪ρinf with ρinf>0; a quantitative use of this regime requires a declared small tolerance δspec∈(0,1) and 0≤ρax/ρinf≤δspec over the stated interval. No numerical tolerance is supplied by the source or certified here. This energy restriction does not impose Kax≪Kinf: 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 V0 rescaled to 2.07×10−9, axion masses M1=M2=8×10−7MPl, decay constants f1=0.1MPl and f2=0.5MPl, and initial fields χi=0.1πfi; their discussion requires an exponentially small nonperturbative prefactor A2≃10−6. They integrate the background and linear curvature/isocurvature perturbation equations and use PyTransport for the reported final spectra, with the CMB pivot exiting NCMB=53 e-folds before the end of inflation. With their adopted PBH-seeding criterion PR(kPBH)>10−3, the axion model has reported peak PR=3.5×10−3 and model-inferred MPBH=2.5×1021 g, while the underlying single-field P2 case remains below the criterion; most of the scanned fi≲0.1MPl 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.

[F1]

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 N=1 suppliers with escalated Step 1 records.

[F2]

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].

[F3]

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.

[F4]

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.

[F5]

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.

[F6]

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 (V0,C2,C3,C4,C5,C6)=(1.89×10−9,0.5,0.2661400,7.00×10−7,0.03911680,0.03575230) before the stated Success-point rescaling. In §5.1 the source writes ϕI(x,t)=ϕI(t)+δϕI and defines QI=δϕI+(ϕ˙I/HHub)ψ, where HHub=a˙/a and ψ is the scalar spatial-metric perturbation on equal-time slices. For positive field-space metric GIJ, it sets σ˙=(GIJϕ˙Iϕ˙J)1/2 and σ^I=ϕ˙I/σ˙. Indices on σ^ are lowered with G. For the three-field Success model, I=1,2,3 and the orthogonal projector is PIJ=δIJ−σ^Iσ^J. The source’s §5.1 Eqs. (5.3)–(5.6) define QsI=PIJQJ, R=HHubσ^IQI/σ˙ and SI=HHubQsI/σ˙. There are two independent entropy components, since σ^ISI=0; in a chosen G-orthonormal normal basis eaI, a=1,2, they are Sa=GIJeaISJ. The later coupled equations for a single S in §5.1 concern the separate two-field limit, not this whole three-field model. Table 5 labels its Success isocurvature output βiso=0.0001 at NCMB=53. 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-S 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 N(t)=log⁡[a(tend)/a(t)]; §3 evaluates the spectrum at N=0, while Tables 4–5 identify the CMB exit by NCMB=53. With its Fourier convention it defines PR(k,N)=k3∣Rk(N)∣2/(2π2) and evaluates the spectrum at the end of inflation. The Fourier modes are defined on the source’s flat FLRW slices; R is its comoving curvature perturbation and is not identified here with the uniform-density curvature ζ of [F4]. It uses PR(kPBH)>10−3 as its adopted PBH-seeding criterion and converts kPBH to a formation mass with γ=0.2 and g∗=106.75. 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.

[A1]

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

1.1givenF1F2F3F4F5A1

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 N=1 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.

1.2F6A1algebra

The paper’s Table 4 gives the stated Success-point masses, decay constants and initial fields, and its discussion gives A2≃10−6; Table 5 reports PR,peak=3.5×10−3 and the model-inferred mass 2.5×1021 g. Since 3.5×10−3>10−3, 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.

2.1F6A1step 1.2∎

The same study reports negligible impact for most scanned sub-Planckian decay constants and identifies the tuned large-f2, 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.

Depends on

Dependency tree · 2 levels

Sources