Conway thrackle constant ()
Conway thrackle constant: determine or improve its bounds; the repository records 1 (lower) and 1.393 (upper).
Editorial MSC2020 classification. Original article codes and source evidence are recorded in the literature directory.
Problem statement
In topological graph theory, a thrackle is a drawing of a finite graph in the plane in which every pair of edges meets precisely once, either at a common endpoint or at a proper crossing. If denotes the maximum number of edges in a thrackle on vertices, then Conway's thrackle conjecture states that for every . [FP2011-def-tn-conj]
For a finite graph , write for its vertex set and for its edge set. We define
Equivalently,
Thus Conway's thrackle conjecture is equivalent to the assertion that . [FP2011-def-tn-conj]
At present, the best established range is
The lower bound comes from thrackled cycles, and the upper bound from Xu's current record bound as recorded in recent survey-style sources. [FP2011-open-sharp] [KSTZ2025-current-best-special]
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
-
Conjectural value. Conway's conjecture predicts that . This would be best possible, because cycles of length at least five already attain edge-vertex ratio . [FP2011-def-tn-conj] [FP2011-open-sharp]
-
Solved subclasses. The conjecture is known for geometric (straight-line) thrackles, outerplanar thrackles, and -monotone thrackles. [KSTZ2025-current-best-special]
References (from the repository page)
-
[CN2000] Cairns, Grant; Nikolayevsky, Yury. Bounds for generalized thrackles. Discrete & Computational Geometry 23 (2000), no. 2, 191–206. DOI: 10.1007/PL00009495. Google Scholar
-
[CN2000-ub-lps-cn] loc: Springer PDF p.1, Introduction, file:
10.1007-PL00009495.pdfquote: “Lovász et al. proved: Theorem 1 [LPS]. (a) for thrackles, , (b) for generalized thrackles, , (c) a bipartite graph can be drawn as a generalized thrackle if and only if it is planar. We give the following improvement: Theorem 2. (a) for thrackles, , (b) for generalized thrackles, .” -
[FP2011] Fulek, Radoslav; Pach, János. A computational approach to Conway's thrackle conjecture. Computational Geometry 44 (2011), no. 6–7, 345–355. DOI: 10.1016/j.comgeo.2011.02.001. arXiv PDF: arXiv:1002.3904. Google Scholar
-
[FP2011-def-tn-conj] loc: arXiv PDF p.1, Abstract, file:
1002.3904.pdfquote: “A drawing of a graph in the plane is called a thrackle if every pair of edges meets precisely once, either at a common vertex or at a proper crossing. Let denote the maximum number of edges that a thrackle of vertices can have. According to a 40 years old conjecture of Conway, for every . For any , we give an algorithm terminating in steps to decide whether for all . Using this approach, we improve the best known upper bound, , due to Cairns and Nikolayevsky, to .” -
[FP2011-open-sharp] loc: arXiv PDF p.1, §1 Introduction, file:
1002.3904.pdfquote: “A drawing of is called a thrackle if every pair of edges meet precisely once, either at a common vertex or at a proper crossing. (A crossing of two curves is proper if at one curve passes from one side of the other curve to its other side.) More than forty years ago Conway [18, 2, 15] conjectured that every thrackle has at most as many edges as vertices, and offered a bottle of beer for a solution. Since then the prize went up to a thousand dollars. In spite of considerable efforts, Conway’s thrackle conjecture is still open. It is believed to represent the tip of an “iceberg,” obstructing our understanding of crossing patterns of edges in topological graphs. If true, Conway’s conjecture would be tight as any cycle of length at least five can be drawn as a thrackle, see [17].” -
[FP2019] Fulek, Radoslav; Pach, János. Thrackles: An improved upper bound. Discrete Applied Mathematics 259 (2019), 226–231. DOI: 10.1016/j.dam.2018.12.025. arXiv PDF: arXiv:1708.08037. Google Scholar
-
[FP2019-ub-gx-fp] loc: arXiv PDF p.1, §1 Introduction, file:
1708.08037v1.pdfquote: “The first linear upper bound on the number of edges of a thrackle, in terms of the number of vertices , was established in [6 ]. This bound was subsequently improved in [ 1] and [4 ], with the present record, , held by Goddyn and Xu [ 5], which also appeared in the master thesis of the second author [9]. One of the aims of this note is to show that this latter bound is not best possible. Theorem 1. Any thrackle on vertices has at most edges.” -
[KSTZ2025] Keszegh, Balázs; Suk, Andrew; Tardos, Gábor; Zeng, Ji. Unavoidable patterns and plane paths in dense topological graphs. Preprint (2025). arXiv:2512.04795. arXiv PDF: arXiv:2512.04795. Google Scholar
-
[KSTZ2025-current-best-special] loc: arXiv PDF p.1, §1 Introduction, file:
2512.04795.pdfquote: “The famous thrackle conjecture of Conway states that a thrackle with vertices has at most edges, see [21] for a detailed history of the problem. For the special case of geometric graphs, the thrackle conjecture is proved by Erdős, and later, a short proof is given by Perles (see [21]). The proof of Perles also works if the drawing is outerplanar [7], i.e., if the points lie on the boundary of a disk and the edges lie inside this disk. The case that the edges are -monotone is settled by Pach and Sterling [21]. In general, after a long series of improvements (Lovász–Pach–Szegedy [17] proved , Cairns–Nikolayevsky [6] proved , improved further by Fulek–Pach [12, 13] and Goddyn–Xu [14]), the current best upper bound on the number of edges of an -vertex thrackle is by Xu [31].”
Progress & source assessment
Repository table (commit 2c1968c, 26 September 2026): best known lower bound 1; best known upper bound 1.393. Values marked with an asterisk have minimal verification.
Known upper bounds
| Bound | Reference | Comments |
|---|---|---|
| [CN2000] | Lovász–Pach–Szegedy proved , hence . [CN2000-ub-lps-cn] | |
| [CN2000] | Cairns–Nikolayevsky improved the linear bound to , hence . [CN2000-ub-lps-cn] | |
| [FP2011] | Fulek–Pach proved , so . [FP2011-def-tn-conj] | |
| [FP2019] | Previous record, attributed there to Goddyn–Xu: , hence . [FP2019-ub-gx-fp] | |
| [FP2019] | Fulek–Pach improved the bound to , hence . [FP2019-ub-gx-fp] | |
| [KSTZ2025] | Current best upper bound: Xu's bound, as recorded in recent literature, gives . [KSTZ2025-current-best-special] |
Known lower bounds
| Bound | Reference | Comments |
|---|---|---|
| [FP2011] | Any cycle of length at least five can be drawn as a thrackle, and such a cycle has . [FP2011-open-sharp] |
- [1]Davis, Damek; Ivanisvili, Paata; Tao, Terence (maintainers). Optimization Constants in Mathematics, github.com/teorth/optimizationproblems (commit 2c1968c, 26 September 2026). — Conway thrackle constant ($C_{78}$) linkApache-2.0 (repository license); constant pages reproduced with attribution; repository references retained.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.