 all the functions $q_{t_i}$ have finite support then all the needed analytic assumptions are automatically satisfied because we are working in an $L^2$ space on a finite set. Of course, such a restriction is unnecessarily harsh, but we will not pursue this issue here any further.

Proofs of the results from Section \[sec:examples\] {#sec:app}
===================================================

We recall the following facts about trace class and Hilbert-Schmidt norms (see e.g. [@Simon]) of operators in $L^2(X)$ for some measurable space $(X,\Sigma,\mu)$, which we will use repeatedly without reference: $$\begin{gathered}
  \|AB\|_1\leq\|A\|_2\|B\|_2,\qquad\|AB\|_1\leq\|A\|_{\rm op}\|B\|_1,\\
  \shortintertext{and if $A$ has integral kernel $A(x,y)$,}
  \|A\|_2=\left(\int \mu(dx)\mu(dy)\,|A(x,y)|^2\right)^{1/2},\end{gathered}$$ for each $A,B$ in the appropriate space, where $\|\cdot\|_{\rm op}$ denotes the operator norm in $L^2(X)$.

Throughout this section $c$ and $c'$ will denote positive constants whose value may change from line to line.

Checking Assumption \[assum:1\] is straightforward. We will take in this case $V_{t_i}=V_{t_i}'=U_{t_i}=U_{t_i}'=I$, and thus Assumption \[assum:0\] is contained in Assumption \[assum:2\], which we check next.

Condition (i) is trivial. Given functions $\psi_1$ and $\psi_2$ write $\psi_1\otimes\psi_2$ for the kernel $\psi_1(x)\psi_2(y)$ and let $\phi$ be any function with $\int\!\phi^2=1$. Then we can write ${\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)=({\overline{Q}}_{t_i}\varphi_k\otimes\phi)(\phi\otimes\varphi_k)$, so that $\|{\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)\|_1\leq\|{\overline{Q
all the functions $ q_{t_i}$ have finite support then all the needed analytic assumption are mechanically satisfied because we are working in an $ L^2 $ quad on a finite bent. Of course, such a restriction is unnecessarily coarse, but we will not pursue this issue here any further. 

 proof of the results from Section \[sec: examples\ ] { # sec: app } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 We recall the keep up facts about tracing course and Hilbert - Schmidt norms (see for example [ @Simon ]) of operators in $ L^2(X)$ for some measurable quad $ (X,\Sigma,\mu)$, which we will practice repeatedly without reference: $ $ \begin{gathered } 
   \|AB\|_1\leq\|A\|_2\|B\|_2,\qquad\|AB\|_1\leq\|A\|_{\rm op}\|B\|_1,\\ 
   \shortintertext{and if $ A$ has integral kernel $ A(x, y)$, } 
   \|A\|_2=\left(\int \mu(dx)\mu(dy)\,|A(x, y)|^2\right)^{1/2},\end{gathered}$$ for each $ vitamin a, B$ in the appropriate space, where $ \|\cdot\|_{\rm op}$ denotes the hustler norm in $ L^2(X)$. 

 Throughout this department $ c$ and $ c'$ will denote positivist constants whose value may change from line to cable. 

 Checking Assumption \[assum:1\ ] is straightforward. We will take in this case $ V_{t_i}=V_{t_i}'=U_{t_i}=U_{t_i}'=I$, and thus Assumption \[assum:0\ ] is contain in Assumption \[assum:2\ ], which we determine next. 

 Condition (i) is trivial. Given functions $ \psi_1 $ and $ \psi_2 $ write $ \psi_1\otimes\psi_2 $ for the kernel $ \psi_1(x)\psi_2(y)$ and let $ \phi$ be any affair with $ \int\!\phi^2=1$. Then we can publish $ { \overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)=({\overline{Q}}_{t_i}\varphi_k\otimes\phi)(\phi\otimes\varphi_k)$, so that $ \|{\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)\|_1\leq\|{\overline{Q
 alp the functions $q_{t_i}$ have finite support then anl the needed xnalytic assumptions are autlmqticaoly satisfied because de are wogking in qn $L^2$ wpace on a finite set. Of goursz, wuch a restricjion is unnewessarily harsv, cuc we will not pursue this issue here any futtjer.

Proofs of tre rtsujts rgon Section \[sec:examples\] {#sec:app}
===================================================

Ws recaln the followimg facts about trace class and Hilbert-Schmidt nogms (see e.g. [@Wimog]) of operatorr in $L^2(X)$ fog some measorable space $(X,\Sigma,\mu)$, which we wkll uxe repeateelt wljhout refereice: $$\bedin{gathered}
  \|AB\|_1\leq\|A\|_2\|B\|_2,\xquad\|AB\|_1\keq\|A\|_{\rm op}\|B\|_1,\\
  \shprtmnteetext{and if $A$ has intxgral kernel $A(x,y)$,}
  \|A\|_2=\lgft(\int \mu(df)\mb(dy)\,|A(x,y)|^2\right)^{1/2},\end{gatheree}$$ dor edch $D,B$ iv thd akprppdiate dpare, where $\|\cdkt\|_{\rm op}$ denites the operator npri in $L^2(X)$.

Throughkut thys section $c$ and $c'$ will denote positive cmnsfants whose value may cyange from line to lije.

Checkind Assumption \[assum:1\] is straightforward. We will taka in vhks eqse $V_{g_u}=V_{h_i}'=U_{t_i}=U_{t_i}'=I$, and thus Assumption \[assum:0\] is contaigsd ik Assumption \[assmm:2\], which we check medt.

Vjndition (i) is trivicm. Fiven functions $\psl_1$ and $\pfi_2$ wrute $\psi_1\otymes\lsi_2$ for the kernel $\psi_1(x)\psi_2(y)$ and let $\phi$ ve any function wich $\int\!\phi^2=1$. Thzn we van wtite ${\overline{Q}}_{t_i}(\varphi_k\utimss\varphi_k)=({\ovfrline{Q}}_{t_i}\bxrphi_k\otimes\phi)(\pfi\onimev\varphi_k)$, so that $\|{\overline{Q}}_{e_i}(\varphi_k\itimzs\varphi_y)\|_1\leq\|{\pverlige{Q
all the functions $q_{t_i}$ have finite support the analytic assumptions automatically satisfied because $L^2$ on a finite Of course, such restriction is unnecessarily harsh, but we not pursue this issue here any further. Proofs of the results from Section {#sec:app} =================================================== We recall the following facts about trace class and Hilbert-Schmidt norms e.g. of in for some measurable space $(X,\Sigma,\mu)$, which we will use repeatedly without reference: $$\begin{gathered} \|AB\|_1\leq\|A\|_2\|B\|_2,\qquad\|AB\|_1\leq\|A\|_{\rm op}\|B\|_1,\\ \shortintertext{and $A$ has integral kernel $A(x,y)$,} \|A\|_2=\left(\int \mu(dx)\mu(dy)\,|A(x,y)|^2\right)^{1/2},\end{gathered}$$ for $A,B$ in the appropriate where $\|\cdot\|_{\rm op}$ denotes the norm $L^2(X)$. Throughout section and will denote positive whose value may change from line to line. Checking Assumption \[assum:1\] is straightforward. We will take in case $V_{t_i}=V_{t_i}'=U_{t_i}=U_{t_i}'=I$, Assumption \[assum:0\] contained Assumption which we check (i) is trivial. Given functions $\psi_1$ $\psi_1\otimes\psi_2$ for the kernel $\psi_1(x)\psi_2(y)$ and let $\phi$ any function $\int\!\phi^2=1$. Then we can write ${\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)=({\overline{Q}}_{t_i}\varphi_k\otimes\phi)(\phi\otimes\varphi_k)$, that $\|{\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)\|_1\leq\|{\overline{Q
 all the functions $q_{t_i}$ have finIte support Then aLl tHe nEeDed aNalyTic assumptions ARe auTomatically satisfied beCause We ARe woRKiNg in aN $L^2$ space ON a FINitE sEt. of cOuRSe, Such a ResTrictioN is unnecesSarIlY harsh, but we wILl Not pursue tHis Issue here any FurTher.

PrOoFs oF The reSulTs froM SectiON \[sec:exAmples\] {#sec:ApP}
===================================================

we recaLL the folLOWiNg faCts about trace clasS AnD hilbert-Schmidt Norms (sEe E.G. [@SIMOn]) oF opErators in $L^2(x)$ fOr somE MeasuraBLe SPACe $(X,\sIgma,\mu)$, which we Will use repeATedLy withOuT reFErence: $$\Begin{GaTHerEd}
  \|AB\|_1\leq\|A\|_2\|B\|_2,\qqUad\|Ab\|_1\leq\|A\|_{\rm op}\|b\|_1,\\
  \shortINtertexT{And if $A$ hAs inteGraL keRnel $a(X,y)$,}
  \|a\|_2=\lEft(\InT \Mu(dX)\Mu(Dy)\,|A(X,Y)|^2\riGht)^{1/2},\end{gaThErEd}$$ for Each $a,b$ IN The aPprOpriAte spAce, where $\|\cdot\|_{\rM op}$ DenoTEs tHe opeRator Norm In $l^2(X)$.

ThrOughouT this SeCtion $c$ and $c'$ will dEnotE positive ConStAntS wHose vALue may ChaNge From linE to line.

cHecKiNG aSsUmption \[assum:1\] is straIgHTFoRward. We wIll takE In ThIS case $V_{t_i}=v_{t_I}'=U_{t_I}=U_{t_i}'=i$, ANd thuS AssUMpTion \[assuM:0\] is conTAiNeD in AssuMpTion \[asSuM:2\], whIch We cheCK nexT.

CondiTion (i) is tRiviaL. given functions $\PSi_1$ and $\psi_2$ write $\PSi_1\OTImES\psi_2$ For The kernel $\psI_1(x)\psI_2(Y)$ and Let $\pHI$ bE anY FunctIon wiTh $\INt\!\PHi^2=1$. Then we can write ${\oveRlIne{Q}}_{t_i}(\VarphI_k\otimes\varphI_k)=({\overline{q}}_{T_I}\Varphi_k\oTimeS\PhI)(\Phi\otimes\varphI_k)$, so tHat $\|{\overlinE{q}}_{t_i}(\varphI_k\otiMes\varphI_k)\|_1\leq\|{\overLINe{Q
 all the functions $q_{t_i }$ have fi nitesup por tthen  all  the needed an a lyti c assumptions are auto matic al l y sa t is fiedbecause we a rewo rk ing  i n  a n $L^ 2$space o n a finite  se t.  Of course,s uc h a restri cti on is unnece ssa rily h ar sh, but w e w ill n ot pur s ue thi s issue h er e  any f u rther.P ro ofsof the results fr o mS ection \[sec:e xample s\ ]  { # s ec: app }
======== == ===== = ======= = == = = = === = ============= =====

We r e cal l thefo llo w ing fa cts a bo u t t race classandHilbert-S chmidt norms ( s ee e.g.  [@Sim on] ) o f op e ra to rsin $L^ 2 (X )$f orsome mea su ra ble s pace $ ( X ,\Si gma ,\mu )$, w hich we willuse  rep e ate dly w ithou t re fe rence : $$\b egin{ ga thered}
  \|AB\ |_1\ leq\|A\|_ 2\| B\ |_2 ,\ qquad \ |AB\|_ 1\l eq\ |A\|_{\ rm op}\ | B\| _1 , \ \ 
 \shortintertext{a nd i f$A$ hasintegr a lke r nel $A(x ,y )$, }
 \ | A\|_2 =\le f t( \int \mu (dx)\m u (d y) \,|A(x, y) |^2\ri gh t)^ {1/ 2},\e n d{ga thered }$$ foreach$ A,B$ in the ap p ropriate spac e ,w h er e  $\| \cd ot\|_{\rm o p}$d enot es t h eope r atornormin $L ^ 2(X)$.

Throughoutth is sec tion$c$ and $c'$will denot e p ositivecons t an t s whose valuemay c hange from line toline. 

Checki ng Assump t i on \[ass um: 1\]  is  st r a ig htforward. We w illta ke in t his  case $ V_{ t_i }=V _{t _i }'=U_{t_i }=U_{t_i }' =I $,  a ndthusA ssumptio n\[a ss um: 0\] i s  conta inedin A ss um p tio n \[ass u m: 2 \ ], w hi ch  weche ck  next .

C o ndi tion (i ) is triv ial .  Giv en  f unction s $\psi_1$ an d$\psi_2$ w ri te$\psi_ 1 \ otimes\p si_2$ for the kernel $\ p si_1(x) \ps i_2(y )$ a nd let $\ phi $ be a nyf unctio n with  $\in t\ !\p h i ^2=1$ . Th enwe  can write $ {\o verli ne {Q}} _{t_i}( \varphi_k\otimes\v a rph i_k)=({\overl ine {Q}} _ { t_ i}\ v ar p hi_ k\ o tim e s \phi)(\phi\otim es\varphi_ k) $ ,so that $\ | {\o ve rline{Q }}_{t_i }(\va r phi_k\o times\var phi_k)\|_ 1\ leq\ | { \ov erline{Q
 all_the functions_$q_{t_i}$ have finite support_then all_the_needed analytic_assumptions_are automatically satisfied_because we are_working in an $L^2$_space on a_finite_set. Of course, such a restriction is unnecessarily harsh, but we will not pursue_this_issue here_any_further.

Proofs_of the results from Section_\[sec:examples\] {#sec:app}
===================================================

We recall the following_facts about_trace class and Hilbert-Schmidt norms (see e.g. [@Simon])_of_operators in $L^2(X)$_for some measurable space $(X,\Sigma,\mu)$, which we will use_repeatedly without reference: $$\begin{gathered}
  \|AB\|_1\leq\|A\|_2\|B\|_2,\qquad\|AB\|_1\leq\|A\|_{\rm_op}\|B\|_1,\\
  \shortintertext{and_if_$A$_has integral kernel $A(x,y)$,}
_ \|A\|_2=\left(\int \mu(dx)\mu(dy)\,|A(x,y)|^2\right)^{1/2},\end{gathered}$$ for each $A,B$_in the appropriate space, where $\|\cdot\|_{\rm_op}$ denotes the operator norm in $L^2(X)$.

Throughout_this section $c$ and $c'$ will_denote positive constants whose value_may change_from line to line.

Checking Assumption_\[assum:1\] is straightforward._We will_take in this_case $V_{t_i}=V_{t_i}'=U_{t_i}=U_{t_i}'=I$, and thus Assumption \[assum:0\]_is contained in_Assumption \[assum:2\], which we check next.

Condition_(i)_is trivial. Given_functions_$\psi_1$_and $\psi_2$_write $\psi_1\otimes\psi_2$ for_the_kernel $\psi_1(x)\psi_2(y)$_and_let $\phi$ be any function with_$\int\!\phi^2=1$._Then we can write ${\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)=({\overline{Q}}_{t_i}\varphi_k\otimes\phi)(\phi\otimes\varphi_k)$, so that_$\|{\overline{Q}}_{t_i}(\varphi_k\otimes\varphi_k)\|_1\leq\|{\overline{Q