[论文解读] Simple Permutations Mix Even Better

Shlomo Hoory, Alex Brodsky|ArXiv.org|Nov 4, 2004

Quantum Computing Algorithms and Architecture参考文献 15被引用 6

一句话总结

该论文改进了在 n 维二元立方体上由宽度为 2 的简单排列生成的 Cayley 图上随机游走的混合时间界限，表明当 k ≤ 2^{n/50} 时，O(n²k² log(1/ε)) 次复合足以实现与 k--wise 独立排列 ε 接近的分布。论文建立了对 2^n 个元素的交错群的谱间隙为 Ω(2^{-n}/n²)，显著优于先前的构造，并提供了度数为 O(n³) 的显式膨胀 Cayley 图。

ABSTRACT

We study the random composition of a small family of O(n^3) simple permutations on {0,1}^n. Specifically we ask how many randomly selected simple permutations need be composed to yield a permutation that is close to k-wise independent. We improve on the results of Gowers 1996 and Hoory, Magen, Myers and Rackoff 2004, and show that up to a polylogarithmic factor, n^2*k^2 compositions of random permutations from this family suffice. In addition, our results give an explicit construction of a degree O(n^3) Cayley graph of the alternating group of 2^n objects with a spectral gap Omega(2^{-n}/n^2), which is a substantial improvement over previous constructions.

研究动机与目标

• 改进在 {0,1}^n 上由宽度为 2 的简单排列生成的随机游走的混合时间与谱间隙界限。
• 构造交错群在 2^n 个元素上的显式度数为 O(n³) 的 Cayley 图，并具有较大的谱间隙。
• 通过为 k--wise 独立性提供更紧的界限，解决膨胀图构造与密码学伪随机性中的开放问题。
• 通过可逆计算中的多商品流技术，将结果扩展至自适应敌手。
• 证明谱间隙在 k 增大至 2^n - 2 的范围内不会恶化，支持交错群存在小膨胀集合的可能性。

提出的方法

• 使用马尔可夫链的比较技术，通过将随机游走 P 与交错群上的 Glauber 动作或 3-循环游走进行比较，来界定混合时间与谱间隙。
• 应用从可逆计算原理导出的多商品流构造，以建立比较常数。
• 通过在短暂前导阶段后进入“通用状态”模式，对 k 个不同元素的元组上的游走进行分析，将分析限制在典型配置范围内。
• 利用宽度为 2 的排列通过异或一个由另外两个位的布尔函数决定的单个位，形成 O(n³) 个排列的族这一事实。
• 采用优惠券收集与耦合论证，表明在 u-分量（差值向量）上的游走可在 O(n log n) 时间内混合，从而实现联合混合界限。
• 使用条件概率与总变差距离，将条件混合与整体混合联系起来，证明高概率事件可保持均匀性。

实验结果

研究问题

• RQ1 实现与 k--wise 独立排列 ε 接近的分布，所需随机复合宽度为 2 的简单排列的最小数量是多少？
• RQ2 能否证明在 2^n 个元素的交错群的 Cayley 图上的随机游走的谱间隙下界为 Ω(2^{-n}/n²)？
• RQ3 当 k 达到 2^{n/50} 时，混合时间是否仍保持有界？对于所有 k ≤ 2^n - 2，即使超出先前技术适用的范围，是否依然成立？
• RQ4 与经典路径方法相比，使用可逆计算中多商品流的比较技术能否在此设置下获得更紧的界限？
• RQ5 是否可能使用宽度为 2 的排列构造交错群的常数度膨胀 Cayley 图，还是它们本质上限制了膨胀性？

主要发现

• 当 k ≤ 2^{n/50} 时，混合时间 τ(ε) 被界定为 Õ(n²k² log(1/ε))，优于先前的 Õ(n³k³) 界限。
• 谱间隙满足 gap(P) = Ω(1/(n²k))，对所有 k ≤ 2^n - 2 成立，意味着对所有 k ≤ 2^n - 2，混合时间为 O(n²k(nk + log(1/ε)))。
• 构造了一个显式的交错群在 2^n 个元素上的 Cayley 图，其度数为 O(n³)，谱间隙为 Ω(2^{-n}/n²)。
• 结果可扩展至自适应敌手，表明当 k ≤ 2^{n/50} 时，T = Õ(n²k² log(1/ε)) 次复合足以在自适应查询下实现 ε 接近 k--wise 独立。
• 谱间隙不随 k 增大而恶化，表明宽度为 2 的排列可能可用于构建 A_{2^n} 的小膨胀集合，尽管常数谱间隙尚未被证明。
• 分析表明，在短暂前导阶段后，游走进入通用状态，此时比较技术可产生更紧的界限，从而实现更优的定量控制。