Hugo SIMON,
PhD student supervised by
Arnaud DE MATTIA and François LANUSSE
Durham, 2026/07
$$\frac{H}{H_0} = \sqrt{\Omega_r + \Omega_b + \Omega_c+ \Omega_\kappa + \Omega_\Lambda}$$
instantaneous expansion rate
energy content
Cosmological principle + Einstein equation
+ Inflation
\(\delta_L \sim \mathcal G(0, \mathcal P)\)
\(\sigma_8:= \sigma[\delta_L * \boldsymbol 1_{r \leq 8}]\)
initial field
primordial power spectrum
std. of fluctuations smoothed at \(8 \text{ Mpc}/h\)
\(\Omega := \{ \Omega_m, \Omega_\Lambda, H_0, \sigma_8, f_\mathrm{NL},...\}\)
inference
\(P\)
\(\Omega\)
\(\delta_L\)
\(\delta_g\)
\(\Omega := \{ \Omega_m, \Omega_\Lambda, H_0, \sigma_8, f_\mathrm{NL},...\}\)
\(\Omega\)
\(\delta_L\)
\(\delta_g\)
inference
Field-level inference
Summary stat inference
\(\Omega\)
\(s\)
\(\delta_g\)
\(\Omega\)
\(\delta_L\)
\(s\)
marginalize
condition
marginalize
\(\Omega\)
\(s\)
\(\delta_g\)
\(\Omega\)
\(\delta_L\)
condition
Cosmo model
\(\mathrm{p}(\Omega,s)\)
\(\mathrm{p}(\Omega \mid s)\)
\(\Omega\)
\(\delta_g\)
\(\mathrm{p}(\Omega,\delta_L,\delta_g, s)= \mathrm{p}(s \mid \delta_g) \, \mathrm{p}(\delta_g \mid \Omega,\delta_L)\, \mathrm{p}(\delta_L \mid \Omega)\, \mathrm{p}(\Omega)\)
\(\mathrm{p}(\Omega,\delta_L \mid \delta_g)\)
\(\mathrm{p}(\Omega \mid \delta_g)\)
\(\delta_g\)
\(\Omega\)
\(\delta_L\)
\(s\)
Cosmo model
Problem:
The Problem:
The Promise:
Field-level inference
Summary stat inference
A drunk man will find his way home, but a drunk bird may get lost forever \((\mathrm p\approx 0.66)\)
🌸 Shizuo Kakutani
\(-\nabla\)
\(d \approx 1\)
🏠
🚶♀️
To maintain constant move-away probability, step-size \(\simeq d^{-1/2}\)
\(d \gg 1\)
🪺
🐦
Hamiltonian Monte Carlo (e.g. Neal2011)
MicroCanonical HMC (Robnik+2022)
>10 times less evaluations required
= NUTS within Gibbs
= auto-tuned HMC
= adjusted MCHMC
= unadjusted Langevin MCHMC
adjusted sampler
unadjusted sampler
= NUTS within Gibbs
= auto-tuned HMC
= adjusted MCHMC
= unadjusted Langevin MCHMC
Mildly dependent with respect to formation model and volume
Probing smaller scales could be harder
MCLMC sampler + field-level preconditioning assuming a linear Kaiser model:
4h on a 8GPU-node for \(128^3\) PM inference
MCLMC + field-level preconditioning:
4h on a GPU-node for \(128^3\) PM inference
\(\approx 10^5\) simulator calls
3 main PNG contributions,
2 options:
Fast and differentiable model in
Fast and differentiable model with
Inferring jointly cosmology, bias parameters, and initial conditions allows full universe history reconstruction
+ preconditioning = \(128^3\) inference in 2h on a single GPU node (Simon+2025)
+
Field-Level Model
\(b\)
\(\delta_g\)
\(\Omega\)
\(\delta_L\)
On \((3\ \mathrm{Gpc}/h)^3\) PNGUnitsim-XL
Recovers true \(f_\mathrm{NL}\) and fitted \(b_1\) assuming fitted \(p_\phi\) (see Santiago's)
$$\mathrm{LRG}\, z=0.74$$ 5% to 30% gain
$$\mathrm{QSO}\, z=1.83$$ 20% to 50% gain
Where does the information come from?
Fit separately and compare:
Next steps:
\(k_\mathrm{Nyq} \approx 0.04\, h/\mathrm{Mpc}\)
Example on LRG SGC footprint
Ongoing:
\(\sigma[f_\mathrm{NL}] \approx 20\), consistent with power spectrum analysis (Chaussidon+2024)
PRELIMINARY\(k_\mathrm{max} \approx 0.04\, h/\mathrm{Mpc}\)
Fast and differentiable model thanks to (\(\texttt{NumPyro}\) and \(\texttt{JaxPM}\))
Fast and differentiable model with
+ field-level preconditioning = \(128^3\) PM inference in 4h on a single GPU node
MicroCanonical sampling
+
Fast and differentiable model with
+ field-level preconditioning = \(128^3\) PM inference in 4h on a single GPU node
MicroCanonical sampling
+
\((\boldsymbol q, \boldsymbol p)\)
\(\delta(\boldsymbol x)\)
\(\delta(\boldsymbol k)\)
paint*
read*
fft*
ifft*
fft*
*: differentiable, e.g. with via \(\texttt{JaxPM}\), in \(\mathcal O(n \log n)\)
apply forces
to move particles
solve Vlasov-Poisson
to compute forces
\(\begin{cases}\dot {\boldsymbol q} \propto \boldsymbol p\\ \dot{\boldsymbol p} = \boldsymbol f \end{cases}\)
\(\begin{cases}\nabla^2 \phi \propto \delta\\ \boldsymbol f = -\nabla \phi \end{cases} \implies \boldsymbol f \propto \frac{i\boldsymbol k}{k^2} \delta\)
\((\boldsymbol q, \boldsymbol p)\)
\(\delta(\boldsymbol x)\)
\(\delta(\boldsymbol k)\)
\(\rm paint\)
\(\rm read\)
\(\rm fft\)
\(\rm ifft\)
*: differentiable, e.g. with via \(\texttt{JaxPM}\), in \(\mathcal O(n \log n)\)
\(\rm apply\ forces\)
\(\rm to\ move\ particles\)
\(\textrm{solve Vlasov-Poisson to}\\ \mathbf{compute\ forces}\)
\(\begin{cases}\dot {\boldsymbol q} \propto \boldsymbol p\\ \dot{\boldsymbol p} = \boldsymbol f \end{cases}\)
\(\begin{cases}\nabla^2 \phi \propto \delta\\ \boldsymbol f = -\nabla \phi \end{cases} \implies \boldsymbol f \propto \frac{i\boldsymbol k}{k^2} \delta\)
Recipe😋 to sample from \(\mathrm p \propto e^{-U}\)
gradient guides particle toward high density sets
scales poorly with dimension
must average over all energy levels
Hamiltonian Monte Carlo (e.g. Neal2011)
Recipe😋 to sample from \(\mathrm p \propto e^{-U}\)
single energy/speed level
let's try avoiding that
gradient guides particle toward high density sets
MicroCanonical HMC (Robnik+2022)
Local-type PNG is constrained by the induced scale-dependent bias
\(\phi_{\mathrm{NL}}=\phi+{\color{purple}f_{\mathrm{NL}}}\phi^{2}\)
\(\delta_g(\boldsymbol k)\simeq\left(b_{1}+ b_\phi {\color{purple}f_\mathrm{NL}}k^{-2} \right) \delta_L(\boldsymbol k)\)
Local-type PNG can be constrained by induced scale-dependent bias of galaxies
\(\phi_{\mathrm{NL}}=\phi+{\color{purple}f_{\mathrm{NL}}}\phi^{2}\)
\(\delta_g(\boldsymbol k)\simeq\left(b_{1}+ b_\phi {\color{purple}f_\mathrm{NL}}k^{-2} \right) \delta_L(\boldsymbol k)\)
Ideal first demonstration for FLI
3 main PNG parameters, 2 options:
Fast and differentiable model in
3 PNG parameters, 2 options:
Fast and differentiable model with
Fast and differentiable model with
\(k_\mathrm{evolve}\)
(LPT, bias)
\(k_\mathrm{paint}\)
\(k_\mathrm{final}\)
\(k_\mathrm{init}\)
$$\sqrt{P_{\delta} / P_{\delta^\mathrm{true}}}$$ = amplitude info
$$P_{\delta,\delta^\mathrm{true}} / \sqrt{P_{\delta}P_{\delta^\mathrm{true}}}$$ = phase info
\({\color{purple}\sigma_0}|1+{\color{purple}\sigma_\delta}\delta_g^\mathrm{det}|\)
Poisson \(\simeq \sigma_0=\sigma_\delta=1\), but fits show sub-Poisson
\(k_\mathrm{nyq} \leq 0.15 h/ \mathrm{Mpc}\)
\(\delta_g \sim \mathcal N(\delta_g^\mathrm{det},\, {\color{purple}❓})\)
\({\color{purple}\sigma_0}(1+{\color{purple}\sigma_{2}}k^2 + {\color{purple}\sigma_{\mu,2}}(\mu k)^2)\)
Negligible for currently probed scales.
Galaxy stochasticity = \(\delta_g^\mathrm{true} -\delta_g^\mathrm{det}\), and we take \(\delta_g^\mathrm{det}\) to be EFT best fit.
\(\sigma^2(\delta^\mathrm{det})\)
On AbacusSummit + HOD mock (\(f_\mathrm{NL}= 0\))
For \(k_\mathrm{nyq} = 0.1\ h/\mathrm{Mpc}\),
\(f_\mathrm{NL} b_\phi\) compatible, but not \(f_\mathrm{NL} b_{\phi \delta}\) nor \(f_\mathrm{NL}\)
For \(k_\mathrm{nyq} = 0.05\ h/\mathrm{Mpc}\), inference compatible with \(f_\mathrm{NL}= 0\).
TBD: posterior calibration tests
\((2\ \mathrm{Gpc}/h)^3,\, \mathrm{LRG}\, z=0.8\)
PRELIMINARYOn \(f_\mathrm{NL}\neq 0\) FastPM + HOD mocks
PRELIMINARY\((2.76\ \mathrm{Gpc}/h)^3,\,k_\mathrm{nyq} = 0.073 h/ \mathrm{Mpc},\\ \mathrm{QSO}\, z=1,\, \operatorname{dim}(\delta_L) = 96^3\)
NOW: validation on AbacusSummit (DESI reference sims) and FastPM + HOD mocks
\((2.76\ \mathrm{Gpc}/h)^3,\,k_\mathrm{nyq} = 0.073 h/ \mathrm{Mpc},\\ \mathrm{QSO}\, z=1,\, \operatorname{dim}(\delta_L) = 96^3\)
PNG, ideal first demonstration of FLI:
PRELIMINARYNext steps:
In prep: Simon+2025
On \(f_\mathrm{NL}\neq 0\) FastPM + HOD mocks (courtesy of Edmond)
PRELIMINARY\((2.76\ \mathrm{Gpc}/h)^3,\,k_\mathrm{nyq} = 0.073 h/ \mathrm{Mpc},\\ \mathrm{QSO}\, z=1,\, \operatorname{dim}(\delta_L) = 96^3\)
PRELIMINARY\((2.76\ \mathrm{Gpc}/h)^3,\,k_\mathrm{nyq} = 0.036 h/ \mathrm{Mpc},\\\, \mathrm{QSO}\, z=1,\,\operatorname{dim}(\delta_L) = 48^3\)
Next steps:
Jonathan Hawla
wasted simulated volume
DESI tracers
Ongoing:
PRELIMINARY(self-specified, ideal setting)
Ongoing:
PRELIMINARY(self-specified, ideal setting)
hsimonfroy.github.io/hollved
Inferring jointly cosmology, bias parameters, and initial matter field allows full universe history reconstruction
million-dimensional inference:
4h on 1 GPU node vs. days/weeks for other codes
= NUTS within Gibbs
= auto-tuned HMC
= adjusted MCHMC
= unadjusted Langevin MCHMC
10 times less evaluations required
Unadjusted microcanonical sampler outperforms any adjusted sampler
10 times less evaluations required
Mildly dependent with respect to formation model and volume
Probing smaller scales could be harder
MCLMC sampler + field-level preconditioning assuming a linear Kaiser model:
4h on a 8GPU-node for \(128^3\) PM inference