{"id":"arxiv/2608.21648","url":"https://arxiv.org/abs/2608.21648","tags":["math.CO"],"score":0,"title":"Certified Countermodels in Profile and Incidence Fibres of Diamond-Induced Edge Partitions","domain":"math.CO","source":"arxiv","authors":["Ivan Khalamendyk"],"reviews":0,"subject":"math.CO","summary":"Let $G=(V,E)$ be a finite loopless directed graph. Each directed two-step diamond identifies its two pairs of opposite edges, and the connected components of the resulting auxiliary graph on $E$ define a canonical partition $Π_{\\mathrm{opp}}(G)$. We ask whether a finite relational certificate built from the blocks of an edge partition identifies this canonical partition. We prove the functoriality and a universal coarsening property of $Π_{\\mathrm{opp}}(G)$, count its complete fixed-profile fibre and its exact radius-one transposition neighbourhood, and reduce the parity condition in the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}