group
10226 papers tagged with this keyword
Skew symplectic and orthogonal characters through lattice paths
Published in European Journal of Combinatorics 122 (2024), 104000
• View Publication
• BIB
The skew Schur functions admit many determinantal expressions. Chief among them are the (dual) Jacobi-Trudi formula and the Lascoux-Pragacz formula, which is a skew analogue of the Giambelli identity. Comparatively, the skew characters of the symplectic and orthogonal groups, also known as the skew symplectic and orthogonal Schur functions, have received less attention in this direction. We establish analogues of the dual Jacobi-Trudi and Lascoux-Pragacz formulae for these characters. Our approach is entirely combinatorial, being based on lattice path descriptions of the tableaux models of Koike and Terada. Ordinary Jacobi-Trudi formulae are then derived in an algebraic manner from their duals.
Moments of Colored Permutation Statistics on Conjugacy Classes
Published in Ann. Comb. (2025)
• View Publication
• BIB
In this paper, we consider the moments of statistics on conjugacy classes of the colored permutation groups $\mathfrak{S}_{n,r}=\mathbb{Z}_r\wr \mathfrak{S}_n$. We first show that any fixed moment coincides on all conjugacy classes where all cycles have sufficiently long length. Additionally, for permutation statistics that can be realized via a process we call symmetric extensions, these moments are polynomials in $n$. Finally, for the descent statistic on the hyperoctahedral group $B_n\cong \mathfrak{S}_{n,2}$, we show that its distribution on conjugacy classes without short cycles satisfies a central limit theorem. Our results build on and generalize previous work of Fulman (\textit{J. Comb. Theory Ser. A.}, 1998), Hamaker and Rhoades (arXiv, 2022), and Campion Loth, Levet, Liu, Stucky, Sundaram, and Yin (arXiv, 2023). In particular, our techniques utilize the combinatorial framework introduced by Campion Loth, Levet, Liu, Stucky, Sundaram, and Yin.
Cayley extensions of maniplexes and polytopes
A map on a surface whose automorphism group has a subgroup acting regularly on its vertices is called a Cayley map. Here we generalize that notion to maniplexes and polytopes. We define $\mathcal{M}$ to be a \emph{Cayley extension} of $\mathcal{K}$ if the facets of $\mathcal{M}$ are isomorphic to $\mathcal{K}$ and if some subgroup of the automorphism group of $\mathcal{M}$ acts regularly on the facets of $\mathcal{M}$. We show that many natural extensions in the literature on maniplexes and polytopes are in fact Cayley extensions. We also describe several universal Cayley extensions. Finally, we examine the automorphism group and symmetry type graph of Cayley extensions.
New classes of groups related to algebraic combinatorics with applications to isomorphism problems
We introduce two refinements of the class of $5/2$-groups, inspired by the classes of automorphism groups of configurations and automorphism groups of unit circulant digraphs. We show that both of these classes have the property that any two regular cyclic subgroups of a group $G$ in either of these classes are conjugate in $G$. This generalizes two results in the literature (and simplifies their proofs) that show that symmetric configurations and unit circulant digraphs are isomorphic if and only if they are isomorphic by a group automorphism of ${\mathbb Z}_n$.
Ramanujan sums and rectangular power sums
Published in J. Pure and Applied Algebra 2023
• View Publication
• BIB
For a fixed nonnegative integer $u$ and positive integer $n$, we investigate the symmetric function \[\sum_{d|n} \left(c_d(\tfrac{n}{d})\right)^u p_d^{\tfrac{n}{d}},\]
where $p_n$ denotes the $n$th power sum symmetric function, and $c_d(r)$ is a Ramanujan sum, equal to the sum of the $r$th powers of all the primitive $d$th roots of unity. We establish the Schur positivity of these functions for $u=0$ and $u=1$, showing that, in each case, the associated representation of the symmetric group $\mathfrak{S}_n$ decomposes into a sum of Foulkes representations, that is, representations induced from the irreducibles of the cyclic subgroup generated by the long cycle. We also conjecture Schur positivity for the case $u= 2$.
Near optimal thresholds for existence of dilated configurations in $\mathbb{F}_q^d$
Let $E\subset\mathbb{F}_q^d$ and $\lVert \cdot \rVert:\mathbb{F}_q^d\to \mathbb{F}_q$ defined as $\lVert α\rVert:= α_1^2+\dots+α_d^2$ if $α=(α_1,\dots,α_d)\in \mathbb{F}_q^d$, where $\mathbb{F}_q^d$ is the $d$-dimensional vector space over the finite field $\mathbb{F}_q$ with $q$ elements. Let $k\geq 1$ and $A$ is a nonempty subset of $\{(i,j):1\leq i<j\leq k+1\}$. In this paper, we prove that for any nonzero square element $r\in \mathbb{F}_q$ and $\lvert E\rvert\gg_kq^{d/2}$ one can find two $(k+1)$-tuples in $E$ such that one of them is dilated by $r$ with respect to the other only on $|A|$ edges. More precisely, there exist $(x_1,\dots,x_{k+1})\in E^{k+1}$ and $(y_1,\dots,y_{k+1})\in E^{k+1}$ such that $\lVert y_i-y_j\rVert=r\lVert x_i-x_j\rVert$ if $(i,j)\in A$ and $x_i\neq x_j, y_i\neq y_j$ if $1\leq i<j\leq k+1$. In particular, we present two proofs first of which utilizes the machinery of group actions which is typically used to handle problems of this nature, whereas the second one is more combinatorial in nature and is based on the averaging argument. Moreover, we show that in two dimensions the threshold $d/2$ is sharp when $q\equiv 3 \pmod 4$.
As a corollary of this result, varying the underlying set $A$ we obtain thresholds for existence of dilated $k$-paths, $k$-cycles, and $k$-stars $(k\geq 3)$. These results partly generalize some results of the second author.
Reconstructing a set from its subset sums: $2$-torsion-free groups
Published
• View Publication
• BIB
For a finite multiset $A$ of an abelian group $G$, let $\text{FS}(A)$ denote the multiset of the $2^{|A|}$ subset sums of $A$. It is natural to ask to what extent $A$ can be reconstructed from $\text{FS}(A)$. We fully solve this problem for $2$-torsion-free groups $G$ by giving characterizations, both algebraic and combinatorial, of the fibers of $\text{FS}$. Equivalently, we characterize all pairs of multisets $A,B$ with $\text{FS}(A)=\text{FS}(B)$. Our results build on recent work of Ciprietti and the first author.
Free nilspaces, double-coset nilspaces, and Gowers norms
Compact finite-rank nilspaces have become central in the nilspace approach to higher-order Fourier analysis, notably through their role in a general form of the inverse theorem for the Gowers norms. This paper studies these nilspaces per se, and in connection with further refinements of this inverse theorem that have been conjectured recently. Our first main result states that every compact finite-rank nilspace is obtained by taking a free nilspace (a nilspace based on an abelian group of the form $\mathbb{Z}^{r}\times \mathbb{R}^s$) and quotienting this by a discrete group action of a specific type, describable in terms of polynomials. We call these group actions "higher-order lattice actions", as they generalize actions of lattices in $\mathbb{Z}^r\times \mathbb{R}^s$. The second main result (which relies on the first one) represents every compact finite-rank nilspace as a double-coset space $K\backslash G / Γ$ where $G$ is a nilpotent Lie group of a specific kind. Our third main result extends the aforementioned results to $k$-step compact nilspaces (not necessarily of finite rank), by representing any such nilspace as a quotient of infinite products of free nilspaces and also as double coset spaces $K\backslash G/Γ$ where $G$ is a degree-$k$ nilpotent pro-Lie group. These results open the study of compact nilspaces to areas more classical than nilspace theory, such as the theory of topological group actions. The results also require developing the theory of topological non-compact nilspaces, for which we provide groundwork in this paper. Applications include new inverse theorems for Gowers norms on any finite abelian group. These theorems are purely group theoretic in that the correlating harmonics are based on double-coset spaces. This yields progress towards the Jamneshan-Tao conjecture.
Binomial Cayley Graphs and Applications to Dynamics on Finite Spaces
Published
• View Publication
• BIB
Binomial Cayley graphs are obtained by considering the binomial coefficient of the weight function of a given Cayley graph and a natural number. We introduce these objects and study two families: one associated with symmetric groups and the other with powers of cyclic groups. We determine various combinatorial properties of these graphs through the spectral analysis of their adjacency matrices. In the case of symmetric groups, we establish a relation between the multiplicity of the null eigenvalue and longest increasing sub-sequences of permutations by means of the RSK correspondence. Finally, we consider dynamical arrangements of finitely many elements in finite spaces, which we refer to as particle-box systems. We apply the results obtained on binomial Cayley graphs in order to describe their degeneracy.
Major index on involutions
We find the range of the major index on the various conjugacy classes of involutions in the symmetric group $S_n$. In addition to indicating the minimum and the maximum values, we show that except for the case of involutions without fixed points, all the values in the range are attained. For the conjugacy classes of involutions without fixed points, we show that the only missing values are one more than the minimum and one less than the maximum.
From Young's Lattice to Coinvariants
Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.
Schur rings over infinite dihedral group
Schur rings over the infinite dihedral group $\mathcal{Z}\rtimes\mathcal{Z}_2$ are studied according to properties of Schur rings over infinite groups and the classification of Schur rings over infinite cyclic groups. Schur rings over $\mathcal{Z}\rtimes{\mathcal{Z}}_2$ are classified under the assumption that $\mathcal{Z}$ is an $\mathcal{A}$-subgroup. Those Schur rings are proved to be traditional.
Block-transitive $3$-$(v,k,1)$ designs on exceptional groups of Lie type
Let $\mathcal{D}$ be a non-trivial $G$-block-transitive $3$-$(v,k,1)$ design, where $T\leq G \leq \mathrm{Aut}(T)$ for some finite non-abelian simple group $T$. It is proved that if $T$ is a simple exceptional group of Lie type, then $T$ is either the Suzuki group ${}^2B_2(q)$ or $G_2(q)$. Furthermore, if $T={}^2B_2(q)$ then the design $\mathcal{D}$ has parameters $v=q^2+1$ and $k=q+1$, and so $\mathcal{D}$ is an inverse plane of order $q$; and if $T=G_2(q)$ then the point stabilizer in $T$ is either $\mathrm{SL}_3(q).2$ or $\mathrm{SU}_3(q).2$, and the parameter $k$ satisfies very restricted conditions.
Aspects of the commuting graph
The commuting graph of a group $G$ is the graph whose vertices are the elements of $G$, two distinct vertices joined if they commute.
Our purpose in this paper is twofold: we discuss the computational problem of deciding whether a given graph is the commuting graph of a finite group; we give a quasipolynomial algorithm, and a polynomial algorithm for the case when the group is an extra\-special p-group for p an odd prime; we give new results on the question of whether the commuting graph of a given group is a cograph or a chordal graph, two classes of graphs defined by forbidden subgraphs.
The problems are not unrelated, since there are a number of cases where hard computational problems on graphs are easier when restricted to special classes of graphs; we conjecture that the recognition problem is polynomial for cographs and chordal graphs.
Structural rigidity and flexibility using graphs of groups
In structural rigidity, one studies frameworks of bars and joints in Euclidean space. Such a framework is an articulated structure consisting of rigid bars, joined together at joints around which the bars may rotate. In this paper, we will describe articulated motions of realisations of hypergraphs that uses the terminology of graph of groups, and describe the motions of such a framework using group theory. Our approach allows to model a variety of situations, such as parallel redrawings, scenes, polytopes, realisations of graphs on surfaces, and even unique colourability of graphs. This approach allows a concise description of various dualities in rigidity theory. We also provide a lower bound on the dimension of the infinitesimal motions of such a framework in the special case when the underlying group is a Lie group.
Torsors and tilings from toric toggling
Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied such maps that result from toggling independent sets of a path graph. We investigate a "toric" analogue of this work by analyzing the dynamics arising from toggling independent sets of a cycle graph. Each orbit in the dynamical system can be encoded via a grid of 0s and 1s; two commuting bijections on the set of 1s in this grid produce torsors for what we call the infinite snake group and the finite ouroboros groups. By studying related covering maps, we deduce precise combinatorial properties of the orbits. Because the snake and ouroboros groups are abelian, they define tilings of cylinders and tori by parallelograms, which we also characterize. Many of the ideas developed here should be adaptable both to other toggle actions in combinatorics and to other cellular automata.
New constructions for disjoint partial difference families and external partial difference families
Recently, new combinatorial structures called disjoint partial difference families (DPDFs) and external partial difference families (EPDFs) were introduced, which simultaneously generalize partial difference sets, disjoint difference families and external difference families, and have applications in information security. So far, all known construction methods have used cyclotomy in finite fields. We present the first non-cyclotomic infinite families of DPDFs which are also EPDFs, in structures other than finite fields (in particular cyclic groups and non-abelian groups). As well as direct constructions, we present an approach to constructing DPDFs/EPDFs using relative difference sets (RDSs); as part of this, we demonstrate how the well-known RDS result of Bose extends to a very natural construction for DPDFs and EPDFs.
A facial order for torsion classes
We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relations, and one using Bongartz completions of 2-term presilting objects. For $τ$-tilting finite algebras, this allows us to prove that the facial semistable order is a semidistributive lattice. We then show that, in any abelian length category, our new partial order can be partitioned into a set of completely semidistributive lattices, one of which is the original lattice of torsion classes.
Transitive cornerations in maps
A corner in a map is an edge-vertex-edge triple consisting of two distinct edges incident to the same vertex. A corneration is a set of corners that covers every arc of the map exactly once. Cornerations in a dart-transitive map generalize the notion of a cycle structure in a symmetric graph. In this paper, we study the cornerations (and associated structures) that are preserved by a vertex-transitive group of automorphisms of the map.
The structure and density of $k$-product-free sets in the free semigroup
The free semigroup $\mathcal{F}$ over a finite alphabet $\mathcal{A}$ is the set of all finite words with letters from $\mathcal{A}$ equipped with the operation of concatenation. A subset $S$ of $\mathcal{F}$ is $k$-product-free if no element of $S$ can be obtained by concatenating $k$ words from $S$, and strongly $k$-product-free if no element of $S$ is a (non-trivial) concatenation of at most $k$ words from $S$.
We prove that a $k$-product-free subset of $\mathcal{F}$ has upper Banach density at most $1/ρ(k)$, where $ρ(k) = \min\{\ell \colon \ell \nmid k - 1\}$. We also determine the structure of the extremal $k$-product-free subsets for all $k \notin \{3, 5, 7, 13\}$; a special case of this proves a conjecture of Leader, Letzter, Narayanan, and Walters. We further determine the structure of all strongly $k$-product-free sets with maximum density. Finally, we prove that $k$-product-free subsets of the free group have upper Banach density at most $1/ρ(k)$, which confirms a conjecture of Ortega, Rué, and Serra.