arxiv: 2602.20889 · v1 · submitted 2026-02-24 · 🌌 astro-ph.GA · astro-ph.CO

Recognition: 2 theorem links

· Lean Theorem

A Salpeter IMF and an NFW halo: Disentangling the dark and stellar mass through precise lens modelling of a double-source-plane system reinforces the canonical model of elliptical galaxies

Tian Li , Thomas E. Collett , Coleman M. Krawczyk , Giovanni Granata , Wolfgang J. R. Enzi , Daniel J. Ballard , Natalie E. P. Lines , Ana Sainz de Murieta

show 2 more authors

Luke Weisenbach Dan Ryczanowski

Authors on Pith no claims yet

Pith reviewed 2026-05-15 19:52 UTC · model grok-4.3

classification 🌌 astro-ph.GA astro-ph.CO

keywords strong gravitational lensingdark matter halo profilestellar initial mass functionNFW density profileelliptical galaxiesdouble source planemass-to-light ratio gradientJ0946+1006

0 comments

The pith

Double-source-plane lens modeling of J0946+1006 favors constant stellar mass-to-light ratio with Salpeter IMF and an NFW dark matter halo.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper performs strong lensing analysis on the double-source-plane system J0946+1006 to separate the stellar and dark matter mass distributions in an elliptical galaxy. It models the stellar mass using a multi-Gaussian expansion of the light with a free global mass-to-light ratio that can include a radial gradient, and the dark matter using an elliptical generalized NFW halo. Despite allowing these flexibilities, the data prefer an approximately constant stellar mass-to-light ratio normalized to a Salpeter IMF and a dark matter halo whose inner slope matches the standard NFW value. The double-source-plane geometry supplies extra leverage to constrain the radial profile and reduce degeneracies such as the mass-sheet transformation. This yields concrete measurements of stellar mass, halo mass, and their ratio while suggesting the method can template future work on larger lens samples.

Core claim

In modeling the double-source-plane lens J0946+1006, we find that a stellar component with approximately constant mass-to-light ratio normalized to a Salpeter IMF, combined with a dark matter halo matching the NFW profile, best describes the mass distribution, yielding M_star = 4.4 x 10^11 solar masses and inner halo slope gamma_in^halo = 1.04 at a halo mass of 1.11 x 10^13 solar masses.

What carries the argument

A two-component mass model consisting of a multi-Gaussian expansion stellar component with free global mass-to-light ratio and optional radial gradient, plus an elliptical generalized NFW halo for dark matter, with the double-source-plane geometry providing additional radial constraints.

If this is right

The stellar mass is measured as 4.4^{+0.25}_{-0.39} times 10^11 solar masses with the Salpeter IMF normalization.
The inner dark matter slope is 1.04^{+0.10}_{-0.14}, consistent with the NFW expectation.
The halo mass implies log10(M200/M_star) = 1.41^{+0.13}_{-0.14}, placing the galaxy about 0.1 dex above typical stellar-to-halo mass relations.
The double-source-plane approach supplies a practical template for dark matter studies with future large lens samples from Euclid.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Double-source-plane geometry may systematically reduce IMF-halo degeneracies compared with single-plane lenses.
If the canonical constant M/L and NFW picture holds across ellipticals, radial M/L gradients would be rare or small in this galaxy population.
The modest offset from average stellar-halo mass relations could be tested by applying the same modeling to additional double-source systems.
The NFW preference suggests that any baryonic effects on the inner dark matter profile are limited in this galaxy.

Load-bearing premise

The total mass distribution is fully captured by a light-tracing stellar component plus a smooth generalized NFW halo, with no significant bias from unmodeled substructure or line-of-sight mass.

What would settle it

A statistically superior fit from a model allowing a strong radial stellar mass-to-light gradient or an inner halo slope substantially different from 1 would falsify the preference for the constant M/L and NFW solution.

read the original abstract

