group
10226 papers tagged with this keyword
New equidistributions on plane trees and decompositions of $132$-avoiding permutations
Published in Electronic Journal of Combinatorics, 31(3) (2024), P3.24
• View Publication
• BIB
Our main results in this paper are new equidistributions on plane trees and $132$-avoiding permutations, two closely related objects. As for the former, we discover a characteristic for vertices of plane trees that is equally distributed as the height for vertices. The latter is concerned with four distinct ways of decomposing a $132$-avoiding permutation into subsequences. We show combinatorially that the subsequence length distributions of the four decompositions are mutually equivalent, and there is a way to group the four into two groups such that each group is symmetric and the joint length distribution of one group is the same as that of the other. Some consequences are discussed. For instance, we provide a new refinement of the equidistribution of internal vertices and leaves, and present new sets of $132$-avoiding permutations that are counted by the Motzkin numbers and their refinements.
In which it is proven that, for each parabolic quasi-Coxeter element in a finite real reflection group, the orbits of the Hurwitz action on its reflection factorizations are distinguished by the two obvious invariants
Published in Hurwitz Orbits on Reflection Factorizations of Parabolic Quasi-Coxeter Elements. Electron. J. Combin. 31 (2024), no. 1, Paper 27
• View Publication
• BIB
We prove that two reflection factorizations of a parabolic quasi-Coxeter element in a finite Coxeter group belong to the same Hurwitz orbit if and only if they generate the same subgroup and have the same multiset of conjugacy classes. As a lemma, we classify the finite Coxeter groups for which every reflection generating set that is minimal under inclusion is also of minimum size.
Octonion Integers and Tight 5-Designs
The two strictly projective tight 5-designs are the lines spanned by the short vectors of the Leech lattice and a set of points in the octonion projective plane that define a generalized hexagon of order (2,8). A previous paper introduced a common construction that can generate these two tight 5-designs. This paper describes the same construction in terms of octonion arithmetic. An octonion integer construction of the Leech lattice is described using properties of the octonion integers taken modulo 2. The Leech lattice automorphism group is constructed from octonion reflections. The common construction and the Suzuki subgroup chain of Leech lattice automorphisms are described in terms of octonion integers.
An embedding of the skein action on set partitions into the skein action on matchings
Published
• View Publication
• BIB
Rhoades defined a skein action of the symmetric group on noncrossing set partitions which generalized an action of the symmetric group on matchings. The $\mathfrak{S}_n$-action on matchings is made possible via the Ptolemy relation, while the action on set partitions is defined in terms of a set of skein relations that generalize the Ptolemy relation. The skein action on noncrossing set partitions has seen applications to coinvariant theory and coordinate rings of partial flag varieties. In this paper, we will show how Rhoades' $\mathfrak{S}_n$-module can be embedded into the $\mathfrak{S}_n$-module generated by matchings, thereby explaining how Rhoades' generalized skein relations all arise from the Ptolemy relation.
Maximality of subfields as cliques in Cayley graphs over finite fields
Published in Algebr. Comb. 6 (2023), no. 4, 901-905
• View Publication
• BIB
We show the maximality of subfields as cliques in a special family of Cayley graphs defined on the additive group of a finite field. In particular, this confirms a conjecture of Yip on generalized Paley graphs.
Identities of inverse Chevalley type for graded characters of level-zero Demazure submodules over quantum affine algebras of type C
Published
• View Publication
• BIB
We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character $\mathrm{gch} \, V_{x}^{-}(λ)$ of the level-zero Demazure submodule $V_{x}^{-}(λ)$ over the quantum affine algebra $U_{\mathsf{q}}(\mathfrak{g}_{\mathrm{af}})$ as an explicit finite linear combination of the graded characters of level-zero Demazure submodules. These identities immediately imply the corresponding inverse Chevalley formulas in the torus-equivariant $K$-group of the semi-infinite flag manifold $\mathbf{Q}_{G}$ associated to a connected, simply-connected and simple algebraic group $G$ of type $C$. Also, we derive cancellation-free identities from the identities above of inverse Chevalley type in the case that $μ$ is a standard basis element $\varepsilon_{k}$ in the weight lattice $P$ of $G$.
On nilpotent Schur groups
A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $\sym(G)$ that contains all right translations. We prove that every nonabelian nilpotent Schur group belongs to one of the explicitly given families of groups.
On generalized Schur groups
Published
• View Publication
• BIB
An $S$-ring (Schur ring) is called central if it is contained in the center of the group ring. We introduce the notion of a generalized Schur group, i.e. such finite group that all central $S$-rings over this group are schurian. It generalizes in a natural way the notion of a Schur group and they are equivalent for abelian groups. We establish basic properties and provide infinite families of nonabelian generalized Schur groups
On groups with chordal power graph, including a classification in the case of finite simple groups
Published
• View Publication
• BIB
We prove various properties on the structure of groups whose power graph is chordal. Nilpotent groups with this property have been classified by Manna, Cameron and Mehatari [The Electronic Journal of Combinatorics, 2021]. Here we classify the finite simple groups with chordal power graph, relative to typical number theoretic oracles. We do so by devising several sufficient conditions for the existence and non-existence of long cycles in power graphs of finite groups. We examine other natural group classes, including special linear, symmetric, generalized dihedral and quaternion groups, and we characterize direct products with chordal power graph. The classification problem is thereby reduced to directly indecomposable groups and we further obtain a list of possible socles. Lastly, we give a general bound on the length of an induced path in chordal power graphs, providing another potential road to advance the classification beyond simple groups.
The equivariant Ehrhart theory of polytopes with order-two symmetries
Published
• View Publication
• BIB
We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture if the requirement that the vertices of the polytope have integral coordinates is loosened to allow rational coordinates. Moreover, we exhibit such a counterexample whose Ehrhart function has period one and coincides with the Ehrhart function of a lattice polytope.
On chordality of the power graph of finite groups
A graph is called chordal if it forbids induced cycles of length 4 or more. In this paper, we attempt to identify the non-nilpotent groups whose power graph is a chordal graph (this question was raised by Cameron in [4]). In this direction, we characterise the direct product of finite groups having chordal power graphs. We classify all finite simple groups of Lie type whose power graph is chordal. Further, we prove that the power graph of a sporadic simple group is always non-chordal. In addition, we show that almost all groups of order up to 47 have chordal power graphs.
Hyperplane Arrangements and Compactifications of Vector Groups
Published
• View Publication
• BIB
Schubert varieties of hyperplane arrangements, also known as matroid Schubert varieties, play an essential role in the proof of the Dowling-Wilson conjecture and in Kazhdan-Lusztig theory for matroids. We study these varieties as equivariant compactifications of affine spaces, and give necessary and sufficient conditions to characterize them. We also generalize the theory to include partial compactifications and morphisms between them. Our results resemble the correspondence between toric varieties and polyhedral fans.
Hurwitz numbers for reflection groups II: Parabolic quasi-Coxeter elements
Published in Journal of Algebra, vol. 641 (2024), pp. 648-715
• View Publication
• BIB
We define parabolic quasi-Coxeter elements in well generated complex reflection groups. We characterize them in multiple natural ways, and we study two combinatorial objects associated with them: the collections $\operatorname{Red}_W(g)$ of reduced reflection factorizations of $g$ and $\operatorname{RGS}(W,g)$ of the relative generating sets of $g$. We compute the cardinalities of these sets for large families of parabolic quasi-Coxeter elements and, in particular, we relate the size $\#\operatorname{Red}_W(g)$ with geometric invariants of Frobenius manifolds. This paper is second in a series of three; we will rely on many of its results in part III to prove uniform formulas that enumerate full reflection factorizations of parabolic quasi-Coxeter elements, generalizing the genus-$0$ Hurwitz numbers.
Content systems and deformations of cyclotomic KLR algebras of type $A$ and $C$
Published in Annals of Representation Theory, 2 (2024), 193-297
• View Publication
• BIB
This paper initiates a systematic study of the cyclotomic KLR algebras of affine types $A$ and $C$. We start by introducing a graded deformation of these algebras and the constructing all of the irreducible representations of the deformed cyclotomic KLR algebras using content systems and a generalisation of the Young's seminormal forms for the symmetric groups. Quite amazingly, this theory simultaneously captures the representation theory of the cyclotomic KLR algebras of types $A$ and $C$, with the main difference being the definition of residue sequences of tableaux. We then use our semisimple deformations to construct two "dual" cellular bases for the non-semisimple KLR algebras of affine types $A$ and $C$. As applications of this theory we recover many of the main features from the representation theory in type $A$, simultaneously proving them for the cyclotomic KLR algebras of types $A$ and $C$. These results are completely new in type $C$ and we, usually, more direct proofs in type $A$. In particular, we show that these algebras categorify the irreducible integrable highest weight modules of the corresponding Kac-Moody algebras, we construct and classify their simple modules, we investigate links with canonical bases and we generalise Kleshchev's modular branching rules to these algebras.
Flat extensions of groups and limit varieties of ai-semirings
Published
• View Publication
• BIB
The present paper is a continuation of \cite{jrz} and is devoted to the study of limit varieties of additively idempotent semirings. A limit variety is a nonfinitely based variety whose proper subvarieties are all finitely based. We present concrete constructions for one infinite family of limit additively idempotent semiring varieties, and one further ad hoc example. Each of these examples can be generated by a finite flat semiring, with the infinite family arising by a way of a complete characterisation of limit varieties that can be generated by the flat extension of a finite group. We also demonstrate the existence of other examples of limit varieties of additively idempotent semirings, including one further continuum-sized family, each with no finite generator, and two further ad hoc examples. While an explicit description of these latter examples is not given, one of the examples is proved to contain only trivial flat semirings.
Achievable Rates and Algorithms for Group Testing with Runlength Constraints
Published
• View Publication
• BIB
In this paper, we study bounds on the minimum length of $(k,n,d)$-superimposed codes introduced by Agarwal et al. [1], in the context of Non-Adaptive Group Testing algorithms with runlength constraints. A $(k,n,d)$-superimposed code of length $t$ is a $t \times n$ binary matrix such that any two 1's in each column are separated by a run of at least $d$ 0's, and such that for any column $\mathbf{c}$ and any other $k-1$ columns, there exists a row where $\mathbf{c}$ has $1$ and all the remaining $k-1$ columns have $0$. Agarwal et al. proved the existence of such codes with $t=Θ(dk\log(n/k)+k^2\log(n/k))$. Here we investigate more in detail the coefficients in front of these two main terms as well as the role of lower order terms. We show that improvements can be obtained over the construction in [1] by using different constructions and by an appropriate exploitation of the Lovász Local Lemma in this context. Our findings also suggest $O(n^k)$ randomized Las Vegas algorithms for the construction of such codes. We also extend our results to Two-Stage Group Testing algorithms with runlength constraints.
Triangulations of prisms and preprojective algebras of type $A$
Published
• View Publication
• BIB
We show that indecomposable two-term presilting complexes over $Π_{n}$, the preprojective algebra of $A_{n}$, are in bijection with internal $n$-simplices in the prism $Δ_{n} \times Δ_{1}$, the product of an $n$-simplex with a 1-simplex. We show further that this induces a bijection between triangulations of $Δ_{n} \times Δ_{1}$ and two-term silting complexes over $Π_{n}$ such that bistellar flips of triangulations correspond to mutations of two-term silting complexes. These bijections are shown to compatible with the known bijections involving the symmetric group.
On $m$-ovoids of finite classical polar spaces with an irreducible transitive automorphism group
Published
• View Publication
• BIB
In this paper, we classify the $m$-ovoids of finite classical polar spaces that admit a transitive automorphism group acting irreducibly on the ambient vector space. In particular, we obtain several new infinite families of transitive $m$-ovoids.
Geodesic Growth of Numbered Graph Products
Published in journal of Groups, complexity, cryptology, Volume 14, Issue 2 (February 4, 2023) gcc:10019
• View Publication
• BIB
In this paper, we study geodesic growth of numbered graph products; these are a generalization of right-angled Coxeter groups, defined as graph products of finite cyclic groups. We first define a graph-theoretic condition called link-regularity, as well as a natural equivalence amongst link-regular numbered graphs, and show that numbered graph products associated to link-regular numbered graphs must have the same geodesic growth series. Next, we derive a formula for the geodesic growth of right-angled Coxeter groups associated to link-regular graphs. Finally, we find a system of equations that can be used to solve for the geodesic growth of numbered graph products corresponding to link-regular numbered graphs that contain no triangles and have constant vertex numbering.
Analysing flag-transitive point-imprimitive 2-designs
In this paper we develop several general methods for analysing flag-transitive point-imprimitive $2$-designs, which give restrictions on both the automorphisms and parameters of such designs. These constitute a tool-kit for analysing these designs and their groups. We apply these methods to complete the classification of flag-transitive, point-imprimitive $2$-$(v,k,λ)$ designs with $λ$ at most $4$.