{"title":"Maximum degree and spectral radius of graphs in terms of size","authors":"Zhiwen Wang, Ji-Ming Guo","doi":"10.1007/s10801-023-01289-5","DOIUrl":"https://doi.org/10.1007/s10801-023-01289-5","url":null,"abstract":"<p>Denote by <span>(rho (G))</span> and <span>(kappa (G))</span> the spectral radius and the signless Laplacian spectral radius of a graph <i>G</i>, respectively. Let <span>(kge 0)</span> be a fixed integer and <i>G</i> be a graph of size <i>m</i> which is large enough. We show that if <span>(rho (G)ge sqrt{m-k})</span>, then <span>(C_4subseteq G)</span> or <span>(K_{1,m-k}subseteq G)</span>. Moreover, we prove that if <span>(kappa (G)ge m-k+1)</span>, then <span>(K_{1,m-k}subseteq G)</span>. Both these results extend some known results.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139510416","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Perfect state transfer on quasi-abelian semi-Cayley graphs","authors":"Shixin Wang, Majid Arezoomand, Tao Feng","doi":"10.1007/s10801-023-01288-6","DOIUrl":"https://doi.org/10.1007/s10801-023-01288-6","url":null,"abstract":"<p>Perfect state transfer on graphs has attracted extensive attention due to its application in quantum information and quantum computation. A graph is a semi-Cayley graph over a group <i>G</i> if it admits <i>G</i> as a semiregular subgroup of the full automorphism group with two orbits of equal size. A semi-Cayley graph <i>SC</i>(<i>G</i>, <i>R</i>, <i>L</i>, <i>S</i>) is called quasi-abelian if each of <i>R</i>, <i>L</i> and <i>S</i> is a union of some conjugacy classes of <i>G</i>. This paper establishes necessary and sufficient conditions for a quasi-abelian semi-Cayley graph to have perfect state transfer. As a corollary, it is shown that if a quasi-abelian semi-Cayley graph over a finite group <i>G</i> has perfect state transfer between distinct vertices <i>g</i> and <i>h</i>, and <i>G</i> has a faithful irreducible character, then <span>(gh^{-1})</span> lies in the center of <i>G</i> and <span>(gh=hg)</span>; in particular, <i>G</i> cannot be a non-abelian simple group. We also characterize quasi-abelian Cayley graphs over arbitrary groups having perfect state transfer, which is a generalization of previous works on Cayley graphs over abelian groups, dihedral groups, semi-dihedral groups and dicyclic groups.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139506373","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Cactus groups, twin groups, and right-angled Artin groups","authors":"Paolo Bellingeri, Hugo Chemin, Victoria Lebed","doi":"10.1007/s10801-023-01286-8","DOIUrl":"https://doi.org/10.1007/s10801-023-01286-8","url":null,"abstract":"<p>Cactus groups <span>(J_n)</span> are currently attracting considerable interest from diverse mathematical communities. This work explores their relations to right-angled Coxeter groups and, in particular, twin groups <span>(Tw_n)</span> and Mostovoy’s Gauss diagram groups <span>(D_n)</span>, which are better understood. Concretely, we construct an injective group 1-cocycle from <span>(J_n)</span> to <span>(D_n)</span> and show that <span>(Tw_n)</span> (and its <i>k</i>-leaf generalizations) inject into <span>(J_n)</span>. As a corollary, we solve the word problem for cactus groups, determine their torsion (which is only even) and center (which is trivial), and answer the same questions for pure cactus groups, <span>(PJ_n)</span>. In addition, we yield a 1-relator presentation of the first non-abelian pure cactus group <span>(PJ_4)</span>. Our tools come mainly from combinatorial group theory.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139420915","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Quivers and path semigroups characterized by locality conditions","authors":"Shanghua Zheng, Li Guo","doi":"10.1007/s10801-023-01281-z","DOIUrl":"https://doi.org/10.1007/s10801-023-01281-z","url":null,"abstract":"<p>Path algebras from quivers are a fundamental class of algebras with wide applications. Yet it is challenging to describe their universal properties since their underlying path semigroups are only partially defined. A new notion, called locality structures, was recently introduced to deal with partially defined operation, with motivation from locality in convex geometry and quantum field theory. We show that there is a natural correspondence between locality sets and quivers which leads to a concrete class of locality semigroups, called Brandt locality semigroups, which can be obtained by the paths of quivers. Further these path Brandt locality semigroups are precisely the free objects in the category of Brandt locality semigroups with a rigidity condition. This characterization gives a universal property of path algebras and at the same time a combinatorial realization of free rigid Brandt locality semigroups.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-12-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139052865","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On edge-transitive metacyclic covers of cubic arc-transitive graphs of order twice a prime","authors":"Xue Wang, Jin-Xin Zhou, Jaeun Lee","doi":"10.1007/s10801-023-01287-7","DOIUrl":"https://doi.org/10.1007/s10801-023-01287-7","url":null,"abstract":"<p>Let <i>p</i> be a prime, and let <span>(Lambda _{2p})</span> be a connected cubic arc-transitive graph of order 2<i>p</i>. In the literature, a lot of works have been done on the classification of edge-transitive normal covers of <span>(Lambda _{2p})</span> for specific <span>(ple 7)</span>. An interesting problem is to generalize these results to an arbitrary prime <i>p</i>. In 2014, Zhou and Feng classified edge-transitive cyclic or dihedral normal covers of <span>(Lambda _{2p})</span> for each prime <i>p</i>. In our previous work, we classified all edge-transitive <i>N</i>-normal covers of <span>(Lambda _{2p})</span>, where <i>p</i> is a prime and <i>N</i> is a metacyclic 2-group. In this paper, we give a classification of edge-transitive <i>N</i>-normal covers of <span>(Lambda _{2p})</span>, where <span>(pge 5)</span> is a prime and <i>N</i> is a metacyclic group of odd prime power order.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139052874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Riemann–Hurwitz theorem and Riemann–Roch theorem for hypermaps","authors":"Mengnan Cheng, Tingbin Cao","doi":"10.1007/s10801-023-01285-9","DOIUrl":"https://doi.org/10.1007/s10801-023-01285-9","url":null,"abstract":"<p>In this paper, we try to answer some questions raised by Cangelmi (Eur J Comb 33(7):1444–1448, 2012). We reinterpret the Riemann–Hurwitz theorem of orientable algebraic hypermaps by introducing tripartite graph morphisms and obtain Riemann–Roch theorems for orientable hypermaps by defining the divisor of a function <i>f</i> on darts. In addition, we extend Riemann–Roch theorem to non-orientable hypermaps by suitably replacing the orientable genus with the non-orientable genus. Finally, as an application of the Riemann–Hurwitz theorem, we establish the second main theorem from the viewpoint of Nevanlinna theory.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139052498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Asymptotic regularity of invariant chains of edge ideals","authors":"Do Trong Hoang, Hop D. Nguyen, Quang Hoa Tran","doi":"10.1007/s10801-023-01284-w","DOIUrl":"https://doi.org/10.1007/s10801-023-01284-w","url":null,"abstract":"<p>We study chains of nonzero edge ideals that are invariant under the action of the monoid <span>({{,textrm{Inc},}})</span> of increasing functions on the positive integers. We prove that the sequence of Castelnuovo–Mumford regularity of ideals in such a chain is eventually constant with limit either 2 or 3, and we determine explicitly when the constancy behavior sets in. This provides further evidence to a conjecture on the asymptotic linearity of the regularity of <span>({{,textrm{Inc},}})</span>-invariant chains of homogeneous ideals. The proofs reveal unexpected combinatorial properties of <span>({{,textrm{Inc},}})</span>-invariant chains of edge ideals.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-12-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139030581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the automorphism groups of regular maps","authors":"Xiaogang Li, Yao Tian","doi":"10.1007/s10801-023-01280-0","DOIUrl":"https://doi.org/10.1007/s10801-023-01280-0","url":null,"abstract":"<p>Let <span>(mathcal{M})</span> be an orientably regular (resp. regular) map with the number <i>n</i> vertices. By <span>(G^+)</span> (resp. <i>G</i>) we denote the group of all orientation-preserving automorphisms (resp. all automorphisms) of <span>(mathcal{M})</span>. Let <span>(pi )</span> be the set of prime divisors of <i>n</i>. A Hall <span>(pi )</span>-subgroup of <span>(G^+)</span>(resp. <i>G</i>) is meant a subgroup such that the prime divisors of its order all lie in <span>(pi )</span> and the primes of its index all lie outside <span>(pi )</span>. It is mainly proved in this paper that (1) suppose that <span>(mathcal{M})</span> is an orientably regular map where <i>n</i> is odd. Then <span>(G^+)</span> is solvable and contains a normal Hall <span>(pi )</span>-subgroup; (2) suppose that <span>(mathcal{M})</span> is a regular map where <i>n</i> is odd. Then <i>G</i> is solvable if it has no composition factors isomorphic to <span>(hbox {PSL}(2,q))</span> for any odd prime power <span>(qne 3)</span>, and <i>G</i> contains a normal Hall <span>(pi )</span>-subgroup if and only if it has a normal Hall subgroup of odd order.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138505336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Decreasing behavior of the depth functions of edge ideals","authors":"Ha Thi Thu Hien, Ha Minh Lam, Ngo Viet Trung","doi":"10.1007/s10801-023-01278-8","DOIUrl":"https://doi.org/10.1007/s10801-023-01278-8","url":null,"abstract":"<p>Let <i>I</i> be the edge ideal of a connected non-bipartite graph and <i>R</i> the base polynomial ring. Then, <span>({text {depth}}R/I ge 1)</span> and <span>({text {depth}}R/I^t = 0)</span> for <span>(t gg 1)</span>. This paper studies the problem when <span>({text {depth}}R/I^t = 1)</span> for some <span>(t ge 1)</span> and whether the depth function is non-increasing thereafter. Furthermore, we are able to give a simple combinatorial criterion for <span>({text {depth}}R/I^{(t)} = 1)</span> for <span>(t gg 1)</span> and show that the condition <span>({text {depth}}R/I^{(t)} = 1)</span> is persistent, where <span>(I^{(t)})</span> denotes the <i>t</i>-th symbolic powers of <i>I</i>.\u0000</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2023-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138505342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"An example of a non-associative Moufang loop of point classes on a cubic surface","authors":"Dimitri Kanevsky","doi":"10.1007/s10801-023-01274-y","DOIUrl":"https://doi.org/10.1007/s10801-023-01274-y","url":null,"abstract":"Abstract Let V be a cubic surface defined by the equation $$T_0^3+T_1^3+T_2^3+theta T_3^3=0$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:msubsup> <mml:mi>T</mml:mi> <mml:mn>0</mml:mn> <mml:mn>3</mml:mn> </mml:msubsup> <mml:mo>+</mml:mo> <mml:msubsup> <mml:mi>T</mml:mi> <mml:mn>1</mml:mn> <mml:mn>3</mml:mn> </mml:msubsup> <mml:mo>+</mml:mo> <mml:msubsup> <mml:mi>T</mml:mi> <mml:mn>2</mml:mn> <mml:mn>3</mml:mn> </mml:msubsup> <mml:mo>+</mml:mo> <mml:mi>θ</mml:mi> <mml:msubsup> <mml:mi>T</mml:mi> <mml:mn>3</mml:mn> <mml:mn>3</mml:mn> </mml:msubsup> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math> over a quadratic extension of 3-adic numbers $$k=mathbb {Q}_3(theta )$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>Q</mml:mi> <mml:mn>3</mml:mn> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>θ</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> , where $$theta ^3=1$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mrow> <mml:msup> <mml:mi>θ</mml:mi> <mml:mn>3</mml:mn> </mml:msup> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:math> . We show that a relation on a set of geometric k-points on V modulo $$(1-theta )^3$$ <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msup> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>-</mml:mo> <mml:mi>θ</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mn>3</mml:mn> </mml:msup> </mml:math> (in a ring of integers of k ) defines an admissible relation and a commutative Moufang loop associated with classes of this admissible equivalence is non-associative. This answers a problem that was formulated by Yu. I. Manin more than 50 years ago about existence of a cubic surface with a non-associative Moufang loop of point classes.","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135292684","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}