<p>The expansion of a graph <i>F</i>, denoted by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(F^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>F</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>, is the 3-graph obtained from <i>F</i> by adding a new vertex to each edge such that different edges receive different vertices. We establish a stability version of a theorem by Kostochka–Mubayi–Verstraëte (Kostochka et al in J Combin Theory Ser B 122:457–478, 2017) and demonstrate two applications of it by establishing tight upper bounds for large <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq2.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(n:\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>:</mo> </mrow> </math></EquationSource> </InlineEquation><UnorderedList Mark="Bullet"> <ItemContent> <p>The maximum number of edges in an <i>n</i>-vertex 3-graph that does not contain <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>T</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> for certain class <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation> of trees, thereby (partially) sharpening the asymptotic result of Kostochka–Mubayi–Verstraëte.</p> </ItemContent> <ItemContent> <p>The minimum number of colors needed to color the complete <i>n</i>-vertex 3-graph to ensure the existence of a rainbow copy of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(F^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>F</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> when <i>F</i> is a graph obtained from some tree <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(T\in {\mathcal {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>∈</mo> <mi mathvariant="script">T</mi> </mrow> </math></EquationSource> </InlineEquation> by adding a new edge, thereby extending anti-Ramsey results on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_{2t}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mrow> <mn>2</mn> <mi>t</mi> </mrow> <mn>3</mn> </msubsup> </math></EquationSource> </InlineEquation> by Gu–Li–Shi and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{2t}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mrow> <mn>2</mn> <mi>t</mi> </mrow> <mn>3</mn> </msubsup> </math></EquationSource> </InlineEquation> by Tang–Li–Yan.</p> </ItemContent> </UnorderedList> We introduce a framework that utilizes tools from Extremal Set Theory for solving certain generalized Turán problems. More specifically, we establish a parallel of the stability theorem above in generalized Turán problems. Using this stability theorem, we determine, for large <i>n</i>, the maximum number of triangles in an <i>n</i>-vertex graph that does not contain the shadow of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C_{k}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mrow> <mi>k</mi> </mrow> <mn>3</mn> </msubsup> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>T</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40304_2024_429_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(T\in {\mathcal {T}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>∈</mo> <mi mathvariant="script">T</mi> </mrow> </math></EquationSource> </InlineEquation>, thus answering a question of Lv et al. on generalized Turán problems.</p>

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

Exact Results for Some Extremal Problems on Expansions I

  • Xizhi Liu,
  • Jialei Song,
  • Long-Tu Yuan

摘要

The expansion of a graph F, denoted by \(F^3\) F 3 , is the 3-graph obtained from F by adding a new vertex to each edge such that different edges receive different vertices. We establish a stability version of a theorem by Kostochka–Mubayi–Verstraëte (Kostochka et al in J Combin Theory Ser B 122:457–478, 2017) and demonstrate two applications of it by establishing tight upper bounds for large \(n:\) n :

The maximum number of edges in an n-vertex 3-graph that does not contain \(T^3\) T 3 for certain class \({\mathcal {T}}\) T of trees, thereby (partially) sharpening the asymptotic result of Kostochka–Mubayi–Verstraëte.

The minimum number of colors needed to color the complete n-vertex 3-graph to ensure the existence of a rainbow copy of \(F^3\) F 3 when F is a graph obtained from some tree \(T\in {\mathcal {T}}\) T T by adding a new edge, thereby extending anti-Ramsey results on \(P_{2t}^3\) P 2 t 3 by Gu–Li–Shi and \(C_{2t}^3\) C 2 t 3 by Tang–Li–Yan.

We introduce a framework that utilizes tools from Extremal Set Theory for solving certain generalized Turán problems. More specifically, we establish a parallel of the stability theorem above in generalized Turán problems. Using this stability theorem, we determine, for large n, the maximum number of triangles in an n-vertex graph that does not contain the shadow of \(C_{k}^3\) C k 3 or \(T^3\) T 3 for \(T\in {\mathcal {T}}\) T T , thus answering a question of Lv et al. on generalized Turán problems.