---
id: "20261006-0248-outside-arxiv261005358-astronomia-ova"
title: "Astronomia Ova: Kepler's Laws, Ptolemy's Equant, and Legendre's Polynomials (arXiv:2610.05358)"
type: "capture"
status: "promoted"
promoted_to: ["30-notes/claim-astronomia-ova-orbit-family-satisfies-keplers-second-law-and-exact-equant.md","30-notes/claim-ptolemy-equant-mars-error-8-arcminutes-tycho-precision-forced-kepler-to-abandon-it.md","30-notes/claim-kepler-1609-astronomia-nova-rejected-puffy-cheeked-via-buccosa-oval-orbit.md"]
not_promoted: ["Mid-1600s 'simple elliptic theory' astronomers (Ward, Boulliau, Streete, de Pagan) kept an exact equant at the empty focus, breaking the second law, until Newton — cited by the paper to Russell 1964 / Wilson 1970 / Applebaum 1996, none independently fetched; left as a lead, not a claim of this paper's own making.","Cassini's 1693 'cassinoid' quartic curve, lacking a true equant — would be a 4th claim-note on this single unrefereed preprint, over the single-source concentration cap (sources.md); routed instead into 50-questions/question-corroborate-astronomia-ova-2026-mars-equant-figure-and-central-result.md as a corroboration target, not promoted on its own.","David Gregory's reportedly incorrect 1702 proof that no convex curve has both an exact equant and a second-law point — same cap reasoning as the cassinoid; left as a lead.","The true minimum-variance uniform-angular-speed point sits ~ε³ from the empty focus, not at it — a further technical refinement of claim 1, same cap reasoning; folded as context only, not split into its own note (atomic-is-not-many: this is the same finding's caveat, not an independently falsifiable claim).","Antikythera mechanism used the pre-equant 'eccentric circle' model for lunar prediction, per Carman/Thorndike/Evans 2012 and Price 1974 — attributed to sources this capture did not fetch directly; thin and not this paper's own finding.","Whiteside's 1974 'he was several times luckier than he knew' framing of Kepler's rejection — a historiographical interpretation quoted within the paper about a source (Whiteside 1974) this capture hasn't read directly; interesting color, not an atomic directly-evidenced claim.","Stephan Mertens' apparent death, inferred only from the paper's dedication 'to the memory of the third author' — unverifiable from this source alone, not a claim; no entity hub created for any of the three co-authors per the entity-page spec's co-authorship-alone-is-a-mention rule (checked: none of Moore/Smith/Mertens has separate standing elsewhere in the vault)."]
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-10-06T00:00:00.000Z"
provenance: "batch run 2026-10-06"
derived_from: []
tags: ["physics","history-of-science","astronomy","kepler","ptolemy","legendre-polynomials","orbital-mechanics","historiography","outside"]
source_url: "https://arxiv.org/abs/2610.05358"
source_url_html: "https://arxiv.org/html/2610.05358v1"
source_url_pdf: "https://arxiv.org/pdf/2610.05358"
source_sha_abs: "3e9c2fcb802a3c8b54c20a759919bcca74b74e788ecaf079f9972f348a84b6e2"
source_sha: "cc08b26fe43feeb89a02e19ac0059246c796320b1a47ea3412e841e33aea2327"
source_sha_pdf: "7b6c7ee28bca3c09a6474998435f56fa3e31addfacdcb6230c70fdc47410d71e"
source_author: "Cristopher Moore, Malcolm Smith, Stephan Mertens"
source_date: "2026-10-04T00:00:00.000Z"
source_title: "Astronomia Ova: Kepler's Laws, Ptolemy's Equant, and Legendre's Polynomials"
source_venue: "arXiv (physics.hist-ph, cross-listed astro-ph.EP), arXiv:2610.05358v1 — unrefereed preprint (arXiv-issued DOI via DataCite pending registration, no journal reference yet)"
source_tier: 1
source_delight: "Kepler's own 1609 complaint about the oval's quadrature — 'we must call in a God from a tragedy' — is reproduced verbatim here, and the paper then builds the exact orbit he never found."
seek_code_commit: "379c8e7"
---


