Proof of `Splitting by a transversal keeps few parts in flip-metric balls`
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.
In the paper
- page 32 of this submission's paper
Description
Let be the radius- ball and the radius- ball of the -flip metric around , and . The transversal has one vertex in each part of , so . Take and . Some -flip has no short walk from to , so and are distinct and non-adjacent in . Hence the adjacency of in is the same for all vertices of in the part , which contains . So the part of in is determined by its part in and its trace on . There are at most parts of meeting , and at most traces on .