Pub Date : 2024-09-26DOI: 10.1016/j.disc.2024.114271
In the vertex colouring game on a graph G, Maker and Breaker alternately colour vertices of G from a palette of k colours, with no two adjacent vertices allowed the same colour. Maker seeks to colour the whole graph while Breaker seeks to make some vertex impossible to colour. The game chromatic number of G, , is the minimum number k of colours for which Maker has a winning strategy for the vertex colouring game.
Matsumoto proved in 2019 that , and conjectured that the only equality cases are some graphs of small order and the Turán graph . We resolve this conjecture in the affirmative by considering a modification of the vertex colouring game wherein Breaker may remove a vertex instead of colouring it.
Matsumoto further asked whether a similar result could be proved for the vertex marking game, and we provide an example to show that no such nontrivial result can exist.
在图 G 的顶点着色游戏中,制造者和破坏者交替从 k 种颜色中为 G 的顶点着色,相邻两个顶点不能着相同的颜色。制造者希望给整个图着色,而破坏者则希望让某个顶点无法着色。松本在 2019 年证明了χg(G)-χ(G)≤⌊n/2⌋-1,并猜想唯一相等的情况是一些小阶图和图兰图 T(2r,r)。我们考虑了顶点着色博弈的一种修改,即破坏者可以移除一个顶点而不是给它着色,从而肯定地解决了这一猜想。松本进一步询问是否可以为顶点标记博弈证明类似的结果,我们举例说明不可能存在这种非难结果。
{"title":"On graphs with maximum difference between game chromatic number and chromatic number","authors":"","doi":"10.1016/j.disc.2024.114271","DOIUrl":"10.1016/j.disc.2024.114271","url":null,"abstract":"<div><div>In the vertex colouring game on a graph <em>G</em>, Maker and Breaker alternately colour vertices of <em>G</em> from a palette of <em>k</em> colours, with no two adjacent vertices allowed the same colour. Maker seeks to colour the whole graph while Breaker seeks to make some vertex impossible to colour. The game chromatic number of <em>G</em>, <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mtext>g</mtext></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is the minimum number <em>k</em> of colours for which Maker has a winning strategy for the vertex colouring game.</div><div>Matsumoto proved in 2019 that <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mtext>g</mtext></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>−</mo><mi>χ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mo>⌊</mo><mi>n</mi><mo>/</mo><mn>2</mn><mo>⌋</mo><mo>−</mo><mn>1</mn></math></span>, and conjectured that the only equality cases are some graphs of small order and the Turán graph <span><math><mi>T</mi><mo>(</mo><mn>2</mn><mi>r</mi><mo>,</mo><mi>r</mi><mo>)</mo></math></span>. We resolve this conjecture in the affirmative by considering a modification of the vertex colouring game wherein Breaker may remove a vertex instead of colouring it.</div><div>Matsumoto further asked whether a similar result could be proved for the vertex marking game, and we provide an example to show that no such nontrivial result can exist.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142323608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-26DOI: 10.1016/j.disc.2024.114269
In this short note, we provide the necessary and sufficient condition for an infinite collection of axis-parallel boxes in to be pierceable by finitely many axis-parallel k-flats, where . We also consider colorful generalizations of the above result and establish their feasibility. The problem considered in this paper is an infinite variant of the Hadwiger-Debrunner -problem.
在这篇短文中,我们提供了一个必要条件和充分条件,即 Rd 中轴对称的无穷盒集合可被有限多个轴对称的 k 平面(其中 0≤k<d 时)穿透。我们还考虑了上述结果的丰富多彩的一般化,并确定了它们的可行性。本文考虑的问题是哈德维格-德布鲁纳(p,q)问题的无限变体。
{"title":"Stabbing boxes with finitely many axis-parallel lines and flats","authors":"","doi":"10.1016/j.disc.2024.114269","DOIUrl":"10.1016/j.disc.2024.114269","url":null,"abstract":"<div><div>In this short note, we provide the necessary and sufficient condition for an infinite collection of axis-parallel boxes in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> to be pierceable by finitely many axis-parallel <em>k</em>-flats, where <span><math><mn>0</mn><mo>≤</mo><mi>k</mi><mo><</mo><mi>d</mi></math></span>. We also consider <em>colorful</em> generalizations of the above result and establish their feasibility. The problem considered in this paper is an infinite variant of the Hadwiger-Debrunner <span><math><mo>(</mo><mi>p</mi><mo>,</mo><mi>q</mi><mo>)</mo></math></span>-problem.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142323609","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}
Pub Date : 2024-09-24DOI: 10.1016/j.disc.2024.114267
A transversal in a hypergraph H is set of vertices that intersect every edge of H. A transversal coalition in H consists of two disjoint sets of vertices X and Y of H, neither of which is a transversal but whose union is a transversal in H. Such sets X and Y are said to form a transversal coalition. A transversal coalition partition in H is a vertex partition such that for all , either the set is a singleton set that is a transversal in H or the set forms a transversal coalition with another set for some j, where . The transversal coalition number in H equals the maximum order of a transversal coalition partition in H. For a hypergraph H is k-uniform if every edge of H has cardinality k. Among other results, we prove that if and H is a k-uniform hypergraph, then . Further we show that for every , there exists a k-uniform hypergraph that achieves equality in this upper bound.
超图 H 中的横向是指与 H 的每条边相交的顶点集合。H 中的横向联盟由 H 的两个不相交的顶点集合 X 和 Y 组成,这两个集合都不是横向,但它们的结合 X∪Y 是 H 中的横向。H 中的横向联盟分区是一个顶点分区Ψ={V1,V2,...,Vp},对于所有 i∈[p],要么集合 Vi 是 H 中横向的单子集,要么集合 Vi 与某个 j 的另一个集合 Vj 形成横向联盟,其中 j∈[p]∖{i}。H 中的横向联盟数 Cτ(H) 等于 H 中横向联盟分区的最大阶数。对于 k≥2 的超图 H,如果 H 中的每条边都有 cardinality k,那么 H 就是 k-uniform 的。我们进一步证明,对于每一个 k≥2,都存在一个达到这个上界相等的 k-uniform 超图。
{"title":"Transversal coalitions in hypergraphs","authors":"","doi":"10.1016/j.disc.2024.114267","DOIUrl":"10.1016/j.disc.2024.114267","url":null,"abstract":"<div><div>A transversal in a hypergraph <em>H</em> is set of vertices that intersect every edge of <em>H</em>. A transversal coalition in <em>H</em> consists of two disjoint sets of vertices <em>X</em> and <em>Y</em> of <em>H</em>, neither of which is a transversal but whose union <span><math><mi>X</mi><mo>∪</mo><mi>Y</mi></math></span> is a transversal in <em>H</em>. Such sets <em>X</em> and <em>Y</em> are said to form a transversal coalition. A transversal coalition partition in <em>H</em> is a vertex partition <span><math><mi>Ψ</mi><mo>=</mo><mo>{</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>}</mo></math></span> such that for all <span><math><mi>i</mi><mo>∈</mo><mo>[</mo><mi>p</mi><mo>]</mo></math></span>, either the set <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is a singleton set that is a transversal in <em>H</em> or the set <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> forms a transversal coalition with another set <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span> for some <em>j</em>, where <span><math><mi>j</mi><mo>∈</mo><mo>[</mo><mi>p</mi><mo>]</mo><mo>∖</mo><mo>{</mo><mi>i</mi><mo>}</mo></math></span>. The transversal coalition number <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>τ</mi></mrow></msub><mo>(</mo><mi>H</mi><mo>)</mo></math></span> in <em>H</em> equals the maximum order of a transversal coalition partition in <em>H</em>. For <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span> a hypergraph <em>H</em> is <em>k</em>-uniform if every edge of <em>H</em> has cardinality <em>k</em>. Among other results, we prove that if <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span> and <em>H</em> is a <em>k</em>-uniform hypergraph, then <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>τ</mi></mrow></msub><mo>(</mo><mi>H</mi><mo>)</mo><mo>≤</mo><mo>⌊</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>4</mn></mrow></mfrac><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>⌋</mo><mo>+</mo><mi>k</mi><mo>+</mo><mn>1</mn></math></span>. Further we show that for every <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span>, there exists a <em>k</em>-uniform hypergraph that achieves equality in this upper bound.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142314146","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}
Pub Date : 2024-09-24DOI: 10.1016/j.disc.2024.114268
We study the distribution of some statistics (width, number of steps, length, area) defined for paths contained in walls. We present the results by giving generating functions, asymptotic approximations, as well as some closed formulas. We prove algebraically that paths in walls of a given width and ending on the x-axis are enumerated by the Catalan numbers, and we provide a bijection between these paths and Dyck paths. We also find that paths in walls with a given number of steps are enumerated by the Fibonacci numbers. Finally, we give a constructive bijection between the paths in walls of a given length and peakless Motzkin paths of the same length.
我们研究了为墙内路径定义的一些统计量(宽度、步数、长度、面积)的分布。我们通过给出生成函数、渐近近似值以及一些封闭公式来呈现结果。我们用代数方法证明,在给定宽度的墙壁中,以 x 轴为终点的路径可以用加泰罗尼亚数枚举,并提供了这些路径与戴克路径之间的双射关系。我们还发现,具有给定步数的墙内路径可以用斐波那契数枚举。最后,我们给出了给定长度的墙内路径与相同长度的无峰莫兹金路径之间的构造偏射。
{"title":"Fibonacci and Catalan paths in a wall","authors":"","doi":"10.1016/j.disc.2024.114268","DOIUrl":"10.1016/j.disc.2024.114268","url":null,"abstract":"<div><div>We study the distribution of some statistics (width, number of steps, length, area) defined for paths contained in walls. We present the results by giving generating functions, asymptotic approximations, as well as some closed formulas. We prove algebraically that paths in walls of a given width and ending on the <em>x</em>-axis are enumerated by the Catalan numbers, and we provide a bijection between these paths and Dyck paths. We also find that paths in walls with a given number of steps are enumerated by the Fibonacci numbers. Finally, we give a constructive bijection between the paths in walls of a given length and peakless Motzkin paths of the same length.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142314147","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}
Pub Date : 2024-09-23DOI: 10.1016/j.disc.2024.114266
An inclusion-free edge-coloring of a graph G with is a proper edge-coloring such that the set of colors incident with any vertex is not contained in the set of colors incident to any of its neighbors. The minimum number of colors needed in an inclusion-free edge-coloring of G is called the - , denoted by . In this paper, we show that for a Halin graph G with maximum degree , if G is isomorphic to a wheel where Δ is odd, then , otherwise . We also show a special cubic Halin graph with .
δ(G)≥2的图 G 的无包含边着色是一种适当的边着色,使得任何顶点的颜色集合都不包含在其任何相邻顶点的颜色集合中。G 的无包含边染色所需的最少颜色数称为无包含色度指数,用 χ⊂′(G)表示。在本文中,我们证明了对于最大度数为 Δ≥4 的 Halin 图 G,如果 G 与 Δ 为奇数的轮 WΔ+1 同构,则 χ⊂′(G)=Δ+2 ,否则 χ⊂′(G)=Δ+1。我们还展示了一个特殊的立方哈林图,其χ⊂′(G)=5。
{"title":"On the inclusion chromatic index of a Halin graph","authors":"","doi":"10.1016/j.disc.2024.114266","DOIUrl":"10.1016/j.disc.2024.114266","url":null,"abstract":"<div><div>An inclusion-free edge-coloring of a graph <em>G</em> with <span><math><mi>δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mn>2</mn></math></span> is a proper edge-coloring such that the set of colors incident with any vertex is not contained in the set of colors incident to any of its neighbors. The minimum number of colors needed in an inclusion-free edge-coloring of <em>G</em> is called the <span><math><mi>i</mi><mi>n</mi><mi>c</mi><mi>l</mi><mi>u</mi><mi>s</mi><mi>i</mi><mi>o</mi><mi>n</mi></math></span>-<span><math><mi>f</mi><mi>r</mi><mi>e</mi><mi>e</mi></math></span> <span><math><mi>c</mi><mi>h</mi><mi>r</mi><mi>o</mi><mi>m</mi><mi>a</mi><mi>t</mi><mi>i</mi><mi>c</mi><mspace></mspace><mi>i</mi><mi>n</mi><mi>d</mi><mi>e</mi><mi>x</mi></math></span>, denoted by <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mo>⊂</mo></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. In this paper, we show that for a Halin graph <em>G</em> with maximum degree <span><math><mi>Δ</mi><mo>≥</mo><mn>4</mn></math></span>, if <em>G</em> is isomorphic to a wheel <span><math><msub><mrow><mi>W</mi></mrow><mrow><mi>Δ</mi><mo>+</mo><mn>1</mn></mrow></msub></math></span> where Δ is odd, then <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mo>⊂</mo></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>+</mo><mn>2</mn></math></span>, otherwise <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mo>⊂</mo></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mi>Δ</mi><mo>+</mo><mn>1</mn></math></span>. We also show a special cubic Halin graph with <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mo>⊂</mo></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mn>5</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142312178","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}
Pub Date : 2024-09-20DOI: 10.1016/j.disc.2024.114262
<div><p>Verifying a suspicion of Propp and Reiner concerning the cyclic sieving phenomenon (CSP), M. Thiel introduced a Catalan object called noncrossing <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>-configurations (denoted by <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>), which is a class of set partitions of <span><math><mo>[</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>]</mo></math></span>. More precisely, Thiel proved that, with a natural action of the cyclic group <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span> on <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, the triple <span><math><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo><mo>)</mo></math></span> exhibits the CSP, where <span><math><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo><mo>≔</mo><mfrac><mrow><mn>1</mn></mrow><mrow><msub><mrow><mo>[</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>]</mo></mrow><mrow><mi>q</mi></mrow></msub></mrow></mfrac><msub><mrow><mo>[</mo><mtable><mtr><mtd><mn>2</mn><mi>n</mi></mtd></mtr><mtr><mtd><mi>n</mi></mtd></mtr></mtable><mo>]</mo></mrow><mrow><mi>q</mi></mrow></msub></math></span> is MacMahon's <em>q</em>-Catalan number. Recently, in a study of the fermionic diagonal coinvariant ring <span><math><mi>F</mi><mi>D</mi><msub><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, Jesse Kim found a combinatorial basis for <span><math><mi>F</mi><mi>D</mi><msub><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> indexed by <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. In this paper, we continue to study <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and obtain the following results:</p><ul><li><span>(1)</span><span><p>We define a statistic on <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> whose generating function is <span><math><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span>, which answers a problem of Thiel.</p></span></li><li><span>(2)</span><span><p>We show that <span><math><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> is equivalent to<span><span><span><math><munder><mo>∑</mo><mrow><mtable><mtr><mtd><mi>k</mi><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi></mtd></mtr><mtr><mtd><mn>2</mn><mi>k</mi><mo>+</mo><mi>x</mi><mo>+</mo><mi>y</mi><mo>=</mo><mi>n</mi><mo>−</mo><mn>1</mn></mtd></mtr></mtable></mrow></munder><msub><mrow><mo>[</mo><mtable><mtr><mtd><mi>n</mi><mo>−</mo><mn
{"title":"Cyclic sieving and dihedral sieving on noncrossing (1,2)-configurations","authors":"","doi":"10.1016/j.disc.2024.114262","DOIUrl":"10.1016/j.disc.2024.114262","url":null,"abstract":"<div><p>Verifying a suspicion of Propp and Reiner concerning the cyclic sieving phenomenon (CSP), M. Thiel introduced a Catalan object called noncrossing <span><math><mo>(</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>-configurations (denoted by <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>), which is a class of set partitions of <span><math><mo>[</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>]</mo></math></span>. More precisely, Thiel proved that, with a natural action of the cyclic group <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub></math></span> on <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, the triple <span><math><mo>(</mo><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo><mo>)</mo></math></span> exhibits the CSP, where <span><math><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo><mo>≔</mo><mfrac><mrow><mn>1</mn></mrow><mrow><msub><mrow><mo>[</mo><mi>n</mi><mo>+</mo><mn>1</mn><mo>]</mo></mrow><mrow><mi>q</mi></mrow></msub></mrow></mfrac><msub><mrow><mo>[</mo><mtable><mtr><mtd><mn>2</mn><mi>n</mi></mtd></mtr><mtr><mtd><mi>n</mi></mtd></mtr></mtable><mo>]</mo></mrow><mrow><mi>q</mi></mrow></msub></math></span> is MacMahon's <em>q</em>-Catalan number. Recently, in a study of the fermionic diagonal coinvariant ring <span><math><mi>F</mi><mi>D</mi><msub><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, Jesse Kim found a combinatorial basis for <span><math><mi>F</mi><mi>D</mi><msub><mrow><mi>R</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> indexed by <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. In this paper, we continue to study <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> and obtain the following results:</p><ul><li><span>(1)</span><span><p>We define a statistic on <span><math><msub><mrow><mi>X</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> whose generating function is <span><math><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span>, which answers a problem of Thiel.</p></span></li><li><span>(2)</span><span><p>We show that <span><math><msub><mrow><mtext>Cat</mtext></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>q</mi><mo>)</mo></math></span> is equivalent to<span><span><span><math><munder><mo>∑</mo><mrow><mtable><mtr><mtd><mi>k</mi><mo>,</mo><mi>x</mi><mo>,</mo><mi>y</mi></mtd></mtr><mtr><mtd><mn>2</mn><mi>k</mi><mo>+</mo><mi>x</mi><mo>+</mo><mi>y</mi><mo>=</mo><mi>n</mi><mo>−</mo><mn>1</mn></mtd></mtr></mtable></mrow></munder><msub><mrow><mo>[</mo><mtable><mtr><mtd><mi>n</mi><mo>−</mo><mn","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271003","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}
Pub Date : 2024-09-20DOI: 10.1016/j.disc.2024.114265
Let be the set of connected graphs with order n and independence number α. The graph with the minimum spectral radius among is called the minimizer graph. Stevanović in the classical book [Spectral Radius of Graphs, Academic Press, Amsterdam, 2015] pointed out that determining the minimizer graph in appears to be a tough problem. Recently, Lou and Guo (2022) [14] proved that the minimizer graph in must be a tree if . In this paper, we further give the structural features for the minimizer graph in detail, and then provide a constructing theorem for it. Thus, theoretically we determine the minimizer graphs in along with their spectral radius for any given . As an application, we determine all the minimizer graphs in for along with their spectral radius.
{"title":"Graphs with the minimum spectral radius for given independence number","authors":"","doi":"10.1016/j.disc.2024.114265","DOIUrl":"10.1016/j.disc.2024.114265","url":null,"abstract":"<div><p>Let <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>α</mi></mrow></msub></math></span> be the set of connected graphs with order <em>n</em> and independence number <em>α</em>. The graph with the minimum spectral radius among <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>α</mi></mrow></msub></math></span> is called the minimizer graph. Stevanović in the classical book [Spectral Radius of Graphs, Academic Press, Amsterdam, 2015] pointed out that determining the minimizer graph in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>α</mi></mrow></msub></math></span> appears to be a tough problem. Recently, Lou and Guo (2022) <span><span>[14]</span></span> proved that the minimizer graph in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>α</mi></mrow></msub></math></span> must be a tree if <span><math><mi>α</mi><mo>≥</mo><mo>⌈</mo><mfrac><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></math></span>. In this paper, we further give the structural features for the minimizer graph in detail, and then provide a constructing theorem for it. Thus, theoretically we determine the minimizer graphs in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>α</mi></mrow></msub></math></span> along with their spectral radius for any given <span><math><mi>α</mi><mo>≥</mo><mo>⌈</mo><mfrac><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌉</mo></math></span>. As an application, we determine all the minimizer graphs in <span><math><msub><mrow><mi>G</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>α</mi></mrow></msub></math></span> for <span><math><mi>α</mi><mo>=</mo><mi>n</mi><mo>−</mo><mn>5</mn><mo>,</mo><mi>n</mi><mo>−</mo><mn>6</mn></math></span> along with their spectral radius.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271002","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}
Pub Date : 2024-09-19DOI: 10.1016/j.disc.2024.114261
A rainbow stacking of r-edge-colorings of the complete d-uniform hypergraph on n vertices is a way of superimposing so that no edges of the same color are superimposed on each other. The definition of rainbow stackings of graphs was proposed by Alon, Defant, and Kravitz, and they determined a sharp threshold for r (as a function of m and n) governing the existence and nonexistence of rainbow stackings of random r-edge-colorings of the complete graph . In this paper, we extend their result to d-uniform hypergraph, obtain a sharp threshold for r controlling the existence and nonexistence of rainbow stackings of random r-edge-colorings of the complete d-uniform hypergraph for .
n 个顶点上的完整 d-Uniform 超图的 r 边颜色 χ1,...,χm 的彩虹叠加是一种叠加 χ1,...,χm 的方法,这样就不会有相同颜色的边相互叠加。图的彩虹叠加定义是由 Alon、Defant 和 Kravitz 提出的,他们确定了 r 的一个尖锐临界值(作为 m 和 n 的函数),该临界值决定了完整图 Kn 的随机 r 边颜色χ1,...,χm 的彩虹叠加存在与否。在本文中,我们将他们的结果推广到 d-uniform hypergraph,得到了一个控制完整 d-uniform hypergraph 的随机 r 边着色 χ1,...,χm 的彩虹堆叠存在与否的 r 的尖锐阈值,且 d≥3 时。
{"title":"A note on rainbow stackings of random edge-colorings of hypergraphs","authors":"","doi":"10.1016/j.disc.2024.114261","DOIUrl":"10.1016/j.disc.2024.114261","url":null,"abstract":"<div><p>A rainbow stacking of <em>r</em>-edge-colorings <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> of the complete <em>d</em>-uniform hypergraph on <em>n</em> vertices is a way of superimposing <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> so that no edges of the same color are superimposed on each other. The definition of rainbow stackings of graphs was proposed by Alon, Defant, and Kravitz, and they determined a sharp threshold for <em>r</em> (as a function of <em>m</em> and <em>n</em>) governing the existence and nonexistence of rainbow stackings of random <em>r</em>-edge-colorings <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> of the complete graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. In this paper, we extend their result to <em>d</em>-uniform hypergraph, obtain a sharp threshold for <em>r</em> controlling the existence and nonexistence of rainbow stackings of random <em>r</em>-edge-colorings <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span> of the complete <em>d</em>-uniform hypergraph for <span><math><mi>d</mi><mo>≥</mo><mn>3</mn></math></span>.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271000","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}
Pub Date : 2024-09-19DOI: 10.1016/j.disc.2024.114254
In this paper, we consider the existence of group divisible designs (GDDs) with block size 4 and group sizes 4 and 10. We show that a 4-GDD of type exists when the necessary conditions are satisfied, except possibly for a finite number of cases with . We also give some new examples of 4-GDDs for which the number of points is 51, 54 or some value less than or equal to 50.
{"title":"Group divisible designs with block size 4 and group sizes 4 and 10 and some other 4-GDDs","authors":"","doi":"10.1016/j.disc.2024.114254","DOIUrl":"10.1016/j.disc.2024.114254","url":null,"abstract":"<div><p>In this paper, we consider the existence of group divisible designs (GDDs) with block size 4 and group sizes 4 and 10. We show that a 4-GDD of type <span><math><msup><mrow><mn>4</mn></mrow><mrow><mi>t</mi></mrow></msup><msup><mrow><mn>10</mn></mrow><mrow><mi>s</mi></mrow></msup></math></span> exists when the necessary conditions are satisfied, except possibly for a finite number of cases with <span><math><mn>4</mn><mi>t</mi><mo>+</mo><mn>10</mn><mi>s</mi><mo>≤</mo><mn>178</mn></math></span>. We also give some new examples of 4-GDDs for which the number of points is 51, 54 or some value less than or equal to 50.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0012365X24003856/pdfft?md5=0cc847d0e63ce2f36a39c3a9c8057cf4&pid=1-s2.0-S0012365X24003856-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271001","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-09-19DOI: 10.1016/j.disc.2024.114258
Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely indecomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given k there are only finitely many critically k-frustrated signed graphs of this kind.
Providing support for this conjecture we show that there are only two of such critically 3-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically 3-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building indecomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being indecomposable is necessary for our conjecture.
从 maxcut 的概念出发,研究有符号图的挫折指数是有符号图理论的基本问题之一。最近,两位作者发起了对临界挫折有符号图的研究。这是一种有符号图,其沮度指数随着任何边的移除而减小。本研究的重点是临界有符号图,这些图不是临界受挫有符号图(即不可分解有符号图)的边缘相交的联合体,也不是通过细分从其他临界受挫有符号图建立起来的。我们猜想,对于任何给定的 k,只有有限多个此类临界 k 受挫有符号图。为了支持这一猜想,我们证明了只有两个此类临界 3 受挫有符号图不存在一对边缘相接的负循环。同样,我们证明了正好有十个临界三挫折有符号平面图既不是可分解的,也不是其他临界三挫折有符号图的细分。我们提出了一种基于两个给定的此类有符号图形构建不可分解的临界受挫有符号图形的方法。我们还证明了不可分解的条件对于我们的猜想是必要的。
{"title":"Critically 3-frustrated signed graphs","authors":"","doi":"10.1016/j.disc.2024.114258","DOIUrl":"10.1016/j.disc.2024.114258","url":null,"abstract":"<div><p>Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely indecomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given <em>k</em> there are only finitely many critically <em>k</em>-frustrated signed graphs of this kind.</p><p>Providing support for this conjecture we show that there are only two of such critically 3-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically 3-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building indecomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being indecomposable is necessary for our conjecture.</p></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0012365X24003893/pdfft?md5=71ed29caccfef97965ce5a62c57baeb5&pid=1-s2.0-S0012365X24003893-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142271485","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}