<p>We prove that given a constant <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> </InlineEquation> and a large set system <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> of sets of size at most <i>w</i>, a typical <i>k</i>-tuple of sets <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\((S_1, \cdots, S_k)\)</EquationSource> </InlineEquation> from <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}\)</EquationSource> </InlineEquation> can be “blown up” in the following sense: for each <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="73" /> </InlineMediaObject> <EquationSource Format="TEX">\(1 \le i \le k\)</EquationSource> </InlineEquation>, we can find a large subfamily <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}_i\)</EquationSource> </InlineEquation> containing <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_i\)</EquationSource> </InlineEquation> so that for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(i \ne j\)</EquationSource> </InlineEquation>, if <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_i \in \mathcal {F}_i\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_j \in \mathcal {F}_j\)</EquationSource> </InlineEquation>, then <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="493_2025_163_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="124" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_i \cap T_j=S_i \cap S_j\)</EquationSource> </InlineEquation>. We also show that the answer to the multicolor version of the sunflower conjecture is the same as the answer for the original, up to an exponential factor.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Set System Blowups

  • Ryan Alweiss

摘要

We prove that given a constant \(k \ge 2\) and a large set system \(\mathcal {F}\) of sets of size at most w, a typical k-tuple of sets \((S_1, \cdots, S_k)\) from \(\mathcal {F}\) can be “blown up” in the following sense: for each \(1 \le i \le k\) , we can find a large subfamily \(\mathcal {F}_i\) containing \(S_i\) so that for \(i \ne j\) , if \(T_i \in \mathcal {F}_i\) and \(T_j \in \mathcal {F}_j\) , then \(T_i \cap T_j=S_i \cap S_j\) . We also show that the answer to the multicolor version of the sunflower conjecture is the same as the answer for the original, up to an exponential factor.