E16 Conclusion
On this page · Permalink · Source line 3759
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
Every arrow is exact or quantitatively controlled under the hypotheses stated in the corresponding result.