Paper V visual guide · Visual 38 of 40 · HAAR SUPPORT GEOMETRY / A QUARTER-CELL GUARANTEE

Two half-shifted grids remove exact alignment failure

Traditional monograph: Theorem E10.4 (p. 69), Corollary E10.5 (p. 70).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

Normalize the support length to \(L=1\). The first grid has boundaries at integers; the second has boundaries at half-integers. For a point at position \(u\) modulo one, consider its distance to the nearest boundary of each grid.

Boundary margins in two shifted grids
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Two triangular curves give the distance to the nearest boundary in the original and half-shifted grids. Their intersection levels show the quarter-cell guarantee.

Drawing labels and data 10 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

  • \(u\)
  • boundary distance
  • \(1/4\)
  • \(1/2\)
  • \(1/4\)
  • \(1/2\)
  • \(3/4\)
  • \(1\)
  • integer grid
  • half-shifted grid

Open the full-size drawing

At least one distance is one quarter or larger

If \(1/4\le u\le3/4\), the original cell works. Outside that range, a shifted cell works. At \(u=1/8\), the original margin is \(1/8\) but the shifted cell \([-1/2,1/2)\) gives margin \(3/8\). At \(u=1/4\), both margins equal \(1/4\), showing that the uniform constant cannot be increased for these two grids. Restoring \(L\), every jump has a support with boundary distance at least \(L/4\) in one grid. If \(L\) is smaller than the minimum jump separation, that support contains no other jump.

Insert the geometric guarantee into the analytic estimate

The alignment-independent gap condition is

\[ \frac{|a|}{4}>2\varepsilon+\frac M2L. \]

For the numbers on V37, the right side is \(1/50+1/8=29/200\), strictly below \(1/4\). Hence one of the two grids supplies a detectable support for every jump, regardless of its position relative to the original grid. This certifies a useful support per jump. It does not by itself specify a unique rule for merging duplicate detections from two grids into exact breakpoint estimates.

Read this as

A second grid repairs a geometric blind spot. The contrast inequality and separation hypotheses still supply the recovery guarantee.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the frozen visual-guide PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

Conversion checks and source hashes

Notation in Paper V

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index