arXiv++ Combinatorics

It is well known that descents and excedances are equidistributed in the symmetric group. We show that the descent and excedance enumerators, summed over permutations with a fixed first letter are identical when we perform a simple change of the first letter. We generalize this to type B and other colored permutation groups. We are led to defining descents and excedances through linear orders. With respect to a particular order, when the number of colors is even, we get a result that generalizes the type B results. Lastly, we get a type B counterpart of Conger's result which refines the well known Carlitz identity.

We define an algorithm on fermionic and bosonic twisted multiline queues that projects to the multispecies totally asymmetric simple exclusion process (TASEP) and the totally asymmetric zero range process (TAZRP) on a ring, respectively. Our algorithm on fermionic multiline queues generalizes the Ferrari-Martin algorithm for TASEP, and we show it is equivalent to the algorithm of Arita-Ayyer-Mallick-Prolhac (2011). Our algorithm on bosonic multiline queues is novel and generalizes the corresponding algorithm of Kuniba-Maruyama-Okado (2016) for the TAZRP. We also define a Markov process on bosonic twisted multiline queues that projects to the TAZRP and intertwines with the symmetric group action on the rows of the multiline queues.

One method to generate random permutations involves using Gaussian elimination with partial pivoting (GEPP) on a random matrix $A$ and storing the permutation matrix factor $P$ from the resulting GEPP factorization $PA=LU$. We are interested in exploring properties of random butterfly permutations, which are generated using GEPP on specific random butterfly matrices. Our paper highlights new connections among random matrix theory, numerical linear algebra, group actions of rooted trees, and random permutations. We address the questions of the longest increasing subsequence (LIS) and number of cycles for particular uniform butterfly permutations, with full distributional descriptions and limit theorems for simple butterfly permutations. We also establish scaling limit results and limit theorems for nonsimple butterfly permutations, which include certain $p$-Sylow subgroups of the symmetric group of $N=p^n$ elements for prime $p$. For the LIS, we establish power law bounds on the expected LIS of the form $N^{α_p}$ and $N^{β_p}$ where $\frac12 < α_p < β_p < 1$ for each $p$ with $α_p = 1 - o_p(1)$, showing distinction from the typical $O(N^{1/2})$ expected LIS frequently encountered in the study of random permutations (e.g., uniform permutations). For the number of cycles scaled by $(2-1/p)^n$, we establish a full CLT to a new limiting distribution depending on $p$ with positive support we introduce that is uniquely determined by its positive moments that satisfy explicit recursive formulas; this thus determines a CLT for the number of cycles for any uniform $p$-Sylow subgroup of $S_{p^n}$.

Given a partition $λ$ of a number $k$, it is known that by adding a long line of length $n-k$, the dimension of the associated representation of $S_{n}$ is an integer-valued polynomial of degree $k$ in $n$. We show that its expansion in the binomial basis is bounded by the length of $λ$, and that the resulting coefficient of index $h$, with alternating signs, counts the standard Young tableaux of shape $λ$ in which a given collection of consecutive $h$ numbers lie in increasing rows. We also construct bijections in order to demonstare explicitly that this number is indeed independent of the set of consecutive $h$ numbers used.

Multi-matrix invariants, and in particular the scalar multi-trace operators of $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of $N$. Free-field two-point functions define an $N$-dependent inner product on the PCA, and bases of operators have been constructed which are orthogonal at finite $N$. Two such bases are well-known, the restricted Schur and covariant bases, and both definitions involve representation-theoretic quantities such as Young diagram labels, multiplicity labels, branching and Clebsch-Gordan coefficients for symmetric groups. The explicit computation of these coefficients grows rapidly in complexity as the operator length increases. We develop a new method for explicitly constructing all the operators with specified Young diagram labels, based on an $N$-independent integer eigensystem formulated in the PCA. The eigensystem construction naturally leads to orthogonal basis elements which are integer linear combinations of the multi-trace operators, and the $N$-dependence of their norms are simple known dimension factors. We provide examples and give computer codes in SageMath which efficiently implement the construction for operators of classical dimension up to 14. While the restricted Schur basis relies on the Artin-Wedderburn decomposition of symmetric group algebras, the covariant basis relies on a variant which we refer to as the Kronecker decomposition. Analogous decompositions exist for any finite group algebra and the eigenvalue construction of integer orthogonal bases extends to the group algebra of any finite group with rational characters.

