Year: 2026
Type: preprint
Abstract: A thrackle is a drawing of a graph in the plane in which every pair of edges meets exactly once, either at a common endpoint or at a proper crossing. Conway conjectured that every thrackle has at most as many edges as vertices. We give a short proof that every thrackle on $n\ge4$ vertices has at most $\lfloor4(n-1)/3\rfloor$ edges. The proof combines Pammer's computer-assisted verification of the conjecture for graphs on at most twelve vertices with a discharging argument in suitable plane and projective-plane embeddings. We also give bipartite plane graphs showing that the coefficient $4/3$ is best possible under the local hypotheses used in the proof.
Source: arXiv (Cornell University)
Author: Simon, Dániel Gábor
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7223293406