We study the hat guessing game on graphs. In this game, a player is placed on each vertex v of a graph G and assigned a colored hat from possible colors. Each player makes a deterministic guess on their hat color based on the colors assigned to the players on neighboring vertices, and the players win if at least one player correctly guesses his assigned color. If there exists a strategy that ensures at least one player guesses correctly for every possible assignment of colors, the game defined by is called winning. The hat guessing number of G is the largest integer q so that if for all then is winning.
In this note, we determine whether is winning for any h whenever G is a cycle, resolving a conjecture of Kokhas and Latyshev in the affirmative and extending it. We then use this result to determine the hat guessing number of every cactus graph, graphs in which every pair of cycles share at most one vertex.
我们研究的是图上的帽子猜谜游戏。在这个游戏中,一名玩家被安排在图 G 的每个顶点 v 上,并从 h(v) 种可能的颜色中分配一顶彩色帽子。每个玩家根据邻近顶点上玩家被分配的颜色,确定性地猜测自己帽子的颜色,如果至少有一个玩家猜对了自己被分配的颜色,则玩家获胜。如果存在一种策略能确保至少有一名玩家在每一种可能的颜色分配中都能猜对,那么〈G,h〉所定义的博弈就称为胜局。G 的猜帽数是最大整数 q,如果所有 v∈G 的 h(v)=q 则〈G,h〉获胜。在本说明中,我们将确定只要 G 是一个循环,〈G,h〉是否对任意 h 都获胜,从而解决科哈斯(Kokhas)和拉特谢夫(Latyshev)的一个猜想,并对其进行扩展。然后,我们利用这一结果确定了每个仙人掌图的帽子猜测数,在仙人掌图中,每对循环最多共享一个顶点。
{"title":"The hat guessing game on cactus graphs and cycles","authors":"Jeremy Chizewer , I.M.J. McInnis , Mehrdad Sohrabi , Shriya Kaistha","doi":"10.1016/j.disc.2024.114272","DOIUrl":"10.1016/j.disc.2024.114272","url":null,"abstract":"<div><div>We study the hat guessing game on graphs. In this game, a player is placed on each vertex <em>v</em> of a graph <em>G</em> and assigned a colored hat from <span><math><mi>h</mi><mo>(</mo><mi>v</mi><mo>)</mo></math></span> possible colors. Each player makes a deterministic guess on their hat color based on the colors assigned to the players on neighboring vertices, and the players win if at least one player correctly guesses his assigned color. If there exists a strategy that ensures at least one player guesses correctly for every possible assignment of colors, the game defined by <span><math><mo>〈</mo><mi>G</mi><mo>,</mo><mi>h</mi><mo>〉</mo></math></span> is called winning. The hat guessing number of <em>G</em> is the largest integer <em>q</em> so that if <span><math><mi>h</mi><mo>(</mo><mi>v</mi><mo>)</mo><mo>=</mo><mi>q</mi></math></span> for all <span><math><mi>v</mi><mo>∈</mo><mi>G</mi></math></span> then <span><math><mo>〈</mo><mi>G</mi><mo>,</mo><mi>h</mi><mo>〉</mo></math></span> is winning.</div><div>In this note, we determine whether <span><math><mo>〈</mo><mi>G</mi><mo>,</mo><mi>h</mi><mo>〉</mo></math></span> is winning for any <em>h</em> whenever <em>G</em> is a cycle, resolving a conjecture of Kokhas and Latyshev in the affirmative and extending it. We then use this result to determine the hat guessing number of every cactus graph, graphs in which every pair of cycles share at most one vertex.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114272"},"PeriodicalIF":0.7,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142416654","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.114271
Lawrence Hollom
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":"Lawrence Hollom","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":"348 2","pages":"Article 114271"},"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
Sutanoya Chakraborty, Arijit Ghosh, Soumi Nandi
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":"Sutanoya Chakraborty, Arijit Ghosh, Soumi Nandi","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":"348 2","pages":"Article 114269"},"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
Michael A. Henning , Anders Yeo
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":"Michael A. Henning , Anders Yeo","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":"348 2","pages":"Article 114267"},"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
Jean-Luc Baril , José L. Ramírez
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":"Jean-Luc Baril , José L. Ramírez","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":"348 2","pages":"Article 114268"},"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
Ningge Huang, Yi Tan, Lily Chen
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":"Ningge Huang, Yi Tan, Lily Chen","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":"348 2","pages":"Article 114266"},"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
Chuyi Zeng, Shiwen Zhang
<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":"Chuyi Zeng, Shiwen Zhang","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":"348 2","pages":"Article 114262"},"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
Yarong Hu , Qiongxiang Huang , Zhenzhen Lou
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":"Yarong Hu , Qiongxiang Huang , Zhenzhen Lou","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":"348 2","pages":"Article 114265"},"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
Ran Gu
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":"Ran Gu","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":"348 2","pages":"Article 114261"},"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
Changyuan Wang , R. Julian R. Abel , Thomas Britz , Yudhistira A. Bunjamin , Diana Combe
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":"Changyuan Wang , R. Julian R. Abel , Thomas Britz , Yudhistira A. Bunjamin , Diana Combe","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":"348 2","pages":"Article 114254"},"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}