Manuscript En08-B@1 · En08-B.tex · proposition · 23cac52a

Proposition: Fixed-stencil directional obstruction

Failure tests and finite-scale attainment › Fixed normalized stencils · lines 1286–1310 · proof included or linked

En08-B@1#prop:fixed-stencil

Back to manuscript

Suppose the available one-tick velocities at every refinement lie in one fixed finite set . If all positions are obtained by concatenating those steps, then every positive-time endpoint velocity lies in

For , these permissions cannot approximate every point of the Euclidean speed- sphere at its null travel time.

Proof. The endpoint velocity of an -step route is the arithmetic mean of its step velocities, hence belongs to .

The finite convex hull is a polytope contained in the Euclidean ball. It cannot contain the entire sphere when , since that would force it to contain the ball and hence equal the ball. Choose a unit vector with . If endpoints and positive arrival times approached , their endpoint velocities would approach , contradicting closedness of .

Displayed formulas in this passage

  • unlabeled · line 1292

Nearby in this section