[論文レビュー] On uniformly generating Latin squares

Masood Aryapoor, E. S. Mahmoodian|arXiv (Cornell University)|May 2, 2010

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

ひとこと要約

本稿では、ジャコブソンとマーシャルが用いた、ラテン平方の均一生成に用いられるマルコフ連鎖の連結性を、ラテン・ビトレード（特にインタカリテやその代数的性質）を用いて、簡潔に証明する。任意の2つのラテン平方が、インタカリテに基づく±1-移動の系列によって互いに変換可能であることを示すことで、状態空間の連結性を確立し、マルコフ連鎖の均一エルゴード性に不可欠な性質を裏付ける。これにより、ラテン平方のほぼ均一なサンプリングに向けたジャコブソン＝マーシャル法の理論的基盤が正当化される。

ABSTRACT

By simulating an ergodic Markov chain whose stationary distribution is uniform over the space of nxn Latin squares, Mark T. Jacobson and Peter Matthews [4], have discussed elegant methods by which they generate Latin squares with a uniform distribution (approximately). The central issue is the construction of "moves" that connect the squares. Most of their lengthy paper is to prove that the associated graph is indeed connected. We give a short proof of this fact by using the concepts of Latin bitrades.

研究の動機と目的

• 均一なラテン平方生成に用いられるマルコフ連鎖の連結性について、短く代替的な証明を提供すること。
• ラテン・ビトレード理論を用いて、インタカリテに基づく±1-移動の下でラテン平方の空間が連結であることを示すこと。
• ジャコブソン＝マーシャルのアルゴリズムが、ラテン平方のほぼ均一なサンプリングに用いられる理論的基盤を検証すること。
• 適切な移動（2行および3行のビトレード）が、すべてのラテン平方を接続するために十分であることを示し、マルコフ連鎖の不可約性を保証すること。

提案手法

• 著者らは、特に体積4のビトレード（インタカリテ）を用いて、ラテン平方間の局所的変換をモデル化するラテン・ビトレードの概念を用いる。
• 彼らは、インタカリテの追加を±1-移動と定義し、これはあるセルに-1の係数をもつ不適切なラテン平方を生じる可能性がある。
• 証明は、行数に関する帰納法に基づき、任意の2つのラテン平方が、±1-移動の系列によって順次各行が一致するように変換可能であることを示す。
• 不適切な平方を元に戻すために、1行あたり最大(n−1)/2回の移動を用いるために、補題1を用いる。
• 補題3を用いて、最初のk−1行を変更せずに、1行内の要素を入れ替えることが可能となり、2つの平方間の各行を段階的に一致させられる。
• 任意のラテン平方を別のものに変換するための±1-移動の総数は、2(n−1)³で上限がつけられ、状態グラフの直径が有限であることが示された。

実験結果

リサーチクエスチョン

• RQ1 ジャコブソンとマーシャルの元々の論文よりも、ラテン平方生成のマルコフ連鎖の連結性をより簡潔に証明できるか？
• RQ2 不適切なラテン平方と±1-移動の使用は、有限回の移動列によってすべての適切なラテン平方を接続するために十分か？
• RQ3 特にインタカリテを用いたラテン・ビトレードは、すべてのラテン平方を生成するための最小かつ効果的な移動集合を構築するために利用可能か？
• RQ4 ±1-移動を用いて、任意の2つのラテン平方を互いに変換するために必要な最大の移動回数は何か？

主な発見

• すべてのn×nラテン平方が±1-移動の下で形成するグラフの直径は、2(n−1)³以下である。
• 任意の2つのラテン平方は、最大2(n−1)³回の±1-移動で互いに変換可能であり、グラフが連結であることが証明された。
• 移動の基本的構成要素としてインタカリテを用いることで、マルコフ連鎖が不可約であることが保証され、均一な定常分布の必要条件を満たす。
• 証明により、適切な移動（2行および3行のビトレード）がすべてのラテン平方を接続するために十分であることが示され、ジャコブソン＝マーシャルのアルゴリズムの有効性が確認された。
• ジャコブソンとマーシャルの1996年のオリジナル論文よりも、はるかに短い連結性の証明が得られた。
• この結果により、1つのセルに-1をもつ不適切な表に基づくマルコフ連鎖が不可約であり、したがってラテン平方のほぼ均一なサンプリングに適していることが確認された。