[论文解读] Factor-of-iid Schreier decorations of lattices in Euclidean spaces

Ferenc Bencs, Aranka Hrušková+1 more|arXiv (Cornell University)|Jan 29, 2021

Advanced Topology and Set Theory参考文献 17被引用 6

一句话总结

该论文在 $d \geq 3$ 的 $\mathbb{Z}^d$ 及所有偶数度的四类阿基米德晶格上，通过基于分层渗滤的构造方法，证明了存在有限因子的 i.i.d. Schreier 装饰，且单色连通分量为有限环。关键贡献在于证明此类装饰可作为 i.i.d. 过程的有限因子存在，且不存在无限单色路径；同时构造了不存在此类装饰的反例，尤其在与双无限路径拟等距的图中。

ABSTRACT

A Schreier decoration is a combinatorial coding of an action of the free group $F_d$ on the vertex set of a $2d$-regular graph. We investigate whether a Schreier decoration exists on various countably infinite transitive graphs as a factor of iid. We show that $\mathbb{Z}^d,d\geq3$, the square lattice and also the three other Archimedean lattices of even degree have finitary-factor-of-iid Schreier decorations, and exhibit examples of transitive graphs of arbitrary even degree in which obtaining such a decoration as a factor of iid is impossible. We also prove that symmetrical planar lattices with all degrees even have a factor of iid balanced orientation, meaning the indegree of every vertex is equal to its outdegree, and demonstrate that the property of having a factor-of-iid balanced orientation is not invariant under quasi-isometry.

研究动机与目标

• 确定 Schreier 装饰——自由群作用的组合编码——是否可作为无限传递图上 i.i.d. 过程的因子。
• 研究在欧几里得晶格和对称平面图上此类装饰的存在性，尤其关注有限构造。
• 识别在某些传递图中阻碍因子 i.i.d. 平衡定向或 Schreier 装饰存在的结构性障碍。
• 阐明因子 i.i.d. 存在性与拟等距之间的关系，特别是在可约图中。
• 探索作为 i.i.d. 因子的组合结构（完美匹配、边着色、平衡定向、Schreier 装饰）之间的难易层次关系。

提出的方法

• 通过渗滤理论对晶格进行分层分解，以隔离有限连通分量，从而构造 Schreier 装饰。
• 对每个有限连通分量，独立选择一种 $d$-边着色，使得单色子图为有限环。
• 在每个单色环上施加强定向，以在每个顶点满足 Schreier 条件。
• 使用基于顶点有限半径邻域的有限局部算法，以确保一致性和可测性。
• 在因子 i.i.d. 过程中应用相关性衰减论证，排除如 $H \times \mathbb{Z}$ 这类图中存在平衡定向的可能性，当 $|V(H)|$ 为奇数时。
• 利用伯努利图化和 $F_d$ 的 p.m.p. 作用结果，将 Schreier 装饰的存在性重新表述为动力系统问题。

实验结果

研究问题

• RQ1 能否在 $d \geq 3$ 的 $\mathbb{Z}^d$ 上构造出作为 i.i.d. 过程有限因子的 Schreier 装饰？
• RQ2 所有偶数度的阿基米德晶格是否都允许因子 i.i.d. Schreier 装饰？
• RQ3 是否存在不具有因子 i.i.d. 平衡定向或 Schreier 装饰的传递 $2d$-正则图？
• RQ4 因子 i.i.d. 平衡定向的存在性是否在拟等距下保持不变？
• RQ5 对于 $2d$-正则传递图，存在因子 i.i.d. Schreier 装饰的必要且充分结构条件是什么？

主要发现

• 对所有 $d \geq 3$，$\mathbb{Z}^d$ 具有 $\mathrm{Aut}(\Lambda_{\square}^d)$-因子的 i.i.d. Schreier 装饰，且几乎必然不存在无限单色路径。
• 所有四类偶数度阿基米德晶格——正方形、三角形、Kagomé 及 $(3,4,6,4)$——均具有无无限单色路径的有限因子 i.i.d. Schreier 装饰。
• 存在 $2d$-正则传递图（如 $|V(H)|$ 为奇数时的 $H \times \mathbb{Z}$）不具有因子 i.i.d. 平衡定向，因而也不具有因子 i.i.d. Schreier 装饰。
• 因子 i.i.d. 平衡定向的存在性并非拟等距不变，如与 $\mathbb{Z}$ 拟等距但缺乏此类结构的图所示。
• 阿基米德晶格和 $\mathbb{Z}^d$ 的伯努利图化具有 $F_d$ 的保测度作用，可通过生成元实现图结构，从而确认其动力系统解释。
• 反例表明，Schreier 装饰可作为 i.i.d. 的因子存在，即使完美匹配或边着色无法实现，表明作为 i.i.d. 因子实现这些结构的难易程度存在严格层次关系。