Articles by others on the same topic (1)

Every self-adjoint operator on a separable complex Hilbert space is diagonal modulo a compact operator. For a bounded operator the compact self-adjoint error can have arbitrarily small Hilbert-Schmidt norm. In a cyclic spectral representation, partition a bounded real interval into intervals of width at most and successively bisect. Orthogonal step-function differences give basis vectors supported in the parent intervals. A diagonal value chosen in each support interval gives total squared column error at most . Since , this tends to zero. Apply the construction to countably many cyclic summands with summable squared error bounds. For an unbounded operator first split into bounded spectral intervals, obtaining a bounded compact error on the same domain.