{
  "schema_version": 1,
  "problem_number": "AMR-049",
  "title": "On Seven Conjectures of Fuchs on Billiard Trajectories in Regular Polygons and Geodesics on the Regular Dodecahedron",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "In a problem contribution (Arnold Math. J. 7 (2021)), D. Fuchs stated seven conjectures on the billiard trajectories in a regular n-gon which join two vertices (short trajectories) and on their n − 2 types A_0, ..., A_{n−3}, on closed trajectories, and on geodesics on the regular dodecahedron. We decide all seven. The tool is the double n-gon: the types are the orbits of saddle connections under an explicit group of affine automorphisms, and they are computed by an angular invariant. Conjecture 2.6 (types of parallel short trajectories) and Conjecture 2.7 (ratios of their lengths) are proved for all n ≥ 4, and Conjecture 2.3 (types of the vertices of a reachable n-gon) for all n ≥ 5. Conjecture 2.5 (reachable points on the two lines through a unitary pair) is true as printed for n = 5 and false for every n ≥ 6; it is proved for all n ≥ 5 with λ² and λ² − 1, λ = 2 cos(π/n), in place of λ + 1 and λ, which are the constants given by the source's own argument for n = 6. Conjecture 2.4 (every reachable point is a vertex of infinitely many reachable n-gons) is false for every n ≥ 5: a reachable point whose type is not A_0 is a vertex of at most one reachable n-gon, and an explicit point is a vertex of none; exactly the points of type A_0 are vertices of infinitely many. Conjecture 3.2 is proved: a short geodesic of type A_0 on the regular dodecahedron never ends at graph distance 2 from its first vertex; its ends are exchanged by a half-turn about the midpoint of an edge, an argument which Athreya, Aulicino and Hooper used for closed saddle connections and Troubetzkoy for the other regular polyhedra. Conjecture 1.7 (after cancellation of common factors, the quotient of the lengths of a closed trajectory and of its preclosed part is never n) is false for every odd n with at least two distinct prime factors; the smallest case is n = 15, for the trajectories parallel to a side. It is true for odd prime powers, and for even n when it is read for the trajectories in general position in their band. These quotients were determined in all periodic directions by Veech (1992), through the monodromy of the covering of the double n-gon by the surface of the billiard; the answer to Conjecture 1.7 follows from his formula by a short computation which is not in his paper. We also give a second derivation of the formula for odd n, and a proof of the counterexample which uses neither surfaces nor homology. For prime n the conjecture was known: this case follows from a theorem of McMullen, for n = 5 from results of Davis, Fuchs and Tabachnikov and of Davis and Lelièvre, and it is also a consequence of Veech's formula. The proofs are elementary. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.DS",
    "math.GT",
    "math.MG"
  ],
  "keywords": [
    "billiards in regular polygons",
    "short trajectories",
    "generalized diagonals",
    "saddle connections",
    "double n-gon",
    "Veech surfaces",
    "closed billiard trajectories",
    "geodesics on the regular dodecahedron",
    "counterexample",
    "Arnold Mathematical Journal problems",
    "UnsolvedMath",
    "AMR-049-0001",
    "AMR-049-0002",
    "AMR-049-0003",
    "AMR-049-0004",
    "AMR-049-0005",
    "AMR-049-0006",
    "AMR-049-0007",
    "math.DS",
    "math.GT",
    "math.MG",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-09",
  "publication_date": "2026-10-09",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-09",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-049/",
  "pdf_url": "https://eulersolve.org/papers/amr-049/paper.pdf?v=ff6b9ba5f9ba",
  "doi": "10.5281/zenodo.23267641",
  "zenodo_record_url": "https://zenodo.org/records/23267641",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Decides the seven conjectures of D. Fuchs (Arnold Math. J. 7 (2021)): Conjectures 2.3, 2.6, 2.7 and 3.2 are proved, Conjecture 2.5 is proved with corrected constants (as printed it holds only for n = 5), and Conjectures 2.4 and 1.7 are disproved. The formula behind the answer to Conjecture 1.7 is due to Veech (1992); the note adds the deduction and an elementary proof of the counterexample, and the prime case was known (McMullen; Davis, Fuchs and Tabachnikov; Davis and Lelievre). The half-turn argument for Conjecture 3.2 is that of Athreya, Aulicino and Hooper and of Troubetzkoy. No statement is made on other polyhedra; no priority is claimed.",
  "files": {
    "paper.pdf": {
      "sha256": "ff6b9ba5f9bac0027a39d6e06319f04ff08bf24776a47cf7070213924d454707"
    },
    "source.zip": {
      "sha256": "d17acdd2a34f34685b3d854d3abfd4dbf19e253599c5c3f89f94e1ea078dd8d0"
    },
    "verification_report.md": {
      "sha256": "6f89f5ee24d11fa7bc0dbc7677bb883a8173160a2ca466708c6718f9d2b5f6a5"
    }
  },
  "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."
}