[論文レビュー] Globally simple Heffter arrays and orthogonal cyclic cycle decompositions

Simone Costa, Fiorenza Morini+2 more|arXiv (Cornell University)|Sep 18, 2017

graph theory and CDMA systems参考文献 8被引用数 25

ひとこと要約

この論文は、$2nk+1$ を法として自然な順序（左から右、上から下）において、行と列がすべて単純である、グローバルに単純なヘッファー配列（GSHA）という、整数ヘッファー配列の新しいクラスを導入する。著者らは、サイクル長 $k \leq 10$ に対して明示的な GSHA を構成し、完全グラフおよびカクテルパーティー・グラフの直交する巡回的サイクル分解の存在を証明するとともに、可定向多様体上へのバイ埋め込みを可能にする。

ABSTRACT

In this paper we introduce a particular class of Heffter arrays, called globally simple Heffter arrays, whose existence gives at once orthogonal cyclic cycle decompositions of the complete graph and of the cocktail party graph. In particular we provide explicit constructions of such decompositions for cycles of length $k\leq 10$. Furthermore, starting from our Heffter arrays we also obtain biembeddings of two $k$-cycle decompositions on orientable surfaces.

研究の動機と目的

• グローバルに単純なヘッファーパターン（GSHA）を定義し、その構成を行う。これは、自然な順序（左から右、上から下）において、行と列が $2nk+1$ を法として単純である、ヘッファーパターンの新しいクラスである。
• GSHA を用いて、完全グラフ $K_{2nk+1}$ およびカクテルパーティー・グラフ $CP(2nk+1)$ の直交する巡回的サイクル分解の存在を確立する。
• サイクル長 $k \leq 10$ に対して、そのような分解の明示的構成を提供する。特に $k=6,7,8,9,10$ に注目する。
• GSHA が、互いに適合する順序付けを介して、可定向多様体上に二つの $k$-サイクル分解のバイ埋め込みをもたらすことを示す。
• 範囲 $3 \leq k \leq 10$ における $\mathrm{SH}^*(n;k)$ の存在問題を解決し、このような配列が存在するための必要十分条件が $n \geq k$ かつ $nk \equiv 0,3 \pmod{4}$ であることを示す。

提案手法

• グローバルに単純なヘッファーパターン $\mathrm{SH}(n;k)$ を、$\mathrm{H}(n;k)$ として定義する。ここで、各行および各列がその自然な順序（左から右、上から下）において $2nk+1$ を法として単純であるものとする。
• モジュロ算術および符号付き整数列に基づく再帰的およびパラメトリックな構成法を用いて、$k=6,7,8,9,10$ に対して明示的な $\mathrm{SH}^*(n;k)$ 配列を構成する。
• 行および列の順序付けにおける部分和が $2nk+1$ を法としてすべて異なることにより単純性を保証し、特定のケースについては直接計算により検証する。
• 適合する順序付け（例えば、自然な行・列順序）の存在を活用して、定理 3.1 を適用し、GSHA と直交する巡回的サイクル分解との関係を確立する。
• 命題 2.6 および定理 1.3 を適用して、存在の必要十分条件を確立する：$n \geq k$ かつ $nk \equiv 0,3 \pmod{4}$。
• 具体的な $n$（例：$n=12$）に対して、明示的な配列例と部分和の検証（$20n+1$ および $20n+2$ を法として）により構成を検証する。

実験結果

リサーチクエスチョン

• RQ1 どの $n$ および $k$ に対して、$3 \leq k \leq 10$ の範囲でグローバルに単純なヘッファーパターン $\mathrm{SH}^*(n;k)$ が存在するか？
• RQ2 グローバルに単純なヘッファーパターンは、完全グラフおよびカクテルパーティー・グラフの直交する巡回的サイクル分解を構成するために使用可能か？
• RQ3 グローバルに単純なヘッファーパターンは、可定向多様体上に二つの $k$-サイクル分解のバイ埋め込みを可能にするか？
• RQ4 $k \leq 10$ の範囲で、$\mathrm{SH}^*(n;k)$ の存在に必要な十分条件は何か？
• RQ5 すべての有効な $n$ および $k$ に対して、$\mathrm{SH}^*(n;k)$ の明示的構成を提供できるか？

主な発見

• 定理 5.1 で示されたように、$3 \leq k \leq 10$ において、すべての $n \geq k$ および $nk \equiv 0,3 \pmod{4}$ に対して $\mathrm{SH}^*(n;k)$ が存在する。
• パラメトリック族（モジュロ算術および符号付き列に基づく）を用いて、$k=6,7,8,9,10$ に対して $\mathrm{SH}^*(n;k)$ の明示的構成が提供されている。
• 特に $n=12$ に対して、すべての行および列の部分和が $241$ および $242$ を法として互いに異なる、明示的な $\mathrm{SH}^*(12;10)$ が構成され、グローバルな単純性が確認された。
• $n \equiv 1 \pmod{4}$ の $\mathrm{SH}^*(n;7)$ および $n \equiv 3 \pmod{4}$（$n>11$）の $\mathrm{SH}^*(n;9)$ は、それぞれ巡回的 $7$-対角および $9$-対角であることが示され、適合する順序付けが可能である。
• 参考文献 [16] の $\mathrm{H}(n;5)$ が変換 $h_{2i,2j} = a_{i,j}$ を用いて巡回的 $5$-対角の $\mathrm{SH}^*(n;5)$ に変換され、グローバルな単純性が保証された。
• 例外的な $\mathrm{SH}^*(11;9)$ が明示的に構成され、バイ埋め込みに適した自然な順序付けが存在することを検証した。これにより定理 1.11 が確認された。