group
10226 papers tagged with this keyword
On a Conjecture of Schilling Regarding the Coupon Collector's Problem
This article addresses a conjecture by Schilling concerning the optimality of the uniform distribution in the generalized Coupon Collector's Problem (CCP) where, in each round, a subset (package) of $s$ coupons is drawn from a total of $n$ distinct coupons. While the classical CCP (with single-coupon draws) is well understood, the group-draw variant - where packages of size $s$ are drawn - presents new challenges and has applications in areas such as biological network models.
Schilling conjectured that, for $2 \leq s \leq n-1$, the uniform distribution over all possible packages minimizes the expected number of rounds needed to collect all coupons if and only if $s = n-1$. We prove Schilling's conjecture in full by presenting, for all other values of $s$, "natural" non-uniform distributions yielding strictly lower expected collection times. Explicit formulas and asymptotic analyses are provided for the expected number of rounds under these and related distributions.
The article further explores the behavior of the expected collection time as $s$ varies under the uniform distribution, including the cases where $s$ is constant, proportional to $n$, or nearly $n$.
Keywords: Coupon Collector's Problem (CCP), Group Drawings, Uniform Distribution, Expected Collection Time, Schilling's Conjecture, Optimal Distribution.
Stable Invariants of Words from Random Matrices II: Formulas and Extensions
Let $w$ be a word in a free group. As was revealed by Magee and Puder in [arXiv:1802.04862], the stable commutator length (scl) of $w$, a well-known topological invariant, can also be defined in terms of certain stable Fourier coefficients of $w$-random unitary matrices. In the first part of the current work [arXiv:2311.17733], we demonstrated how this phenomenon is much broader: we proved more instances of such results and conjectured others. These new results and conjectures involved other topological invariants (relatives of scl) and different families of groups.
In the current paper we further extend and support this theory. We provide another instance of the theory and prove that the stable primitivity rank, too, can be expressed in terms of stable Fourier coefficients of $w$-random elements of groups. We introduce concrete formulas for stable Fourier coefficients of $w$-random elements in the symmetric group $S_N$ and its generalizations in the form of the wreath products $G\wr S_N$ where $G$ is an arbitrary compact group. We also define new stable invariants related to these groups, and prove they give bounds to many of the stable Fourier coefficients.
As an aside, we generalize to tuples of words a result of Puder and Parzanchevski [arXiv:1202.3269] about the expected number of fixed points of $w$-random permutations.
How structure groups and monoids grow
The structure groups and monoids of set-theoretic solutions to the Yang-Baxter Equation can be regarded as deformations of free abelian groups resp. monoids. In this work, we obtain explicit formulae for the growth series of the structure groups and monoids of transposition and dihedral quandles, and of the structure groups of permutation quandles. These quandles provide important families of YBE solutions. The intricate nature of our formulae confirms that, while preserving many nice properties of free abelian groups, even the simplest structure groups and monoids are remarkably rich objects. We also establish some structural properties and easily computable normal forms for the monoids considered.
Almost Commutative Terwilliger Algebras I: The Group Association Scheme
Terwilliger algebras are a subalgebra of a matrix algebra constructed from an association scheme. Rie Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions. In this paper we first determine an equivalent sixth condition for a Terwilliger algebra coming from a commutative Schur ring to be almost commutative. We then provide a classification of which finite groups result in an almost commutative Terwilliger algebra when looking at the group association scheme determined by the conjugacy classes. In particular, we show that all such groups are either abelian, or Camina groups. We then compute the dimension of each Terwilliger algebra, and we also express each of the group association schemes with an almost commutative Terwilliger algebra as a wreath product of the group schemes of finite abelian groups and $1-$class association schemes. Furthermore, we give the non-primary primitive idempotents for each Terwilliger algebra for those groups.
Almost Commutative Terwilliger Algebras II: Strong Gelfand Pairs
Terwilliger algebras are a subalgebra of a matrix algebra constructed from an association scheme. In 2010, Tanaka defined what it means for a Terwilliger algebra to be almost commutative and gave five equivalent conditions for a Terwilliger algebra to be almost commutative. In this paper we look at Terwilliger algebras coming from strong Gelfand pairs $(G,H)$ for a finite group $G$. From such a pair, one can create a Terwilliger algebra using the Schur ring of $H-$classes of elements of $G$. We determine all strong Gelfand pairs that give an Almost Commutative Terwilliger algebra.
The Hom-Ext quiver and applications to exceptional collections
We study what we call the Hom-Ext quiver and characterize it as a type of 'superquiver'. In type $\widetilde{\mathbb{A}}$, the Hom-Ext quiver of an exceptional set is the tiling algebra of the corresponding geometric model. And, in that case, Hom-Ext quivers classify exceptional sets up to Dehn twist of the corresponding geometric model. We show that these Dehn twists are realized by twist functors and give autoequivalences of the derived category. We provide a generating set for the group of autoequivalences of the derived category in type $\widetilde{\mathbb{A}}$, and show that the Hom-Ext quiver classifies exceptional sets up to derived autoequivalence. We introduce superquivers, which are a generalization of Hom-Ext quivers. Exceptional sets over finite acyclic quivers are realized as representations of superquivers. Throughout, we list several questions and conjectures that make for, what we believe, exciting new research.
Flip Combinatorial Invariance and Weyl groups
In this work, we investigate the approach via flipclasses to the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials of all Coxeter groups. We prove the combinatorial invariance of Kazhdan--Lusztig $\widetilde{R}$-polynomials of Weyl groups modulo $q^7$ and of Kazhdan--Lusztig $\widetilde{R}$-polynomials of type $A$ Weyl groups modulo $q^8$. As a consequence, the Combinatorial Invariance Conjecture holds for all intervals up to length 8 in Weyl groups and up to length 10 in type $A$ Weyl groups.
On Intersection and Co-maximal Hypergraph of $\mathbb{Z}_n$
The aim of this paper is to study the intersection hypergraph $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$ and co-maximal hypergraph $Co_\mathcal{H}(\mathbb{Z}_n)$ on the subgroups of $\mathbb{Z}_n$. We prove that the intersection and co-maximal hypergraph of a finite abelian group are isomorphic. Hence, we focus on $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$ and examine some of the structural properties, viz., diameter, girth and chromatic number of $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$. Also, we provide characterizations for hypertrees, star structures of $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$, and investigate the planarity and non-planarity of $\tildeΓ_\mathcal{H}(\mathbb{Z}_n)$.
Universal series for dihedral group coinvariant rings
In 1994, Alfano determined a monomial basis, bigraded Hilbert series, and bigraded Frobenius series for the ring of diagonal dihedral group coinvariants $R^{(2,0)}_{\mathfrak{I}_{2}(n)}$. Using diagonal supersymmetry, we determine a universal multigraded character series, universal multigraded Hilbert series, and monomial basis for the generalization to any $k$ sets of bosonic variables and $j$ sets of fermionic variables $R^{(k,j)}_{\mathfrak{I}_{2}(n)}$.
Incidence of lines, points, and planes in $PG(3,q)$ with respect to the twisted cubic
We consider the orbits of the group $G=PGL_2(q)$ on the points, lines and planes of the projective space $PG(3,q)$ over a finite field $\mathbb F_q$ of characteristic different from $2$ and $3$. The points of $PG(3,q)$ can be identified with projective space of binary cubic forms, and the set $\mathcal L$ of lines of $PG(3,q)$ can be thought of as pencils of cubic forms. The action of $G$ on $PG(1,q)$ naturally induces an action of $G$ on binary cubic forms $f(X,Y)$. The points of $PG(3, q)$ decompose into five $G$ orbits. The $G$ orbits on $\mathcal L$ were recently obtained by the authors. Let $\mathcal I$ be the subset of $\mathcal L \times PG(3,q)$ consisting of pairs $(L,P)$ where $L$ is a line incident with the point $P$. The decomposition of $\mathcal L \times PG(3,q)$ into $G \times G$ orbits yields a partition of $\mathcal I$. The problem that we solve in this work is to determine the sizes of the corresponding parts of $\mathcal I$.
Diameter bounds for finite simple Lie algebras
We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.
On the existence of directed strongly regular graphs with parameters (22, 9, 6, 3, 4)
Published in Prikladnaya Diskretnaya Matematika, 2024, no. 66, 86-96
• View Publication
• BIB
The paper shows the existence of a family of directed strongly regular graphs with parameters (22, 9, 6, 3, 4). The adjacency matrices of the found digraphs are composed of $3\times 3$ circulant blocks. The automorphism group of all the digraphs found is the group $\mathbb{Z}_3$. The structure of the resulting digraphs is described using concepts of skeleton and rigging.
Semi-simple partition algebras as centralizers of representations for rook monoids
Let $\mathcal{P}_k(δ)$, where $k$ is a positive integer and $δ$ some complex parameter, be the classical partition algebra over the complex numbers. In the case when $δ=n$, it is well-known that the algebra $\mathcal{P}_k(δ)$ is the centralizer of the symmetric group $S_n$ acting on the $k$-fold tensor space of the natural representation of $S_n$, for $n\geq 2k$. The algebra $\mathcal{P}_k(δ)$ is semi-simple for generic values of $δ$. In this paper, we show that semi-simple partition algebras appear as the centralizer algebras for certain representations of the rook monoids given by an iterative restriction-induction of the trivial representation. Along the way, we also give a decomposition of this iterative representation of the rook monoid into various tensor spaces and show that the corresponding dimensions are given by generalized Bell numbers.
Matchings in Matroids over Abelian Groups, III
In an abelian group $G$, a \emph{matching} is a bijection $f\colon A\to B$ between finite subsets $A,B\subseteq G$ such that $a+f(a)\notin A$ for all $a\in A$. We say that $G$ has the \emph{matching property} if every pair of finite subsets $A,B\subseteq G$ with $|A|=|B|$ and $0\notin B$ admits such a matching. This paper develops matroidal analogues of classical results on group matchings. By embedding matroid ground sets in $G$, we introduce base matchings between matroid bases, recovering the group-theoretic setting in the uniform case, and derive structural and combinatorial criteria for their existence. Our methods blend techniques from matroid theory, group theory, and additive number theory. Our main focus is on paving matroids, a class conjectured to constitute asymptotically almost all matroids. We prove symmetric self-matchability for all paving matroids, extend asymmetric results via the hyperplane-nullity parameter, and connect stressed hyperplanes to matchability through relaxation, bridging paving and uniform matroids. This paper continues a line of research initiated in [3,4], yet is written to be self-contained and may be read independently.
On Laplacian and Signless Laplacian Permanental Polynomials of Some Well-known Graphs
The permanent of an $n \times n$ matrix $M = (m_{ij})$ is defined as $\mathrm{per}(M) = \sum_{σ\in S_n} \prod_{i=1}^n m_{i,σ(i)}$, where $S_n$ denotes the symmetric group on $\{1,2,\ldots,n\}$. The permanental polynomial of $M$, is defined by $ψ(M;x) = \mathrm{per}(xI_n - M)$. We study two fundamental variants: the Laplacian permanental polynomial $ψ(L(G);x)$ and signless Laplacian permanental polynomial $ψ(Q(G);x)$ of a graph $G$. A graph is said to be {determined} by its (signless) Laplacian permanental polynomial if no other non-isomorphic graph shares the same polynomial. A graph is combinedly determined when isomorphism is guaranteed by the equality of both polynomials. Characterizing which graphs are determined by their(signless) Laplacian permanental polynomials is an interesting problem. This paper investigates the permanental characterization problem for several families of starlike graphs, including: spider graphs (tree), coconut tree, perfect binary tree, corona product of $C_m$ and $K_n$, and $\bar K_n$ for various values of $m$ and $n$. We establish which of these graphs are determined by their Laplacian or signless Laplacian permanental polynomials, and which require both polynomials for complete characterization. We emphasize that in this manuscript, we have considered a few techniques to compute the permanental polynomial of matrices and their propagation.
The Insertion Chain Complex: A Topological Approach to the Structure of Word Sets
We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups, as measures of the complexity for word sets. After establishing its theoretical foundations, we investigate the computational and combinatorial aspects of these complexes. Among other results, we classify minimal 1-dimensional cycles and prove that every finitely generated abelian group can be realized as the homology of the insertion complex for some set of words. We also identify conditions that guarantee vanishing homology. These results provide new invariants for characterizing finite sets of words through word-based topological structures and their properties.
Asymptotics of higher Lie characters
Higher Lie characters form a distinguished family of symmetric group characters, which appear in many areas of algebra and combinatorics. An old open problem of Thrall is to decompose them into irreducibles. We propose a novel asymptotic approach to this problem, showing that many families of higher Lie characters tend to be proportional to the regular character. In particular, a random higher Lie character tends, in probability, to be proportional to the regular character.
A note on polynomials for character degrees
A recent result of Cohen and Zemel provides an elegant expansion of the Rasala polynomials for symmetric group character degrees. In this note we present an alternative short algebraic proof. Extensions to polynomials of character values follow.
Galois Automorphisms And Littlewood Decompositions
The study of modular representation theory of the double covering groups of the symmetric and alternating groups reveals rich and subtle combinatorial and algebraic phenomena involving their irreducible characters and the structure of their p-blocks, where p is an odd prime number. In this paper, we investigate the action of certain Galois automorphisms, those that act on p'-roots of unity by a power of p, on spin characters, with an emphasis on their interaction with perfect isometries and block theory. In particular, we prove that perfect isometries constructed by the first author and J.\,B. Gramain in \cite{BrGr3}, which were used to establish a weaker form of the Kessar--Schaps conjecture, remain preserved under this Galois action whenever certain natural compatibility conditions occur.
Permutahedron Triangulations via Total Linear Stability and the Dual Braid Group
For each finite Coxeter group $W$ and each standard Coxeter element of $W$, we construct a triangulation of the $W$-permutahedron. For particular realizations of the $W$-permutahedron, we show that this is a regular triangulation induced by a height function coming from the theory of total linear stability for Dynkin quivers. We also explore several notable combinatorial properties of these triangulations that relate the Bruhat order, the noncrossing partition lattice, and Cambrian congruences. Each triangulation gives an explicit mechanism for relating two different presentations of the corresponding braid group (the standard Artin presentation and Bessis's dual presentation). This is a step toward uniformly proving conjectural simple, explicit, and type-uniform presentations for the corresponding pure braid group.