Alphabeta Math
Pipeline-generated
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.

Regulated soft coherent photon-count prediction — Examples

1 · Prerequisites

2 · Summary

This companion applies the regulated coherent-state count law to one prescribed velocity change, then records the authors' 2022 electron magnetic-moment determination and an exact affine subtraction of its reported ratio. The first result is a calculation for a prepared free state. The experiment entry preserves the source's apparatus, correction procedure, weighted field determinations, stated uncertainty, and correlation limits. The final theorem carries those qualifications through subtraction and makes no theoretical comparison.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-generatedVerification: AI-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

One-charge soft photon count example

Physical scope

An exact numerical specialization of the prescribed-current positive free coherent-state model and finite-cutoff photon-count prediction. It describes a prepared model state, not an observed or simulated emission event.

Example

Use the one-charge prescribed current of Regulated soft coherent photon-count prediction with final velocity v=12 along z^. Choose any upper photon-energy cutoff Λ>0 in joules and set λ=Λ/e, where e is Euler's number. The angular coefficient is C=απ(2log⁡3−2)>0. The exact cutoff coherent state therefore has mean photon count C, vacuum probability e−C, and mean photon energy CΛ(1−e−1) joules. Each halving of λ increases the mean count by Clog⁡2; the mean energy remains bounded and tends to CΛ as λ↓0. These are model predictions for the prepared free state.

Facts & Assumptions

Given: Countable Choice, the coupling normalization, and the conditional count law and energy formula of Regulated soft coherent photon-count prediction.

[A1]

Countable Choice ACω is carried by The Axiom of Countable Choice (ACω) and by the conditional theorem used here.

[F1]

QFT example units, metric, gauge, and pairing conventions: gem2=4πα with gem>0; α is a positive dimensionless coupling, distinct from the electron gyromagnetic factor.

[F2]

Regulated soft coherent photon-count prediction: for 0<v<1 the prescribed one-charge current has C(v)=απ(v−1log⁡((1+v)/(1−v))−2)>0; at cutoffs 0<λ<Λ, pn=e−Clog⁡(Λ/λ)(Clog⁡(Λ/λ))n/n! and the mean photon energy is C(Λ−λ) joules. The claim concerns the constructed free state, not full interacting-QED emission.

Verification

Given: [A1], [F1]–[F2], v=12, Λ>0, and λ=Λ/e.

1.1A1F1F2algebra

Substituting v=12 into [F2] gives C=(α/π)(2log⁡3−2)>0, and log⁡(Λ/λ)=log⁡(e)=1. Thus the mean count is C, p0=e−C, and the general count formula specializes to pn=e−CCn/n!.

2.1F1F2algebra∎

Since λ=Λ/e, the energy formula in [F2] gives C(Λ−λ)=CΛ(1−e−1) joules. After j successive halvings, λj=Λe−12−j, so log⁡(Λ/λj)=1+jlog⁡2 and the mean count is C(1+jlog⁡2). The mean energy is C(Λ−λj)→CΛ and [F2] gives no Fock-vector or projective-ray limit when C>0. These remain predictions for the prescribed current and prepared free state.

ExperimentStatement: Literature-sourcedProof: Not applicable‡ sources checked 2026-10-15Open item page →

Fan2022 reported electron magnetic-moment determination

Physical scope

The source-reported 2022 one-electron cryogenic Penning-trap determination, including alternating quantum-jump trials, fitted and corrected frequencies, eleven weighted field determinations, and cavity and broadening analysis. The raw trials, covariance matrix, and weights are not reconstructed here.

Setup

The primary report is X. Fan, T. G. Myers, B. A. D. Sukra, and G. Gabrielse, “Measurement of the Electron Magnetic Moment,” arXiv:2209.13084v2 (7 December 2022), published as Physical Review Letters 130, 071801 (2023). It reports a one-electron quantum cyclotron in a cylindrical silver-electrode Penning trap. A magnetic field near 5.3 T and an electrostatic quadrupole potential confine the electron; the source describes a nominal 50 mK trap on a 4.2 K solenoid and a cavity cooled below 100 mK. The axial detection amplifier heats the axial motion to a source-reported Tz≈0.5 K; this is distinct from the nominal trap temperature.

The source defines the magnetic moment ratio by −μ/μB=g/2, with μB=eℏ/(2m). Here e>0 is the elementary-charge magnitude in coulombs, ℏ is the reduced Planck constant in joule-seconds, and m>0 is the electron rest mass in kilograms; accordingly μB has SI unit A m2 (equivalently J/T). The electron charge is −e. This item denotes the reported dimensionless electron gyromagnetic ratio as gs/2, distinguishing it from the QFT coupling gem in Example observable types and scoped meanings. The exact finite-regulator, formal-coefficient, and source-reported estimate types are those in Example observable types and scoped meanings.

The ideal linear model Ideal linear Penning mode-frequency invariant gives a conditional sum-of-squares identity for its complete stable mode spectrum. That lemma is an ideal model supplier. The reported apparatus analysis additionally applies relativistic-frequency and cavity corrections and is not reconstructed from the ideal identity alone.

Procedure

