Search

Problem · methods · timeline

Research programme

A computational programme testing whether asteroid-mass primordial black holes could be all of the dark matter, if they formed in a dust era before reheating.

Updated: 8 October 2026

Goal

To test whether there is a physically realisable region of parameters in which primordial black holes of 10¹⁹–10²⁰ g make up all of the dark matter (fPBH = 1), given that before reheating the Universe went through a dust era — an era of an oscillating heavy scalar field (the inflaton or a modulus). The original problem statement (12 September 2026) also included the field's decay and baryogenesis; see the full problem statement and the programme changes (both in Russian).

The key quantity is the threshold μth(D): the smallest curvature-peak amplitude for which an apparent horizon (a closed surface with θ+ = 0, θ− < 0) forms before the deadline D, the end of the dust era. Through peak statistics the threshold sets the fraction β of collapsing regions and hence the required spectral amplitude Pζ. Black-hole formation is not decided by δ = 1, δlin = 1.686 or a density maximum — only by a trapped surface.

Why Vlasov particles, not the field

The 22 September brief showed that for 10¹⁹–10²⁰ g holes the ratio of the field mass to the Hubble rate q = m/Hk ≥ 3·10⁹ (10¹⁸–10¹⁹ for an inflaton). At such q the scalar field behaves as collisionless matter to ≲ 10⁻⁵, and the right model is the Einstein–Vlasov system. A direct Einstein–Klein–Gordon calculation is affordable only at q ≈ 25–200, where the field forms solitons with no physical counterpart. Our stage 1 confirmed this: the scalar core in 3D bounced off the centre (Kaup limit).

The literature spread is huge: at e = 0.2 the particle runs of Yoo et al. (2026) collapse from μ = 0.05, the analytic hoop estimate gives 0.45, and dust runs crash below 0.95. That spread is worth ~6·10⁴ in β and ~80× in Pζ. For the Yoo profile, the spherical collisionless threshold cannot exceed the LTB value: μV,sph ≤ 0.33 (the causal bound).

Plan and stages

The programme (verification and plan of 23 September, independently re-checked by a second audit):

  • V0 — extend the 3D particle runs of Yoo et al. to 500–1000 tH (a request to the Yoo group, or our own CosmoGRaPH build).
  • V1 — spherical GR Vlasov: the Yoo profile and peak profiles, deadlines 100/300/1000 tH, a velocity-dispersion scan.
  • V1b — spherical EKG at q = 50–1600 with two codes (connecting field and particles).
  • V2/V3 — three-dimensional runs with non-spherical peaks.
Stage What was done Dates Status
Stage A, step 1 spherical Einstein–Vlasov in the polar-areal gauge, X decay, 13–14 tests 12–13 Sep done
V1 horizon-penetrating areal–CMC code; cold and warm maps; convergence 24–28 Sep done
V1: dispersion and profiles Harada/Ebrahimian sources, lognormal and flat-core profiles 27 Sep done
3b Bond–Myers ellipsoid; Newtonian PM-3D for triaxial peaks 27–29 Sep done
PBH-VERIFY-01 the verified diagnostics module sphdiag (derivation → implementation → independent check) 28–29 Sep done
3D, stage 1 GRChombo, scalar field, e = 0 — bounce, no horizon 29–30 Sep closed
3D, stage 2 the PBHVlasov particle module for GRTeclyn; the e = 0 horizon-growth test 30 Sep – 4 Oct done
3D, stage 1b early start from Yoo data; e = 0 confirmed; e = 0.2, μ = 0.3 — horizon 5–8 Oct done
3D, μ grid μ = 0.1 and 0.05 at e = 0.2 and 0.13 8–11 Oct running
Statistics from μth(D; e, p) to β and fPBH — ahead

Methods

Every result climbs a ladder of checks before it enters the map: a homogeneous Universe → the exact LTB solution → static solutions → convergence in grid, particle number and gauge → comparison with an independent code. Horizon formation times are compared in invariant form — by the proper time of the matter at the horizon, not by the coordinate time, which depends on the slicing.

  • 1D: pbhgr (Python + C) — spherical Einstein–Vlasov in the areal–CMC gauge; exact LTB; profiles; Newtonian shells for comparison.
  • Newtonian 3D: the particle-mesh code pbhgr/pm3d.py for triaxial peaks.
  • 3D GR: GRChombo (stage 1, scalar field) and GRTeclyn/AMReX with our particle module PBHVlasov (stages 2 and 1b), up to 7 adaptive mesh levels and 18 million particles.
  • Diagnostics: ray and sphere apparent-horizon searches, the Misner–Sharp mass, constraint residuals; the sphdiag module.

Details are in Code and in the log.

Resources

Machine Use
VPS, 2 vCPU, 3.7 GB 1D campaigns (hundreds of runs of minutes to hours), builds, analysis, this website
Hetzner CCX33, 8 vCPU (4 EPYC Milan cores), 30 GB 3D stages 1, 2, 1b: ≈ 4.75 min per coarse step, ~20 h per run
Hetzner CCX43, 16 vCPU (8 cores), 64 GB + 200 GB volume the current μ grid: 3.4 min per step on 8 cores, ~1 day per run

How we work

  • An open notebook. The computation log records every run, every convergence check and every bug found. Withdrawn results are not deleted; they are marked with the reason.
  • Independent checks. The plan was checked by two independent audits; the literature by five reports; the horizon diagnostic by a pilot with separated roles (derivation, implementation, verification, audit).
  • Comparing invariants. 3D and 1D are compared by the proper time of the matter and the horizon mass, not by slicing-dependent coordinate time.