<p>In this paper, we address the following problem due to Frankl and Füredi (Discrete Math 50:323–328, 1984). What is the maximum number of hyperedges in an <i>r</i>-uniform hypergraph with <i>n</i> vertices, such that every set of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2916_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(r+1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>+</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> vertices contains 0 or exactly 2 hyperedges? They solved this problem for <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2916_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. For <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2916_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(r=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>, a partial solution is given by Gunderson and Semeraro (J Comb Theory B 126:114–136, 2017). Assuming the existence of skew-symmetric conference matrices for every order divisible by 4, we give a solution for <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="373_2025_2916_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\equiv 0,3\pmod {4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≡</mo> <mn>0</mn> <mo>,</mo> <mn>3</mn> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mn>4</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We obtain these results by constructing 4-uniform hypergraphs via the diamonds of a tournament. Such a tournament is called the realization of the hypergraph. In this paper, we show that the problem of determining whether a 4-uniform hypergraph is realizable, can be reduced to the problem of deciding whether a 3-uniform hypergraph is realizable by the 3-cycles of a tournament.</p>

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

Diamonds and 4-uniform hypergraphs

  • Wiam Belkouche,
  • Abderrahim Boussaïri,
  • Soufiane Lakhlifi

摘要

In this paper, we address the following problem due to Frankl and Füredi (Discrete Math 50:323–328, 1984). What is the maximum number of hyperedges in an r-uniform hypergraph with n vertices, such that every set of \(r+1\) r + 1 vertices contains 0 or exactly 2 hyperedges? They solved this problem for \(r=3\) r = 3 . For \(r=4\) r = 4 , a partial solution is given by Gunderson and Semeraro (J Comb Theory B 126:114–136, 2017). Assuming the existence of skew-symmetric conference matrices for every order divisible by 4, we give a solution for \(n\equiv 0,3\pmod {4}\) n 0 , 3 ( mod 4 ) . We obtain these results by constructing 4-uniform hypergraphs via the diamonds of a tournament. Such a tournament is called the realization of the hypergraph. In this paper, we show that the problem of determining whether a 4-uniform hypergraph is realizable, can be reduced to the problem of deciding whether a 3-uniform hypergraph is realizable by the 3-cycles of a tournament.