Manuscript IV-B@1 · IV-B-v1.tex · lemma · dfb66408
Lemma: Separate spectral estimates
Model 2: dense TT completion and fixed-number spectral removal › Four legs and the distinction between coefficient norms · lines 861–923 · proof included or linked
IV-B@1#lem:spectral, IV-B@1#eq:spectral, IV-B@1#eq:master
The pair coefficient is Hilbert–Schmidt and the mixed coefficient is bounded. There are constants independent of the admitted masks such that
Proof. Write ,
Spatial integration by parts and one temporal integration by parts, retaining the initial endpoint , give
For , transversality gives . After absorbing polynomial transfer factors into the arbitrary spatial decay,
For pair signs this implies, after increasing ,
The radial integral is finite. The gravitational low and high tails have squared integrals and . The scalar high tail is , by splitting from and transferring weights between . This proves the first estimate.
For mixed signs, (eq:master) gives
and, on , also the bound with . The low part is Hilbert–Schmidt, with low-tail norm . The two high-tail Schur integrals are , using the appropriate - or -weighted bound; the remaining low-, high- term decays faster. The Schur test proves the second estimate.
Displayed formulas in this passage
IV-B@1#eq:spectral · line 866
IV-B@1#eq:master · line 889
unlabeled · line 876
unlabeled · line 882
unlabeled · line 898
unlabeled · line 910