 small $c>0$ such that the following is satisfied for all $n\geq 1$:

\(i) $v^2>c$ and $$\begin{aligned}
    \label{Var}
    \sigma_S^2 \equiv \text{Var}_\mathscr{F}\left( \frac{1}{\sqrt{n}}\sum_{i \in N} q_{i,S}\right) > c.
    \end{aligned}$$

\(ii) $\frac{1}{n}\sum_{i \in N}|N(i)| > c$ and $\frac{1}{n}\sum_{j \in N}|N_O(j)| > c$, where $N_O(j)$ denotes the out-neighborhood of $j$, i.e., $N_O(j) = \{i \in N: ij \in E\}$.

\(iii) There exists $C>0$ such that for all $i \in N$, $|N(i)| + |N_O(i)| \le C$, for all $n \ge 1$.

Assumptions \[assump: non deg\](i)-(ii) are conditions that ensure nondegeneracy of the distribution of the test statistics and moment conditions. Assumption \[assump: non deg\](iii) is a bounded degree assumption. This assumption ensures that the graph $G$ is sufficiently sparse. We can relax this assumption with a more complex form of conditions and proofs, but this relaxation provides little additional insights.

\[assump: consistency\] For some sequence $\omega_n \rightarrow 0$ such that $\sqrt{n}\omega_n^2 \rightarrow 0$, $$\begin{aligned}
    \label{consistency}
    \max_{j \in N} |\hat \mu_{j,0,S} - \mu_{j,0,S}| &=& O_P(\omega_n), \text{ for all } S \subset \mathbb{S}, \text{ and }\\ \notag
    \max_{i \in N} |\hat \mu_{i,1} - \mu_{i,1}| &=& O_P(\omega_n).
    \end{aligned}$$

Assumption \[assump: consistency\] requires a certain rate of convergence for the estimators. Since our covariates are all discrete, the rate of convergence is typically
small $ c>0 $ such that the following is satisfied for all $ n\geq 1 $: 

 \(i) $ v^2 > c$ and $ $ \begin{aligned } 
     \label{Var } 
     \sigma_S^2 \equiv \text{Var}_\mathscr{F}\left (\frac{1}{\sqrt{n}}\sum_{i \in N } q_{i, S}\right) > c. 
     \end{aligned}$$ 

 \(ii) $ \frac{1}{n}\sum_{i \in N}|N(i)| > c$ and $ \frac{1}{n}\sum_{j \in N}|N_O(j)| > c$, where $ N_O(j)$ denotes the out - vicinity of $ j$, i.e., $ N_O(j) = \{i \in N: ij \in E\}$. 

 \(iii) There exist $ C>0 $ such that for all $ i \in N$, $ |N(i)| + |N_O(i)| \le C$, for all $ n \ge 1$. 

 Assumptions \[assump: non deg\](i)-(ii) are conditions that ensure nondegeneracy of the distribution of the test statistic and moment conditions. Assumption \[assump: non deg\](iii) is a jump degree assumption. This premise ensures that the graph $ G$ is sufficiently sparse. We can relax this presumption with a more complex form of conditions and validation, but this liberalization provides little additional insights. 

 \[assump: consistency\ ] For some sequence $ \omega_n \rightarrow 0 $ such that $ \sqrt{n}\omega_n^2 \rightarrow 0 $, $ $ \begin{aligned } 
     \label{consistency } 
     \max_{j \in N } |\hat \mu_{j,0,S } - \mu_{j,0,S}| & = & O_P(\omega_n), \text { for all } S \subset \mathbb{S }, \text { and } \\ \notag 
     \max_{i \in N } |\hat \mu_{i,1 } - \mu_{i,1}| & = & O_P(\omega_n). 
     \end{aligned}$$ 

 Assumption \[assump: consistency\ ] necessitate a certain rate of convergence for the calculator. Since our covariates are all discrete, the rate of overlap is typically
 smwll $c>0$ such that the folluwing is satisfnwd for all $n\feq 1$:

\(i) $v^2>c$ and $$\begin{aligned}
    \label{Vac}
    \sigmq_S^2 \equiv \text{Var}_\mathscf{F}\left( \frwc{1}{\sqrt{n}}\sym_{i \mn N} q_{i,S}\right) > c.
    \end{aligned}$$

\(jl) $\frae{1}{n}\wum_{i \in N}|N(i)| > c$ and $\frac{1}{n}\vum_{j \in N}|N_O(j)| > w$, dhzre $N_O(j)$ denotes the out-neighborhood jf $j$, i.e., $N_L(j) = \{i \in N: ij \yn E\}$.

\(piy) Thsge exists $C>0$ such that for all $i \in N$, $|N(p)| + |N_O(i)| \le C$, for akl $n \ge 1$.

