Manuscript En06-A@1 · En06-A.tex · proposition · e04c9892

Proposition: Edge partitions and relay attainment

Increasing stencils: the geometric escape › Partitions, relays, and capacity · lines 1103–1135 · proof included or linked

En06-A@1#prop:matchings

Back to manuscript

Every generator edge extends to a partition into generator pairs. Every finite word path can therefore be relayed one edge per tick by admissible partitions.

The schedule class has . Its maximal Euclidean signalling speed is

Proof. For a generator , the graph of edges is a disjoint union of bi-infinite chains, the cosets of . Choose one representative for each coset and write its sites as . Pair with , . Either phase is a full partition.

Choose the phase containing each desired path edge and let other blocks act identically. Connectedness and finite balls on the infinite word graph give a vertex at every integer distance, so geodesic bit relays attain the combinatorial upper bound .

Every block has physical diameter at most . The same one-layer argument bounds influence by that reach per tick. A record transport along a maximum-length edge attains the corresponding one-tick ratio. Long generators give the displayed lower bound.

Displayed formulas in this passage

  • unlabeled · line 1111

Nearby in this section