<p>The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted <i>P</i>(<i>G</i>,&#xa0;<i>k</i>), it equals the number of proper <i>k</i>-colorings of graph <i>G</i>. Enumerative analogues of the chromatic polynomial of a graph have been introduced for two well-studied generalizations of ordinary coloring, namely, list colorings: <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(P_{\ell }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation>, the list color function (1990); and DP colorings: <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(P_{DP}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, the DP color function (2019), and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(P^*_{DP}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> <mo>∗</mo> </msubsup> </math></EquationSource> </InlineEquation>, the dual DP color function (2021). For any graph <i>G</i> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(k \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(P_{DP}(G, k) \le P_\ell (G,k) \le P(G,k) \le P_{DP}^*(G,k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msub> <mi>P</mi> <mi>ℓ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msubsup> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In 2000, Dong settled a conjecture of Bartels and Welsh from 1995 known as the <i>Shameful Conjecture</i> by proving that for any <i>n</i>-vertex graph <i>G</i>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(P(G,k+1)/(k+1)^n \ge P(G,k)/k^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mo>≥</mo> <mi>P</mi> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>k</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(k \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(k \ge n-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In contrast, for infinitely many positive integers <i>n</i>, Seymour (1997) gave an example of an <i>n</i>-vertex graph for which the above inequality does not hold for some <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(k = \Theta (n/ \log n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mi mathvariant="normal">Θ</mi> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">/</mo> <mo>log</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we consider analogues of Dong’s result for list and DP color functions. Specifically, in contrast to the chromatic polynomial, we prove that for any <i>n</i>-vertex graph <i>G</i>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(P_{\ell }(G,k+1)/(k+1)^n \ge P_{\ell }(G,k)/k^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>ℓ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mo>≥</mo> <msub> <mi>P</mi> <mi>ℓ</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>k</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(P_{DP}(G,k+1)/(k+1)^n \ge P_{DP}(G,k)/k^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mo>≥</mo> <msub> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>k</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(k \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>. For the dual DP analogue of these inequalities, we show that there is a graph <i>G</i> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(k \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(P_{DP}^*(G,k+1)/(k+1)^n &lt; P_{DP}^*(G,k)/k^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mo>&lt;</mo> <msubsup> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>k</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, and we prove <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(P_{DP}^*(G,k+1)/(k+1)^n \ge P_{DP}^*(G,k)/k^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mi>n</mi> </msup> <mo>≥</mo> <msubsup> <mi>P</mi> <mrow> <mi mathvariant="italic">DP</mi> </mrow> <mo>∗</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <msup> <mi>k</mi> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(k \in \mathbb {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(k \ge n-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> when <i>G</i> is an <i>n</i>-vertex complete bipartite graph.</p>

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

Shameful Inequalities for List and DP Coloring of Graphs

  • Hemanshu Kaul,
  • Jeffrey A. Mudrock,
  • Gunjan Sharma

摘要

The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted P(Gk), it equals the number of proper k-colorings of graph G. Enumerative analogues of the chromatic polynomial of a graph have been introduced for two well-studied generalizations of ordinary coloring, namely, list colorings: \(P_{\ell }\) P , the list color function (1990); and DP colorings: \(P_{DP}\) P DP , the DP color function (2019), and \(P^*_{DP}\) P DP , the dual DP color function (2021). For any graph G and \(k \in \mathbb {N}\) k N , \(P_{DP}(G, k) \le P_\ell (G,k) \le P(G,k) \le P_{DP}^*(G,k)\) P DP ( G , k ) P ( G , k ) P ( G , k ) P DP ( G , k ) . In 2000, Dong settled a conjecture of Bartels and Welsh from 1995 known as the Shameful Conjecture by proving that for any n-vertex graph G, \(P(G,k+1)/(k+1)^n \ge P(G,k)/k^n\) P ( G , k + 1 ) / ( k + 1 ) n P ( G , k ) / k n for all \(k \in \mathbb {N}\) k N satisfying \(k \ge n-1\) k n - 1 . In contrast, for infinitely many positive integers n, Seymour (1997) gave an example of an n-vertex graph for which the above inequality does not hold for some \(k = \Theta (n/ \log n)\) k = Θ ( n / log n ) . In this paper, we consider analogues of Dong’s result for list and DP color functions. Specifically, in contrast to the chromatic polynomial, we prove that for any n-vertex graph G, \(P_{\ell }(G,k+1)/(k+1)^n \ge P_{\ell }(G,k)/k^n\) P ( G , k + 1 ) / ( k + 1 ) n P ( G , k ) / k n and \(P_{DP}(G,k+1)/(k+1)^n \ge P_{DP}(G,k)/k^n\) P DP ( G , k + 1 ) / ( k + 1 ) n P DP ( G , k ) / k n for all \(k \in \mathbb {N}\) k N . For the dual DP analogue of these inequalities, we show that there is a graph G and \(k \in \mathbb {N}\) k N such that \(P_{DP}^*(G,k+1)/(k+1)^n < P_{DP}^*(G,k)/k^n\) P DP ( G , k + 1 ) / ( k + 1 ) n < P DP ( G , k ) / k n , and we prove \(P_{DP}^*(G,k+1)/(k+1)^n \ge P_{DP}^*(G,k)/k^n\) P DP ( G , k + 1 ) / ( k + 1 ) n P DP ( G , k ) / k n for all \(k \in \mathbb {N}\) k N satisfying \(k \ge n-1\) k n - 1 when G is an n-vertex complete bipartite graph.