Paper V visual guide · Visual 29 of 40 · FRAME STABILITY / AN EXACT TWO-CHANNEL BANK

A positive singular-value gap survives perturbation

Traditional monograph: Theorem E5.2 (p. 49), Theorem E5.7 (p. 50), Corollary E5.6 (p. 50).

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

Consider the constant analysis bank

\[ E=\begin{pmatrix}1&0\\0&2\end{pmatrix},\qquad E^*E=\operatorname{diag}(1,4). \]

It has frame bounds \(A=1\), \(B=4\). For every perturbation with operator norm at most \(\delta=1/4\), the squared-norm bounds remain at least \((1-1/4)^2=9/16\) and at most \((2+1/4)^2=81/16\).

Singular-value bounds before and after perturbation
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Two horizontal segments show the original and perturbed singular-value intervals on the same axis. The displacement and squared bounds are labeled.

Drawing labels and data 9 labels

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

  • singular value
  • original
  • perturbed
  • \(3/4\)
  • \(1\)
  • \(2\)
  • \(9/4\)
  • \(\delta\)

squared bounds:

\[9/16\ \le\ \|\widetilde Ex\|^2/\|x\|^2\ \le\ 81/16\]

Open the full-size drawing

Both bounds can be attained

Choose \(\Delta E=\operatorname{diag}(-1/4,1/4)\). Then \(\widetilde E=\operatorname{diag}(3/4,9/4)\) has precisely those two frame bounds. Its inverse has operator norm \(4/3\). A coefficient error \(\nu=(3/4,0)\) therefore produces signal error \((1,0)\), attaining the noise bound. The strict condition \(\delta<\sqrt A\) prevents the lower bound from vanishing. At \(\delta=1\), the perturbation \(\operatorname{diag}(-1,0)\) destroys the first channel entirely.

An inverse and an approximate inverse answer different questions

If the original synthesis \(R=\operatorname{diag}(1,1/2)\) is retained after this perturbation, then

\[ R\widetilde E-I=\operatorname{diag}(-1/4,1/8). \]

Its defect norm is \(1/4\). Every input has relative reconstruction error at most that value, with equality on the first coordinate. For frequency-dependent banks the theorem uses an essential supremum on the unit circle, not a few sampled frequencies.

Read this as

A lower singular-value gap quantifies stable recovery. A reconstruction defect quantifies the error of the actual synthesis bank being used.

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