The fixed-M limit

Define

The quadratic with these coefficients obeys (eq:graph2) and defines a symmetric operator $B_{\infty }$ on $\mathrm{Dom}\mathsf{N}$. Its form agrees with the original dense pairing on ${\mathcal{D}}_2$: for those test vectors, the masks eventually equal one on all active external supports.