Let $Γ$ be a simple graph with $n$ vertices. The energy of $Γ$, denoted by $\mathcal{E}(Γ)$, is defined as the sum of the absolute values of the eigenvalues of $Γ$. The graph $Γ$ is said to be hyperenergetic if $\mathcal{E}(Γ)>2n-2$. For the graph $Γ$, the multiplicity of the eigenvalue $0$, denoted by $η(Γ)$, is called the nullity of $Γ$. In this paper, we show that for every positive integer $n\geq 4$, the Cayley graph $Γ_n$ on the symmetric group $\mathrm{Sym}(n)$ generated by $n$-cycles is an integral hyperenergetic graph with $\mathcal{E}(Γ_n)=2^{n-1}(n-1)!$ and $η(Γ_n)=n!-\binom{2n-2}{n-1}$.

A LAnKe (also known as a Lie algebra of the $n$th kind, or a Filippov algebra) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. The symmetric group $\mathfrak{S}_m$ acts on the multilinear part of the free LAnKe on $m=(n-1)k+1$ generators, where $k$ is the number of brackets, by permutation of the generators. The corresponding representation was studied by Friedmann, Hanlon, Stanley and Wachs, who asked whether for $n \ge k$, its irreducible decomposition contains no summand whose Young diagram has at most $k-1$ columns. The answer is affirmative if $k \le 3$. In this paper, we show that the answer is affirmative for all $k$. A proof has been given recently by Friedmann, Hanlon and Wachs. The two proofs are completely different.

