Paper V visual guide · Visual 11 of 40 · SPARSITY / AN EXACT ERROR LEDGER

Deleting coefficients is the approximation step

Traditional monograph: Section 10 (p. 18).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

The complete depth-two transform is exact. Approximation begins only when we discard some of its sixteen coefficients. Order them by squared magnitude, with a deterministic address-and-position rule for ties.

Sorted coefficient magnitudes and discarded energy
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Bars show sorted scaled coefficient magnitudes. The annotation identifies the energy remaining after a finite number of retained coefficients.

Drawing labels and data 11 labels

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

  • 1
  • 4
  • 8
  • 12
  • 16
  • 0
  • 10
  • 20
  • 40
  • squared coefficient magnitude, sorted

keep 4: discarded energy \(=11/16\); keep 12: exact recovery

Open the full-size drawing

Every discarded square has a meaning

In this fixed orthonormal basis, the squared reconstruction error equals the sum of the squared discarded coefficients. For our running signal:

Discarded energy by coefficient budget
kept coefficients \(k\)12481216
squared error\(59/4\)\(115/16\)\(11/16\)\(1/4\)\(0\)\(0\)

The four zero coefficients belong to packet \(10\), so twelve coefficients suffice for exact reconstruction here. This is a property of the selected signal and basis, not a guarantee that all edge signals need only twelve coefficients.

Do not compare incompatible budgets

A cutoff \(m\) in a one-dimensional signed Fourier spectrum means \(2m+1\) bins, including zero. A budget of \(k\) largest coefficients is a different rule. Real Fourier synthesis may also require conjugate-pair closure. Neither count alone equals a bit-storage budget once amplitudes, phases, indices, or a selected tree must be encoded. The manuscript's Fourier-versus-Haar experiment is a finite comparison, not a proof that one basis dominates every signal class. Here we isolate the part that can be checked exactly: reconstruction error within one fixed finite basis.

Read this as

Changing coordinates creates no error. Throwing away coefficients does, and orthogonality makes that error exactly accountable.

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