arxiv: 2605.11198 · v1 · submitted 2026-05-11 · 🌌 astro-ph.GA · astro-ph.SR

Recognition: 2 theorem links

· Lean Theorem

The applicability of the JAGB method for measuring the distance of galaxies subject to different metal enrichment rates

Claudio Gavetti , Paolo Ventura , Flavia Dell'Agli , Luca Graziani , Matteo Correnti , Chiara Ventura , Fabio La Franca

Authors on Pith no claims yet

Pith reviewed 2026-05-13 01:43 UTC · model grok-4.3

classification 🌌 astro-ph.GA astro-ph.SR

keywords JAGB methoddistance indicatorsAGB starsmetal enrichmentluminosity functionstellar populationsgalaxy distancespopulation synthesis

0 comments

The pith

Mean J-band magnitude of JAGB stars stays fixed at -6.2 mag across different metal enrichment histories

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

This paper tests how well the JAGB method works as a distance indicator when galaxies have followed different paths of metal enrichment. The authors run population synthesis models of AGB stars with dust formation to build synthetic J luminosity functions under several enrichment scenarios. They show that the peak position of the function shifts by more than 0.3 mag depending on enrichment, but the average J magnitude does not. This stability makes the mean magnitude a steadier distance tool than the peak, because it depends less on the galaxy's past chemical evolution.

Core claim

The JAGB population is dominated by stars formed between 1 and 6 Gyr ago. While the shape of the J luminosity function and the position of its peak vary strongly with the metal enrichment history of the host galaxy, the mean J-band magnitude MavJ remains nearly constant. For all enrichment cases examined, MavJ equals -6.2 with an uncertainty of 0.05 mag, making it a more reliable distance indicator than the peak magnitude.

What carries the argument

The mean J-band magnitude MavJ of stars in the J region of the (J-Ks, J) diagram, extracted from population synthesis models that couple AGB evolution with dust formation and tested across varied metallicity histories

If this is right

The JAGB method can serve as a distance indicator for galaxies with a wide range of metal enrichment histories.
The peak position of the J luminosity function is too sensitive to enrichment history to serve as a reliable distance indicator.
Stars formed outside the 1-6 Gyr interval contribute only marginally to the JAGB region.
Uncertainties in red giant branch mass-loss rates remain a source of systematic error in the models.

Where Pith is reading between the lines

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

The reported stability could let observers apply the JAGB method to galaxies beyond the Local Group that have more varied chemical histories.
Direct comparison of observed MavJ values against galaxies with distances from other methods would provide an empirical check on the models.
Tighter observational constraints on red giant branch mass-loss rates could shrink the 0.05 mag uncertainty and improve distance precision.

Load-bearing premise

The AGB stellar evolution models and the still poorly constrained mass-loss rates experienced by low-mass stars during the red giant branch phase accurately represent real stellar populations.

What would settle it

Measurement of the mean J magnitude in a galaxy with independently known distance and a metal enrichment history different from the modeled cases would falsify the claim if the result lies outside -6.2 plus or minus 0.05 mag.

Figures

Figures reproduced from arXiv: 2605.11198 by Chiara Ventura, Claudio Gavetti, Fabio La Franca, Flavia Dell'Agli, Luca Graziani, Matteo Correnti, Paolo Ventura.

**Figure 1.** Figure 1: Time variation of the surface C/O ratio of model stars of metallicity Z = 10−3 (black lines), Z = 4 × 10−3 (blue) and Z = 0.014 (green), formed ∼ 1 Gyr ago (left panel), ∼ 3 Gyr ago (middle) and ∼ 5 Gyr ago (right). The magenta portion of the lines indicates the phases during which the model stars cross the J region. The grey, horizontal lines indicate the time when the stars become C-stars. Times are coun… view at source ↗

**Figure 2.** Figure 2: Evolutionary tracks of stars of different mass and metallicity on the color-magnitude (J−KS,J) diagram. For M ≤ 2 M⊙ the masses are taken at the beginning of the core helium-burning phase. The points along each track refer to the phases of maximum luminosity experienced during an inter-pulse phase. Open symbols refer to the phases during which the star is O-rich, whereas full points indicate C-rich phases.… view at source ↗

**Figure 3.** Figure 3: Times spent within the J region by model stars of different mass and metallicity as a function of the progenitor’s mass (left panel) and of the formation epoch (right). The masses for M ≤ 2 M⊙ stars refer to the start of the core helium-burning phase. For masses below 1.5 M⊙ we consider an average mass loss during the RGB evolution of 0.2 M⊙, thus the formation epochs reported on the abscissa of the right … view at source ↗

