{
  "schema_version": 1,
  "problem_number": "OWR-1703876-012",
  "title": "Polygons with Prescribed Turning Angles in Three Dimensions: A Counterexample to a Conjecture of Efrat, Fulek, Kobourov and Tóth, and the Corrected Criterion",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "A closed polygon in R^3 has at each vertex a turning angle in (0, π), and a sequence A = (α_0, ..., α_{n−1}) in (0, π)^n is called realizable if it is the sequence of turning angles of such a polygon. Efrat, Fulek, Kobourov and Tóth conjectured (Oberwolfach Rep. 17 (2020); J. Graph Algorithms Appl. 26 (2022)) that a realizable sequence has a realization without self-intersections if and only if n is even or Σ_i (π − α_i) ≠ π, and they proved the 'only if' part. We show that the conjecture holds for n = 4 and n = 5 and fails for every n ≥ 6. For n = 6 the sequence (5π/6, 5π/6, 5π/6, 5π/6, 5π/6, π/6) is realized by an explicit planar hexagon, while every polygon with these turning angles lies in a plane and has total signed turning ±4π, so that none is simple. The corrected criterion is the following. For a set S of indices put e_S(A) = Σ_{i∈S} (π − α_i) + Σ_{i∉S} α_i − π. A realizable sequence has a realization without self-intersections if and only if e_S(A) ≠ 0 for every set S of odd cardinality at least 5; the conjecture accounts only for the set of all indices. If moreover Σ_i α_i > 2π and e_S(A) ≠ 0 for all sets S of odd cardinality, there is such a realization which is not contained in a plane. The ingredients on the sphere are known and are not claimed as new: the inequalities e_S(A) ≥ 0 for closed spherical polygons with prescribed side lengths, and their equality case (all vertices on a great circle), belong to the theory of spherical polygonal linkages (Galitzer, Biswas, Kapovich and Millson, Buckman and Schmitt, Mondello and Panov); the realizability criterion and the 'only if' part are due to the authors of the conjecture, who also assert, without proof, that crossings can be avoided whenever some realization is not contained in a plane. What this note adds is the observation that the equality case for a set of at least five indices other than the set of all indices is again an obstruction to simple realizations, the counterexamples, a proof of the assertion just mentioned (by an induction which inserts one vertex at a time), and the resulting characterization. The explicit hexagon is verified in exact arithmetic; all other computations are tests and are not used in the proofs. This is an unrefereed note.",
  "result_type": "COMPLETE_COUNTEREXAMPLE",
  "categories": [
    "math.MG",
    "math.CO"
  ],
  "keywords": [
    "polygons with prescribed angles",
    "turning angles",
    "angle sequences",
    "self-intersection free polygons",
    "simple polygons",
    "spherical polygonal linkages",
    "total curvature",
    "turning number",
    "counterexample",
    "Oberwolfach Reports open problems",
    "UnsolvedMath",
    "OWR-1703876-012",
    "math.MG",
    "cs.CG",
    "math.CO",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-10",
  "publication_date": "2026-10-10",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-10",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-1703876-012/",
  "pdf_url": "https://eulersolve.org/papers/owr-1703876-012/paper.pdf?v=9045f4982171",
  "doi": "10.5281/zenodo.23287074",
  "zenodo_record_url": "https://zenodo.org/records/23287074",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Refutes Conjecture 5 of C. D. Tóth (joint work with A. Efrat, R. Fulek and S. Kobourov; Oberwolfach Reports 17 (2020), Report 30/2020), which is Conjecture 1 of the paper of the four authors in J. Graph Algorithms Appl. 26 (2022): the conjecture is false for every n ≥ 6 and true for n = 4, 5, and a realizable angle sequence A has a realization without self-intersections if and only if e_S(A) ≠ 0 for every set S of odd cardinality at least 5. The inequalities e_S(A) ≥ 0 for spherical polygons and their equality case are known from the theory of spherical polygonal linkages; the realizability criterion and the 'only if' part are due to the authors of the conjecture, who also assert without proof that crossings can be avoided when some realization is not contained in a plane, and the note gives a proof of this. Unrefereed; no priority claim.",
  "files": {
    "paper.pdf": {
      "sha256": "9045f49821715fdf7040e208c3af021617cb3584921b61497f2663df99472246"
    },
    "source.zip": {
      "sha256": "3924773d99eef0f498b9a03e1ce07455d6dbc0e8cc7fa63e94174eda36882e6d"
    },
    "verification_report.md": {
      "sha256": "0087a3b1528778c8a4b6259e679f22105f2dcd4fbd084ae205492f98105d2f9a"
    }
  },
  "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."
}