[論文レビュー] A lower bound for the size of the largest critical sets in Latin squares

Hamed Hatami, E. S. Mahmoodian|ArXiv.org|Dec 31, 2006

graph theory and CDMA systems参考文献 2被引用数 8

ひとこと要約

本稿は、スターリングの近似およびラテン平方の個数に関する境界を基盤とする組合せ論的・確率的技法を用いて、$n \times n$ ラテン平方における最大臨界集合のサイズを表す ${\rm lcs}(n)$ に対する新たな漸近的下界を確立する。主な結果は、十分に大きな $n$ に対しては古くから知られるネルダーの予想を大きく上回る、著しく改善された下界である。この下界は、臨界集合の可能な数を分析し、エントロピーに基づく数え上げ的議論を用いて、一意的な完成が要求される最小サイズを制約することで得られる。

ABSTRACT

A critical set in an $n imes n$ array is a set $C$ of given entries, such that there exists a unique extension of $C$ to an $n imes n$ Latin square and no proper subset of $C$ has this property. The cardinality of the largest critical set in any Latin square of order $n$ is denoted by $\lcs{n}$. We give a lower bound for $\lcs{n}$ by showing that $\lcs{n} \geq n^2(1-\frac{2 + \ln 2}{\ln n})+n(1+\frac {\ln (8 π)} {\ln n})-\frac{\ln 2}{\ln n}.$

研究の動機と目的

• ラテン平方のサイズ $n$ における最大臨界集合の長年にわたる下界 $ (n^2 - n)/2 $ を改善すること。
• ネルダーの予想の反証に続く、${\rm lcs}(n)$ のタイトな境界を特定するという未解決問題に取り組むこと、特に $n$ が大きい場合に焦点を当てる。
• 組合せ的数え上げおよび近似技法を用いて、${\rm lcs}(n)$ に対する厳密な漸近的下界を提供すること。
• 臨界集合とラテン平方の総数およびその構造的制約との関係を分析することで、臨界集合の理解を洗練させること。

提案手法

• ヴァン・デル・ワーデンの予想に基づき、ラテン平方の個数に対する既知の下界 $ L(n) \geq \frac{(n!)^{2n}}{n^{n^2}} $ を用いる。
• スターリングの近似 $ n! \approx \sqrt{2\pi n} \left( \frac{n}{e} \right)^n $ を用いて、数え上げ式における階乗項を近似・評価する。
• 臨界集合のサイズ $ s $ に対する可能な形状および記号割り当ての数に基づき、サイズ $ s $ の臨界集合の数の上界として $ 2^{n^2 - 2n + 1} n^s $ を確立する。
• ラテン平方の個数の下界と臨界集合の数の上界を等置することで、$ s = {\rm lcs}(n) $ の下界を導出する。
• 対数変換と漸近的簡略化を用いて、得られた不等式を解き、最終的な $ {\rm lcs}(n) $ の式を得る。
• 従来の結果、特にネルダーの $ (n^2 - n)/2 $ および $ n = 2^m $ の場合のスティンソン–ヴァン・リースの $ 4^m - 3^m $ との比較を通じて、この下界の改善を検証する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $n$ のラテン平方における最大臨界集合のサイズの漸近的挙動は何か？
• RQ2 $ {\rm lcs}(n) $ に対する長年の下界 $ (n^2 - n)/2 $ は、$n$ が大きくなるにつれて改善可能か？
• RQ3 ラテン平方の個数と一意的に完成可能な部分ラテン平方（臨界集合）の個数の関係は何か？
• RQ4 組合せ的数え上げおよび近似技法を用いて得られる、$ {\rm lcs}(n) $ の最もタイトな下界は何か？
• RQ5 新しい下界は、$ n = 2^m $ の場合の既存の下界 $ 4^m - 3^m $ と比べてどうなるか？

主な発見

• 本稿は、$ {\rm lcs}(n) $ に対する新たな漸近的下界を確立する：$ {\rm lcs}(n) \geq n^2\left(1 - \frac{2 + \ln 2}{\ln n}\right) + n\left(1 + \frac{\ln(8\pi)}{\ln n}\right) - \frac{\ln 2}{\ln n} $、$ n \geq 195 $ に対して成立する。
• この下界は、ネルダーの予想された下界 $ (n^2 - n)/2 $ よりも漸近的に改善されており、$n$ が大きくなると $ {\rm lcs}(n) $ が $ n^2/2 $ よりも速く成長することを示している。
• この下界は、ラテン平方の個数に対する下界と臨界集合の個数に対する上界を組み合わせ、スターリングの近似および対数不等式を用いることで得られた。
• $ n \geq 195 $ の場合、新しい下界は従来の最良の下界を上回っており、以前に想定されていたよりも大きな臨界集合が存在することを示している。
• この結果により、$ {\rm lcs}(n) $ が $ n^2/2 $ よりも漸近的に大きいことが確認され、長年にわたって提唱されてきた $ {\rm lcs}(n) = (n^2 - n)/2 $ という予想が反証された。
• 一方で、$ n = 2^m $ の場合、$ 4^m - 3^m $ の下界より弱いが、$ n \geq 195 $ に対して一般に有効な解析的表現を提供している。