 with respect to some element (which also implies [@Scho]). Miklos [@Mikl] (and later Wang [@Wang]) verified the conjecture for $\cH$ satisfying $\i(\cH)\ge |\cH|/2$, and Stein [@Stei] verified it for those $\cH$ having $m$ maximal sets, every $m-1$ of which form a sunflower. Most recently, Borg [@Borg] solved a weighted generalization of [@Snev].\
In this paper, we prove Conjecture \[chvatal\] for $\cH\sse \binom{[n]}{\leq 3}$. We also prove a slightly weaker result, one that makes an additional assumption on the size of the maximum intersecting family in $\cH$. The advantage of this assumption is that the proof becomes significantly simpler, and the technique, which employs the famous Sunflower Lemma of Erdős and Rado, could potentially be extended for downsets containing larger subsets.

Main Results {#main-results.unnumbered}
------------

We verify Conjecture \[chvatal\] for all downsets consisting of sets of size at most $3$.

\[completechvatal\] Let $\cH\subseteq \binom{[n]}{\le 3}$ be a downset. Then $\cH$ is EKR. Moreover $\cH$ is strictly EKR, unless one of the following holds.

1.  \[case:1\] There is a subset $K\in\binom{[n]}{4}$ such that

    -   $\binom{K}{3}\subseteq \cH$,

    -   for all $H\in\cH $, $H\subseteq K$ or $K\cap H=\emptyset$, and

    -   the largest star in $\cH$ has size $7$.

2.  \[case:2\] There are subsets $K\in\binom{[n]}{3}$ and (possibly empty) $M\sse [n]\setminus K$, and a subfamily $\cZ=\binom{K}{2}\cup\{Z\in\binom{K\cup M}{3}\mid |Z\cap K|=2 \}\sse\cH$ such that either

    -   $K\notin\cH$ and the largest star in $\cH$ has size $|\cZ|=3|M|+3$, or
with respect to some element (which also implies [ @Scho ]). Miklos [ @Mikl ] (and subsequently Wang [ @Wang ]) verify the conjecture for $ \cH$ satisfying $ \i(\cH)\ge |\cH|/2 $, and Stein [ @Stei ] verified it for those $ \cH$ have $ m$ maximal sets, every $ m-1 $ of which form a sunflower. about recently, Borg [ @Borg ] solved a weighted generalization of [ @Snev].\ 
 In this composition, we prove Conjecture \[chvatal\ ] for $ \cH\sse \binom{[n]}{\leq 3}$. We also raise a slightly weaker solution, one that make an additional assumption on the size of the maximum intersect family in $ \cH$. The advantage of this assumption is that the proof become significantly simpler, and the proficiency, which employs the celebrated Sunflower Lemma of Erdős and Rado, could potentially be extended for downsets containing larger subsets. 

 Main Results { # main-results.unnumbered } 
 ------------ 

 We verify Conjecture \[chvatal\ ] for all downsets consist of sets of size at most $ 3$. 

 \[completechvatal\ ] Let $ \cH\subseteq \binom{[n]}{\le 3}$ be a downset. Then $ \cH$ is EKR. Moreover $ \cH$ is strictly EKR, unless one of the following holds. 

 1.   \[case:1\ ] There is a subset $ K\in\binom{[n]}{4}$ such that 

     -    $ \binom{K}{3}\subseteq \cH$, 

     -    for all $ H\in\cH $, $ H\subseteq K$ or $ K\cap H=\emptyset$, and 

     -    the largest star in $ \cH$ has size $ 7$. 

 2.   \[case:2\ ] There are subsets $ K\in\binom{[n]}{3}$ and (possibly empty) $ M\sse [ n]\setminus K$, and a subfamily $ \cZ=\binom{K}{2}\cup\{Z\in\binom{K\cup M}{3}\mid |Z\cap K|=2 \}\sse\cH$ such that either 

     -    $ K\notin\cH$ and the largest star in $ \cH$ has size $ |\cZ|=3|M|+3 $, or
 wihh respect to some elemekt (which also imklues [@Scio]). Miklks [@Mikl] (xnd later Wang [@Wang]) verified tye cobjecture for $\cH$ satisfhing $\i(\cH)\gv |\cH|/2$, and Wteii [@Stei] verified mf for tmjse $\dM$ havnnj $m$ maximal setx, every $m-1$ mf which form d ruuflower. Most recently, Borg [@Borg] solvqd a weogjted generalizwtiom of [@Anev].\
In this paper, we prove Conjecthre \[chvetal\] for $\cH\sse \ninom{[n]}{\leq 3}$. We also prove a slihhtly weaker resulh, one that nakef an additionxl assumptpmn on the aize of the maximum intersectine famnly in $\cH$. Tye adgdntage of tiis asfumption is bnat tha proof becomes signinicanvly wimpler, and the technmque, which employs tre famous Sbnflower Lemma of Erdőw qnd Rddo, woula pogenuiaklg be edteided for dosnsets contqining larger subseus.

Mwpm Results {#majn-resujtf.unnumbered}
------------

We verify Conjecture \[chvatal\] fod all downsets consistibg of sets of size at most $3$.

\[com[letechvatal\] Let $\cH\subseteq \binom{[n]}{\le 3}$ be a downsed. Thei $\zH$ nw EKR. Nogeover $\cH$ is strictly EKR, unless one of the fjmlpwpng holds.

1.  \[case:1\] Tmere is a subset $K\on\himjm{[n]}{4}$ such that

    -   $\bihom{K}{3}\subseteq \cH$,

    -   for all $Y\in\cH $, $H\stbseyeq K$ or $K\cap H=\emptyset$, and

    -   the lcrgwst star in $\cH$ has size $7$.

2.  \[casz:2\] Therg are xubsets $K\in\binom{[n]}{3}$ and (pussigly empty) $M\dse [n]\setmjvus K$, and a subfxmiky $\cZ=\binom{K}{2}\cup\{Z\in\binom{K\cup M}{3}\iid |Z\cap J|=2 \}\ssz\cH$ such thaj eithew

    -   $K\nltin\cM$ and the largest shar iu $\cH$ vas size $|\cX|=3|M|+3$, or
with respect to some element (which also Miklos (and later [@Wang]) verified the |\cH|/2$, Stein [@Stei] verified for those $\cH$ $m$ maximal sets, every $m-1$ of form a sunflower. Most recently, Borg [@Borg] solved a weighted generalization of [@Snev].\ this paper, we prove Conjecture \[chvatal\] for $\cH\sse \binom{[n]}{\leq 3}$. We also prove slightly result, that an additional assumption on the size of the maximum intersecting family in $\cH$. The advantage of assumption is that the proof becomes significantly simpler, the technique, which employs famous Sunflower Lemma of Erdős Rado, potentially be for containing subsets. Main Results ------------ We verify Conjecture \[chvatal\] for all downsets consisting of sets of size at most $3$. \[completechvatal\] $\cH\subseteq \binom{[n]}{\le a downset. $\cH$ EKR. $\cH$ is strictly one of the following holds. 1. a subset $K\in\binom{[n]}{4}$ such that - $\binom{K}{3}\subseteq \cH$, for all $, $H\subseteq K$ or $K\cap H=\emptyset$, - the largest star in $\cH$ has size 2. \[case:2\] There are subsets $K\in\binom{[n]}{3}$ and (possibly empty) $M\sse [n]\setminus K$, and a subfamily |Z\cap K|=2 \}\sse\cH$ such either - $K\notin\cH$ the star $\cH$ size $|\cZ|=3|M|+3$,
 with respect to some element (wHich also imPlies [@schO]). MiKlOs [@MiKl] (anD later Wang [@Wang]) VErifIed the conjecture for $\cH$ sAtisfYiNG $\i(\cH)\GE |\ch|/2$, and STein [@SteI] VeRIFieD iT fOr tHoSE $\ch$ haviNg $m$ Maximal Sets, every $m-1$ Of wHiCh form a sunflOWeR. Most recenTly, borg [@Borg] solvEd a WeightEd GenERalizAtiOn of [@SNev].\
In tHIs papeR, we prove COnJEcture \[CHvatal\] fOR $\CH\Sse \bInom{[n]}{\leq 3}$. We also proVE a SLightly weaker rEsult, oNe THaT MAkeS an Additional AsSumptIOn on the SIzE OF The MAximum interseCting family IN $\cH$. the advAnTagE Of this AssumPtIOn iS that the proOf beComes signIficanTLy simplER, and the TechniQue, WhiCh emPLoYs The FaMOus sUnFloWEr LEmma of ErDőS aNd RadO, couLD POTentIalLy be ExtenDed for downsetS coNtaiNIng LargeR subsEts.

MAiN ResuLts {#maiN-resuLtS.unnumbered}
------------

We veRify conjecturE \[chVaTal\] FoR all dOWnsets ConSisTing of sEts of siZE at MoST $3$.

\[COmPletechvatal\] Let $\cH\sUbSETeQ \binom{[n]}{\lE 3}$ be a doWNsEt. tHen $\cH$ is EkR. morEoveR $\Ch$ is stRictLY EkR, unless One of tHE fOlLowing hOlDs.

1.  \[case:1\] thEre Is a SubseT $k\in\bInom{[n]}{4}$ sUch that

    -   $\bInom{K}{3}\SUbseteq \cH$,

    -   for alL $h\in\cH $, $H\subseteQ k$ oR $k\CaP h=\empTysEt$, and

    -   the larGest STar iN $\cH$ hAS sIze $7$.

2.  \[CAse:2\] ThEre arE sUBsETs $K\in\binom{[n]}{3}$ and (possiBlY empty) $m\sse [n]\Setminus K$, and a Subfamily $\cz=\BINom{K}{2}\cup\{Z\In\biNOm{k\Cup M}{3}\mid |Z\cap K|=2 \}\ssE\cH$ suCh that eithER

    -   $K\notin\ch$ and tHe largesT star in $\cH$ HAS size $|\cZ|=3|M|+3$, Or
 with respect to some elem ent (which  also  im pli es  [@S cho] ). Miklos [@Mi k l] ( and later Wang [@Wang] ) ver if i ed t h econje cture f o r$ \ cH$  s at isf yi n g$\i(\ cH) \ge |\c H|/2$, and  St ei n [@Stei] ve r if ied it for  th ose $\cH$ ha vin g $m$ma xim a l set s,every  $m-1$ of whi ch form a  s u nflowe r . Mostr e ce ntly , Borg [@Borg] so l ve d  a weighted ge nerali za t io n of[@S nev].\
Inth is pa p er, wep ro v e Con j ecture \[chva tal\] for $ \ cH\ sse \b in om{ [ n]}{\l eq 3} $. Wealso provea sl ightly we aker r e sult, o n e thatmakesanadd itio n al  a ssu mp t ion on  th e  si ze of th ema ximum  int e r s e ctin g f amil y in$\cH$. The ad van tage ofthisassum ptio nis th at the  proo fbecomes signifi cant ly simple r,an d t he  tech n ique,whi chemploys  the fa m ous  S u n f lo wer Lemma of Erdős  a n d  R ado, cou ld pot e nt ia l ly be ex te nde d fo r downs etsc on taininglarger su bs ets.

M ai n Resu lt s { #ma in-re s ults .unnum bered}
- ----- - -----

We veri f y Conjecture\ [c h v at a l\]for  all downse ts c o nsis ting of  se t s ofsizeat mo s t $3$.

\[completec hv atal\]  Let$\cH\subseteq  \binom{[n ] } { \le 3}$be a do w nset. Then $\c H$ is  EKR. More o ver $\cH $ isstrictly  EKR, unl e s s one of  th e f oll owi n g  h olds.

1.  \[ c a se:1 \]  Thereisa subse t $ K\i n\b ino m{ [n]}{4}$such tha t
  -   $\bin o m{K}{3}\ su bse te q \ cH$,    -  for  all  $ H\ i n\c H $, $H \ su b s eteq  K $or $ K\c ap  H=\e mpty s et$ , and
    -   t hel arge st  s tar in$\cH$ has siz e$7$.

2. \[ cas e:2\]T h ere aresubsets $K\in\binom{[n] } {3}$ an d ( possi blyempty) $M \ss e [n]\ set m inus K $, and  a su bf ami l y  $\cZ = \ bi nom {K }{2}\cup\{ Z \ in\ binom {K \cup  M}{3}\ mid |Z\cap K|=2 \} \ sse \cH$ such tha t e ithe r 
  -  $K\ no t in\ c H $ and the large st star in  $ \ cH $ has size $|\ cZ |=3|M|+ 3$, or
 with_respect to_some element (which also_implies [@Scho])._Miklos_[@Mikl] (and_later_Wang [@Wang]) verified_the conjecture for_$\cH$ satisfying $\i(\cH)\ge |\cH|/2$,_and Stein [@Stei]_verified_it for those $\cH$ having $m$ maximal sets, every $m-1$ of which form a_sunflower._Most recently,_Borg_[@Borg]_solved a weighted generalization of_[@Snev].\
In this paper, we prove_Conjecture \[chvatal\]_for $\cH\sse \binom{[n]}{\leq 3}$. We also prove a_slightly_weaker result, one_that makes an additional assumption on the size of_the maximum intersecting family in $\cH$._The advantage of_this_assumption_is that the proof_becomes significantly simpler, and the technique,_which employs the famous Sunflower Lemma_of Erdős and Rado, could potentially be_extended for downsets containing larger subsets.

Main_Results {#main-results.unnumbered}
------------

We verify Conjecture \[chvatal\]_for all_downsets consisting of sets of_size at most_$3$.

\[completechvatal\] Let_$\cH\subseteq \binom{[n]}{\le 3}$_be a downset. Then $\cH$ is_EKR. Moreover $\cH$_is strictly EKR, unless one of_the_following holds.

1. _\[case:1\]_There_is a_subset $K\in\binom{[n]}{4}$ such_that

_ __-   $\binom{K}{3}\subseteq \cH$,

 __ -   for all $H\in\cH_$, $H\subseteq K$ or_$K\cap_H=\emptyset$, and

  _ -   the_largest star in $\cH$ has size_$7$.

2. _\[case:2\] There_are subsets $K\in\binom{[n]}{3}$ and (possibly empty) $M\sse [n]\setminus K$, and a_subfamily $\cZ=\binom{K}{2}\cup\{Z\in\binom{K\cup M}{3}\mid |Z\cap K|=2 \}\sse\cH$_such that either

 _ _-_  $K\notin\cH$_and_the largest_star in $\cH$ has size $|\cZ|=3|M|+3$, or