[論文レビュー] Grid designs

Alon Danai, Joshua Kou+3 more|arXiv (Cornell University)|Jan 1, 2026

Finite Group Theory Research被引用数 0

ひとこと要約

この論文は G が格子グラフ (G = C_n × C_n または P_n × P_n) の G-design を研究し、特定の n に対して完全集合グラフをこのような格子に分割することを証明し、有限体ベースの構成を提供する。特に K_16 は五つの P_4 × P_4 グリッドに分割可能である一方、K_9 は三つの P_3 × P_3 グリッドには分割できない。

ABSTRACT

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 path-graphs, we prove that $G = P_3 \square P_3$ does not admit a $G$-design but that $G = P_4 \square P_4$ does. This last result is the special case that motivated the present paper: a $P_4 \square P_4$-design corresponds to a way of successively scrambling a Connections puzzle so that each pair of words occurs adjacently exactly once. Our constructions use the arithmetic of finite fields.

研究の動機と目的

• G-design を、完全グラフをエッジ disjoint な G に同型なサブグラフへ分解することとして定義する。
• G = C_n × C_n および G = P_n × P_n の各 n（特に素数冪）に対する G-design の存在を調査する。
• トーラス格子と通常格子の有限体を用いた明示的構成を提供する。
• Connections のようなパズルとの関連を強調し、より高次元の格子やより大きなグリッド形の一般問題を動機付ける。

提案手法

• 有限体の元として完全集合グラフの頂点を表現（例: F_p^2 または F_p^4）し、固定差集合を用いてエッジを割り当て、ターゲット格子に同型な部分グラフを得る。
• 頂点集合を α,β, ... に基づくパラメータ付きの G(α,β,...) の複製として分割し、K_n^2 の各エッジをちょうど一度ずつ覆うようにする。
• Kotzig の定理を用いて C_p × C_p の分解を C_p × C_p のハミニトン回路と関連付け、より高次のべきに対する段階的構築を可能にする。
• K_{p^2} については (p^2−1)/4 コピーの C_p × C_p への分解を示す（定理1）；K_{p^4} については (p^4−1)/4 コピーの C_{p^2} × C_{p^2} への分解を示す（定理2）；K_{16} については five Copy の P_4 × P_4 を構成する（定理4）。

実験結果

リサーチクエスチョン

• RQ1 K_{n^2} は C_n × C_n または P_n × P_n のコピーへの分解を持つ n はどれか？
• RQ2 K_{p^2} は奇素数 p に対して C_p × C_p のコピーへ分割可能か？（はい、定理1）
• RQ3 K_{p^4} は奇素数 p に対して C_{p^2} × C_{p^2} のコピーへ分割可能か？（はい、定理2）
• RQ4 K_9 および K_16 の小ケースはそれぞれ P_3 × P_3 および P_4 × P_4 への分割を許すか？（K_9 は三つのコピーで不可能、K_16 は五つのコピーで可能）
• RQ5 より高次の格子や混合格子型（例: C_m × C_n、P_m × P_n）に関する未解問題は何か？

主な発見

• K_{p^2} は奇素数 p に対して (p^2−1)/4 コピーの C_p × C_p への分割を持つ（定理1）。
• K_{p^4} は奇素数 p に対して (p^4−1)/4 コピーの C_{p^2} × C_{p^2} への分割を持つ（定理2）。
• K_9 は三つのコピーの P_3 × P_3 への分割を持たない（定理3）。
• K_{16} は五つのコピーの P_4 × P_4 への分割を持つ（定理4）。
• 構成には有限体演算と基底を用いたエッジ差スキームが格子分解を実現する。