Paper V visual guide · Visual 18 of 40 · COUNTING MEASURE / AN EXACT FINITE BUDGET

Separate amplitude error from mask error

Traditional monograph: Theorem 7.1 (p. 13).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

On the \(16\) sample addresses, let \(\Omega=\{6,\ldots,11\}\) and \(\widehat\Omega=\{7,\ldots,12\}\). Use true amplitude \(a=3\) and estimate \(\widehat a=5/2\). There are six true samples, five overlapping samples, and two disagreement samples.

Amplitude error and support mismatch
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Aligned sample rows display the target, estimate and difference on the original address grid. The labels separate error on shared support from error in mismatch cells.

Drawing labels and data 49 labels

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

\[a=3,\quad\widehat a=5/2,\quad |\Omega|=6,\quad|\Omega\triangle\widehat\Omega|=2\]
Sample values and reconstruction error
Signal / sample address4567891011121314
\(j\)\(0\)\(0\)\(3\)\(3\)\(3\)\(3\)\(3\)\(3\)\(0\)\(0\)\(0\)
\(\widehat j\)\(0\)\(0\)\(0\)\(\frac{5}{2}\)\(\frac{5}{2}\)\(\frac{5}{2}\)\(\frac{5}{2}\)\(\frac{5}{2}\)\(\frac{5}{2}\)\(0\)\(0\)
\(j-\widehat j\)\(0\)\(0\)\(3\)\(\frac{1}{2}\)\(\frac{1}{2}\)\(\frac{1}{2}\)\(\frac{1}{2}\)\(\frac{1}{2}\)\(- \frac{5}{2}\)\(0\)\(0\)
  • \(\|j-\widehat j\|_1=3+5(1/2)+5/2=8\)

Open the full-size drawing

The residual splits exactly as

\[ 3\mathbf1_\Omega-\tfrac52\mathbf1_{\widehat\Omega} =\tfrac12\mathbf1_\Omega+\tfrac52(\mathbf1_\Omega-\mathbf1_{\widehat\Omega}). \]

The missed sample has error \(3\), the five shared samples have error \(1/2\), and the extra sample has error \(-5/2\). With counting measure,

\[ \|j-\widehat j\|_1=8, \qquad \|j-\widehat j\|_2^2=\tfrac{33}{2}, \qquad \|j-\widehat j\|_\infty=3. \]

Read the theorem as a budget, not an equality claim

Here the \(L^1\) bound is attained:

\[ |3-\tfrac52|\,|\Omega|+\tfrac52|\Omega\triangle\widehat\Omega| =\tfrac12\cdot6+\tfrac52\cdot2=8. \]

The \(L^2\) triangle bound is \(\frac12\sqrt6+\frac52\sqrt2\), and need not be sharp. A background estimate adds another term \(\|s-\widehat s\|_p\); cancellation between terms can make the total smaller than the bound. Normalized RMSE divides the \(L^2\) norm by \(\sqrt{16}\). A boundary-band RMSE uses the band size instead. Changing that denominator changes the reported quantity.

Read this as

Mask error, amplitude error, and background error are separate mathematical inputs. A single reconstruction score conceals that separation.

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