AMR-050-0001 · Complete counterexamples

Four-Periodic Counterexamples to Two Elliptic Billiard Invariants

Manuscript 1 October 2026 · Online 1 October 2026

math.DSmath.MGUnrefereed preprint

Abstract

We give two exact counterexamples using one connected family of convex, primitive four-periodic billiards in a noncircular ellipse with a fixed confocal elliptic caustic. Write A for the orbit's ordered signed area, A' for the area of its consecutive tangent-intersection polygon, A'' for the area of its caustic-contact polygon, and theta_i for the internal angles of the original orbit. The quantity (A'/A) product_i sin(theta_i/2), listed as k107 for N congruent to 0 modulo 4, varies on this family. So does the product A'A'', listed as old k111 for even N in arXiv:2004.12497v11. The first assertion survives in the final 2021 journal table; the old second row does not. The renumbered final-journal k111 is a different, odd-period identity and is not contradicted. With s=a^2+b^2, D=a^2 b^2 and d(t)=(b^2-a^2) sin(t) cos(t), the displayed family has A'A''=16D(D+d(t)^2)/s^2 and (A'/A) product_i sin(theta_i/2)=2(D+d(t)^2)^2/(D s^2). Both vary whenever a>b>0. For a=4, b=3, an axis diamond and an axis-aligned rectangle share the caustic with semiaxes 16/5 and 9/5. Their area products are 331776/625 and 576, and their angle-area quantities are 288/625 and 625/1152. Boundary membership, reflection, interior segment tangency, primitive period and positive signed areas are established explicitly. The contradiction does not rely on self-intersection, hyperbolic caustics or numerical inference. The standard four-periodic geometry and Garcia and Reznik's Proposition 4.9 area identities are credited. The old product row's omission is documented without speculating about its reason. This is one version-qualified corrective note covering frozen dataset records AMR-050-0001 and AMR-050-0005 (raw IDs 5100001 and 5100005), not two deposits or a solution of the full source list. Bounded literature checks do not establish absolute novelty or priority. The manuscript is AI-assisted and unrefereed; no independent human review or formal proof-assistant verification is claimed. Author affiliation and contact: Mercury Software GmbH; [email protected]; https://github.com/AlperTheKing.

Record

Affiliation
Mercury Software GmbH
Result
Complete counterexamples
Categories
math.DS · math.MG
Manuscript
1 October 2026
Online release
1 October 2026
Version
1.0
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “Four-Periodic Counterexamples to Two Elliptic Billiard Invariants,” EulerSolve Research Papers, AMR-050-0001, 2026. https://doi.org/10.5281/zenodo.23075934.

BibTeX
@misc{Ferudun2026AMR0500001,
  author = {Ferudun, Alper},
  title = {Four-Periodic Counterexamples to Two Elliptic Billiard Invariants},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/amr-050-0001/},
  doi = {10.5281/zenodo.23075934},
  note = {AMR-050-0001; unrefereed preprint}
}

More research papers

Show all 98 other papers

All 99 research papers →