English

Upper bounds on the running time of bootstrap percolation

Combinatorics 2026-04-27 v1

Abstract

For kk-graphs FF and H0H_0 the FF-bootstrap percolation process (or FF-process) starting with H0H_0 is a sequence (Hi)i0(H_i)_{i\geq0} of kk-graphs such that Hi+1H_{i+1} is obtained from HiH_i by adding all those eV(H0)(k)E(Hi)e\in V(H_0)^{(k)}\setminus E(H_i) as edges that complete a new copy of FF. The running time of this FF-process, denoted by MF(H0)M_F(H_0), is the smallest ii with Hi=Hi+1H_i=H_{i+1}. Bollob\'as proposed the problem of determining the maximum running time for nNn\in\mathbb{N}, i.e., MF(n)=maxV(H0)=nMF(H0)M_F(n)=\max_{\vert V(H_0)\vert=n}M_F(H_0). Although this problem has received a lot of attention recently, until now the best known upper bound for MKt(n)M_{K_t}(n), with t5t\geq5, was the trivial bound (n2)\binom{n}{2}. Here we provide the first non-trivial upper bound for this problem by showing that MKt(n)(t3t2+o(1))(n2)M_{K_t}(n)\leq\Big(\frac{t-3}{t-2}+o(1)\Big)\binom{n}{2} holds for every integer t3t\geq 3. In fact, we prove the following more general result. For every k2k\geq2, every kk-graph FF, and every eE(F)e\in E(F) we have MF(n)(π(Fe)+o(1))(nk)M_F(n)\leq\big(\pi(F-e)+o(1)\big)\binom{n}{k}, where π\pi is the Tur\'an density.

Cite

@article{arxiv.2604.22630,
  title  = {Upper bounds on the running time of bootstrap percolation},
  author = {Weichan Liu and Xiangxiang Nie and Simón Piga and Bjarne Schülke},
  journal= {arXiv preprint arXiv:2604.22630},
  year   = {2026}
}

Comments

8 pages. arXiv admin note: text overlap with arXiv:2604.04607. text overlap with arXiv:2604.04607

R2 v1 2026-07-01T12:33:57.394Z