{"id":"arxiv/2607.06171","url":"https://arxiv.org/abs/2607.06171","tags":["math.CO","cs.DS"],"score":0,"title":"The singleton hypergraph is extremal for the Isolation Lemma","domain":"math.CO","source":"arxiv","authors":["Vance Faber","David G. Harris"],"reviews":0,"subject":"math.CO","summary":"Let $H$ be an inclusion-free hypergraph on $n$ vertices. A weight assignment $w:[n]\\to[d]$ is isolating if there is a unique edge $e$ whose weight $w(e) = \\sum_{i \\in e} w(i)$ is minimum. We show that the number of isolating weight assignments is at least $$ n\\sum_{j=0}^{d-1} j^{n-1}, $$ a bound which is attained with equality by the hypergraph consisting of the $n$ singleton edges. This proves the conjecture stated in Faber & Harris (2018). We also prove the bound for a more general class of edge-weight objectives, including arbitrary edge offsets.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-07","reactions":{}}