[论文解读] Factor of iid Schreier decoration of transitive graphs

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

Advanced Operator Algebra Research被引用 4

一句话总结

本文研究了在传递图上是否存在 i.i.d. 的 Schreier 装饰，表明正方形格子和三种偶数度的阿基米德格子具有有限的此类装饰，而某些偶数度的传递图则不具有。此外，本文证明了非阿贝尔的、拟传递的、单模的 2d-正则图支持具有相等入度和出度 d 的 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 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 non-amenable, quasi-transitive, unimodular $2d$-regular graphs have a factor of iid balanced orientation, meaning each in- and outdegree is equal to $d$. This result involves extending earlier spectral theoretic results on Bernoulli shifts to the Bernoulli graphings of quasi-transitive, unimodular graphs. Balanced orientation is also obtained for certain quasi-transitive planar lattices.

研究动机与目标

• 确定是否可以在传递图上将 Schreier 装饰实现为 i.i.d. 过程的因子。
• 识别此类装饰存在或失败的结构与分析条件。
• 将伯努利移位上的谱理论结果扩展至拟传递的、单模图的伯努利图形化。
• 在非阿贝尔的、单模的、2d-正则图中建立 i.i.d. 因子平衡定向的存在性。

提出的方法

• 利用 i.i.d. 因子过程的框架，在正则图的顶点集上构造自由群作用的组合编码。
• 应用谱理论分析拟传递的、单模图的伯努利图形化上的邻接算子。
• 采用图论构造方法，在正方形格子和偶数度的阿基米德格子上构建有限的 Schreier 装饰。
• 利用单模性和拟传递性确保因子过程中的不变性与一致性。
• 提出一种方法，从图拉普拉斯算子的谱性质推导出平衡定向。
• 将伯努利移位的结果推广至单模图的更广泛图形化设置。

实验结果

研究问题

• RQ1 在何种条件下，Schreier 装饰可作为传递图上 i.i.d. 的因子实现？
• RQ2 为何某些偶数度的传递图尽管结构规则，却无法容纳此类装饰？
• RQ3 在非阿贝尔的、单模的、2d-正则图中，能否将平衡定向构造为 i.i.d. 因子过程？
• RQ4 伯努利图形化的谱性质如何与 i.i.d. 因子结构的存在性相关联？
• RQ5 伯努利移位上的谱理论结果在多大程度上可推广至单模的、拟传递图？

主要发现

• 正方形格子和三种偶数度的阿基米德格子具有有限的 i.i.d. 因子 Schreier 装饰。
• 存在任意偶数度的传递图，其不具有 i.i.d. 因子 Schreier 装饰。
• 非阿贝尔的、拟传递的、单模的 2d-正则图支持具有相等入度和出度 d 的 i.i.d. 因子平衡定向。
• 此类平衡定向的存在性通过将谱理论扩展至单模图的伯努利图形化而得以确立。
• 该结果适用于某些拟传递的平面格子，证实了在这些设置中 i.i.d. 因子平衡定向的存在性。
• 本文提供了一个通用框架，将谱方法与单模图形化中的 i.i.d. 因子构造统一起来。