We present a strong lensing analysis of the double source plane lens J0946+1006 (colloquially "Jackpot" lens) to measure the inner dark matter density profile, the stellar-to-halo mass ratio, and the stellar initial mass function normalisation using a two component stellar plus dark matter mass model. The stellar mass follows a multi-Gaussian expansion light model with a free global mass-to-light ratio and an allowed radial $M/L$ gradient, while the dark matter is described by an elliptical generalised NFW halo. The double-source-plane geometry provides additional leverage against the mass-sheet transformation and helps constrain the radial mass profile. Despite allowing both a radial stellar $M/L$ gradient and a generalised NFW halo, the data prefer the canonical picture: an approximately constant stellar mass-to-light ratio with a Salpeter-like IMF normalisation, and a dark matter halo consistent with NFW. We infer $M_{\star} = 4.4^{+0.25}_{-0.39}\times 10^{11}\,M_{\odot}$ and an inner halo slope $\gamma_{\rm in}^{\rm halo} = 1.04^{+0.10}_{-0.14}$. The halo mass is $M_{200}^{\rm halo} = 1.11^{+0.37}_{-0.32}\times 10^{13}\,M_{\odot}$, implying $\log_{10}(M_{200}/M_{\star})=1.41^{+0.13}_{-0.14}$. At fixed halo mass, the inferred stellar mass lies $\sim0.1$ dex above typical literature stellar halo mass relations at similar redshift, which is comparable to the intrinsic scatter of these relations. We expect this approach to provide a practical template for future dark matter studies with the large double-source-plane lens samples from Euclid.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The Jackpot modeling recovers a Salpeter IMF and NFW-like halo even with free gradient and slope parameters, but the joint posterior needs to be shown to confirm the parameters are not trading off.

read the letter

The main result is that a two-component stellar-plus-gNFW fit to the double-source-plane data still favors a constant stellar mass-to-light ratio with Salpeter normalization and an inner halo slope of 1.04. The paper reports M_star around 4.4 times 10^11 solar masses, M_200 around 1.11 times 10^13, and a stellar-to-halo mass ratio of about 1.41 in log space. These are new quantitative values for this well-known system. The double-source geometry supplies extra radial leverage that single-plane lenses lack, and the choice to let both the stellar gradient and the generalized NFW slope float from the start makes the preference for the canonical picture more credible than a fit that assumes them fixed upfront. The modeling uses a multi-Gaussian expansion tied to the light and an elliptical gNFW, which is a standard and transparent setup. The numbers sit roughly 0.1 dex above typical stellar-to-halo mass relations at this redshift, which is within the usual scatter. The soft spot is the possible degeneracy between a positive stellar M/L gradient and a steeper inner halo slope. Both change the enclosed mass profile inside the Einstein radius in partially compensating directions. The abstract states the data prefer zero gradient and gamma_in near 1, yet without the corner plots, covariance matrix, or explicit evidence ratios between the fully free model and the fixed canonical version, it is hard to judge how strongly the data rule out trade-off solutions. The double-source plane reduces the mass-sheet degeneracy but does not automatically orthogonalize these two directions. This paper is useful for anyone working on strong-lensing constraints on the IMF or inner dark-matter profiles in ellipticals at z ~ 0.2-0.5. It gives a practical worked example that future Euclid samples can follow. It deserves a serious referee because the central claim is a concrete posterior on a known lens and the modeling choices are explicit enough to evaluate.

Referee Report

2 major / 2 minor

Summary. The manuscript presents a strong-lensing analysis of the double-source-plane system J0946+1006. A multi-Gaussian expansion stellar component with free global M/L ratio and radial gradient is combined with an elliptical generalised NFW halo; the double-source geometry is used to constrain the radial mass profile. The authors report that the posterior favours an approximately constant stellar M/L (Salpeter IMF normalisation) and an NFW inner slope, with M_star = 4.4^{+0.25}_{-0.39} x 10^{11} M_sun, gamma_in = 1.04^{+0.10}_{-0.14}, and M_200 = 1.11^{+0.37}_{-0.32} x 10^{13} M_sun, implying log(M_200/M_star) = 1.41^{+0.13}_{-0.14}.

Significance. If the modelling choices prove robust, the work supplies a concrete template for decomposing stellar and dark mass in future Euclid double-source-plane samples. The geometric leverage from two source planes is a genuine strength that reduces the mass-sheet degeneracy relative to single-plane systems.

major comments (2)

[results section] The central claim that the data independently prefer zero radial M/L gradient and gamma_in = 1 rests on the reported one-dimensional intervals. No joint posterior, covariance matrix, or corner plot is described (results section), leaving open the possibility of compensating trade-offs between the stellar-gradient and halo-slope parameters that both modify the enclosed mass inside the Einstein radius.
[modelling section] The two-component stellar-plus-gNFW model is asserted to be sufficient, yet no explicit tests (e.g., evidence ratios against models with added substructure, line-of-sight mass, or a different stellar density scaling) are presented. Any unmodelled component would systematically shift the recovered IMF normalisation and gamma_in.

