{"id":"arxiv/2601.00165","url":"https://arxiv.org/abs/2601.00165","tags":["math.CO"],"score":0,"title":"Grid designs","domain":"math.CO","source":"arxiv","authors":["Alon Danai","Joshua Kou","Andy Latto","Haran Mouli","James Propp"],"reviews":0,"subject":"math.CO","summary":"We define a grid graph $G$ as a Cartesian product of path-graphs $P_n$ or cycle-graphs $C_n$ as shown in Figure 1, and we ask, when can the edge set of a complete graph be expressed as a disjoint union of graphs isomorphic to $G$? That is, we are asking for which grid graphs a $G$-design exists, where a $G$-design is defined as a decomposition of a complete graph into edge-disjoint subgraphs isomorphic to $G$. We show that when $n$ is an odd prime or the square of an odd prime, the toroidal grid-graph $G = C_n \\square C_n$ admits a $G$-design. In the less symmetrical case of products of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-01","reactions":{}}