一个彩虹爆破引理

我们证明了 Komlós、Sárközy 和 Szemerédi 的爆破引理在 $\mu n$ 有界边着色下的彩虹版本。这使得对具有有界度生成子图的彩虹嵌入进行系统研究成为可能。作为一个应用，我们展示了如何将我们的爆破引理用于把 Böttcher、Schacht 和 Taraz 的带宽定理转移到彩虹情形。它也可作为超越 $\mu n$ 有界边着色设定的工具。Kim、Kühn、Kupavskii 和 Osthus 利用这一点证明了若干彩虹分解结果。我们的证明方法包括 Rödl 和 Ruciński 给出的爆破引理替代证明策略、切换方法，以及 Harris 和 Srinivasan 开发的局部重采样算法。