{"id":"arxiv/2610.17508","url":"https://arxiv.org/abs/2610.17508","tags":["math.CO"],"score":0,"title":"Another Brick in the Wall: A Computationally Assisted Proof of an Improved Upper Bound for Thrackles","domain":"math.CO","source":"arxiv","authors":["Truman Scoppetto"],"reviews":0,"subject":"math.CO","summary":"Let $G$ be a thrackle, where a thrackle is a graph drawing in which each edge meets every other edge exactly once, either at a vertex or at a crossing. It is conjectured that, for all thrackles, the number of edges is less than or equal to the number of vertices. Fulek and Pach created a program to determine whether or not a graph can be a thrackle. Through a reconstruction and improvement of their algorithm, we computationally prove a key dumbbell to be non-thrackleable. Using this exclusion, we improve Xu's 8-face half-edge bound from five to four. Finally, using this stronger restriction…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}