Proof of `Simultaneous thinning of a semisparse blockade`
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
Select vertices from each block in index order. Integer Markov bounds control all pairs involving earlier samples and later blocks. Delete from each sample the vertices whose degree to another sample exceeds . The hypothesis ensures that at least half of every sample remains, and the surviving noncomplete pairs are -sparse in both directions.