首页 > 最新文献

Discrete Mathematics最新文献

英文 中文
A power sum expansion for the Kromatic symmetric function 罗曼对称函数的幂和展开式
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-18 DOI: 10.1016/j.disc.2025.114957
Laura Pierson
<div><div>The <em><strong>chromatic symmetric function</strong></em> <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span> is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley <span><span>[7]</span></span>. Stanley <span><span>[7]</span></span> gave an expansion formula for <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span> in terms of the <em><strong>power sum symmetric functions</strong></em> <span><math><msub><mrow><mi>p</mi></mrow><mrow><mi>λ</mi></mrow></msub></math></span> using the principle of inclusion-exclusion, and Bernardi and Nadeau <span><span>[1]</span></span> gave an alternate <em>p</em>-expansion for <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span> in terms of acyclic orientations. Crew, Pechenik, and Spirkl <span><span>[3]</span></span> defined the <em><strong>Kromatic symmetric function</strong></em> <span><math><msub><mrow><mover><mrow><mi>X</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>G</mi></mrow></msub></math></span> as a <em>K</em>-theoretic analogue of <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>G</mi></mrow></msub></math></span>, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a <em>K</em>-analogue <span><math><msub><mrow><mover><mrow><mi>p</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>λ</mi></mrow></msub></math></span> of the power sum basis and computed the first few coefficients of the <span><math><mover><mrow><mi>p</mi></mrow><mo>‾</mo></mover></math></span>-expansion of <span><math><msub><mrow><mover><mrow><mi>X</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>G</mi></mrow></msub></math></span> for some small graphs <em>G</em>. They conjectured that the <span><math><mover><mrow><mi>p</mi></mrow><mo>‾</mo></mover></math></span>-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the <span><math><mover><mrow><mi>p</mi></mrow><mo>‾</mo></mover></math></span>-expansion of <span><math><msub><mrow><mover><mrow><mi>X</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>G</mi></mrow></msub></math></span>, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper <span><span>[6]</span></span>, we use our formula from this note to give a combinatorial description of the <span><math><mover><mrow><mi>p</mi></mrow><mo>‾</mo></mover></math></span>-coefficients <span><math><mo>[</mo><msub><mrow><mover><mrow><mi>p</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>λ</mi></mrow></msub><mo>]</mo><msub><mrow><mover><mrow><mi>X</mi></mrow><mo>‾</mo></mover></mrow><mrow><mi>G</mi></mrow></msub></math></span> and a simple characterization of their signs in the case of unweighted graphs.</
色对称函数XG是由Stanley[7]引入的图的色多项式的对称函数推广。Stanley[7]利用包含-排斥原理给出了XG在幂和对称函数pλ下的展开式,Bernardi和Nadeau[1]给出了XG在无环取向下的另一个p展开式。Crew, Pechenik和Spirkl[3]定义了矩阵对称函数X - G作为XG的k理论模拟,以相同的方式构造,除了每个顶点被分配一个非空的颜色集,以便相邻的顶点具有不重叠的颜色集。他们定义了一个幂和基的k -模拟p - λ,并计算了一些小图形G的X - G的p -展开的前几个系数。他们推测p -展开总是有整数系数,并问这些系数是否有一个显式公式。在这篇文章中,我们给出了X - G的p -展开的一个公式,展示了两种递归计算系数的方法(以及例子),并且证明了系数确实总是整数。在最近的一篇论文[6]中,我们使用本笔记中的公式给出了p -系数[p - λ]X - G的组合描述,并在无加权图的情况下给出了它们的符号的简单表征。
{"title":"A power sum expansion for the Kromatic symmetric function","authors":"Laura Pierson","doi":"10.1016/j.disc.2025.114957","DOIUrl":"10.1016/j.disc.2025.114957","url":null,"abstract":"&lt;div&gt;&lt;div&gt;The &lt;em&gt;&lt;strong&gt;chromatic symmetric function&lt;/strong&gt;&lt;/em&gt; &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley &lt;span&gt;&lt;span&gt;[7]&lt;/span&gt;&lt;/span&gt;. Stanley &lt;span&gt;&lt;span&gt;[7]&lt;/span&gt;&lt;/span&gt; gave an expansion formula for &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; in terms of the &lt;em&gt;&lt;strong&gt;power sum symmetric functions&lt;/strong&gt;&lt;/em&gt; &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; using the principle of inclusion-exclusion, and Bernardi and Nadeau &lt;span&gt;&lt;span&gt;[1]&lt;/span&gt;&lt;/span&gt; gave an alternate &lt;em&gt;p&lt;/em&gt;-expansion for &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; in terms of acyclic orientations. Crew, Pechenik, and Spirkl &lt;span&gt;&lt;span&gt;[3]&lt;/span&gt;&lt;/span&gt; defined the &lt;em&gt;&lt;strong&gt;Kromatic symmetric function&lt;/strong&gt;&lt;/em&gt; &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; as a &lt;em&gt;K&lt;/em&gt;-theoretic analogue of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a &lt;em&gt;K&lt;/em&gt;-analogue &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; of the power sum basis and computed the first few coefficients of the &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt;-expansion of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; for some small graphs &lt;em&gt;G&lt;/em&gt;. They conjectured that the &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt;-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt;-expansion of &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt;, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper &lt;span&gt;&lt;span&gt;[6]&lt;/span&gt;&lt;/span&gt;, we use our formula from this note to give a combinatorial description of the &lt;span&gt;&lt;math&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/math&gt;&lt;/span&gt;-coefficients &lt;span&gt;&lt;math&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;p&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;λ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mover&gt;&lt;mrow&gt;&lt;mi&gt;X&lt;/mi&gt;&lt;/mrow&gt;&lt;mo&gt;‾&lt;/mo&gt;&lt;/mover&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; and a simple characterization of their signs in the case of unweighted graphs.&lt;/","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114957"},"PeriodicalIF":0.7,"publicationDate":"2025-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An improved bound for equitable proper labellings 公平正确标签的改进界
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-18 DOI: 10.1016/j.disc.2025.114956
Julien Bensmail , Clara Marcille
For every graph G with size m and no connected component isomorphic to K2, we prove that, for L=(1,1,2,2,,m/2+2,m/2+2), we can assign labels of L to the edges of G in an injective way so that no two adjacent vertices of G are incident to the same sum of labels. This implies that every such graph with size m can be labelled in an equitable and proper way with labels from {1,,m/2+2}, which improves on a result proved by Haslegrave, and Szabo Lyngsie and Zhong, implying this can be achieved with labels from {1,,m}.
对于每一个大小为m且无连通分量同构于K2的图G,我们证明,对于L=(1,1,2,2,…,⌊m/2⌋+2,⌊m/2⌋+2),我们可以将L的标记以内射的方式分配给G的边,使得G的两个相邻顶点不隶属于相同的标记和。这意味着每一个大小为m的图都可以用{1,…,⌊m/2⌋+2}的标签来合理地标记,这改进了Haslegrave、Szabo Lyngsie和Zhong证明的结果,表明这可以用{1,…,m}的标签来实现。
{"title":"An improved bound for equitable proper labellings","authors":"Julien Bensmail ,&nbsp;Clara Marcille","doi":"10.1016/j.disc.2025.114956","DOIUrl":"10.1016/j.disc.2025.114956","url":null,"abstract":"<div><div>For every graph <em>G</em> with size <em>m</em> and no connected component isomorphic to <span><math><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>, we prove that, for <span><math><mi>L</mi><mo>=</mo><mo>(</mo><mn>1</mn><mo>,</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>…</mo><mo>,</mo><mo>⌊</mo><mi>m</mi><mo>/</mo><mn>2</mn><mo>⌋</mo><mo>+</mo><mn>2</mn><mo>,</mo><mo>⌊</mo><mi>m</mi><mo>/</mo><mn>2</mn><mo>⌋</mo><mo>+</mo><mn>2</mn><mo>)</mo></math></span>, we can assign labels of <em>L</em> to the edges of <em>G</em> in an injective way so that no two adjacent vertices of <em>G</em> are incident to the same sum of labels. This implies that every such graph with size <em>m</em> can be labelled in an equitable and proper way with labels from <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mo>⌊</mo><mi>m</mi><mo>/</mo><mn>2</mn><mo>⌋</mo><mo>+</mo><mn>2</mn><mo>}</mo></math></span>, which improves on a result proved by Haslegrave, and Szabo Lyngsie and Zhong, implying this can be achieved with labels from <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>m</mi><mo>}</mo></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114956"},"PeriodicalIF":0.7,"publicationDate":"2025-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798383","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A study on token digraphs 符号有向图的研究
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-18 DOI: 10.1016/j.disc.2025.114951
Cristina G. Fernandes , Carla N. Lintzmayer , Juan P. Peña , Giovanne Santos , Ana Trujillo-Negrete , Jose Zamora
For a digraph D of order n and an integer 1kn1, the k-token digraph of D is the digraph whose vertices are all k-subsets of vertices of D and, given two such k-subsets A and B, (A,B) is an arc in the k-token digraph whenever {a}=AB, {b}=BA, and there is an arc (a,b) in D. Token digraphs are a generalization of token graphs. In this paper, we study some properties of token digraphs, including strong and unilateral connectivity, kernels, girth, circumference, and Eulerianity. We also extend some known results on the clique and chromatic numbers of k-token graphs, addressing the bidirected clique number and dichromatic number of k-token digraphs. Additionally, we prove that determining whether 2-token digraphs have a kernel is NP-complete.
对于n阶有向图D和整数1≤k≤n−1,D的k- Token有向图是顶点都是D顶点的k个子集的有向图,并且给定两个这样的k-子集a和B, (a, B)是k- Token有向图中的一个弧,当{a}= a∈B, {B}=B∈a,且D中存在一个弧(a, B)时,Token有向图是Token图的推广。本文研究了令牌有向图的一些性质,包括强连通性和单侧连通性、核、周长、周长和欧拉性。我们还推广了关于k-令牌图的团数和色数的一些已知结果,讨论了k-令牌有向图的双向团数和二色数。另外,我们证明了判定2-令牌有向图是否有核是np完全的。
{"title":"A study on token digraphs","authors":"Cristina G. Fernandes ,&nbsp;Carla N. Lintzmayer ,&nbsp;Juan P. Peña ,&nbsp;Giovanne Santos ,&nbsp;Ana Trujillo-Negrete ,&nbsp;Jose Zamora","doi":"10.1016/j.disc.2025.114951","DOIUrl":"10.1016/j.disc.2025.114951","url":null,"abstract":"<div><div>For a digraph <em>D</em> of order <em>n</em> and an integer <span><math><mn>1</mn><mo>≤</mo><mi>k</mi><mo>≤</mo><mi>n</mi><mo>−</mo><mn>1</mn></math></span>, the <em>k-token digraph</em> of <em>D</em> is the digraph whose vertices are all <em>k</em>-subsets of vertices of <em>D</em> and, given two such <em>k</em>-subsets <em>A</em> and <em>B</em>, <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>)</mo></math></span> is an arc in the <em>k</em>-token digraph whenever <span><math><mo>{</mo><mi>a</mi><mo>}</mo><mo>=</mo><mi>A</mi><mo>∖</mo><mi>B</mi></math></span>, <span><math><mo>{</mo><mi>b</mi><mo>}</mo><mo>=</mo><mi>B</mi><mo>∖</mo><mi>A</mi></math></span>, and there is an arc <span><math><mo>(</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>)</mo></math></span> in <em>D</em>. Token digraphs are a generalization of token graphs. In this paper, we study some properties of token digraphs, including strong and unilateral connectivity, kernels, girth, circumference, and Eulerianity. We also extend some known results on the clique and chromatic numbers of <em>k</em>-token graphs, addressing the bidirected clique number and dichromatic number of <em>k</em>-token digraphs. Additionally, we prove that determining whether 2-token digraphs have a kernel is <span>NP</span>-complete.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114951"},"PeriodicalIF":0.7,"publicationDate":"2025-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Some new Bollobás-type inequalities 一些新的Bollobás-type不等式
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-17 DOI: 10.1016/j.disc.2025.114948
Erfei Yue
<div><div>A family of disjoint pairs of finite sets <span><math><mi>P</mi><mo>=</mo><mo>{</mo><mo>(</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo><mo>|</mo><mi>i</mi><mo>∈</mo><mo>[</mo><mi>m</mi><mo>]</mo><mo>}</mo></math></span> is called a Bollobás system if <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∩</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>≠</mo><mo>∅</mo></math></span> for every <span><math><mi>i</mi><mo>≠</mo><mi>j</mi></math></span>, and a skew Bollobás system if <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∩</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>≠</mo><mo>∅</mo></math></span> for every <span><math><mi>i</mi><mo><</mo><mi>j</mi></math></span>. Bollobás proved that for a Bollobás system, the inequality<span><span><span><math><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msup><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>+</mo><mo>|</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mtd></mtr><mtr><mtd><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mtd></mtr></mtable><mo>)</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>⩽</mo><mn>1</mn></math></span></span></span> holds. Hegedüs and Frankl proved that for a skew Bollobás system, we have<span><span><span><math><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msup><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>+</mo><mo>|</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mtd></mtr><mtr><mtd><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo></mrow></mtd></mtr></mtable><mo>)</mo></mrow><mrow><mo>−</mo><mn>1</mn></mrow></msup><mo>⩽</mo><mn>1</mn><mo>+</mo><mi>n</mi><mo>,</mo></math></span></span></span> provided <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>,</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>⊆</mo><mo>[</mo><mi>n</mi><mo>]</mo></math></span>. In this paper, we improve this inequality to<span><span><span><math><munderover><mo>∑</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>m</mi></mrow></munderover><msup><mrow><mo>(</mo><mo>(</mo><mn>1</mn><mo>+</mo><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>+</mo><mo>|</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>)</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mo>|</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>|</mo><mo>+</mo><mo>|</mo><msub><mrow><mi>B</mi></mrow><mrow><mi>i</mi>
如果Ai∩Bj≠∅对于每一个i≠j,则一组不相交的有限集对P={(Ai,Bi)|i∈[m]}称为Bollobás系统,如果Ai∩Bj≠∅对于每一个i<;j,则称为一个倾斜Bollobás系统。Bollobás证明了对于一个Bollobás系统,不等式∑i=1m(|Ai|+|Bi||Ai|)−1≤1成立。heged s和Frankl证明了对于一个歪斜Bollobás系统,在给定Ai、Bi的条件下,有∑i=1m(|Ai|+|Bi||Ai|)−1≤1+n。本文利用概率方法将该不等式改进为∑i=1m((1+|Ai|+|Bi|)(|Ai|+|Bi||Ai|))−1≤1。我们还将这一结果推广到对称和偏态情况下的集合划分。
{"title":"Some new Bollobás-type inequalities","authors":"Erfei Yue","doi":"10.1016/j.disc.2025.114948","DOIUrl":"10.1016/j.disc.2025.114948","url":null,"abstract":"&lt;div&gt;&lt;div&gt;A family of disjoint pairs of finite sets &lt;span&gt;&lt;math&gt;&lt;mi&gt;P&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; is called a Bollobás system if &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;∩&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;≠&lt;/mo&gt;&lt;mo&gt;∅&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; for every &lt;span&gt;&lt;math&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;≠&lt;/mo&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;, and a skew Bollobás system if &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;∩&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;≠&lt;/mo&gt;&lt;mo&gt;∅&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; for every &lt;span&gt;&lt;math&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;mi&gt;j&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. Bollobás proved that for a Bollobás system, the inequality&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;math&gt;&lt;munderover&gt;&lt;mo&gt;∑&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/munderover&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mtable&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mtd&gt;&lt;/mtr&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mtd&gt;&lt;/mtr&gt;&lt;/mtable&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;⩽&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt; holds. Hegedüs and Frankl proved that for a skew Bollobás system, we have&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;math&gt;&lt;munderover&gt;&lt;mo&gt;∑&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/munderover&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mtable&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mtd&gt;&lt;/mtr&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;/mrow&gt;&lt;/mtd&gt;&lt;/mtr&gt;&lt;/mtable&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;⩽&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;&lt;/span&gt;&lt;/span&gt; provided &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;⊆&lt;/mo&gt;&lt;mo&gt;[&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;]&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. In this paper, we improve this inequality to&lt;span&gt;&lt;span&gt;&lt;span&gt;&lt;math&gt;&lt;munderover&gt;&lt;mo&gt;∑&lt;/mo&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;/mrow&gt;&lt;/munderover&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mtable&gt;&lt;mtr&gt;&lt;mtd&gt;&lt;mrow&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;A&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;B&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114948"},"PeriodicalIF":0.7,"publicationDate":"2025-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798255","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The vertex-face chromatic number of almost all nonorientable surfaces 几乎所有不可定向曲面的顶点面色数
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-17 DOI: 10.1016/j.disc.2025.114950
Vladimir P. Korzhik
The vertex-face chromatic number χvf(Nq) of a nonorientable surface Nq of genus q is the minimum integer m such that the vertices and faces of any map on the surface can be colored by m colors in such a way that adjacent or incident elements receive distinct colors. The known upper bound Φ(Nq) on χvf(Nq) differs from Ringel's upper bound on the 1-chromatic number of nonorientable surfaces.
The results are as follows:
  • (i)
    There is a constant A>0 such that for any qA, Φ(Nq)1χvf(Nq)Φ(Nq).
  • (ii)
    Let x be an integer and let P(x) be the number of values of q in the interval [1,x] such that χvf(Nq)=Φ(Nq). Then limxP(x)/x=1.
不可定向曲面Nq的顶点面色数χvf(Nq)是最小整数m,使得曲面上任何地图的顶点和面都可以用m种颜色着色,从而使相邻或相关元素获得不同的颜色。已知的χvf(Nq)上界Φ(Nq)不同于不可定向曲面1色数上的Ringel上界。结果如下:(i)存在一个常数A>;0,使得对于任意q≥a, Φ(Nq)−1≤χvf(Nq)≤Φ(Nq)。(ii)设x为整数,设P(x)为区间[1,x]中使χvf(Nq)=Φ(Nq)的q值的个数。然后limx→∞⁡P (x) / x = 1。
{"title":"The vertex-face chromatic number of almost all nonorientable surfaces","authors":"Vladimir P. Korzhik","doi":"10.1016/j.disc.2025.114950","DOIUrl":"10.1016/j.disc.2025.114950","url":null,"abstract":"<div><div>The vertex-face chromatic number <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> of a nonorientable surface <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span> of genus <em>q</em> is the minimum integer <em>m</em> such that the vertices and faces of any map on the surface can be colored by <em>m</em> colors in such a way that adjacent or incident elements receive distinct colors. The known upper bound <span><math><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> on <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> differs from Ringel's upper bound on the 1-chromatic number of nonorientable surfaces.</div><div>The results are as follows:<ul><li><span>(<em>i</em>)</span><span><div>There is a constant <span><math><mi>A</mi><mo>&gt;</mo><mn>0</mn></math></span> such that for any <span><math><mi>q</mi><mo>≥</mo><mi>A</mi></math></span>, <span><math><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>−</mo><mn>1</mn><mo>≤</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>≤</mo><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>.</div></span></li><li><span><span><math><mo>(</mo><mi>i</mi><mi>i</mi><mo>)</mo></math></span></span><span><div>Let <em>x</em> be an integer and let <span><math><mi>P</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> be the number of values of <em>q</em> in the interval <span><math><mo>[</mo><mn>1</mn><mo>,</mo><mi>x</mi><mo>]</mo></math></span> such that <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>. Then <span><math><msub><mrow><mi>lim</mi></mrow><mrow><mi>x</mi><mo>→</mo><mo>∞</mo></mrow></msub><mo>⁡</mo><mi>P</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>/</mo><mi>x</mi><mo>=</mo><mn>1</mn></math></span>.</div></span></li></ul></div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114950"},"PeriodicalIF":0.7,"publicationDate":"2025-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145796746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On asymptotically tight bound for the conflict-free chromatic index of nearly regular graphs 近正则图无冲突色指标的渐近紧界
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-15 DOI: 10.1016/j.disc.2025.114945
Mateusz Kamyczura, Jakub Przybyło
Let G be a graph of maximum degree Δ which does not contain isolated vertices. An edge coloring c of G is called conflict-free if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such c is called the conflict-free chromatic index of G and denoted χCF(G). It is known that in general χCF(G)3log2Δ+1, while there is a family of graphs, e.g. the complete graphs, for which χCF(G)(1o(1))log2Δ. In the present paper we provide the asymptotically tight upper bound χCF(G)log2Δ+O(log2log2Δ)=(1+o(1))log2Δ for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph G=G(n,p) whenever pnε for any fixed constant ε(0,1). Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound.
设G是一个最大度的图Δ,它不包含孤立的顶点。如果每条边的封闭邻域包含一个唯一的着色元素,则称为无冲突边。允许这种c的颜色的最少数量称为G的无冲突色指数,并表示为χCF ' (G)。众所周知,一般情况下,χCF ' (G)≤3≤≤log2²Δ²+1,而有一类图,例如完整图,其中χCF ' (G)大于或等于(1−0 (1))log2²Δ。本文给出了正则图和近正则图的渐近紧上界χCF′(G)≤log2 (Δ+O(log2)log2 (Δ)=(1+ O(1))log2 (Δ),特别表明对于任意固定常数ε∈(0,1),当p≠n−ε时,对于随机图G=G(n,p),同样的上界也成立。我们的证明是概率性的,并且利用了Hall和Berge的经典结果。这是受到我们在完全图的特殊情况下所使用的方法的启发,我们给出了一个更具体的上界。
{"title":"On asymptotically tight bound for the conflict-free chromatic index of nearly regular graphs","authors":"Mateusz Kamyczura,&nbsp;Jakub Przybyło","doi":"10.1016/j.disc.2025.114945","DOIUrl":"10.1016/j.disc.2025.114945","url":null,"abstract":"<div><div>Let <em>G</em> be a graph of maximum degree Δ which does not contain isolated vertices. An edge coloring <em>c</em> of <em>G</em> is called <em>conflict-free</em> if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such <em>c</em> is called the <em>conflict-free chromatic index</em> of <em>G</em> and denoted <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. It is known that in general <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩽</mo><mn>3</mn><mo>⌈</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi><mo>⌉</mo><mo>+</mo><mn>1</mn></math></span>, while there is a family of graphs, e.g. the complete graphs, for which <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩾</mo><mo>(</mo><mn>1</mn><mo>−</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi></math></span>. In the present paper we provide the asymptotically tight upper bound <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩽</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi><mo>+</mo><mi>O</mi><mo>(</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi><mo>)</mo><mo>=</mo><mo>(</mo><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>Δ</mi></math></span> for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo></math></span> whenever <span><math><mi>p</mi><mo>≫</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>ε</mi></mrow></msup></math></span> for any fixed constant <span><math><mi>ε</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>. Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114945"},"PeriodicalIF":0.7,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145796675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A generalization of Bender's q-Vandermonde sum 本德q-Vandermonde和的推广
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-15 DOI: 10.1016/j.disc.2025.114917
J.G. Bradley-Thrush
A one-parameter generalization is obtained for the non-terminating version of Bender's generalized q-Vandermonde sum. This formula includes the ϕ56 summation as a special case. Another special case is interpreted combinatorially and given a bijective proof.
得到了Bender广义q-Vandermonde和的非终止型的一个单参数推广。该公式包括作为特殊情况的求和。对另一种特殊情况作了组合解释,并给出了客观证明。
{"title":"A generalization of Bender's q-Vandermonde sum","authors":"J.G. Bradley-Thrush","doi":"10.1016/j.disc.2025.114917","DOIUrl":"10.1016/j.disc.2025.114917","url":null,"abstract":"<div><div>A one-parameter generalization is obtained for the non-terminating version of Bender's generalized <em>q</em>-Vandermonde sum. This formula includes the <span><math><mmultiscripts><mrow><mi>ϕ</mi></mrow><mrow><mn>5</mn></mrow><none></none><mprescripts></mprescripts><mrow><mn>6</mn></mrow><none></none></mmultiscripts></math></span> summation as a special case. Another special case is interpreted combinatorially and given a bijective proof.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114917"},"PeriodicalIF":0.7,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Degree sum conditions for optimal 3-restricted arc-connected digraphs 最优3约束圆弧连通有向图的度和条件
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-15 DOI: 10.1016/j.disc.2025.114946
Shuaijun Liu, Shangwei Lin, Lin Yang
The k-restricted arc-connectivity of digraphs, as a generalization of the arc-connectivity, is an important index to measure the reliability of directed networks. An arc subset S of a strongly connected digraph D is a k-restricted arc-cut if DS has a strong component D1 with order at least k such that DV(D1) contains a connected subdigraph with order k. The k-restricted arc-connectivity λk(D) of the digraph D is the minimum cardinality over all k-restricted arc-cuts of D. In this paper, we present a degree sum condition for a strongly connected digraph to be optimal in terms of 3-restricted arc-connectivity, and give an example to show that the lower bound on the degree sum in this result is sharp.
有向图的k限制弧连通性是对有向网络可靠性的一种推广,是衡量有向网络可靠性的重要指标。如果D−S具有至少k阶的强分量D1,使得D−V(D1)包含一个k阶的连通子有向图,则强连通有向图D的一个弧子集S是一个k限制弧切。有向图D的k限制弧连通性λk(D)是D的所有k限制弧切上的最小cardinality。本文给出了强连通有向图在3限制弧连通性方面最优的一个度和条件。并举例说明该结果的阶和下界是明显的。
{"title":"Degree sum conditions for optimal 3-restricted arc-connected digraphs","authors":"Shuaijun Liu,&nbsp;Shangwei Lin,&nbsp;Lin Yang","doi":"10.1016/j.disc.2025.114946","DOIUrl":"10.1016/j.disc.2025.114946","url":null,"abstract":"<div><div>The <em>k</em>-restricted arc-connectivity of digraphs, as a generalization of the arc-connectivity, is an important index to measure the reliability of directed networks. An arc subset <em>S</em> of a strongly connected digraph <em>D</em> is a <em>k</em>-restricted arc-cut if <span><math><mi>D</mi><mo>−</mo><mi>S</mi></math></span> has a strong component <span><math><msub><mrow><mi>D</mi></mrow><mrow><mn>1</mn></mrow></msub></math></span> with order at least <em>k</em> such that <span><math><mi>D</mi><mo>−</mo><mi>V</mi><mo>(</mo><msub><mrow><mi>D</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>)</mo></math></span> contains a connected subdigraph with order <em>k</em>. The <em>k</em>-restricted arc-connectivity <span><math><msup><mrow><mi>λ</mi></mrow><mrow><mi>k</mi></mrow></msup><mo>(</mo><mi>D</mi><mo>)</mo></math></span> of the digraph <em>D</em> is the minimum cardinality over all <em>k</em>-restricted arc-cuts of <em>D</em>. In this paper, we present a degree sum condition for a strongly connected digraph to be optimal in terms of 3-restricted arc-connectivity, and give an example to show that the lower bound on the degree sum in this result is sharp.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114946"},"PeriodicalIF":0.7,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798328","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Pebbling Cartesian products of C5 C5的卵石笛卡尔积
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-15 DOI: 10.1016/j.disc.2025.114943
David S. Herscovici
We imagine a distribution of pebbles on the vertices of a connected graph. Chung defined a pebbling move as the removal of two pebbles from some vertex and the addition of a pebble to an adjacent vertex. Then the pebbling number of a graph G is the smallest number π(G) such that every distribution of π(G) pebbles allows one pebble to reach any specified, but arbitrary vertex. Graham conjectured that π(GH)π(G)π(H) for all connected graphs G and H. We show that the pebbling number of C5G satisfies π(C5G)5π(G) for any connected graph G that satisfies the odd two-pebbling property. In particular, π(C5C5C5)=125.
我们想象在连通图的顶点上有一个鹅卵石的分布。Chung将鹅卵石移动定义为从某个顶点移除两个鹅卵石,并在相邻顶点添加一个鹅卵石。那么图G的鹅卵石数是最小的数π(G),使得π(G)鹅卵石的每个分布都允许一个鹅卵石到达任意指定的顶点。Graham推测对于所有连通图G和H, π(G□H)≤π(G)π(H)。我们证明了对于任何满足奇双铺砾性质的连通图G, C5□G的铺砾数满足π(C5□G)≤5π(G)。其中,π(C5□C5□C5)=125。
{"title":"Pebbling Cartesian products of C5","authors":"David S. Herscovici","doi":"10.1016/j.disc.2025.114943","DOIUrl":"10.1016/j.disc.2025.114943","url":null,"abstract":"<div><div>We imagine a distribution of pebbles on the vertices of a connected graph. Chung defined a <em>pebbling move</em> as the removal of two pebbles from some vertex and the addition of a pebble to an adjacent vertex. Then the <em>pebbling number</em> of a graph <em>G</em> is the smallest number <span><math><mi>π</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that every distribution of <span><math><mi>π</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> pebbles allows one pebble to reach any specified, but arbitrary vertex. Graham conjectured that <span><math><mi>π</mi><mo>(</mo><mi>G</mi><mo>□</mo><mi>H</mi><mo>)</mo><mo>≤</mo><mi>π</mi><mo>(</mo><mi>G</mi><mo>)</mo><mi>π</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> for all connected graphs <em>G</em> and <em>H</em>. We show that the pebbling number of <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>□</mo><mi>G</mi></math></span> satisfies <span><math><mi>π</mi><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>□</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mn>5</mn><mi>π</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> for any connected graph <em>G</em> that satisfies the odd two-pebbling property. In particular, <span><math><mi>π</mi><mo>(</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>□</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>□</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>)</mo><mo>=</mo><mn>125</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114943"},"PeriodicalIF":0.7,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798326","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Periodic points of consecutive-pattern-avoiding stack-sorting maps 避免连续模式的堆栈排序映射的周期点
IF 0.7 3区 数学 Q2 MATHEMATICS Pub Date : 2025-12-15 DOI: 10.1016/j.disc.2025.114947
Ilaria Seidel , Nathan Sun
West's stack-sorting map involves a stack which avoids the permutation 21 consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map SCσ, where the stack avoids a given permutation σ consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to SCσ. Specifically, we show that the periodic points of SCσ are precisely the permutations that consecutively avoid σ and its reverse.
韦斯特的堆栈排序映射包含一个避免连续排列21的堆栈。Defant和Zheng将其推广到避免连续模式的堆栈排序映射SCσ,其中堆栈连续避免给定排列σ。我们讨论了Defant和Zheng在他们的SCσ动力学方法中提出的一个主要猜想。具体地说,我们证明了SCσ的周期点正是连续避开σ及其逆的排列。
{"title":"Periodic points of consecutive-pattern-avoiding stack-sorting maps","authors":"Ilaria Seidel ,&nbsp;Nathan Sun","doi":"10.1016/j.disc.2025.114947","DOIUrl":"10.1016/j.disc.2025.114947","url":null,"abstract":"<div><div>West's stack-sorting map involves a stack which avoids the permutation 21 consecutively. Defant and Zheng extended this to a consecutive-pattern-avoiding stack-sorting map <span><math><mi>S</mi><msub><mrow><mi>C</mi></mrow><mrow><mi>σ</mi></mrow></msub></math></span>, where the stack avoids a given permutation <em>σ</em> consecutively. We address one of the main conjectures raised by Defant and Zheng in their dynamical approach to <span><math><mi>S</mi><msub><mrow><mi>C</mi></mrow><mrow><mi>σ</mi></mrow></msub></math></span>. Specifically, we show that the periodic points of <span><math><mi>S</mi><msub><mrow><mi>C</mi></mrow><mrow><mi>σ</mi></mrow></msub></math></span> are precisely the permutations that consecutively avoid <em>σ</em> and its reverse.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114947"},"PeriodicalIF":0.7,"publicationDate":"2025-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145798257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Discrete Mathematics
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1