[论文解读] Limits of Latin squares

Frederik Garbe, Robert Hancock+2 more|arXiv (Cornell University)|Oct 15, 2020

Limits and Structures in Graph Theory参考文献 43被引用 4

一句话总结

本文建立了一套类似于图收敛论与排列收敛论的拉丁方极限理论，引入了‘拉丁翁’（Latinons）作为分析极限对象，并通过切距离与左收敛性证明了极限理论的紧致性与收敛性等价性。此外，本文还表明，借助基什的组合设计理论，每个拉丁翁均可由有限拉丁方逼近。

ABSTRACT

We develop a limit theory of Latin squares, paralleling the recent limit theories of dense graphs and permutations. We introduce a notion of density, an appropriate version of the cut distance, and a space of limit objects - so-called Latinons. Key results of our theory are the compactness of the limit space and the equivalence of the topologies induced by the cut distance and the left-convergence. Last, using Keevash's recent results on combinatorial designs, we prove that each Latinon can be approximated by a finite Latin square.

研究动机与目标

• 开发一套完整的拉丁方极限理论，使其与图与排列的现有理论相呼应。
• 为拉丁方定义密度概念与切距离，以支持收敛性分析。
• 引入‘拉丁翁’作为该理论中的分析极限对象，其角色类似于图翁与排列翁。
• 证明极限空间的紧致性，并建立左收敛性与切距离收敛性之间的等价性。
• 证明每个拉丁翁均可通过有限拉丁方逼近，借助组合设计理论。

提出的方法

• 将拉丁翁定义为在单位立方体上满足三重对称性与边缘约束的可测函数，以确保其能表示拉丁方的极限分布。
• 基于可测集上密度差异的 $L^1$-范数，引入一种适用于拉丁方的切距离，该定义推广了图翁的切距离概念。
• 建立采样引理，表明从拉丁翁中随机抽取的拉丁方在 $n \to \infty$ 时几乎必然收敛至原始拉丁翁。
• 证明计数引理，确保拉丁方中子结构的密度收敛至对应拉丁翁中的密度。
• 利用超图正则化方法与基什的超图设计理论，证明极限空间的紧致性。
• 应用超图正则化方法的变体，以及阿隆与尤斯特关于超图完美匹配的定理，构造拉丁翁的有限逼近。

实验结果

研究问题

• RQ1 能否发展出一套与稠密图与排列极限理论相平行的拉丁方极限理论？
• RQ2 对于拉丁方序列，其适当的分析极限对象（类比图翁与排列翁）是什么？
• RQ3 在切距离拓扑下，极限对象空间（即拉丁翁）是否紧致？
• RQ4 在拉丁方语境下，左收敛性与切距离收敛性是否等价？
• RQ5 每个拉丁翁是否均可由有限拉丁方逼近？若可，其条件为何？

主要发现

• 在切距离拓扑下，拉丁翁空间是紧致的，确保每个拉丁方序列均存在收敛子序列。
• 对于拉丁方序列，左收敛性与切距离收敛性等价，推广了图与排列极限理论中的关键结果。
• 采样引理成立：从拉丁翁中随机抽取的 $n$ 阶拉丁方在 $n \to \infty$ 时几乎必然收敛至原始拉丁翁。
• 每个拉丁翁均可通过有限拉丁方以任意精度逼近，该结果基于基什关于组合设计的存在性定理。
• 该理论为研究拉丁方中的拟随机性与极值问题提供了完整框架，后续应用已证明其有效性。
• 该理论可推广至高维情形，具有推广至高阶排列与超图的潜力。