[论文解读] 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$，紧致 Heffter 数组 $H(m,n)$ 的存在性，确立了此类数组存在的充要条件为两个维度均至少为 3。此外，证明了整数 Heffter 数组存在的充要条件为 $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.

研究动机与目标

• 建立紧致 Heffter 数组 $H(m,n)$ 存在的充要条件，即在模 $2mn+1$ 下每行每列的和为零，且任意元素 $x$ 或 $-x$ 不重复出现。
• 确定整数 Heffter 数组（元素取值于 $\{-mn, \dots, mn\}$，在 $\mathbb{Z}$ 上和为零）存在的条件，证明其存在的充要条件为 $mn \equiv 0,3 \pmod{4}$。
• 刻画可平移的整数 Heffter 数组——即每行每列中正负元素数量相等的数组——证明其存在的充要条件为 $m$ 和 $n$ 均为偶数。
• 提供基于模运算与整数分块矩阵的显式构造方法，覆盖所有满足存在条件的参数组合，生成所有此类数组。

提出的方法

• 通过在 $\mathbb{Z}_{2mn+1}$ 上使用模运算进行分块矩阵铺砌构造 $H(m,n)$ 数组，确保行和列和在模 $2mn+1$ 下为零。
• 使用元素取值于 $\{-mn, \dots, mn\}$ 的整数分块矩阵构造整数 Heffter 数组，使得行和列和在 $\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$ 值，紧致 Heffter 数组 $H(m,n)$ 存在？
• RQ2 在何种条件下，整数 Heffter 数组（元素为整数且在 $\mathbb{Z}$ 上和为零）存在？
• RQ3 在何种条件下，整数 Heffter 数组可实现平移，即每行每列中正负元素数量相等？
• RQ4 能否为所有满足存在条件的 $m,n$ 提供显式构造方法？
• RQ5 如何利用分块矩阵方法系统地生成行和列和为零、且无符号冗余元素的 Heffter 数组？

主要发现

• 对所有 $m,n \geq 3$，紧致 Heffter 数组 $H(m,n)$ 均存在，无例外情况。
• 整数 Heffter 数组存在的充要条件为 $mn \equiv 0,3 \pmod{4}$，与引理 1.3 中的必要条件一致。
• 可平移的整数 Heffter 数组存在的充要条件为 $m$ 和 $n$ 均为偶数，符合正负元素对称性的要求。
• 本文通过模运算与整数分块矩阵构造了所有有效情况下的显式数组，确保绝对值从 1 到 $mn$ 恰好各出现一次。
• 分块构造方法确保所有行和列和在 $\mathbb{Z}$ 上为零，且数组的支撑集恰好为 $\{1,2,\dots,mn\}$。
• 所有分块 $A$、$B_r$、$C_r$ 和 $E$ 的区间支撑集的并集恰好覆盖 $[1, mn]$ 且无重叠，确认了所需绝对值的完整覆盖。