[論文レビュー] 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つの非ゼロセルを持つ符号付き魔方陣の存在に必要なおよび十分な条件を確立し、SMR(m,n;k,3)が存在するための必要十分条件が 3 ≤ m,k ≤ n かつ mk = 3n であることを証明している。この構成法は、整数集合をほぼ直交する三つ組に分割し、既知の魔方陣およびヘッファーラー配列に関する結果を活用して、対称的な整数値とゼロ和の行・列を保証するものである。

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$.

研究の動機と目的

• 正確に各列に3つの非ゼロセルを持つ符号付き魔方陣 SMR(m,n;k,3) の存在に必要なおよび十分な条件を同定すること。
• 従来の2つの非ゼロセル毎列のケースにとどまらず、符号付き魔方陣理論を拡張すること。
• SMR(m,n;k,3) の存在に関する未解決問題を、有効なパrameterの組み合わせを特徴づけることで解決すること。
• 整数の分割および直交分解を用いた構成的技法を提供し、条件を満たす場合にそのような魔方陣を構築すること。

提案手法

• Lemma 7 を活用して、奇数行和を持つ既存の魔方陣をゼロを中心とする符号付き魔方陣に変換する。
• Theorem 8 を適用して、特定の偶奇性およびサイズ制約を満たす場合に MR(m,km;ks,s) を構成し、その後対称的シフトにより SMR(m,km;ks,s) に変換する。
• Proposition 9 を用いて、m, k, s が奇数で 3 ≤ s ≤ m を満たす場合に SMR(m,km;3k,3) を構成する。
• 整数集合 X を互いに素な三つ組に分解する分割技法を用い、行・列制約と整合するようにゼロ和の三つ組を確保する。
• Theorem 13 を適用して、X の分割が列分割 C1,…,Cn に対してほぼ直交する場合に SMR(m,n;k,3) の存在を検証する。
• 対称的三つ組 {±a, ±b, ±c} 及びその符号付き版を用いた明示的例を構築し、行および列の和制約を満たす。

実験結果

リサーチクエスチョン

• RQ1 各列に正確に3つの非ゼロセル、各行にk個の非ゼロセルを持つ符号付き魔方陣 SMR(m,n;k,3) が存在する条件は何か？
• RQ2 SMR(m,n;k,3) の存在が、方程式 mk = 3n と不等式 3 ≤ m,k ≤ n のみで特徴づけられるか？
• RQ3 必要な条件が満たされた場合に、そのような魔方陣を体系的に構築する方法は何か？
• RQ4 ゼロ和の三つ組への整数集合の分割および列分割との直交性が、存在証明において果たす役割は何か？
• RQ5 すべての有効なパrameterの組み合わせについて、SMR(m,n;k,3) を構成的に生成する方法はあるか？

主な発見

• SMR(m,n;k,3) が存在するための必要十分条件は 3 ≤ m,k ≤ n かつ mk = 3n である。
• mk = 3n かつ m,k ≥ 3 の場合、整数集合 X をゼロ和の三つ組に構成的分割することで存在が保証される。
• n が奇数または偶数であっても構成法は有効であり、k や m が3で割り切れるかどうかに応じた別個の処理が行われる。
• SMR(10,30;9,3)、SMR(4,12;9,3)、SMR(30,30;5,3) などの小規模なケースについて明示的な例が提示され、理論的条件が確認されている。
• この方法は、ゼロ和の三つ組への X のほぼ直交的分割に依存しており、列および行の制約と整合する。
• 証明は、既存の魔方陣およびヘッファーラー配列に関する結果を統合し、各列に3つの非ゼロセルを持つ符号付きケースにまで拡張している。