Pub Date : 2026-05-01Epub Date: 2026-01-27DOI: 10.1016/j.disc.2026.115011
Yu Zhang, Rong-Xia Hao, Zhen He, Jianbing Liu
<div><div>Let <em>F</em> and <em>H</em> be two graphs. A spanning subgraph <em>G</em> of <em>F</em> is said to be weakly <span><math><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span>-saturated if there exists an ordering <span><math><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> of the edges in <span><math><mi>E</mi><mo>(</mo><mi>F</mi><mo>)</mo><mo>∖</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that, for each <span><math><mi>i</mi><mo>∈</mo><mo>[</mo><mi>t</mi><mo>]</mo></math></span>, the addition of <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> to <span><math><mi>G</mi><mo>+</mo><mo>{</mo><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>}</mo></math></span> creates a new copy of <em>H</em> containing <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. The weak saturation number of <em>H</em> with respect to <em>F</em> is defined as <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo><mo>=</mo><mi>min</mi><mo></mo><mo>{</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>:</mo><mi>G</mi><mtext> is weakly </mtext><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo><mtext>-saturated</mtext><mo>}</mo></math></span>. Kronenberg et al. (2021) <span><span>[7]</span></span> determined the exact values of <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>. In this paper, we generalize previous results by determining the exact values of <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span> for <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>, and provide both upper and lower bounds for <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span>. Additionally, we determine <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><munderover><mo>⋃</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mr
设F和H是两个图。F的生成子图G是弱(F,H)饱和的,如果存在E(F)∈E(G)中的边的排序e1,…,et,使得对于每一个i∈[t], ei加上G+{e1,…,ei−1}产生一个包含ei的H的新副本。H相对于F的弱饱和数定义为wsat(F,H)=min (|E(G)|:G是弱(F,H)饱和}。Kronenberg et al.(2021)[7]确定了wsat(n,Kt,t)和wsat(n,Kt,t+1)的确切值。本文通过确定r≥1时wsat(n,rKt,t)和wsat(n,rKt,t+1)的精确值,推广了前人的结果,并给出了wsat(n,rKs,t)的上界和下界。此外,我们确定了不相交完全图并集的wsat(n,∈i=1qKti),这改进了Faudree等人关于wsat(n,qKt)的已知结果。
{"title":"Weak saturation numbers for the union of disjoint graphs","authors":"Yu Zhang, Rong-Xia Hao, Zhen He, Jianbing Liu","doi":"10.1016/j.disc.2026.115011","DOIUrl":"10.1016/j.disc.2026.115011","url":null,"abstract":"<div><div>Let <em>F</em> and <em>H</em> be two graphs. A spanning subgraph <em>G</em> of <em>F</em> is said to be weakly <span><math><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span>-saturated if there exists an ordering <span><math><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>t</mi></mrow></msub></math></span> of the edges in <span><math><mi>E</mi><mo>(</mo><mi>F</mi><mo>)</mo><mo>∖</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that, for each <span><math><mi>i</mi><mo>∈</mo><mo>[</mo><mi>t</mi><mo>]</mo></math></span>, the addition of <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> to <span><math><mi>G</mi><mo>+</mo><mo>{</mo><msub><mrow><mi>e</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>}</mo></math></span> creates a new copy of <em>H</em> containing <span><math><msub><mrow><mi>e</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>. The weak saturation number of <em>H</em> with respect to <em>F</em> is defined as <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo><mo>=</mo><mi>min</mi><mo></mo><mo>{</mo><mo>|</mo><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>|</mo><mo>:</mo><mi>G</mi><mtext> is weakly </mtext><mo>(</mo><mi>F</mi><mo>,</mo><mi>H</mi><mo>)</mo><mtext>-saturated</mtext><mo>}</mo></math></span>. Kronenberg et al. (2021) <span><span>[7]</span></span> determined the exact values of <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span>. In this paper, we generalize previous results by determining the exact values of <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>t</mi><mo>,</mo><mi>t</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>)</mo></math></span> for <span><math><mi>r</mi><mo>≥</mo><mn>1</mn></math></span>, and provide both upper and lower bounds for <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>t</mi></mrow></msub><mo>)</mo></math></span>. Additionally, we determine <span><math><mi>w</mi><mi>s</mi><mi>a</mi><mi>t</mi><mo>(</mo><mi>n</mi><mo>,</mo><munderover><mo>⋃</mo><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mr","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 115011"},"PeriodicalIF":0.7,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146077349","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 : 2026-05-01Epub Date: 2025-12-30DOI: 10.1016/j.disc.2025.114965
Elena L. Wang , Guoce Xin
The Ward numbers combinatorially enumerate set partitions with block sizes ≥2 and phylogenetic trees (total partition trees). We prove that also counts increasing Schröder trees by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weighted generalizations extend these bijections to enriched increasing Schröder trees and Schröder trees, yielding new links to labeled rooted trees. Finally, we deduce a functional equation for weighted increasing Schröder trees, whose solution using Chen's decomposition leads to a combinatorial interpretation of a Lagrange inversion variant.
{"title":"On Ward numbers and increasing Schröder trees","authors":"Elena L. Wang , Guoce Xin","doi":"10.1016/j.disc.2025.114965","DOIUrl":"10.1016/j.disc.2025.114965","url":null,"abstract":"<div><div>The Ward numbers <span><math><mi>W</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> combinatorially enumerate set partitions with block sizes ≥2 and phylogenetic trees (total partition trees). We prove that <span><math><mi>W</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>k</mi><mo>)</mo></math></span> also counts <em>increasing Schröder trees</em> by verifying they satisfy Ward's recurrence. We construct a direct type-preserving bijection between total partition trees and increasing Schröder trees, complementing known type-preserving bijections to set partitions (including Chen's decomposition for increasing Schröder trees). Weighted generalizations extend these bijections to enriched increasing Schröder trees and Schröder trees, yielding new links to labeled rooted trees. Finally, we deduce a functional equation for weighted increasing Schröder trees, whose solution using Chen's decomposition leads to a combinatorial interpretation of a Lagrange inversion variant.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 114965"},"PeriodicalIF":0.7,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145885055","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 : 2026-05-01Epub Date: 2026-02-02DOI: 10.1016/j.disc.2026.115027
Nina Chiarelli , Vesna Iršič Chenoweth , Marko Jakovac , William B. Kinnersley , Mirjana Mikalački
Motivated by the burning and cooling processes, the burning game is introduced. Two players (Burner and Staller) play the game on a graph G by alternately selecting vertices of G to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of G as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph G is the game burning number if Burner makes the first move, and the Staller-start game burning number if Staller starts.
In this paper, basic bounds on are given and several fundamental properties of the burning game established. Graphs with small game burning numbers are characterized and the game is studied on paths and cycles. An analogue of the burning number conjecture for the burning game is also considered. Finally, it is shown that the problem of determining whether or not is NP-hard.
{"title":"The burning game on graphs","authors":"Nina Chiarelli , Vesna Iršič Chenoweth , Marko Jakovac , William B. Kinnersley , Mirjana Mikalački","doi":"10.1016/j.disc.2026.115027","DOIUrl":"10.1016/j.disc.2026.115027","url":null,"abstract":"<div><div>Motivated by the burning and cooling processes, the burning game is introduced. Two players (Burner and Staller) play the game on a graph <em>G</em> by alternately selecting vertices of <em>G</em> to burn; as in the burning process, burning vertices spread fire to unburned neighbors. Burner aims to burn all vertices of <em>G</em> as quickly as possible, while Staller wants the process to last as long as possible. If both players play optimally, then the number of time steps needed to burn the whole graph <em>G</em> is the game burning number <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> if Burner makes the first move, and the Staller-start game burning number <span><math><msubsup><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo></math></span> if Staller starts.</div><div>In this paper, basic bounds on <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> are given and several fundamental properties of the burning game established. Graphs with small game burning numbers are characterized and the game is studied on paths and cycles. An analogue of the burning number conjecture for the burning game is also considered. Finally, it is shown that the problem of determining whether or not <span><math><msub><mrow><mi>b</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>k</mi></math></span> is NP-hard.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 5","pages":"Article 115027"},"PeriodicalIF":0.7,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146187841","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 : 2026-04-01Epub Date: 2025-12-23DOI: 10.1016/j.disc.2025.114954
Ming-Zhu Chen , Ya-Lei Jin , Peng-Li Zhang
Let be a family of graphs. A graph is called -free if it does not contain any member of as a subgraph. A star forest is a forest whose all components are stars, where is a star of order . In this paper, for , and , we obtain the maximum spectral radius of -free graphs of order n, where . Moreover, we also characterize the extremal graphs.
{"title":"Spectral extrema of graphs: Forbidden cliques and star forests","authors":"Ming-Zhu Chen , Ya-Lei Jin , Peng-Li Zhang","doi":"10.1016/j.disc.2025.114954","DOIUrl":"10.1016/j.disc.2025.114954","url":null,"abstract":"<div><div>Let <span><math><mi>F</mi></math></span> be a family of graphs. A graph is called <span><math><mi>F</mi></math></span>-free if it does not contain any member of <span><math><mi>F</mi></math></span> as a subgraph. A star forest <span><math><msubsup><mrow><mo>∪</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub></math></span> is a forest whose all components are stars, where <span><math><msub><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub></math></span> is a star of order <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>+</mo><mn>1</mn></math></span>. In this paper, for <span><math><mi>k</mi><mo>≥</mo><mn>2</mn></math></span>, <span><math><mi>s</mi><mo>≥</mo><mn>1</mn></math></span> and <span><math><mi>n</mi><mo>≥</mo><mn>100</mn><msup><mrow><mo>(</mo><msubsup><mrow><mo>∑</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>+</mo><mn>3</mn><mi>s</mi><mo>+</mo><mn>1</mn><mo>)</mo></mrow><mrow><mn>6</mn></mrow></msup></math></span>, we obtain the maximum spectral radius of <span><math><mo>{</mo><msub><mrow><mi>K</mi></mrow><mrow><mi>k</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>,</mo><msubsup><mrow><mo>∪</mo></mrow><mrow><mi>i</mi><mo>=</mo><mn>1</mn></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msubsup><msub><mrow><mi>S</mi></mrow><mrow><msub><mrow><mi>d</mi></mrow><mrow><mi>i</mi></mrow></msub></mrow></msub><mo>}</mo></math></span>-free graphs of order <em>n</em>, where <span><math><msub><mrow><mi>d</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≥</mo><mo>⋯</mo><mo>≥</mo><msub><mrow><mi>d</mi></mrow><mrow><mi>s</mi><mo>+</mo><mn>1</mn></mrow></msub><mo>≥</mo><mn>1</mn></math></span>. Moreover, we also characterize the extremal graphs.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114954"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840261","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 : 2026-04-01Epub Date: 2025-12-02DOI: 10.1016/j.disc.2025.114905
Uttam K. Gupta , Michael A. Henning , Paras Vinubhai Maniya , Dinabandhu Pradhan
A dominating set of a graph G is a set such that every vertex in has a neighbor in S, where two vertices are neighbors if they are adjacent. A secure dominating set of G is a dominating set S of G with the additional property that for every vertex , there exists a neighbor u of v in S such that is a dominating set of G. The secure domination number of G, denoted by , is the minimum cardinality of a secure dominating set of G. We prove that if G is a -free graph, then , where denotes the independence number of G. We further show that if G is a connected -free graph for some , then . We also show that if G is a -free graph, then .
{"title":"Secure domination in P5-free graphs","authors":"Uttam K. Gupta , Michael A. Henning , Paras Vinubhai Maniya , Dinabandhu Pradhan","doi":"10.1016/j.disc.2025.114905","DOIUrl":"10.1016/j.disc.2025.114905","url":null,"abstract":"<div><div>A dominating set of a graph <em>G</em> is a set <span><math><mi>S</mi><mo>⊆</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that every vertex in <span><math><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>∖</mo><mi>S</mi></math></span> has a neighbor in <em>S</em>, where two vertices are neighbors if they are adjacent. A secure dominating set of <em>G</em> is a dominating set <em>S</em> of <em>G</em> with the additional property that for every vertex <span><math><mi>v</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>∖</mo><mi>S</mi></math></span>, there exists a neighbor <em>u</em> of <em>v</em> in <em>S</em> such that <span><math><mo>(</mo><mi>S</mi><mo>∖</mo><mo>{</mo><mi>u</mi><mo>}</mo><mo>)</mo><mo>∪</mo><mo>{</mo><mi>v</mi><mo>}</mo></math></span> is a dominating set of <em>G</em>. The secure domination number of <em>G</em>, denoted by <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is the minimum cardinality of a secure dominating set of <em>G</em>. We prove that if <em>G</em> is a <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>5</mn></mrow></msub></math></span>-free graph, then <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mfrac><mrow><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, where <span><math><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> denotes the independence number of <em>G</em>. We further show that if <em>G</em> is a connected <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>5</mn></mrow></msub><mo>,</mo><mi>H</mi><mo>)</mo></math></span>-free graph for some <span><math><mi>H</mi><mo>∈</mo><mo>{</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>∪</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>K</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∪</mo><mn>2</mn><msub><mrow><mi>K</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mrow><mi>paw</mi></mrow><mo>,</mo><msub><mrow><mi>C</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>}</mo></math></span>, then <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>max</mi><mo></mo><mo>{</mo><mn>3</mn><mo>,</mo><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>}</mo></math></span>. We also show that if <em>G</em> is a <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>∪</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>)</mo></math></span>-free graph, then <span><math><msub><mrow><mi>γ</mi></mrow><mrow><mi>s</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>α</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114905"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693664","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 : 2026-04-01Epub Date: 2025-12-02DOI: 10.1016/j.disc.2025.114908
Fang-Gang Xue , Xue-Qin Cao
<div><div>Let <span><math><mi>Z</mi></math></span> be the set of integers and <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> (resp. <span><math><mi>N</mi></math></span>) the set of non-negative (resp. positive) integers. For a nonempty set of integers <em>A</em> and integers <em>n</em>, <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span>, denote <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>A</mi><mo>,</mo><mi>h</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> by the number of representations of <em>n</em> of the form <span><math><mi>n</mi><mo>=</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><mi>A</mi></math></span> for <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>h</mi></math></span>, and <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> by the number of <span><math><mo>(</mo><mi>a</mi><mo>,</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>)</mo></math></span> with <span><math><mi>a</mi><mo>,</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>∈</mo><mi>A</mi></math></span> such that <span><math><mi>n</mi><mo>=</mo><mi>a</mi><mo>−</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>. Following Lev's work, we prove that there is a partition <span><math><mi>Z</mi><mo>=</mo><msubsup><mrow><mo>⋃</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> of the set of all integers such that, for each <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>, we have <span><math><msub><mrow><mi>r</mi></mrow><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><mn>2</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span> for all integers <em>n</em> and <span><math><msub><mrow><mi>d</mi></mrow><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span> for all positive integers <em>n</em>. As a main result, we also prove that, for any integers <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span> and <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span>, there exists a set <em>T</em> of integers with the density <span><math><mn>1</mn><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>m</mi></mrow></mfrac></mat
{"title":"On representation functions related to the partition","authors":"Fang-Gang Xue , Xue-Qin Cao","doi":"10.1016/j.disc.2025.114908","DOIUrl":"10.1016/j.disc.2025.114908","url":null,"abstract":"<div><div>Let <span><math><mi>Z</mi></math></span> be the set of integers and <span><math><msub><mrow><mi>N</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> (resp. <span><math><mi>N</mi></math></span>) the set of non-negative (resp. positive) integers. For a nonempty set of integers <em>A</em> and integers <em>n</em>, <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span>, denote <span><math><msub><mrow><mi>r</mi></mrow><mrow><mi>A</mi><mo>,</mo><mi>h</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> by the number of representations of <em>n</em> of the form <span><math><mi>n</mi><mo>=</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>+</mo><mo>⋯</mo><mo>+</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>, where <span><math><msub><mrow><mi>a</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>≤</mo><mo>⋯</mo><mo>≤</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span> and <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><mi>A</mi></math></span> for <span><math><mi>i</mi><mo>=</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mo>⋯</mo><mo>,</mo><mi>h</mi></math></span>, and <span><math><msub><mrow><mi>d</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> by the number of <span><math><mo>(</mo><mi>a</mi><mo>,</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>)</mo></math></span> with <span><math><mi>a</mi><mo>,</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup><mo>∈</mo><mi>A</mi></math></span> such that <span><math><mi>n</mi><mo>=</mo><mi>a</mi><mo>−</mo><msup><mrow><mi>a</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>. Following Lev's work, we prove that there is a partition <span><math><mi>Z</mi><mo>=</mo><msubsup><mrow><mo>⋃</mo></mrow><mrow><mi>k</mi><mo>=</mo><mn>1</mn></mrow><mrow><mo>∞</mo></mrow></msubsup><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> of the set of all integers such that, for each <span><math><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span>, we have <span><math><msub><mrow><mi>r</mi></mrow><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><mn>2</mn></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span> for all integers <em>n</em> and <span><math><msub><mrow><mi>d</mi></mrow><mrow><msub><mrow><mi>A</mi></mrow><mrow><mi>k</mi></mrow></msub></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span> for all positive integers <em>n</em>. As a main result, we also prove that, for any integers <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span> and <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span>, there exists a set <em>T</em> of integers with the density <span><math><mn>1</mn><mo>−</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mi>m</mi></mrow></mfrac></mat","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114908"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693661","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 : 2026-04-01Epub Date: 2025-12-09DOI: 10.1016/j.disc.2025.114938
Yanbo Zhang , Yaojun Chen , Yunqing Zhang
Given two graphs G and H, the Ramsey number is the smallest positive integer r such that every graph on r vertices contains G as a subgraph or its complement contains H as a subgraph. Let denote a tree on n vertices, and let denote a generalized wheel, obtained by joining each vertex of the complete graph to every vertex of the cycle . For , , and sufficiently large n, Chng, Tan, and Wong (Discrete Math., 2021) conjectured that In this note, we confirm this conjecture in a stronger form by providing a linear lower bound on n in terms of m for which the equality holds.
给定两个图G和H,拉姆齐数R(G,H)是最小的正整数R,使得在R个顶点上的每个图都包含G作为子图或其补包含H作为子图。设Tn表示有n个顶点的树,设Ws,m表示一个广义轮,通过将完全图k的每个顶点与循环Cm的每个顶点连接而得到。对于s≥2,m≥2,和足够大的n, cheng, Tan, and Wong(离散数学)。, 2021)推测thatR (Tn Ws 2米)= (s + 1) (n−1)+ 1。在这篇笔记中,我们以一种更强的形式证实了这个猜想,我们用m给出了n的线性下界,在这个下界中等式成立。
{"title":"Ramsey numbers of trees versus generalized wheels","authors":"Yanbo Zhang , Yaojun Chen , Yunqing Zhang","doi":"10.1016/j.disc.2025.114938","DOIUrl":"10.1016/j.disc.2025.114938","url":null,"abstract":"<div><div>Given two graphs <em>G</em> and <em>H</em>, the Ramsey number <span><math><mi>R</mi><mo>(</mo><mi>G</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span> is the smallest positive integer <em>r</em> such that every graph on <em>r</em> vertices contains <em>G</em> as a subgraph or its complement contains <em>H</em> as a subgraph. Let <span><math><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> denote a tree on <em>n</em> vertices, and let <span><math><msub><mrow><mi>W</mi></mrow><mrow><mi>s</mi><mo>,</mo><mi>m</mi></mrow></msub></math></span> denote a generalized wheel, obtained by joining each vertex of the complete graph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>s</mi></mrow></msub></math></span> to every vertex of the cycle <span><math><msub><mrow><mi>C</mi></mrow><mrow><mi>m</mi></mrow></msub></math></span>. For <span><math><mi>s</mi><mo>≥</mo><mn>2</mn></math></span>, <span><math><mi>m</mi><mo>≥</mo><mn>2</mn></math></span>, and sufficiently large <em>n</em>, Chng, Tan, and Wong (<em>Discrete Math.</em>, 2021) conjectured that<span><span><span><math><mi>R</mi><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>,</mo><msub><mrow><mi>W</mi></mrow><mrow><mi>s</mi><mo>,</mo><mn>2</mn><mi>m</mi></mrow></msub><mo>)</mo><mo>=</mo><mo>(</mo><mi>s</mi><mo>+</mo><mn>1</mn><mo>)</mo><mo>(</mo><mi>n</mi><mo>−</mo><mn>1</mn><mo>)</mo><mo>+</mo><mn>1</mn><mo>.</mo></math></span></span></span> In this note, we confirm this conjecture in a stronger form by providing a linear lower bound on <em>n</em> in terms of <em>m</em> for which the equality holds.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114938"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145747783","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 : 2026-04-01Epub Date: 2025-12-15DOI: 10.1016/j.disc.2025.114945
Mateusz Kamyczura, Jakub Przybyło
Let G be a graph of maximum degree Δ which does not contain isolated vertices. An edge coloring c of G is called conflict-free if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such c is called the conflict-free chromatic index of G and denoted . It is known that in general , while there is a family of graphs, e.g. the complete graphs, for which . In the present paper we provide the asymptotically tight upper bound for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph whenever for any fixed constant . Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound.
{"title":"On asymptotically tight bound for the conflict-free chromatic index of nearly regular graphs","authors":"Mateusz Kamyczura, Jakub Przybyło","doi":"10.1016/j.disc.2025.114945","DOIUrl":"10.1016/j.disc.2025.114945","url":null,"abstract":"<div><div>Let <em>G</em> be a graph of maximum degree Δ which does not contain isolated vertices. An edge coloring <em>c</em> of <em>G</em> is called <em>conflict-free</em> if each edge's closed neighborhood includes a uniquely colored element. The least number of colors admitting such <em>c</em> is called the <em>conflict-free chromatic index</em> of <em>G</em> and denoted <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo></math></span>. It is known that in general <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩽</mo><mn>3</mn><mo>⌈</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo></mo><mi>Δ</mi><mo>⌉</mo><mo>+</mo><mn>1</mn></math></span>, while there is a family of graphs, e.g. the complete graphs, for which <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩾</mo><mo>(</mo><mn>1</mn><mo>−</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo></mo><mi>Δ</mi></math></span>. In the present paper we provide the asymptotically tight upper bound <span><math><msubsup><mrow><mi>χ</mi></mrow><mrow><mi>CF</mi></mrow><mrow><mo>′</mo></mrow></msubsup><mo>(</mo><mi>G</mi><mo>)</mo><mo>⩽</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo></mo><mi>Δ</mi><mo>+</mo><mi>O</mi><mo>(</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo></mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo></mo><mi>Δ</mi><mo>)</mo><mo>=</mo><mo>(</mo><mn>1</mn><mo>+</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo></mo><mi>Δ</mi></math></span> for regular and nearly regular graphs, which in particular implies that the same bound holds a.a.s. for a random graph <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo></math></span> whenever <span><math><mi>p</mi><mo>≫</mo><msup><mrow><mi>n</mi></mrow><mrow><mo>−</mo><mi>ε</mi></mrow></msup></math></span> for any fixed constant <span><math><mi>ε</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></math></span>. Our proof is probabilistic and exploits classic results of Hall and Berge. This was inspired by our approach utilized in the particular case of complete graphs, for which we give a more specific upper bound.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114945"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145796675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2026-04-01Epub Date: 2026-01-02DOI: 10.1016/j.disc.2025.114973
Wenqian Zhang
For a graph F, let be the set of F-free graphs of order n with the maximum number of edges. The graph F is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3.
For , let be vertex-critical graphs with the same chromatic number. Let be the disjoint union of them. In this paper, we characterize the graphs in , when there is a proper order among the graphs . This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora [16].
{"title":"Extremal graphs for disjoint union of vertex-critical graphs","authors":"Wenqian Zhang","doi":"10.1016/j.disc.2025.114973","DOIUrl":"10.1016/j.disc.2025.114973","url":null,"abstract":"<div><div>For a graph <em>F</em>, let <span><math><mrow><mi>EX</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><mi>F</mi><mo>)</mo></math></span> be the set of <em>F</em>-free graphs of order <em>n</em> with the maximum number of edges. The graph <em>F</em> is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3.</div><div>For <span><math><mi>h</mi><mo>≥</mo><mn>2</mn></math></span>, let <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span> be vertex-critical graphs with the same chromatic number. Let <span><math><msub><mrow><mo>∪</mo></mrow><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>h</mi></mrow></msub><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> be the disjoint union of them. In this paper, we characterize the graphs in <span><math><mrow><mi>EX</mi></mrow><mo>(</mo><mi>n</mi><mo>,</mo><msub><mrow><mo>∪</mo></mrow><mrow><mn>1</mn><mo>≤</mo><mi>i</mi><mo>≤</mo><mi>h</mi></mrow></msub><msub><mrow><mi>F</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></math></span>, when there is a proper order among the graphs <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>,</mo><mo>.</mo><mo>.</mo><mo>.</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>h</mi></mrow></msub></math></span>. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora <span><span>[16]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114973"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145883884","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 : 2026-04-01Epub Date: 2025-11-24DOI: 10.1016/j.disc.2025.114902
Jian-Hua Yin
Given a graph H, a graphic sequence π is potentially H-graphic if there is a realization of π containing H as a subgraph. Erdős et al. introduced the following problem: determine the minimum even integer such that each n-term graphic sequence with sum at least is potentially H-graphic. The parameter is known as the potential function of H, and can be viewed as a degree sequence variant of the classical extremal function ex. Ferrara et al. (2016) [3] established an upper bound on and determined asymptotically for an arbitrary graph H. Yin (2020) [6] also obtained an upper bound on . Erbes et al. (2018) [1] defined a stability concept for the potential number, which is a natural analogue to the stability of the classical extremal function given by Simonovits. They gave a sufficient condition for a graph H to be stable with respect to the potential function, and characterized the stability of those graphs H that contain an induced subgraph of order with exactly one edge. In this paper, we further characterize the stability of those graphs H that contain an induced subgraph of order with exactly t independent edges for . Therefore, the stability for all graphs H is characterized completely.
给定一个图H,一个图序列π是潜在的H图,如果π包含H作为子图的实现。Erdős等人引入了以下问题:确定最小偶数σ(H,n),使得每个求和至少为σ(H,n)的n项图序列都是潜在的H图。参数σ(H,n)称为H的势函数,可以看作是经典极值函数ex(n,H)的阶序列变体。Ferrara et al.(2016)[3]建立了σ(H,n)的上界,并渐近地确定了任意图H的σ(H,n)。Yin(2020)[6]也获得了σ(H,n)的上界。Erbes et al.(2018)[1]定义了势数的稳定性概念,这是Simonovits给出的经典极值函数稳定性的自然类比。他们给出了图H相对于势函数稳定的充分条件,并刻画了含有α(H)+1阶的诱导子图H只有一条边的图H的稳定性。在本文中,我们进一步刻画了含有α(H)+1阶的诱导子图H的稳定性,这些图H具有恰好t条独立边,且1≤t≤⌊α+12⌋。因此,所有图H的稳定性被完全刻画。
{"title":"A note on the stability of the potential function","authors":"Jian-Hua Yin","doi":"10.1016/j.disc.2025.114902","DOIUrl":"10.1016/j.disc.2025.114902","url":null,"abstract":"<div><div>Given a graph <em>H</em>, a graphic sequence <em>π</em> is <em>potentially H</em>-<em>graphic</em> if there is a realization of <em>π</em> containing <em>H</em> as a subgraph. Erdős et al. introduced the following problem: determine the minimum even integer <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> such that each <em>n</em>-term graphic sequence with sum at least <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> is potentially <em>H</em>-graphic. The parameter <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> is known as the <em>potential function</em> of <em>H</em>, and can be viewed as a degree sequence variant of the classical extremal function ex<span><math><mo>(</mo><mi>n</mi><mo>,</mo><mi>H</mi><mo>)</mo></math></span>. Ferrara et al. (2016) <span><span>[3]</span></span> established an upper bound on <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> and determined <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span> asymptotically for an arbitrary graph <em>H</em>. Yin (2020) <span><span>[6]</span></span> also obtained an upper bound on <span><math><mi>σ</mi><mo>(</mo><mi>H</mi><mo>,</mo><mi>n</mi><mo>)</mo></math></span>. Erbes et al. (2018) <span><span>[1]</span></span> defined a stability concept for the potential number, which is a natural analogue to the stability of the classical extremal function given by Simonovits. They gave a sufficient condition for a graph <em>H</em> to be stable with respect to the potential function, and characterized the stability of those graphs <em>H</em> that contain an induced subgraph of order <span><math><mi>α</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> with exactly one edge. In this paper, we further characterize the stability of those graphs <em>H</em> that contain an induced subgraph of order <span><math><mi>α</mi><mo>(</mo><mi>H</mi><mo>)</mo><mo>+</mo><mn>1</mn></math></span> with exactly <em>t</em> independent edges for <span><math><mn>1</mn><mo>≤</mo><mi>t</mi><mo>≤</mo><mo>⌊</mo><mfrac><mrow><mi>α</mi><mo>+</mo><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌋</mo></math></span>. Therefore, the stability for all graphs <em>H</em> is characterized completely.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114902"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145625007","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}