Pub Date : 2026-04-01Epub Date: 2025-11-28DOI: 10.1016/j.disc.2025.114904
Marthe Bonamy , Oscar Defrain , Piotr Micek , Lhouari Nourine
Enumerating minimal transversals in a hypergraph is a notoriously hard problem. It can be reduced to enumerating minimal dominating sets in a graph, in fact even to enumerating minimal dominating sets in an incomparability graph. We provide an output-polynomial time algorithm for incomparability graphs whose underlying posets have bounded dimension. Through a different proof technique, we also provide an output-polynomial time algorithm for their complements, i.e., for comparability graphs of bounded dimension posets. Our algorithm for incomparability graphs relies on the geometrical representation of incomparability graphs with bounded dimension, as given by Golumbic et al. in 1983. It runs with polynomial delay and only needs polynomial space. Our algorithm for comparability graphs is based on the flipping method introduced by Golovach et al. in 2015. It performs in incremental-polynomial time and possibly requires exponential space.
{"title":"Enumerating minimal dominating sets in the (in)comparability graphs of bounded dimension posets","authors":"Marthe Bonamy , Oscar Defrain , Piotr Micek , Lhouari Nourine","doi":"10.1016/j.disc.2025.114904","DOIUrl":"10.1016/j.disc.2025.114904","url":null,"abstract":"<div><div>Enumerating minimal transversals in a hypergraph is a notoriously hard problem. It can be reduced to enumerating minimal dominating sets in a graph, in fact even to enumerating minimal dominating sets in an incomparability graph. We provide an output-polynomial time algorithm for incomparability graphs whose underlying posets have bounded dimension. Through a different proof technique, we also provide an output-polynomial time algorithm for their complements, i.e., for comparability graphs of bounded dimension posets. Our algorithm for incomparability graphs relies on the geometrical representation of incomparability graphs with bounded dimension, as given by Golumbic et al. in 1983. It runs with polynomial delay and only needs polynomial space. Our algorithm for comparability graphs is based on the flipping method introduced by Golovach et al. in 2015. It performs in incremental-polynomial time and possibly requires exponential space.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114904"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145625003","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-03DOI: 10.1016/j.disc.2025.114910
Sándor Z. Kiss , Csaba Sándor
For a set of natural numbers A, let be the number of representations of a natural number n as the sum of two terms from A. Many years ago, Nathanson studied the conditions for the sets A and B of natural numbers that are needed to guarantee that for every positive integer n. In the last decades, similar questions have been studied by many scholars. In this paper, we extend Nathanson's result to representation functions associated to linear forms and we study related problems.
{"title":"Identical representation functions of linear forms. I","authors":"Sándor Z. Kiss , Csaba Sándor","doi":"10.1016/j.disc.2025.114910","DOIUrl":"10.1016/j.disc.2025.114910","url":null,"abstract":"<div><div>For a set of natural numbers <em>A</em>, let <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> be the number of representations of a natural number <em>n</em> as the sum of two terms from <em>A</em>. Many years ago, Nathanson studied the conditions for the sets <em>A</em> and <em>B</em> of natural numbers that are needed to guarantee that <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>A</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo><mo>=</mo><msub><mrow><mi>R</mi></mrow><mrow><mi>B</mi></mrow></msub><mo>(</mo><mi>n</mi><mo>)</mo></math></span> for every positive integer <em>n</em>. In the last decades, similar questions have been studied by many scholars. In this paper, we extend Nathanson's result to representation functions associated to linear forms and we study related problems.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114910"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693665","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}
An edge-colored graph is called rainbow if no two edges have the same color. An edge-colored graph is called properly colored if no two adjacent edges have the same color. We consider a connected edge-colored bipartite graph with bipartition in which for every color c, the set of edges colored with c forms a star. It is known that if the minimum color degree of G is at least , then G has a rainbow spanning tree. In this paper, we prove that if the minimum color degree of G is at least , then G has a rainbow spanning tree. Our theorem strengthens the previous result. We also provide a similar sufficient condition for connected edge-colored bipartite graphs to have properly colored spanning trees. Moreover, we show that these minimum color degree conditions are sharp.
{"title":"Sufficient conditions for edge-colored bipartite graphs to have rainbow and properly colored spanning trees","authors":"Shinya Fujita , Mikio Kano , Shun-ichi Maezawa , Masao Tsugaki , Kiyoshi Yoshimoto","doi":"10.1016/j.disc.2025.114921","DOIUrl":"10.1016/j.disc.2025.114921","url":null,"abstract":"<div><div>An edge-colored graph is called rainbow if no two edges have the same color. An edge-colored graph is called properly colored if no two adjacent edges have the same color. We consider a connected edge-colored bipartite graph <span><math><mi>G</mi><mo>=</mo><mi>G</mi><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>)</mo></math></span> with bipartition <span><math><mo>(</mo><mi>A</mi><mo>,</mo><mi>B</mi><mo>)</mo></math></span> in which for every color <em>c</em>, the set of edges colored with <em>c</em> forms a star. It is known that if the minimum color degree of <em>G</em> is at least <span><math><mo>|</mo><mi>G</mi><mo>|</mo><mo>/</mo><mn>3</mn><mo>+</mo><mn>1</mn></math></span>, then <em>G</em> has a rainbow spanning tree. In this paper, we prove that if the minimum color degree of <em>G</em> is at least <span><math><mrow><mo>(</mo><mi>max</mi><mo></mo><mo>{</mo><mo>|</mo><mi>A</mi><mo>|</mo><mo>,</mo><mo>|</mo><mi>B</mi><mo>|</mo><mo>}</mo><mo>+</mo><mn>2</mn><mo>)</mo></mrow><mo>/</mo><mn>2</mn></math></span>, then <em>G</em> has a rainbow spanning tree. Our theorem strengthens the previous result. We also provide a similar sufficient condition for connected edge-colored bipartite graphs to have properly colored spanning trees. Moreover, we show that these minimum color degree conditions are sharp.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114921"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693655","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-04DOI: 10.1016/j.disc.2025.114920
Kaiyang Lan , Feng Liu , Di Wu , Yidong Zhou
An odd hole in a graph is an induced subgraph which is a cycle of odd length at least five. An odd parachute is a graph obtained from an odd hole H by adding a new edge uv such that x is adjacent to u but not to v for each . A graph G is perfectly divisible if for each induced subgraph H of G, can be partitioned into A and B such that is perfect and . A vertex of a graph is trisimplicial if its neighborhood is the union of three cliques. In this paper, we prove that if G is a (fork, odd parachute)-free graph, then G is either perfectly divisible or has a trisimplicial vertex, from which we deduce that every nonperfectly divisible claw-free graph contains a trisimplicial vertex. As an application, we show that if G is a (fork, odd parachute)-free graph. This generalizes some results of Karthick et al. (2022) [11], and Wu and Xu (2024) [20].
图中的奇孔是一个诱导子图,它是一个奇长度至少为5的循环。奇伞是通过添加一条新边uv从奇洞H得到的图,使得对于每个x∈v (H), x与u相邻,但不与v相邻。如果对于G的每个诱导子图H, V(H)可以划分为A和B,使得H[A]是完全的,ω(H[B])<ω(H),则图G是完全可分的。如果一个图的顶点的邻域是三个团的并集,那么它就是三单纯的。本文证明了如果G是(叉,奇降落伞)自由图,则G要么完全可分,要么有一个三分顶点,由此推导出每一个不可完全可分的无爪图都包含一个三分顶点。作为一个应用,我们证明了χ(G)≤(ω(G)+12),如果G是一个(叉,奇降落伞)自由图。这概括了Karthick et al.(2022)[11]和Wu and Xu(2024)[20]的一些结果。
{"title":"Trisimplicial vertices in (fork, odd parachute)-free graphs","authors":"Kaiyang Lan , Feng Liu , Di Wu , Yidong Zhou","doi":"10.1016/j.disc.2025.114920","DOIUrl":"10.1016/j.disc.2025.114920","url":null,"abstract":"<div><div>An <em>odd hole</em> in a graph is an induced subgraph which is a cycle of odd length at least five. An <em>odd parachute</em> is a graph obtained from an odd hole <em>H</em> by adding a new edge <em>uv</em> such that <em>x</em> is adjacent to <em>u</em> but not to <em>v</em> for each <span><math><mi>x</mi><mo>∈</mo><mi>V</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span>. A graph <em>G</em> is perfectly divisible if for each induced subgraph <em>H</em> of <em>G</em>, <span><math><mi>V</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> can be partitioned into <em>A</em> and <em>B</em> such that <span><math><mi>H</mi><mo>[</mo><mi>A</mi><mo>]</mo></math></span> is perfect and <span><math><mi>ω</mi><mo>(</mo><mi>H</mi><mo>[</mo><mi>B</mi><mo>]</mo><mo>)</mo><mo><</mo><mi>ω</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span>. A vertex of a graph is <em>trisimplicial</em> if its neighborhood is the union of three cliques. In this paper, we prove that if <em>G</em> is a (fork, odd parachute)-free graph, then <em>G</em> is either perfectly divisible or has a trisimplicial vertex, from which we deduce that every nonperfectly divisible claw-free graph contains a trisimplicial vertex. As an application, we show that <span><math><mi>χ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mrow><mo>(</mo><mtable><mtr><mtd><mrow><mi>ω</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>+</mo><mn>1</mn></mrow></mtd></mtr><mtr><mtd><mn>2</mn></mtd></mtr></mtable><mo>)</mo></mrow></math></span> if <em>G</em> is a (fork, odd parachute)-free graph. This generalizes some results of Karthick et al. (2022) <span><span>[11]</span></span>, and Wu and Xu (2024) <span><span>[20]</span></span>.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114920"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693663","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.114936
Shi-Cai Gong , Ni Yang , Jia-Jin Wang , Ya-Hong Chen
Let be the number of spanning trees of a simple graph G, and let denote the class of all n-vertex m-edge simple graphs. A graph is called t-optimal if for every . Petingi and Rodríguez (Discrete Math., 2002) proved that, for n larger than an explicit threshold , any t-optimal graph has an almost-regular complement containing the minimum possible number of induced 2-edge paths. Furthermore, they proposed a conjecture regarding graphs having the minimum number of induced paths of length two within .
We confirm the conjecture above for all regularity degrees . As a by-product, the t-optimal members of and are completely determined for all , where the threshold can be explicitly determined.
{"title":"On a conjecture of regular graphs having the minimum number of induced paths of length two","authors":"Shi-Cai Gong , Ni Yang , Jia-Jin Wang , Ya-Hong Chen","doi":"10.1016/j.disc.2025.114936","DOIUrl":"10.1016/j.disc.2025.114936","url":null,"abstract":"<div><div>Let <span><math><mi>t</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> be the number of spanning trees of a simple graph <em>G</em>, and let <span><math><mi>Γ</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>m</mi><mo>)</mo></math></span> denote the class of all <em>n</em>-vertex <em>m</em>-edge simple graphs. A graph <span><math><mi>G</mi><mo>∈</mo><mi>Γ</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>m</mi><mo>)</mo></math></span> is called <em>t-optimal</em> if <span><math><mi>t</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>≥</mo><mi>t</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> for every <span><math><mi>H</mi><mo>∈</mo><mi>Γ</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>m</mi><mo>)</mo></math></span>. Petingi and Rodríguez (Discrete Math., 2002) proved that, for <em>n</em> larger than an explicit threshold <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, any <em>t</em>-optimal graph has an almost-regular complement containing the minimum possible number of induced 2-edge paths. Furthermore, they proposed a conjecture regarding graphs having the minimum number of induced paths of length two within <span><math><mi>Γ</mi><mo>(</mo><mi>n</mi><mo>;</mo><mi>m</mi><mo>)</mo></math></span>.</div><div>We confirm the conjecture above for all regularity degrees <span><math><mi>k</mi><mo>∈</mo><mo>{</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mn>3</mn><mo>,</mo><mn>4</mn><mo>,</mo><mn>5</mn><mo>}</mo></math></span>. As a by-product, the <em>t</em>-optimal members of <span><math><mi>Γ</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>n</mi><mo>(</mo><mi>n</mi><mo>−</mo><mn>5</mn><mo>)</mo><mo>/</mo><mn>2</mn><mo>)</mo></math></span> and <span><math><mi>Γ</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>n</mi><mo>(</mo><mi>n</mi><mo>−</mo><mn>6</mn><mo>)</mo><mo>/</mo><mn>2</mn><mo>)</mo></math></span> are completely determined for all <span><math><mi>n</mi><mo>></mo><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span>, where the threshold <span><math><msub><mrow><mi>n</mi></mrow><mrow><mn>0</mn></mrow></msub></math></span> can be explicitly determined.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114936"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145746958","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-17DOI: 10.1016/j.disc.2025.114950
Vladimir P. Korzhik
The vertex-face chromatic number of a nonorientable surface of genus q is the minimum integer m such that the vertices and faces of any map on the surface can be colored by m colors in such a way that adjacent or incident elements receive distinct colors. The known upper bound on differs from Ringel's upper bound on the 1-chromatic number of nonorientable surfaces.
The results are as follows:
(i)
There is a constant such that for any , .
Let x be an integer and let be the number of values of q in the interval such that . Then .
不可定向曲面Nq的顶点面色数χvf(Nq)是最小整数m,使得曲面上任何地图的顶点和面都可以用m种颜色着色,从而使相邻或相关元素获得不同的颜色。已知的χvf(Nq)上界Φ(Nq)不同于不可定向曲面1色数上的Ringel上界。结果如下:(i)存在一个常数A>;0,使得对于任意q≥a, Φ(Nq)−1≤χvf(Nq)≤Φ(Nq)。(ii)设x为整数,设P(x)为区间[1,x]中使χvf(Nq)=Φ(Nq)的q值的个数。然后limx→∞P (x) / x = 1。
{"title":"The vertex-face chromatic number of almost all nonorientable surfaces","authors":"Vladimir P. Korzhik","doi":"10.1016/j.disc.2025.114950","DOIUrl":"10.1016/j.disc.2025.114950","url":null,"abstract":"<div><div>The vertex-face chromatic number <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> of a nonorientable surface <span><math><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub></math></span> of genus <em>q</em> is the minimum integer <em>m</em> such that the vertices and faces of any map on the surface can be colored by <em>m</em> colors in such a way that adjacent or incident elements receive distinct colors. The known upper bound <span><math><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> on <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span> differs from Ringel's upper bound on the 1-chromatic number of nonorientable surfaces.</div><div>The results are as follows:<ul><li><span>(<em>i</em>)</span><span><div>There is a constant <span><math><mi>A</mi><mo>></mo><mn>0</mn></math></span> such that for any <span><math><mi>q</mi><mo>≥</mo><mi>A</mi></math></span>, <span><math><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>−</mo><mn>1</mn><mo>≤</mo><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>≤</mo><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>.</div></span></li><li><span><span><math><mo>(</mo><mi>i</mi><mi>i</mi><mo>)</mo></math></span></span><span><div>Let <em>x</em> be an integer and let <span><math><mi>P</mi><mo>(</mo><mi>x</mi><mo>)</mo></math></span> be the number of values of <em>q</em> in the interval <span><math><mo>[</mo><mn>1</mn><mo>,</mo><mi>x</mi><mo>]</mo></math></span> such that <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mi>v</mi><mi>f</mi></mrow></msub><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>Φ</mi><mo>(</mo><msub><mrow><mi>N</mi></mrow><mrow><mi>q</mi></mrow></msub><mo>)</mo></math></span>. Then <span><math><msub><mrow><mi>lim</mi></mrow><mrow><mi>x</mi><mo>→</mo><mo>∞</mo></mrow></msub><mo></mo><mi>P</mi><mo>(</mo><mi>x</mi><mo>)</mo><mo>/</mo><mi>x</mi><mo>=</mo><mn>1</mn></math></span>.</div></span></li></ul></div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114950"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145796746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2026-04-01Epub Date: 2025-12-22DOI: 10.1016/j.disc.2025.114959
Hermie Monterde
A vertex in a graph is said to be sedentary if a quantum state assigned to that vertex tends to stay on that vertex. Using the direct product, join, and blow-up operations, we construct new infinite families of graphs with sedentary vertices. We prove our main result, which states that a vertex with a twin is either sedentary or admits pretty good state transfer with its twin. In contrast, we provide infinite families of graphs containing vertices with no twins that are neither sedentary nor involved in pretty good state transfer. Using our main result, we completely characterize twin vertices that are sedentary and provide improved bounds on their sedentariness. This allows us to construct an infinite family of trees with maximum degree three that admit vertex sedentariness. We also determine all complete bipartite graphs and threshold graphs that contain sedentary vertices relative to the Laplacian matrix.
{"title":"New results in vertex sedentariness","authors":"Hermie Monterde","doi":"10.1016/j.disc.2025.114959","DOIUrl":"10.1016/j.disc.2025.114959","url":null,"abstract":"<div><div>A vertex in a graph is said to be sedentary if a quantum state assigned to that vertex tends to stay on that vertex. Using the direct product, join, and blow-up operations, we construct new infinite families of graphs with sedentary vertices. We prove our main result, which states that a vertex with a twin is either sedentary or admits pretty good state transfer with its twin. In contrast, we provide infinite families of graphs containing vertices with no twins that are neither sedentary nor involved in pretty good state transfer. Using our main result, we completely characterize twin vertices that are sedentary and provide improved bounds on their sedentariness. This allows us to construct an infinite family of trees with maximum degree three that admit vertex sedentariness. We also determine all complete bipartite graphs and threshold graphs that contain sedentary vertices relative to the Laplacian matrix.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114959"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145840337","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}
Boolean functions restricted to some subset of play an important role in the FLIP stream cipher proposed by Méaux et al. in 2016. Carlet et al. later studied the particular case where the subset is composed of vectors with constant Hamming weight, known as weightwise perfectly balanced (WPB) functions. Motivated by the application of nonsingular functions in stream ciphers based on feedback shift registers (FSRs), in this paper, we focus on nonsingular WPB functions. Firstly, we propose an algorithm based on the truth tables to generate all nonsingular WPB functions. A concrete construction of such functions is also provided. Considering the security in different application scenarios, we further investigate their nonlinearity and cycle structure. A tight lower bound on the nonlinearity is obtained, as well as a theoretical probability distribution of the nonlinearity. Notably, our lower bound is higher than the known lower bound on WPB functions. To generate nonsingular WPB functions with high nonlinearity, an improved algorithm is also proposed. Finally, we offer a method to analyze the cycle structure of nonsingular WPB functions, and a method to obtain such functions which generate a few cycles. Experiments show that nonsingular WPB functions are suitable for constructing de Bruijn sequences with cycle-joining method.
{"title":"On nonsingular weightwise perfectly balanced functions","authors":"Xinyi Zhao , Shizhu Tian , Xiangyong Zeng , Zhimin Sun","doi":"10.1016/j.disc.2025.114919","DOIUrl":"10.1016/j.disc.2025.114919","url":null,"abstract":"<div><div>Boolean functions restricted to some subset of <span><math><msubsup><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msubsup></math></span> play an important role in the FLIP stream cipher proposed by Méaux et al. in 2016. Carlet et al. later studied the particular case where the subset is composed of vectors with constant Hamming weight, known as weightwise perfectly balanced (WPB) functions. Motivated by the application of nonsingular functions in stream ciphers based on feedback shift registers (FSRs), in this paper, we focus on nonsingular WPB functions. Firstly, we propose an algorithm based on the truth tables to generate all nonsingular WPB functions. A concrete construction of such functions is also provided. Considering the security in different application scenarios, we further investigate their nonlinearity and cycle structure. A tight lower bound on the nonlinearity is obtained, as well as a theoretical probability distribution of the nonlinearity. Notably, our lower bound is higher than the known lower bound on WPB functions. To generate nonsingular WPB functions with high nonlinearity, an improved algorithm is also proposed. Finally, we offer a method to analyze the cycle structure of nonsingular WPB functions, and a method to obtain such functions which generate a few cycles. Experiments show that nonsingular WPB functions are suitable for constructing de Bruijn sequences with cycle-joining method.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114919"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693656","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-01DOI: 10.1016/j.disc.2025.114906
Ayoub Mounir, Abdelfattah Haily, Mohammed El Badry
In this paper, we consider the finite non-chain ring with . We provide a new class of codes, known as -skew generalized quasi-cyclic (GQC) codes over R, where θ is an automorphism of R and δ is a θ-derivation of R. This work generalizes -skew quasi-cyclic (QC) codes. We give the structure of 1-generator -skew GQC codes over R, and we provide a sufficient condition for 1-generator -skew GQC code over R to be free. A lower bound of the minimum distance of free 1-generator -skew GQC codes is also given. Moreover, we present some numerical examples in which we derive new -linear codes through the application of the Gray map. Furthermore, we characterize the Euclidean dual codes of -skew GQC codes.
{"title":"(θ,δ)-Skew generalized quasi-cyclic codes over the ring R=Z4+uZ4","authors":"Ayoub Mounir, Abdelfattah Haily, Mohammed El Badry","doi":"10.1016/j.disc.2025.114906","DOIUrl":"10.1016/j.disc.2025.114906","url":null,"abstract":"<div><div>In this paper, we consider the finite non-chain ring <span><math><mi>R</mi><mo>=</mo><msub><mrow><mi>Z</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>+</mo><mi>u</mi><msub><mrow><mi>Z</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span> with <span><math><msup><mrow><mi>u</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><mn>1</mn></math></span>. We provide a new class of codes, known as <span><math><mo>(</mo><mi>θ</mi><mo>,</mo><mi>δ</mi><mo>)</mo></math></span>-skew generalized quasi-cyclic (GQC) codes over <em>R</em>, where <em>θ</em> is an automorphism of <em>R</em> and <em>δ</em> is a <em>θ</em>-derivation of <em>R</em>. This work generalizes <span><math><mo>(</mo><mi>θ</mi><mo>,</mo><mi>δ</mi><mo>)</mo></math></span>-skew quasi-cyclic (QC) codes. We give the structure of 1-generator <span><math><mo>(</mo><mi>θ</mi><mo>,</mo><mi>δ</mi><mo>)</mo></math></span>-skew GQC codes over <em>R</em>, and we provide a sufficient condition for 1-generator <span><math><mo>(</mo><mi>θ</mi><mo>,</mo><mi>δ</mi><mo>)</mo></math></span>-skew GQC code over <em>R</em> to be free. A lower bound of the minimum distance of free 1-generator <span><math><mo>(</mo><mi>θ</mi><mo>,</mo><mi>δ</mi><mo>)</mo></math></span>-skew GQC codes is also given. Moreover, we present some numerical examples in which we derive new <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mn>4</mn></mrow></msub></math></span>-linear codes through the application of the Gray map. Furthermore, we characterize the Euclidean dual codes of <span><math><mo>(</mo><mi>θ</mi><mo>,</mo><mi>δ</mi><mo>)</mo></math></span>-skew GQC codes.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114906"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693657","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-03DOI: 10.1016/j.disc.2025.114918
Jiangtao Peng , Shijie Yuan , Yuanlin Li
Let G be a cyclic group of order n. Every finite sequence S of elements from G can be written in the form , where with and . The index of S is defined to be the minimum of over all possible generator . We call S index-1-free, if S contains no subsequence of index 1. Gao conjectured that if S is an index-1-free sequence, then S has at least distinct subsequence sums, where the subsequences are of index less than 1. In this paper, we confirm the conjecture for certain cases, and also provide counterexamples to the conjecture.
设G是一个n阶的循环群,由G上的元素组成的有限序列S可以写成S=(x1g)⋅…⋅(x∑G),其中G∈G, < G > =G,且x1,…,x∑∈[1,n]。S的指标被定义为(x1+…+x l)/n在所有可能的生成子g∈g上的最小值。如果S不包含索引1的子序列,我们称S为索引1 free。Gao推测,如果S是一个索引不为1的序列,则S至少有|S|个不同的子序列和,其中子序列的索引小于1。本文在某些情况下证实了这一猜想,并给出了反例。
{"title":"On subsequence sums of index-1-free sequences over cyclic groups","authors":"Jiangtao Peng , Shijie Yuan , Yuanlin Li","doi":"10.1016/j.disc.2025.114918","DOIUrl":"10.1016/j.disc.2025.114918","url":null,"abstract":"<div><div>Let <em>G</em> be a cyclic group of order <em>n</em>. Every finite sequence <em>S</em> of elements from <em>G</em> can be written in the form <span><math><mi>S</mi><mo>=</mo><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mi>g</mi><mo>)</mo><mo>⋅</mo><mo>…</mo><mo>⋅</mo><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mi>g</mi><mo>)</mo></math></span>, where <span><math><mi>g</mi><mo>∈</mo><mi>G</mi></math></span> with <span><math><mo>〈</mo><mi>g</mi><mo>〉</mo><mo>=</mo><mi>G</mi></math></span> and <span><math><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>∈</mo><mo>[</mo><mn>1</mn><mo>,</mo><mi>n</mi><mo>]</mo></math></span>. The index of <em>S</em> is defined to be the minimum of <span><math><mo>(</mo><msub><mrow><mi>x</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>+</mo><mo>…</mo><mo>+</mo><msub><mrow><mi>x</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>)</mo><mo>/</mo><mi>n</mi></math></span> over all possible generator <span><math><mi>g</mi><mo>∈</mo><mi>G</mi></math></span>. We call <em>S</em> index-1-free, if <em>S</em> contains no subsequence of index 1. Gao conjectured that if <em>S</em> is an index-1-free sequence, then <em>S</em> has at least <span><math><mo>|</mo><mi>S</mi><mo>|</mo></math></span> distinct subsequence sums, where the subsequences are of index less than 1. In this paper, we confirm the conjecture for certain cases, and also provide counterexamples to the conjecture.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"349 4","pages":"Article 114918"},"PeriodicalIF":0.7,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145693660","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}