---
title: Liminal Burning in Graph Diffusion Games
url: https://www.emergentmind.com/topics/liminal-burning
type: topic
---

# Liminal Burning in Graph Diffusion Games

Liminal burning is a graph-theoretic diffusion game that generalizes both ordinary graph burning and graph cooling. In \(k\)-liminal burning, a Saboteur reveals \(k\)-sets of vertices in each round, and the Arsonist may ignite new sources only inside the revealed set, while ordinary fire propagation continues as in standard graph burning. The resulting parameter, the \(k\)-liminal burning number \(b_k(G)\), measures how quickly a network can be burned under adversarially constrained source placement. Recent work treats liminal burning as a two-player perfect knowledge game and places it explicitly “between burning and cooling” [2505.10727, 2509.20572].

## 1. Formal graph-theoretic model

Liminal burning is built on the standard graph burning process. For a finite connected graph \(G\), ordinary burning proceeds in discrete rounds: one new source may be ignited each round, and fire from previously burned vertices spreads to all neighbors. A sequence \((x_1,\dots,x_k)\) burns \(G\) in \(k\) rounds exactly when
\[
V(G)=N_{k-1}[x_1]\cup N_{k-2}[x_2]\cup \cdots \cup N_0[x_k],
\]
and the minimum such \(k\) is the burning number of \(G\) [2003.09314].

In liminal burning, vertices carry two binary states: burned or unburned, and revealed or unrevealed. For a fixed liminal number \(k\), the game on a finite connected graph \(G\) proceeds as follows. First, the Saboteur reveals \(k\) vertices, which remain revealed for the entire game. The Arsonist then burns one revealed vertex. On each later turn, fire spreads from already burned vertices to their neighbors, the Saboteur reveals \(k\) additional vertices, and the Arsonist chooses another revealed vertex to burn as a new source. The game ends when all vertices are burned. The Saboteur seeks to maximize the number of turns, while the Arsonist seeks to minimize it; under optimal play, this value is the \(k\)-liminal burning number \(b_k(G)\) [2509.20572].

This formulation makes liminal burning a constrained source-placement problem. Ordinary burning asks where to place sources in space and time so that expanding metric balls cover the graph efficiently. Liminal burning adds an adversarial revelation interface: the Arsonist cannot choose arbitrary ignition sites, but only those made available by the Saboteur. This suggests a controlled-spread interpretation in which local contagion propagates autonomously, while global reseeding is filtered by an opposing agent.

## 2. Interpolation between burning and cooling

The central structural feature of liminal burning is that it interpolates between two previously studied processes. For \(k=|V(G)|\), liminal burning is identical to ordinary graph burning, because every vertex is effectively available as a possible source. For \(k=1\), liminal burning is identical to cooling, because the Saboteur determines the only available source at each round [2505.10727, 2509.20572].

The basic parameters can be organized as follows.

| Symbol | Meaning | Extremal interpretation |
|---|---|---|
| \(b(G)\) | Ordinary burning number | Unrestricted source choice |
| \(b_k(G)\) | \(k\)-liminal burning number | Saboteur reveals \(k\) vertices per round |
| \(\mathrm{CL}(G)\) | Cooling number | \(b_1(G)\) |
| \(k^*\) | Smallest \(k\) with \(b_k(G)=b(G)\) | Robustness threshold |

The threshold parameter
\[
k^*=\min\{k\le |G|: b_k(G)=b(G)\}
\]
measures how much revelation is needed before the Saboteur’s restrictions no longer increase the burning time. In this sense, \(k^*\) is a robustness threshold for ordinary burning under adversarial revelation constraints [2509.20572].

The path of values between cooling and burning is encoded by the chain
\[
\mathrm{CL}(G)=b_1(G)\leq b_2(G)\leq \dots \leq b_{|G|-1}(G)\leq b_{|G|}(G)=b(G),
\]
as stated in the liminal-burning literature [2509.20572]. This sequence formalizes the interpolation, even though the indexing convention is unusual from the perspective of source availability.

## 3. Path graphs and the threshold parameter \(k^*\)

Paths are the first graph family for which liminal burning has exact nontrivial formulas. For ordinary burning,
\[
b(P_n)=\lceil \sqrt{n}\rceil,
\]
so path graphs provide the canonical benchmark for comparing adversarial revelation against unrestricted burning [2606.04178].

A principal exact result is
\[
b_2(P_n)=\left\lceil \frac{n+2}{3}\right\rceil \qquad \text{for all } n\ge 1.
\]
The proof uses an explicit Saboteur strategy: reveal the leftmost available vertices at each turn, forcing the fire front to advance at a controlled rate. The resulting dynamics burn one vertex on the first turn and then three vertices per later turn, up to the final partial round [2509.20572].

The same paper introduces the main threshold theorem for square-length paths. For \(n\ge 2\), if \(k^*\) is the smallest \(k\) such that
\[
b_k(P_{n^2})=b(P_{n^2})=n,
\]
and if
\[
P(x,y)\coloneq \prod_{i = 1}^n (1 + x^{2i - 1} y)= \sum_{\ell, r} c_{\ell, r} \cdot x^\ell y^r,
\]
with
\[
f(n, \ell) \coloneq \sum_{\ell, r}{c_{\ell, r} \cdot r! (n - 1 - r)!},
\]
then
\[
k^* > n^2 - \sum_{\ell = 0}^n \mathbf{1}^+_{f(n, \ell)}.
\]
The underlying idea is that optimal ordinary burning of \(P_{n^2}\) in \(n\) turns corresponds to tiling the path by odd intervals of lengths \(1,3,\dots,2n-1\), and \(k^*\) depends on how many placements of the largest interval remain feasible under adversarial revelation [2509.20572].

