 that $K \leq \frac{\eta}{1-\eta}(n-5) $, it holds that $$\begin{aligned}
{\mathrm{tr}}(\Pi_{=K} \overline{P}_\eta) \leq   2 N^4 (1+\alpha)^7 \exp\left(-N D\left(\frac{\alpha}{\alpha+1} \big\|\eta \right) \right),\end{aligned}$$ where $N = n-5$ and $\alpha := K/N$.

For any non negative distribution $f(x,y) \geq 0$ symmetric in $x$ and $y$, *i.e.* such that $f(x,y) = f(y,x)$, it holds that $$\begin{aligned}
\int_{\overline{\mathcal{E}}_\eta} f(x,y) \d x  \d y &\leq  2\int_{\eta}^1 \d x \int_0^1 \d y f(x,y).\end{aligned}$$ Since $q(x,y) {\mathrm{tr}}\left[P_{=K} \Pi_{x,y} \right]$ is such a distribution, it holds that $$\begin{aligned}
{\mathrm{tr}}(\Pi_{=K} \overline{P}_\eta)\leq 2\int_{\eta}^1 \d x \int_0^1 \d y  q(x,y) \, {\mathrm{tr}}\left[P_{=K} \Pi_{x,y} \right].\end{aligned}$$ Lemma \[lem:Piq\] then yields $$\begin{aligned}
{\mathrm{tr}}(\Pi_{=K} \overline{P}_\eta) &\leq 2  \sum_{k_1+k_2=K} a_{k_1}^n a_{k_2}^n \int_{\eta}^1 \d x (1-x)^n x^{k_1} \int_0^1 \d y   q(x,y)  (1-y)^n  y^{k_2}\\
&\leq  (n-1)(n-2)^2(n-3)  \sum_{k_1+k_2=K} a_{k_1}^n a_{k_2}^n \int_{\eta}^1 \d x (1-x)^{n-4
that $ K \leq \frac{\eta}{1-\eta}(n-5) $, it holds that $ $ \begin{aligned } 
 { \mathrm{tr}}(\Pi_{=K } \overline{P}_\eta) \leq    2 N^4 (1+\alpha)^7 \exp\left(-N D\left(\frac{\alpha}{\alpha+1 } \big\|\eta \right) \right),\end{aligned}$$ where $ N = n-5 $ and $ \alpha: = K / N$. 

 For any non negative distribution $ f(x, y) \geq 0 $ symmetric in $ x$ and $ y$, * i.e. * such that $ f(x, y) = f(y, x)$, it holds that $ $ \begin{aligned } 
 \int_{\overline{\mathcal{E}}_\eta } f(x, y) \d x   \d y & \leq   2\int_{\eta}^1 \d x \int_0 ^ 1 \d y f(x, y).\end{aligned}$$ Since $ q(x, y) { \mathrm{tr}}\left[P_{=K } \Pi_{x, yttrium } \right]$ is such a distribution, it hold that $ $ \begin{aligned } 
 { \mathrm{tr}}(\Pi_{=K } \overline{P}_\eta)\leq 2\int_{\eta}^1 \d x \int_0 ^ 1 \d y   q(x, y) \, { \mathrm{tr}}\left[P_{=K } \Pi_{x, y } \right].\end{aligned}$$ Lemma \[lem: Piq\ ] then yields $ $ \begin{aligned } 
 { \mathrm{tr}}(\Pi_{=K } \overline{P}_\eta) & \leq 2   \sum_{k_1+k_2 = K } a_{k_1}^n a_{k_2}^n \int_{\eta}^1 \d x (1 - x)^n x^{k_1 } \int_0 ^ 1 \d y    q(x, y)   (1 - y)^n   y^{k_2}\\ 
 & \leq   (n-1)(n-2)^2(n-3)   \sum_{k_1+k_2 = thousand } a_{k_1}^n a_{k_2}^n \int_{\eta}^1 \d x (1 - x)^{n-4
 thwt $K \leq \frac{\eta}{1-\eta}(n-5) $, it holds that $$\begnb{alignxd}
{\mathrj{tr}}(\Pi_{=K} \oxerline{P}_\eta) \leq   2 N^4 (1+\alpha)^7 \eep\ledt(-N D\oeft(\frac{\alpha}{\alpha+1} \big\|\dta \right) \right),\ene{alijned}$$ where $N = n-5$ ehd $\alpha := K/N$.

Fkv any ion negative dixtribution $f(x,y) \geq 0$ symmatfie in $x$ and $y$, *i.e.* such that $f(x,y) = f(y,x)$, ie holds tjat $$\begin{aligngd}
\int_{\pderljne{\mathcal{E}}_\eta} f(x,y) \d x  \d y &\leq  2\iht_{\eta}^1 \d x \int_0^1 \d y f(x,u).\end{aligned}$$ Since $q(x,y) {\mathgm{tr}}\peft[P_{=K} \Pi_{x,y} \right]$ ls such a dustryvution, it houds that $$\btgnn{aligned}
{\majhrm{tr}}(\Pi_{=K} \overline{P}_\eta)\leq 2\int_{\eta}^1 \d x \nnt_0^1 \d y  q(x,i) \, {\mwjhrm{tr}}\left[P_{=K} \Pi_{x,y} \right].\end{alinmed}$$ Lekma \[lem:Liq\] then yieldx $$\bxgin{qligned}
{\mathrm{tr}}(\Pi_{=K} \ovxrline{P}_\eta) &\leq 2  \sum_{h_1+k_2=K} a_{k_1}^n a_{n_2}^n \int_{\eta}^1 \d x (1-x)^n x^{k_1} \ibt_0^1 \d i   q(f,y)  (1-h)^b  h^{k_2}\\
&\ltq  (n-1)(h-2)^2(n-3)  \sul_{k_1+k_2=I} a_{k_1}^n a_{k_2}^n \jnt_{\eta}^1 \d x (1-z)^{n-4
that $K \leq \frac{\eta}{1-\eta}(n-5) $, it holds {\mathrm{tr}}(\Pi_{=K} \leq 2 (1+\alpha)^7 \exp\left(-N D\left(\frac{\alpha}{\alpha+1} = and $\alpha := For any non distribution $f(x,y) \geq 0$ symmetric in and $y$, *i.e.* such that $f(x,y) = f(y,x)$, it holds that $$\begin{aligned} \int_{\overline{\mathcal{E}}_\eta} \d x \d y &\leq 2\int_{\eta}^1 \d x \int_0^1 \d y f(x,y).\end{aligned}$$ Since {\mathrm{tr}}\left[P_{=K} \right]$ such distribution, it holds that $$\begin{aligned} {\mathrm{tr}}(\Pi_{=K} \overline{P}_\eta)\leq 2\int_{\eta}^1 \d x \int_0^1 \d y q(x,y) \, {\mathrm{tr}}\left[P_{=K} \right].\end{aligned}$$ Lemma \[lem:Piq\] then yields $$\begin{aligned} {\mathrm{tr}}(\Pi_{=K} \overline{P}_\eta) 2 \sum_{k_1+k_2=K} a_{k_1}^n a_{k_2}^n \d x (1-x)^n x^{k_1} \int_0^1 y (1-y)^n y^{k_2}\\ (n-1)(n-2)^2(n-3) a_{k_1}^n \int_{\eta}^1 \d x
 that $K \leq \frac{\eta}{1-\eta}(n-5) $, it holdS that $$\begin{AlignEd}
{\mAthRm{Tr}}(\Pi_{=k} \oveRline{P}_\eta) \leq   2 N^4 (1+\aLPha)^7 \eXp\left(-N D\left(\frac{\alpha}{\aLpha+1} \bIg\|\ETa \riGHt) \Right),\End{aligNEd}$$ WHEre $n = n-5$ AnD $\alPhA := k/N$.

for anY noN negatiVe distribuTioN $f(X,y) \geq 0$ symmetrIC iN $x$ and $y$, *i.e.* suCh tHat $f(x,y) = f(y,x)$, it hOldS that $$\bEgIn{aLIgned}
\Int_{\OverlIne{\matHCal{E}}_\etA} f(x,y) \d x  \d y &\lEq  2\INt_{\eta}^1 \d X \Int_0^1 \d y f(x,Y).\ENd{AligNed}$$ Since $q(x,y) {\mathrm{TR}}\lEFt[P_{=K} \Pi_{x,y} \right]$ iS such a DiSTrIBUtiOn, iT holds that $$\BeGin{alIGned}
{\matHRm{TR}}(\pI_{=K} \oVErline{P}_\eta)\leq 2\Int_{\eta}^1 \d x \int_0^1 \D Y  q(x,Y) \, {\mathrM{tR}}\leFT[P_{=K} \Pi_{x,Y} \righT].\eND{alIgned}$$ Lemma \[lEm:PiQ\] then yielDs $$\begiN{Aligned}
{\MAthrm{tr}}(\pi_{=K} \oveRliNe{P}_\Eta) &\lEQ 2  \sUm_{K_1+k_2=K} A_{k_1}^N A_{k_2}^n \INt_{\Eta}^1 \D X (1-x)^n X^{k_1} \int_0^1 \d y   q(X,y)  (1-Y)^n  Y^{k_2}\\
&\leq  (N-1)(n-2)^2(n-3)  \sUM_{K_1+K_2=k} a_{k_1}^n A_{k_2}^n \Int_{\eTa}^1 \d x (1-x)^{N-4
 that $K \leq \frac{\eta}{ 1-\eta}(n- 5) $,  it  ho ld s th at $ $\begin{aligne d }
{\ mathrm{tr}}(\Pi_{=K} \ overl in e {P}_ \ et a) \l eq   2N ^4 ( 1+\ al ph a)^ 7\ ex p\lef t(- N D\lef t(\frac{\a lph a} {\alpha+1} \ b ig \|\eta \ri ght ) \right),\e nd{ aligne d} $$w here$N= n-5 $ and$ \alpha  := K/N$. 
F or any non neg a t iv e di stribution $f(x,y )  \ g eq 0$ symmetri c in $ x$ an d $y$ , * i.e.* such  t hat $ f (x,y) = f( y , x )$, it holds that  $$\begin{a l ign ed}
\i nt _{\ o verlin e{\ma th c al{ E}}_\eta} f (x,y ) \d x  \ d y &\ l eq  2\i n t_{\eta }^1 \d  x\in t_0^ 1  \ dy f (x , y). \ en d{a l ign ed}$$ Si nc e$q(x, y) { \ m a t hrm{ tr} }\le ft[P_ {=K} \Pi_{x,y } \ righ t ]$is su ch adist ri butio n, itholds  t hat $$\begin{al igne d}
{\math rm{ tr }}( \P i_{=K }  \over lin e{P }_\eta) \leq 2\ i nt_ {\ e t a }^ 1 \d x \int_0^1 \d  y q( x,y) \,{\math r m{ tr } }\left[P _{ =K}  \Pi _ { x,y}\rig h t] .\end{al igned} $ $Le mma \[l em :Piq\]  t hen  yi elds$ $\be gin{al igned}
{ \math r m{tr}}(\Pi_{=K }  \overline{P} _ \e t a )& \leq  2 \sum_{k_1+ k_2= K } a_ {k_1 } ^n  a_ { k_2}^ n \in t_ { \e t a}^1 \d x (1-x)^n x ^{ k_1} \ int_0 ^1 \d y   q(x ,y)  (1-y) ^ n  y^{k_2} \\
& \ le q   (n-1)(n-2)^2 (n-3)   \sum_{k_ 1 +k_2=K}a_{k_ 1}^n a_{ k_2}^n \i n t _{\eta}^ 1 \ d x  (1 -x) ^ { n- 4
 that_$K \leq_\frac{\eta}{1-\eta}(n-5) $, it holds_that $$\begin{aligned}
{\mathrm{tr}}(\Pi_{=K}_\overline{P}_\eta)_\leq __2 N^4 (1+\alpha)^7_\exp\left(-N D\left(\frac{\alpha}{\alpha+1} \big\|\eta_\right) \right),\end{aligned}$$ where $N_= n-5$ and_$\alpha_:= K/N$.

For any non negative distribution $f(x,y) \geq 0$ symmetric in $x$ and $y$,_*i.e.*_such that_$f(x,y)_=_f(y,x)$, it holds that $$\begin{aligned}
\int_{\overline{\mathcal{E}}_\eta}_f(x,y) \d x  \d_y &\leq_ 2\int_{\eta}^1 \d x \int_0^1 \d y f(x,y).\end{aligned}$$_Since_$q(x,y) {\mathrm{tr}}\left[P_{=K} \Pi_{x,y}_\right]$ is such a distribution, it holds that $$\begin{aligned}
{\mathrm{tr}}(\Pi_{=K}_\overline{P}_\eta)\leq 2\int_{\eta}^1 \d x \int_0^1 \d_y  q(x,y)_\,_{\mathrm{tr}}\left[P_{=K}_\Pi_{x,y} \right].\end{aligned}$$ Lemma \[lem:Piq\]_then yields $$\begin{aligned}
{\mathrm{tr}}(\Pi_{=K} \overline{P}_\eta) &\leq 2_ \sum_{k_1+k_2=K} a_{k_1}^n a_{k_2}^n \int_{\eta}^1 \d_x (1-x)^n x^{k_1} \int_0^1 \d y _ q(x,y)  (1-y)^n  y^{k_2}\\
&\leq_ (n-1)(n-2)^2(n-3)  \sum_{k_1+k_2=K} a_{k_1}^n_a_{k_2}^n \int_{\eta}^1_\d x (1-x)^{n-4