Can a Star Be Proven Single? Observational Limits and Theoretical Implications

This paper examines a fundamental but rarely articulated asymmetry in stellar astrophysics: while binarity can be positively established through observation, stellar singleness cannot be proven. The article argues that, for any individual star, it is in principle impossible to demonstrate the absence of all possible companions using finite observational means.

The analysis shows that this limitation is not merely instrumental or technological, but epistemic. All detection methods—direct imaging, spectroscopy, astrometry, transits, eclipses, gravitational waves, and gravitational lensing—operate within constrained sensitivity domains and leave vast regions of binary parameter space unexplored. The absence of detected companions therefore reflects observational limits rather than physical isolation.

Crucially, the paper distinguishes between epistemic undecidability in principle and operational adequacy in practice. Tight observational constraints—such as those achieved by CARMENES for GJ 486—can render remaining admissible companions dynamically or astrophysically negligible for specific modeling purposes. The category "single star" thus retains genuine physical utility within well-defined observational domains, even as it remains provisional and non-absolute at the epistemic level. The argument concerns the logic of classification and revision, not the promotion of hidden binarity as an unfalsifiable explanatory device.

By examining the structure of binary parameter space, star formation theory, multiplicity statistics, and the role of compact objects such as black holes, the paper demonstrates that "single star" is not a physical category but a provisional observational status. The epistemic asymmetry between detection and non-detection leads to a one-directional logic of revision: stars may be reclassified from apparently single to binary, but never from binary to proven single.

The argument is extended to population-level inference, showing that stellar catalogs represent a survivorship-biased census dominated by long-lived, low-mass stars, while massive stars rapidly disappear into dark remnants and undetectable binaries. As a result, true stellar population statistics are fundamentally underdetermined. Population statistics can constrain what is possible, but cannot serve as decisive evidence for star formation mechanisms. Sections on black holes, dark companions, and missing mass are presented as illustrative boundary cases demonstrating epistemic opacity, not as settled empirical claims.

The paper further discusses anthropic bias, the concealment of dark stellar mass, the contribution of compact binaries to galactic mass budgets, and the limits of gravitational lensing as a corrective to electromagnetic bias. Together, these considerations support a methodological shift: binarity should be treated as a standing possibility for any star, while singleness should be regarded as an unprovable hypothesis rather than a default assumption.

This work is intended as a methodological and conceptual contribution to stellar astrophysics and the philosophy of astronomical inference, clarifying the scope and limits of what observations can legitimately establish about stellar multiplicity.

Acknowledgements:

The author thanks José A. Caballero and Carlos Cifuentes San Román (Centro de Astrobiología, Madrid) for valuable correspondence that substantially improved this manuscript. Caballero drew attention to CARMENES results on stellar "singlicity" constraints, particularly the work on GJ 486 representing the tightest observational limits on companion exclusion to date. Cifuentes provided constructive criticism that helped clarify the crucial distinction between epistemic undecidability and operational adequacy, warning against the logical gap between "cannot be excluded in principle" and "should be treated as a standing alternative explanation"—a clarification now explicitly integrated into the argument.

The author also thanks Frédéric Arenou (Observatoire de Paris) for insightful correspondence clarifying the practical limits of Gaia's sensitivity to stellar multiplicity. His observation that "il y a de la marge partout" (there is room everywhere for hidden companions) and the striking example of equal-mass twins ("jumelles parfaites") as a structural blind spot undetectable even by precision astrometry helped sharpen both the instrumental and epistemic aspects of the argument.