**Figure 4.** Figure 4: Synthetic distributions of stars in the (J−Ks ,J) diagram, obtained by assuming constant SFR and different metal enrichments. The different panels correspond to the cases with no metal enrichment (top, left), with the metallicity gradually increasing until Z = 8 × 10−3 (bottom, left), and Z⊙ (bottom, right). The top right panel reports the results obtained with no metal enrichment and no mass loss during t… view at source ↗

**Figure 5.** Figure 5: The JLF of the stars populating the 1.5 < (J − KS) < 2 mag region of the color-magnitude (J − KS,J) diagram, in a galaxy characterized by constant SFR, with metallicity Z = 10−3 . The thick, red part of the histogram refers to the stars in the box suggested by Magnus et al. (2024), with −6.83 < MJ < −5.63 mag. The synthetic distribution of the stars obtained in this case is shown in the top, left panel of… view at source ↗

**Figure 4.** Figure 4: The results reported in [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗

**Figure 8.** Figure 8: Comparison between the JLF obtained by assuming an average RGB mass loss of 0.2 M⊙ (solid track) with those obtained by assuming that no mass loss occurred during the RGB phases. The cases presented are the following: no metal enrichment and constant metallicity Z = 10−3 (left panel); metal enrichment up to Z = 4 × 10−3 (middle panel) and Z = 8 × 10−3 (right panel) [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗

**Figure 9.** Figure 9: Skewness (left panel) and peak J magnitude (right panel) of JLFs of the synthetic stellar populations of the J region of the (J−KS,J) diagram, as a function of the difference between the mean and the peak J magnitudes. The various points refer to results obtained with different assumptions regarding the metal enrichment, including the case where no metal enrichment occurred (black triangle), a few cases wh… view at source ↗

read the original abstract

The JAGB method has been proposed in recent years as a possible distance indicator for galaxies in the Local Group and beyond. However, the nature of the stars populating the J region, and the conditions required for the direct application of this method, still need to be clarified. We investigate the robustness of the JAGB method through a detailed theoretical analysis of the stars populating the J region of the (J-Ks, J) diagram. The main goal is to identify the properties of the corresponding J luminosity function (JLF) that are minimally affected by the previous evolutionary history of the host galaxy, particularly its metal enrichment history. We use a population synthesis approach based on AGB stellar evolution models coupled consistently with dust formation in the stellar wind. Synthetic stellar distributions in the (J-Ks, J) diagram and the related JLFs are calculated for different assumptions on the metallicity evolution of the interstellar medium, in order to study how the JLF depends on the efficiency of metal enrichment. We find that the JAGB population is dominated by stars formed between about 1 and 6 Gyr ago, while stars formed outside this interval contribute only marginally to the JAGB region. The shape of the JLF strongly depends on the metal enrichment history, and the position of the J-band peak varies by more than 0.3 mag among the different cases explored. Conversely, the mean J-band magnitude, MavJ, is much less sensitive to the previous history of the galaxy and therefore represents a more reliable distance indicator. For all the cases investigated we find MavJ = -6.2 +/- 0.05 mag. We also discuss the uncertainties related to the still poorly constrained mass-loss process experienced by low-mass stars during the red giant branch phase.

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

Their models keep the mean JAGB magnitude stable at -6.2 mag across different metal-enrichment histories, but the result sits inside fixed AGB tracks and unvaried RGB mass-loss rates.

read the letter

The paper's central result is that the mean J magnitude of the JAGB population holds at -6.2 ± 0.05 mag no matter which metal-enrichment path they feed into the population synthesis. The peak of the luminosity function moves by more than 0.3 mag across the same runs, so the mean looks like the more robust distance indicator. They also pin down that the JAGB region is fed mostly by stars formed 1-6 Gyr ago. That is the concrete new output: a quantitative check on one variable (enrichment history) using consistent AGB tracks plus dust formation. The internal calculations line up across the cases they ran, and the age range is a useful byproduct for anyone modeling nearby galaxies. The soft spot is exactly what the abstract flags but does not test. RGB mass loss for low-mass stars is poorly constrained, yet they keep the same prescription in every run. Because JAGB stars have already passed through the RGB, changing the mass-loss efficiency would alter both which stars reach the J region and their luminosities. The quoted 0.05 mag scatter only reflects the spread among enrichment histories; it does not include that systematic. No extra grids varying mass-loss or dust efficiency appear, and the abstract does not show direct matches to observed JLFs in real galaxies. This work is for people already using or calibrating the JAGB method who want a theoretical handle on how enrichment history affects it. It is not a full validation, but the modeling is transparent enough that the specific stability claim can be checked against other codes or future observations. I would send it to referees. The result is narrow but well-defined, and the acknowledged model uncertainty is stated plainly rather than hidden.

Referee Report

1 major / 3 minor

Summary. The paper uses population synthesis based on AGB stellar evolution models with consistent dust formation to generate synthetic (J-Ks, J) diagrams and J luminosity functions (JLFs) for galaxies with different metal enrichment histories. It finds that the JAGB population is dominated by stars formed 1-6 Gyr ago, that JLF shape varies strongly with enrichment history (peak position shifts >0.3 mag), but that the mean J magnitude MavJ remains stable at -6.2 ± 0.05 mag across all cases examined, making it a more reliable distance indicator than other JLF features. The work also discusses uncertainties from poorly constrained RGB mass loss.

Significance. If the central result holds, the demonstration that MavJ is insensitive to metal enrichment history provides theoretical backing for the JAGB method as a distance indicator applicable across galaxies with varied star-formation histories. The forward-modeling approach with coupled dust formation is a methodological strength that allows direct prediction of observable distributions. However, the quoted ±0.05 mag precision is derived solely from variation in enrichment histories within fixed model inputs, limiting the overall significance until other key parameters are tested.

major comments (1)

[Abstract] Abstract and discussion of results: The claim that MavJ = -6.2 ± 0.05 mag is robust to previous galaxy history rests on simulations using a single set of AGB tracks and one fixed prescription for RGB mass-loss efficiency. The abstract explicitly notes that the mass-loss process experienced by low-mass stars during the RGB phase remains poorly constrained, yet no additional runs varying this efficiency (or dust-formation parameters) are reported. Because JAGB stars have already passed through the RGB phase, changes in mass-loss rate directly affect both the number of stars reaching the J region and their luminosities, which could move the mean magnitude outside the quoted 0.05 mag window without changing the enrichment histories.

minor comments (3)

The exact photometric cuts or color-magnitude boundaries used to isolate the JAGB region in the (J-Ks, J) diagram should be stated explicitly, preferably with a reference to prior observational definitions.
A table listing the specific metal-enrichment histories explored, the resulting JLF peak positions, and the computed MavJ values for each case would improve clarity and allow readers to assess the dispersion directly.
Citations for the specific AGB evolutionary tracks and dust-formation prescriptions employed in the population synthesis code should be provided in the methods section.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and for highlighting the need to clarify the scope of our robustness tests. Our manuscript focuses on the impact of metal enrichment history on the JAGB population while holding other model inputs fixed; we address the referee's concern about RGB mass-loss variations below and propose targeted revisions to the abstract and discussion.

read point-by-point responses

Referee: [Abstract] Abstract and discussion of results: The claim that MavJ = -6.2 ± 0.05 mag is robust to previous galaxy history rests on simulations using a single set of AGB tracks and one fixed prescription for RGB mass-loss efficiency. The abstract explicitly notes that the mass-loss process experienced by low-mass stars during the RGB phase remains poorly constrained, yet no additional runs varying this efficiency (or dust-formation parameters) are reported. Because JAGB stars have already passed through the RGB phase, changes in mass-loss rate directly affect both the number of stars reaching the J region and their luminosities, which could move the mean magnitude outside the quoted 0.05 mag window without changing the enrichment histories.

Authors: We agree that the quoted ±0.05 mag stability of MavJ is demonstrated only for variations in metal enrichment history with fixed AGB evolutionary tracks and a single RGB mass-loss prescription. The manuscript title, abstract, and introduction explicitly frame the study around metal enrichment rates, and the abstract already flags RGB mass loss as poorly constrained. Because our population synthesis uses consistent dust formation and the JAGB selection occurs post-RGB, the mean magnitude remains insensitive to the enrichment histories tested. We will revise the abstract to state that the ±0.05 mag figure applies specifically to enrichment-history variations with other parameters held fixed. We will also expand the discussion section with a quantitative assessment of how literature ranges in RGB mass-loss efficiency could affect the JAGB population size and mean magnitude, citing relevant observational and theoretical constraints. A full grid of new simulations varying mass-loss efficiency and dust parameters lies outside the present scope but will be noted as future work. revision: partial

Circularity Check

0 steps flagged

No significant circularity: mean magnitude obtained from forward population synthesis varying only metal-enrichment histories

full rationale

The paper computes synthetic JLFs and MavJ via population synthesis on fixed AGB tracks and dust-formation prescriptions, then reports the dispersion in MavJ across different metallicity-evolution assumptions. This dispersion (quoted as ±0.05 mag) is an output of the simulations rather than a fitted parameter or self-referential definition. No load-bearing self-citations, uniqueness theorems, or ansatzes imported from prior author work are used to establish the stability result. The acknowledged uncertainty in RGB mass-loss rates is treated as an external model limitation, not embedded in the derivation chain itself.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The central claim rests on the accuracy of AGB evolutionary tracks and dust-formation prescriptions; no new entities are introduced, but several model parameters are implicit.

free parameters (1)

mass-loss efficiency during RGB phase
The paper explicitly notes this process is poorly constrained and affects the JAGB population.

axioms (1)

domain assumption AGB stellar evolution models coupled with dust formation accurately predict the J-region population for the metallicities explored
Invoked throughout the population synthesis calculations.

pith-pipeline@v0.9.0 · 5655 in / 1167 out tokens · 41432 ms · 2026-05-13T01:43:47.779113+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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

For all the cases investigated we find MavJ = −6.2 ± 0.05 mag. … The uncertainties connected to the still largely unknown process of mass loss suffered by low-mass stars during the evolution along the red giant branch are also commented.
IndisputableMonolith/Foundation/AlphaCoordinateFixation.lean alpha_pin_under_high_calibration contradicts

?

contradicts
CONTRADICTS: the theorem conflicts with this paper passage, or marks a claim that would need revision before publication.

The results presented here were obtained with δm_RGB = 0.2 M_⊙. … The effects of different choices of δm_RGB are discussed in Section 4.4.

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.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

[1]

& Schönberner, D

Blöcker, T. & Schönberner, D. 1991, A&A, 244, L43 Bortolini G., Östlin G., Habel N., Hirschauer A. S., Jones O. C., Justtanont K., Meixner M., et al., 2024, A&A, 689, A146. Bortolini, G., Correnti, M., Adamo, A., et al. 2025, ApJ, 991, 2, 212 Correnti, M., Bortolini, G., Dell’Agli, F., et al. 2025, ApJ, 990, 1, 72 Dell’Agli, F., García-Hernández, D. A., R...

work page 1991
[2]

A., et al

Dell’Agli, F., Ventura, P., Garcia Hernandez, D. A., et al. 2014, MNRAS, 442, L38 Dell’Agli, F., Ventura, P., Schneider, R., et al. 2015a, MNRAS, 447, 2992 Dell’Agli, F., García-Hernández, D. A., Ventura, P., et al. 2015b, MNRAS, 454, 4, 4235 Dell’Agli, F., Di Criscienzo, M., Boyer, M. L., et al. 2016, MNRAS, 460, 4, 4230 Dell’Agli, F., Di Criscienzo, M.,...

work page 2014
[3]

Ferrarotti, A. S. & Gail, H.-P. 2002, A&A, 382, 256 Ferrarotti, A. S. & Gail, H.-P. 2006, A&A, 447, 553 Freedman, W. L. & Madore, B. F. 2020, ApJ, 899, 1, 67 Freedman W. L., Madore B. F., Hoyt T. J., Jang I. S., Lee A. J., Owens K. A., 2025, ApJ, 985,

work page 2002
[4]

2025, A&A, 699, A23 Gavetti, C., Ventura, P., Dell’Agli, F., et al

Gavetti, C., Ventura, P., Dell’Agli, F., et al. 2025, A&A, 699, A23 Gavetti, C., Ventura, P., Dell’Agli, F., et al. 2026, arXiv:2601.19594 Harmsen, B., Bell, E. F., D’Souza, R., et al. 2023, MNRAS, 525, 449 Kamath, D., Dell’Agli, F., Ventura, P., et al. 2023, MNRAS, 519, 2169 Kobayashi, C., Karakas, A. I., & Lugaro, M. 2020, ApJ, 900, 2, 179 Kroupa P., 20...

work page arXiv 2025
[5]

J., 2023, ApJ, 956,

Lee A. J., 2023, ApJ, 956,

work page 2023
[6]

J., Freedman W

Lee A. J., Freedman W. L., Jang I. S., Madore B. F., Owens K. A., 2024, ApJ, 961,

work page 2024
[7]

J., Weisz, D

Lee, A. J., Weisz, D. R., Ren, Y ., et al. 2024, , arXiv:2410.09256. Lee A. J., Freedman W. L., Madore B. F., Jang I. S., Owens K. A., Hoyt T. J., 2025, ApJ, 985,

work page arXiv 2024
[8]

G., Casertano S., Anand G

Li S., Riess A. G., Casertano S., Anand G. S., Scolnic D. M., Yuan W., Breuval L., et al., 2024, ApJ, 966, 20 Li S., Riess A. G., Scolnic D., Casertano S., Anand G. S., 2025, ApJ, 988,

work page 2024
[9]

Madore, B. F. & Freedman, W. L. 2020, ApJ, 899, 1, 66 Magnus, E., Groenewegen, M. A. T., Girardi, L., et al. 2024, A&A, 691, A350 Marigo, P. 2002, A&A, 387, 507 Marini, E., Dell’Agli, F., Groenewegen, M. A. T., et al. 2021, A&A, 647, A69 Mazzitelli, I. 1979, A&A, 79, 1-2, 251 Nanni, A., Bressan, A., Marigo, P., et al. 2013, MNRAS, 434, 3, 2390 Nanni, A., ...

work page 2020
[10]

& Boothroyd, A

Sackmann, I.-J. & Boothroyd, A. I. 1992, ApJ, 392, L71. doi:10.1086/186428 Schneider, R. & Maiolino, R. 2024, A&A Rev., 32, 1, 2 Tailo, M., Milone, A. P., Lagioia, E. P., et al. 2021, MNRAS, 503, 694 Valiante, R., Schneider, R., Bianchi, S., et al. 2009, MNRAS, 397, 3, 1661 Valiante, R., Schneider, R., Salvadori, S., et al. 2011, MNRAS, 416, 3, 1916 Ventu...

work page doi:10.1086/186428 1992
[11]

2022, Universe, 8,

Ventura, P., Dell’Agli, F., Tailo, M., et al. 2022, Universe, 8,

work page 2022
[12]

2026, arXiv:2603.09879

Ventura, P., D’Souza, R., Dell’Agli, F., et al. 2026, arXiv:2603.09879. Mancini, M., Schneider, R., Graziani, L., Valiante, R., Dayal, P., Maio, U., Cia- rdi, B. and Hunt, L. K. 2015, MNRASL, 451,

work page arXiv 2026
[13]

K., Maio, U., Glatzle, M

Graziani, L., Schneider, R., Ginolfi, M., Hunt, L. K., Maio, U., Glatzle, M. and Ciardi, B. 2015, MNRAS, 494,

work page 2015
[14]

2018, MNRAS, 478,

Aoyama, S., Hou, Kuan-Chou, Hirashita, H., Nagamine, K., Shimizu, I. 2018, MNRAS, 478,

work page 2018
[15]

Ginolfi, M., Graziani, L., Schneider, R., Marassi, S., Valiante, R., Dell’Agli, F., Ventura, P., Hunt, L. K. 2018, MNRAS, 478,

work page 2018
[16]

1995, AJ, 109,

Marconi, G., Tosi, M., Greggio, L., Focardi, P. 1995, AJ, 109,

work page 1995
[17]

2009, ARAA, 47,

Tolstoy, E., Hill, V ., Tosi, M. 2009, ARAA, 47,

work page 2009
[18]

2013, ARAA, 51,

Conroy, C. 2013, ARAA, 51,

work page 2013
[19]

and Dickinson, M

Madau, P. and Dickinson, M. 2014, ARAA, 52,

work page 2014
[20]

Pacifici, C., Kassin, S., Weiner, B. et al. 2016, ApJ, 832,

work page 2016
[21]

2017, ApJ, 839,

Diemer, B., Sparre, M., Abramson, L., Torrey, P. 2017, ApJ, 839,

work page 2017
[22]

Grebel, E. K. 2020, ESA Special Publication, 445,

work page 2020
[23]

2010, MNRAS, 402,

Rogers, B., Ferreras, I.,et al. 2010, MNRAS, 402,

work page 2010
[24]

2025, A&A, 694,

Jegatheesan, K.,et al. 2025, A&A, 694,

work page 2025
[25]

2004, MNRAS, 353,

Calura, F., Matteucci, F., Menci, N. 2004, MNRAS, 353,

work page 2004