Paper V visual guide · Visual 33 of 40 · REGION VALUES / EVERY MISCLASSIFICATION HAS A WEIGHT

An overlap matrix is an exact error ledger

Traditional monograph: Theorem E8.1 (p. 59), Theorem E8.4 (p. 61).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

Let two piecewise-constant signals have region values \(a=(0,2,5)\) and \(b=(0,2,5)\) on a counting-measure domain of twelve samples. Suppose their overlap counts are

\[ M=\begin{pmatrix}3&1&0\\0&2&1\\1&0&4\end{pmatrix}. \]

The row totals \((4,3,5)\) are the true region sizes. The column totals are also \((4,3,5)\), although three samples are assigned to the wrong values.

Region-overlap error matrix
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Rows are true regions and columns are estimated regions. Colored cells carry overlap weights; the annotation combines their squared amplitude discrepancies.

Drawing labels and data 16 labels

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

Drawing grid 1 · rows top to bottom, columns left to right
Row / columnColumn 1Column 2Column 3
Row 1\( 3 \)\( 1 \)\( 0 \)
Row 2\( 0 \)\( 2 \)\( 1 \)
Row 3\( 1 \)\( 0 \)\( 4 \)
  • \(a_0=0\)
  • \(a_1=2\)
  • \(a_2=5\)
  • \(b_0=0\)
  • \(b_1=2\)
  • \(b_2=5\)

off-diagonal squared error
[6pt]\(1\cdot 2^2+1\cdot 3^2+1\cdot 5^2\)
[6pt]\(=38\)

Open the full-size drawing

Equal error counts need not mean equal reconstruction error

The three off-diagonal entries contribute one sample each. Their value differences have magnitudes \(2\), \(3\), and \(5\), so

\[ \|j-\widehat j\|_1=2+3+5=10,\qquad \|j-\widehat j\|_2^2=4+9+25=38. \]

The counting-measure supremum error is \(5\). The full-domain mean squared error is \(38/12=19/6\). A mismatch fraction of \(3/12\) reports a different statistic and omits all three amplitude weights.

The formula requires partitions

For measurable partitions \((E_i)\) and \((F_j)\), with \(M_{ij}=\mu(E_i\cap F_j)\),

\[ \|j-\widehat j\|_p^p=\sum_{i,j}|a_i-b_j|^pM_{ij},\qquad 1\le p<\infty. \]

Each location belongs to exactly one intersection. Overlapping indicator packets that are summed at the same location must first be converted to their actual combined value regions before this partition formula is applied.

Read this as

Geometry supplies the overlap counts. Signal values supply the weights. Their combination gives the norm relevant to reconstruction.

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