These results establish two enduring themes. First, liminal burning on paths is already substantially different from ordinary burning: the exact formula for \(b_2(P_n)\) is linear in \(n\), whereas \(b(P_n)\) is \(\lceil\sqrt n\rceil\). Second, the threshold \(k^*\) is inherently combinatorial, because it depends on the existence of compatible interval tilings rather than only on path length. Exact formulas for \(b_k(P_n)\) for general \(k\) remain an open direction explicitly identified in the literature [2509.20572].

## 4. Hypercubes, grids, and other structured families

The dedicated 2025 study of liminal burning reports a broader program beyond paths. Using a variant of Sperner sets, it studies \(k\)-liminal burning numbers of hypercubes and gives bounds and exact values for various values of \(k\). In particular, it determines the exact cooling number of the \(n\)-dimensional hypercube to be \(n\). It also analyzes liminal burning for Cartesian grids and products, paths, and graphs whose vertex sets can be decomposed into many components of small diameter [2505.10727].

The visible grid analysis develops explicit delaying strategies for the Saboteur. On a grid \(G_{m,n}\), the brute-force Saboteur strategy reveals the \(k\) vertices closest to \((0,0)\) during each round, with ties broken by choosing \((x,y)\) before \((x+i,y-i)\) for \(i>0\). One of the resulting lemmas states that, if
\[
\left\lfloor \frac{k}{2}\right\rfloor\le n,
\]
then for at most
\[
\frac{k-13}{8}
\]
rounds, no vertex at distance \(\left\lfloor \frac{k}{2}\right\rfloor\) or more from \((0,0)\) is revealed or burned [2505.10727]. The subsequent grid arguments use differential-inequality estimates for the volume of the burned set and a symmetry transfer from \((0,0)\) to \((n-1,m-1)\), indicating a multi-phase theory of delayed spread on Cartesian grids.

This suggests that liminal burning has a strong geometric component on structured product graphs. On paths, the obstruction comes from interval tilings. On grids and hypercubes, the obstruction is spatial: the Saboteur can localize revealed vertices near a corner or along a geometric frontier, forcing the Arsonist to spend many rounds without reaching distant regions.

## 5. Complexity and algorithmic status

Liminal burning is computationally hard at the level of game value. The 2025 paper shows that liminal burning a graph is PSPACE-complete for \(k\geq 2\), using a reduction from \(3\)-QBF. It also proves, through a reduction from burning, that even in some cases when liminal burning is likely not PSPACE-complete, it is co-NP-hard [2505.10727].

These results sit on top of an already difficult one-player theory. Ordinary graph burning is NP-complete, and the decision problem remains NP-complete even on restricted classes such as trees of maximum degree \(3\), spider graphs, and path-forests [2003.09314]. Later work also shows NP-completeness for connected cubic graphs and connected proper interval graphs [2402.18984]. Since liminal burning introduces adversarial revelation on top of ordinary burning, the jump from NP-completeness to PSPACE-completeness reflects the passage from static optimization to optimal play in a finite perfect-information game.

The algorithmic landscape is therefore split. Exact formulas are known on selected graph families, especially paths, and the dedicated 2025 study reports additional exact or bounded results for hypercubes and structured products [2505.10727]. But the general decision problem is intractable in the strong game-theoretic sense. A plausible implication is that liminal burning should be viewed less as a single optimization parameter and more as a family of adversarial diffusion problems whose tractable cases depend heavily on graph structure.

## 6. Related adversarial and threshold-burning models

Liminal burning belongs to a wider cluster of graph-burning variants in which thresholds, adversaries, or constrained propagation alter the classical model. One nearby example is adversarial graph burning on growing graphs. There, Builder adds \(f(n)\) new vertices at turn \(n\), Arsonist burns one new source per round, and the objective is asymptotic burned density rather than finite completion time. For polynomial growth \(f(n)=\Theta(n^a)\), the paper proves a threshold:
\[
a<1 \Rightarrow \text{Arsonist wins}, \qquad a\ge 1 \Rightarrow \text{Builder wins}.
\]
Thus linear growth is the critical order separating asymptotic engulfment from persistent non-burning mass [2211.15633].

Another related but distinct threshold model is lazy burning on hypergraphs. There, one chooses an initial burned set only once, and a vertex burns later exactly when it is the unique unburned vertex in some hyperedge. The lazy burning number satisfies the exact formula
\[
b_L(H)=|V(H)|-m(H),
\]
where \(m(H)\) is the maximum cardinality of a \(C\)-matching in the incidence graph of \(H\) [2412.04389]. This process is not liminal burning in the game-theoretic sense, but it is closely related in spirit because propagation occurs at a sharp all-but-one threshold.

These neighboring models clarify the conceptual position of liminal burning. It is not merely ordinary burning with randomness, and it is not the same as growth-versus-burning density games or hypergraph threshold ignition. Its distinctive feature is adversarial control of source availability under otherwise standard burning dynamics. Within graph-burning theory, that places liminal burning at the interface between diffusion, game complexity, and threshold-controlled spread.

Source: https://www.emergentmind.com/topics/liminal-burning