Verification of the odd-period focal inversion area product
- 1Independent researcher
Abstract
Attributed verification/research note giving a self-contained flag-curve proof of the historical odd-period focal inversion signed-area product: k903,a in Reznik--Garcia--Koiller arXiv:2004.12497v11 and Conjecture 1 of Reznik--Garcia--Helman arXiv:2012.03020v2. Alper Ferudun, Products of the Two Focal Inversion Areas in Elliptic Billiards, version 1.0, DOI 10.5281/zenodo.23096994, proves the same theorem using substantially the same meromorphic divisor mechanism; this exact overlap and the established general method are explicitly credited. The strict theorem concerns proper confocal nested ellipses, original ordered vertices, original foci, unit inversion, signed straight-edge areas, every admitted coprime winding of a primitive odd-period orbit, reversal and indexed repetitions. A portable standard-library exact verifier accompanies four specified convex winding-one controls, with actual normal/optimized receipts and deliberate negative controls; finite checks do not prove the all-period theorem. The source ZIP includes authored source, code and notes, without third-party full texts or dependencies. The bounded priority comparison leaves documented access gaps and does not establish novelty, first proof, certified independent discovery, literal simultaneity, absolute priority or current openness. Specified PR/commit and Zenodo record dates are reported with these limitations. AI tools were used extensively in research, proof development, drafting, auditing and computation. Separate AI adversarial checks are not independent human peer review. This is an unrefereed research note without conventional human refereeing or proof-assistant certification.
Related
- The odd-period focal-pedal sum invariant
- The least-period criterion for outer focal products in elliptic billiards
- Rigorous verification of period-doubling bifurcations in maps
- Calculate AI Payback Period: 85% Adoption—Product and Ops Roll Out?
- Direction-Aware Masked Pretraining on 3D Seismic Data with Transfer to Cross-Area Acoustic Impedance Inversion
BibTeX
@misc{kriebel2026verification,
title = {{Verification of the odd-period focal inversion area product}},
author = {Alec Kriebel},
howpublished = {Zenodo},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23425494},
url = {https://zenodo.org/records/23425494},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Verification of the odd-period focal inversion area product
AU - Alec Kriebel
PY - 2026
DA - 2026/10/16
PB - Zenodo
DO - 10.5281/zenodo.23425494
UR - https://zenodo.org/records/23425494
AB - Attributed verification/research note giving a self-contained flag-curve proof of the historical odd-period focal inversion signed-area product: k903,a in Reznik--Garcia--Koiller arXiv:2004.12497v11 and Conjecture 1 of Reznik--Garcia--Helman arXiv:2012.03020v2. Alper Ferudun, Products of the Two Focal Inversion Areas in Elliptic Billiards, version 1.0, DOI 10.5281/zenodo.23096994, proves the same theorem using substantially the same meromorphic divisor mechanism; this exact overlap and the established general method are explicitly credited. The strict theorem concerns proper confocal nested ellipses, original ordered vertices, original foci, unit inversion, signed straight-edge areas, every admitted coprime winding of a primitive odd-period orbit, reversal and indexed repetitions. A portable standard-library exact verifier accompanies four specified convex winding-one controls, with actual normal/optimized receipts and deliberate negative controls; finite checks do not prove the all-period theorem. The source ZIP includes authored source, code and notes, without third-party full texts or dependencies. The bounded priority comparison leaves documented access gaps and does not establish novelty, first proof, certified independent discovery, literal simultaneity, absolute priority or current openness. Specified PR/commit and Zenodo record dates are reported with these limitations. AI tools were used extensively in research, proof development, drafting, auditing and computation. Separate AI adversarial checks are not independent human peer review. This is an unrefereed research note without conventional human refereeing or proof-assistant certification.
ER -