Paper V visual guide · Visual 39 of 40 · BOUNDARY STENCILS / SIGNAL RESPONSE AND NOISE GAIN

Higher differences annihilate polynomial interiors

Traditional monograph: Theorem E10.6 (p. 71), Proposition E10.7 (p. 71), Corollary E10.8 (p. 71).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

Let \(x(n)=n+2(n-3)_+\) on the integer line. Its slope changes from one to three at the breakpoint \(3\). The second forward difference is

\[ \Delta^2x(n)=x(n+2)-2x(n+1)+x(n). \]
A piecewise linear signal and its second differences
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Stems show the signal sample values and labeled second differences. The nonzero response is confined to a stencil crossing the slope change.

Drawing labels and data 10 labels

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

  • \(n\)
  • \(x(n)\)
  • \( 0 \)
  • \( 1 \)
  • \( 2 \)
  • \( 3 \)
  • \( 6 \)
  • \( 9 \)
  • \( 12 \)

\(\Delta^2x(2)=2\)
[5pt]all other displayed
second differences vanish

Open the full-size drawing

An exact small stencil calculation

The values at \(n=0,\ldots,6\) are \((0,1,2,3,6,9,12)\). The second differences at \(n=0,\ldots,4\) are \((0,0,2,0,0)\). The only nonzero stencil straddles the slope change. For a piecewise polynomial of degree at most \(d\), \(\Delta^{d+1}\) vanishes whenever its complete stencil lies inside one polynomial piece. Candidate responses are confined to at most \(d+1\) starting addresses before each breakpoint. They are boundary bands, not necessarily exact breakpoint locations.

Differencing also acts on noise

The absolute binomial coefficients of \(\Delta^m\) sum to \(2^m\). With \(\|\eta\|_\infty\le1/16\), second-difference noise is bounded by \(4/16=1/4\). The true response \(2\) remains at least \(7/4\), while all responses away from the breakpoint band remain at most \(1/4\). Threshold one separates them. The general robust-band statement assumes that each breakpoint has at least one sufficiently large true response. A breakpoint can fail that assumption through its amplitude or local configuration. Annihilation away from boundaries does not prove a lower bound at every boundary.

Read this as

A vanishing interior response is structural. Reliable detection also requires the boundary response to exceed the amplified noise.

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