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. 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. 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. The author thanks José A. Caballero (Centro de Astrobiología, Madrid) for valuable correspondence and for drawing attention to CARMENES results on stellar 'singlicity' constraints, particularly the work on GJ 486 representing the tightest observational limits on companion exclusion to date. His observation that 'a star is single until demonstrated the opposite' precisely captures the conventional assumption this paper seeks to interrogate. 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, which helped sharpen the instrumental and epistemic aspects of the argument.