[論文レビュー] Magic squares with empty cells

Abdollah Khodkar, David Leach|arXiv (Cornell University)|Apr 30, 2018

Graph Labeling and Dimension Problems参考文献 4被引用数 3

ひとこと要約

本稿では、k個の連続する対角線に制限されたn×nの配列として定義されるk-対角線魔方陣——各行・各列にちょうどk個のセルが埋まっており、すべての行と列の和が同じ魔方陣の和になる——を導入する。著者らは、k-対角線魔方陣が存在するための必要十分条件を、n=k=1 または 3≤k≤n かつ n が奇数、または k が偶数であると示し、k=3から6については直接構成法を用い、一般のkに対してはシフトとスケーリングに基づく再帰的重ね合わせ法により解を拡張する。

ABSTRACT

A k-magic square of order n is an arrangement of the numbers from 0 to kn-1 in an n by n matrix, such that each row and each column has exactly k filled cells, each number occurs exactly once, and the sum of the entries of any row or any column is the same. A magic square is called k-diagonal if its entries all belong to k consecutive diagonals. In this paper we prove that a k-diagonal magic square exists if and only if n = k = 1 or 3 <= k <=n and n is odd or k is even.

研究の動機と目的

• k-対角線魔方陣——入力がk個の連続する対角線に制限された、部分的に埋められた魔方陣の新しいクラス——を定義し、その性質を調査すること。
• 与えられたnとkに対して、このようなk-対角線魔方陣が存在するための必要十分条件を特定すること。
• k=3,4,5,6の場合のk-対角線魔方陣に対して明示的な直接構成法を提供し、重ね合わせ技術を用いてそれらをすべての有効なkに拡張すること。
• 対角線に制限された構造的制約と、nとkの偶奇性に関する条件が生じる理由を解明すること。

提案手法

• k-対角線魔方陣を、各行・各列にちょうどk個のセルが埋まっており、0からkn−1までの値が入り、すべての行と列の和が一定であるn×nの配列として定義する。
• k=3,4,5,6の場合に、モジュロ算術を用いて特定の対角線に値を割り当てることで、明示的な解を構成し、すべての数が正確に一度ずつ使われるようにする。
• nを法とするシフト操作（mod n）を用いて、既存のk-対角線魔方陣から新しいものを作成し、魔方陣の和と対角線構造を保つ。
• 重ね合わせ技術を適用する：ℓ-対角線とm-対角線の魔方陣（ℓ+m ≤ n）を組み合わせ、2番目の魔方陣をℓnずつシフトし、重複しないセルに値を配置することで、(ℓ+m)-対角線の魔方陣を構成する。
• 加法的スケーリングを活用する：k-対角線魔方陣のすべての要素に定数mを加えることで、魔方陣の和の性質が保たれ、値の範囲が拡張される。
• kを3,4,5（nが奇数の場合）または4,6（nが偶数の場合）の非負整数の線形結合として表し、重ね合わせ補題を再帰的に適用することで、すべての有効なkに対して存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 nとkのどの値に対して、n次のk-対角線魔方陣が存在するか？
• RQ2 魔方陣において入力がk個の連続する対角線に制限された場合に、どのような構造的・算術的制約が生じるか？
• RQ3 kが小さい場合の直接構成法を、代数的・組合せ論的重ね合わせ技術を用いて、すべての有効なkに一般化できるか？
• RQ4 なぜk≥3の場合に、nが奇数またはkが偶数であるという偶奇条件が存在の必要条件として現れるのか？
• RQ5 対角線への制限と重ね合わせ操作の下で、魔方陣の和と値の分布はどのように変化するか？

主な発見

• k-対角線魔方陣が存在するための必要十分条件は、n=k=1 または 3≤k≤n かつ n が奇数、または k が偶数であると示され、完全な特徴付けが得られた。
• k=3（n≥3の奇数）、k=4（n≥4）、k=5（n≥5の奇数）、k=6（n≥6の偶数）に対して、それぞれk個の連続する対角線にモジュロインデックスを用いた直接構成法が提供された。
• 任意のn次のk-対角線魔方陣の魔方陣の和はk(kn−1)/2であり、構成法においてすべての行と列で一貫している。
• 重ね合わせ補題により、ℓ+m≤n を満たす有効なℓ-対角線とm-対角線の魔方陣を、2番目の魔方陣をシフトしてスケーリングすることで、(ℓ+m)-対角線の魔方陣に合成できる。
• nが奇数でk≥3の場合、任意のkは非負整数a,b,cを用いて3a+4b+5cとして表され、基本ケースk=3,4,5を繰り返し重ね合わせることで構成可能である。
• nが偶数でk≥4の場合、任意のkは非負整数a,bを用いて4a+6bとして表され、基本ケースk=4とk=6を用いた重ね合わせにより構成可能である。