Paper VReading edition

Conclusion

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

E16 Conclusion

Finite index sublattices give exact coordinates for lattice signals. In those coordinates, convolution is a matrix of transfer kernels. Perfect reconstruction is a matrix inverse identity. Approximate reconstruction is controlled by a multiplier norm. Frame bounds are pointwise singular value bounds. Lifting steps are exact triangular coordinate changes. Every admissible packet tree gives a complete coordinate system, and every additive tree objective has an exact dynamic recursion.

The singular packet theory separates representation from recovery. A finite family of truncated powers records jumps in a function and its derivatives, leaving a globally Sobolev remainder under explicit trace assumptions. If the packet is known and retained, the error is exactly the smooth approximation error. If the packet is estimated, exact region overlap and location formulas quantify the remaining defect, while the reconstruction operator contributes a transparent stability factor.

For separated one dimensional jumps, a deterministic contrast gap gives exact cell recovery, midpoint location accuracy, and amplitude control. A sub Gaussian version follows from one union bound, and repeated measurements reduce the effective noise scale. Haar coefficients provide a second separation law because smooth coefficients decay one full power of scale faster than jump coefficients. Two shifted grids remove boundary alignment at a fixed scale. Higher differences annihilate piecewise polynomial interiors and confine their response to breakpoint bands.

The resulting chain is

\[ \begin{gathered} \text{lattice coordinates} \longrightarrow \text{transfer blocks} \longrightarrow \text{stable filter banks} \longrightarrow \text{packet trees} \\ \longrightarrow \text{singular packet model} \longrightarrow \text{local recovery} \longrightarrow \text{smooth approximation rate}. \end{gathered} \]

Every arrow is exact or quantitatively controlled under the hypotheses stated in the corresponding result.

Source and conversion record

Source SHA-256: 5d3c6b2e5709c37ea551eb8fd1d823e5249c5fbc411d36b806241af4df888f36

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

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