{"id":"46237470-0254-4367-a071-a9a193b8f8bc","arxiv_id":"1909.13636","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Halley's 1717 evidence for stellar proper motion does not survive a modern re-analysis, and Jacques Cassini's 1738 measurement of Arcturus provides the first statistically significant detection.","lead":"In 1717 Edmond Halley claimed that four bright stars were drifting after comparing their positions with ancient Greek and Tycho Brahe measurements. This paper redoes the calculations with modern data and shows Halley was misled by old measurement errors, and that Jacques Cassini deserves the credit for the first solid detection of proper motion.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"If Heliodorus's occultation was observed in Athens rather than Alexandria, the paper's own Table 3 shows the event supports a southward Aldebaran proper motion; the Neugebauer-based Alexandria premise is load-bearing for the 'Cassini first' claim.","rationale":"The reader's weakest assumption correctly identifies the Alexandria site premise as load-bearing. The paper's latitude analysis is well supported: Table 2 reproduces Halley's arithmetic, recomputes it with correct obliquity, and compares against HIPPARCOS ground truth; the conclusion that the four latitude differences are individually and collectively consistent with catalogue noise is credible. The Cassini claim is less formally quantified, but the stated sub-arcminute errors and the 2′ change in Arcturus latitude over 66 years make a significant detection plausible, so I would not rest the main critique there. The occultation argument is the point where the conclusion depends on a factual premise that the paper adopts rather than establishes. The authors themselves note the Greek text does not mention the location, and the site identification comes from Neugebauer's career-based inference about Heliodorus. If that inference is wrong, the paper's own computation shows a real Athenian occultation that is consistent with Aldebaran's modern proper motion and not with zero proper motion. That would not prove Halley's discovery in the modern significance sense, because of ΔT uncertainty, but it would undermine the stronger priority claim that Cassini's Arcturus study is the first significant evidence. The reader's conditional verdict already accounts for this uncertainty, so my review does not change the verdict, but it confirms the condition: the Alexandria premise must be independently verified.","tokens_in":12439,"tokens_out":8169,"duration_ms":81177,"concrete_test":"Perform a sensitivity analysis treating the observation site as an unknown parameter: recompute the 509 March 11 Moon/Aldebaran geometry for a grid of plausible sites between Alexandria and Athens, and for ΔT between 11 and 5760 s. If any site in the plausible range (including Athens) yields an occultation for the HIPPARCOS-based position but not for zero proper motion, then the paper's conclusion that the event provides no evidence for Aldebaran's proper motion depends entirely on the unverified Alexandria identification; that identification should then be checked against Neugebauer's original argument and, if it fails, the 'Cassini first' verdict should be revised.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central demotion of Halley rests on two legs: the latitude comparisons are statistically insignificant, and the 509 CE Aldebaran occultation cannot confirm Halley because it was almost certainly observed in Alexandria, where no occultation occurred. The second leg carries a factual premise taken from Neugebauer's inference about Heliodorus's career (Section 'Occultation of Aldebaran by the Moon: modern'). If that premise is wrong and the observation was made in Athens—the site assumed by Boulliau and Halley, and the only location named in the discussion—the authors' own calculation in Table 3 shows that Aldebaran was occulted: at closest approach the topocentric latitude of the Moon's center in Athens is −5.343°, while the correct latitude of Aldebaran in 509 is −5.573°, putting the star 1.4′ inside the lunar limb; the no-proper-motion position (−5.641°) would not be occulted. Thus a genuine Athenian observation is direct evidence for the southward motion Halley inferred. The authors soften this by noting that Halley could not compute the lunar position accurately because of unknown ΔT, but the claim that Cassini's Arcturus study is the first significant evidence requires the ancient record to carry no evidentiary weight; that in turn depends on Alexandria. The philological basis for Alexandria is thin: the Greek text is ambiguous about location, and Neugebauer's career argument is not re-examined in this paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper re-examines Edmond Halley's 1717 claim to have detected proper motion in four bright stars (Aldebaran, Sirius, Arcturus, Betelgeuse) by comparing contemporaneous latitudes with those from Ptolemaios and Brahe. Using modern astrometric data (HIPPARCOS) and published error estimates for the historical catalogs, the authors show that Halley's latitude differences are consistent with catalog noise and do not constitute significant evidence for proper motion. They also analyze the lunar occultation of Aldebaran on 11 March 509, arguing that it was 'almost certainly' observed in Alexandria rather than Athens, and that in Alexandria no occultation occurred; even for Athens, the paper argues, the required lunar calculation was beyond the accuracy of Halley and his contemporaries. Finally, the paper credits Jacques Cassini's 1738 study of Arcturus as the first significant evidence for proper motion, based on an improved redetermination of Brahe's latitudes and a comparison with Richer's and his own measurements.","tokens_in":12610,"tokens_out":16200,"duration_ms":150705,"significance":"If the authors' analysis is correct, the paper revises the standard historical narrative that Halley discovered proper motion, assigning that role to Jacques Cassini. The strength of the paper is its transparent, quantitative re-analysis: the latitude comparison is anchored to HIPPARCOS astrometry and to independent catalog error estimates (Verbunt & van Gent), and the occultation discussion uses a modern lunar ephemeris and explicitly acknowledges the effect of ΔT uncertainty. The statistical argument that Halley's inferred latitude shifts fall within the measurement noise of the ancient catalogs is convincing and properly accounts for the selection of stars with apparently high proper motion. The paper also provides a careful philological transcription of the Heliodorus text, which is a useful addition.","major_comments":[{"comment":"The attribution of the observation site to Alexandria is adopted from Neugebauer (ref. 9) without critical examination, yet the authors' own calculations show that the site is decisive: at closest approach in Athens the Moon's topocentric latitude (-5.343°) puts Aldebaran (correct latitude -5.573°) 1.4′ inside the lunar limb, whereas in Alexandria the star is well outside the limb. Since the Greek text does not specify the site, the assertion that the observation was 'almost certainly made in Alexandria' is load-bearing and needs either a detailed philological defense or an explicit conditional framing.","section":"Occultation of Aldebaran by the Moon: modern; Table 3"},{"comment":"The claim that Cassini's Arcturus proper motion is significant is stated without a formal error propagation; the authors give the uncertainties of individual latitudes (better than 1′ for the Brahe redetermination, better than 0.5′ for Richer and Cassini), but they do not compute the combined uncertainty of the -2′ change between 1672 and 1738, so the significance is asserted rather than demonstrated.","section":"Cassini; Table 4"},{"comment":"The conclusion that Cassini's Arcturus study 'provides the first significant evidence for proper motion' is a strong historical claim that is not supported by a systematic survey of pre-1738 candidates; the paper only dismisses Halley's arguments and mentions I-Hsing, so the 'first' should either be qualified (e.g., 'among the studies examined here') or supported with a more comprehensive historical review.","section":"Abstract; Discussion"}],"minor_comments":[{"comment":"The Brahe-to-Halley columns for Aldebaran and Betelgeuse contain only three entries while the header lists four columns (a)-(d); the authors should insert dashes or an explanatory note to clarify which comparison is missing.","section":"Table 2"},{"comment":"The spelling of the star's name is inconsistent: 'Palilicium' in the introduction and 'Pallicium' in the occultation section; please standardize.","section":"Introduction; Occultation of Aldebaran by the Moon: Halley"},{"comment":"The phrase 'after the lighting of the lamps' is translated; it might help readers to have a footnote on the approximate local time corresponding to this phrase.","section":"Occultation of Aldebaran by the Moon: modern"},{"comment":"In the list of differences for several stars (e.g., '20′′ for Antares (66′′)'), the meaning of the parenthetical values should be stated explicitly to avoid confusion.","section":"Cassini"},{"comment":"The citation for the libTheSky VISLIMIT implementation (reference 23) should include a proper software citation or URL.","section":"References"},{"comment":"The discussion of Macrobius is interesting but speculative; consider moving it to a footnote or adding a reference to scholarly interpretations.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the paper is a solid quantitative re-analysis, but the site-attribution issue is the main risk to the historical conclusion. If the authors can convincingly defend the Alexandria attribution or weaken the claim accordingly, the paper would be suitable for publication. The statistical argument for the latitude comparison is convincing."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, the main quantitative argument is solid: once you put realistic errors on Ptolemy's latitudes (~23′) and Brahe's (~2′), none of the four stars Halley used shows a significant latitude change, and the paper reproduces Halley's arithmetic closely enough to show exactly where the signal came from. Second, the positive claim that Jacques Cassini's 1738 Arcturus study is the first significant evidence for proper motion is plausible but not as airtight as the Halley part, because it depends on dismissing a 509 CE Aldebaran occultation that the authors want to relocate from Athens to Alexandria.\n\nWhat's genuinely new: earlier authors (van de Kamp, Brandt) had already smelled trouble with Halley's Aldebaran and Betelgeuse, but this is the first time all four stars get a proper significance test against HIPPARCOS ground truth, with the obliquity error and catalog noise both taken into account. The selection-bias point is good too — Halley chose stars that looked like they moved. The occultation section is methodologically careful: modern lunar ephemeris, Morrison–Stephenson ΔT, and a sensitivity test running from ΔT = 5620 s down to 11 s. And they give Cassini real credit while noting that Cassini himself was inconsistent about when to trust Ptolemy — the treatment of the historical actors is fair.\n\nThe soft spot is exactly where the stress test points. The paper's own Table 3 shows that in Athens at closest approach the Moon's center sits at latitude −5.343°, with Aldebaran's true 509 position at −5.573° — about 1.4′ inside the limb. So if Heliodorus's observation was genuinely made in Athens, the text does support a southward-moving Aldebaran, meaning it corroborates Halley's inference. The paper's fallback — that the accuracy needed to decide was beyond Boulliau and Halley, and that the Greek text's details are unreliable — is real, but it proves Halley couldn't have made the case rigorously, not that the observation carries no evidentiary weight. The location premise comes from Neugebauer's reading of Heliodorus's career, and the paper doesn't re-examine it; the Greek text never names the site. To their credit, the authors flag all this explicitly, including the ligature ambiguity in the Appendix.\n\nMinor: the Cassini claim is asserted as significant from error estimates rather than shown through the same significance machinery used against Halley; the arithmetic is simple enough that this is unlikely to change the verdict, but a formal number would close the loop. No code accompanies the paper, which is a nuisance but not a blocker given the detailed tables.\n\nWho's it for: historians of astronomy and textbook writers, plus anyone who wants a clean worked example of why pre-statistical-era claims need error bars before being quoted. I'd send it to a serious referee. The referee's main jobs: pressure the Alexandria premise, and ask for the Cassini significance calc.","headline":"The core quantitative claim is right — Halley's data fail significance testing — but the 'Cassini first' verdict rests on an unexamined premise about where a 509 CE occultation was observed.","tokens_in":13246,"tokens_out":7247,"would_cite":false,"duration_ms":65028,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Modern reanalysis shows Halley's 1717 latitude comparisons do not establish stellar proper motion, while Cassini's 1738 Arcturus measurement does.","keywords":["proper motion","Edmond Halley","Jacques Cassini","ecliptic latitude","measurement error","star catalogues","Aldebaran occultation","Arcturus"],"falsifier":"A decisive test is independent historical evidence on the site of Heliodorus's observation: if the report is pinned to Athens from the career or textual details, the paper's rejection of Halley's occultation argument fails on its own numbers, because under the Athens assumption the true 509 position of Aldebaran lies just inside the lunar limb at closest approach.","tokens_in":12125,"feed_emoji":"🔭","tokens_out":23486,"duration_ms":208365,"temperature":0.7,"pith_summary":"The paper reopens the question of who first detected stellar proper motion. It argues that Halley's 1717 claim, based on comparing the latitudes of Aldebaran, Sirius, Arcturus, and Betelgeuse in Ptolemaios's and Brahe's catalogues with contemporary positions, collapses once measurement errors are included: the reported differences lie within the one-sigma latitude errors of those old catalogues. The paper also reconstructs the 11 March 509 lunar occultation of Aldebaran with modern lunar theory and the Earth's rotation correction, concluding that the observation was almost certainly made in Alexandria, where no occultation occurred, and that the required accuracy was beyond contemporary reach. By contrast, it shows that Jacques Cassini's 1738 study, using a re-reduction of Brahe's altitudes and comparing Richer's 1672 with his own 1738 measurements of Arcturus, yielded a latitude change significant at about the one-arcminute level — the first significant detection of proper motion.","feed_headline":"First true proper-motion evidence came from Cassini, not Halley","feed_subtitle":"Modern reanalysis: Halley's latitude gaps were just old-catalogue errors; Cassini's Arcturus shift was real.","key_machinery":"The central instrument is the catalogue latitude error budget: the one-$\\sigma$ uncertainty $\\sigma_\\beta$ in ecliptic latitude for each source ($\\simeq 23'$ for Ptolemaios, $2'$ for Brahe, $0.5'$ for Flamsteed, $\\lesssim 1'$ for Cassini's reductions), used as the yardstick for whether a measured latitude difference $\\Delta\\beta$ is significant. For the occultation test, the load-bearing object is the topocentric lunar position relative to Aldebaran, computed from a modern lunar ephemeris with the Earth's rotation correction $\\Delta T$; the result turns on lunar parallax and on where the observation was made.","core_discovery":"The paper argues that Halley's 1717 comparison of ecliptic latitudes for Aldebaran, Sirius, Arcturus, and Betelgeuse is not statistically meaningful. Against Ptolemaios the one-$\\sigma$ latitude error is $\\sigma_\\beta \\simeq 23'$, and against Brahe it is about $2'$, so the reported differences—tens of arcminutes in the first case, up to $4.5'$ in the second—fall inside the noise, especially because the old catalogues have non-Gaussian error tails and Halley selected the most promising stars. On the occultation side, the paper reconstructs the 11 March 509 event with modern lunar theory and the Earth's clock correction, and concludes that the observation was almost certainly made in Alexandria, where Aldebaran was not occulted; the precision needed to settle the question was beyond Boulliau's and Halley's reach. The positive result is Cassini's: re-reducing Brahe's meridian altitudes with improved refraction and obliquity, and comparing Richer's 1672 and his own 1738 measures of Arcturus, Cassini found a latitude change of about $-2'$ (and $5'$ from the re-reduced 1584 Brahe observation), well above the $\\lesssim 1'$ errors of those measurements. That is the first significant evidence for proper motion, while Cassini's null results for other stars are confirmed and his one positive case for the star $\\beta$ Aquilae is not supported by the error budget.","pith_inferences":["Beyond the paper: the error-budget test supplies a template for auditing other early proper-motion claims, such as I-Hsing's eighth-century north-south shifts, which the paper mentions but does not quantify.","Beyond the paper: because the occultation result changes by about $6'$ if Earth's rotation is assumed constant, similar ancient near-occultation reports may be more useful as constraints on the history of $\\Delta T$ than as evidence about stellar motions.","Beyond the paper: if the observing site were ever shown to be Athens, Halley's Aldebaran argument would be partially rehabilitated, since the paper's own Athens calculation shows an occultation only if Aldebaran lay north of its zero-proper-motion 509 position."],"forward_implications":["Halley's 1717 paper should no longer be cited as the discovery of proper motion: its latitude differences are consistent with the known errors of Ptolemaios and Brahe.","The first secure detection becomes Cassini's 1738 Arcturus result, a latitude change of about $-2'$ between Richer's 1672 measurement and Cassini's own.","Cassini's negative results for Sirius, Aldebaran, and Betelgeuse are valid, but his claimed significant change for the star $\\beta$ Aquilae is not supported by the error budget.","Historical credit for discovering proper motion shifts from Halley's 1717 paper to Cassini's 1738 study."],"supporting_citations":[{"why":"Supplies the Ptolemaios/Hipparchos catalogue latitudes, the ancient baseline whose errors dominate Halley's first comparison.","marker":"[1]"},{"why":"Halley's 1717 paper, the object of the re-analysis whose latitude differences are shown to be non-significant.","marker":"[4]"},{"why":"Cassini's 1738 memoir with the Arcturus latitude comparisons and re-reductions of Brahe, the paper's positive claim.","marker":"[6]"},{"why":"Argues from Heliodorus's career that the 509 observation was made in Alexandria, the site premise on which the no-occultation conclusion depends.","marker":"[9]"},{"why":"Establishes the one-sigma latitude error and non-Gaussian tail of Ptolemaios's catalogue used to judge significance.","marker":"[13]"},{"why":"Establishes the one-sigma error and non-Gaussian tail of Brahe's catalogue used to judge the Sirius comparison.","marker":"[14]"},{"why":"Provides modern astrometric positions for computing true latitude changes and identifying which historical differences are real.","marker":"[16]"},{"why":"The contemporaneous star catalogue Halley edited, whose positions are the 'epoch of Halley' baseline in the re-analysis.","marker":"[17]"},{"why":"Gives the Earth's clock error $\\Delta T$ used to compute the 509 lunar position; the result swings by about $6'$ if Earth's rotation is held constant.","marker":"[21]"},{"why":"Provides the lunar ephemeris used to compute geocentric and topocentric Moon positions for the 509 occultation.","marker":"[22]"}],"fun_headline_variants":["Cassini, not Halley, first proved stars move","Halley's star motion claim was just ancient errors","How Cassini found proper motion Halley missed","Star motion proved by Cassini after Halley misfired","Proper motion's true discoverer: Cassini, not Halley"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper's rejection of Halley's occultation argument rests on accepting that Heliodorus's 11 March 509 observation was made in Alexandria rather than Athens; if the site was Athens, the paper's own computation places Aldebaran about $1.4'$ inside the lunar limb at closest approach, undercutting the dismissal.","fun_headline_variants_meta":{"raw":{"variants":["Cassini, not Halley, first proved stars move","Halley's star motion claim was just ancient errors","How Cassini found proper motion Halley missed","Star motion proved by Cassini after Halley misfired","Proper motion's true discoverer: Cassini, not Halley"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000261,"raw_usage":{"total_tokens":1636,"prompt_tokens":1033,"completion_tokens":603,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":649,"completion_tokens_details":{"reasoning_tokens":523}},"tokens_in":649,"tokens_out":603,"duration_ms":5956,"temperature":1.0,"reasoning_tokens":523,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:22:08.613702+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A decisive test is independent historical evidence on the site of Heliodorus's observation: if the report is pinned to Athens from the career or textual details, the paper's rejection of Halley's occultation argument fails on its own numbers, because under the Athens assumption the true 509 position of Aldebaran lies just inside the lunar limb at closest approach.","supporting_citations":[{"cited_title":"Toomer, Ptolemy’s Almagest, 2nd ed","cited_arxiv_id":null,"evidence_quote":"Supplies the Ptolemaios/Hipparchos catalogue latitudes, the ancient baseline whose errors dominate Halley's first comparison."},{"cited_title":"Halley, Considerations on the change of the latitudes of some of the principal fixt stars","cited_arxiv_id":null,"evidence_quote":"Halley's 1717 paper, the object of the re-analysis whose latitude differences are shown to be non-significant."},{"cited_title":"Cassini, Des variations que l’on observe dans la situation et dans le mouvement de diverses ´etoiles fixes","cited_arxiv_id":null,"evidence_quote":"Cassini's 1738 memoir with the Arcturus latitude comparisons and re-reductions of Brahe, the paper's positive claim."},{"cited_title":"Neugebauer, History of Ancient Mathemathical Astronomy, Vol.2","cited_arxiv_id":null,"evidence_quote":"Argues from Heliodorus's career that the 509 observation was made in Alexandria, the site premise on which the no-occultation conclusion depends."},{"cited_title":"Verbunt and R","cited_arxiv_id":null,"evidence_quote":"Establishes the one-sigma latitude error and non-Gaussian tail of Ptolemaios's catalogue used to judge significance."},{"cited_title":"Verbunt and R","cited_arxiv_id":null,"evidence_quote":"Establishes the one-sigma error and non-Gaussian tail of Brahe's catalogue used to judge the Sirius comparison."},{"cited_title":"van Leeuwen, Validation of the new HIPPARCOS reduction.Astronomy and Astrophysics 2007; 474: 653–664","cited_arxiv_id":null,"evidence_quote":"Provides modern astrometric positions for computing true latitude changes and identifying which historical differences are real."},{"cited_title":"Historia Coelestis Brittanica","cited_arxiv_id":null,"evidence_quote":"The contemporaneous star catalogue Halley edited, whose positions are the 'epoch of Halley' baseline in the re-analysis."},{"cited_title":"Morrison and F","cited_arxiv_id":null,"evidence_quote":"Gives the Earth's clock error $\\Delta T$ used to compute the 509 lunar position; the result swings by about $6'$ if Earth's rotation is held constant."},{"cited_title":"Chapront and G","cited_arxiv_id":null,"evidence_quote":"Provides the lunar ephemeris used to compute geocentric and topocentric Moon positions for the 509 occultation."}],"review_version":1}