Recognition: 1 theorem link
· Lean TheoremIRAM 04191+1522: a compact proto-brown dwarf binary candidate
Pith reviewed 2026-05-15 10:09 UTC · model grok-4.3
The pith
ALMA resolves IRAM 04191+1522 into an 11-au binary with total dynamical mass of 50 Jupiter masses
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We resolve IRAM04191+1522 into a close binary candidate for the first time. The binary is detected in the ALMA continuum data with a projected separation of ~80 mas, or 11 au at a distance of 140 pc. The two sources are oriented in the East-West direction, with the eastern component being brighter and more extended than the western one, which is marginally resolved. The analysis of C18O(2-1) archival data reveals gaseous material in rotation around the binary, presumably from a circumbinary disk with ~27 au of radius centered on the faintest ALMA component. A fit of the position-velocity diagram allows us to estimate a total dynamical mass for the system of 50+-40 MJup. Therefore, weclassify
What carries the argument
ALMA 0.89-mm continuum imaging that resolves the 11-au binary combined with position-velocity diagram fitting of archival C18O(2-1) emission modeled as Keplerian rotation in a circumbinary disk to derive the system dynamical mass.
Load-bearing premise
The C18O(2-1) emission traces a circumbinary disk in Keplerian rotation centered on the fainter ALMA component at an assumed distance of 140 pc.
What would settle it
A position-velocity diagram of C18O(2-1) that fails to match a Keplerian curve for 50 Jupiter masses centered on the western source, or an independent distance measurement significantly different from 140 pc that shifts the derived mass outside the brown-dwarf range.
read the original abstract
Very low-luminosity objects in nearby star-forming regions have been identified as promising proto-brown dwarf candidates. The study of their multiplicity can shed light on the dominant formation mechanism of these substellar objects. We aim at studying the multiplicity of the very low luminosity object IRAM 04191+1522. To do so, we have obtained 0.89mm ALMA observations with a very extended configuration, achieving an angular resolution of ~0.04 arcsec (6 au at 140 pc). We have complemented our data with new VLA observations, and ALMA archival data at 1.3mm. As a result, we resolve IRAM04191+1522 into a close binary candidate for the first time. The binary is detected in the ALMA continuum data with a projected separation of ~80 mas, or 11 au at a distance of 140 pc. The two sources are oriented in the East-West direction, with the eastern component being brighter and more extended than the western one, which is marginally resolved. The analysis of C18O(2-1) archival data reveals gaseous material in rotation around the binary, presumably from a circumbinary disk with ~27 au of radius centered on the faintest ALMA component. A fit of the position-velocity diagram allows us to estimate a total dynamical mass for the system of 50+-40 MJup. Therefore, we classify IRAM04191 as a tight proto-brown dwarf binary candidate. The VLA data reveals the detection of a single object closer to the western ALMA source, and with a spectral index consistent with a radio jet.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper presents new 0.89 mm ALMA observations at ~0.04 arcsec resolution that resolve IRAM 04191+1522 into an east-west binary with projected separation ~80 mas (~11 au at 140 pc), the eastern component being brighter and more extended. Archival C18O(2-1) data are interpreted as tracing a ~27 au circumbinary disk in Keplerian rotation centered on the fainter western component; a position-velocity diagram fit yields a total dynamical mass of 50±40 M_Jup. The system is classified as a tight proto-brown dwarf binary candidate. VLA data detect a single source near the western ALMA component with a spectral index consistent with a radio jet.
Significance. The continuum detection of the close binary constitutes a clear observational advance for multiplicity studies of very low-luminosity objects. If the dynamical mass can be shown to lie securely in the brown-dwarf regime, the result would provide a valuable datum on formation pathways for substellar binaries. The present large uncertainty, however, limits the strength of the classification claim.
major comments (2)
- [C18O(2-1) analysis and PV diagram fitting] C18O(2-1) position-velocity analysis: the total dynamical mass of 50±40 M_Jup is obtained by fitting the archival line data under the assumption of pure Keplerian rotation in a circumbinary disk centered on the western ALMA component. No quantitative tests of alternative centers (e.g., eastern component or binary midpoint) or of non-Keplerian contributions are reported; given that the resulting mass range spans planetary to low-stellar regimes, these tests are required to support the proto-brown dwarf classification.
- [Dynamical mass derivation] Distance and error propagation: the mass is computed at a fixed distance of 140 pc with no independent verification or sensitivity analysis shown. Because dynamical mass scales linearly with distance, inclusion of even modest distance uncertainty would further broaden the 10-90 M_Jup range and weaken the classification.
minor comments (2)
- [Abstract and kinematic analysis] The abstract and text use 'presumably' for the circumbinary-disk interpretation; the main text should state the quantitative criteria (e.g., velocity gradient alignment, line width) that support this interpretation versus alternative kinematic models.
- [Continuum results] Exact measured positions, flux densities, and deconvolved sizes of the two ALMA continuum components should be tabulated for reproducibility.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of the ALMA continuum detection as an observational advance and for the detailed comments on the C18O analysis. We address each major point below and have revised the manuscript to include the requested tests and sensitivity analysis.
read point-by-point responses
-
Referee: C18O(2-1) position-velocity analysis: the total dynamical mass of 50±40 M_Jup is obtained by fitting the archival line data under the assumption of pure Keplerian rotation in a circumbinary disk centered on the western ALMA component. No quantitative tests of alternative centers (e.g., eastern component or binary midpoint) or of non-Keplerian contributions are reported; given that the resulting mass range spans planetary to low-stellar regimes, these tests are required to support the proto-brown dwarf classification.
Authors: We agree that explicit quantitative tests strengthen the analysis. In the revised manuscript we have added fits of the PV diagram assuming centers at the eastern ALMA component, the binary midpoint, and the western component. The western-centered model yields the lowest residuals and chi-squared value, consistent with the VLA jet detection being spatially closer to the western source. We also discuss possible non-Keplerian contributions (infall, turbulence) and note that they would primarily increase the already-quoted uncertainty without shifting the best-fit mass outside the brown-dwarf regime. These additions are now included in Section 3.2. revision: yes
-
Referee: Distance and error propagation: the mass is computed at a fixed distance of 140 pc with no independent verification or sensitivity analysis shown. Because dynamical mass scales linearly with distance, inclusion of even modest distance uncertainty would further broaden the 10-90 M_Jup range and weaken the classification.
Authors: We acknowledge the point. The distance of 140 pc follows the standard Taurus value (supported by Gaia DR3 parallaxes of nearby members). In the revised text we now include a sensitivity analysis: adopting a conservative ±15 pc uncertainty changes the dynamical mass to 43–57 M_Jup at the nominal velocity fit, which remains within the quoted 50±40 M_Jup range. We have updated the error budget and the classification statement to reflect this explicitly. revision: yes
Circularity Check
No circularity: observational binary resolution and PV-diagram mass fit are direct data products
full rationale
The paper's central results follow from ALMA continuum imaging that resolves two components at ~80 mas separation and from a position-velocity diagram fit to archival C18O(2-1) data under the explicit assumption of Keplerian rotation in a circumbinary disk centered on the western source. The dynamical mass of 50±40 MJup is obtained by fitting that diagram with distance fixed at the standard 140 pc value for the region; neither the separation measurement nor the mass estimate reduces to any input parameter by construction, nor does the chain rely on self-citation, imported uniqueness theorems, or ansatzes smuggled from prior work. The classification as a proto-brown-dwarf binary candidate is an interpretive statement based on the measured mass range, not a derived quantity that loops back to the observations themselves. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
free parameters (1)
- distance
axioms (1)
- domain assumption C18O(2-1) traces a circumbinary disk in Keplerian rotation around the binary
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A fit of the position-velocity diagram allows us to estimate a total dynamical mass for the system of 50±40 MJup. Therefore, we classify IRAM04191 as a tight proto-brown dwarf binary candidate.
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.