Capture from a single primary source: Cristopher Moore (Santa Fe Institute), Malcolm Smith (The MASTERS program, Santa Fe), and Stephan Mertens (Otto-von-Guericke University, Magdeburg), "Astronomia Ova: Kepler's Laws, Ptolemy's Equant, and Legendre's Polynomials," arXiv:2610.05358 [physics.hist-ph, cross-listed astro-ph.EP], submitted 4 Oct 2026, 22 pages. This is a **self-archived, unrefereed preprint** — the abstract page shows only an arXiv-issued DataCite DOI "pending registration," no journal reference. The paper is dedicated "to the memory of the third author" (Stephan Mertens), implying he died before this submission — unverified beyond the paper's own acknowledgments, flagged as a lead below.

Fetched via `archive_page` on both the abstract page (sha `3e9c2fcb...`) and the HTML full-text rendering (sha `cc08b26f...`, used for all quotes below since it renders prose and unicode math symbols — ε, θ, ′ for arcminutes — cleanly, unlike the PDF's `pdftotext` extraction, which garbled stacked fractions and arcminute primes into bare digits, e.g. "within 8′" became "within 81" in the PDF text layer), and via `extract_pdf` on the PDF (sha `7b6c7ee2...`, `tls: "verified"` — no elevated suspicion warranted; used only for page count and cross-checking content, not quotes). No safety signals fired on any fetch: third-person academic prose throughout, no addressed-to-AI language, no override or authority-claiming language, no tier self-assignment, no file-system or credential requests, no urgency framing. Title confirmed verbatim against the arXiv abstract page header, the HTML rendering's title line, and the PDF's own title line.

**Single-source concentration flag:** all three core claims below rest on this one unrefereed preprint. This reaches, but does not exceed, the three-claim cap in `sources.md` for an uncorroborated primary. The paper itself cites independent, peer-reviewed sources for parts of these claims (e.g. Bracco & Provost 2009, *European Journal of Physics*, for the Mars-accuracy figures; Russell 1964 and Wilson 1970 for the mid-1600s equant dispute; Donahue's 1992 Cambridge UP translation of Kepler's *Astronomia Nova* for the direct quotes) — but this capture has not independently fetched any of those works, so from this session's perspective the claims rest on the single arXiv document read. Any further claim drawn from this paper (e.g. the Cassini cassinoid, the David Gregory counterexample, or the ε³ off-focus optimum — see Further leads) should go to `50-questions/` as a corroboration question rather than becoming a fourth claim-note, unless one of those independent works is fetched first.

Retrieve-before-write check against the surfaced related notes found no direct topical overlap (none concern classical astronomy or orbital mechanics). The closest thematic kinship is [[claim-scharf-2007-names-halley-transit-venus-as-exoplanet-transit-parallax-ancestor]], which likewise reframes a pre-modern astronomical observation through a modern technical lens and measures a contemporary idea against an older named astronomer's work — a pattern worth a bridge note later but not duplicated here, since the subject matter (Halley/transit-timing vs. Kepler/Ptolemy orbital geometry) is unrelated.

## Claim: the paper constructs an explicit family of orbits that satisfy Kepler's second law about one point and an exact Ptolemaic equant about a different point simultaneously — something a true ellipse cannot do — using Legendre polynomials and Legendre functions of the second kind

For an ordinary Kepler ellipse, the empty focus is only an *approximate* equant (uniform angular speed up to O(ε²) error; see the second claim below), and conversely the historical "simple elliptic theory" that insisted on an exact equant broke Kepler's second law. The paper's stated goal is to ask whether a single orbit can satisfy the second law exactly around one point (conserving angular momentum, as around the sun) while also having a true equant — exactly uniform angular speed — around a second, different point. It reports that for specific integer values of the angular momentum (J = n(n+1)), closed solutions exist expressible in terms of Legendre polynomials and Legendre functions of the second kind; these orbits are egg-shaped ("ovoid"/"metopoid"), with the resulting curves analytic everywhere except at perihelion, where gluing two branches together leaves them only twice-differentiable rather than fully analytic.

- Source: Moore, Smith & Mertens, "Astronomia Ova," arXiv:2610.05358, Abstract and §1 (Introduction)
- source_quote: "we present a family of orbits that satisfy his second law, conserving angular momentum around a central mass, and also fulfill Ptolemy’s belief in an equant—a point around which the angular speed is constant. For specific values of the angular momentum, these orbits can be written in terms of Legendre polynomials and functions of the second kind. They are analytic except at perihelion where they are twice differentiable."
- source_quote_2: "Can we have both, at the cost of the ellipse? Is there an orbit that satisfies the second law around one point, and has an equant at another point?"
- source_url: https://arxiv.org/html/2610.05358v1
- source_url_2: https://arxiv.org/html/2610.05358v1
- source_sha: cc08b26fe43feeb89a02e19ac0059246c796320b1a47ea3412e841e33aea2327
- source_sha_2: cc08b26fe43feeb89a02e19ac0059246c796320b1a47ea3412e841e33aea2327
- source_author: Cristopher Moore, Malcolm Smith, Stephan Mertens
- source_date: 2026-10-04
- source_title: "Astronomia Ova: Kepler's Laws, Ptolemy's Equant, and Legendre's Polynomials"
- source_venue: "arXiv (physics.hist-ph / astro-ph.EP), arXiv:2610.05358 (unrefereed preprint)"
- source_tier: 1
- Note: specific technical-mechanism claim (what the orbit actually does mathematically and why it's possible), held to the Tier 1-2 floor. It clears that floor: this is the paper's own direct statement of its central result, on a verified-TLS-adjacent fetch with no safety signals. The claim describes [[kepler-second-law]] and [[ptolemys-equant]] as the two constraints being simultaneously satisfied.

## Claim: Ptolemy's equant model predicted Mars's position to within about 1/8 of a degree (roughly a quarter of the Moon's angular width) — within the accuracy available in antiquity but outside Tycho Brahe's observational precision of 1-2 arcminutes, which is why Kepler was forced to abandon circular-orbit-with-equant models for Mars specifically

Mars has the largest orbital eccentricity (ε = 0.09) of any planet visible to the naked eye except Mercury (whose orbit is largely obscured by the Sun's glare). The paper states that Ptolemy's equant theory, applied to Mars, erred by about 8 arcminutes (1/8°, ~13% of a degree) in predicted sky position — a discrepancy too small to have been detectable with ancient naked-eye instruments, but larger than the roughly 1-2 arcminute precision Tycho Brahe's instruments achieved in the late 16th century. This gap between ancient-adequate and Tychonic precision is presented as the specific empirical reason Kepler could not simply reject the equant on philosophical grounds (as he wanted to) but had to refute it on Mars's data.

- Source: Moore, Smith & Mertens, "Astronomia Ova," arXiv:2610.05358, §1 (Introduction), citing Bracco & Provost (2009), *European Journal of Physics* 30(5):1063-1076
- source_quote: "Kepler found that Ptolemy’s theory predicts Mars’ position in the sky within 8′, about 13% of a degree or a quarter of the width of the Moon. This is within the accuracy available in antiquity, but Tycho’s observations were accurate to within 1′ or 2′. Thus Ptolemy’s theory had to be abandoned or corrected."
- source_url: https://arxiv.org/html/2610.05358v1
- source_sha: cc08b26fe43feeb89a02e19ac0059246c796320b1a47ea3412e841e33aea2327
- source_author: Cristopher Moore, Malcolm Smith, Stephan Mertens
- source_date: 2026-10-04
- source_title: "Astronomia Ova: Kepler's Laws, Ptolemy's Equant, and Legendre's Polynomials"
- source_venue: "arXiv (physics.hist-ph / astro-ph.EP), arXiv:2610.05358 (unrefereed preprint)"
- source_tier: 1
- Note: quantitative claim (specific arcminute/degree/percentage figures), held to the Tier 1-2 floor. It clears that floor on the strength of the arXiv paper itself as a directly-quoted primary document, though the paper attributes the underlying figure to Bracco & Provost (2009) — an independent, peer-reviewed source this capture has not itself fetched. A future session re-reading Bracco & Provost directly would discharge the single-source concentration flag above for this specific number.

## Claim: Kepler's own words in Astronomia Nova (1609) express explicit frustration at being unable to solve the "oval" orbit's quadrature, and record his considered rejection of a "puffy-cheeked" near-elliptical orbit (the via buccosa) on his path to the final ellipse

The paper quotes two passages from Kepler's *Astronomia Nova*, in William H. Donahue's 1992 Cambridge University Press translation (*New Astronomy*). In Chapter 47, Kepler complains about needing to geometrically square ("quadrature") an oval-shaped candidate orbit. In Chapter 58, he explicitly considers and rejects a "puffy-cheeked" oval (which he calls the via buccosa), reasoning that because the true ellipse gives correct equations, this alternative — which gives nearly-correct predictions — must be wrong despite its closeness.

- Source: Moore, Smith & Mertens, "Astronomia Ova," arXiv:2610.05358, §4 (Conclusion), quoting Johannes Kepler, *New Astronomy*, trans. William H. Donahue (Cambridge University Press, 1992), Chapters 47 and 58
- source_quote: "...we must call in a God from a tragedy–––or rather, a certain reason from a machine—to teach us how to engineer the quadrature of the oval...So now once again, in the oval [ovoid] (or if you prefer, the metopoid), I appeal to geometers and implore their help."
- source_quote_2: "It is evident, then, that the path is puffy-cheeked, and therefore not an ellipse. And since the ellipse provides the correct equations, it follows that this puffy-cheeked path [viam buccosam] correctly provides incorrect ones."
- source_url: https://arxiv.org/html/2610.05358v1
- source_url_2: https://arxiv.org/html/2610.05358v1
- source_sha: cc08b26fe43feeb89a02e19ac0059246c796320b1a47ea3412e841e33aea2327
- source_sha_2: cc08b26fe43feeb89a02e19ac0059246c796320b1a47ea3412e841e33aea2327
- source_author: Cristopher Moore, Malcolm Smith, Stephan Mertens
- source_date: 2026-10-04
- source_title: "Astronomia Ova: Kepler's Laws, Ptolemy's Equant, and Legendre's Polynomials"
- source_venue: "arXiv (physics.hist-ph / astro-ph.EP), arXiv:2610.05358 (unrefereed preprint), quoting Johannes Kepler, New Astronomy, trans. W. H. Donahue (Cambridge University Press, 1992)"
- source_tier: 1
- Note: historical/biographical claim (what Kepler himself wrote and when) — resting on a direct quotation of a named primary text, reproduced within this Tier 1 preprint. The quote marked with "..." at its start and middle is the paper's own elision of Kepler's text (the ellipsis is in the source as printed, not introduced by this capture to join two source passages); the two quotes recorded here (Chapter 47 and Chapter 58) are each a single contiguous passage as the paper prints it. This capture has not independently obtained Donahue's 1992 translation itself — the quotes are one layer removed from Kepler's original Latin and from the published English edition, resting on this paper's transcription of it.

## Further leads

- In the mid-1600s, astronomers including Seth Ward, Ismaël Boulliau, Thomas Streete, and Emile-François de Pagan used a "simple elliptic theory" (first proposed to Kepler by Albert Curtz) that accepted elliptical orbits but kept an exact equant at the empty focus, thereby breaking the second law; the discrepancy wasn't given a mechanistic resolution until Newton derived the second law from an inverse-square central force in the 1680s. (via arXiv:2610.05358, §1, citing Russell 1964, Wilson 1970, Applebaum 1996 — independent sources not yet fetched)
- Giovanni Domenico Cassini (1693) proposed a quartic "cassinoid" curve (product, rather than sum, of focal distances held constant) as a rival to the ellipse; the paper shows it lacks a true equant and becomes peanut-shaped, then a lemniscate, then two disconnected lobes as eccentricity grows. (via arXiv:2610.05358, §2.4, citing Cassini 1693/1740)
- In 1702 David Gregory reportedly gave an incorrect proof that no convex curve could have both an exact equant and a point obeying Kepler's second law; this paper's closed orbits are offered as explicit counterexamples. (via arXiv:2610.05358, §3.3, citing Wilson 1989 — not yet independently checked)
- The empty focus is not quite the "most uniform" viewpoint for angular speed: the paper computes that the true minimum-variance point sits about ε³ closer to the ellipse's center than the empty focus, a ~ε⁶/2 improvement over Ptolemy's "bisection of the eccentricity." (via arXiv:2610.05358, §2.3)
- The Antikythera mechanism apparently used the pre-equant "eccentric circle" model to predict lunar position, per Carman, Thorndike & Evans (2012) and Price (1974), both cited in this paper's introduction. (via arXiv:2610.05358, §1)
- D.T. Whiteside's 1974 historiographical retrospective frames Kepler's 1605 rejection of the "puffy-cheek" orbit as fortunate luck ("he was several times luckier than he knew") rather than foresight — worth checking against Whiteside's paper directly. (via arXiv:2610.05358, §4, quoting Whiteside 1974)
- The paper is dedicated "to the memory of the third author" (Stephan Mertens), implying his death before this October 2026 submission — unverified beyond the dedication itself.

## Entity candidates

- Claudius Ptolemy — person — 2nd-century CE astronomer whose "equant" (punctum aequans) concept is the paper's foundational antagonist; flagged first since the entire comparison the paper builds is measured against his ancient model, which stood for roughly 1400 years before Kepler.
- Johannes Kepler — person — 17th-century astronomer whose second law and documented rejection of equant-based and oval orbits is the paper's other foundational pole; also flagged first-tier as the historical figure the paper's "hybrid universe" thought experiment is built to vindicate/explore, centuries prior to the paper's authors.
- Tycho Brahe — person — supplied the ~1-2 arcminute-precision Mars observations that exposed Ptolemy's ~8-arcminute error and made the equant untenable.
- Cristopher Moore — person — co-author (Santa Fe Institute), complexity theorist and physicist.
- Malcolm Smith — person — co-author (The MASTERS program, Santa Fe).
- Stephan Mertens — person — co-author (Otto-von-Guericke University, Magdeburg); paper dedicated to his memory, suggesting he died before publication.
- Giovanni Domenico Cassini — person — proposed the rival "cassinoid" quartic orbit (1693), discussed and ruled out by the paper as lacking a true equant.
- David Gregory — person — gave a reportedly incorrect 1702 proof that no convex curve could have both an equant and a second-law point; this paper's orbits are framed as counterexamples.
- William H. Donahue — person — translator of Kepler's Astronomia Nova into English (Cambridge University Press, 1992), the edition quoted directly in this paper.
- D.T. Whiteside — person — historian of science whose 1974 paper "Keplerian planetary eggs, laid and unlaid, 1600-1605" is quoted at length in the paper's conclusion.
- Punctum aequans / equant — concept — Ptolemy's device of a point around which a planet's angular speed is exactly constant; candidate for its own definitional note given how much of this paper's argument turns on precisely what counts as "exact" vs. "approximate."
- Via buccosa ("puffy-cheeked" orbit) — concept — one of Kepler's own considered-and-rejected near-elliptical ovals, documented in Astronomia Nova Chapter 58.
- Cassinoid — concept — Cassini's quartic "oval" curve defined by a constant product (rather than sum) of distances to two foci; undergoes convexity-breaking transitions as eccentricity increases.
- Kepler's second law — concept — the equal-areas-in-equal-time law, the "exact" constraint the paper's hybrid orbits are built to preserve.