[论文解读] Entropy waves, the zig-zag graph product, and new constant-degree

Omer Reingold, Salil Vadhan+1 more|ArXiv.org|Jun 2, 2004

Random Matrices and Applications参考文献 35被引用 7

一句话总结

本文提出了zig-zag图积这一新方法，通过将一个大图与一个小图组合，迭代地构建常数度的扩展图，同时保留大图的规模和小图的度，同时增强扩展性。关键贡献在于一种简单、组合式的显式常数度扩展图构造方法，其分析基于熵波传播，可从一个固定大小的扩展图生成任意大小的扩展图。

ABSTRACT

The main contribution of this work is a new type of graph product, which we call the {\it zig-zag product}. Taking a product of a large graph with a small graph, the resulting graph inherits (roughly) its size from the large one, its degree from the small one, and its expansion properties from both! Iteration yields simple explicit constructions of constant-degree expanders of arbitrary size, starting from one constant-size expander. Crucial to our intuition (and simple analysis) of the properties of this graph product is the view of expanders as functions which act as ``entropy wave" propagators -- they transform probability distributions in which entropy is concentrated in one area to distributions where that concentration is dissipated. In these terms, the graph products affords the constructive interference of two such waves. Subsequent work [ALW01], [MW01] relates the zig-zag product of graphs to the standard semidirect product of groups, leading to new results and constructions on expanding Cayley graphs.

研究动机与目标

• 开发一种简单、组合式的常数度扩展图构造方法，实现显式且高效的构造。
• 解决在常数度扩展图构造中同时实现显式性和简单分析的挑战，与需要深入数学分析的代数方法形成对比。
• 提出一种新的图积运算——称为zig-zag积，实现迭代扩展，同时保持度数并改善扩展性质。
• 提供一种基于熵波传播的直观框架，用于解释和分析扩展图及其积的行为。
• 实现从一个固定大小的扩展图出发，构造出任意大小的扩展图，同时保持有界度数和谱扩展性。

提出的方法

• 提出zig-zag图积作为一种新的图积运算，将一个D1-正则图G1与一个D2-正则图G2结合，生成一个新图，其规模≈ N1·D1，度数≈ D2，且扩展性得到改善。
• 将扩展图建模为‘熵波’传播器，通过概率分布中的集中熵耗散来实现，zig-zag积使得两个此类波产生相长干涉。
• 采用归一化邻接矩阵的谱分析，表明乘积图的第二特征值被其分量图的特征值的函数所界定。
• 采用递归构造方法，从一个固定大小的扩展图出发，通过迭代应用zig-zag积，生成具有常数度和均匀谱间隙的更大扩展图。
• 引入平衡替换积作为变体，以稳定扩展性质，确保在随机游走中两个分量图的贡献相等。
• 提供一种基于oracle的多对数时间计算方法，用于乘积图的旋转映射，确保构造和局部计算的高效性。

实验结果

研究问题

• RQ1 能否实现一种简单、组合式的常数度扩展图构造方法，其分析透明且直观，避免使用复杂的代数或数论工具？
• RQ2 如何设计一种图积，使其从大图继承规模，从小图继承度数，并从两者中继承扩展性？
• RQ3 熵波传播在理解与分析图及其积的扩展性质中起什么作用？
• RQ4 zig-zag积能否被迭代使用，以生成任意大小的扩展图，同时保持常数度和有界谱扩展性？
• RQ5 与其它图积相比，zig-zag积在扩展质量上表现如何，特别是在特征值衰减和收敛到均匀性方面？

主要发现

• zig-zag积可从一个(N1, D1, λ1)-图和一个(D1, D2, λ2)-图构造出一个(N1·D1, D2, λ')-扩展图，其中λ'被λ1和λ2的函数所界定，确保谱扩展性。
• 乘积图的谱间隙被界定为(p + (1-p)f(λ1, λ2))^{1/3}，其中f为分量特征值的函数，p = D2²/(D2+1)³，证明了扩展性被保持并得到改善。
• 平衡替换积确保随机游走对G1和G2的边同等对待，从而得出谱界h(λ1, λ2) ≤ (7/8 + 1/8·f(λ1, λ2))^{1/3} < 1，当λ1, λ2 < 1时成立。
• 乘积图的旋转映射可通过每次对每个分量图进行一次oracle查询，在时间poly(log N, log D1, log D2)内计算得出，支持高效局部计算。
• 该构造可从任意固定大小的扩展图出发，生成显式、常数度的任意大小扩展图，所有参数均可在多对数时间内计算。
• 后续工作将zig-zag积与群半直积联系起来，从而导出了新的Cayley图扩展构造。