{"id":"arxiv/2609.13419","url":"https://arxiv.org/abs/2609.13419","tags":["cs.DM","math.CO"],"score":0,"title":"A Four-Connected Graph without a Legal System","domain":"cs.DM","source":"arxiv","authors":["Qiuyu Chen"],"reviews":0,"subject":"cs.DM","summary":"In a 2021 paper, Jankiewicz, Norin, and Wise asked whether there exists a finite $4$-connected graph of girth at least four and nonnegative Charney--Davis curvature such that no $4$-connected ordinary subgraph admits a legal system. We construct such a graph by starting from the hexagonal prism and attaching three $K_{3,4}$-based caps along pairwise disjoint induced $4$-cycles. The key structural input is a restriction theorem showing that a legal system on an induced-$4$-cycle amalgam restricts to each side, so the obstruction carried by the negatively curved prism survives the attachments.…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-11","reactions":{}}