Paper VI visual guide · Visual 37 of 42 · MEMORY COMPRESSION / AN OPTIMIZATION WITH A DEFINED COST

Keep blocks by their certified contribution

Traditional Part II: Theorem E15.1 and Corollary E15.2. Stable primary blocks; block count is the budget.

Start reading

Resources & source

Original plate in the visual guide PDF · Original atlas source

Skip contents and start reading

Consider the scalar memory kernel

\[ \mathcal K(t)=\tfrac14e^{-t}+(3+2t)e^{-2t}+\tfrac13e^{-3t}. \]

It has three primary blocks. The middle block carries a Jordan term and must be retained or omitted as a whole for this selection rule. Their certified integrated weights are

\[ w_1=\frac14,\qquad w_2=\frac32+\frac{2}{2^2}=2, \qquad w_3=\frac{1/3}{3}=\frac19. \]
Three memory blocks are ranked by certified contributions.
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

Each horizontal bar is labelled by its decay rate and contribution. The longest bar is the Jordan block; the smaller bars represent the two other rates. The plate states the cost and block-count budget for this selection problem.

Drawing labels and data 6 labels

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

  • rate 2, Jordan
  • \(2\)
  • rate 1
  • \(1/4\)
  • rate 3
  • \(1/9\)

Open the full-size drawing

Evidence note from the source edition

With one primary block retained, choose the middle block and certify omitted weight \(13/36\). With two retained, add the rate-one block and the remaining certificate is \(1/9\).

The slowest eigenvalue is not necessarily the largest effect

The rate-two block has the greatest weight because its couplings and nilpotent contribution dominate. Retaining the slowest rate alone would omit weight \(2+1/9\), a much larger certificate.

The descending order is \(2,1/4,1/9\). A target tolerance \(1/8\) needs two blocks according to this bound: one block leaves \(13/36>1/8\), while two leave \(1/9\le1/8\). Every term in this particular scalar kernel is nonnegative, so its omitted integral equals the certificate.

In general matrix kernels, cancellations can make the true error smaller. The theorem optimizes the sum of omitted block weights, not every possible approximation error. Moreover, a Jordan block may cost several state dimensions. A fixed budget in total hidden dimension is a different optimization problem from a fixed number of primary blocks.

Read this as

The largest-weight rule is exact for its stated certificate and block-count budget. It is not a claim of globally optimal model reduction.

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 VI

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