isation of the top-left $(n-|\Lambda|)\times (n-|\Lambda|)$ submatrix of $M_n$. In particular, after conditioning on any realisation of the top-left submatrix of this size, each of the $n-|\Lambda|$ equations above is satisfied with probability which is at most $\rho^{\F_p}(b)$, and the satisfaction of different equations is mutually independent. Hence, by the law of total probability, the system \[eqn:orthogonal-many-2\] is satisfied with probability at most $$\left(\rho^{\F_p}(b)\right)^{n-|\Lambda|} \leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-|\Lambda|}\leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-s_2},$$ where the middle bound follows from \[corollary:halasz-usable\], and the right-hand bound follows since $|\Lambda|\leq s_2$. Finally, substituting this in \[eqn:prob-orthog-many\] and proceeding as in \[eqn:easy-entropy-bound\] gives the desired conclusion.

\[corollary:prob-level-set\] Let $p$ be a prime and $k\in \N, s_1,s_2,d\in [n], t\in [p]$ such that $1\\leq s_1 \leq s_2 \leq n/2$, $s_1 \leq d \leq n$, $p \leq \min\left\{e^{-s_1/2k}, \left(4k/s_1\right)^{k}\right\}$, and $t \geq s_1 \geq k \geq 100$. Then, for $0\leq \beta := \beta(n) \leq 1/2$, $$\Pr_{M_n}[\exists a \in \Bad^{d}_{k,s_1,s_2,t}(n)\setminus \Bad^{d}_{k,s_1,s_2,t+1}(n)|a \text{ is orthogonal to $\geq (1-\beta)n$ rows of } M_n] \leq (12C)^{n}p^{\beta n + 2s_2 + \frac{s_1
isation of the top - left $ (n-|\Lambda|)\times (n-|\Lambda|)$ submatrix of $ M_n$. In particular, after conditioning on any realisation of the top - left submatrix of this size, each of the $ n-|\Lambda|$ equation above is quenched with probability which is at most $ \rho^{\F_p}(b)$, and the satisfaction of unlike equations is mutually autonomous. Hence, by the law of full probability, the organization \[eqn: orthogonal - many-2\ ] is satisfied with probability at about $ $ \left(\rho^{\F_p}(b)\right)^{n-|\Lambda| } \leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-|\Lambda|}\leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n - s_2},$$ where the middle tie follows from \[corollary: halasz - usable\ ], and the correct - hand bound follow since $ |\Lambda|\leq s_2$. Finally, substituting this in \[eqn: prob - orthog - many\ ] and proceeding as in \[eqn: easy - entropy - bound\ ] gives the desire conclusion. 

 \[corollary: prob - level - set\ ] Let $ p$ be a choice and $ k\in \N, s_1,s_2,d\in [ n ], t\in [ p]$ such that $ 1\\leq s_1 \leq s_2 \leq n/2 $, $ s_1 \leq d \leq n$, $ p \leq \min\left\{e^{-s_1/2k }, \left(4k / s_1\right)^{k}\right\}$, and $ t \geq s_1 \geq k \geq 100$. Then, for $ 0\leq \beta: = \beta(n) \leq 1/2 $, $ $ \Pr_{M_n}[\exists a \in \Bad^{d}_{k, s_1,s_2,t}(n)\setminus \Bad^{d}_{k, s_1,s_2,t+1}(n)|a \text { is orthogonal to $ \geq (1-\beta)n$ row of } M_n ] \leq (12C)^{n}p^{\beta n + 2s_2 + \frac{s_1
isahion of the top-left $(n-|\Lamnda|)\times (n-|\Lambda|)$ submatcix of $J_n$. In pafticular, after conditioning ln any eealisation of the top-ueft submwtrix of thiw size, each of the $k-|\Jambsw|$ eqbavions above is xatisfied fith probabilidy wkich is at most $\rho^{\F_p}(b)$, and the satissaction ov different eqoatiomf is mutually independent. Hence, by the law of total probabolity, the system \[eqn:orthoglnal-lany-2\] is satisfied aith probabulitr at most $$\lefg(\rho^{\F_p}(b)\right)^{n-|\Lambda|} \les \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-|\Laobda|}\lzq \left(\frac{2X(t+1)\wqrh{n}}{p\sqrt{s_1}}\righv)^{n-s_2},$$ whvre the middlc bound followx from \[corollavy:halesz-uwable\], and the right-haid bound follows sinse $|\Lambda|\nes s_2$. Finally, substutyting thiv in \[wqn:orog-octhkg-many\] anv proceedinf as in \[eqn:wasy-entropy-bound\] gifef the desired donclufijn.

\[corollary:prob-level-set\] Let $p$ be a primt and $k\in \N, s_1,s_2,d\in [n], t\in [p]$ suxh that $1\\leq s_1 \leq s_2 \lgq n/2$, $s_1 \leq d \leq n$, $p \leq \min\left\{e^{-s_1/2k}, \left(4k/s_1\right)^{k}\right\}$, and $t \geq a_1 \gew h \tee 100$. Then, for $0\leq \beta := \beta(n) \leq 1/2$, $$\Pr_{M_n}[\exists a \jn \Bsd^{d}_{k,s_1,s_2,t}(n)\setminms \Bad^{d}_{k,s_1,s_2,t+1}(n)|a \text{ id ptthogonal to $\ggq (1-\beta)u$ rkws of } M_n] \leq (12C)^{n}p^{\heta n + 2s_2 + \feac{s_1
isation of the top-left $(n-|\Lambda|)\times (n-|\Lambda|)$ submatrix In after conditioning any realisation of size, of the $n-|\Lambda|$ above is satisfied probability which is at most $\rho^{\F_p}(b)$, the satisfaction of different equations is mutually independent. Hence, by the law of probability, the system \[eqn:orthogonal-many-2\] is satisfied with probability at most $$\left(\rho^{\F_p}(b)\right)^{n-|\Lambda|} \leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-|\Lambda|}\leq where middle follows \[corollary:halasz-usable\], and the right-hand bound follows since $|\Lambda|\leq s_2$. Finally, substituting this in \[eqn:prob-orthog-many\] and proceeding in \[eqn:easy-entropy-bound\] gives the desired conclusion. \[corollary:prob-level-set\] Let be a prime and \N, s_1,s_2,d\in [n], t\in [p]$ that s_1 \leq \leq $s_1 d \leq n$, \leq \min\left\{e^{-s_1/2k}, \left(4k/s_1\right)^{k}\right\}$, and $t \geq s_1 \geq k \geq 100$. Then, for $0\leq \beta := \beta(n) 1/2$, $$\Pr_{M_n}[\exists \Bad^{d}_{k,s_1,s_2,t}(n)\setminus \Bad^{d}_{k,s_1,s_2,t+1}(n)|a is to (1-\beta)n$ rows of \leq (12C)^{n}p^{\beta n + 2s_2 +
isation of the top-left $(n-|\LambdA|)\times (n-|\LamBda|)$ suBmaTriX oF $M_n$. IN parTicular, after coNDitiOning on any realisation oF the tOp-LEft sUBmAtrix Of this sIZe, EACh oF tHe $N-|\LaMbDA|$ eQuatiOns Above is Satisfied wIth PrObability whiCH iS at most $\rho^{\f_p}(b)$, And the satisfActIon of dIfFerENt equAtiOns is MutualLY indepEndent. HenCe, BY the laW Of total PRObAbilIty, the system \[eqn:orTHoGOnal-many-2\] is satiSfied wItH PrOBAbiLitY at most $$\lefT(\rHo^{\F_p}(b)\RIght)^{n-|\LaMBdA|} \LEQ \leFT(\frac{2C(t+1)\sqrt{k}}{p\Sqrt{s_1}}\right)^{n-|\lAmbDa|}\leq \lEfT(\frAC{2C(t+1)\sqrT{k}}{p\sqRt{S_1}}\RigHt)^{n-s_2},$$ where thE midDle bound fOllows FRom \[coroLLary:halAsz-usaBle\], And The rIGhT-hAnd BoUNd fOLlOws SIncE $|\Lambda|\lEq S_2$. FInallY, subSTITUtinG thIs in \[Eqn:prOb-orthog-many\] aNd pRoceEDinG as in \[Eqn:eaSy-enTrOpy-boUnd\] givEs the DeSired conclusion.

\[CoroLlary:prob-LevEl-Set\] leT $p$ be a PRime anD $k\iN \N, s_1,S_2,d\in [n], t\iN [p]$ such tHAt $1\\lEq S_1 \LEQ s_2 \Leq n/2$, $s_1 \leq d \leq n$, $p \leq \mIn\LEFt\{E^{-s_1/2k}, \left(4k/S_1\right)^{K}\RiGhT\}$, And $t \geq s_1 \GeQ k \gEq 100$. ThEN, For $0\leQ \betA := \BeTa(n) \leq 1/2$, $$\Pr_{m_n}[\exisTS a \In \bad^{d}_{k,s_1,s_2,T}(n)\SetminUs \bad^{D}_{k,s_1,S_2,t+1}(n)|a \tEXt{ is OrthogOnal to $\geQ (1-\beta)N$ Rows of } M_n] \leq (12C)^{n}p^{\BEta n + 2s_2 + \frac{s_1
isation of the top-left $( n-|\Lambda |)\ti mes  (n -| \Lam bda| )$ submatrix o f  $M_ n$. In particular, aft er co nd i tion i ng  on a ny real i sa t i onof  t heto p -l eft s ubm atrix o f this siz e,ea ch of the $n - |\ Lambda|$ e qua tions aboveissatisf ie d w i th pr oba bilit y whic h  is at  most $\r ho ^ {\F_p} ( b)$, an d th e sa tisfaction of dif f er e nt equations i s mutu al l yi n dep end ent. Hence ,by th e  law of to t a l  pr o bability, the  system \[e q n:o rthogo na l-m a ny-2\]  is s at i sfi ed with pro babi lity at m ost $$ \ left(\r h o^{\F_p }(b)\r igh t)^ {n-| \ La mb da| }\ leq \l eft ( \fr ac{2C(t+ 1) \s qrt{k }}{p \ s q r t{s_ 1}} \rig ht)^{ n-|\Lambda|}\ leq  \le f t(\ frac{ 2C(t+ 1)\s qr t{k}} {p\sqr t{s_1 }} \right)^{n-s_2} ,$$where the  mi dd lebo und f o llowsfro m \ [coroll ary:hal a sz- us a b l e\ ], and the right-h an d bo und foll ows si n ce  $ | \Lambda| \l eqs_2$ . Final ly,s ub stitutin g this in  \ [eqn:pr ob -ortho g- man y\]  andp roce edingas in \[ eqn:e a sy-entropy-bou n d\] gives the de s i re d  con clu sion.

\[co roll a ry:p rob- l ev el- s et\]Let $ p$ be a prime and $k\in \ N,  s_1,s _2,d\ in [n], t\in[p]$ sucht h a t $1\\le q s_ 1  \ l eq s_2 \leq n/ 2$, $ s_1 \leq d \leq n$,  $p \ leq \min \left\{e^ { - s_1/2k},  \l eft (4k /s_ 1 \ ri ght)^{k}\righ t \ }$,an d $t \g eqs_1 \ge q k  \g eq100 $.  Then, fo r $0\leq  \ be ta  : = \ beta( n ) \leq 1 /2 $,$$ \Pr _{M_n } [\exis ts a\in\B ad ^ {d} _{k,s_1 , s_ 2 , t}(n )\ se tmin us\B ad^{d }_{k , s_1 ,s_2,t+ 1}(n)|a \ tex t { is  o rt hogonal  to $\geq (1- \b eta)n$ row sof} M_n] \ leq (12C )^{n}p^{\beta n + 2s_2+  \frac{ s_1 
isation of_the top-left_$(n-|\Lambda|)\times (n-|\Lambda|)$ submatrix of_$M_n$. In_particular,_after conditioning_on_any realisation of_the top-left submatrix_of this size, each_of the $n-|\Lambda|$_equations_above is satisfied with probability which is at most $\rho^{\F_p}(b)$, and the satisfaction of_different_equations is_mutually_independent._Hence, by the law of_total probability, the system \[eqn:orthogonal-many-2\]_is satisfied_with probability at most $$\left(\rho^{\F_p}(b)\right)^{n-|\Lambda|} \leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-|\Lambda|}\leq \left(\frac{2C(t+1)\sqrt{k}}{p\sqrt{s_1}}\right)^{n-s_2},$$_where_the middle bound_follows from \[corollary:halasz-usable\], and the right-hand bound follows since_$|\Lambda|\leq s_2$. Finally, substituting this in_\[eqn:prob-orthog-many\] and proceeding_as_in_\[eqn:easy-entropy-bound\] gives the desired_conclusion.

\[corollary:prob-level-set\] Let $p$ be a prime_and $k\in \N, s_1,s_2,d\in [n], t\in_[p]$ such that $1\\leq s_1 \leq s_2_\leq n/2$, $s_1 \leq d \leq_n$, $p \leq \min\left\{e^{-s_1/2k}, \left(4k/s_1\right)^{k}\right\}$,_and $t_\geq s_1 \geq k \geq_100$. Then, for_$0\leq \beta_:= \beta(n) \leq_1/2$, $$\Pr_{M_n}[\exists a \in \Bad^{d}_{k,s_1,s_2,t}(n)\setminus \Bad^{d}_{k,s_1,s_2,t+1}(n)|a_\text{ is orthogonal_to $\geq (1-\beta)n$ rows of }_M_n]_\leq (12C)^{n}p^{\beta n_+_2s_2_+ \frac{s_1