group
10263 papers tagged with this keyword
Philip Hall's 'rather curious' formula and the Rogers-Ramanujan identities
We show that a strange group theoretical formula of Hall follows from the Rogers-Ramanujan identities.
Association schemes in which the thin residue is an elementary abelian $p$-group of rank $2$
Published
• View Publication
• BIB
In this article, we investigate the existence and schurity problem of association schemes whose thin residues are isomorphic to an elementary abelian $p$-group of rank $2$.
On the removal lemma for linear configurations in finite abelian groups
We present a general framework to represent discrete configuration systems using hypergraphs. This representation allows one to transfer combinatorial removal lemmas to their analogues for configuration systems. These removal lemmas claim that a system without many configurations can be made configuration-free by removing a few of its constituent elements. As applications of this approach we give, an alternative proof of the removal lemma for permutations by Cooper, a general version of a removal lemma for linear systems in finite abelian groups, an interpretation of the mentioned removal lemma in terms of subgroups, and an alternative proof of the counting version of the multidimensional Szemerédi theorem in abelian groups with generalizations.
Global Structural Properties of Random Graphs
Published
• View Publication
• BIB
We study two global structural properties of a graph $Γ$, denoted AS and CFS, which arise in a natural way from geometric group theory. We study these properties in the Erdös--Rényi random graph model G(n,p), proving a sharp threshold for a random graph to have the AS property asymptotically almost surely, and giving fairly tight bounds for the corresponding threshold for CFS.
As an application of our results, we show that for any constant p and any $Γ\in G(n,p)$, the right-angled Coxeter group $W_Γ$ asymptotically almost surely has quadratic divergence and thickness of order 1, generalizing and strengthening a result of Behrstock--Hagen--Sisto.
Vertex-transitive graphs and their arc-types
Published
• View Publication
• BIB
Let $X$ be a finite vertex-transitive graph of valency $d$, and let $A$ be the full automorphism group of $X$. Then the arc-type of $X$ is defined in terms of the sizes of the orbits of the action of the stabiliser $A_v$ of a given vertex $v$ on the set of arcs incident with $v$. Specifically, the arc-type is the partition of $d$ as the sum $$n_1 + n_2 + \dots + n_t + (m_1 + m_1) + (m_2 + m_2) + \dots + (m_s + m_s),$$ where $n_1, n_2, \dots, n_t$ are the sizes of the self-paired orbits, and $m_1,m_1, m_2,m_2, \dots, m_s,m_s$ are the sizes of the non-self-paired orbits, in descending order.
In this paper, we find the arc-types of several families of graphs. Also we show that the arc-type of a Cartesian product of two `relatively prime' graphs is the natural sum of their arc-types. Then using these observations, we show that with the exception of $1+1$ and $(1+1)$, every partition as defined above is realisable, in the sense that there exists at least one graph with the given partition as its arc-type.
Small roots, low elements, and the weak order in Coxeter groups
Published
• View Publication
• BIB
In this article we provide a new finite class of elements in any Coxeter system (W,S) called low elements. They are defined from Brink and Howlett's small roots, which are strongly linked to the automatic structure of (W,S). Our first main result is to show that they form a Garside shadow in (W,S), i.e., they contain S and are closed under join (for the right weak order) and by taking suffixes. These low elements are the key to prove that all finitely generated Artin-Tits groups have a finite Garside family. This result was announced in a note with P. Dehornoy (P. Dehornoy, M. Dyer, and C. Hohlweg. Garside families in Artin-Tits monoids and low elements in Coxeter groups. Comptes Rendus Mathematique, 353:403-408., 2015.) in which the present article was referred to under the following working title: Monotonicity of dominance-depth on root systems and applications.
The proof is based on a fundamental property enjoyed by small roots and which is our second main result; the set of small root is bipodal.
For a natural number n, we define similarly n-low elements from n-small roots and conjecture that the set of n-small roots is bipodal, implying the set of n-low elements is a Garside shadow; we prove this conjecture for affine Coxeter groups and Coxeter groups whose graph is labelled by 3 and infinity. To prove the latter, we extend the root poset on positive roots to a weak order on the root system and define a Bruhat order on the root system, and study the paths in those orders in order to establish a criterion to prove bipodality involving only finite dihedral reflection subgroups.
Congruences for spin characters of the double covers of the symmetric and alternating groups
Published in Advances in Applied Mathematics 80 (2016), 114-130
• View Publication
• BIB
Let $p$ be an odd prime. The bar partitions with sign and $p$-bar-core partitions with sign respectively label the spin characters and $p$-defect zero spin characters of the double cover of the symmetric group, and by restriction, those of the alternating group. The generating functions for these objects have been determined by J. Olsson. We study these functions from an arithmetic perspective, using classical analytic tools and elementary generating function manipulation to obtain many Ramanujan-like congruences.
On longest increasing subsequences in words in which all multiplicities are equal
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.7.3
• Search Publication
Gessel's famous Bessel determinant formula gives the generating function of the number of permutations without increasing subsequences of a given length. Ekhad and Zeilberger proposed the challenge of finding a suitable generalization for permutations of multisets in which all multiplicities are equal, that is, to count words of length $rn$ from an alphabet consisting of $n$ letters in which each letter appears exactly $r$ times and which have no increasing subsequences of length $d$.
In this paper we present such a generating function expressible as a multiple integral of the product of a Gessel-type Toeplitz determinant with the exponentiated cycle index polynomial of the symmetric group on $r$ elements.
Which Haar graphs are Cayley graphs?
For a finite group $G$ and subset $S$ of $G,$ the Haar graph $H(G,S)$ is a bipartite regular graph, defined as a regular $G$-cover of a dipole with $|S|$ parallel arcs labelled by elements of $S$. If $G$ is an abelian group, then $H(G,S)$ is well-known to be a Cayley graph; however, there are examples of non-abelian groups $G$ and subsets $S$ when this is not the case. In this paper we address the problem of classifying finite non-abelian groups $G$ with the property that every Haar graph $H(G,S)$ is a Cayley graph. An equivalent condition for $H(G,S)$ to be a Cayley graph of a group containing $G$ is derived in terms of $G, S$ and $\mathrm{Aut }G$. It is also shown that the dihedral groups, which are solutions to the above problem, are $\mathbb{Z}_2^2,D_3,D_4$ and $D_{5}$.
Groups of order at most 6 000 generated by two elements, one of which is an involution, and related structures
A (2,*)-group is a group that can be generated by two elements, one of which is an involution. We describe the method we have used to produce a census of all (2,*)-groups of order at most 6 000. Various well-known combinatorial structures are closely related to (2,*)-groups and we also obtain censuses of these as a corollary.
On the Rigidity of Sparse Random Graphs
Published
• View Publication
• BIB
A graph with a trivial automorphism group is said to be rigid. Wright proved that for $\frac{\log n}{n}+ω(\frac 1n)\leq p\leq \frac 12$ a random graph $G\in G(n,p)$ is rigid whp. It is not hard to see that this lower bound is sharp and for $p<\frac{(1-ε)\log n}{n}$ with positive probability $\text{aut}(G)$ is nontrivial. We show that in the sparser case $ω(\frac 1 n)\leq p\leq \frac{\log n}{n}+ω(\frac 1n)$, it holds whp that $G$'s $2$-core is rigid. We conclude that for all $p$, a graph in $G(n,p)$ is reconstrutible whp. In addition this yields for $ω(\frac 1n)\leq p\leq \frac 12$ a canonical labeling algorithm that almost surely runs in polynomial time with $o(1)$ error rate. This extends the range for which such an algorithm is currently known.
The signed random-to-top operator on tensor space (draft)
Given a free module L over a commutative ring k, we study two k-linear operators on the tensor algebra of T(L): One of them sends a pure tensor u_1 (X) u_2 (X) ... (X) u_k to the sum of all tensors u_i (X) u_1 (X) u_2 (X) ... (X) (skip u_i) (X) ... (X) u_k. The other is similar, but the sum is replaced by an alternating sum. These operators can be regarded as algebraic analogues of the "random-to-top shuffle" from combinatorics. We describe the kernel of the second operator (which we call boldface-t); it is a certain easily described Lie subsuperalgebra of T(L). We also describe the kernel of the first operator (which is denoted boldface-t') when the additive group k is torsionfree (the description is analogous to that of the kernel of t) and also when k is an algebra over a finite field (in this case, the description is slightly complicated by the presence of p-th powers).
On Hamiltonian cycles of power graphs of abelian groups
Published
• View Publication
• BIB
In this article we discuss the question of presence of Hamiltonian cycle in the un-directed power graph of a group. In the process we develop weighted Hamiltonian cycle concept and prove a few general results regarding the Hamiltonian question.
Minimal inversion complete sets and maximal abelian ideals
Published in Journal of Algebra 445 (2016), pp. 163-180
• View Publication
• BIB
Let $\mathfrak g$ be a simple Lie algebra, $\mathfrak b$ a fixed Borel subalgebra, and $W$ the Weyl group of $\mathfrak g$. In this note, we study a relationship between the maximal abelian ideals of $\mathfrak b$ and the minimal inversion complete sets of $W$. The latter have been recently defined by Malvenuto et al. (J. Algebra, 424 (2015), 330-356.)
The combinatorics of $\mathrm{GL}_n$ generalized Gelfand--Graev characters
Published
• View Publication
• BIB
Introduced by Kawanaka in order to find the unipotent representations of finite groups of Lie type, generalized Gelfand--Graev characters have remained somewhat mysterious. Even in the case of the finite general linear groups, the combinatorics of their decompositions has not been worked out. This paper re-interprets Kawanaka's definition in type $A$ in a way that gives far more flexibility in computations. We use these alternate constructions to show how to obtain generalized Gelfand--Graev representations directly from the maximal unipotent subgroups. We also explicitly decompose the corresponding generalized Gelfand--Graev characters in terms of unipotent representations, thereby recovering the Kostka--Foulkes polynomials as multiplicities.
On the structure of subsets of an orderable group with some small doubling properties
Published in Journal of Algebra, January 2016, Vol. 445, pages 307-326
• View Publication
• BIB
The aim of this paper is to present a complete description of the structure of subsets S of an orderable group G satisfying |S^2| = 3|S|-2 and <S> is non-abelian.
Centralizer algebras of the primitive unitary reflection group of order $96$
Published
• View Publication
• BIB
Among the unitary reflection groups, the one on the title is singled out by its importance in, for example, coding theory and number theory. In this paper we start with describing the irreducible representations of this group and then examine the semi-simple structure of the centralizer algebra in the tensor representation.
On the Riemann-Hurwitz formula for graph coverings
Published
• View Publication
• BIB
The aim of this paper is to present a few versions of the Riemann-Hurwitz formula for a regular branched covering of graphs. By a graph, we mean a finite connected multigraph. The genus of a graph is defined as the rank of the first homology group. We consider a finite group acting on a graph, possibly with fixed and invertible edges, and the respective factor graph. Then, the obtained Riemann-Hurwitz formula relates genus of the graph with genus of the factor graph and orders of the vertex and edge stabilisers.
Small Partial Latin Squares that Cannot be Embedded in a Cayley Table
Published in Australas. J. Combin. 67(2) (2017), 352-363
• Search Publication
We answer a question posed by Dénes and Keedwell that is equivalent to the following. For each order $n$ what is the smallest size of a partial latin square that cannot be embedded into the Cayley table of any group of order $n$? We also solve some variants of this question and in each case classify the smallest examples that cannot be embedded. We close with a question about embedding of diagonal partial latin squares in Cayley tables.
Intersection cohomology of the symmetric reciprocal plane
Published
• View Publication
• BIB
We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the corresponding intersection cohomology group is isomorphic to the irreducible representation of the symmetric group associated to the partition [n-2i,2,...,2].