{
  "schema_version": 1,
  "problem_number": "AMR-020-0402",
  "title": "On the Algebraic Birkhoff Conjecture for Outer Billiards on the Sphere and the Hyperbolic Plane: A Corollary of Theorems of Glutsyuk",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Bolsinov, Matveev, Miranda and Tabachnikov (Phil. Trans. R. Soc. A, 2018) asked to prove the algebraic version of the Birkhoff conjecture for outer billiards on a non-Euclidean surface of constant curvature. We observe that it follows from published theorems of A. Glutsyuk. Let γ be a simple closed C⁴ curve with nowhere vanishing geodesic curvature on the sphere (inside a hemisphere) or on the hyperbolic plane, realised as quadrics in R³. If the outer billiard about γ has a first integral which is the restriction of a polynomial, or of a rational function, of the coordinates of R³, then γ is a conic; conversely, conics have quadratic integrals. In the gnomonic and Klein models the point reflection which defines the outer billiard is the projective involution of the tangent line fixing the point of tangency and interchanging the points of the line on the absolute I. So the outer billiard is an I-angular billiard in Glutsyuk's sense (J. Eur. Math. Soc. 2021), and his theorem on such billiards gives the polynomial case; his classification of rationally integrable dual billiards (Invent. Math. 2026) gives a second proof, also for rational integrals. On the sphere the polynomial case also follows, for C³ curves, from his theorem on polynomially integrable billiards through the spherical duality. The theorems are Glutsyuk's; the note contributes the identification and the reduction, and we did not find the corollary stated in print. Algebraic non-rational integrals and the smooth version are not treated. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.DS",
    "math.DG"
  ],
  "keywords": [
    "outer billiards",
    "dual billiards",
    "algebraic Birkhoff conjecture",
    "polynomial first integrals",
    "rational first integrals",
    "sphere",
    "hyperbolic plane",
    "I-angular billiards",
    "conics",
    "corollary of published theorems",
    "open problems in integrable systems",
    "UnsolvedMath",
    "AMR-020-0402",
    "math.DS",
    "math.DG",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-17",
  "publication_date": "2026-10-17",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-17",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-020-0402/",
  "pdf_url": "https://eulersolve.org/papers/amr-020-0402/paper.pdf?v=7d4d5067c0e2",
  "doi": "10.5281/zenodo.23428053",
  "zenodo_record_url": "https://zenodo.org/records/23428053",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Polynomial and rational first integrals, C4 curves; a corollary of published theorems of Glutsyuk. Algebraic non-rational integrals and the smooth version are not treated.",
  "files": {
    "paper.pdf": {
      "sha256": "7d4d5067c0e2d014be99da05861bc6c49306a4f52daa590b651b9b7b2c668ea5"
    },
    "source.zip": {
      "sha256": "708e08d722de2bd51fe474253ca987efa47188eff7bb142535e8567d721e48fa"
    },
    "verification_report.md": {
      "sha256": "60ff3a0e7b4b9294de509367554db035cefa10ab0cfb09cb60271462cb637f99"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}