{"title":"Synchronicity of descent and excedance enumerators in the alternating subgroup","authors":"Umesh Shankar","doi":"10.1016/j.disc.2025.114521","DOIUrl":"10.1016/j.disc.2025.114521","url":null,"abstract":"<div><div>Generalising the work of Dey <span><span>[2]</span></span>, we define the notion of ultra-synchronicity of sequences of real numbers. Let <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi><mo>,</mo><mi>k</mi></mrow></msub></math></span> be the number of even permutations of <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span> with <em>k</em> descents, odd permutations with <em>k</em> descents, even permutations with <em>k</em> excedances and odd permutations with <em>k</em> excedances, respectively. We show that the four sequences are ultra-synchronised for all <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span>. This proves a strengthening of two conjectures of Dey <span><span>[2]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114521"},"PeriodicalIF":0.7,"publicationDate":"2025-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143786052","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}
{"title":"The Li-Feng transformation of weighted adjacency matrices for graphs with degree-based edge-weights","authors":"Jing Gao, Xueliang Li, Ning Yang, Ruiling Zheng","doi":"10.1016/j.disc.2025.114520","DOIUrl":"10.1016/j.disc.2025.114520","url":null,"abstract":"<div><div>For a graph <em>G</em>, let <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>v</mi></mrow></msub></math></span> be the degree of a vertex <em>v</em>. Given a symmetric real function <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></math></span>, the weight of edge <em>uv</em> in graph <em>G</em> is equal to the value <span><math><mi>f</mi><mo>(</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>)</mo></math></span>. The degree-based weighted adjacency matrix is defined as <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>f</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, in which the <span><math><mo>(</mo><mi>u</mi><mo>,</mo><mi>v</mi><mo>)</mo></math></span>-entry is equal to <span><math><mi>f</mi><mo>(</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>u</mi></mrow></msub><mo>,</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>v</mi></mrow></msub><mo>)</mo></math></span> if <em>uv</em> is an edge of <em>G</em> and 0 otherwise. In this paper, we consider the Li-Feng transformation and show that if a graph <em>G</em> contains two pendant paths on a common vertex, the uniform distribution of pendant paths increases the largest eigenvalue of <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>f</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, when <span><math><mi>f</mi><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></math></span> is increasing in <em>x</em> and the length of two pendant paths should be at least 2. We also consider the cycle version of Li-Feng transformation and show that if a graph <em>G</em> contains two pendant cycles on a common vertex, the uniform distribution of pendant cycles decreases the largest eigenvalue of <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>f</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, when <span><math><msub><mrow><mi>λ</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>(</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>f</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>)</mo><mo>></mo><mn>2</mn><mi>f</mi><mo>(</mo><mn>2</mn><mo>,</mo><mn>2</mn><mo>)</mo></math></span>. The purpose of this paper is to unify the study of the graph operation on the largest eigenvalue for the degree-based weighted adjacency matrix.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 9","pages":"Article 114520"},"PeriodicalIF":0.7,"publicationDate":"2025-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143786302","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}
{"title":"Interlacing property of polynomial sequences related to multinomial coefficients","authors":"Ming-Jian Ding","doi":"10.1016/j.disc.2025.114522","DOIUrl":"10.1016/j.disc.2025.114522","url":null,"abstract":"<div><div>In this paper, we show that several consecutive generating functions of the multinomial coefficients form an interlacing sequence. As applications, we provide a positive response to a question proposed by Fisk regarding the interlacing property for zeros of polynomials, which are generated by the central trinomial (quadrinomial) coefficients.</div><div>Furthermore, we prove that some classical polynomial sequences also possess the interlacing property. These sequences include the (weak) exceedance polynomial sequence on involutions in the symmetric group, Motzkin polynomial sequence, local <em>h</em>-polynomial sequences of the cluster subdivision of Cartan-Killing types <em>A</em>, <em>B</em> and <em>D</em>, Narayana polynomial sequences of types <em>A</em> and <em>B</em>, and others.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114522"},"PeriodicalIF":0.7,"publicationDate":"2025-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143777021","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}
{"title":"Bipartite binding number, k-factor and spectral radius of bipartite graphs","authors":"Yifang Hao , Shuchao Li , Yuantian Yu","doi":"10.1016/j.disc.2025.114511","DOIUrl":"10.1016/j.disc.2025.114511","url":null,"abstract":"<div><div>The binding number <span><math><mi>b</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of a graph <em>G</em> is the minimum value of <span><math><mo>|</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo><mo>/</mo><mo>|</mo><mi>S</mi><mo>|</mo></math></span> taken over all non-empty subsets <em>S</em> of <span><math><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>≠</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. The bipartite binding number <span><math><msup><mrow><mi>b</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of a bipartite graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>X</mi><mo>,</mo><mi>Y</mi><mo>)</mo></math></span> is defined to be <span><math><mi>min</mi><mo></mo><mo>{</mo><mo>|</mo><mi>X</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>Y</mi><mo>|</mo><mo>}</mo></math></span> if <span><math><mi>G</mi><mo>=</mo><msub><mrow><mi>K</mi></mrow><mrow><mo>|</mo><mi>X</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>Y</mi><mo>|</mo></mrow></msub></math></span> and<span><span><span><math><mi>min</mi><mo></mo><mrow><mo>{</mo><munder><mi>min</mi><mrow><mtable><mtr><mtd><mo>∅</mo><mo>≠</mo><mi>S</mi><mo>⊆</mo><mi>X</mi></mtd></mtr><mtr><mtd><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>⊊</mo><mi>Y</mi></mtd></mtr></mtable></mrow></munder><mo></mo><mfrac><mrow><mo>|</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>S</mi><mo>)</mo><mo>|</mo></mrow><mrow><mo>|</mo><mi>S</mi><mo>|</mo></mrow></mfrac><mo>,</mo><mspace></mspace><munder><mi>min</mi><mrow><mtable><mtr><mtd><mo>∅</mo><mo>≠</mo><mi>T</mi><mo>⊆</mo><mi>Y</mi></mtd></mtr><mtr><mtd><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>T</mi><mo>)</mo><mo>⊊</mo><mi>X</mi></mtd></mtr></mtable></mrow></munder><mo></mo><mfrac><mrow><mo>|</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>G</mi></mrow></msub><mo>(</mo><mi>T</mi><mo>)</mo><mo>|</mo></mrow><mrow><mo>|</mo><mi>T</mi><mo>|</mo></mrow></mfrac><mo>}</mo></mrow></math></span></span></span> otherwise. Fan and Lin <span><span>[9]</span></span> investigated <span><math><mi>b</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> from spectral perspectives, and provided tight sufficient conditions in terms of the spectral radius of a graph <em>G</em> to guarantee <span><math><mi>b</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩾</mo><mi>r</mi></math></span>, where <em>r</em> is a positive integer. The study of the existence of <em>k</em>-factors in graphs is a classic problem in graph theory. Fan and Lin <span><span>[9]</span></span> also provided the spectral radius conditions for 1-binding graphs to contain a perfect matching and a 2-factor, respectively. In this paper, we consider the bipartite analogues of those results obtained in <span><span>[9]</sp","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114511"},"PeriodicalIF":0.7,"publicationDate":"2025-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143777617","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}
{"title":"Exploring the influence of graph operations on zero forcing sets","authors":"Krishna Menon , Anurag Singh","doi":"10.1016/j.disc.2025.114516","DOIUrl":"10.1016/j.disc.2025.114516","url":null,"abstract":"<div><div>Zero forcing in graphs is a coloring process where a vertex colored blue can <em>force</em> its unique uncolored neighbor to be colored blue. A zero forcing set is a set of initially blue vertices capable of eventually coloring all vertices of the graph. In this paper, we focus on the numbers <span><math><mi>z</mi><mo>(</mo><mi>G</mi><mo>;</mo><mi>i</mi><mo>)</mo></math></span>, which is the number of zero forcing sets of size <em>i</em> of the graph <em>G</em>. These numbers were initially studied by Boyer et al. <span><span>[5]</span></span> where they conjectured that for any graph <em>G</em> on <em>n</em> vertices, <span><math><mi>z</mi><mo>(</mo><mi>G</mi><mo>;</mo><mi>i</mi><mo>)</mo><mo>≤</mo><mi>z</mi><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>;</mo><mi>i</mi><mo>)</mo></math></span> for all <span><math><mi>i</mi><mo>≥</mo><mn>1</mn></math></span> where <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is the path graph on <em>n</em> vertices. The main aim of this paper is to show that several classes of graphs, including outerplanar graphs and threshold graphs, satisfy this conjecture. We do this by studying various graph operations and examining how they affect the number of zero forcing sets.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114516"},"PeriodicalIF":0.7,"publicationDate":"2025-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143777027","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}
{"title":"On bipartite graphs with the minimum number of spanning trees","authors":"Shicai Gong, Yue Xu, Peng Zou, Jiaxin Wang","doi":"10.1016/j.disc.2025.114514","DOIUrl":"10.1016/j.disc.2025.114514","url":null,"abstract":"<div><div>The collection of all (simple and connected) bipartite graphs with cyclomatic number <em>ω</em> is denoted by <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span>. We use <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>a</mi><mo>;</mo><mi>b</mi></mrow><mrow><mi>c</mi></mrow></msubsup></math></span> to denote the graph obtained from the complete bipartite graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>a</mi><mo>,</mo><mi>b</mi><mo>+</mo><mn>1</mn></mrow></msub></math></span> by removing <span><math><mi>a</mi><mo>−</mo><mi>c</mi></math></span> edges that are all connected to the same vertex of degree <em>a</em>, here <span><math><mi>a</mi><mo>,</mo><mi>b</mi></math></span> and <em>c</em> are integers with <span><math><mn>2</mn><mo>≤</mo><mi>c</mi><mo><</mo><mi>a</mi><mo>≤</mo><mi>b</mi></math></span>. The term <span><math><mi>S</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> denotes the skeleton of the graph <em>G</em>, which is defined as the largest induced subgraph of <em>G</em> that contains no pendant vertices.</div><div>In this paper, we investigate the problem of characterizing the graphs within <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span> that possess the minimum number of spanning trees. We show that the skeleton of each graph with the minimum number of spanning trees in <span><math><msub><mrow><mi>B</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span> is either <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>a</mi><mo>,</mo><mi>b</mi></mrow></msub></math></span>, where <em>a</em> and <em>b</em> are positive integers with <span><math><mn>2</mn><mo>≤</mo><mi>a</mi><mo>≤</mo><mi>b</mi></math></span> and <span><math><mo>(</mo><mi>a</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>b</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>=</mo><mi>ω</mi></math></span>, or <span><math><msubsup><mrow><mi>K</mi></mrow><mrow><mi>a</mi><mo>;</mo><mi>b</mi></mrow><mrow><mi>c</mi></mrow></msubsup></math></span>, where <span><math><mi>a</mi><mo>,</mo><mi>b</mi></math></span> and <em>c</em> are positive integers satisfying <span><math><mn>2</mn><mo>≤</mo><mi>c</mi><mo><</mo><mi>a</mi><mo>≤</mo><mi>b</mi></math></span> and <span><math><mi>c</mi><mo>−</mo><mn>1</mn><mo>+</mo><mo>(</mo><mi>a</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>b</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>=</mo><mi>ω</mi></math></span>. In addition, we establish some structural properties by the method of analysis to further reduce those candidate graphs.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 7","pages":"Article 114514"},"PeriodicalIF":0.7,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143759069","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}
{"title":"On the maximum number of r-cliques in graphs free of complete r-partite subgraphs","authors":"József Balogh , Suyun Jiang , Haoran Luo","doi":"10.1016/j.disc.2025.114508","DOIUrl":"10.1016/j.disc.2025.114508","url":null,"abstract":"<div><div>We estimate the maximum possible number of cliques of size <em>r</em> in an <em>n</em>-vertex graph free of a fixed complete <em>r</em>-partite graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><msub><mrow><mi>s</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>s</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>s</mi></mrow><mrow><mi>r</mi></mrow></msub></mrow></msub></math></span>. By viewing every <em>r</em>-clique as a hyperedge, the upper bound on the Turán number of the complete <em>r</em>-partite hypergraphs gives the upper bound <span><math><mi>O</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn><mo>/</mo><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>s</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msup><mo>)</mo></mrow></math></span>. We improve this to <span><math><mi>o</mi><mrow><mo>(</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn><mo>/</mo><msubsup><mrow><mo>∏</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>r</mi><mo>−</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>s</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msup><mo>)</mo></mrow></math></span>. The main tool in our proof is the graph removal lemma. We also provide several lower bound constructions.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114508"},"PeriodicalIF":0.7,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143761179","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}
Yongxin Lan , Yongtang Shi , Yiqiao Wang , Junxue Zhang
{"title":"The saturation number of C6","authors":"Yongxin Lan , Yongtang Shi , Yiqiao Wang , Junxue Zhang","doi":"10.1016/j.disc.2025.114504","DOIUrl":"10.1016/j.disc.2025.114504","url":null,"abstract":"<div><div>A graph <em>G</em> is called <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>-saturated if <em>G</em> is <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>-free but <span><math><mi>G</mi><mo>+</mo><mi>e</mi></math></span> is not for any <span><math><mi>e</mi><mo>∈</mo><mi>E</mi><mo>(</mo><mover><mrow><mi>G</mi></mrow><mo>‾</mo></mover><mo>)</mo></math></span>. The saturation number of <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>, denoted <span><math><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span>, is the minimum number of edges in a <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>-saturated graph on <em>n</em> vertices. Finding the exact values of <span><math><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>)</mo></math></span> has been one of the most intriguing open problems in extremal graph theory. In this paper, we study the saturation number of <span><math><msub><mrow><mi>C</mi></mrow><mrow><mn>6</mn></mrow></msub></math></span>. We prove that <span><math><mn>4</mn><mi>n</mi><mo>/</mo><mn>3</mn><mo>−</mo><mn>2</mn><mo>≤</mo><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>)</mo><mo>≤</mo><mo>(</mo><mn>4</mn><mi>n</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>/</mo><mn>3</mn></math></span> for all <span><math><mi>n</mi><mo>≥</mo><mn>9</mn></math></span>, which significantly improves the existing lower and upper bounds for <span><math><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>6</mn></mrow></msub><mo>)</mo></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114504"},"PeriodicalIF":0.7,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143761183","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}
Jonathan Calzadillas , Dan McQuillan , James M. McQuillan
{"title":"Every even cycle of order at least 8 has a mirror labeling","authors":"Jonathan Calzadillas , Dan McQuillan , James M. McQuillan","doi":"10.1016/j.disc.2025.114503","DOIUrl":"10.1016/j.disc.2025.114503","url":null,"abstract":"<div><div>A mirror labeling of the cycle <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> is a vertex-magic total labeling (VMTL) for the cycle <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> with the property that if <em>x</em> is a vertex label, then <span><math><mn>2</mn><mi>n</mi><mo>+</mo><mn>1</mn><mo>−</mo><mi>x</mi></math></span> is an edge label, for each <span><math><mn>1</mn><mo>≤</mo><mi>x</mi><mo>≤</mo><mn>2</mn><mi>n</mi></math></span>. (Note that any mirror labeling for <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> can be easily converted into an edge-magic total labeling for <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> with the same property, and vice versa.) It has been known for decades that every odd cycle has a mirror labeling. Mirror labelings for <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> with <em>n</em> even are considerably more difficult to construct generally, with only the case <span><math><mi>n</mi><mo>≡</mo><mn>2</mn></math></span> mod 8 having been provided. In this paper, we obtain mirror labelings for all remaining cases, namely <span><math><mi>n</mi><mo>≡</mo><mn>6</mn></math></span> mod 8, <span><math><mi>n</mi><mo>≥</mo><mn>14</mn></math></span> and <span><math><mi>n</mi><mo>≡</mo><mn>0</mn></math></span> mod 4, <span><math><mi>n</mi><mo>≥</mo><mn>8</mn></math></span>.</div><div>This result has significant ramifications for the study of vertex-magic total labelings of graphs generally. A quarter century ago, James MacDougall provided his guiding conjecture positing that every regular graph of degree at least 2 has a VMTL, except for the disjoint union <span><math><mn>2</mn><msub><mrow><mi>C</mi></mrow><mrow><mn>3</mn></mrow></msub></math></span>. Ian Gray showed that every Hamiltonian regular graph of odd order possesses a VMTL, and introduced mirror vertex-magic total labelings as a tool to obtain a similar, general result for even order regular graphs. However, a key technical part of his program was missing, namely, the existence of mirror VMTLs for even order cycles. A mirror labeling is a particular kind of mirror VMTL. Thus, the results of this work provide the missing piece required for Gray's program. It now follows, that any Hamiltonian <span><math><mo>(</mo><mn>4</mn><mi>t</mi><mo>+</mo><mn>2</mn><mo>)</mo></math></span>-regular graph of any even order (<span><math><mi>n</mi><mo>≥</mo><mn>8</mn></math></span>, <span><math><mi>t</mi><mo>≥</mo><mn>0</mn></math></span>) must have a VMTL. This provides substantial new progress towards resolving MacDougall's Conjecture.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114503"},"PeriodicalIF":0.7,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143761184","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}
{"title":"Rainbow directed version of Dirac's theorem","authors":"Hao Li , Luyi Li , Ping Li , Xueliang Li","doi":"10.1016/j.disc.2025.114506","DOIUrl":"10.1016/j.disc.2025.114506","url":null,"abstract":"<div><div>Let <span><math><mi>G</mi><mo>=</mo><mo>{</mo><msub><mrow><mi>G</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>:</mo><mi>i</mi><mo>∈</mo><mo>[</mo><mi>s</mi><mo>]</mo><mo>}</mo></math></span> be a collection of not necessarily distinct graphs on the same vertex set <em>V</em>. A graph <em>H</em> is called <em>rainbow</em> in <span><math><mi>G</mi></math></span> if any two edges of <em>H</em> belong to different graphs of <span><math><mi>G</mi></math></span>. In 2020, Joos and Kim proved a rainbow version of Dirac's theorem. In this paper, we prove a rainbow directed version of Dirac's theorem asymptotically: For each <span><math><mn>0</mn><mo><</mo><mi>ε</mi><mo><</mo><mn>1</mn></math></span>, there exists an integer <em>N</em> such that when <span><math><mi>n</mi><mo>≥</mo><mi>N</mi></math></span> the following holds. Let <span><math><mi>D</mi><mo>=</mo><mo>{</mo><msub><mrow><mi>D</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>:</mo><mi>i</mi><mo>∈</mo><mo>[</mo><mi>n</mi><mo>]</mo><mo>}</mo></math></span> be a collection of <em>n</em>-vertex digraphs on the same vertex set <em>V</em>. If both the out-degree and the in-degree of <em>v</em> are at least <span><math><mrow><mo>(</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>+</mo><mi>ε</mi><mo>)</mo></mrow><mi>n</mi></math></span> for each vertex <span><math><mi>v</mi><mo>∈</mo><mi>V</mi></math></span> and each integer <span><math><mi>i</mi><mo>∈</mo><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, then <span><math><mi>D</mi></math></span> contains a rainbow Hamiltonian cycle. Furthermore, we provide a sufficient condition for the existence of arbitrary rainbow tournaments in a collection of <em>n</em>-vertex digraphs, where a <em>tournament</em> is an oriented graph of a complete graph.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 8","pages":"Article 114506"},"PeriodicalIF":0.7,"publicationDate":"2025-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143761335","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}