[论文解读] 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 $ 的临界集数量的上界 $ 2^{n^2 - 2n + 1} n^s $。
• 通过将 $ L(n) $ 的下界与临界集数量的上界相等，推导出 $ s = {\rm lcs}(n) $ 的下界。
• 通过对数运算和渐近简化求解所得不等式，得到 ${\rm lcs}(n)$ 的最终表达式。
• 验证该下界相较于先前结果（包括尼尔德的 $ (n^2 - n)/2 $ 和斯蒂森–范雷思的 $ 4^m - 3^m $，当 $ n = 2^m $ 时）的优越性。

实验结果

研究问题

• RQ1 拉丁方阶数 $n$ 的最大临界集大小的渐近行为是什么？
• RQ2 对于大 $n$，能否改进 $ {\rm lcs}(n) $ 的长期下界 $ (n^2 - n)/2 $？
• RQ3 拉丁方的数量与唯一可完成的偏拉丁方（临界集）的数量之间有何关系？
• RQ4 使用组合计数和近似技术，可以推导出的 $ {\rm lcs}(n) $ 的最紧下界是什么？
• RQ5 新下界与现有下界 $ 4^m - 3^m $（当 $ n = 2^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 $ 有效的通用解析表达式。