[论文解读] Firefighting on trees and Cayley graphs

Florian Lehner|arXiv (Cornell University)|Jul 5, 2017

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

本文证明了在无限树上的消防员游戏中，指数级遏制的临界速率等于该树的分支数，从而从博弈论角度刻画了这一基本图参数。此外，该结果被进一步应用于证明指数增长的Cayley图不具有多项式遏制，解决了该领域的一个关键问题，并将消防遏制阈值与群的增长率联系起来。

ABSTRACT

We study Hartnell's firefighter problem on infinite trees and characterise the branching number in terms of the firefighting game. Using our results about trees, we give a partial answer to a question of Martínez-Pedroza concerning firefighting on Cayley graphs.

研究动机与目标

• 刻画无限树上消防员游戏中指数级遏制的临界速率。
• 确定具有多项式增长的Cayley图是否必然具有多项式遏制，回应Martínez-Pedroza提出的问题。
• 将消防遏制游戏的遏制阈值与分支数、增长速率等图结构参数联系起来。
• 通过证明分支数在多种情境中均作为阈值，建立消防、随机游走与渗流之间的联系。

提出的方法

• 使用类似最大流最小割的论证方法，将非零流的存在性与分支数关联，从而实现对遏制阈值的刻画。
• 在Cayley图上应用子周期生成树构造，以保持指数增长速率，并将问题简化为树的分析。
• 通过使用割集和几何级数的反证法，证明在分支数以下遏制必然失败。
• 证明对于任意 λ < br(T)，不存在满足 fₙ = o(λⁿ) 的遏制策略，从而确立临界速率 λ_c 等于 br(T)。
• 利用子图继承遏制性质的事实，即若子图无法实现 λ < α 的遏制，则原图也无法实现。
• 通过比较 λⁿ 与球面边界在渐近增长上的差异，证明在增长率为 α 的Cayley图中，当 λ > α 时遏制是可能的。

实验结果

研究问题

• RQ1 在无限树上，指数级遏制的临界速率 λ_c 是多少？它与分支数有何关系？
• RQ2 Cayley图的指数增长是否意味着多项式遏制不可能实现？
• RQ3 消防员游戏能否用于刻画树的分支数？
• RQ4 消防遏制阈值、随机游走与渗流之间是否存在更深层次的联系？
• RQ5 Cayley图中的临界遏制速率 λ_c 是否与其指数增长速率一致？

主要发现

• 对于任意无限树 T，其指数级遏制的临界速率恰好等于其分支数，即 λ_c = br(T)。
• 对于任意 λ < br(T)，不存在满足 fₙ = o(λⁿ) 的遏制策略，证明 br(T) 是遏制失败的阈值。
• 具有指数增长速率 α 的Cayley图不满足多项式遏制，因为对任意 λ > 1 和 d ≥ 1，都有 n^d = o(λⁿ)。
• 对于任意具有指数增长速率 α 的Cayley图 G，G 对所有 λ > α 满足速率 λ 的指数级遏制，但对任意 λ < α 均不满足。
• 在Cayley图上应用的子周期生成树构造保持了指数增长速率，使得一般情形可归约为树的情形。
• 该结果确认，中间增长群仍是Cayley图中多项式遏制的唯一未解情况，因为指数增长群无法满足该性质。