A Mean-Density Inversion from the Large Frequency Separation: Error Budget and a Density Test for Kepler Red Giants

The large frequency separation is the most direct asteroseismic observable. This paper computes, from stated assumptions and published stellar values, a quantitative budget for the large frequency separation using published Kepler red-giant and subgiant separations. The headline results are: rho at 20 = 30.9; rho at 103 = 831.2; err 1pct = 2.0; err 05pct = 1.0. Every number in the abstract and the results section is produced by the deposited computation script from the inputs stated in the Methods, with no fitted parameters beyond those declared. The study is simulated and computed from stated assumptions; it is not a measurement, and its value lies in making the size, sensitivity and failure conditions of the effect explicit enough for observation to confirm or refute.