MathematicsForbidden Bicliques Bound Tree-Independence in P5-Free GraphsA decomposition-repair proof establishes a $4\ell-4$ bag-independence bound when induced $P_5$ paths and $K_{\ell,\ell}$ bicliques are excluded.math.COSep 23, 20264 min2605.03965