Journal of Algebraic Combinatorics最新文献

{"title":"Basis condition for generalized spline modules","authors":"Seher Fişekci, Samet Sarıoğlan","doi":"10.1007/s10801-023-01290-y","DOIUrl":"https://doi.org/10.1007/s10801-023-01290-y","url":null,"abstract":"<p>A generalized spline on an edge-labeled graph <span>((G,alpha ))</span> is defined as a vertex labeling, such that the difference of labels on adjacent vertices lies in the ideal generated by the edge label. We study generalized splines over greatest common divisor domains and present a determinantal basis condition for generalized spline modules on arbitrary graphs. The main result of the paper answers a conjecture that appeared in several papers.\u0000</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"26 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139754304","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":"Finite Young wall model for representations of $$imath $$ quantum group $${textbf{U}}^{jmath }$$","authors":"Shaolong Han","doi":"10.1007/s10801-023-01292-w","DOIUrl":"https://doi.org/10.1007/s10801-023-01292-w","url":null,"abstract":"<p>We construct a finite Young wall model for a certain irreducible module over <span>(imath )</span>quantum group <span>({textbf{U}}^{jmath })</span>. Moreover, we show that this irreducible module is a highest weight module and is determined by a crystal structure on the set of finite Young walls.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139754418","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":"The Canonical component of the nilfibre for parabolic adjoint action in type A","authors":"","doi":"10.1007/s10801-023-01296-6","DOIUrl":"https://doi.org/10.1007/s10801-023-01296-6","url":null,"abstract":"&lt;h3&gt;Abstract&lt;/h3&gt; &lt;p&gt;This work is a continuation of [Y. Fittouhi and A. Joseph, Parabolic adjoint action, Weierstrass Sections and components of the nilfibre in type &lt;em&gt;A&lt;/em&gt;]. Let &lt;em&gt;P&lt;/em&gt; be a parabolic subgroup of an irreducible simple algebraic group &lt;em&gt;G&lt;/em&gt;. Let &lt;span&gt; &lt;span&gt;(P')&lt;/span&gt; &lt;/span&gt; be the derived group of &lt;em&gt;P&lt;/em&gt;, and let &lt;span&gt; &lt;span&gt;({mathfrak {m}})&lt;/span&gt; &lt;/span&gt; be the Lie algebra of the nilradical of &lt;em&gt;P&lt;/em&gt;. A theorem of Richardson implies that the subalgebra &lt;span&gt; &lt;span&gt;({mathbb {C}}[{mathfrak {m}}]^{P'})&lt;/span&gt; &lt;/span&gt;, spanned by the &lt;em&gt;P&lt;/em&gt; semi-invariants in &lt;span&gt; &lt;span&gt;({mathbb {C}}[{mathfrak {m}}])&lt;/span&gt; &lt;/span&gt;, is polynomial. A linear subvariety &lt;span&gt; &lt;span&gt;(e+V)&lt;/span&gt; &lt;/span&gt; of &lt;span&gt; &lt;span&gt;({mathfrak {m}})&lt;/span&gt; &lt;/span&gt; is called a Weierstrass section for the action of &lt;span&gt; &lt;span&gt;(P')&lt;/span&gt; &lt;/span&gt; on &lt;span&gt; &lt;span&gt;({mathfrak {m}})&lt;/span&gt; &lt;/span&gt;, if the restriction map induces an isomorphism of &lt;span&gt; &lt;span&gt;({mathbb {C}}[{mathfrak {m}}]^{P'})&lt;/span&gt; &lt;/span&gt; onto &lt;span&gt; &lt;span&gt;({mathbb {C}}[e+V])&lt;/span&gt; &lt;/span&gt;. Thus, a Weierstrass section can exist only if the latter is polynomial, but even when this holds its existence is far from assured. Let &lt;span&gt; &lt;span&gt;({mathscr {N}})&lt;/span&gt; &lt;/span&gt; be zero locus of the augmentation &lt;span&gt; &lt;span&gt;({mathbb {C}}[{mathfrak {m}}]^{P'}_+)&lt;/span&gt; &lt;/span&gt;. It is called the nilfibre relative to this action. Suppose &lt;span&gt; &lt;span&gt;(G=textrm{SL}(n,{mathbb {C}}))&lt;/span&gt; &lt;/span&gt;, and let &lt;em&gt;P&lt;/em&gt; be a parabolic subgroup. In [Y. Fittouhi and A. Joseph, loc. cit.], the existence of a Weierstrass section &lt;span&gt; &lt;span&gt;(e+V)&lt;/span&gt; &lt;/span&gt; in &lt;span&gt; &lt;span&gt;({mathfrak {m}})&lt;/span&gt; &lt;/span&gt; was established by a general combinatorial construction. Notably, &lt;span&gt; &lt;span&gt;(e in {mathscr {N}})&lt;/span&gt; &lt;/span&gt; and is a sum of root vectors with linearly independent roots. The Weierstrass section &lt;span&gt; &lt;span&gt;(e+V)&lt;/span&gt; &lt;/span&gt; looks very different for different choices of parabolics but nevertheless has a uniform construction and exists in all cases. It is called the “canonical Weierstrass section”. Through [Y. Fittouhi and A. Joseph, loc. cit. Prop. 6.9.2, Cor. 6.9.8], there is always a “canonical” component &lt;span&gt; &lt;span&gt;({mathscr {N}}^e)&lt;/span&gt; &lt;/span&gt; of &lt;span&gt; &lt;span&gt;({mathscr {N}})&lt;/span&gt; &lt;/span&gt; containing &lt;em&gt;e&lt;/em&gt;. It was announced in [Y. Fittouhi and A. Joseph, loc. cit., Prop. 6.10.4] that one may augment &lt;em&gt;e&lt;/em&gt; to an element &lt;span&gt; &lt;span&gt;(e_textrm{VS})&lt;/span&gt; &lt;/span&gt; by adjoining root vectors. Then the linear span &lt;span&gt; &lt;span&gt;(E_textrm{VS})&lt;/span&gt; &lt;/span&gt; of these root vectors lies in &lt;span&gt; &lt;span&gt;(mathscr {N}^e)&lt;/span&gt; &lt;/span&gt; and its closure is just &lt;span&gt; &lt;span&gt;({mathscr {N}}^e)&lt;/span&gt; &lt;/span&gt;. Yet, this same result shows that &lt;span&gt; &lt;span&gt;({mathscr {N}}^e)&lt;/span&gt; &lt;/span&gt; need &lt;em&gt;not&lt;/em&gt; admit a dense &lt;em&gt;P&lt;/em&gt; orbit [Y. Fittouhi and A. Joseph, loc. cit., Lemma 6.10.7]. For the above [Y. Fittouhi and A. Joseph, loc. cit., Theorem 6.10.3] was needed. Howev","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"3 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139754510","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":"Chain algebras of finite distributive lattices","authors":"Oleksandra Gasanova, Lisa Nicklasson","doi":"10.1007/s10801-023-01294-8","DOIUrl":"https://doi.org/10.1007/s10801-023-01294-8","url":null,"abstract":"<p>We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes, we conclude that every such algebra is normal and Cohen–Macaulay, and give an interpretation of its Krull dimension in terms of the combinatorics of the underlying lattice. When the lattice is planar, we show that the corresponding chain algebra is generated by a sortable set of monomials and is isomorphic to a Hibi ring of another finite distributive lattice. As a consequence, it has a defining toric ideal with a quadratic Gröbner basis, and its <i>h</i>-vector counts ascents in certain standard Young tableaux. If instead the lattice has dimension <span>(n&gt;2)</span>, we show that the defining ideal has minimal generators of degree at least <i>n</i>.\u0000</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"22 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139754305","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":"Barile–Macchia resolutions","authors":"Trung Chau, Selvi Kara","doi":"10.1007/s10801-023-01293-9","DOIUrl":"https://doi.org/10.1007/s10801-023-01293-9","url":null,"abstract":"<p>We construct cellular resolutions for monomial ideals via discrete Morse theory. In particular, we develop an algorithm to create homogeneous acyclic matchings and we call the cellular resolutions induced from these matchings Barile–Macchia resolutions. These resolutions are minimal for edge ideals of weighted oriented forests and (most) cycles. As a result, we provide recursive formulas for graded Betti numbers and projective dimension. Furthermore, we compare Barile–Macchia resolutions to those created by Batzies and Welker and some well-known simplicial resolutions. Under certain assumptions, whenever the above resolutions are minimal, so are Barile–Macchia resolutions.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"10 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139754302","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":"Weight bounds for $$(3,gamma )$$ -hyperelliptic curves","authors":"","doi":"10.1007/s10801-023-01295-7","DOIUrl":"https://doi.org/10.1007/s10801-023-01295-7","url":null,"abstract":"<h3>Abstract</h3> <p><span> <span>((N,gamma ))</span> </span>-<em>hyperelliptic</em> semigroups were introduced by Fernando Torres to encapsulate the most salient properties of Weierstrass semigroups associated with totally ramified points of <em>N</em>-fold covers of curves of genus <span> <span>(gamma )</span> </span>. Torres characterized <span> <span>((2,gamma ))</span> </span>-hyperelliptic semigroups of maximal weight whenever their genus is large relative to <span> <span>(gamma )</span> </span>. Here we do the same for <span> <span>((3,gamma ))</span> </span>-hyperelliptic semigroups, and we formulate a conjecture about the general case whenever <span> <span>(N ge 3)</span> </span> is prime.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"54 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-02-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139754415","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":"Beyond symmetry in generalized Petersen graphs","authors":"Ignacio García-Marco, Kolja Knauer","doi":"10.1007/s10801-023-01282-y","DOIUrl":"https://doi.org/10.1007/s10801-023-01282-y","url":null,"abstract":"<p>A graph is a <i>core</i> or <i>unretractive</i> if all its endomorphisms are automorphisms. Well-known examples of cores include the Petersen graph and the graph of the dodecahedron—both generalized Petersen graphs. We characterize the generalized Petersen graphs that are cores. A simple characterization of endomorphism-transitive generalized Petersen graphs follows. This extends the characterization of vertex-transitive generalized Petersen graphs due to Frucht, Graver, and Watkins and solves a problem of Fan and Xie. Moreover, we study generalized Petersen graphs that are (underlying graphs of) Cayley graphs of monoids. We show that this is the case for the Petersen graph, answering a recent mathoverflow question, for the Desargues graphs, and for the Dodecahedron—answering a question of Knauer and Knauer. Moreover, we characterize the infinite family of generalized Petersen graphs that are Cayley graphs of a monoid with generating connection set of size two. This extends Nedela and Škoviera’s characterization of generalized Petersen graphs that are group Cayley graphs and complements results of Hao, Gao, and Luo.</p>","PeriodicalId":14926,"journal":{"name":"Journal of Algebraic Combinatorics","volume":"8 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2024-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139552353","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":"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":"1 1","pages":""},"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":"106 1","pages":""},"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":"13 1","pages":""},"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}