Pub Date : 2024-10-09DOI: 10.1016/j.disc.2024.114281
Yu Wang, Min Niu
Tribonacci cubes are a class of hypercube-like cubes obtained by removing all vertices of hypercubes that have more than two consecutive 1s. In this paper, we calculate the Mostar index of Tribonacci cubes, which is a measure of how far the graph is from being distance-balanced and is used to study various properties of chemical graphs.
{"title":"The Mostar index of Tribonacci cubes","authors":"Yu Wang, Min Niu","doi":"10.1016/j.disc.2024.114281","DOIUrl":"10.1016/j.disc.2024.114281","url":null,"abstract":"<div><div>Tribonacci cubes <span><math><msubsup><mrow><mi>Γ</mi></mrow><mrow><mi>n</mi></mrow><mrow><mo>(</mo><mn>3</mn><mo>)</mo></mrow></msubsup></math></span> are a class of hypercube-like cubes obtained by removing all vertices of hypercubes <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> that have more than two consecutive 1s. In this paper, we calculate the Mostar index of Tribonacci cubes, which is a measure of how far the graph is from being distance-balanced and is used to study various properties of chemical graphs.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114281"},"PeriodicalIF":0.7,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426771","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-09DOI: 10.1016/j.disc.2024.114282
Christian Ortlieb , Jens M. Schmidt
We study two fundamental parameters of Schnyder woods by exploiting structurally related methods. First, we prove a new lower bound on the total number of leaves in the three trees of a Schnyder wood. Second, it is well-known that Schnyder woods can be used to find three compatible ordered path partitions. We prove new lower bounds on the number of singletons, i.e. paths that consists of exactly one vertex, in such compatible ordered path partitions. All bounds that we present are tight.
{"title":"Structural parameters of Schnyder woods","authors":"Christian Ortlieb , Jens M. Schmidt","doi":"10.1016/j.disc.2024.114282","DOIUrl":"10.1016/j.disc.2024.114282","url":null,"abstract":"<div><div>We study two fundamental parameters of Schnyder woods by exploiting structurally related methods. First, we prove a new lower bound on the total number of leaves in the three trees of a Schnyder wood. Second, it is well-known that Schnyder woods can be used to find three compatible ordered path partitions. We prove new lower bounds on the number of singletons, i.e. paths that consists of exactly one vertex, in such compatible ordered path partitions. All bounds that we present are tight.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114282"},"PeriodicalIF":0.7,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426769","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-09DOI: 10.1016/j.disc.2024.114279
Hassan Ou-azzou , Mustapha Najmeddine , Nuh Aydin
In this paper we generalize the notion of n-isometry and n-equivalence relation introduced by Chen et al. in [13], [12] to classify constacyclic codes of length n over a finite field , where is a prime power, to the case of skew constacyclic codes without derivation. We call these relations respectively -equivalence and -isometric relation, where n is the length of the code and σ is an automorphism of the finite field. We compute the number of -equivalence and -isometric classes, and we give conditions on λ and μ for which -constacyclic codes and -constacyclic codes are equivalent. Under some conditions on n and q we prove that skew constacyclic codes are equivalent to cyclic codes by using properties of our equivalence relation introduced. We also prove that when q is even and σ is the Frobenius automorphism, skew constacyclic codes of length n are equivalent to cyclic codes when . Finally we give some examples as applications of the theory developed here.
在本文中,我们将 Chen 等人在 [13], [12] 中引入的 n 等式关系和 n 等价关系的概念,用于对有限域 Fq(其中 q=pr 是素幂次)上长度为 n 的共环码进行分类,并将其推广到无派生的倾斜共环码的情况中。我们把这些关系分别称为(n,σ)-等价关系和(n,σ)-等距关系,其中 n 是码的长度,σ 是有限域的自变量。我们计算了(n,σ)等价类和(n,σ)等距类的数量,并给出了λ和μ的条件,在这些条件下,(σ,λ)等价编码和(σ,μ)等价编码是等价的。在 n 和 q 的某些条件下,我们利用所引入的等价关系的性质,证明了倾斜常环码等价于循环码。我们还证明,当 q 为偶数且 σ 为弗罗贝尼斯自变分时,长度为 n 的偏斜自循环码等价于 gcd(n,r)=1 时的循环码。最后,我们将举例说明本文理论的应用。
{"title":"On isometry and equivalence of skew constacyclic codes","authors":"Hassan Ou-azzou , Mustapha Najmeddine , Nuh Aydin","doi":"10.1016/j.disc.2024.114279","DOIUrl":"10.1016/j.disc.2024.114279","url":null,"abstract":"<div><div>In this paper we generalize the notion of <em>n</em>-isometry and <em>n</em>-equivalence relation introduced by Chen et al. in <span><span>[13]</span></span>, <span><span>[12]</span></span> to classify constacyclic codes of length <em>n</em> over a finite field <span><math><msub><mrow><mi>F</mi></mrow><mrow><msub><mrow></mrow><mrow><mi>q</mi></mrow></msub></mrow></msub></math></span>, where <span><math><mi>q</mi><mo>=</mo><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup></math></span> is a prime power, to the case of skew constacyclic codes without derivation. We call these relations respectively <span><math><mo>(</mo><mi>n</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span>-equivalence and <span><math><mo>(</mo><mi>n</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span>-isometric relation, where <em>n</em> is the length of the code and <em>σ</em> is an automorphism of the finite field. We compute the number of <span><math><mo>(</mo><mi>n</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span>-equivalence and <span><math><mo>(</mo><mi>n</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span>-isometric classes, and we give conditions on <em>λ</em> and <em>μ</em> for which <span><math><mo>(</mo><mi>σ</mi><mo>,</mo><mi>λ</mi><mo>)</mo></math></span>-constacyclic codes and <span><math><mo>(</mo><mi>σ</mi><mo>,</mo><mi>μ</mi><mo>)</mo></math></span>-constacyclic codes are equivalent. Under some conditions on <em>n</em> and <em>q</em> we prove that skew constacyclic codes are equivalent to cyclic codes by using properties of our equivalence relation introduced. We also prove that when <em>q</em> is even and <em>σ</em> is the Frobenius automorphism, skew constacyclic codes of length <em>n</em> are equivalent to cyclic codes when <span><math><mi>gcd</mi><mo></mo><mo>(</mo><mi>n</mi><mo>,</mo><mi>r</mi><mo>)</mo><mo>=</mo><mn>1</mn></math></span>. Finally we give some examples as applications of the theory developed here.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114279"},"PeriodicalIF":0.7,"publicationDate":"2024-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142416804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-08DOI: 10.1016/j.disc.2024.114277
Fatima Akinola , Michael W. Schroeder
A decomposition of a graph with n vertices, labeled by , is cyclic if addition by 1 to the vertices acts on the decomposition, and the decomposition is d-symmetric for a divisor d of n if addition by to the vertices acts invariantly on the decomposition. In a 2017 paper, Merola et al. established the necessary and sufficient conditions under which a complete multipartite graph with an even number of parts, each with d vertices, has a cyclic Hamilton cycle decomposition; these decompositions were also d-symmetric.
In this paper we establish the necessary and sufficient conditions for the analogous question with complete multipartite graphs with an odd number of parts, which settles the existence of cyclic, d-symmetric Hamilton cycle decompositions for all balanced, complete multipartite graphs.
一个有 n 个顶点的图的分解(用 Zn 标记),如果顶点的加法 1 作用于该分解,则该分解是循环的;如果顶点的加法 n/d 不变地作用于该分解,则该分解对于 n 的除数 d 是 d 对称的。在 2017 年的一篇论文中,Merola 等人确定了偶数部分的完整多部分图(每个部分有 d 个顶点)具有循环汉密尔顿循环分解的必要条件和充分条件;这些分解也是 d 对称的。在本文中,我们为奇数部分的完整多部分图的类似问题确定了必要条件和充分条件,从而解决了所有平衡完整多部分图的循环、d 对称汉密尔顿循环分解的存在性问题。
{"title":"On cyclic symmetric Hamilton cycle decompositions of complete multipartite graphs","authors":"Fatima Akinola , Michael W. Schroeder","doi":"10.1016/j.disc.2024.114277","DOIUrl":"10.1016/j.disc.2024.114277","url":null,"abstract":"<div><div>A decomposition of a graph with <em>n</em> vertices, labeled by <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, is cyclic if addition by 1 to the vertices acts on the decomposition, and the decomposition is <em>d</em>-symmetric for a divisor <em>d</em> of <em>n</em> if addition by <span><math><mi>n</mi><mo>/</mo><mi>d</mi></math></span> to the vertices acts invariantly on the decomposition. In a 2017 paper, Merola et al. established the necessary and sufficient conditions under which a complete multipartite graph with an even number of parts, each with <em>d</em> vertices, has a cyclic Hamilton cycle decomposition; these decompositions were also <em>d</em>-symmetric.</div><div>In this paper we establish the necessary and sufficient conditions for the analogous question with complete multipartite graphs with an odd number of parts, which settles the existence of cyclic, <em>d</em>-symmetric Hamilton cycle decompositions for all balanced, complete multipartite graphs.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114277"},"PeriodicalIF":0.7,"publicationDate":"2024-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142416657","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-07DOI: 10.1016/j.disc.2024.114274
François Dross , Claire Hilaire , Ivo Koch , Valeria Leoni , Nina Pardal , María Inés Lopez Pujato , Vinicius Fernandes dos Santos
Given a property (graph class) Π, a graph G, and an integer k, the Π-completion problem consists of deciding whether we can turn G into a graph with the property Π by adding at most k edges to G. The Π-completion problem is known to be NP-hard for general graphs when Π is the property of being a proper interval graph (PIG). In this work, we study the PIG-completion problem within different subclasses of chordal graphs. We show that the problem remains NP-complete even when restricted to split graphs. We then turn our attention to positive results and present polynomial time algorithms to solve the PIG-completion problem when the input is restricted to caterpillar and threshold graphs. We also present an efficient algorithm for the minimum co-bipartite-completion for quasi-threshold graphs, which provides a lower bound for the PIG-completion problem within this graph class.
给定一个属性(图类)Π、一个图 G 和一个整数 k,Π-补全问题包括判断我们是否能通过在 G 上添加最多 k 条边将 G 变成一个具有属性 Π 的图。众所周知,当 Π 是适当区间图 (PIG) 的属性时,Π-补全问题对于一般图来说是 NP-困难的。在这项工作中,我们研究了弦图不同子类中的 PIG-补全问题。我们证明,即使仅限于分裂图,该问题仍然是 NP-完全的。然后,我们将注意力转向正面结果,并提出了多项式时间算法,用于解决输入仅限于毛毛虫图和阈值图时的 PIG-补全问题。我们还提出了准阈值图的最小共边完成的高效算法,为该图类中的 PIG 完成问题提供了一个下界。
{"title":"On the proper interval completion problem within some chordal subclasses","authors":"François Dross , Claire Hilaire , Ivo Koch , Valeria Leoni , Nina Pardal , María Inés Lopez Pujato , Vinicius Fernandes dos Santos","doi":"10.1016/j.disc.2024.114274","DOIUrl":"10.1016/j.disc.2024.114274","url":null,"abstract":"<div><div>Given a property (graph class) Π, a graph <em>G</em>, and an integer <em>k</em>, the Π<em>-completion</em> problem consists of deciding whether we can turn <em>G</em> into a graph with the property Π by adding at most <em>k</em> edges to <em>G</em>. The Π-completion problem is known to be NP-hard for general graphs when Π is the property of being a proper interval graph (PIG). In this work, we study the PIG-completion problem within different subclasses of chordal graphs. We show that the problem remains NP-complete even when restricted to split graphs. We then turn our attention to positive results and present polynomial time algorithms to solve the PIG-completion problem when the input is restricted to caterpillar and threshold graphs. We also present an efficient algorithm for the minimum co-bipartite-completion for quasi-threshold graphs, which provides a lower bound for the PIG-completion problem within this graph class.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114274"},"PeriodicalIF":0.7,"publicationDate":"2024-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142416656","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-07DOI: 10.1016/j.disc.2024.114280
Andrey Kupavskii , Fedor Noskov
The problem we consider originally arises from 2-level polytope theory. This class of polytopes generalizes a number of other polytope families. One of the important questions in this field can be formulated as follows: is it true for a d-dimensional 2-level polytope that the product of the number of its vertices and the number of its dimensional facets is bounded by ? Recently, Kupavskii and Weltge [9] settled this question in positive. A key element in their proof is a more general result for families of vectors in such that the scalar product between any two vectors from different families is either 0 or 1.
Peter Frankl noted that, when restricted to the Boolean cube, the solution boils down to an elegant application of the Harris–Kleitman correlation inequality. Meanwhile, this problem becomes much more sophisticated when we consider several families.
Let be families of subsets of . We suppose that for distinct and arbitrary we have . We are interested in the maximal value of and the structure of the extremal example.
In the previous paper on the topic, the authors found the asymptotics of this product for constant ℓ and m as n tends to infinity. However, the possible structure of the families from the extremal example turned out to be very complicated. In this paper, we obtain a strong structural result for the extremal families.
我们所考虑的问题最初源于 2 级多面体理论。这一类多面体概括了许多其他多面体族。该领域的一个重要问题可以表述如下:对于一个 d 维 2 层多面体,其顶点数与 d-1 维面数的乘积是否真的以 d2d-1 为界?最近,Kupavskii 和 Weltge [9] 从正面解决了这个问题。彼得-弗兰克尔(Peter Frankl)指出,当局限于布尔立方体时,解决方法可以归结为哈里斯-克莱特曼相关不等式的优雅应用。让 F1、......、Fℓ 分别是 {1,......,n} 的子集族。我们假设,对于不同的 k,k′ 和任意的 F1∈Fk,F2∈Fk′,我们有 |F1∩F2|⩽m。我们感兴趣的是|F1|...|Fℓ|的最大值和极值实例的结构。在上一篇相关论文中,作者发现了当 n 趋于无穷大时,常数 ℓ 和 m 的该积的渐近线。然而,从极值示例中得出的族的可能结构却非常复杂。在本文中,我们得到了极值族的强结构结果。
{"title":"Octopuses in the Boolean cube: Families with pairwise small intersections, part II","authors":"Andrey Kupavskii , Fedor Noskov","doi":"10.1016/j.disc.2024.114280","DOIUrl":"10.1016/j.disc.2024.114280","url":null,"abstract":"<div><div>The problem we consider originally arises from 2-level polytope theory. This class of polytopes generalizes a number of other polytope families. One of the important questions in this field can be formulated as follows: is it true for a <em>d</em>-dimensional 2-level polytope that the product of the number of its vertices and the number of its <span><math><mi>d</mi><mo>−</mo><mn>1</mn></math></span> dimensional facets is bounded by <span><math><mi>d</mi><msup><mrow><mn>2</mn></mrow><mrow><mi>d</mi><mo>−</mo><mn>1</mn></mrow></msup></math></span>? Recently, Kupavskii and Weltge <span><span>[9]</span></span> settled this question in positive. A key element in their proof is a more general result for families of vectors in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mi>d</mi></mrow></msup></math></span> such that the scalar product between any two vectors from different families is either 0 or 1.</div><div>Peter Frankl noted that, when restricted to the Boolean cube, the solution boils down to an elegant application of the Harris–Kleitman correlation inequality. Meanwhile, this problem becomes much more sophisticated when we consider several families.</div><div>Let <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>ℓ</mi></mrow></msub></math></span> be families of subsets of <span><math><mo>{</mo><mn>1</mn><mo>,</mo><mo>…</mo><mo>,</mo><mi>n</mi><mo>}</mo></math></span>. We suppose that for distinct <span><math><mi>k</mi><mo>,</mo><msup><mrow><mi>k</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> and arbitrary <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>∈</mo><msub><mrow><mi>F</mi></mrow><mrow><msup><mrow><mi>k</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msub></math></span> we have <span><math><mo>|</mo><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><mi>m</mi></math></span>. We are interested in the maximal value of <span><math><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>|</mo><mo>…</mo><mo>|</mo><msub><mrow><mi>F</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>|</mo></math></span> and the structure of the extremal example.</div><div>In the previous paper on the topic, the authors found the asymptotics of this product for constant <em>ℓ</em> and <em>m</em> as <em>n</em> tends to infinity. However, the possible structure of the families from the extremal example turned out to be very complicated. In this paper, we obtain a strong structural result for the extremal families.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114280"},"PeriodicalIF":0.7,"publicationDate":"2024-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-07DOI: 10.1016/j.disc.2024.114275
Karen Gunderson , Jason Semeraro
Using a switching operation on tournaments we obtain some new lower bounds on the Turán number of the r-graph on vertices with 3 edges. For , extremal examples were constructed using Paley tournaments in previous work. We show that these examples are unique (in a particular sense) using Fourier analysis.
A 3-tournament is a ‘higher order’ version of a tournament given by an alternating function on triples of distinct vertices in a vertex set. We show that 3-tournaments also enjoy a switching operation and use this to give a formula for the size of a switching class in terms of level permutations, generalising a result of Babai–Cameron.
{"title":"Turán numbers and switching","authors":"Karen Gunderson , Jason Semeraro","doi":"10.1016/j.disc.2024.114275","DOIUrl":"10.1016/j.disc.2024.114275","url":null,"abstract":"<div><div>Using a switching operation on tournaments we obtain some new lower bounds on the Turán number of the <em>r</em>-graph on <span><math><mi>r</mi><mo>+</mo><mn>1</mn></math></span> vertices with 3 edges. For <span><math><mi>r</mi><mo>=</mo><mn>4</mn></math></span>, extremal examples were constructed using Paley tournaments in previous work. We show that these examples are unique (in a particular sense) using Fourier analysis.</div><div>A 3-tournament is a ‘higher order’ version of a tournament given by an alternating function on triples of distinct vertices in a vertex set. We show that 3-tournaments also enjoy a switching operation and use this to give a formula for the size of a switching class in terms of level permutations, generalising a result of Babai–Cameron.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114275"},"PeriodicalIF":0.7,"publicationDate":"2024-10-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426774","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-04DOI: 10.1016/j.disc.2024.114276
Chao Wen , Qiang Sun , Hongyan Cai , Chao Zhang
According to Vizing's Theorem, a major question in the area of edge coloring is to determine whether a graph is Class 1 or 2. In 1984, Mohar proved that the Cartesian product is Class 1 if G is Class 1 or both G and H have a perfect matching. Recently, Behr proved that the signed graph version of Vizing's Theorem: a signed graph is either Class 1 or 2. Hence, we want to generalize Mohar's results to signed graphs. In this paper, we prove that is Class 1 if one of the factors, say , is Class 1 and there exists an edge coloring of that satisfies a certain property, which is necessary as shown by an example. Let Δ-matching be a matching which covers every vertex of maximum degree. We also show that if both of and have a Δ-matching and at least one of is even, then is Class 1. This implies that if both of G and H have a Δ-matching, then is Class 1, thereby slightly improving upon Mohar's results.
根据维京定理,边着色领域的一个主要问题是确定一个图是第 1 类还是第 2 类。1984 年,莫哈尔证明,如果 G 是第 1 类图,或者 G 和 H 都有完美匹配,则笛卡尔积 G□H 是第 1 类图。最近,Behr 证明了 Vizing 定理的有符号图版本:有符号图 (G,σ) 要么是第 1 类,要么是第 2 类。因此,我们希望将莫哈尔的结果推广到有符号图。在本文中,我们将证明,如果其中一个因子(比如说 (G,σ))是第 1 类,并且 (G,σ) 的边着色满足某个属性,则 (G,σ)□(H,π) 是第 1 类。假设 Δ-matching 是一个覆盖了最大度顶点的匹配。我们还证明,如果(G,σ)和(H,π)都有Δ匹配,并且Δ(G),Δ(H)中至少有一个是偶数,那么(G,σ)□(H,π)就是第 1 类。这意味着如果 G 和 H 都有Δ匹配,那么 G□H 是第 1 类,从而稍微改进了莫哈尔的结果。
{"title":"The edge coloring of the Cartesian product of signed graphs","authors":"Chao Wen , Qiang Sun , Hongyan Cai , Chao Zhang","doi":"10.1016/j.disc.2024.114276","DOIUrl":"10.1016/j.disc.2024.114276","url":null,"abstract":"<div><div>According to Vizing's Theorem, a major question in the area of edge coloring is to determine whether a graph is Class 1 or 2. In 1984, Mohar proved that the Cartesian product <span><math><mi>G</mi><mo>□</mo><mi>H</mi></math></span> is Class 1 if <em>G</em> is Class 1 or both <em>G</em> and <em>H</em> have a perfect matching. Recently, Behr proved that the signed graph version of Vizing's Theorem: a signed graph <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span> is either Class 1 or 2. Hence, we want to generalize Mohar's results to signed graphs. In this paper, we prove that <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo><mo>□</mo><mo>(</mo><mi>H</mi><mo>,</mo><mi>π</mi><mo>)</mo></math></span> is Class 1 if one of the factors, say <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span>, is Class 1 and there exists an edge coloring of <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span> that satisfies a certain property, which is necessary as shown by an example. Let Δ-matching be a matching which covers every vertex of maximum degree. We also show that if both of <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo></math></span> and <span><math><mo>(</mo><mi>H</mi><mo>,</mo><mi>π</mi><mo>)</mo></math></span> have a Δ-matching and at least one of <span><math><mi>Δ</mi><mo>(</mo><mi>G</mi><mo>)</mo><mo>,</mo><mi>Δ</mi><mo>(</mo><mi>H</mi><mo>)</mo></math></span> is even, then <span><math><mo>(</mo><mi>G</mi><mo>,</mo><mi>σ</mi><mo>)</mo><mo>□</mo><mo>(</mo><mi>H</mi><mo>,</mo><mi>π</mi><mo>)</mo></math></span> is Class 1. This implies that if both of <em>G</em> and <em>H</em> have a Δ-matching, then <span><math><mi>G</mi><mo>□</mo><mi>H</mi></math></span> is Class 1, thereby slightly improving upon Mohar's results.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114276"},"PeriodicalIF":0.7,"publicationDate":"2024-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426773","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-03DOI: 10.1016/j.disc.2024.114278
Austin Eide, Paweł Prałat
We investigate the linear chromatic number of the binomial random graph on n vertices in which each edge appears independently with probability . For a graph G, is defined as the smallest k such that G admits a k-colouring with the property that every path P in G receives a colour which appears on only one vertex of P. For dense random graphs ( as ), we show that asymptotically almost surely . Understanding the order of the linear chromatic number for subcritical random graphs () and critical ones () is relatively easy. However, supercritical sparse random graphs ( for some constant ) remain to be investigated.
我们研究了 n 个顶点上的二项式随机图 G(n,p)的线性色度数 χlin(G(n,p)),其中每条边都以 p=p(n) 的概率独立出现。对于一个图 G,χlin(G) 被定义为最小的 k,使得 G 可以接受 k-着色,其特性是 G 中的每条路径 P 得到的颜色只出现在 P 的一个顶点上。对于密集随机图(np→∞ 为 n→∞),我们证明了渐近几乎肯定 χlin(G(n,p))≥n(1-O((np)-1/2))=n(1-o(1))。理解亚临界随机图(np<1)和临界随机图(np=1)的线性色度数阶相对容易。然而,超临界稀疏随机图(np=c,对于某个常数 c>1)仍有待研究。
{"title":"Linear colouring of binomial random graphs","authors":"Austin Eide, Paweł Prałat","doi":"10.1016/j.disc.2024.114278","DOIUrl":"10.1016/j.disc.2024.114278","url":null,"abstract":"<div><div>We investigate the linear chromatic number <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mtext>lin</mtext></mrow></msub><mo>(</mo><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo><mo>)</mo></math></span> of the binomial random graph <span><math><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo></math></span> on <em>n</em> vertices in which each edge appears independently with probability <span><math><mi>p</mi><mo>=</mo><mi>p</mi><mo>(</mo><mi>n</mi><mo>)</mo></math></span>. For a graph <em>G</em>, <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mtext>lin</mtext></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span> is defined as the smallest <em>k</em> such that <em>G</em> admits a <em>k</em>-colouring with the property that every path <em>P</em> in <em>G</em> receives a colour which appears on only one vertex of <em>P</em>. For dense random graphs (<span><math><mi>n</mi><mi>p</mi><mo>→</mo><mo>∞</mo></math></span> as <span><math><mi>n</mi><mo>→</mo><mo>∞</mo></math></span>), we show that asymptotically almost surely <span><math><msub><mrow><mi>χ</mi></mrow><mrow><mtext>lin</mtext></mrow></msub><mo>(</mo><mi>G</mi><mo>(</mo><mi>n</mi><mo>,</mo><mi>p</mi><mo>)</mo><mo>)</mo><mo>≥</mo><mi>n</mi><mo>(</mo><mn>1</mn><mo>−</mo><mi>O</mi><mo>(</mo><msup><mrow><mo>(</mo><mi>n</mi><mi>p</mi><mo>)</mo></mrow><mrow><mo>−</mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></msup><mo>)</mo><mo>)</mo><mo>=</mo><mi>n</mi><mo>(</mo><mn>1</mn><mo>−</mo><mi>o</mi><mo>(</mo><mn>1</mn><mo>)</mo><mo>)</mo></math></span>. Understanding the order of the linear chromatic number for subcritical random graphs (<span><math><mi>n</mi><mi>p</mi><mo><</mo><mn>1</mn></math></span>) and critical ones (<span><math><mi>n</mi><mi>p</mi><mo>=</mo><mn>1</mn></math></span>) is relatively easy. However, supercritical sparse random graphs (<span><math><mi>n</mi><mi>p</mi><mo>=</mo><mi>c</mi></math></span> for some constant <span><math><mi>c</mi><mo>></mo><mn>1</mn></math></span>) remain to be investigated.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 2","pages":"Article 114278"},"PeriodicalIF":0.7,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142426775","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-10-03DOI: 10.1016/j.disc.2024.114273
Angelot Behajaina , Elad Paran
We study an analogue of the Collatz map in the polynomial ring , where R is an arbitrary commutative ring. We prove that if R is of positive characteristic, then every polynomial in is eventually periodic with respect to this map. This extends previous works of the authors and of Hicks, Mullen, Yucas and Zavislak, who studied the Collatz map on and , respectively. We also consider the Collatz map on the ring of formal power series when R is finite: we characterize the eventually periodic series in this ring, and give formulas for the number of cycles induced by the Collatz map, of any given length. We provide similar formulas for the original Collatz map defined on the ring of 2-adic integers, extending previous results of Lagarias.
我们研究了多项式环 R[x] 中的科拉茨映射,其中 R 是任意交换环。我们证明,如果 R 是正特征,那么 R[x] 中的每个多项式最终都是关于这个映射的周期性多项式。这扩展了作者以及希克斯、马伦、尤卡斯和扎维斯拉克之前的工作,他们分别研究了 Fp[x] 和 F2[x] 上的科拉茨映射。我们还考虑了当 R 有限时形式幂级数环 R[[x]] 上的科拉茨映射:我们描述了该环中最终周期数列的特征,并给出了任何给定长度的科拉茨映射诱导的循环数公式。我们为定义在二阶整数环 Z2 上的原始科拉茨映射提供了类似的公式,扩展了拉加里亚斯以前的结果。
{"title":"The Collatz map analogue in polynomial rings and in completions","authors":"Angelot Behajaina , Elad Paran","doi":"10.1016/j.disc.2024.114273","DOIUrl":"10.1016/j.disc.2024.114273","url":null,"abstract":"<div><div>We study an analogue of the Collatz map in the polynomial ring <span><math><mi>R</mi><mo>[</mo><mi>x</mi><mo>]</mo></math></span>, where <em>R</em> is an arbitrary commutative ring. We prove that if <em>R</em> is of positive characteristic, then every polynomial in <span><math><mi>R</mi><mo>[</mo><mi>x</mi><mo>]</mo></math></span> is eventually periodic with respect to this map. This extends previous works of the authors and of Hicks, Mullen, Yucas and Zavislak, who studied the Collatz map on <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub><mo>[</mo><mi>x</mi><mo>]</mo></math></span> and <span><math><msub><mrow><mi>F</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>[</mo><mi>x</mi><mo>]</mo></math></span>, respectively. We also consider the Collatz map on the ring of formal power series <span><math><mi>R</mi><mo>[</mo><mo>[</mo><mi>x</mi><mo>]</mo><mo>]</mo></math></span> when <em>R</em> is finite: we characterize the eventually periodic series in this ring, and give formulas for the number of cycles induced by the Collatz map, of any given length. We provide similar formulas for the original Collatz map defined on the ring <span><math><msub><mrow><mi>Z</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> of 2-adic integers, extending previous results of Lagarias.</div></div>","PeriodicalId":50572,"journal":{"name":"Discrete Mathematics","volume":"348 1","pages":"Article 114273"},"PeriodicalIF":0.7,"publicationDate":"2024-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142416658","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}