Forbidden Bicliques Bound Tree-Independence in P5-Free Graphs
A decomposition-repair proof establishes a $4\ell-4$ bag-independence bound when induced $P_5$ paths and $K_{\ell,\ell}$ bicliques are excluded.
Discrete mathematics, graph theory, enumeration, and optimization.
A decomposition-repair proof establishes a $4\ell-4$ bag-independence bound when induced $P_5$ paths and $K_{\ell,\ell}$ bicliques are excluded.
Structural exclusions yield a finite path-width criterion, while universal-host constructions separate line-width bounds from path-width guarantees.
Arithmetic level-d estimates, sieve-based exponential sums, and random sparsification yield a stretched-exponential upper bound for every exponent below 1/2.
Permuting nonconstant edge coefficients gives an arbitrary-field bound of $2\lceil\mathrm{ed}(H)\rceil+1$, connecting polynomial structure to hypergraph density.
Under proper edge colouring, an existence proof partitions every sufficiently large complete graph into two vertex-disjoint rainbow cycles.
Unfolding and refolding witness graphs lets the authors characterize critical activation density for every fixed graph H, including witnesses larger than the host graph.
Expected self-intersection time is O(√n log n) on bounded-degree graphs and O(√n) for regular graphs with a uniform spectral gap.
For every positive d and k, the authors construct a union of d comparability graphs with clique number k and chromatic number k^d, extending the separation to fractional coloring and the independence ratio.
An explicit reflection labeling gives every shifted lower interval a controlled chain structure across arbitrary Coxeter groups.
An explicit Matrix-Bernstein and gap protocol gives finite-sample network certificates, then declines when valid sets are still vacuous.