[论文解读] Overlapping latin subsquares and full products

Joshua M. Browning, Petr Vojtěchovský+1 more|arXiv (Cornell University)|Sep 18, 2015

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

一句话总结

本文確立了在階數為 n 的拉丁方中，存在階數分別為 a、b 和 c 的重疊拉丁子方塊的必要與充分條件，其中 A 和 B 為兩個相交於階數為 c 的子方塊 C 的子方塊。利用 Ryser 條件與符號分佈的組合約束，本文證明：此類子方塊存在的條件為且僅為 n ≥ 2(a + b − c) 且 a ≥ 2c，且周圍區域的符號數量需滿足一個由 |S| = n − (a + b − c) 衍生出的不等式。

ABSTRACT

We derive necessary and sufficient conditions for there to exist a latin square of order $n$ containing two subsquares of order $a$ and $b$ that intersect in a subsquare of order $c$. We also solve the case of two disjoint subsquares. We use these results to show that: (a) A latin square of order $n$ cannot have more than $\frac nm{n \choose h}/{m\choose h}$ subsquares of order $m$, where $h=\lceil(m+1)/2 ceil$. Indeed, the number of subsquares of order $m$ is bounded by a polynomial of degree at most $\sqrt{2m}+2$ in $n$. (b) For all $n\ge5$ there exists a loop of order $n$ in which every element can be obtained as a product of all $n$ elements in some order and with some bracketing.

研究动机与目标

• 確定兩個階數分別為 a 和 b 的拉丁子方塊在階數為 c 的共同子方塊中重疊的必要與充分條件，且此重疊發生於階數為 n 的更大拉丁方中。
• 分析重疊子方塊周圍區域中符號分佈的約束，特別是 (a−c)×(b−c) 和 (b−c)×(a−c) 區域 X 和 Y。
• 建立一個涉及未使用符號數量 |S| = n − (a + b − c) 與周圍區域大小的組合不等式，以確保符號頻率需求得以滿足。
• 證明所推導出的條件對此類重疊子方塊存在的必要性與充分性。
• 透過 Ryser 條件在符號頻率上的嚴謹應用，深化對拉丁方中完整乘積與子方塊結構的理解。

提出的方法

• 定義符號集合 S，即未出現在子方塊 A 或 B 中的符號，其中 |S| = n − (a + b − c)，以分析周圍區域中的符號可用性。
• 將區域 X 和 Y 分別建模為 (a−c)×(b−c) 和 (b−c)×(a−c) 的子矩陣，這些區域必須僅由符號 S 中的符號填滿。
• 將 Ryser 條件應用於並集 R = A ∪ B ∪ X ∪ Y，要求符號集合 S 中的每個符號在 X ∪ Y 中至少出現 2(a + b − c) − n 次。
• 推導出不等式 2(a−c)(b−c) ≥ (2(a + b − c) − n)|S|，經代數變換後得出關鍵條件 (LABEL:e:hardcond)。
• 利用此不等式確保符號集合 S 中的每個符號在 X ∪ Y 中出現足夠次數，以滿足 Ryser 對 R 中符號頻率的下限要求。
• 分階段構造拉丁方：首先放置 A、B 和 C，然後以符合頻率與分佈約束的方式，將符號從 S 填入 X 和 Y。

实验结果

研究问题

• RQ1 兩個階數分別為 a 和 b 的拉丁子方塊在階數為 n 的拉丁方中，於階數為 c 的共同子方塊中重疊，需滿足哪些條件？
• RQ2 在 A 和 B 之外的區域中，有多少個未使用的符號可用？這對填滿周圍區域的可行性有何影響？
• RQ3 每個未使用符號在周圍區域 X 和 Y 中至少需出現多少次，才能滿足 Ryser 條件？
• RQ4 在何種條件下，所推導出的不等式足以保證此類拉丁方配置的存在？
• RQ5 能否透過在 X 和 Y 中明確構造符號分佈，證明必要條件亦為充分條件？

主要发现

• 由 C 是 A 的子方塊（故 c < a）可推導出必要條件 a ≥ 2c。
• 條件 b ≥ a − c 由區域 X（大小為 (a−c)×(b−c)）必須包含足夠多的符號 S 以填滿其第一列所隱含。
• 關鍵不等式 2(a−c)(b−c) ≥ (2(a + b − c) − n)|S| 對重疊子方塊的存在而言，既必要亦充分。
• 當條件成立時，符號集合 S 中的每個符號在 X ∪ Y 中至少出現 2(a + b − c) − n 次，滿足 Ryser 對完整區域 R 的條件。
• 在 a ≥ 2c 和 b ≥ a − c 條件下，構造是可行的，確保符號頻率與區域大小約束均被滿足。
• 本文透過證明符號集合 S 中的符號可在 X ∪ Y 中分佈，使每個符號至少出現 ⌊2(a−c)(b−c)/|S|⌋ 次，從而確保 R 中的所需頻率，進而證明所推導條件的充分性。