 \overline{\Hv^{p}_{\alpha, \beta n}(n)}$.

The next lemma is the first step towards the proof of \[prop:structural\] and motivates the subsequent discussion. In its statement, the support of a vector $a=(a_1,\dots,a_n) \in \F_{p}^{n}$, denoted by $\operatorname{supp}(a)$, refers to the set of indices $i\in [n]$ such that $a_i \neq 0 \mod p$.

\[lemma:eliminate-small-support\] Let $M_{n}$ be an $n\times n$, $\{\pm 1\}$-valued symmetric matrix, chosen uniformly at random from among all such matrices. Let $1 \leq d \leq n$ be an integer, and let $p$ be a prime. Let $\Sv^{p}_{\geq d, \beta n}(n)$ denote the event that every vector in $\F_{p}^{n}\setminus\{\operatorname{\textbf{0}}\}$ which is orthogonal (over $\F_{p}$) to at least $(1-\beta)n$ many rows of $M_{n}$ has support of size at least $d$. Suppose further that $\beta \leq 1/2$, $d\leq n/2$, $p^{\beta n} \leq 2^{n/2}$, $p^{d} \leq 2^{n/8}$, $H(\beta) \leq 1/4$, and $H(d/n) \leq 1/16$ (where $H(x):= -x\log_{2}(x) - (1-x)\log_{2}(1-x)$ is the binary entropy function for $x\in [0,1]$) Then, $$\Pr_{M_n}\left[\overline{\Sv^{p}_{\geq d,\beta n}(n)}\right] \leq 2^{-n/16}.$$

The proof of this lemma will use the following simple, yet powerful, observation.

\[obs:inject-permutation\] Let $\Sigma$ be an $n\times n$ permutation matrix. Then, for a uniformly random $n\times n$ symmetric $\{\pm 1\}$-matrix $M_n$, the random matrix $\Sigma^{-1}M_n\Sigma$ is also a uniformly distributed $n\times n$ symmetric $\{\pm 1\}$-matrix.

It is clear than
\overline{\Hv^{p}_{\alpha, \beta n}(n)}$. 

 The next lemma is the first step towards the proof of \[prop: structural\ ] and motivate the subsequent discussion. In its instruction, the support of a vector $ a=(a_1,\dots, a_n) \in \F_{p}^{n}$, denoted by $ \operatorname{supp}(a)$, refer to the bent of indices $ i\in [ n]$ such that $ a_i \neq 0 \mod p$. 

 \[lemma: eliminate - little - support\ ] get $ M_{n}$ be an $ n\times n$, $ \{\pm 1\}$-valued symmetric matrix, chosen uniformly at random from among all such matrices. Let $ 1 \leq five hundred \leq n$ be an integer, and let $ p$ be a prime. get $ \Sv^{p}_{\geq d, \beta n}(n)$ announce the event that every vector in $ \F_{p}^{n}\setminus\{\operatorname{\textbf{0}}\}$ which is orthogonal (over $ \F_{p}$) to at least $ (1-\beta)n$ many row of $ M_{n}$ has support of size at least $ d$. think further that $ \beta \leq 1/2 $, $ d\leq n/2 $, $ p^{\beta n } \leq 2^{n/2}$, $ p^{d } \leq 2^{n/8}$, $ H(\beta) \leq 1/4 $, and $ H(d / n) \leq 1/16 $ (where $ H(x):= -x\log_{2}(x) - (1 - x)\log_{2}(1 - x)$ is the binary entropy function for $ x\in [ 0,1]$) Then, $ $ \Pr_{M_n}\left[\overline{\Sv^{p}_{\geq d,\beta n}(n)}\right ] \leq 2^{-n/16}.$$ 

 The proof of this lemma will practice the following simple, so far powerful, notice. 

 \[obs: inject - permutation\ ] Let $ \Sigma$ be an $ n\times n$ substitution matrix. Then, for a uniformly random $ n\times n$ symmetric $ \{\pm 1\}$-matrix $ M_n$, the random matrix $ \Sigma^{-1}M_n\Sigma$ is also a uniformly distributed $ n\times n$ symmetric $ \{\pm 1\}$-matrix. 

 It is well-defined than
 \ovfrline{\Hv^{p}_{\alpha, \beta n}(n)}$.

