{"id":"arxiv/2609.30310","url":"https://arxiv.org/abs/2609.30310","tags":["math.CO","math.MG"],"score":0,"title":"The maximum area of the convex hull of a polyhex","domain":"math.CO","source":"arxiv","authors":["Pragyaan Gaur"],"reviews":0,"subject":"math.CO","summary":"A polyhex is an edge-connected set of n cells of the regular hexagonal tiling, where each cell has area one. We prove that the convex hull of a polyhex has area at most (1/6)*ceiling(n^2 + 14n/3), and we show that some polyhex reaches this bound for every n. This proves a conjecture of Kurz from 2008, which asked for the weaker bound (1/6)*floor(n^2 + 14n/3 + 1). The two bounds differ exactly when 3 divides n. We checked the upper bound in the Lean 4 proof assistant with the Mathlib library. We also report a computation over all polyhexes with at most 12 cells, which shows that for these…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}