arxiv: 2603.24952 · v1 · submitted 2026-03-26 · 🌌 astro-ph.GA

Recognition: 2 theorem links

· Lean Theorem

Bar Properties and Star-by-Star Bar Membership via Action Conservation

Elizabeth J. Iles , Finn A. Pal , Joss Bland-Hawthorn , Ken Freeman

Authors on Pith no claims yet

Pith reviewed 2026-05-15 01:11 UTC · model grok-4.3

classification 🌌 astro-ph.GA

keywords galactic barsdynamical actionsaction conservationbar membershipstellar dynamicsMilky WayGaia

0 comments

The pith

Dynamical actions identify bar stars and parameters automatically, matching visual estimates within 9 percent on average.

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

The paper develops a method that uses conservation of dynamical actions to decide which stars belong to a galactic bar. Stars inside the bar feel a strongly non-axisymmetric potential, so their actions change more than those of stars on regular orbits. The approach flags bar members by testing whether a star's total action is conserved within its measurement uncertainties. Tests on simulated barred galaxies show that the central region contains fewer stars with conserved actions and that bar-orbit stars exhibit larger action changes. The same criterion yields bar length and orientation values that differ from visual estimates by roughly 9 percent on average.

Core claim

Stars that participate in the bar are subject to a strongly non-axisymmetric potential and therefore do not completely conserve their actions. This property defines a star-by-star criterion, formulated as an inequality and evaluated within measurement uncertainties, to identify bar members based on the degree to which their total action fails to be conserved. In simulated galaxies the bar region shows a lower fraction of conserved-action stars, bar-orbit stars display larger percentage changes in action, and the method recovers the spatial extent of the bar through its length and orientation while separating bar-located stars from bar-member stars on bar orbits.

What carries the argument

The action-conservation inequality that tags individual stars whose total action changes beyond the threshold set by their uncertainties, driven by the non-axisymmetric bar potential.

Load-bearing premise

Actions can be estimated for individual stars with understood intrinsic errors and selection functions, and non-conservation is driven primarily by the bar rather than other non-axisymmetric features or measurement noise.

What would settle it

Run the classification on a simulation snapshot in which the bar is artificially removed or its strength is set to zero and verify whether the fraction of non-conserved-action stars in the central region drops sharply.

read the original abstract

A bar-like central feature is commonly observed in both nearby and distant spiral-type galaxies, including the Milky Way. While many methods exist to categorise this morphology, no one method has emerged as the field-wide standard. To develop a rigorous and consistent method for identifying these bars, we investigate a classification scheme based on dynamical actions. In the Gaia era, actions can be estimated for individual stars in both observations and simulations, making this a natural and unifying diagnostic, assuming the intrinsic errors and selection functions are understood. Our approach is straightforward: stars that participate in the bar are subject to a strongly non-axisymmetric potential and, therefore, do not completely conserve their actions. We use this property to define a star-by-star criterion, formulated as an inequality and evaluated within measurement uncertainties, to identify bar members based on the degree to which their total action fails to be conserved. From tests on simulated galaxies, we find that the bar region is indeed characterised by a lower fraction of stars with conserved actions and that stars on bar orbits are represented by larger percentage changes in their actions. We are able to classify the spatial extent of barred region via the standard parameters of bar length and orientation, while also individually separating bar-located from bar-member stars on bar orbits. As proof of concept, our automated method based on dynamical actions robustly identifies bar parameters that closely match the eye's performance (average bar length variation ~9%) in barred snapshots of the test galaxy.

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 paper's new action-non-conservation inequality gives a workable star-by-star bar tag that recovers visual bar lengths within 9 percent on their test snapshots, but the lack of control runs leaves open whether other effects drive the signal.

read the letter

The main thing here is a direct criterion for tagging individual stars as bar members: compute the fractional change in actions and flag those that exceed a threshold within their uncertainties. This is not just another bar finder; it comes from the physical point that bars break action conservation while axisymmetric parts do not. On the simulated barred snapshots they show the bar region has a lower fraction of conserved-action stars and that bar-orbit stars exhibit larger action shifts, and the recovered length and orientation sit within 9 percent of visual estimates on average. That match is the concrete result worth noting. The method stays parameter-light and applies the same logic to both simulations and, in principle, Gaia-like data. Credit for keeping the test falsifiable and for separating bar-located stars from actual bar-orbit members. The soft spot is the missing baseline. All tests are on barred snapshots of one galaxy; there is no unbarred or axisymmetric control to measure how much action change comes from spirals, buckling, or integrator noise alone. If that background rate is comparable to the bar signal, the spatial extent and the individual memberships become harder to trust. Threshold choice and error propagation details are also light in what is shown, which matters once people try to apply it to real catalogs. This is for galactic-dynamics groups that already work with actions and want a reproducible tag rather than eye-balling or Fourier decompositions. It is worth sending to referees because the core diagnostic is grounded and the claimed performance is checkable; the controls and error budget are the obvious points for revision.