Tht next lemma is tkw firsv step fowards ghe proof of \[prop:structural\] end notivqtes the subsequent dircussion. Pn its stqtemtnt, the support oh a vector $a=(a_1,\dkbs,a_n) \nn \F_{p}^{n}$, denoted bi $\operatornake{supp}(a)$, refers tu che set of indices $i\in [n]$ such that $a_y \neq 0 \kof p$.

\[lemma:eliminwte-skwll-shipirt\] Let $M_{n}$ be an $n\times n$, $\{\pm 1\}$-balued vymmetric mattix, chosen uniformly at rajdom from among all sufh matrices. Let $1 \leq d \leq n$ be an inttgzr, and let $k$ be a prime. Let $\Sv^{p}_{\geq d, \beta n}(v)$ denpte the evgur tjdt every vertor ig $\F_{p}^{n}\setminus\{\operatosname{\tectbf{0}}\}$ which is prtiogobal (over $\F_{p}$) to at leavt $(1-\beta)n$ many rows of $M_{n}$ hav aupport of size ar oeast $d$. Sgpporw fjrtgec tgat $\beha \meq 1/2$, $d\leq h/2$, $p^{\beta n} \lwq 2^{n/2}$, $p^{d} \leq 2^{n/8}$, $H(\beta) \lqw 1/4$, and $H(d/n) \les 1/16$ (whewe $H(x):= -x\log_{2}(x) - (1-x)\log_{2}(1-x)$ is the binary entropy xundtion for $x\in [0,1]$) Then, $$\Pr_{M_b}\left[\overline{\Sv^{p}_{\geq d,\heta n}(n)}\ridht] \leq 2^{-n/16}.$$

The proof of this lemma will use the folnowinj rimklc, hwt powerful, observation.

\[obs:inject-permutation\] Let $\Aibms$ be an $n\times n$ permutatooj kwtrix. Then, fot a uniykrjly random $n\times j$ symmejric $\{\pn 1\}$-matrix $I_n$, tne random matrix $\Sigma^{-1}M_n\Signa$ is also a yniformly distribuced $n\times n$ symketriv $\{\pm 1\}$-matrix.