We explore two constructions of oligomorphic Jordan permutation groups preserving a `limit of betweenness relations' and a `limit of $D$-relations', from \cite{bhattmacph2006jordan} and \cite{almazaydeh2021jordan} respectively. Several issues left open in \cite{almazaydeh2021jordan} are resolved. In particular it is shown that the `limit of $D$-relations' is not homogeneous in the given language, but is `homogenizable', that is, there is a homogeneous structure over a finite relational language with the same universe and the same automorphism group. The structure is NIP, but not monadically NIP, its age is not well-quasi-ordered under embeddability, and the growth rate of the sequence enumerating orbits on $k$-sets grows faster than exponentially. The automorphism group is maximal-closed in the symmetric group. Similar results are shown for the construction in \cite{bhattmacph2006jordan}.

Symmetric functions show up in several areas of mathematics including enumerative combinatorics and representation theory. Tewodros Amdeberhan conjectures equalities of $Σ_n$ characters sums over a new set called $Ev(λ)$. When investigating the alternating sum of characters for $Ev(λ)$ written in terms of the inner product of Schur functions and power sum symmetric functions, we found an equality between the alternating sum of power sum symmetric polynomials and a product of monomial symmetric polynomials. As a consequence, a special case of an alternating sum of $Σ_n$ characters over the set $Ev(λ)$ equals $0$.

A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices: (a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable. (b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$. Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.

It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$.

We study the blocks for Ariki-Koike algebras using a general notion of core for $l$-partitions. We interpret the action of the affine symmetric group on the blocks in the context of level rank duality and study the orbits under this action.

Let $π$ be a cycle permutation that can be expressed as one-line $π= π_1π_2 \cdot\cdot\cdot π_n$ and a cycle form $π= (c_1,c_2, ..., c_n)$. Archer et al. introduced the notion of pattern avoidance of one-line and all cycle forms for a cycle permutation $π$, defined as $π_1π_2 \cdot\cdot\cdot π_n$ and its arbitrary cycle form $c_ic_{i+1}\cdot\cdot\cdot c_nc_1c_2\cdot\cdot\cdot c_{i-1}$ avoid a given pattern. Let $\mathcal{A}^\circ_n(σ; τ)$ denote the set of cyclic permutations in the symmetric group $S_n$ that avoid $σ$ in their one-line form and avoid $τ$ in their all cycle forms. In this note, we prove that $|\mathcal{A}^\circ_n(2431; 1324)|$ is the $(n-1)^{\rm{st}}$ Pell number for any positive integer $n$. Thereby, we give a positive answer to a conjecture of Archer et al.

A base for a permutation group $G$ acting on a set $Ω$ is a sequence $\mathcal{B}$ of points of $Ω$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for $G$ of size $l\in\mathbb{N}$. As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga~\cite{MeSp} for the base size of the symmetric group $\mathrm{S}_n$ acting on the $k$-element subsets of $\{1,2,3,\dots,n\}$. Our methods also provide a formula for the base size of many product-type permutation groups.

We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle.

Let $p\ge 5$ be a prime and let $P$ be a Sylow $p$-subgroup of a finite symmetric group. To every irreducible character of $P$ we associate a collection of labelled, complete $p$-ary trees. The main results of this article describe Sylow branching coefficients for symmetric groups for all irreducible characters of $P$ in terms of some combinatorial properties of these trees, extending previous work on the linear characters of $P$.

Let $\mathrm{Mat}_{n \times n}(\mathbb{C})$ be the affine space of $n \times n$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times n}]$. We define graded quotients of $\mathbb{C}[\mathbf{x}_{n \times n}]$ which carry an action of the symmetric group $\mathfrak{S}_n$ by simultaneous permutation of rows and columns. These quotient rings are obtained by applying the orbit harmonics method to matrix loci corresponding to all involutions in $\mathfrak{S}_n$ and the conjugacy classes of involutions in $\mathfrak{S}_n$ with a given number of fixed points. In the case of perfect matchings on $\{1, \dots, n\}$ with $n$ even, the Hilbert series of our quotient ring is related to Tracy-Widom distributions and its graded Frobenius image gives a refinement of the plethysm $s_{n/2}[s_2]$.

We describe all inequalities among generalized diagonals in positive semi-definite matrices. These turn out to be governed by a simple partial order on the symmetric group. This provides an analogue of results of Drake, Gerrish, and Skandera on inequalities among generalized diagonals in totally nonnegative matrices.

Let $S_n$ denote the symmetric group. We consider \begin{equation*} N_{\ell}(n) := \frac{\left\vert Hom\left( \mathbb{Z}^{\ell},S_n\right) \right\vert}{n!} \end{equation*} which also counts the number of $\ell$-tuples $π=\left( π_1, \ldots, π_{\ell}\right) \in S_n^{\ell}$ with $π_i π_j = π_j π_i$ for $1 \leq i,j \leq \ell$ scaled by $n!$. A recursion formula, generating function, and Euler product have been discovered by Dey, Wohlfahrt, Bryman and Fulman, and White. Let $a,b, \ell \geq 2$. It is known by Bringman, Franke, and Heim, that the Bessenrodt--Ono inequality \begin{equation*} Δ_{a,b}^{\ell}:= N_{\ell}(a) \, N_{\ell}(b) - N_{\ell}(a+b) >0 \end{equation*} is valid for $a,b \gg 1$ and by Bessenrodt and Ono that it is valid for $\ell =2$ and $a+b >9$. In this paper we prove that for each pair $(a,b)$ the sign of $\{Δ_{a,b}^{\ell} \}_{\ell}$ is getting stable. In each case we provide an explicit bound. The numbers $N_{\ell}\left( n\right) $ had been identified by Bryan and Fulman as the $n$-th orbifold characteristics, generalizing work by Macdonald and Hirzebruch--Höfer concerning the ordinary and string-theoretic Euler characteristics of symmetric products, where $N_2(n)=p(n) $ represents the partition function.

In this paper, we introduce a classical algorithm for random sampling of permutations, drawing inspiration from the Steinhaus-Johnson-Trotter algorithm. Our approach takes a comprehensive view of permutation sampling by expressing them as products of adjacent transpositions. Building on this, we develop a quantum analogue of the classical algorithm using a quantum circuit model for random sampling of permutations. As an application, we present a quantum algorithm for the two-sample randomization test to assess the difference of means in classical data. Finally, we propose a nested corona product graph generative model for symmetric groups, which facilitates random sampling of permutations from specific sets of permutations through a quantum circuit model.