The environment-dependent IMF Marks et al., 2012Jeřábková et al., 2018 predicts that metal-poor, massive clusters form top-heavy — a shallower high-mass slope . This demo asks the inverse question honestly: given a present-day stellar mass spectrum, what about the cluster’s birth conditions can you actually recover? The answer is a sharp two-part contrast.
The forward model¶
BirthEnvironment carries three birth parameters — metallicity ,
embedded-cluster mass , and star-formation efficiency
— and env_to_imf_params (the Jerabkova generalized relation) maps
them to the high-mass IMF slope , holding the low-mass slopes at their
canonical Kroupa Kroupa, 2001 values. The truth here is a metal-poor,
massive cluster:
— strongly top-heavy versus the canonical . We sample stars from this IMF and ask what they reveal.
Inputs and assumptions¶
The fit recovers one parameter, the high-mass IMF slope . The three birth-environment axes are the scientific quantities of interest, but — as the next sections show — they are not individually recoverable; they are held at truth and enter only through .
Table 1:Model inputs
Input | Meaning and role | Status (fiducial) |
|---|---|---|
High-mass IMF slope — the one observable, read from the masses via ( | recovered (truth ) | |
, , sfe | The three | known / fixed at truth ( |
Canonical (Kroupa) slope the top-heavy detection is measured against (sets for the forecast). | known / fixed ( | |
IMF (low-mass) | Maschberger low-mass slopes/bounds held canonical; | known / fixed |
Number of sampled stars; sets the Fisher normalization and the precision floor. | known / fixed (105) | |
| Adam steps (400), empirical-CRLB draw size (104), seeds, the rank-deficiency condition gate (108), recovery pull gate (). | numerical choices |
What you CAN read off the masses: ¶
A direct maximum-likelihood fit of the high-mass slope (the per-star IMF log-likelihood , differentiable in ) recovers it cleanly:
quantity | truth | recovered |
|---|---|---|
1.6247 | (pull ) |
The uncertainty scales as the textbook , and we validate the Cramér–Rao bound empirically: refitting on independent -star draws gives a measured scatter 0.0144 against the analytic CRLB 0.0170 (ratio 0.85, within the 12-sample noise). At a realistic complete sample the top-heavy slope is a detection — is easy.
What you CANNOT: the birth environment¶
The map is three-to-one. The masses constrain exactly one combination — the gradient direction
so the environment-space Fisher information is rank 1. Its eigenvalues come out
— two of them machine-precision zero (condition number ). There are two flat directions: a continuum of metallicities, cluster masses, and efficiencies all produce the same and hence the same mass spectrum. Recovering any single birth parameter requires an external constraint on the other two (e.g. an independent from the cluster luminosity, or a spectroscopic ).
This is the honest scientific message: the IMF slope is an observable; the birth environment is an inference with two irreducible degeneracies.
Interpretation — why the degeneracy is fundamental¶
It is the structure of the map, not measurement noise. The two zero eigenvalues in (3) come from the three-to-one map itself, so they do not shrink with better data. More stars do tighten — the one well-measured eigenvalue (the ) grows — but the two machine-precision zeros stay zero at any sample size. This is qualitatively different from a “we need a bigger survey” degeneracy: no amount of data recovers the birth environment from the masses alone. That is what makes it a floor rather than a forecast.
Reading the one direction you do constrain. The gradient (2) is the single combination of birth parameters that the mass spectrum measures, and its structure is physical. The signs match the environment-dependent IMF: (metal-poor smaller top-heavier) and (more massive top-heavier). And per a natural variation of each parameter ( dex, dex, ), the embedded-cluster mass and the star-formation efficiency are the strong levers and the metallicity the weak one — so in this regime the high-mass IMF slope encodes cluster mass and efficiency far more than metallicity.
The implication for IMF archaeology. This is a caution for the IGIMF / top-heavy-IMF program. Inferring a cluster’s birth conditions from its present-day mass function reads a one-dimensional quantity () and projects it back onto a three-dimensional birth-parameter space — a non-invertible projection. The honest statement is “the IMF is top-heavy, consistent with ”, not “therefore it formed at metallicity , embedded-cluster mass , and efficiency .” Breaking the degeneracy requires supplying two of the three independently — e.g. a spectroscopic and a dynamical — at which point the third follows from .
Figure¶
![Birth-environment archaeology (scripts/demo_birth_environment.py, ALL PASS).
(a) The sampled high-mass IMF dN/d\log m with the top-heavy truth slope
(\alpha_3=1.62) and the canonical 2.3 for reference. (b) Forecast: the
analytic CRLB \sigma(\alpha_3)\propto N^{-1/2} (green) with the empirical
validation point (black square) and the |\Delta\alpha_3|/3 detection threshold.
(c) The environment degeneracy: \alpha_3 over the ([\mathrm{Fe/H}],\log
M_{\rm ecl}) plane (sfe fixed); the recovered-\alpha_3 ridge (vermilion)
passes through the truth ★, and every point on it is an equally good fit.](/progenax/build/demo_birth_environme-1e4125ba26301bdb745eb64e4f36c765.png)
Figure 1:Birth-environment archaeology (scripts/demo_birth_environment.py, ALL PASS).
(a) The sampled high-mass IMF with the top-heavy truth slope
() and the canonical 2.3 for reference. (b) Forecast: the
analytic CRLB (green) with the empirical
validation point (black square) and the detection threshold.
(c) The environment degeneracy: over the plane (sfe fixed); the recovered- ridge (vermilion)
passes through the truth ★, and every point on it is an equally good fit.
Caveats¶
How to run¶
env -u VIRTUAL_ENV uv run --no-sync python scripts/demo_birth_environment.pyReferences¶
The environment-dependent IMF relations are Marks et al. (2012) and
Jeřábková et al. (2018); the canonical low-mass slopes are Kroupa (2001).
The BirthEnvironment + env_to_imf_params API is documented on the
environment-dependent IMF theory page.
- Marks, M., Kroupa, P., Dabringhausen, J., & Pawlowski, M. S. (2012). Evidence for top-heavy stellar initial mass functions with increasing density and decreasing metallicity. Monthly Notices of the Royal Astronomical Society, 422, 2246–2254. 10.1111/j.1365-2966.2012.20767.x
- Jeřábková, T., Kroupa, P., Dabringhausen, J., Hilker, M., & Bekki, K. (2018). Impact of metallicity and star formation rate on the time-dependent, galaxy-wide stellar initial mass function. Astronomy and Astrophysics, 620, A39. 10.1051/0004-6361/201833055
- Kroupa, P. (2001). On the variation of the initial mass function. Monthly Notices of the Royal Astronomical Society, 322, 231–246. 10.1046/j.1365-8711.2001.04022.x