Pub Date : 2024-02-06DOI: 10.1007/s00373-023-02745-6
Sarah Allred, Emelie Curl, Shaun Fallat, Shahla Nasserasr, Houston Schuerger, Ralihe R. Villagrán, Prateek K. Vishwakarma
The utility of a matrix satisfying the Strong Spectral Property has been well established particularly in connection with the inverse eigenvalue problem for graphs. More recently the class of graphs in which all associated symmetric matrices possess the Strong Spectral Property (denoted ({mathcal {G}}^textrm{SSP})) were studied, and along these lines we aim to study properties of graphs that exhibit a so-called barbell partition. Such a partition is a known impediment to membership in the class ({mathcal {G}}^textrm{SSP}). In particular we consider the existence of barbell partitions under various standard and useful graph operations. We do so by considering both the preservation of an already present barbell partition after performing said graph operations as well as barbell partitions which are introduced under certain graph operations. The specific graph operations we consider are the addition and removal of vertices and edges, the duplication of vertices, as well as the Cartesian products, tensor products, strong products, corona products, joins, and vertex sums of two graphs. We also identify a correspondence between barbell partitions and graph substructures called forts, using this correspondence to further connect the study of zero forcing and the Strong Spectral Property.
{"title":"The Strong Spectral Property of Graphs: Graph Operations and Barbell Partitions","authors":"Sarah Allred, Emelie Curl, Shaun Fallat, Shahla Nasserasr, Houston Schuerger, Ralihe R. Villagrán, Prateek K. Vishwakarma","doi":"10.1007/s00373-023-02745-6","DOIUrl":"https://doi.org/10.1007/s00373-023-02745-6","url":null,"abstract":"<p>The utility of a matrix satisfying the Strong Spectral Property has been well established particularly in connection with the inverse eigenvalue problem for graphs. More recently the class of graphs in which all associated symmetric matrices possess the Strong Spectral Property (denoted <span>({mathcal {G}}^textrm{SSP})</span>) were studied, and along these lines we aim to study properties of graphs that exhibit a so-called barbell partition. Such a partition is a known impediment to membership in the class <span>({mathcal {G}}^textrm{SSP})</span>. In particular we consider the existence of barbell partitions under various standard and useful graph operations. We do so by considering both the preservation of an already present barbell partition after performing said graph operations as well as barbell partitions which are introduced under certain graph operations. The specific graph operations we consider are the addition and removal of vertices and edges, the duplication of vertices, as well as the Cartesian products, tensor products, strong products, corona products, joins, and vertex sums of two graphs. We also identify a correspondence between barbell partitions and graph substructures called forts, using this correspondence to further connect the study of zero forcing and the Strong Spectral Property.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758140","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-28DOI: 10.1007/s00373-023-02746-5
Thomas W. Mattman
Using the special value at (u=1) of the Artin-Ihara L-function, we give a short proof of the count of the number of spanning trees in the n-cube.
利用阿尔丁-伊哈拉 L 函数在 (u=1)处的特殊值,我们给出了 n 立方体中生成树数目的简短证明。
{"title":"A Novel Count of the Spanning Trees of a Cube","authors":"Thomas W. Mattman","doi":"10.1007/s00373-023-02746-5","DOIUrl":"https://doi.org/10.1007/s00373-023-02746-5","url":null,"abstract":"<p>Using the special value at <span>(u=1)</span> of the Artin-Ihara <i>L</i>-function, we give a short proof of the count of the number of spanning trees in the <i>n</i>-cube.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139581674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-28DOI: 10.1007/s00373-023-02741-w
Peter Dankelmann, Jane Morgan, Emily Rivett-Carnac
Let G be a bridgeless graph. An orientation of G is a digraph obtained from G by assigning a direction to each edge. The oriented diameter of G is the minimum diameter among all strong orientations of G. The connected domination number (gamma _c(G)) of G is the minimum cardinality of a set S of vertices of G such that every vertex of G is in S or adjacent to some vertex of S, and which induces a connected subgraph in G. We prove that the oriented diameter of a bridgeless graph G is at most (2 gamma _c(G) +3) if (gamma _c(G)) is even and (2 gamma _c(G) +2) if (gamma _c(G)) is odd. This bound is sharp. For (d in {mathbb {N}}), the d-distance domination number (gamma ^d(G)) of G is the minimum cardinality of a set S of vertices of G such that every vertex of G is at distance at most d from some vertex of S. As an application of a generalisation of the above result on the connected domination number, we prove an upper bound on the oriented diameter of the form ((2d+1)(d+1)gamma ^d(G)+ O(d)). Furthermore, we construct bridgeless graphs whose oriented diameter is at least ((d+1)^2 gamma ^d(G) +O(d)), thus demonstrating that our above bound is best possible apart from a factor of about 2.
设 G 是无桥图。G 的定向是通过给每条边分配一个方向而得到的数图。G 的定向直径是 G 的所有强定向中的最小直径。G 的连通支配数(gamma _c(G))是 G 的顶点集合 S 的最小卡片度,该集合使得 G 的每个顶点都在 S 中或与 S 的某个顶点相邻,并且在 G 中诱导出一个连通子图。我们证明,如果 (gamma _c(G)) 是偶数,那么无桥图 G 的定向直径最多为 (2 gamma _c(G) +3) ;如果 (gamma _c(G)) 是奇数,那么无桥图 G 的定向直径最多为 (2 gamma _c(G) +2) 。这个界限很尖锐。对于 (d in {mathbb {N}}), G 的 d-distance domination number (gamma ^d(G))是 G 的顶点集合 S 的最小卡片度,这样 G 的每个顶点到 S 的某个顶点的距离最多为 d。作为上述连通支配数结果的推广应用,我们证明了形式为 ((2d+1)(d+1)gamma ^d(G)+O(d))的定向直径上限。此外,我们构造的无桥图的有向直径至少是 ((d+1)^2 gamma ^d(G)+O(d)),从而证明了我们的上述约束除了约 2 倍的系数外是最好的。
{"title":"The Oriented Diameter of Graphs with Given Connected Domination Number and Distance Domination Number","authors":"Peter Dankelmann, Jane Morgan, Emily Rivett-Carnac","doi":"10.1007/s00373-023-02741-w","DOIUrl":"https://doi.org/10.1007/s00373-023-02741-w","url":null,"abstract":"<p>Let <i>G</i> be a bridgeless graph. An orientation of <i>G</i> is a digraph obtained from <i>G</i> by assigning a direction to each edge. The oriented diameter of <i>G</i> is the minimum diameter among all strong orientations of <i>G</i>. The connected domination number <span>(gamma _c(G))</span> of <i>G</i> is the minimum cardinality of a set <i>S</i> of vertices of <i>G</i> such that every vertex of <i>G</i> is in <i>S</i> or adjacent to some vertex of <i>S</i>, and which induces a connected subgraph in <i>G</i>. We prove that the oriented diameter of a bridgeless graph <i>G</i> is at most <span>(2 gamma _c(G) +3)</span> if <span>(gamma _c(G))</span> is even and <span>(2 gamma _c(G) +2)</span> if <span>(gamma _c(G))</span> is odd. This bound is sharp. For <span>(d in {mathbb {N}})</span>, the <i>d</i>-distance domination number <span>(gamma ^d(G))</span> of <i>G</i> is the minimum cardinality of a set <i>S</i> of vertices of <i>G</i> such that every vertex of <i>G</i> is at distance at most <i>d</i> from some vertex of <i>S</i>. As an application of a generalisation of the above result on the connected domination number, we prove an upper bound on the oriented diameter of the form <span>((2d+1)(d+1)gamma ^d(G)+ O(d))</span>. Furthermore, we construct bridgeless graphs whose oriented diameter is at least <span>((d+1)^2 gamma ^d(G) +O(d))</span>, thus demonstrating that our above bound is best possible apart from a factor of about 2.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139581863","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-25DOI: 10.1007/s00373-023-02734-9
J. L. Álvarez-Rebollar, J. Cravioto-Lagos, N. Marín, O. Solé-Pi, J. Urrutia
Let S be a set of n points in the plane in general position. Two line segments connecting pairs of points of Scross if they have an interior point in common. Two vertex-disjoint geometric graphs with vertices in Scross if there are two edges, one from each graph, which cross. A set of vertex-disjoint geometric graphs with vertices in S is called mutually crossing if any two of them cross. We show that there exists a constant c such that from any family of n mutually-crossing triangles, one can always obtain a family of at least (n^c) mutually-crossing 2-paths (each of which is the result of deleting an edge from one of the triangles) and provide an example that implies that c cannot be taken to be larger than 2/3. Then, for every n we determine the maximum number of crossings that a Hamiltonian cycle on a set of n points might have, and give examples achieving this bound. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of S, which we call elbows, and prove that in any point set S there exists a family of (lfloor n/4 rfloor ) vertex-disjoint mutually-crossing elbows. Additionally, we show a point set that admits no more than n/3 mutually-crossing elbows. Finally we study intersecting families of graphs, which are not necessarily vertex disjoint. A set of edge-disjoint graphs with vertices in S is called an intersecting family if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel (Acta Math Hung 15(2):301–311, 2019, https://doi.org/10.1007/s10474-018-0880-1), namely, that any set S of n points in general position admits a family of intersecting triangles with a quadratic number of elements. For points in convex position we prove that any set of 3n points in convex position contains a family with at least (n^2) intersecting triangles.
设 S 是平面上 n 个点的集合,且处于一般位置。如果连接 S 中点对的两条线段有一个共同的内点,则这两条线段相交。两个顶点相交的几何图形的顶点都在 S 中,如果有两条边(每条边都来自一个图形)相交,则这两个图形相交。如果顶点在 S 中的顶点相交的两个几何图形有两条边相交,则称这两个几何图形为互交图。我们证明存在一个常数 c,使得从任意 n 个相互交叉的三角形族中,总能得到至少一个相互交叉的 2 路径族(每个路径都是从其中一个三角形中删除一条边的结果),并举例说明 c 不能大于 2/3。然后,对于每 n 个点,我们确定一个哈密顿循环在 n 个点集合上可能具有的最大交叉次数,并举例说明如何实现这一约束。接下来,我们构建一个点集,其最长的完美匹配不包含交叉点。我们还考虑了由连接 S 的成对点的一条水平线段和一条垂直线段组成的边,我们称之为肘,并证明在任何一个点集 S 中都存在一个顶点相交的肘族。此外,我们还展示了一个点集,它允许不超过 n/3 个相互交叉的肘。最后,我们研究了不一定是顶点相交的相交图族。如果对于集合中的任意两个图形,我们都能在其中选择一条边使它们相交,那么顶点在 S 中的边相交图形集合就被称为相交族。我们证明了 Lara 和 Rubio-Montiel 的一个猜想(Acta Math Hung 15(2):301-311, 2019, https://doi.org/10.1007/s10474-018-0880-1),即在一般位置上,任何由 n 个点组成的集合 S 都包含一个元素数为二次方的相交三角形族。对于凸位置中的点,我们证明凸位置中任何 3n 个点的集合都包含一个至少有 (n^2)个相交三角形的族。
{"title":"Crossing and intersecting families of geometric graphs on point sets","authors":"J. L. Álvarez-Rebollar, J. Cravioto-Lagos, N. Marín, O. Solé-Pi, J. Urrutia","doi":"10.1007/s00373-023-02734-9","DOIUrl":"https://doi.org/10.1007/s00373-023-02734-9","url":null,"abstract":"<p>Let <i>S</i> be a set of <i>n</i> points in the plane in general position. Two line segments connecting pairs of points of <i>S</i> <i>cross</i> if they have an interior point in common. Two vertex-disjoint geometric graphs with vertices in <i>S</i> <i>cross</i> if there are two edges, one from each graph, which cross. A set of vertex-disjoint geometric graphs with vertices in <i>S</i> is called <i>mutually crossing</i> if any two of them cross. We show that there exists a constant <i>c</i> such that from any family of <i>n</i> mutually-crossing triangles, one can always obtain a family of at least <span>(n^c)</span> mutually-crossing 2-paths (each of which is the result of deleting an edge from one of the triangles) and provide an example that implies that <i>c</i> cannot be taken to be larger than 2/3. Then, for every <i>n</i> we determine the maximum number of crossings that a Hamiltonian cycle on a set of <i>n</i> points might have, and give examples achieving this bound. Next, we construct a point set whose longest perfect matching contains no crossings. We also consider edges consisting of a horizontal and a vertical line segment joining pairs of points of <i>S</i>, which we call <i>elbows</i>, and prove that in any point set <i>S</i> there exists a family of <span>(lfloor n/4 rfloor )</span> vertex-disjoint mutually-crossing elbows. Additionally, we show a point set that admits no more than <i>n</i>/3 mutually-crossing elbows. Finally we study <i>intersecting families</i> of graphs, which are not necessarily vertex disjoint. A set of edge-disjoint graphs with vertices in <i>S</i> is called an <i>intersecting family</i> if for any two graphs in the set we can choose an edge in each of them such that they cross. We prove a conjecture by Lara and Rubio-Montiel (Acta Math Hung 15(2):301–311, 2019, https://doi.org/10.1007/s10474-018-0880-1), namely, that any set <i>S</i> of <i>n</i> points in general position admits a family of intersecting triangles with a quadratic number of elements. For points in convex position we prove that any set of 3<i>n</i> points in convex position contains a family with at least <span>(n^2)</span> intersecting triangles.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139560035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-19DOI: 10.1007/s00373-023-02742-9
Christina Graves, L.-K. Lauderdale
The fixing number of a graph (Gamma ) is the minimum number of vertices that, when fixed, remove all nontrivial automorphisms from the automorphism group of (Gamma ). This concept was extended to finite groups by Gibbons and Laison. The fixing set of a finite group G is the set of all fixing numbers of graphs whose automorphism groups are isomorphic to G. Surprisingly few fixing sets of groups have been established; only the fixing sets of abelian groups and dihedral groups are completely understood. However, the fixing sets of symmetric groups have been studied previously. In this article, we establish new elements of the fixing sets of symmetric groups by considering line graphs of complete graphs. We conclude by establishing the fixing sets of generalized quaternion groups.
图 (Gamma )的固定数是指:当固定时,能从(Gamma )的自形群中移除所有非琐自形的顶点的最小数目。这个概念由 Gibbons 和 Laison 扩展到有限群。有限群 G 的固定集是其自变群与 G 同构的图的所有固定数的集合。令人惊讶的是,群的固定集很少被建立;只有无性群和二重群的固定集被完全理解。不过,对称群的固定集以前也有人研究过。在本文中,我们通过考虑完整图形的线图,建立了对称群固定集的新元素。最后,我们将建立广义四元组的固定集。
{"title":"Fixing Numbers of Graphs with Symmetric and Generalized Quaternion Symmetry Groups","authors":"Christina Graves, L.-K. Lauderdale","doi":"10.1007/s00373-023-02742-9","DOIUrl":"https://doi.org/10.1007/s00373-023-02742-9","url":null,"abstract":"<p>The <i>fixing number</i> of a graph <span>(Gamma )</span> is the minimum number of vertices that, when fixed, remove all nontrivial automorphisms from the automorphism group of <span>(Gamma )</span>. This concept was extended to finite groups by Gibbons and Laison. The <i>fixing set</i> of a finite group <i>G</i> is the set of all fixing numbers of graphs whose automorphism groups are isomorphic to <i>G</i>. Surprisingly few fixing sets of groups have been established; only the fixing sets of abelian groups and dihedral groups are completely understood. However, the fixing sets of symmetric groups have been studied previously. In this article, we establish new elements of the fixing sets of symmetric groups by considering line graphs of complete graphs. We conclude by establishing the fixing sets of generalized quaternion groups.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139498319","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-19DOI: 10.1007/s00373-023-02743-8
Junling Zhou, Na Zhang
A t-spontaneous emission error design, denoted by t-(v, k; m) SEED or t-SEED in short, is a system ({{mathcal {B}}}) of k-subsets of a v-set V with a partition ({{mathcal {B}}}_1,mathcal{B}_2,ldots ,{{mathcal {B}}}_{m}) of ({{mathcal {B}}}) satisfying ({{|{Bin {mathcal {B}}_i:, E subseteq B}|}over {|{mathcal {B}}_i|}}=mu _E ) for any (1le ile m) and (Esubseteq V), (|E|le t), where (mu _E) is a constant depending only on E. A t-(v, k; m) SEED is an important combinatorial object with applications in quantum jump codes. The number m is called the dimension of the t-SEED and this corresponds to the number of orthogonal basis states in a quantum jump code. For given v, k and t, a t-(v, k; m) SEED is called optimal when m achieves the largest possible dimension. When (kmid v), an optimal 1-(v, k; m) SEED has dimension ({v-1atopwithdelims ()k-1}) and can be constructed by Baranyai’s Theorem. This note investigates optimal 1-(v, k; m) SEEDs with (knot mid v), in which a generalization of Baranyai’s Theorem plays a significant role. To be specific, we construct an optimal 1-(v, k; m) SEED for all positive integers v, k, s with (vequiv -s) (mod k), (kge s+1) and (vge max {2k, s(2k-1)}).
一个 t 自发排放误差设计,用 t-(v,k.m)SEED 或 t-SEED 表示;m) SEED 或简称 t-SEED,是一个 v 集 V 的 k 个子集的系统({{mathcal {B}}) ,其分区为 ({{mathcal {B}}}_1、的分割({{mathcal {B}}_2,ldots ,{{mathcal {B}}_{m}) 满足({|{Bin {mathcal {B}}_i:, E subseteq B}|}over {|{mathcal {B}}_i|}}=mu _E ) for any (1le ile m) and (E subseteq V), (|E|le t), where (mu _E) is a constant depending on E.t-(v, k; m) SEED 是一个重要的组合对象,在量子跳转码中有应用。数字 m 称为 t-SEED 的维度,它对应于量子跳跃码中正交基态的数量。对于给定的 v、k 和 t,当 m 达到最大可能维度时,t-(v, k; m) SEED 被称为最优。当 (kmid v) 时,最优 1-(v, k; m) SEED 的维数为({v-1atopwithdelims ()k-1}) 并且可以通过巴兰雅定理构造。本论文研究了最优的 1-(v,k;m)SEED,其维度为 (k (not (mid v)),其中 Baranyai 定理的广义发挥了重要作用。具体来说,我们为所有正整数v, k, s构造了一个最优的1-(v, k; m) SEED,它具有(vequiv -s)(mod k)、(kge s+1)和(vge max {2k,s(2k-1)})。
{"title":"A Construction of Optimal 1-Spontaneous Emission Error Designs","authors":"Junling Zhou, Na Zhang","doi":"10.1007/s00373-023-02743-8","DOIUrl":"https://doi.org/10.1007/s00373-023-02743-8","url":null,"abstract":"<p>A <i>t</i>-spontaneous emission error design, denoted by <i>t</i>-(<i>v</i>, <i>k</i>; <i>m</i>) SEED or <i>t</i>-SEED in short, is a system <span>({{mathcal {B}}})</span> of <i>k</i>-subsets of a <i>v</i>-set <i>V</i> with a partition <span>({{mathcal {B}}}_1,mathcal{B}_2,ldots ,{{mathcal {B}}}_{m})</span> of <span>({{mathcal {B}}})</span> satisfying <span>({{|{Bin {mathcal {B}}_i:, E subseteq B}|}over {|{mathcal {B}}_i|}}=mu _E )</span> for any <span>(1le ile m)</span> and <span>(Esubseteq V)</span>, <span>(|E|le t)</span>, where <span>(mu _E)</span> is a constant depending only on <i>E</i>. A <i>t</i>-(<i>v</i>, <i>k</i>; <i>m</i>) SEED is an important combinatorial object with applications in quantum jump codes. The number <i>m</i> is called the dimension of the <i>t</i>-SEED and this corresponds to the number of orthogonal basis states in a quantum jump code. For given <i>v</i>, <i>k</i> and <i>t</i>, a <i>t</i>-(<i>v</i>, <i>k</i>; <i>m</i>) SEED is called optimal when <i>m</i> achieves the largest possible dimension. When <span>(kmid v)</span>, an optimal 1-(<i>v</i>, <i>k</i>; <i>m</i>) SEED has dimension <span>({v-1atopwithdelims ()k-1})</span> and can be constructed by Baranyai’s Theorem. This note investigates optimal 1-(<i>v</i>, <i>k</i>; <i>m</i>) SEEDs with <span>(knot mid v)</span>, in which a generalization of Baranyai’s Theorem plays a significant role. To be specific, we construct an optimal 1-(<i>v</i>, <i>k</i>; <i>m</i>) SEED for all positive integers <i>v</i>, <i>k</i>, <i>s</i> with <span>(vequiv -s)</span> (mod <i>k</i>), <span>(kge s+1)</span> and <span>(vge max {2k, s(2k-1)})</span>.\u0000</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139498278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-19DOI: 10.1007/s00373-023-02740-x
Kanoy Kumar Das
In this article, our aim is to extend the class of monomial ideals for which symbolic and ordinary powers coincide. This property has been characterized for the class of edge ideals of simple graphs, and in this article, we study a completely new class of monomial ideals associated to simple graphs, namely the class of generalized edge ideals. We give a complete description of the primary components associated to the minimal associated primes of these ideals. Using this description, and assuming some conditions on the relative weights, we completely characterize the equality of ordinary and symbolic powers of generalized edge ideals. After that, we also characterize generalized edge ideals of the 3-cycle for which this equality holds.
{"title":"Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals","authors":"Kanoy Kumar Das","doi":"10.1007/s00373-023-02740-x","DOIUrl":"https://doi.org/10.1007/s00373-023-02740-x","url":null,"abstract":"<p>In this article, our aim is to extend the class of monomial ideals for which symbolic and ordinary powers coincide. This property has been characterized for the class of edge ideals of simple graphs, and in this article, we study a completely new class of monomial ideals associated to simple graphs, namely the class of generalized edge ideals. We give a complete description of the primary components associated to the minimal associated primes of these ideals. Using this description, and assuming some conditions on the relative weights, we completely characterize the equality of ordinary and symbolic powers of generalized edge ideals. After that, we also characterize generalized edge ideals of the 3-cycle for which this equality holds.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139498246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-19DOI: 10.1007/s00373-023-02735-8
Zhiwei Guo, Christoph Brause, Maximilian Geißer, Ingo Schiermeyer
A compatible spanning circuit in an edge-colored graph G (not necessarily properly) is defined as a closed trail containing all vertices of G in which any two consecutively traversed edges have distinct colors. The existence of extremal compatible spanning circuits (i.e., compatible Hamilton cycles and compatible Euler tours) has been studied extensively. Recently, sufficient conditions for the existence of compatible spanning circuits visiting each vertex at least a specified number of times in specific edge-colored graphs satisfying certain degree conditions have been established. In this paper, we continue the research on sufficient conditions for the existence of such compatible s-panning circuits. We consider edge-colored graphs containing no certain forbidden induced subgraphs. As applications, we also consider the existence of such compatible spanning circuits in edge-colored graphs G with κ(G) ≥ α(G), κ(G) ≥ α(G) − 1 and κ (G) ≥ α(G), respectively. In this context, κ(G), α(G) and κ (G) denote the connectivity, the independence number and the edge connectivity of a graph G, respectively.
边缘着色图 G(不一定是正确的)中的兼容遍历环路被定义为包含 G 中所有顶点的封闭路径,其中任意两条连续遍历的边具有不同的颜色。人们对极值兼容遍历环路(即兼容汉密尔顿循环和兼容欧拉遍历)的存在进行了广泛的研究。最近,在满足一定度数条件的特定边缘着色图中,已经建立了至少访问每个顶点指定次数的兼容遍历循环存在的充分条件。在本文中,我们将继续研究这种兼容 s-panning 循环存在的充分条件。我们考虑的是不包含某些禁止诱导子图的边色图。作为应用,我们还考虑了在κ(G) ≥ α(G)、κ(G) ≥ α(G) - 1 和 κ (G) ≥ α(G)的边色图 G 中分别存在这样的兼容扫描电路。在这里,κ(G)、α(G) 和 κ (G) 分别表示图 G 的连通性、独立数和边连通性。
{"title":"Compatible Spanning Circuits and Forbidden Induced Subgraphs","authors":"Zhiwei Guo, Christoph Brause, Maximilian Geißer, Ingo Schiermeyer","doi":"10.1007/s00373-023-02735-8","DOIUrl":"https://doi.org/10.1007/s00373-023-02735-8","url":null,"abstract":"<p>A compatible spanning circuit in an edge-colored graph <i>G</i> (not necessarily properly) is defined as a closed trail containing all vertices of <i>G</i> in which any two consecutively traversed edges have distinct colors. The existence of extremal compatible spanning circuits (i.e., compatible Hamilton cycles and compatible Euler tours) has been studied extensively. Recently, sufficient conditions for the existence of compatible spanning circuits visiting each vertex at least a specified number of times in specific edge-colored graphs satisfying certain degree conditions have been established. In this paper, we continue the research on sufficient conditions for the existence of such compatible s-panning circuits. We consider edge-colored graphs containing no certain forbidden induced subgraphs. As applications, we also consider the existence of such compatible spanning circuits in edge-colored graphs <i>G</i> with <i>κ</i>(<i>G</i>) ≥ <i>α</i>(<i>G</i>), <i>κ</i>(<i>G</i>) ≥ <i>α</i>(<i>G</i>) − 1 and <i>κ</i> (<i>G</i>) ≥ <i>α</i>(<i>G</i>), respectively. In this context, <i>κ</i>(<i>G</i>), <i>α</i>(<i>G</i>) and <i>κ</i> (<i>G</i>) denote the connectivity, the independence number and the edge connectivity of a graph <i>G</i>, respectively.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139498279","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-19DOI: 10.1007/s00373-023-02744-7
Mansoor Davoodi, Ashkan Safari
In this paper, we consider the problem of path planning in a weighted polygonal planar subdivision. Each polygon has an associated positive weight which shows the cost of path per unit distance of movement in that polygon. The goal is to find a minimum cost path under the Manhattan metric for two given start and destination points. First, we propose an (O(n^2)) time and space algorithm to solve this problem, where n is the total number of vertices in the subdivision. Then, we improve the time and space complexity of the algorithm to (O(n log ^2 n)) and (O(n log n)), respectively, by applying a divide and conquer approach. We also study the case of rectilinear regions in three dimensions and show that the minimum cost path under the Manhattan metric is obtained in ( O(n^2 log ^3 n) ) time and ( O(n^2 log ^2 n) ) space.
{"title":"Path Planning in a Weighted Planar Subdivision Under the Manhattan Metric","authors":"Mansoor Davoodi, Ashkan Safari","doi":"10.1007/s00373-023-02744-7","DOIUrl":"https://doi.org/10.1007/s00373-023-02744-7","url":null,"abstract":"<p>In this paper, we consider the problem of path planning in a weighted polygonal planar subdivision. Each polygon has an associated positive weight which shows the cost of path per unit distance of movement in that polygon. The goal is to find a minimum cost path under the Manhattan metric for two given start and destination points. First, we propose an <span>(O(n^2))</span> time and space algorithm to solve this problem, where <i>n</i> is the total number of vertices in the subdivision. Then, we improve the time and space complexity of the algorithm to <span>(O(n log ^2 n))</span> and <span>(O(n log n))</span>, respectively, by applying a divide and conquer approach. We also study the case of rectilinear regions in three dimensions and show that the minimum cost path under the Manhattan metric is obtained in <span>( O(n^2 log ^3 n) )</span> time and <span>( O(n^2 log ^2 n) )</span> space.</p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139498231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-11DOI: 10.1007/s00373-023-02739-4
Alaittin Kırtışoğlu, Lale Özkahya
The problem of finding the minimum number of colors to color a graph properly without containing any bicolored copy of a fixed family of subgraphs has been widely studied. Most well-known examples are star coloring and acyclic coloring of graphs (Grünbaum in Isreal J Math 14(4):390–498, 1973) where bicolored copies of (P_4) and cycles are not allowed, respectively. In this paper, we introduce a variation of these problems and study proper coloring of graphs not containing a bicolored path of a fixed length and provide general bounds for all graphs. A (P_k)-coloring of an undirected graph G is a proper vertex coloring of G such that there is no bicolored copy of (P_k) in G, and the minimum number of colors needed for a (P_k)-coloring of G is called the (P_k)-chromatic number of G, denoted by (s_k(G).) We provide bounds on (s_k(G)) for all graphs, in particular, proving that for any graph G with maximum degree (dge 2,) and (kge 4,)(s_k(G)le lceil 6sqrt{10}d^{frac{k-1}{k-2}} rceil .) Moreover, we find the exact values for the (P_k)-chromatic number of the products of some cycles and paths for (k=5,6.)
人们已经广泛研究了如何找到最少的颜色数来对一个图进行适当着色,而又不包含固定子图族的任何双色副本的问题。最著名的例子是图的星形着色和非循环着色(Grünbaum in Isreal J Math 14(4):390-498,1973),在这两个例子中,分别不允许有 (P_4) 和循环的双色副本。在本文中,我们将引入这些问题的变体,研究不包含固定长度双色路径的图的适当着色,并为所有图提供一般界限。一个无向图 G 的 (P_k)- 着色是 G 的适当顶点着色,使得 G 中不存在 (P_k) 的双色副本,G 的 (P_k)- 着色所需的最小颜色数称为 G 的 (P_k)- 色度数,用 (s_k(G).) 表示。我们提供了所有图的(s_k(G))的边界,特别是证明了对于任何具有最大度(dge 2,)和(kge 4,)的图 G,(s_k(G)le lceil 6sqrt{10}d^{frac{k-1}{k-2}}.rceil .)此外,我们还找到了一些循环和路径的乘积的(P_k)-色数的精确值(k=5,6.)
{"title":"Coloring of Graphs Avoiding Bicolored Paths of a Fixed Length","authors":"Alaittin Kırtışoğlu, Lale Özkahya","doi":"10.1007/s00373-023-02739-4","DOIUrl":"https://doi.org/10.1007/s00373-023-02739-4","url":null,"abstract":"<p>The problem of finding the minimum number of colors to color a graph properly without containing any bicolored copy of a fixed family of subgraphs has been widely studied. Most well-known examples are star coloring and acyclic coloring of graphs (Grünbaum in Isreal J Math 14(4):390–498, 1973) where bicolored copies of <span>(P_4)</span> and cycles are not allowed, respectively. In this paper, we introduce a variation of these problems and study proper coloring of graphs not containing a bicolored path of a fixed length and provide general bounds for all graphs. A <span>(P_k)</span>-coloring of an undirected graph <i>G</i> is a proper vertex coloring of <i>G</i> such that there is no bicolored copy of <span>(P_k)</span> in <i>G</i>, and the minimum number of colors needed for a <span>(P_k)</span>-coloring of <i>G</i> is called the <span>(P_k)</span>-chromatic number of <i>G</i>, denoted by <span>(s_k(G).)</span> We provide bounds on <span>(s_k(G))</span> for all graphs, in particular, proving that for any graph <i>G</i> with maximum degree <span>(dge 2,)</span> and <span>(kge 4,)</span> <span>(s_k(G)le lceil 6sqrt{10}d^{frac{k-1}{k-2}} rceil .)</span> Moreover, we find the exact values for the <span>(P_k)</span>-chromatic number of the products of some cycles and paths for <span>(k=5,6.)</span></p>","PeriodicalId":12811,"journal":{"name":"Graphs and Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.7,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139465047","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}