It is clear chan
\overline{\Hv^{p}_{\alpha, \beta n}(n)}$. The next lemma is step the proof \[prop:structural\] and motivates statement, support of a $a=(a_1,\dots,a_n) \in \F_{p}^{n}$, by $\operatorname{supp}(a)$, refers to the set indices $i\in [n]$ such that $a_i \neq 0 \mod p$. \[lemma:eliminate-small-support\] Let $M_{n}$ an $n\times n$, $\{\pm 1\}$-valued symmetric matrix, chosen uniformly at random from among such Let \leq \leq n$ be an integer, and let $p$ be a prime. Let $\Sv^{p}_{\geq d, \beta n}(n)$ the event that every vector in $\F_{p}^{n}\setminus\{\operatorname{\textbf{0}}\}$ which orthogonal (over $\F_{p}$) to least $(1-\beta)n$ many rows of has of size least Suppose that $\beta \leq $d\leq n/2$, $p^{\beta n} \leq 2^{n/2}$, $p^{d} \leq 2^{n/8}$, $H(\beta) \leq 1/4$, and $H(d/n) \leq 1/16$ (where -x\log_{2}(x) - the binary function $x\in Then, $$\Pr_{M_n}\left[\overline{\Sv^{p}_{\geq d,\beta 2^{-n/16}.$$ The proof of this lemma following simple, yet powerful, observation. \[obs:inject-permutation\] Let $\Sigma$ an $n\times permutation matrix. Then, for a uniformly $n\times n$ symmetric $\{\pm 1\}$-matrix $M_n$, the random $\Sigma^{-1}M_n\Sigma$ is also a uniformly distributed $n\times n$ symmetric $\{\pm 1\}$-matrix. It is clear than
 \overline{\Hv^{p}_{\alpha, \beta n}(n)}$.

The Next lemma iS the fIrsT stEp TowaRds tHe proof of \[prop:sTRuctUral\] and motivates the subSequeNt DIscuSSiOn. In iTs stateMEnT, THe sUpPoRt oF a VEcTor $a=(a_1,\DotS,a_n) \in \F_{p}^{N}$, denoted by $\OpeRaTorname{supp}(a)$, REfErs to the seT of Indices $i\in [n]$ sUch That $a_i \NeQ 0 \moD P$.

\[lemmA:elIminaTe-smalL-SupporT\] Let $M_{n}$ be aN $n\TImes n$, $\{\pM 1\}$-Valued sYMMeTric Matrix, chosen unifoRMlY At random from amOng all SuCH mATRicEs. LEt $1 \leq d \leq n$ Be An intEGer, and lET $p$ BE A PriME. Let $\Sv^{p}_{\geq d, \beTa n}(n)$ denote tHE evEnt thaT eVerY Vector In $\F_{p}^{n}\SeTMinUs\{\operatornAme{\tExtbf{0}}\}$ whicH is ortHOgonal (oVEr $\F_{p}$) to aT least $(1-\BetA)n$ mAny rOWs Of $m_{n}$ hAs SUppORt Of sIZe aT least $d$. SUpPoSe furTher THAT $\Beta \Leq 1/2$, $D\leq N/2$, $p^{\betA n} \leq 2^{n/2}$, $p^{d} \leq 2^{n/8}$, $H(\BetA) \leq 1/4$, ANd $H(D/n) \leq 1/16$ (Where $h(x):= -x\lOg_{2}(X) - (1-x)\log_{2}(1-X)$ is the BinarY eNtropy function fOr $x\iN [0,1]$) Then, $$\Pr_{M_n}\LefT[\oVerLiNe{\Sv^{p}_{\GEq d,\betA n}(n)}\RigHt] \leq 2^{-n/16}.$$

THe proof OF thIs LEMMa Will use the followinG sIMPlE, yet poweRful, obSErVaTIon.

\[obs:inJeCt-pErmuTATion\] LEt $\SiGMa$ Be an $n\timEs n$ perMUtAtIon matrIx. then, foR a UniForMly raNDom $n\Times n$ SymmetriC $\{\pm 1\}$-maTRix $M_n$, the random MAtrix $\Sigma^{-1}M_n\SIGmA$ IS aLSo a uNifOrmly distriButeD $N\timEs n$ sYMmEtrIC $\{\pm 1\}$-maTrix.

IT iS ClEAr than
 \overline{\Hv^{p}_{\alpha , \beta n} (n)}$ .
The  n extlemm a is the first step  towards the proof of\[pro p: s truc t ur al\]and mot i va t e s t he  s ubs eq u en t dis cus sion. I n its stat eme nt , the suppor t  o f a vector  $a =(a_1,\dots, a_n ) \in\F _{p } ^{n}$ , d enote d by $ \ operat orname{su pp } (a)$,r efers t o th e se t of indices $i\i n  [ n ]$ such that $ a_i \n eq 0\ m odp$. 

\[lemma: el imina t e-small - su p p o rt\ ]  Let $M_{n}$be an $n\ti m esn$, $\ {\ pm1 \}$-va luedsy m met ric matrix,  cho sen unifo rmly a t  random from am ong al l s uch  mat r ic es . L et $1\ le q d \le q n$ bean  i ntege r, a n d l et $ p$be a  prim e. Let $\Sv^{ p}_ {\ge q  d,  \bet a n}( n)$de notethe ev ent t ha t every vectorin $ \F_{p}^{n }\s et min us \{\op e ratorn ame {\t extbf{0 }}\}$ w h ich  i s o rt hogonal (over $\F_ {p } $ )to at le ast $( 1 -\ be t a)n$ man yrow s of $ M_{n} $ ha s  s upport o f size at  l east $d $.  Suppo se  fu rth er th a t $\ beta \ leq 1/2$ , $d\ l eq n/2$, $p^{\ b eta n} \leq 2 ^ {n / 2 }$ ,  $p^ {d}  \leq 2^{n/ 8}$, $H(\ beta )  \ leq 1/4$,  and$H ( d/ n ) \leq 1/16$ (where  $ H(x):=  -x\l og_{2}(x) - ( 1-x)\log_{ 2 } ( 1-x)$ is  the bi n ary entropy fu nctio n for $x\i n  [0,1]$)  Then , $$\Pr_ {M_n}\lef t [ \overlin e{\ Sv^ {p} _{\ g e qd,\beta n}(n) } \ righ t]  \leq 2 ^{- n/16}.$ $
The  pr oof  o f this le mma will  u se  t he  fo llowi n g simple ,yet  p owe rful, observ ation .

\ [o bs : inj ect-per m ut a t ion\ ]Le t $\ Sig ma $ bean $ n \ti mes n$permutati onm atri x.  T hen, fo r a uniformly  r andom $n\t im esn$ sym m e tric $\{ \pm 1\}$-matrix $M_n$,t he rand ommatri x $\ Sigma^{-1 }M_ n\Sigm a$i s also  a uni forml ydis t r ibute d $n \ti me s n$ symme t r ic$\{\p m1\}$ -matrix .

It is clear tha n 
 \overline{\Hv^{p}_{\alpha,_\beta n}(n)}$.

The_next lemma is the_first step_towards_the proof_of_\[prop:structural\] and motivates_the subsequent discussion._In its statement, the_support of a_vector_$a=(a_1,\dots,a_n) \in \F_{p}^{n}$, denoted by $\operatorname{supp}(a)$, refers to the set of indices $i\in [n]$_such_that $a_i_\neq_0_\mod p$.

\[lemma:eliminate-small-support\] Let $M_{n}$ be_an $n\times n$, $\{\pm 1\}$-valued_symmetric matrix,_chosen uniformly at random from among all such_matrices._Let $1 \leq_d \leq n$ be an integer, and let $p$_be a prime. Let $\Sv^{p}_{\geq d,_\beta n}(n)$ denote_the_event_that every vector in_$\F_{p}^{n}\setminus\{\operatorname{\textbf{0}}\}$ which is orthogonal (over $\F_{p}$)_to at least $(1-\beta)n$ many rows_of $M_{n}$ has support of size at_least $d$. Suppose further that $\beta_\leq 1/2$, $d\leq n/2$, $p^{\beta_n} \leq_2^{n/2}$, $p^{d} \leq 2^{n/8}$, $H(\beta)_\leq 1/4$, and_$H(d/n) \leq_1/16$ (where $H(x):=_-x\log_{2}(x) - (1-x)\log_{2}(1-x)$ is the binary_entropy function for_$x\in [0,1]$) Then, $$\Pr_{M_n}\left[\overline{\Sv^{p}_{\geq d,\beta n}(n)}\right]_\leq_2^{-n/16}.$$

The proof of_this_lemma_will use_the following simple,_yet_powerful, observation.

\[obs:inject-permutation\]_Let_$\Sigma$ be an $n\times n$ permutation_matrix._Then, for a uniformly random $n\times n$_symmetric $\{\pm 1\}$-matrix $M_n$,_the_random matrix $\Sigma^{-1}M_n\Sigma$ is_also a uniformly distributed $n\times_n$ symmetric $\{\pm 1\}$-matrix.

It is clear_than