[论文解读] Supplementary Material for Random Cayley Graphs Project

Jonathan Hermon, Sam Olesker-Taylor|arXiv (Cornell University)|Oct 11, 2018

Cellular Automata and Applications参考文献 6被引用 4

一句话总结

本附录论文针对整数集和循环群上的随机游走提供了更精细的分析结果，聚焦于香农熵、大偏差、首次 hitting 时间（exit times）以及在一般 Lq 范数下的格点球大小。研究推导了随机凯莱图中熵时间与截断窗口的精确渐近估计，特别针对对称与非对称随机游走，主要贡献包括熵集中现象的分析，以及在数论语境下局部时与除数函数的随机界。

ABSTRACT

This document contains supplementary material for the main articles in our Random Cayley Graphs project. We prove refined results about simple random walks on the integers and on the cycle. We are primarily interested in the entropy of these random walks at certain times and how this entropy changes when the time changes slightly. Additionally, we prove some large deviation and exit time estimates. We prove some results on the size of discrete lattice balls and how this size changes when the radius changes slightly. We do this in a general $L_q$ norm, with $q \in [1,\infty]$. We also prove some other technical results deferred from the main papers. We hope that some of the results, particularly the simple random walk estimates, will be useful in their own right for other researchers.

研究动机与目标

• 为关于随机凯莱图的主论文提供严谨的分析补充，尤其关注熵动力学与混合时间。
• 推导对称与非对称随机游走在 Z 和 Z_L 上熵时间与截断窗口的精确渐近估计。
• 为整数直线与循环群上简单随机游走的退出时间建立大偏差界与估计。
• 分析在一般 Lq 范数下离散格点球的大小及其对半径扰动的敏感性。
• 提供关于幂零群中均匀测度、局部时间分布及除数函数界等延迟技术证明。

提出的方法

• 应用局部中心极限定理（LCLT）分析 Z 上简单随机游走的位置分布与熵。
• 使用切尔诺夫型界与首达时分析控制随机桥中局部时的尾概率。
• 采用矩生成函数与指数矩界推导 Z 上随机游走的大偏差估计。
• 应用并集界与条件化论证，将桥的局部时与无条件随机游走的局部时关联。
• 利用递归分解与群论技巧证明幂零群中独立均匀变量乘积的均匀性。
• 应用马尔可夫不等式与二元分解，以对数项与幂次项的显式依赖关系，界定密度-1 集中整数的除数个数。

实验结果

研究问题

• RQ1 在 Z 上的简单随机游走中，香农熵如何随时间演化？其熵时间与截断窗口的精确渐近行为是什么？
• RQ2 在中等偏差区域，Z 上简单随机游走位置的大偏差概率是多少？
• RQ3 在 Z 上的简单随机游走中，从区间退出的时间行为如何？其退出时间的精确尾部估计是什么？
• RQ4 在 Lq 范数下，离散格点球的大小如何随半径变化？该大小对半径的微小变化有多敏感？
• RQ5 随机桥中局部时的尾部行为如何？能否通过首达时与指数矩技术对其进行有界控制？

主要发现

• 对于 Z 上的对称随机游走，当 k ≪ log n 时，熵时间 t₀ 的尺度为 k · n²ᵏ / (2πe)，截断窗口的阶为 √(2αt₀/√k)。
• 当 k ≈ λ log n 时，熵时间 t₀ ≈ k·f(λ)，截断窗口的尺度为 g(λ)·αt₀/√k，其中 f 与 g 为连续函数。
• 当 k ≫ log n 时，熵时间 t₀ ≈ k/(κ log κ)，其中 κ = k/log n，截断窗口的尺度为 √(κ log κ)·αt₀/√k。
• 在长度为 L 的 Z 上桥中，最大局部时间 L(r, L) 满足：max_r P(L(r, L) > √(2(C+2)L log L)) ≲ L⁻C，从而有 E[L(r, L)^C] ≲ C^C L^{3C/5}。
• 对 Z 上随机游走的大偏差估计表明：当 x ≲ s 时，P(|X(s) − s| > x) ≤ exp(−x²/(2s))，该结果基于指数矩界。
• 存在一个密度-1 集 A_ε ⊆ ℕ，使得对所有 n ∈ A_ε 与 m ≥ 2，有 ∑_{i≤m} i·1(i∤n) ≤ 40(λε)⁻¹ m (log m)²，且该不等式以高概率对所有 m 一致成立。