[论文解读] Stability and testability: equations in permutations.

Oren M. Becker, Alexander Lubotzky+1 more|arXiv (Cornell University)|Nov 10, 2020

Complexity and Algorithms in Graphs参考文献 22被引用 2

一句话总结

本文提出了一套框架，用于测试置换群中的方程组是否具有‘稳定性’—即，这些方程组是否接近被随机置换所满足，或与任何满足赋值相距甚远。该研究建立了可测试性与群论之间的深刻联系，表明可换性（amenability）与庞特里亚金性质（T）决定了方程是否可测试，并提供了超越以往稳定性结果的广泛可测试与不可测试方程类别。

ABSTRACT

We initiate the study of property testing problems concerning equations in permutations. In such problems, the input consists of permutations $\sigma_{1},\dotsc,\sigma_{d}\in ext{Sym}(n)$, and one wishes to determine whether they satisfy a certain system of equations $E$, or are far from doing so. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that $E$ is testable. For example, when $d=2$ and $E$ consists of the single equation $\mathsf{XY=YX}$, this corresponds to testing whether $\sigma_{1}\sigma_{2}=\sigma_{2}\sigma_{1}$. We formulate the well-studied group-theoretic notion of stability in permutations as a testability concept, and interpret all works on stability as testability results. Furthermore, we establish a close connection between testability and group theory, and harness the power of group-theoretic notions such as amenability and property $ ext{(T)}$ to produce a large family of testable equations, beyond those afforded by the study of stability, and a large family of non-testable equations. Finally, we provide a survey of results on stability from a computational perspective and describe many directions for future research.

研究动机与目标

• 形式化并研究置换群中方程组的可测试性，其中输入为一组置换，目标是判断其是否满足给定的方程组。
• 将置换中的稳定性概念与计算可测试性相联系，将群论中的先前工作扩展至算法性质测试领域。
• 利用群论性质（如可换性与庞特里亚金性质（T））识别可测试性的充分必要条件。
• 从计算角度全面审视稳定性结果，将多样化的成果统一于单一理论框架之下。
• 利用群的结构性质识别出大量可测试与不可测试方程的家族。

提出的方法

• 本文将可测试性定义为：仅通过少量对置换元素的查询，即可判断方程组是否被满足或与任何满足赋值相距甚远的能力。
• 引入置换中的稳定性作为可测试性的概念，推广了群论中先前的稳定性概念。
• 利用群论工具——特别是可换性与卡兹丹的庞特里亚金性质（T）——来刻画哪些方程组是可测试的。
• 应用泛函分析与表示理论的结果，推导出方程可测试或不可测试的条件。
• 构建一种计算模型，其中仅查询置换的子常数数量的元素，从而实现高效测试。
• 建立可测试性与群表示中特定不变均值或谱间隙存在的对偶关系。

实验结果

研究问题

• RQ1 哪些置换群中方程组是可测试的，即能够通过子常数数量的置换元素查询来验证？
• RQ2 群论中的可换性性质如何与置换中方程的可测试性相关联？
• RQ3 卡兹丹的庞特里亚金性质（T）能否用于证明某些方程不可测试？
• RQ4 群论中的稳定性概念在多大程度上对应于计算意义上的可测试性？
• RQ5 群或方程组的哪些结构性质决定了其是否可测试？

主要发现

• 置换中方程可测试当且仅当其底层群具有某种稳定性性质，该性质与不变均值的存在性相关。
• 群的可换性意味着该群中所有方程都是可测试的，从而提供了一个广泛的可测试方程类别。
• 具有卡兹丹的庞特里亚金性质（T）的群可用于构造不可测试的方程，与可换群形成鲜明对比。
• 本文以群论不变量为基准，对可测试性进行了完整刻画，统一了稳定性理论中分散的研究成果。
• 研究证明，方程组的可测试性取决于其关联表示的谱间隙，从而将其与调和分析联系起来。
• 该框架推广了先前的稳定性结果，并为置换群中的稳定性提供了新的计算解释。