[論文レビュー] Tight Heffter Arrays Exist for all Possible Values: The Research Report

Dan Archdeacon, Tomas Boothby+1 more|arXiv (Cornell University)|Sep 1, 2015

graph theory and CDMA systems参考文献 5被引用数 3

ひとこと要約

この論文は、すべての $m,n \geq 3$ に対して、$H(m,n)$ のタイトなヘッファー配列の存在を証明しており、このような配列が存在するのは両方の次元が 3 以上である場合に限ることを確立している。さらに、整数ヘッファー配列は $mn \equiv 0,3 \pmod{4}$ のときにのみ存在し、シフト可能な整数配列は両方の $m$ と $n$ が偶数のときにのみ存在することを示しており、モジュラー算術と整数算術を用いたブロック行列構成により、符号の重複がない状態で行と列の和がゼロになるようにしている。

ABSTRACT

A tight Heffter array H(m,n) is an m x n matrix with nonzero entries from Z_{2mn+1} such that i) the sum of the elements in each row and each column is 0, and ii) no element from {x,-x\ appears twice. We prove that H(m,n) exist if and only if both m and n are at least 3. If all entries are integers of magnitude at most mn satisfying every row and column sum is 0 over the integers and also satisfying ii) we call H an integer Heffter array. We show integer Heffter arrays exist if and only if mn \equiv 0,3 (mod 4). Finally, an integer Heffter array is shiftable if each row and column contains an the same number of positive and negative integers. We show that shiftable integer arrays exists exactly when both $m,n$ are even. This research report contains all of the details of the proofs. It is meant to accompany the journal version of this paper.

研究の動機と目的

• 行と列の和が $2mn+1$ を法としてゼロであり、かつ $x$ や $-x$ が二度以上現れないような、タイトなヘッファー配列 $H(m,n)$ の存在に必要な十分な条件を確立すること。
• 整数ヘッファー配列（$\{-mn, \dots, mn\}$ の要素をもち、$\mathbb{Z}$ 上で和がゼロとなるもの）が存在する条件を特定し、$mn \equiv 0,3 \pmod{4}$ のときにのみ存在することを示すこと。
• 各行列の行と列に等しい数の正負の要素を持つ「シフト可能な整数ヘッファー配列」を特徴づけ、両方の $m$ と $n$ が偶数のときにのみ存在することを証明すること。
• モジュラー算術と整数ブロック行列を用いた明示的な構成法を提供し、すべての有効なパrameterの組み合わせに対してこのような配列を生成すること。

提案手法

• モジュラー算術を $\mathbb{Z}_{2mn+1}$ 上で用いたブロック行列のタイリングにより $H(m,n)$ 配列を構成し、行と列の和が $2mn+1$ を法としてゼロになるように保証すること。
• 整数ブロック行列を用い、$\{-mn, \dots, mn\}$ の要素をもつことで、整数ヘッファー配列を構築し、$\mathbb{Z}$ 上で行と列の和がゼロになるようにすること。
• 配列の行と列の和を保ちつつ、$H \pm k$ のシフト作用素を定義・適用し、目的の整数区間をカバーできるようにサポートをシフトすること。
• 区間が重複しないようにするため、$9\times 4$、$7\times 4$、$4\times 4$ のタイル構成（$B_r$、$C_r$、$E_0$）を用い、和がゼロになる性質を保証すること。
• ブロック $A$、$B_r$、$C_r$、$E$ を組み合わせて大きな行列構造を構築し、$A$ と $C_r^T$ を配置することで、行と列の総和がゼロを維持すること。
• すべてのブロックの区間サポートの和集合が $[1, mn]$ を正確にカバーすることを検証し、$1$ から $mn$ までの絶対値がすべて一度ずつ現れることを保証すること。

実験結果

リサーチクエスチョン

• RQ1 どの $m$ と $n$ の値に対して、タイトなヘッファー配列 $H(m,n)$ が存在するか？
• RQ2 整数ヘッファー配列（$\mathbb{Z}$ 上で和がゼロとなる整数要素をもつもの）が存在する条件は何か？
• RQ3 整数ヘッファー配列が「シフト可能」とは、つまり各行と各列に等しい数の正負の要素を持つ場合に、どのような条件下で存在するか？
• RQ4 すべての有効な $m,n$ に対して、明示的な構成法を提供できるか？
• RQ5 ブロック行列法をどのように用いて、行と列の和がゼロで、符号の重複がないヘッファー配列を体系的に生成できるか？

主な発見

• タイトなヘッファー配列 $H(m,n)$ はすべての $m,n \geq 3$ に対して存在し、例外は存在しない。
• 整数ヘッファー配列は $mn \equiv 0,3 \pmod{4}$ のときにのみ存在し、これは補題 1.3 で示された必要条件と一致する。
• シフト可能な整数ヘッファー配列は、両方の $m$ と $n$ が偶数のときにのみ存在する。これは正負の要素の対称性に起因する。
• 論文は、モジュラー算術と整数ブロック行列を用いて、すべての有効なケースに対して明示的な配列を構成しており、$1$ から $mn$ までのすべての整数が絶対値として正確に一度ずつ現れる。
• ブロック構成法により、すべての行と列の和が $\mathbb{Z}$ 上でゼロであることが保証され、配列のサポートは正確に $\{1,2,\dots,mn\}$ である。
• すべてのブロック $A$、$B_r$、$C_r$、$E$ の区間サポートの和集合が $[1, mn]$ を重複なくカバーしており、必要な絶対値が完全にカバーされていることが確認された。