Assumptions \[assump: non deg\](i)-(ii) are conditlons that ebsurq nondegenerazy of the distribution of the test statistics and momdnt cpnditions. Qswumojion \[assump: ion ded\](iii) is a bommded dagree axsumption. This asvumption ensures that thx graph $G$ is sufficigntly sparve. We can relax thiw qssumktion witf a oort cpmllex flrm of conditjons and priofs, but this relaxstyin provides ljttle wdqitional insights.

\[assump: consistency\] For soje sequence $\omega_n \righrarrow 0$ such that $\sqrj{n}\omega_n^2 \ryghtarrow 0$, $$\begin{aligned}
    \label{consistency}
    \maf_{j \in V} |\hcb \oy_{j,0,D} - \mu_{j,0,S}| &=& O_P(\omega_n), \text{ for all } S \subset \mathfg{S}, \tvxt{ and }\\ \notag
    \max_{i \in N} |\nah \ko_{i,1} - \mu_{i,1}| &=& O_P(\omeea_n).
    \ens{aligned}$$

Assumption \[assump: consustency\] rtquirrs a certain rate of convertence for thv esrimators. Since our covariates are all ciscrete, the rate of couvergehce is typifally
small $c>0$ such that the following is all 1$: \(i) and $$\begin{aligned} \label{Var} N} > c. \end{aligned}$$ $\frac{1}{n}\sum_{i \in N}|N(i)| c$ and $\frac{1}{n}\sum_{j \in N}|N_O(j)| > where $N_O(j)$ denotes the out-neighborhood of $j$, i.e., $N_O(j) = \{i \in N: \in E\}$. \(iii) There exists $C>0$ such that for all $i \in N$, + \le for $n \ge 1$. Assumptions \[assump: non deg\](i)-(ii) are conditions that ensure nondegeneracy of the distribution of test statistics and moment conditions. Assumption \[assump: non is a bounded degree This assumption ensures that the $G$ sufficiently sparse. can this with a more form of conditions and proofs, but this relaxation provides little additional insights. \[assump: consistency\] For some sequence \rightarrow 0$ $\sqrt{n}\omega_n^2 \rightarrow $$\begin{aligned} \max_{j N} |\hat \mu_{j,0,S} &=& O_P(\omega_n), \text{ for all } \text{ and }\\ \notag \max_{i \in N} |\hat - \mu_{i,1}| O_P(\omega_n). \end{aligned}$$ Assumption \[assump: consistency\] requires certain rate of convergence for the estimators. Since covariates are all discrete, the rate of convergence is typically
 small $c>0$ such that the followinG is satisfiEd for All $N\geQ 1$:

\(i) $V^2>c$ anD $$\begIn{aligned}
    \label{vAr}
    \siGma_S^2 \equiv \text{Var}_\mathscR{F}\lefT( \fRAc{1}{\sqRT{n}}\Sum_{i \iN N} q_{i,S}\riGHt) > C.
    \ENd{aLiGnEd}$$

\(iI) $\fRAc{1}{N}\sum_{i \In N}|n(i)| > c$ and $\fRac{1}{n}\sum_{j \in n}|N_O(J)| > c$, Where $N_O(j)$ denoTEs The out-neigHboRhood of $j$, i.e., $N_O(J) = \{i \iN N: ij \in e\}$.

\(iIi) THEre exIstS $C>0$ sucH that fOR all $i \iN N$, $|N(i)| + |N_O(i)| \le c$, fOR all $n \gE 1$.

assumptIONs \[AssuMp: non deg\](i)-(ii) are conDItIOns that ensure nOndegeNeRAcY OF thE diStribution Of The teST statisTIcS AND moMEnt conditions. assumption \[aSSumP: non deG\](iIi) iS A boundEd degReE AssUmption. This AssuMption ensUres thAT the graPH $G$ is sufFicienTly SpaRse. WE CaN rElaX tHIs aSSuMptIOn wIth a more CoMpLex foRm of CONDItioNs aNd prOofs, bUt this relaxatIon ProvIDes LittlE addiTionAl InsigHts.

\[assUmp: coNsIstency\] For some sEqueNce $\omega_n \RigHtArrOw 0$ Such tHAt $\sqrt{N}\omEga_N^2 \rightaRrow 0$, $$\begIN{alIgNED}
    \LaBel{consistency}
    \max_{j \In n} |\HAt \Mu_{j,0,S} - \mu_{j,0,S}| &=& o_P(\omegA_N), \tExT{ For all } S \sUbSet \MathBB{s}, \text{ And }\\ \nOTaG
    \max_{i \in N} |\Hat \mu_{i,1} - \MU_{i,1}| &=& o_P(\Omega_n).
    \eNd{AligneD}$$

ASsuMptIon \[asSUmp: cOnsistEncy\] requIres a CErtain rate of coNVergence for thE EsTIMaTOrs. SIncE our covariaTes aRE all DiscREtE, thE Rate oF convErGEnCE is typically
 small $c>0$ such that the  following  is s ati sfi ed  for  all  $n\geq 1$:

\ ( i) $ v^2>c$ and $$\begin{al igned }   \ l ab el{Va r}
   \ si g m a_S ^2  \ equ iv \t ext{V ar} _\maths cr{F}\left ( \ fr ac{1}{\sqrt{ n }} \sum_{i \i n N } q_{i,S}\ri ght ) > c. 
  \ end{a lig ned}$ $

\(i i ) $\fr ac{1}{n}\ su m _{i \i n  N}|N(i ) |  >  c$and $\frac{1}{n}\ s um _ {j \in N}|N_O( j)| >c$ ,  w h e re$N_ O(j)$ deno te s the out-nei g hb o r h ood of $j$, i.e.,  $N_O(j) =\ {i\in N:  i j \ i n E\}$ .

\( ii i ) T here exists  $C> 0$ such t hat fo r  all $i \in N$,  $|N(i )|+ | N_O( i )|  \ leC$ ,  fo r  a ll$ n \ ge 1$.
As su mptio ns \ [ a s s ump:  no n de g\](i )-(ii) are co ndi tion s  th at en surenond eg enera cy ofthe d is tribution of th e te st statis tic sand  m oment condit ion s.Assumpt ion \[a s sum p: n o ndeg\](iii) is a bo un d e ddegree a ssumpt i on .T his assu mp tio n en s u res t hatt he  graph $ G$ iss uf fi ciently  s parse.  W e c anrelax this  assum ption wi th am ore complex fo r m of conditio n sa n dp roof s,but this re laxa t ionprov i de s l i ttleaddit io n al insights.

\[assump :consis tency \] For some s equence $\ o m e ga_n \ri ghta r ro w  0$ such that$\sqr t{n}\omega _ n^2 \rig htarr ow 0$, $ $\begin{a l i gned}
   \ lab el{ con s i st ency}
    \ma x _ {j \ in  N} |\h at\mu_{j, 0,S } -  \m u_{ j, 0,S}| &=&  O_P(\om eg a_ n) ,\te xt{ f o r all }S\su bs et\math b b{S},\text { an d}\ \  \n otag
  \ m a x_{i  \ in  N}|\h at  \mu_ {i,1 }  -\mu_{i, 1}| &=& O _P( \ omeg a_ n) .
    \ end{aligned}$ $
Assumptio n\[a ssump: c onsisten cy\] requires a certain rate of  co nverg ence  for theest imator s.S ince o ur cov ariat es  ar e all d i s cr ete ,the rate o f con verge nc e is  typica lly
 small_$c>0$ such_that the following is_satisfied for_all_$n\geq 1$:

\(i)_$v^2>c$_and $$\begin{aligned}
 _  \label{Var}
_   \sigma_S^2_\equiv \text{Var}_\mathscr{F}\left( \frac{1}{\sqrt{n}}\sum_{i_\in_N} q_{i,S}\right) > c.
    \end{aligned}$$

\(ii) $\frac{1}{n}\sum_{i \in N}|N(i)| > c$ and_$\frac{1}{n}\sum_{j_\in N}|N_O(j)|_>_c$,_where $N_O(j)$ denotes the out-neighborhood_of $j$, i.e., $N_O(j) =_\{i \in_N: ij \in E\}$.

\(iii) There exists $C>0$ such_that_for all $i_\in N$, $|N(i)| + |N_O(i)| \le C$, for all_$n \ge 1$.

Assumptions \[assump: non deg\](i)-(ii)_are conditions that_ensure_nondegeneracy_of the distribution of_the test statistics and moment conditions._Assumption \[assump: non deg\](iii) is a_bounded degree assumption. This assumption ensures that_the graph $G$ is sufficiently sparse._We can relax this assumption_with a_more complex form of conditions_and proofs, but_this relaxation_provides little additional_insights.

\[assump: consistency\] For some sequence $\omega_n_\rightarrow 0$ such_that $\sqrt{n}\omega_n^2 \rightarrow 0$, $$\begin{aligned}
 __ \label{consistency}
 ___\max_{j \in_N} |\hat \mu_{j,0,S}_-_\mu_{j,0,S}| &=&_O_P(\omega_n),_\text{ for all } S \subset_\mathbb{S},_\text{ and }\\ \notag
   _\max_{i \in N} |\hat_\mu_{i,1}_- \mu_{i,1}| &=& O_P(\omega_n).
_   \end{aligned}$$

Assumption \[assump:_consistency\] requires a certain rate of_convergence for_the estimators._Since our covariates are all discrete, the rate of convergence is_typically