Adds two explicit hypotheses (R1) and (R2) to Lemma 1.7 (tire-component
lemma) and tightens the proof to use them precisely:
(R1) R_{C'} is a topological 2-manifold with boundary; equivalently,
at every v ∈ V_{C'} the depth-d faces of F_{C'} incident to v form
a single contiguous arc in v's rotation in Π_G.
(R2) R_{C'} has at most two boundary components.
These rule out, respectively, pinch points (where C' wraps around a
vertex via a global path of depth-d faces, producing a non-manifold
region) and multi-hole topology (a "pair of pants" or worse, which can
occur when several disjoint depth->d lobes sit inside one depth-d
component).
The proof is reorganised into labelled steps:
1. Outerplanarity of the two level parts (via Lemma 2.6 of [1]).
2. Layer containment V_{C'} ⊆ L_d ∪ L_{d+1}.
3. Boundary edges are monochromatic in level (full case analysis
on the third vertex of the outside face f', using the
bounded-step property of δ).
4. Boundary components are simple cycles (uses R1: locally at any
boundary point R_{C'} is a half-disk, so the boundary walk
visits each vertex once).
5. Topological type: planarity + R1 + R2 forces disk or annulus
via the classification of compact orientable 2-manifolds with
boundary.
6. Tire structure: identifies the two boundary parts as the level-d
and level-(d+1) induced subgraphs, in either order.
Adds Remark 1.10 documenting when (R1) and (R2) hold or fail:
- (R1) fails iff there is a pinch vertex whose cyclic level sequence
around it enters and leaves {d, d+1} more than once.
- (R2) fails iff R_{C'} encloses two or more disjoint depth->d
sub-regions (the depth-<d region is always a single connected
BFS ball, so the multi-hole obstruction is always on the away side).
- Notes the d=0 single-vertex-source case satisfies both hypotheses
automatically (R_{C'} is the star of v_0).
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
didericis
688b944f95