Recognition: 2 theorem links
· Lean TheoremThe Local Tremaine-Weinberg Method for Galactic Pattern Speed: Theory and its Application to IllustrisTNG
Pith reviewed 2026-05-15 16:34 UTC · model grok-4.3
The pith
An integral of the continuity equation over any closed loop defines local galactic pattern speeds
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Integrating the continuity equation over arbitrary closed loops yields a local pattern speed that accurately recovers both constant global values for bars and radially varying profiles for spirals in TNG50 test galaxies, naturally differentiating coherent solid-body rotators from differential spirals.
What carries the argument
The integral form of the continuity equation over arbitrary closed loops, which defines the local pattern speed for the enclosed galactic region.
If this is right
- Standard TW methods emerge exactly when the integration loop is restricted to straight lines or other conventional contours.
- The approach measures both constant pattern speeds in bars and radially varying speeds in spirals within TNG50 face-on and mock Milky Way galaxies.
- Coherent bars appear as solid-body rotators while spirals exhibit differential rotation without imposed geometric approximations.
- The framework extends directly to any non-axisymmetric structure by choosing appropriate closed loops.
Where Pith is reading between the lines
- The same loop integrals could be applied to observed surface-density maps to extract local pattern speeds from real telescope data.
- Repeated application over simulation time steps would track how local speeds change as bars slow or spirals wind.
- Inclusion of gas or star-formation tracers in the continuity integral could link pattern speeds to observable star-formation patterns.
Load-bearing premise
That integrating the continuity equation over arbitrary closed loops directly yields accurate local pattern speeds without significant biases from projection, noise, or non-steady flows.
What would settle it
A direct comparison showing mismatch between the local pattern speed computed from the integral method and the true pattern speed measured by tracking density feature rotation in the same simulation snapshot.
Figures
read the original abstract
The Tremaine-Weinberg (TW) method and its variations provide the most direct means to measure the pattern speeds of galactic bars. We establish a unifying framework by deriving an integral form of the continuity equation over an arbitrary closed loop. This naturally defines a local pattern speed for any chosen region in a galactic disk (including bars and spirals). We demonstrate that this intuitive formalism recovers all standard variants of the TW method as special cases corresponding to specific choices of the integration loop. In this paper, we validate this framework and demonstrate its diagnostic power. By applying it to a diverse set of test cases from the TNG50 simulation, including face-on prototype barred galaxies and highly constrained Mock Milky Way standard configurations, we show that this formalism accurately recovers both constant global pattern speeds and radially varying profiles. Rather than relying on rigid geometric approximations, our method naturally differentiates coherent solid-body rotators (bars) from spirals. Our results validate that this unified integral framework provides a robust, geometrically flexible, and practically extensible tool for decoding complex dynamics of galactic structures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives a local Tremaine-Weinberg method by integrating the 2D continuity equation over arbitrary closed loops to define a local pattern speed Ω_p for any region in a galactic disk. It shows that standard TW variants emerge as special cases for particular loop choices, and validates the approach on TNG50 simulations of face-on barred galaxies and mock Milky Way configurations, recovering both constant global pattern speeds and radially varying profiles while distinguishing solid-body bars from spirals.
Significance. If the central claim holds after addressing potential biases, the framework offers a geometrically flexible extension of the TW method that avoids rigid assumptions and can differentiate coherent rotators from spirals in both simulations and observations. The TNG50 tests on diverse cases provide initial support for its diagnostic utility in decoding complex galactic dynamics.
major comments (2)
- [Abstract and validation on TNG50] Abstract and validation description: the claim that the method accurately recovers expected pattern speeds in TNG50 test cases is not supported by reported quantification of continuity-equation residuals arising from star-formation sinks, supernova feedback, numerical diffusion, and finite particle sampling; these source terms violate the exact continuity assumption underlying the integral form ∮ (Σ v · dl) / ∮ (Σ x_perp dl) = Ω_p and could systematically bias the recovered Ω_p(r) profiles or the bar-versus-spiral distinction.
- [Theory section (integral form derivation)] Theory derivation: the integral framework assumes the continuity equation holds without source terms over the chosen closed loop, yet the manuscript does not derive or test correction terms for non-steady flows or discreteness effects present in IllustrisTNG snapshots; this assumption is load-bearing for the claim that the method yields unbiased local pattern speeds.
minor comments (2)
- [Application to mock Milky Way] Clarify the precise criteria used to select closed loops in the highly constrained mock Milky Way configurations and how projection effects are mitigated.
- [Results figures] Include explicit error bars or residual maps for the recovered Ω_p(r) in the TNG50 figures to allow assessment of precision.
Simulated Author's Rebuttal
We thank the referee for their constructive comments, which highlight important aspects of the continuity assumption and validation. We address each major comment below and will revise the manuscript accordingly to strengthen the presentation.
read point-by-point responses
-
Referee: [Abstract and validation on TNG50] Abstract and validation description: the claim that the method accurately recovers expected pattern speeds in TNG50 test cases is not supported by reported quantification of continuity-equation residuals arising from star-formation sinks, supernova feedback, numerical diffusion, and finite particle sampling; these source terms violate the exact continuity assumption underlying the integral form ∮ (Σ v · dl) / ∮ (Σ x_perp dl) = Ω_p and could systematically bias the recovered Ω_p(r) profiles or the bar-versus-spiral distinction.
Authors: We agree that explicit quantification of residuals would strengthen the validation claims. While the TNG50 tests recover known pattern speeds from independent methods, the manuscript does not report the magnitude of source terms. In the revised manuscript we will add a dedicated analysis section (with new figure) that computes the integrated continuity residuals for the selected galaxies, estimates their contribution relative to the measured integrals, and discusses any resulting bias on Ω_p(r) and the bar/spiral distinction. revision: yes
-
Referee: [Theory section (integral form derivation)] Theory derivation: the integral framework assumes the continuity equation holds without source terms over the chosen closed loop, yet the manuscript does not derive or test correction terms for non-steady flows or discreteness effects present in IllustrisTNG snapshots; this assumption is load-bearing for the claim that the method yields unbiased local pattern speeds.
Authors: The integral form follows directly from integrating the source-free continuity equation, recovering the standard TW method as a special case. In TNG50 the assumption is necessarily approximate; our empirical recovery of expected pattern speeds indicates the net effect of sources and discreteness is small for the chosen loops. Deriving general analytic corrections for arbitrary source terms is not straightforward and lies outside the scope of the present work. We will nevertheless revise the theory section to include an explicit discussion of the assumption, provide order-of-magnitude estimates of discreteness and non-steady contributions from the simulation data, and add sensitivity tests that vary loop size and smoothing scale. revision: partial
Circularity Check
No circularity: derivation rests on standard continuity equation
full rationale
The paper starts from the continuity equation, integrates it over arbitrary closed loops to define local pattern speed, and shows that existing TW variants emerge as special cases for particular loop choices. This is a direct mathematical consequence of the continuity equation itself rather than a fit, self-citation chain, or redefinition of inputs. No load-bearing step reduces to a parameter fitted from the target result, and the TNG50 applications are presented as validation tests rather than part of the derivation. The framework is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The continuity equation holds for the surface density and velocity field in the galactic disk
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We establish a unifying framework by deriving an integral form of the continuity equation over an arbitrary closed loop... Ωp = −∮∂S Σ vn dl / ∮∂S Σ r · dl (Eq. 3)
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The framework... recovers all standard variants of the TW method as special cases... applied to TNG50 simulation
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
-
[1]
Aguerri, J. A. L., Méndez-Abreu, J., Falcón-Barroso, J., et al. 2015, A&A, 576, A102, doi: 10.1051/0004-6361/201423383
-
[2]
Ansar, S., Pearson, S., Sanderson, R. E., et al. 2025, ApJ, 978, 37, doi: 10.3847/1538-4357/ad8b45
- [3]
-
[4]
1992, MNRAS, 259, 345, doi: 10.1093/mnras/259.2.345
Athanassoula, E. 1992, MNRAS, 259, 345, doi: 10.1093/mnras/259.2.345
-
[5]
Athanassoula, E. 2003, MNRAS, 341, 1179, doi: 10.1046/j.1365-8711.2003.06473.x
-
[6]
2023, ApJ, 953, 173, doi: 10.3847/1538-4357/ace2b9
Beane, A., Hernquist, L., D’Onghia, E., et al. 2023, ApJ, 953, 173, doi: 10.3847/1538-4357/ace2b9
-
[7]
2008, Galactic Dynamics: Second Edition
Binney, J., & Tremaine, S. 2008, Galactic Dynamics: Second Edition
work page 2008
-
[8]
Borodina, O., Williams, T. G., Sormani, M. C., Meidt, S., & Schinnerer, E. 2023, MNRAS, 524, 3437, doi: 10.1093/mnras/stad2068
- [9]
-
[10]
Cuomo, V., Aguerri, J. A. L., Corsini, E. M., & Debattista, V. P. 2020, A&A, 641, A111, doi: 10.1051/0004-6361/202037945
-
[11]
Cuomo, V., Lee, Y. H., Buttitta, C., et al. 2021, A&A, 649, A30, doi: 10.1051/0004-6361/202040261
-
[12]
Cuomo, V., Lopez Aguerri, J. A., Corsini, E. M., et al. 2019, A&A, 632, A51, doi: 10.1051/0004-6361/201936415 de Araujo Ferreira, P., Napolitano, N. R., Casarini, L., et al. 2025, MNRAS, 539, 2855, doi: 10.1093/mnras/staf646
-
[13]
Debattista, V. P., Gerhard, O., & Sevenster, M. N. 2002, MNRAS, 334, 355, doi: 10.1046/j.1365-8711.2002.05500.x
-
[14]
Debattista, V. P., & Sellwood, J. A. 2000, ApJ, 543, 704, doi: 10.1086/317148
-
[15]
2023, MNRAS, 518, 2712, doi: 10.1093/mnras/stac3184
Dehnen, W., Semczuk, M., & Schönrich, R. 2023, MNRAS, 518, 2712, doi: 10.1093/mnras/stac3184
-
[16]
Du, H., Wang, Y., & Ge, J. 2026, arXiv e-prints, arXiv:2603.21279, doi: 10.48550/arXiv.2603.21279
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2603.21279 2026
- [17]
-
[18]
Eskridge, P. B., Frogel, J. A., Pogge, R. W., et al. 2000, AJ, 119, 536, doi: 10.1086/301203
-
[19]
2022, ApJ, 940, 61, doi: 10.3847/1538-4357/ac9972
Frankel, N., Pillepich, A., Rix, H.-W., et al. 2022, ApJ, 940, 61, doi: 10.3847/1538-4357/ac9972
-
[20]
2020, MNRAS, 491, 3655, doi: 10.1093/mnras/stz3101
Garma-Oehmichen, L., Cano-Díaz, M., Hernández-Toledo, H., et al. 2020, MNRAS, 491, 3655, doi: 10.1093/mnras/stz3101
-
[21]
2022, MNRAS, 517, 5660, doi: 10.1093/mnras/stac3069 Géron, T., Smethurst, R
Garma-Oehmichen, L., Hernández-Toledo, H., Aquino-Ortíz, E., et al. 2022, MNRAS, 517, 5660, doi: 10.1093/mnras/stac3069 Géron, T., Smethurst, R. J., Lintott, C., et al. 2023, MNRAS, 521, 1775, doi: 10.1093/mnras/stad501
-
[22]
2019, MNRAS, 482, 1733, doi: 10.1093/mnras/sty2715
Guo, R., Mao, S., Athanassoula, E., et al. 2019, MNRAS, 482, 1733, doi: 10.1093/mnras/sty2715
-
[23]
2024, A&A, 691, A122, doi: 10.1051/0004-6361/202451028
Habibi, A., Roshan, M., Hosseinirad, M., et al. 2024, A&A, 691, A122, doi: 10.1051/0004-6361/202451028
-
[24]
Knapen, J. H. 1999, in Astronomical Society of the Pacific Conference Series, Vol. 187, The Evolution of Galaxies on Cosmological Timescales, ed. J. E. Beckman & T. J. Mahoney, 72–87, doi: 10.48550/arXiv.astro-ph/9907290
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.astro-ph/9907290 1999
-
[25]
Lin, C. C., & Shu, F. H. 1964, ApJ, 140, 646, doi: 10.1086/147955
-
[26]
Meidt, S. E., Rand, R. J., & Merrifield, M. R. 2009, ApJ, 702, 277, doi: 10.1088/0004-637X/702/1/277
-
[27]
Meidt, S. E., Rand, R. J., Merrifield, M. R., Debattista, V. P., & Shen, J. 2008, ApJ, 676, 899, doi: 10.1086/527530
-
[28]
Merrifield, M. R., & Kuijken, K. 1995, MNRAS, 274, 933, doi: 10.1093/mnras/274.3.933
-
[29]
2019, MNRAS, 490, 3234, doi: 10.1093/mnras/stz2306
Nelson, D., Pillepich, A., Springel, V., et al. 2019, MNRAS, 490, 3234, doi: 10.1093/mnras/stz2306
-
[30]
2023, A&A, 673, A36, doi: 10.1051/0004-6361/202245463
Pfenniger, D., Saha, K., & Wu, Y.-T. 2023, A&A, 673, A36, doi: 10.1051/0004-6361/202245463
-
[31]
2019, MNRAS, 490, 3196, doi: 10.1093/mnras/stz2338
Pillepich, A., Nelson, D., Springel, V., et al. 2019, MNRAS, 490, 3196, doi: 10.1093/mnras/stz2338
-
[32]
2024, MNRAS, 535, 1721, doi: 10.1093/mnras/stae2165
Pillepich, A., Sotillo-Ramos, D., Ramesh, R., et al. 2024, MNRAS, 535, 1721, doi: 10.1093/mnras/stae2165
-
[33]
Quinn, J. R., Loebman, S. R., Daniel, K. J., et al. 2026, ApJ, 997, 363, doi: 10.3847/1538-4357/ae2be1
-
[34]
2008, , 385, 1053, 10.1111/j.1365-2966.2008.12909.x
Rautiainen, P., Salo, H., & Laurikainen, E. 2008, MNRAS, 388, 1803, doi: 10.1111/j.1365-2966.2008.13522.x 30
-
[35]
Rodriguez-Gomez, V., Snyder, G. F., Lotz, J. M., et al. 2019, MNRAS, 483, 4140, doi: 10.1093/mnras/sty3345
-
[36]
2022, MNRAS, 512, 5339, doi: 10.1093/mnras/stac816
Rosas-Guevara, Y., Bonoli, S., Dotti, M., et al. 2022, MNRAS, 512, 5339, doi: 10.1093/mnras/stac816
-
[37]
Sanders, J. L., Smith, L., & Evans, N. W. 2019, MNRAS, 488, 4552, doi: 10.1093/mnras/stz1827
-
[38]
Sellwood, J. A. 2011, MNRAS, 410, 1637, doi: 10.1111/j.1365-2966.2010.17545.x
-
[39]
Sellwood, J. A. 2014, Reviews of Modern Physics, 86, 1, doi: 10.1103/RevModPhys.86.1
-
[40]
Sellwood, J. A., & Carlberg, R. G. 1984, ApJ, 282, 61, doi: 10.1086/162176
-
[41]
Sellwood, J. A., & Debattista, V. P. 2006, ApJ, 639, 868, doi: 10.1086/499482
-
[42]
Sellwood, J. A., & Sparke, L. S. 1988, MNRAS, 231, 25P, doi: 10.1093/mnras/231.1.25P
-
[43]
Sellwood, J. A., & Wilkinson, A. 1993, Reports on Progress in Physics, 56, 173, doi: 10.1088/0034-4885/56/2/001
-
[44]
2024, A&A, 692, A159, doi: 10.1051/0004-6361/202451521
Semczuk, M., Dehnen, W., Schönrich, R., & Athanassoula, E. 2024, A&A, 692, A159, doi: 10.1051/0004-6361/202451521
-
[45]
2020, Research in Astronomy and Astrophysics, 20, 159, doi: 10.1088/1674-4527/20/10/159
Shen, J., & Zheng, X.-W. 2020, Research in Astronomy and Astrophysics, 20, 159, doi: 10.1088/1674-4527/20/10/159
-
[46]
Speights, J. C., & Rooke, P. C. 2016, ApJ, 826, 2, doi: 10.3847/0004-637X/826/1/2
-
[47]
1981, in Structure and Evolution of Normal Galaxies, ed
Toomre, A. 1981, in Structure and Evolution of Normal Galaxies, ed. S. M. Fall & D. Lynden-Bell, 111–136
work page 1981
-
[48]
Tremaine, S., & Weinberg, M. D. 1984, ApJL, 282, L5, doi: 10.1086/184292
-
[49]
G., Schinnerer, E., Emsellem, E., et al
Williams, T. G., Schinnerer, E., Emsellem, E., et al. 2021, AJ, 161, 185, doi: 10.3847/1538-3881/abe243
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.