The authors infer g/2 from spin and cyclotron frequencies, using the anomaly frequency νa=νs−νc and the ratio g/2=1+νa/νc. The report gives trap-modified frequencies near νˉc=149 GHz, νˉa=173 MHz, and νˉz=114 MHz at the stated field. It uses the Brown–Gabrielse invariance relation to obtain the free cyclotron frequency, then a corrected ratio involving fitted frequencies, the relativistic shift, and an added cavity shift.

Cyclotron and anomaly quantum-jump trials are alternated. Each begins by preparing the spin-up cyclotron ground state and applying one second of magnetron sideband cooling. Cyclotron transitions are driven for five seconds with excitation kept below 20 percent to limit saturation; anomaly transitions are driven for 30 seconds. Axial-frequency shifts detect the spin and cyclotron jumps. The authors fit measured line shapes to infer the relevant frequencies and correct magnetic-field drift with a quadratic fit. Their cyclotron line-shape fit includes Gaussian broadening to accommodate a reported mismatch between the predicted and observed cyclotron line shape.

The cavity correction uses measured mode frequencies and quality factors. The report describes three consistent measurement methods and a renormalized calculation that subtracts ideal contributions for 72 modes and adds back contributions using measured mode frequencies and quality factors. The leading cavity-shift uncertainty is attributed to field modifications from cavity imperfections and misalignment.

Observations

The authors report the weighted average of eleven cavity-corrected determinations: −μμB=g2=1.00115965218059(13). They state that the parenthetical digits give a 1σ uncertainty of 1.3×10−13 in this dimensionless ratio. The reported consistency across the eleven field settings is a source observation; this item does not turn it into a proof of QED or of the apparatus model.

Uncertainty

The paper's uncertainty table lists, in units of 10−13, statistical 0.29, cyclotron broadening 0.94, cavity correction 0.90, nuclear paramagnetism 0.12, anomaly power shift 0.10, magnetic-field drift 0.09, and total 1.3. The authors treat cavity uncertainties as correlated for nearby field settings and do not recommend averaging this determination with their 2008 result because correlations between similar methods are difficult to determine. This record preserves the authors' stated 1σ uncertainty without treating it as a posterior probability or asserting Gaussian, independent, or frequentist-coverage assumptions. The raw trial record, full covariance matrix, and weights are not reconstructed here.

Interpretation

This item records the source-reported estimate and its stated apparatus, analysis, and uncertainty qualifications. The paper separately compares the measurement with a Standard Model prediction that uses QED coefficients and independent inputs; that calculation and comparison are outside this record. The estimate is not an exact constant, and agreement with a theory is not a deductive proof of that theory.

Physics theoremStatement: Literature-sourcedProof: AI-adaptedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)Open item page →

Qualified reported anomaly by exact affine subtraction

Physical scope

Exact affine derivation from the 2022 reported one-electron Penning-trap estimate. The anomaly inherits the source's apparatus, correction, 11-field weighting, stated 1 sigma uncertainty, correlation caveat, and omitted-data limitations; no theory comparison or new statistical inference is made.

Statement

Let the source-reported dimensionless ratio be denoted gs/2^:=−μ^/μB, where μB=eℏ/(2m) is the Bohr magneton, with e>0 the elementary-charge magnitude in coulombs, ℏ the reduced Planck constant in joule-seconds, and m>0 the electron rest mass in kilograms, as specified in Fan2022 reported electron magnetic-moment determination. The hat marks an empirical estimate, not an exact constant. Define the derived dimensionless anomaly estimate a^e:=gs/2^−1. Under the empirical premise from Fan2022 reported electron magnetic-moment determination, whose reported central value is gs/2^=1.00115965218059, exact subtraction gives a^e=0.00115965218059. The source-stated 1σ uncertainty remains 1.3×10−13, and all apparatus, correction, weighting, correlation, and source-data qualifications of the experiment remain in force. This is only an affine transformation of a reported estimate; it supplies no comparison with a theoretical prediction.

Facts & Assumptions

Given: The empirical premise and its reported qualifications in Fan2022 reported electron magnetic-moment determination.

[F1]

Fan2022 reported electron magnetic-moment determination: the authors report −μ/μB=g/2=1.00115965218059(13) as the weighted average of eleven corrected field determinations; they state a 1σ uncertainty of 1.3×10−13 and note correlated nearby-field cavity uncertainties. The report's raw trials, covariance matrix, and weights are not reconstructed here.

[A1]

The reference value 1 in a^e=gs/2^−1 is exact and dimensionless.

Proof

Given: [F1], [A1], and the definition of a^e in the Statement.

1.1givenF1A1algebra

Subtracting the exact reference gives a^e=1.00115965218059−1=0.00115965218059.

2.1F1step 1.1algebra∎

If the reported ratio is shifted from its central value by any deviation δ, subtracting the same exact 1 leaves that deviation unchanged. Therefore the source-stated 1σ uncertainty remains 1.3×10−13, with the same measurement conditions, correction, weighting, correlation caveat, and omitted raw-data limitations from [F1]. No sampling distribution or theory comparison is introduced.

Sources