<p>An <i>n</i>-vertex graph is <i>degree 3-critical</i> if it has <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(2n - 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following:<UnorderedList Mark="Bullet"> <ItemContent> <p>every <i>n</i>-vertex degree 3-critical graph has <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\Omega (\log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> distinct cycle lengths;</p> </ItemContent> <ItemContent> <p>every tree with maximum degree <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Delta \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> leaves has at least <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\log _{\Delta -1}\, ((\Delta -2)\ell )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>log</mo> <mrow> <mi mathvariant="normal">Δ</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">(</mo> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Δ</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> <mi>ℓ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> distinct leaf-to-leaf path lengths;</p> </ItemContent> <ItemContent> <p>for every integer <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(N\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, there exist arbitrarily large 1–3 trees which have <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(O(N^{0.91})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mi>N</mi> <mrow> <mn>0.91</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> distinct leaf-to-leaf path lengths smaller than <i>N</i>, and, conversely, every 1–3 tree on at least <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(2^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation> vertices has <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\Omega (N^{2/3})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">(</mo> <msup> <mi>N</mi> <mrow> <mn>2</mn> <mo stretchy="false">/</mo> <mn>3</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> distinct leaf-to-leaf path lengths smaller than <i>N</i>.</p> </ItemContent> </UnorderedList> Several of our proofs rely on purely combinatorial means, while others exploit a connection to an additive problem that might be of independent interest.</p>

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

Leaf-to-leaf paths and cycles in degree-critical graphs

  • Francesco Di Braccio,
  • Kyriakos Katsamaktsis,
  • Jie Ma,
  • Alexandru Malekshahian,
  • Ziyuan Zhao

摘要

An n-vertex graph is degree 3-critical if it has \(2n - 2\) 2 n - 2 edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following:

every n-vertex degree 3-critical graph has \(\Omega (\log n)\) Ω ( log n ) distinct cycle lengths;

every tree with maximum degree \(\Delta \ge 3\) Δ 3 and \(\ell \) leaves has at least \(\log _{\Delta -1}\, ((\Delta -2)\ell )\) log Δ - 1 ( ( Δ - 2 ) ) distinct leaf-to-leaf path lengths;

for every integer \(N\ge 1\) N 1 , there exist arbitrarily large 1–3 trees which have \(O(N^{0.91})\) O ( N 0.91 ) distinct leaf-to-leaf path lengths smaller than N, and, conversely, every 1–3 tree on at least \(2^N\) 2 N vertices has \(\Omega (N^{2/3})\) Ω ( N 2 / 3 ) distinct leaf-to-leaf path lengths smaller than N.

Several of our proofs rely on purely combinatorial means, while others exploit a connection to an additive problem that might be of independent interest.