Test 27 — Axion / ALP Misalignment and Defect Test
If the framework's technical program ever invokes an axion-like field, does its relic abundance — from vacuum misalignment, and from any cosmic-string/domain-wall network if the Peccei-Quinn-like symmetry breaks after inflation — land somewhere viable, and does its isocurvature signature (if the symmetry instead breaks before or during inflation) stay under the Planck bound?
Here is a rare one where the honest answer is we don't know yet — and that turns out to be the interesting part. Axions are a beautiful idea for what dark matter might be: a whisper-light field that gets nudged off-center in the first instant and then rings like a struck bell, its energy adding up to exactly the dark matter we measure. The standard recipe works cleanly. But it only works after you write down, by hand, how far off-center the field started — a single number, the misalignment angle θi, that nobody derives from anything deeper.
This framework does not fix that. It has not yet built a specific axion-like field, so it produces no decay constant of its own, no mass, no starting angle — and therefore no distinctive relic-abundance or isocurvature number to lay beside the measurement. The Ωch² = 0.120 in the comparison is the measured dark-matter density that any successful axion scenario has to hit, on either road; it is a target both sides consume, not a value this framework reproduced on its own.
So the honest call is Indeterminate, and it is Indeterminate for everyone. The framework does not contradict standard axion cosmology — it simply inherits the same empirical starting angle and stays inside the same allowed window. There is no clash to report, and, just as truthfully, no independent triumph. When a concrete axion field is built and forced to name its own θi, mass, and coupling, this row will finally have a number to test. Until then, it stays honestly open.
1. Verdict
The number, both ways
- Number we’re testing
- The cold-dark-matter density an axion population would have to supply (Ω_c h²) via misalignment + string/domain-wall defects, plus the isocurvature bound
- Standard cosmology
- Misalignment-and-defect production is consistent with the data once θ_i is put in by hand; post-inflationary DM-saturating window f_a ≈ (0.5–4) × 10^10 GeV (m_a ≈ 40–500 μeV); pre-inflationary branch requires H_inf ≲ 10^7 GeV (f_a/10^11 GeV)^0.4
- This framework (granularity)
- No specific axion-like field, decay constant, or starting angle has been built yet — no distinctive number of its own; reads the misalignment angle θ_i as the same empirical input everyone uses
- Measured
- Ω_c h² = 0.120 ± 0.001 (Planck 2018); isocurvature β_iso < 0.038 (95% CL, Planck 2018); r < 0.036 (95% CL, BICEP/Keck 2021)
- Agreement
- Routes agree — the whole axion viability window is open and consistent on both roads; measurement pending — no axion detected yet, and the misalignment angle θᵢ remains an empirical input. (consistency check — shared inputs)
Check the source → the calculation shown on this page (Data Used · Calculation Summary)
Agrees with existing models. We haven't named a specific axion-like field yet, so there's no distinctive relic-abundance or isocurvature number of our own to compare to data. But the question this test actually asks — is the standard misalignment-and-defect machinery a viable route to dark matter at all? — checks out cleanly against Particle Data Group 2024 and Planck 2018 data, with room to spare. If a future version of the geometry does produce a compactification-residue axion-like field, this is the slot it would need to fit into, and the slot is open and healthy. The one input nobody derives — the initial misalignment angle \(\theta_i\) — is treated as empirical here exactly as it is in standard axion cosmology, so that's not a strike against us specifically.
2. Tested Claim
The precise granularity claim under test: if axion-like fields appear in this framework's technical program (e.g., as a compactification modulus/axion arising from a higher-dimensional form field, as is generic in string- and Kaluza-Klein-type constructions), then their relic abundance and any associated topological-defect history (cosmic strings from a broken global \(U(1)\)-like symmetry, and domain walls if the low-energy theory has a discrete domain-wall number \(N_{DW}>1\)) must not overproduce or underproduce dark matter relative to the measured value, must not violate isocurvature bounds if the symmetry breaks before or during inflation, and must not leave a stable domain-wall network that would come to dominate the energy density (the cosmological domain-wall problem). This is a generic viability gate on any future axion-like proposal, not a check of an existing framework prediction.
3. Data Used
- Misalignment relic-abundance formula (post-inflationary and pre-inflationary PQ breaking): Particle Data Group, "Axions and Other Similar Particles," Review of Particle Physics 2024, Phys. Rev. D 110, 030001 (2024) (pdg.lbl.gov/2024/reviews) — anharmonic-corrected misalignment formula \(\Omega_a h^2 \approx 0.12\,\langle\theta_i^2 F(\theta_i)\rangle\,(f_a/5\times10^{11}\,\text{GeV})^{7/6}\), with \(F(\theta)\to1\) for \(\theta_i \lesssim \pi/2\) and \(F(\theta)\) growing via the anharmonic (hilltop) correction as \(\theta_i \to \pi\).
- Post-inflationary (string + wall network) relic abundance: Klaer & Moore (2017), "The dark-matter axion mass," JCAP 11 (2017) 049 (arXiv:1708.07521), and Buschmann et al. (2022), "Dark matter from axion strings with adaptive mesh refinement," Nat. Commun. 13, 1049 (arXiv:2108.05368) — lattice simulations of the post-inflationary axion-string network give a decay constant that saturates the observed dark-matter density in the range \(f_a \approx (0.5\text{–}4)\times10^{10}\,\text{GeV}\) (equivalently \(m_a \approx 40\text{–}500\,\mu\text{eV}\)), with the string-and-wall contribution comparable to or several times the pure vacuum-realignment contribution — the precise numerical prefactor remains debated between simulation groups (a factor of a few), flagged honestly rather than rounded to a single number.
- Dark matter relic density (target): Planck 2018 (Planck Collaboration, Aghanim et al., "Planck 2018 results. VI. Cosmological parameters," A&A 641, A6, 2020) — \(\Omega_c h^2 = 0.120\pm 0.001\) (cold dark matter), the value any axion relic abundance must reproduce if axions are to be all of dark matter.
- Isocurvature bound (pre-inflationary / symmetry-breaking-during-inflation case): Planck 2018 results X, "Constraints on inflation," A&A 641, A10 (2020) — uncorrelated cold dark-matter isocurvature fraction \(\beta_{iso} < 0.038\) (95% CL, Planck TT,TE,EE+lowE+lensing); translated in the axion-cosmology literature (e.g., Ballesteros et al. 2016, JCAP 08 (2017) 001, arXiv:1610.01639; Marsh 2016, Phys. Rept. 643, 1, arXiv:1510.07633) into a bound on the inflationary Hubble scale \(H_{inf} \lesssim 10^{7}\,\text{GeV}\,(f_a/10^{11}\,\text{GeV})^{0.4}\) when axions are all of dark matter and the Peccei-Quinn-like symmetry is already broken during inflation.
- Domain-wall-number bound: Sikivie (1982), Phys. Rev. Lett. 48, 1156, and subsequent literature — a domain-wall number \(N_{DW}>1\) after post-inflationary breaking produces a stable wall network that overcloses the universe unless a wall-destabilizing operator is added; this is the standard "domain-wall problem," reflected in the failure criteria below.
- Tensor-to-scalar-ratio cross-check on \(H_{inf}\): BICEP/Keck 2021, Phys. Rev. Lett. 127, 151301 (2021) — \(r<0.036\) (95% CL) bounds \(H_{inf}\) directly via \(H_{inf} \approx 6\times10^{13}\,\text{GeV}\,(r/0.01)^{1/2}\), independent of any axion assumption; used here only as a cross-check that the isocurvature-derived \(H_{inf}\) bound above is far below (not in tension with) the tensor-mode bound.
4. Calculation Summary
Step 1 — before or after inflation. Two branches, both carried through since the framework does not currently specify which applies (no compactification-residue axion field has been named):
Branch A — PQ-like symmetry breaks after inflation (post-inflationary). \(\theta_i\) is randomized independently in each causally disconnected Hubble patch, so the effective \(\langle\theta_i^2 \rangle\) is fixed by the statistics of a uniform \([-\pi,\pi]\) distribution (\(\langle\theta_i^2\rangle = \pi^2/3 \approx 3.29\)), and a network of cosmic strings (and domain walls, if \(N_{DW}>1\)) forms and decays, adding a comparable-order relic contribution on top of vacuum misalignment. Using the PDG formula with \(\langle\theta^2 F\rangle \sim \mathcal{O}(1\text{–}10)\) (vacuum misalignment piece alone) and requiring \(\Omega_a h^2 = 0.120\): \[ 0.120 \approx 0.12\times\langle\theta^2F\rangle \times\left(\frac{f_a}{5\times10^{11}\,\text{GeV}}\right)^{7/6} \ \Rightarrow\ f_a \sim \text{few}\times10^{10}\text{–}10^{11}\,\text{GeV (misalignment alone)}. \] Including the lattice-simulated string-and-wall contribution (Klaer & Moore 2017; Buschmann et al. 2022) shifts the DM-saturating value down to \(f_a\approx(0.5\text{–}4)\times10^{10}\,\text{GeV}\) (\(m_a\approx 40\text{–}500\,\mu\text{eV}\)) — the currently favored target range for post-inflationary QCD axion dark matter, with the residual factor-of-a-few spread reflecting genuine, acknowledged disagreement between simulation groups on the string-network's radiated-power spectrum, not a framework input.
Branch B — PQ-like symmetry breaks before or during inflation (pre-inflationary). \(\theta_i\) is a single, undetermined constant across the observable universe — an initial condition, not a statistical average — and isocurvature fluctuations \(\delta\theta \sim H_{inf}/(2\pi f_a)\) are imprinted. Requiring the resulting CDM isocurvature fraction stay under the Planck bound \(\beta_{iso}<0.038\) gives \[ H_{inf} \lesssim 10^{7}\,\text{GeV}\left(\frac{f_a}{10^{11}\,\text{GeV}}\right)^{0.4}, \] which for \(f_a\sim10^{11}\)–\(10^{12}\,\text{GeV}\) (misalignment-only DM-saturating range for \(\theta_i\sim\mathcal{O}(1)\)) requires \(H_{inf}\lesssim10^{7\text{–}7.5}\,\text{GeV}\) — a low-scale inflation requirement, far below the BICEP/Keck 2021 tensor-mode bound \(H_{inf}<6\times10^{13}\,\text{GeV}\,(0.036)^{1/2}\approx1.1\times10^{13}\,\text{GeV}\), so the two bounds do not conflict; the isocurvature bound is simply the tighter of the two in this branch.
Domain-wall check: if the low-energy effective theory yields \(N_{DW}=1\) (as in the KSVZ axion with a single heavy-quark multiplet), the wall network is unstable and decays without a domain-wall problem; if \(N_{DW}>1\) (as in DFSZ-type constructions), an explicit PQ-breaking operator must be added to destabilize the walls, or Branch B (pre-inflationary, no walls at all after reheating) must apply. This framework does not currently specify which case its (not-yet-built) axion-like sector would fall into, so this check is pre-registered as a requirement on any future proposal rather than resolved.
Record check: the fossil record is the measured cold dark-matter density itself (\(\Omega_c h^2=0.120\), Planck 2018) plus, if axions are not all of dark matter, direct/indirect axion-search null results (haloscopes, helioscopes) that bound \(g_{a\gamma\gamma}\) and \(m_a\) independently — not cited in numerical detail here since the framework does not name a coupling to compare.
Cross-epoch consistency: neither branch, at the parameter values that saturate the observed dark-matter density, disturbs BBN (Test 23), \(N_{eff}\) (Test 22), or the CMB acoustic-peak fit (Test 31) — axion dark matter is cold and pressureless by the time of matter-radiation equality regardless of production channel, so it enters those tests identically to any other cold dark matter candidate.
5. Granularity Interpretation
On the framework's reading, the PQ-like symmetry-breaking scale is the window at which a would-be continuous field-space distinction (the axion's angular direction on its vacuum manifold) becomes a newly stable, coherently oscillating, cold and recordable distinction once the field's mass turns on near the QCD scale (\(3H(T_*)\approx m_a(T_*)\)) — the same "freeze/oscillation onset" pattern used elsewhere in this test suite (e.g. Test 25, WIMP freeze-out) but for a bosonic field rolling rather than a particle species decoupling. The string-and-wall network, where it exists, is the framework's example of a *topological* distinction (winding number) that is real and countable but only conditionally recordable — it must decay away before dominating the energy density, or it becomes an excluded "false record" (the domain-wall problem). Because no specific field has been named yet, this test currently identifies only the *shape* of the granularity window an axion-like proposal would have to fit into, not a filled-in instance of it.
6. Gate Routing
This test informs the field-to-relic granularity gate. It stays open as a pre-registered constraint for any future compactification-residue axion-like proposal in the technical program, and cross-links to Test 12 (Primordial Isocurvature), Test 14/15 (Monopole/Defect production and dilution — shares the topological-defect machinery), Test 19/20 (QCD confinement/lattice EoS — sets the QCD-scale mass turn-on), and Test 25/26 (Dark Matter Freeze-Out/Freeze-In — the axion is a third, non-thermal production channel alongside those two).
7. Failure Mode
This test did not fail — nothing here is in conflict with data — but it also isn't a finished, distinctive result, because we haven't yet named an axion-like field, its decay constant, or its misalignment angle. Specific failure modes pre-registered for a future proposal:
- Wrong relic density: a future proposal that fixes \(f_a\) and \(\theta_i\) (or a specific compactification modulus interpreted as an axion) without checking \(\Omega_a h^2\) against \(0.120\pm0.001\) (Planck 2018) would fail this test outright.
- Excluded isocurvature: a proposal placing PQ-like breaking before or during inflation at \(H_{inf}\) above the \(\beta_{iso}<0.038\) bound (Planck 2018) for its stated \(f_a\) would be ruled out by data, not just left open.
- Unstable/stable wall confusion: a proposal with \(N_{DW}>1\) and post-inflationary breaking that does not supply an explicit wall-destabilizing mechanism would overclose the universe and fail (the classical domain-wall problem).
- Field-versus-particle confusion: treating the axion field's existence as a Lagrangian degree of freedom as automatically equivalent to a stable, recordable dark-matter relic, without running the misalignment/defect abundance calculation, would be exactly the "field-theoretic degree of freedom confused with a stable, recordable particle" failure mode the guardrails name explicitly.
8. Next Action
Data lookup and derivation, not yet performed: (a) if and when the technical program names a specific compactification-residue field as an axion-like candidate, compute its decay constant \(f_a\) and coupling from the geometry, and re-run this exact misalignment/defect/isocurvature check with that distinctive number rather than the generic PDG/Planck window used here; (b) determine, from the geometry's discrete symmetry content, whether any such candidate would have domain-wall number \(N_{DW}=1\) or \(>1\), since this is a hard pass/fail branch, not a continuous parameter; (c) until that construction exists, this test stands as a pre-registered, healthy viability check rather than a finished calculation — the missing piece (a named field) is a modeling choice not yet made, not a calculation not yet finished.
Bottom line
All the machinery checked here — misalignment abundance, string/wall relic contributions, the isocurvature bound, the domain-wall problem — is standard axion cosmology, inherited wholesale and unmodified, and it agrees with the data (Particle Data Group 2024; Planck 2018). We haven't yet added a distinctive axion field, decay constant, or prediction of our own to check against that backdrop. Plainly: the initial misalignment angle is, and remains, an empirical input in every version of this calculation — ours included, whenever we eventually propose one.
← Back to the granularity test suite ← Back to Early & Distant Universe