Large Signal Model · Plate 7 of 17

Memory is an exact elimination

The discarded state leaves a kernel and an initial transient.

Question to keep in view. What does eliminating the discarded state leave behind?

Resources & source

Original PDF page · Atlas source

Skip contents and start reading

Write the split dynamics as \(y_{t+1}=Ay_t+Bw_t\) and \(w_{t+1}=Cy_t+Dw_t\). Eliminating \(w_t\) gives

\[ y_{t+1}=Ay_t+\sum_{j=0}^{t-1}BD^jC\,y_{t-1-j}+BD^tw_0. \]
Geometrically decaying memory coefficients beside an exact trajectory and finite-memory predictions.
Geometrically decaying memory coefficients beside an exact trajectory and finite-memory predictions.
Read the diagram in words

The kernel plot describes the contribution of older resolved states after the discarded coordinate has been eliminated. The trajectory comparison uses the declared rational example. A tail bound evaluated on the true history and an error bound for a recursively generated prediction are different statements; the text keeps their assumptions separate.

For the running example, \(A=1/2\), \(B=1\), \(C=1/4\), \(D=1/3\) and \(w_0=0\). Thus \(K_j=\tfrac14\,3^{-j}\). If \(|y_t|\leq1\), retaining the last \(H\) history terms leaves a same-history tail at most \(\Delta_H=\tfrac38\,3^{-H}\).

Here \(0\leq y_t\leq1\) and the truncated recursion has gain

\[ a_H=\frac12+\sum_{j=0}^{H-1}K_j =\frac78-\frac38\,3^{-H}<1. \]

With the same initial state, recursive propagation therefore gives

\[ \sup_t|y_t-\widehat y_t|\leq\frac{\Delta_H}{1-a_H} =\frac{3}{3^H+3}. \]

Scope

P10's tail estimate uses the same resolved history. P19 supplies the separate stability argument for a predictor using its own history. For other initial states, retain the term \(BD^tw_0\).

Formal route

Memory.lean; MemoryBounds.lean; MemoryStability.lean.

Follow the proofs

Inspect the mapped Lean modules
Source and reading aids

The atlas text, mathematics, plate order, and original diagrams are retained. Questions, diagram descriptions, navigation, and the bounded comparison explorer are web reading aids. No original TeX build or Lean execution is added.

Source identities and conversion checks

Notation in Large Signal Model

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