minor comments (2)

[abstract] Notation: M_star appears in the text while M_⋆ is used in the abstract equations; adopt a single consistent symbol.
[abstract] Clarify whether the quoted uncertainties are 68 % credible intervals and whether they incorporate all modelling systematics or only statistical errors.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive summary and constructive major comments. We address each point below and will revise the manuscript to incorporate the requested clarifications and tests.

read point-by-point responses

Referee: [results section] The central claim that the data independently prefer zero radial M/L gradient and gamma_in = 1 rests on the reported one-dimensional intervals. No joint posterior, covariance matrix, or corner plot is described (results section), leaving open the possibility of compensating trade-offs between the stellar-gradient and halo-slope parameters that both modify the enclosed mass inside the Einstein radius.

Authors: We agree that the one-dimensional marginalised intervals alone do not fully demonstrate the absence of parameter trade-offs. In the revised manuscript we will add a corner plot (and associated covariance matrix) for the key parameters, including the stellar M/L gradient, gamma_in, and global M/L. This will explicitly show the joint posterior and confirm that the data do not favour compensating degeneracies that could mimic a constant M/L and NFW slope. revision: yes
Referee: [modelling section] The two-component stellar-plus-gNFW model is asserted to be sufficient, yet no explicit tests (e.g., evidence ratios against models with added substructure, line-of-sight mass, or a different stellar density scaling) are presented. Any unmodelled component would systematically shift the recovered IMF normalisation and gamma_in.

Authors: We acknowledge that explicit model-comparison statistics were not reported. In the revision we will add a dedicated subsection presenting Bayesian evidence ratios (or equivalent information criteria) for the fiducial model versus variants that include substructure, line-of-sight mass, or alternative stellar density scalings. We will also quantify the potential systematic impact on M_star and gamma_in. The double-source-plane geometry already provides additional radial leverage, but we agree that these tests will strengthen the robustness claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the lensing inference chain

full rationale

The paper performs a Bayesian parametric fit of a two-component model (MGE stellar component with free global M/L and radial gradient plus elliptical gNFW halo) directly to the observed strong-lensing image positions and fluxes of the double-source-plane system. The reported values (M_star = 4.4^{+0.25}_{-0.39} x 10^11 M_sun, gamma_in = 1.04^{+0.10}_{-0.14}, M_200 = 1.11^{+0.37}_{-0.32} x 10^13 M_sun) are posterior summaries from this fit, not quantities that equal the model inputs by construction. The model explicitly frees both the M/L gradient and the inner halo slope, so the preference for canonical constant-M/L + NFW values is a data-driven outcome rather than a tautology. No self-citations, uniqueness theorems, or ansatzes that reduce the central claim to prior inputs appear in the derivation; the double-source geometry supplies independent geometric leverage on the radial mass profile.

Axiom & Free-Parameter Ledger

4 free parameters · 3 axioms · 0 invented entities

The central claim rests on the assumption that the observed image positions are produced by a two-component mass model whose parameters are constrained solely by the lens equation and the double-source geometry. No independent external calibration of the IMF or halo profile is supplied.

free parameters (4)

global stellar mass-to-light ratio
Fitted freely to match the observed lensing signal.
radial M/L gradient parameter
Allowed to vary but data prefer zero.
inner halo slope gamma_in
Free parameter in the generalized NFW profile.
halo concentration and scale radius
Fitted as part of the elliptical gNFW halo.

axioms (3)

domain assumption Light traces stellar mass up to a global M/L factor and possible radial gradient
Standard assumption in strong-lensing stellar-mass modeling; invoked when the multi-Gaussian expansion is scaled by a single M/L.
domain assumption Dark matter follows an elliptical generalized NFW profile
Chosen functional form for the halo component; no alternative profiles tested in the abstract.
standard math Double-source-plane geometry breaks the mass-sheet degeneracy
Geometric property of the lens equation used to justify tighter radial-profile constraints.

pith-pipeline@v0.9.0 · 5708 in / 1705 out tokens · 21863 ms · 2026-05-15T19:52:20.794302+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

composite mass model consisting of star plus a gNFW dark matter halo (star+gNFW)... radial M/L gradient... elliptical generalised NFW halo
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Despite allowing both a radial stellar M/L gradient and a generalised NFW halo, the data prefer the canonical picture

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.