Referee Report

2 major / 1 minor

Summary. The paper introduces a classification scheme for galactic bars and bar-member stars based on the non-conservation of dynamical actions due to the non-axisymmetric bar potential. Using an inequality on the fractional change in total action evaluated within measurement uncertainties, the method is tested on simulated galaxies, showing lower conserved-action fractions in bar regions and recovering bar length and orientation parameters that match visual inspection with an average variation of approximately 9%.

Significance. Should the central assumptions hold, particularly that action non-conservation is primarily bar-driven, this provides a physically grounded, automated, and star-by-star approach to bar identification that could be applied to both N-body simulations and observational data from surveys like Gaia. It addresses the lack of a field-wide standard for bar categorization by leveraging action conservation properties.

major comments (2)

[Tests on simulated galaxies] The test procedure is performed only on barred snapshots of a single galaxy. No control experiments on unbarred snapshots or axisymmetric potentials are reported to establish the baseline rate of action non-conservation arising from spiral arms, buckling, or numerical diffusion in the action estimator. This baseline comparison is load-bearing for validating that the observed differences in conserved-action fractions and the ~9% bar-length agreement are attributable to the bar rather than other effects.
[Criterion definition and results] The action-change threshold in the membership inequality is listed as a free parameter. The manuscript does not demonstrate its sensitivity to measurement errors, selection functions, or variations in the threshold value, nor does it show how these choices propagate into the recovered bar parameters and the separation of bar-located versus bar-orbit stars.

minor comments (1)

[Abstract] The abstract states an 'average bar length variation ~9%' but does not specify the number of snapshots, the exact metric (e.g., rms or mean absolute deviation), or error bars on this figure.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for the constructive major comments. We address each point below and indicate where revisions will be made to strengthen the validation of the method.

read point-by-point responses

Referee: [Tests on simulated galaxies] The test procedure is performed only on barred snapshots of a single galaxy. No control experiments on unbarred snapshots or axisymmetric potentials are reported to establish the baseline rate of action non-conservation arising from spiral arms, buckling, or numerical diffusion in the action estimator. This baseline comparison is load-bearing for validating that the observed differences in conserved-action fractions and the ~9% bar-length agreement are attributable to the bar rather than other effects.

Authors: We agree that explicit control tests on unbarred snapshots would provide a clearer baseline for non-bar contributions to action non-conservation. The current tests focus on demonstrating that the method recovers bar parameters matching visual classification in known barred systems. In the revised manuscript we will add control experiments using unbarred snapshots from the same simulation suite (and, where available, axisymmetric runs) to quantify the baseline rate due to numerical diffusion and other structures. This will allow direct comparison of conserved-action fractions between barred and unbarred cases. revision: yes
Referee: [Criterion definition and results] The action-change threshold in the membership inequality is listed as a free parameter. The manuscript does not demonstrate its sensitivity to measurement errors, selection functions, or variations in the threshold value, nor does it show how these choices propagate into the recovered bar parameters and the separation of bar-located versus bar-orbit stars.

Authors: The threshold is chosen to reflect the estimated uncertainties in the action calculations. We will add a dedicated sensitivity analysis in the revised manuscript, including variations of the threshold by factors of 0.5–2.0, different assumed error levels, and the effect of selection functions. The analysis will show the resulting changes in recovered bar length, orientation, and the separation between bar-located stars and those on bar-supporting orbits, thereby quantifying robustness. revision: yes

Circularity Check

0 steps flagged

No circularity: action non-conservation criterion is physically motivated and externally validated

full rationale

The paper's core step defines bar membership via an inequality on fractional action change, grounded in the physical premise that bars induce strong non-axisymmetric forcing leading to action non-conservation. This is not self-definitional (the inequality is not fitted to the target bar length or orientation), not a renamed known result, and contains no load-bearing self-citation or ansatz smuggling. Validation consists of comparing the resulting bar parameters to visual inspection on simulated snapshots, which is an independent empirical check rather than a reduction to the input definition. No control runs or uniqueness theorems are invoked in a way that collapses the derivation. The method remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The approach rests on standard galactic-dynamics results about action conservation in axisymmetric potentials and the assumption that bars are the dominant source of non-conservation; no new free parameters or invented entities are introduced in the abstract.

free parameters (1)

action-change threshold
The inequality threshold is chosen within measurement uncertainties but its specific numerical value or fitting procedure is not stated in the abstract.

axioms (1)

standard math Actions are conserved in steady, axisymmetric potentials
Invoked in the opening motivation as the baseline against which bar-induced changes are measured.

pith-pipeline@v0.9.0 · 5568 in / 1270 out tokens · 34705 ms · 2026-05-15T01:11:53.897675+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.

stars that participate in the bar are subject to a strongly non-axisymmetric potential and, therefore, do not completely conserve their actions... percentage change in total action (ΔJ_tot%)
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection unclear

?

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

We define the action to be functionally conserved if the percentage change in action is less than 10% of the initial action value

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.