Recognition: 1 theorem link
· Lean TheoremAre supernovae driving turbulence in the solar neighborhood?
Pith reviewed 2026-05-15 12:10 UTC · model grok-4.3
The pith
Supernova feedback alone cannot sustain the observed turbulence in the solar neighborhood's neutral hydrogen.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
SN-driven simulations systematically underpredict the observed HI velocity dispersion of 11.1 km/s, yielding values in the range 4.9-6.7 km/s, whereas simulations with strong enough large-scale forcing reproduce both the median dispersion and the observed velocity distribution.
What carries the argument
Synthetic sky maps built from 1 kpc simulations that replicate the observational selection and line-of-sight geometry, enabling direct statistical comparison of velocity dispersions between supernova-only and large-scale-forcing turbulence drivers.
If this is right
- Multiple energy-injection mechanisms, not just supernovae, must be included to model local interstellar turbulence correctly.
- Large-scale galactic dynamics or other forcing processes supply a substantial fraction of the turbulent energy in the solar neighborhood.
- Star-formation prescriptions in galaxy simulations require calibration against both supernova and large-scale drivers to avoid underestimating velocity dispersions.
- Energy budgets for the interstellar medium in the solar vicinity must account for non-local sources in addition to stellar feedback.
Where Pith is reading between the lines
- Galactic shear or spiral-arm dynamics may be the dominant large-scale driver implied by the forcing runs.
- Extending the same comparison to other galactic radii could test whether supernova dominance increases in regions of higher star-formation density.
- Observers could search for spatial correlations between high-dispersion patches and large-scale velocity gradients to confirm the forcing component.
Load-bearing premise
That the 1 kpc simulations with the two distinct turbulent drivers accurately represent the physical processes in the solar neighborhood and that the synthetic sky maps closely mimic the observational data.
What would settle it
A new HI survey that measures a median velocity dispersion near 5-7 km/s across the solar neighborhood, or a simulation run at higher resolution that shows supernova feedback alone reaching 11 km/s dispersion.
read the original abstract
Turbulence plays an important role in shaping the interstellar medium, and strongly influences star formation. We aim to identify the physical processes capable of sustaining HI turbulence in the solar neighborhood. We compare recent HI line-of-sight velocity observations within a volume of radius 70-500 pc centered on the Sun with a suite of 1 kpc numerical simulations that include two distinct turbulent drivers: (i) supernova (SN) feedback and (ii) imposed large-scale turbulent forcing. For each simulation, we construct synthetic sky maps that closely mimic the observational one, allowing for a consistent comparison between the simulations and the observational data. HI observations show a median velocity dispersion of 11.1 km s-1 in the solar neighborhood. SN-driven simulations systematically underpredict this value, yielding dispersions in the range 4.9-6.7 km s-1. Simulations with strong enough large-scale forcing can reproduce not only the median observed velocity dispersion, but also the observed velocity distribution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript compares HI line-of-sight velocity dispersion observations in the solar neighborhood (median 11.1 km s^{-1}) with synthetic sky maps constructed from 1 kpc numerical simulations. Supernova-driven runs underpredict the dispersion (4.9-6.7 km s^{-1}), while runs with imposed large-scale turbulent forcing reproduce both the observed median and the full velocity distribution.
Significance. If the central result holds after addressing modeling completeness, the work would indicate that supernova feedback alone cannot sustain the observed HI turbulence levels in the local ISM and that additional large-scale drivers are required. The use of synthetic observations for direct comparison is a methodological strength that allows quantitative assessment of velocity distributions.
major comments (2)
- [§2.1] §2.1 (Simulation setup): The 1 kpc periodic domain omits galactic shear and differential rotation, which are known to inject turbulent energy on scales comparable to the observed 70-500 pc volumes; this choice is load-bearing for the claim that SN driving is insufficient, as the reported underprediction (4.9-6.7 km s^{-1}) could arise from missing large-scale power rather than intrinsic SN limitations.
- [§3] §3 (SN feedback implementation): The fiducial SN rate, energy per explosion, and cooling curve are not shown to be varied or calibrated against independent solar-neighborhood constraints; without a sensitivity test, it remains unclear whether the velocity dispersion shortfall is robust or an artifact of the specific parameter choices.
minor comments (2)
- [Figure 2] Figure 2: The synthetic maps would be clearer if the observed velocity histogram were overlaid directly on the simulated distributions rather than shown in a separate panel.
- [§4.2] §4.2: The text should explicitly state the number of independent SN realizations used to derive the 4.9-6.7 km s^{-1} range and report the standard deviation across those runs.
Simulated Author's Rebuttal
We thank the referee for the detailed and constructive comments. We address each major comment below and have revised the manuscript where appropriate to clarify limitations and strengthen the presentation of our results.
read point-by-point responses
-
Referee: [§2.1] §2.1 (Simulation setup): The 1 kpc periodic domain omits galactic shear and differential rotation, which are known to inject turbulent energy on scales comparable to the observed 70-500 pc volumes; this choice is load-bearing for the claim that SN driving is insufficient, as the reported underprediction (4.9-6.7 km s^{-1}) could arise from missing large-scale power rather than intrinsic SN limitations.
Authors: We agree that the absence of galactic shear and differential rotation in the periodic 1 kpc domain is a modeling limitation, as these processes can inject energy on large scales. Our simulations are intentionally designed to isolate supernova feedback by comparing SN-only runs against those with additional imposed large-scale forcing, where the forcing serves as a proxy for missing large-scale drivers. The consistent underprediction in the SN-driven cases (4.9-6.7 km s^{-1}) relative to the observed 11.1 km s^{-1} median indicates that supernova feedback alone cannot sustain the observed turbulence levels even in this setup. We have added a dedicated paragraph in the revised Section 2.1 discussing this caveat, noting that inclusion of shear would likely increase the dispersion but would not remove the need for non-SN drivers if the SN contribution remains sub-dominant. This does not invalidate the central claim but highlights the value of future simulations with shear. revision: partial
-
Referee: [§3] §3 (SN feedback implementation): The fiducial SN rate, energy per explosion, and cooling curve are not shown to be varied or calibrated against independent solar-neighborhood constraints; without a sensitivity test, it remains unclear whether the velocity dispersion shortfall is robust or an artifact of the specific parameter choices.
Authors: The fiducial supernova parameters (rate corresponding to one SN per ~50 yr in the 1 kpc volume, 10^{51} erg per explosion, and standard atomic cooling) are adopted from established solar-neighborhood calibrations in the literature. While we did not conduct a full sensitivity analysis within this study, the velocity dispersion shortfall is robust across the suite of SN-driven runs performed. We have expanded the discussion in the revised Section 3 to include explicit justification of these choices with references to observational constraints on SN rates and energies. A more comprehensive parameter exploration is beyond the scope of the present work but is noted as a direction for follow-up studies. revision: partial
Circularity Check
No significant circularity; direct simulation-observation comparison is self-contained.
full rationale
The paper runs independent 1 kpc numerical simulations using two specified turbulent drivers (supernova feedback and imposed large-scale forcing), constructs synthetic sky maps to match the observational setup, and compares the resulting HI velocity dispersion statistics directly to the observed median of 11.1 km s^{-1}. No parameters are fitted to the target dispersion value, no self-definitional equations reduce predictions to inputs, and no load-bearing self-citations are invoked to justify the central claim. The underprediction by SN runs (4.9-6.7 km s^{-1}) and the ability of sufficiently strong forcing to match both median and distribution emerge from the simulation physics and setup rather than being imposed by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The simulations accurately capture the relevant physics of turbulence driving.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
SN-driven simulations systematically underpredict this value, yielding dispersions in the range 4.9-6.7 km s-1. Simulations with strong enough large-scale forcing can reproduce not only the median observed velocity dispersion...
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.