Recognition: 2 theorem links
· Lean TheoremThe tidal evolution of satellite galaxies in cosmological simulations: insights from COLIBRE
Pith reviewed 2026-05-13 19:03 UTC · model grok-4.3
The pith
Satellite galaxies lose most dark matter before significant stellar stripping begins.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Satellite galaxies follow a universal tidal track that links stellar mass loss to subhalo mass loss through two clear phases. Dark matter is stripped first while the stellar component stays largely intact. Only after the bound subhalo mass fraction falls below a critical value of roughly 0.057 does stellar stripping become important. The track produces a bimodal distribution of mass-loss rates: modest-loss satellites retain frozen stellar masses, while extreme-loss satellites dissolve together with their dark matter, leaving no orphans.
What carries the argument
The universal tidal track, a two-parameter model that separates an early dark-matter stripping phase from a later stellar stripping phase once the subhalo bound mass fraction drops below approximately 0.057.
If this is right
- Satellites experiencing modest mass loss keep their stellar mass largely unchanged while dark matter is removed.
- Satellites in the extreme mass-loss regime dissolve rapidly, explaining the absence of orphan galaxies in hydrodynamical simulations.
- Dark-matter-deficient galaxies form when stripping proceeds past the critical threshold, with their abundance peaking near 10^9.5 solar masses in stellar mass.
- Numerical disruption can reduce the satellite stellar mass function by about 20 percent at 10^9 solar masses and 50 percent at 10^8 solar masses for baryonic resolution around 10^6 solar masses.
Where Pith is reading between the lines
- Galaxy formation models must incorporate this delayed onset of stellar stripping to avoid over-predicting the survival of low-mass satellites.
- The same track offers a natural formation channel for ultra-diffuse or dark-matter-poor dwarfs observed in groups and clusters.
- Higher-resolution simulations could test whether the critical fraction remains fixed or shifts with improved numerical treatment of tides.
Load-bearing premise
The subhalo finder and simulation resolution capture physical tidal stripping without dominant numerical artifacts that would alter the critical mass fraction or the two-phase rates.
What would settle it
Measuring the relation between stellar mass retained and remaining subhalo mass for a large sample of observed satellite galaxies at varying distances from their hosts; systematic deviation from the predicted track below the 0.057 threshold would falsify the model.
Figures
read the original abstract
We investigate the co-evolution of the stellar and dark matter mass of satellite galaxies using the COLIBRE cosmological hydrodynamical simulations with subhaloes resolved by the history-based HBT-HERONS subhalo finder. We identify a universal tidal track connecting stellar mass loss to subhalo mass loss characterized by two distinct phases, which can be well described by the two-parameter model. The initial phase consists primarily of dark matter stripping, whereas stellar stripping becomes significant only after the subhalo bound mass fraction drops below a critical value ($\sim 0.057$). We find a bimodal mass loss rate distribution of subhaloes. In satellites with modest mass loss rates, the stellar mass is largely frozen. By contrast, the galaxy quickly becomes unresolved, along with the dark matter component for the extreme-mass-loss population, naturally explaining the lack of ``orphan'' galaxies in previous hydrodynamical simulations. Our model also predicts the formation condition for dark-matter-deficient galaxies (DMDGs), whose abundance peaks at $m_{*}\sim 10^{9.5}\,\rm{M}_{\odot}$. The abundance of DMDGs can be very sensitive to numerical effects, with COLIBRE resolving a much larger DMDG population than previous hydrodynamical simulations. We also estimate the influence of artificial disruption on the satellite stellar mass function, which can amount to 20 (50) per cent at $m_* \sim 10^{9} (10^{8}) \, \rm M_\odot$, given a baryonic mass resolution of $\sim 10^{6}\,\rm{M}_{\odot}$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript analyzes satellite galaxy evolution in the COLIBRE cosmological hydrodynamical simulations using the history-based HBT-HERONS subhalo finder. It identifies a universal two-phase tidal track relating stellar mass loss to subhalo mass loss, with an initial phase dominated by dark matter stripping that transitions to significant stellar stripping once the subhalo bound mass fraction drops below a critical value of ~0.057. The work reports a bimodal subhalo mass-loss rate distribution, explains the absence of orphan galaxies, predicts the abundance of dark-matter-deficient galaxies (DMDGs) peaking at m* ~ 10^9.5 M⊙, and quantifies the impact of artificial disruption on the satellite stellar mass function (20-50% at 10^8-10^9 M⊙ for baryonic resolution ~10^6 M⊙).
Significance. If the tidal track, critical fraction, and DMDG predictions hold after robustness checks, the two-parameter model would supply a compact empirical description of tidal co-evolution useful for semi-analytic models and observational interpretation of dwarf satellites. The explicit discussion of numerical sensitivities and bimodal mass-loss populations advances understanding of why hydrodynamical simulations lack orphans and how resolution affects low-mass satellite counts.
major comments (3)
- [Abstract and §4] Abstract and §4 (tidal track results): The central claim of a universal track with transition at bound-mass fraction ~0.057 is derived directly from HBT-HERONS outputs, yet the abstract states that DMDG counts are 'very sensitive to numerical effects' and artificial disruption removes 20-50% of satellites at 10^8-10^9 M⊙; this raises the possibility that the reported critical value and phase transition are shifted by the finder’s mass definition or the ~10^6 M⊙ baryonic resolution limit.
- [§5] §5 (DMDG abundance): The predicted peak at m* ~ 10^9.5 M⊙ and the statement that COLIBRE resolves a much larger DMDG population than prior simulations rest on the assumption that HBT-HERONS correctly tracks bound mass down to the resolution floor; without explicit convergence tests varying resolution or subhalo finder, the abundance and formation condition remain vulnerable to post-processing choices.
- [§4.3] §4.3 (bimodal mass-loss distribution): The separation into 'modest' and 'extreme' mass-loss populations, used to explain the lack of orphans, is identified from the same simulation suite; a shift in the critical fraction by even 0.02 due to finder differences would alter the relative sizes of the two populations and the implied stellar-mass freezing threshold.
minor comments (2)
- [Figures] Figure captions: Several panels lack explicit labels for the mass bins or resolution cuts used to construct the tidal track; adding these would improve reproducibility.
- [§4] Notation: The symbol for bound mass fraction is introduced without a dedicated equation or definition box on first use in the results; a short clarifying equation would aid readers.
Simulated Author's Rebuttal
We thank the referee for their careful and constructive review. We address each major comment below and have revised the manuscript to strengthen the presentation of numerical robustness where possible.
read point-by-point responses
-
Referee: [Abstract and §4] Abstract and §4 (tidal track results): The central claim of a universal track with transition at bound-mass fraction ~0.057 is derived directly from HBT-HERONS outputs, yet the abstract states that DMDG counts are 'very sensitive to numerical effects' and artificial disruption removes 20-50% of satellites at 10^8-10^9 M⊙; this raises the possibility that the reported critical value and phase transition are shifted by the finder’s mass definition or the ~10^6 M⊙ baryonic resolution limit.
Authors: We agree that the interplay between numerical resolution and the reported critical fraction merits explicit discussion. The value 0.057 is measured exclusively from subhaloes whose bound mass lies well above the resolution floor at the time of the transition; we have verified internally that the transition point remains stable across the resolved mass range. In the revised manuscript we will add a dedicated paragraph in §4 clarifying the mass range used for the fit, the definition of bound mass in HBT-HERONS, and a brief sensitivity test showing that modest changes in the mass threshold do not move the transition outside 0.05–0.06. We will also tone down the abstract wording to avoid implying that the track itself is resolution-limited. revision: yes
-
Referee: [§5] §5 (DMDG abundance): The predicted peak at m* ~ 10^9.5 M⊙ and the statement that COLIBRE resolves a much larger DMDG population than prior simulations rest on the assumption that HBT-HERONS correctly tracks bound mass down to the resolution floor; without explicit convergence tests varying resolution or subhalo finder, the abundance and formation condition remain vulnerable to post-processing choices.
Authors: We acknowledge that a full resolution-convergence study would be the most direct way to quantify uncertainties in the DMDG peak. Such tests would require new simulation runs at multiple resolutions, which is outside the scope of the present project. Within the existing COLIBRE suite we have performed limited checks by varying the minimum particle number and subhalo finder linking parameters; the location of the DMDG abundance peak remains stable. In the revised §5 we will present these checks, add an explicit caveat on the lack of multi-resolution convergence, and compare the DMDG formation condition against the analytic expectation from the two-parameter tidal track. revision: partial
-
Referee: [§4.3] §4.3 (bimodal mass-loss distribution): The separation into 'modest' and 'extreme' mass-loss populations, used to explain the lack of orphans, is identified from the same simulation suite; a shift in the critical fraction by even 0.02 due to finder differences would alter the relative sizes of the two populations and the implied stellar-mass freezing threshold.
Authors: The bimodal mass-loss-rate distribution is a direct feature of the simulation data and is not imposed by the choice of critical fraction. We have re-examined the distribution after shifting the dividing line by ±0.02 and find that the qualitative separation into a population with frozen stellar mass and a population that rapidly becomes unresolved persists; only the precise fraction of galaxies in each bin changes. In the revised §4.3 we will include this sensitivity test and show that the explanation for the absence of orphan galaxies remains robust provided a threshold exists at which stellar stripping accelerates. revision: yes
- Full multi-resolution convergence tests for the DMDG abundance and critical fraction, which would require new cosmological simulations.
Circularity Check
Tidal track and critical fraction measured empirically from COLIBRE simulation data
full rationale
The paper identifies the universal tidal track and the ~0.057 critical bound-mass fraction by direct inspection of mass-loss relations in the COLIBRE runs processed with HBT-HERONS. The two-parameter model is introduced only as a descriptive fit to the observed track; no equation or claim reduces the result to a prior fitted parameter, self-definition, or self-citation chain. The DMDG abundance and mass-function corrections are likewise outputs of the same simulation analysis rather than independent predictions forced by the model inputs. This is a standard empirical extraction from simulation data with no load-bearing circular steps.
Axiom & Free-Parameter Ledger
free parameters (2)
- critical bound mass fraction =
0.057
- two parameters of tidal track model
axioms (1)
- domain assumption Standard Lambda-CDM cosmology and hydrodynamical baryonic physics govern galaxy formation in the COLIBRE runs
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel (J-cost uniqueness) and phi_golden_ratio matches?
matchesMATCHES: this paper passage directly uses, restates, or depends on the cited Recognition theorem or module.
stellar stripping becomes significant only after the subhalo bound mass fraction drops below a critical value (~0.057)
-
IndisputableMonolith/Foundation/BranchSelection.leanbranch_selection (bilinear branch forced by coupling combiner) echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
universal tidal track ... two distinct phases ... two-parameter model
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.
Forward citations
Cited by 2 Pith papers
-
The Broken Similarity: Sinking and Merging of Dark Matter Subhalos Across Hierarchical Levels
In LambdaCDM simulations, over 90% of subhalo sinking events occur between adjacent hierarchy levels, satellite-satellite mergers can rival central-satellite rates at low masses, and the overall merger landscape devia...
-
The evolution of the baryonic content and mass profiles of satellite galaxies in the MTNG simulations
In the MTNG simulation, satellite galaxies lose ~80% of their gas by the time their subhalos lose half their mass, while stellar mass and magnitudes evolve more slowly following v_max reduction, with inner mass loss o...
Reference graph
Works this paper leans on
-
[1]
AriasB.,DrakosN.E.,TaylorJ.E.,2025,arXive-prints,p.arXiv:2508.16759 Bahé Y. M., et al., 2019, MNRAS, 485, 2287 Barry M., Wetzel A., Chapman S., Samuel J., Sanderson R., Arora A., 2023, MNRAS, 523, 428 Benítez-Llambay A., et al., 2026, MNRAS, 546, stag268 Booth C. M., Schaye J., 2009, MNRAS, 398, 53 BorrowJ.,SchallerM.,BahéY.M.,SchayeJ.,LudlowA.D.,Ploeckin...
-
[2]
A crucial aspect of tracking stellar mass evolution is accurately capturing the "heavy stripping" regime, where the subhalo has lost the vast majority of its dark matter mass (𝑓sub ≪1) and the stellar massbeginstodeclinesharply.Unweightedleast-squaresfittingtends to be overwhelmingly dominated by the early evolutionary phase (where both𝑓 sub and𝑓 ∗ are cl...
work page 2026
-
[3]
Smith et al. 2016 10 3 10 2 10 1 100 fsub = msub(t)/msub, peak 10 2 10 1 100 f = m (t)/m , peak fd = 0.057 b = 0.99 2 = 0.004 RMSE = 0.014 COLIBRE data This work (Eq
work page 2016
-
[4]
Smith et al. 2016 10 3 10 2 10 1 100 fsub = msub(t)/msub, peak 10 2 10 1 100 f = m (t)/m , peak fd = 0.091 b = 1.77 2 = 0.011 RMSE = 0.030 COLIBRE data This work (Eq
work page 2016
-
[5]
Smith et al. 2016 Figure B1.Representative examples of satellite galaxy stellar mass tidal evolution tracks from L200m6 simulations. The black circles represent the simulationdata,showingtheremainingstellarmassfraction(𝑓 ∗)asafunction oftheremainingsubhalomassfraction(𝑓 sub).Thesolidblackanddashedblue curvesdenotethebest-fitresultsusingourmodel(Eq.(2))and...
work page 2016
-
[6]
Smith et al. 2016 10 3 10 2 10 1 100 fsub = msub(t)/msub, peak 10 2 10 1 100 f = m (t)/m , peak fd = 0.304 b = 0.27 2 = 0.765 RMSE = 0.230 COLIBRE data This work (Eq
work page 2016
-
[7]
2016 Figure B3.Examples of outlier tidal tracks, presented in the same format as Fig
Smith et al. 2016 Figure B3.Examples of outlier tidal tracks, presented in the same format as Fig. B1. These subhaloes belong to the high-𝜒2 𝜈 tail in Fig. B2. For these rare cases, both our model (Eq. (2)) and Eq. (1) struggle to reproduce the simulated data precisely. MNRAS000, 1–20 (2026)
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.