[论文解读] Signed magic rectangles with three filled cells in each column

Abdollah Khodkar, Chris Leach+1 more|arXiv (Cornell University)|Dec 18, 2019

Graph Labeling and Dimension Problems被引用 4

一句话总结

该论文确立了每列恰好包含三个填充单元的带符号魔矩形存在的充要条件，证明了当且仅当 3 ≤ m,k ≤ n 且 mk = 3n 时，SMR(m,n;k,3) 存在。该构造方法依赖于将整数集划分为近乎正交的三元组，并利用已知的魔矩形与赫夫纳数组结果，确保行与列的和为零且整数条目对称。

ABSTRACT

A {\em signed magic rectangle} $SMR(m,n;k, s)$ is an $m imes n$ array with entries from $X$, where $X=\{0,\pm1,\pm2,\ldots, $ $\pm (mk-1)/2\}$ if $mk$ is odd and $X = \{\pm1,\pm2,\ldots,\pm mk/2\}$ if $mk$ is even, such that precisely $k$ cells in every row and $s$ cells in every column are filled, every integer from set $X$ appears exactly once in the array and the sum of each row and of each column is zero. In this paper, we prove that a signed magic rectangle $SMR(m,n;k, 3)$ exists if and only if $3\leq m,k\leq n$ and $mk=3n$.

研究动机与目标

• 确定每列恰好包含三个填充单元的带符号魔矩形 SMR(m,n;k,3) 存在的必要与充分条件。
• 将带符号魔矩形的理论扩展至此前研究中每行仅含两个填充单元的情况之外。
• 通过表征所有有效参数组合，解决 SMR(m,n;k,3) 存在性的一个开放问题。
• 提供基于整数划分与正交分解的构造方法，当条件满足时可系统性地构建此类矩形。

提出的方法

• 利用引理 7 将具有奇数行和的现有魔矩形通过围绕零点集中条目，转化为带符号魔矩形。
• 应用定理 8 在特定奇偶性与尺寸约束下构造魔矩形 MR(m,km;ks,s)，随后通过对称移位将其转换为 SMR(m,km;ks,s)。
• 利用命题 9 在 m, k, s 为奇数且满足 3 ≤ s ≤ m 时构造 SMR(m,km;3k,3)。
• 采用划分技术将整数集 X 划分为互不相交的三元组，使其和为零，从而确保与列划分的近乎正交性。
• 应用定理 13 验证当 X 的划分与列划分 C1,…,Cn 近乎正交时，SMR(m,n;k,3) 的存在性。
• 通过使用对称三元组集合如 {±a, ±b, ±c} 及其带符号版本，构造显式示例，以满足行与列的和约束。

实验结果

研究问题

• RQ1 在什么条件下，每列恰好包含三个填充单元且每行包含 k 个填充单元的带符号魔矩形 SMR(m,n;k,3) 存在？
• RQ2 SMR(m,n;k,3) 的存在性是否可仅由等式 mk = 3n 与边界条件 3 ≤ m,k ≤ n 完全表征？
• RQ3 当满足必要条件时，此类矩形的构造能否系统性地实现？
• RQ4 整数集划分为和为零的三元组，及其与列划分的正交性，在存在性证明中起什么作用？
• RQ5 是否存在构造方法，可对所有有效参数组合生成 SMR(m,n;k,3)？

主要发现

• 当且仅当 3 ≤ m,k ≤ n 且 mk = 3n 时，SMR(m,n;k,3) 存在。
• 当 mk = 3n 且 m,k ≥ 3 时，通过将整数集 X 构造性地划分为和为零的三元组，可保证其存在性。
• 该构造方法对奇数与偶数 n 均有效，且对 3 整除 k 或 m 的情况分别进行处理。
• 提供了 SMR(10,30;9,3)、SMR(4,12;9,3) 和 SMR(30,30;5,3) 等小规模情况的显式示例，验证了理论条件。
• 该方法依赖于将 X 划分为和为零的三元组的近乎正交划分，且与行与列约束兼容。
• 该证明统一了先前关于魔矩形与赫夫纳数组的研究成果，并将其扩展至每列含三个填充单元的带符号情形。