[论文解读] Local-to-Global Contraction in Simplicial Complexes

Heng Guo, Giorgos Mousa|arXiv (Cornell University)|Dec 28, 2020

Topological and Geometric Data Analysis参考文献 14被引用 7

一句话总结

本文建立了单纯复形中相对熵收缩的局部到全局原则，证明了全局相对熵衰减可由单纯复形中链的局部熵收缩性质进行有界控制。关键结果提供了一个递归的全局熵衰减界，只要局部随机游走非平凡，该界始终非平凡，从而在高维展开图中改进了混合时间界，并在特定情形下达到或超越了先前基于方差的结果。

ABSTRACT

We give a local-to-global principle for relative entropy contraction in simplicial complexes. This is similar to the local-to-global principle for variances obtained by Alev and Lau (2020).

研究动机与目标

• 建立单纯复形中相对熵收缩的局部到全局原则，扩展先前关于方差收缩的工作。
• 仅基于链的局部熵收缩性质，提供一个非平凡的全局熵衰减界。
• 解决Alev（2020）提出的问题：通过局部图性质界定修正对数索博列夫常数。
• 通过利用相对熵衰减，提供一种比基于特征值的混合时间界更紧的替代方法。

提出的方法

• 该方法采用递归框架，将全局相对熵衰减由单纯复形中面的链上的局部熵收缩进行有界控制。
• 为 $ \mathcal{C}_S(k) $ 上的随机游走定义局部熵收缩因子 $ s_k $，确保对所有 $ S \in \mathcal{C}(k-2) $ 满足 $ \text{Ent}_{\pi_{S,2}}(f_S^{(2)}) \geq s_{k-2} \text{Ent}_{\pi_{S,1}}(f_S^{(1)}) $。
• 全局熵衰减因子 $ v_k $ 通过递归公式 $ v_k = \frac{1 + s_k}{1 - s_k} v_{k-1} + 1 $ 定义，初始值为 $ v_0 = \frac{2}{1 - s_0} $。
• 证明结构类似于基于方差的结果，但全程将方差替换为相对熵，保留递归结构的同时确保非平凡性。
• 该框架适用于 $ \mathcal{C}(k) $ 上的上-下和下-上随机游走，其界由链上局部游走的熵收缩性导出。
• 该方法被证明与Chen等人（2020b）独立获得的结果等价，证实了其有效性与在自旋系统Glauber动力学中的适用性。

实验结果

研究问题

• RQ1 能否在单纯复形中建立类似于现有方差收缩结果的相对熵收缩的局部到全局原则？
• RQ2 当局部游走仅轻微收缩时，所得的全局熵衰减界是否仍保持非平凡？
• RQ3 该框架能否用于通过局部性质界定全局马尔可夫链的修正对数索博列夫常数？
• RQ4 在相同设定下，熵基界与先前基于特征值或方差的界相比，其定量表现如何？
• RQ5 在何种条件下，熵基界与Alev与Lau（2020）的方差基界一致或更优？

主要发现

• 本文建立了单纯复形中相对熵收缩的局部到全局原则，证明了全局熵衰减由局部熵收缩因子的递归函数有界控制。
• 全局熵衰减因子 $ v_k $ 通过递归定义，只要局部游走非完全平凡，即可保证非平凡衰减，与Alev与Lau的方差结果具有相似的鲁棒性。
• 当局部谱谱 profile 满足‘滴落下降’条件时，该界与Alev与Lau（2020）的结果一致，表明与先前工作的连贯性。
• 该方法在相对熵衰减比谱间隙或方差分析更紧的应用中，可获得改进的混合时间界。
• 该结果被Chen等人（2020b）独立证实，其将该结果作为关键工具，在唯一性条件下实现了自旋系统中Glauber动力学的最优混合时间。
• 推论10表明，全局游走 $ P^\vee_k $ 和 $ P^\wedge_k $ 的修正对数索博列夫常数分别满足 $ 1 - \frac{1}{v_{k-2}} $ 和 $ 1 - \frac{1}{v_{k-1}} $ 的下界，将熵收缩与混合时间联系起来。