arXiv++ Combinatorics

The cubic pancake graphs are Cayley graphs over the symmetric group Sn generated by three prefix reversals. There is the folllowing open problem: characterize all the sets of three prefix reversals that generate Sn. Blanco and Golubyatnikov give a complete solution of the problem when any of the two smallest or the two largest lengths but n are included in a triple of prefix reversals. According to their conjectures, we give some conditions implying a triple of prefix reversals does not generate Sn. Moreover, Using the symmetric groups that can already be generated by three prefix reversals, we can derive some recurrence conditions.

We introduce a new class of unitary set-theoretic Yang--Baxter solutions, called \emph{bipartite} solutions. This class, which is purely combinatorial in nature, forms a full subcategory of $\mathcal{LYB}$, the category of Lyubashenko type solutions of Agore, Chirvasitu and the author, and is particularly amenable to explicit classification results. We give an intrinsic necessary and sufficient condition for a solution of the Yang--Baxter equation to be isomorphic to a bipartite solution, we settle the isomorphism problem within this class and, as an application, we determine their automorphism groups. If $X$ is a finite set with $|X| = n$, the number of isomorphism classes of bipartite solutions on $X$ is $\lfloor n/2 \rfloor + 1 + \sum_{m=2}^{n} \bigl( o(m, n-m) - 1 \bigr)$, where $o(m, k)$ denotes the number of orbits of the symmetric group $S_m$ acting by conjugation on the $k$-element multisets of elements of $S_m$. The paper also offers a comparative study: for small $|X| = n$ we count, up to isomorphism, all set-theoretic Yang--Baxter solutions on $X$, together with five distinguished families of solutions. Throughout the range we were able to compute, the class $\mathcal{LYB}$ accounts for a large share of all bijective and of all non-degenerate solutions, strikingly close to the total.

By Whitney's 2-isomorphism theorem, the cycle matroids of two graphs are isomorphic if and only if one graph can be transformed into the other by finitely many applications of two operations: separation or identification at a cut-vertex, and twisting. The complete tripartite graph whose vertex set is the disjoint union of two singletons and an $n$-element set is invariant, up to isomorphism, under these operations. In this paper we prove that the Macaulay inverse system (the Kirchhoff algebra) determined by the basis generating polynomial of the cycle matroid of such a graph has the strong Lefschetz property over a field of characteristic $0$. The proof reduces the non-degeneracy of the higher Hessians to the ranks of disjointness matrices of families of subsets (the Gottlieb--Wilson theorem) and to the representation theory of the symmetric group in relation to the Johnson scheme.

The distinguishing number of a permutation group $G\leqslant\Sym(Ω)$ is the minimum number of colours needed to colour $Ω$ in such a way that the only colour preserving element of $G$ is the identity. The distinguishing number of a graph is the distinguishing number of its automorphism group (as a permutation group on vertices). We determine the distinguishing number of the complete bipartite graphs $K_{n,n}$ and the crown graphs $K_{n,n}-nK_2$, as well as the distinguishing number of some `large' subgroups of their automorphism groups, that is, the subgroups that are vertex- and edge-transitive and such that the induced action on each bipart is $\Alt(n)$ or $\Sym(n)$. We show that, if $G$ is a `large' group of automorphisms of $K_{n,n}$, then $n-1\leqslant D(G) \leqslant n+1$. Similarly, if $G$ is a `large' group of automorphisms of a crown graph, then $\lceil \sqrt{n-1}\rceil \leqslant D(G)\leqslant \lfloor \sqrt{n}\rfloor+1$. \smallskip \textit{Keywords:} complete bipartite graph; crown graph; distinguishing number; symmetric group; alternating group

We consider a notion of $ω$-circular $*$-distribution $μ_ω$, defined in terms of a parameter $ω\in \mathbb{C}$ with $| ω|=1$. This $*$-distribution appears as limit law in an algebraic central limit theorem (CLT) for $ω$-commuting unitaries, and interpolates between the Fermionic setting (at $ω= -1$) and the Bosonic one (at $ω= 1$). On a combinatorial level, $μ_ω$ is described in terms of pair-partitions of sets $\{1, ... ,2n\}$, where one has a total order among the $n$ pairs of the partition and where every pair is assigned a direction, to the effect that one can define the sign of a crossing between two pairs. The main goal of the paper is to study a significant subspace, with "Fock space" flavour, of the $L^2$-space associated to a natural multi-variate version of $μ_ω$. The inner product on this subspace is defined by a sesquilinear form $\langle \cdot \, , \, \cdot \rangle_ω$ on non-commutative polynomials. We explicitly describe $\langle \cdot \, , \, \cdot \rangle_ω$ in terms of some tractable non-negative definite functions on symmetric groups, and we prove that it is non-degenerate if and only if $ω$ is not a root of unity.

We establish a simple characterization of special matchings of all Bruhat intervals in the symmetric group, yielding an explicit classification that depends only on the one-line notations of the endpoints. We also study extensions of graded posets by partial special matchings, proving the existence and uniqueness of such extensions and providing an explicit construction. Combining these results, we obtain a combinatorial algorithm for computing Kazhdan--Lusztig polynomials for an isomorphism-closed family of Bruhat intervals that includes all intervals whose bottom element has length at most one.

We introduce the leap group of a graph, the subgroup of the symmetric group on the vertex set generated by graph derangements. We summarize historical results on graph derangements, which we call hops, and prove additional existence and complexity results. The leap groups of various canonical graphs are computed, and their behavior under basic graph operations is analyzed. We offer partial results on which groups can appear as leap groups, and study hops and leaps for infinite and directed graphs.

We introduce river ribbon tableaux, where a river of non-trivial ribbons is placed between two banks of single boxes. Compared to other ribbon peelings, this reduces the geometric differences across diagrams of different shapes, and the maximal number of ribbon configurations. This allows us to prove a uniform character bound for symmetric groups which, specialized to balanced diagrams, proves the conjecture of Moore and Russell. As an application, we prove a conjecture of Dousse and Féray on the number of standard tableaux of skew shapes.

The immanant is a generalized matrix function associated with irreducible characters of the symmetric group. The immanantal polynomial of matrix $M$ is defined as the immanant of matrix $(xI - M)$, where $I$ is the identity matrix. The characteristic polynomials and permanental polynomials of graph matrices (adjacency matrix, Laplacian matrix, signless Laplacian matrix and $A_α(G)$ matrix) have been extensively studied, yielding fascinating results. As a unification of the characteristic polynomial and permanental polynomial, the immanantal polynomial has also attracted attention and led to several important findings. In this paper, we focus on the study of immanantal polynomials for linear combination matrices composed of the degree matrix and adjacency matrix of a graph. First, applying the concept of vertex orientation for general graphs, we provide a combinatorial interpretation of the coefficients of the immanantal polynomials for the linear combination matrices of graphs, and we also characterize the bounds of these coefficients. These bounds implicitly encompass the existing results of Chan and Lam on trees and bipartite graphs. Furthermore, we give a solution to the open problem posed by Merris. Second, we characterize the first six coefficients of the hook immanantal polynomial. And the necessary and sufficient condition under which the linear combination matrices of two regular graphs have the same hook immanantal polynomial is proved. Third, we generalize the Frobenius--König theorem and the Laplace expansion theorem to immanants. Using these two theorems, we show that the star degree of a graph is always a lower bound for the multiplicity of a certain root of the immanantal polynomial of its linear combination matrix. Finally, we derive formulas for the first six coefficients of the hook immanantal polynomial for several important graph matrices.

Splines on Weyl groups model the equivariant cohomology of regular semisimple Hessenberg varieties, and the natural group action on them encodes the monodromy action. The resulting representations are of great interest in algebraic combinatorics for their connections to Hecke algebra characters, LLT polynomials, and chromatic symmetric functions. We study the analogous construction for dihedral groups, which in general have no underlying geometry. Using purely algebraic methods, we show that these spline modules are free, construct explicit bases, and compute their Hilbert series, recovering the familiar properties of the geometric setting. We also determine the associated dihedral group representations completely. Unlike what is conjectured for the symmetric group case, these need not be permutation representations.

In a previous work, we defined a quotient graph of the Bruhat-Tits tree associated to the degree two special linear group over a local field whose vertex set is in correspondence with the maximal orders in a certain number of spinor genera. This graph has been applied to the study of the structure of some arithmetic groups, their presentations and their (co)homology groups. The genera of Eichler orders, which, for instance, are related to the problem of finding a basis that simultaneously splits two vector bundles with the same generic fiber, can often be described in terms of simpler genera via quotients. Furthermore, some embedding problems of orders can be studied via quotient graphs. These results provide a geometric framework for the study of maximal orders over function fields. In this article, we extend that construction to a higher dimensional setting through the use of singular chain complexes. Then we describe the set of vertices in this quotient that correspond to split maximal orders and the topology of the corresponding region of the quotient complex. More precisely, we show that these ``split vertices'' fall into a finite number of quotients of apartments by suitable subgroups of the corresponding Weyl group, the symmetric group. We relate these ``quotient apartments'' with the cuspidal sectors defined by previous authors who studied the quotient by the group of integral points of the special linear group. Both quotients are indeed related by a ramified cover that is unramified on cusps, as proved here.

Let $G$ be a finite simple graph on the vertex set $[n]$, and let $Γ(G)$ be the Cayley graph of the symmetric group $S_n$ generated by the transpositions corresponding to the edges of $G$. We study the inverse spectral problem for the assignment $G\mapsto Γ(G)$ through the group-algebra operator $A_G=\sum_{\{i,j\}\in E(G)}(ij)$ and its regular spectral moments $M_k(G)=\operatorname{tr}(A_G^k)$. The moments admit two all-order forms: a universal support expansion in non-induced subgraph counts of $G$, and a representation-theoretic expansion over the irreducible representations of $S_n$. We compute the first nontrivial moments through order six. In particular, the fourth moment already contains the Coxeter triangle relation and determines the signed local invariant $6N_{K_3}(G)-N_{P_3}(G)$, rather than $N_{P_3}(G)$ alone. Consequently, for triangle-free graphs the spectrum determines the second moment of the degree sequence. We also give a simplified sixth-moment formula for triangle-free graphs, showing that in this class the spectrum determines $5N_{K_{1,3}}(G)+2N_{P_4}(G)+12N_{C_4}(G)$. Further structural consequences include bipartiteness and spectral symmetry of $Γ(G)$, a precise connectedness test, and the identification of the standard irreducible component with the shifted graph Laplacian $mI-L_G$.

Given a weakly decreasing positive integer sequence $λ= (λ_1,\dotsc,λ_\ell)$ summing to $n$, let $χ^λ$ denote the irreducible character of the symmetric group $S_n$ indexed by $λ$. This representation has dimension $χ^λ(e)$, where $e$ is the identity element of $S_n$. Let $\mathrm{Imm}_{χ^λ}$ denote the corresponding irreducible character immanant, the function on $n \times n$ matrices $A = (a_{i,j})$ defined by $\mathrm{Imm}_{χ^λ}(A) := \sum_{w \in S_n} χ^λ(w) a_{1,w_1} \cdots a_{n,w_n}$. Merris conjectured [Linear Multilinear Algebra 14 (1983) pp. 21--35] and Heyfron proved [Linear Multilinear Algebra 24 (1988) pp. 65--78] that irreducible character immanants indexed by ``hook'' sequences $(k, 1, \dotsc, 1)$ satisfy the inequalities $\mathrm{per}(A)=\frac{\mathrm{Imm}_{χ^n}(A)}{χ^{n}(e)}\geq \frac{\mathrm{Imm}_{χ^{n-1,1}}(A)}{χ^{n-1,1}(e)}\geq \frac{\mathrm{Imm}_{χ^{ n-2,1,1}}(A)}{χ^{n-2,1,1}(e)}\geq \cdots \geq \frac{\mathrm{Imm}_{χ^{1,\dotsc,1}}(A)}{χ^{1,\dotsc,1}(e)}=\det(A)$ whenever $A$ is an $n \times n$ Hermitian positive semidefinite matrix. We prove that the same inequalities hold whenever $A$ is an $n \times n$ totally nonnegative matrix.

The Worley-Sagan insertion and Haiman's mixed insertion are insertion algorithms for shifted Young tableaux, and each of them gives a Robinson-Schensted-type correspondence between the symmetric group of degree $n$ and a set consisting of certain pairs of same-shape shifted Young tableaux with $n$ cells. It is a known fact that these two insertions are dual to each other. Our purpose is to give an extension of these two insertions without losing the duality relationship. The extended ones will be insertions producing pairs of shifted tableaux from colored permutations. Our extension of the Worley-Sagan insertion is different from the restriction of Sagan's own "Knuth version" to colored permutations. In proving the duality between our extended insertions, we "embed" them into Shimozono and White's doubly mixed insertion for unshifted tableaux by "doubling" shifted tableaux and use the self-duality of the doubly mixed insertion shown by Shimozono and White.

Suppose $l,m$ are natural numbers with $l\le m$, and $\mathbb{F}$ a field of characteristic $p$, and let $\mathcal{C}_{l,m}^{\mathbb{F}}$ denote the centraliser of the group algebra $\mathbb{F}S_l$ inside $\mathbb{F}S_m$. Ellers and Murray give a conjectured classification of the blocks of $\mathcal{C}_{l,m}^{\mathbb{F}}$, in terms of the $p$-blocks of $S_l$ and $S_m$. We prove this conjecture for a family of blocks that we call ribbon blocks and belt blocks. These are the blocks containing Specht modules labelled by skew partitions having no repeated entries in their $p$-content.

The classical Murnaghan-Nakayama rule is a recursive formula for computing the values of complex irreducible characters of the symmetric group $S_n$. Alun Morris proved a recursive formula for evaluating the values of irreducible spin characters of $\widetilde{S}_n$, where $\widetilde{S}_n$ is one of the Schur covers of $S_n$ defined by $\widetilde{S}_n:=\langle t_1,t_2,\cdots,t_{n-1},z\ |\ z^2=1,\ t_i^2=z,\ (t_it_{i+1})^3=z, \ t_it_j=zt_jt_i\ \text{if}\ |i-j|>1\rangle$. A recursive formula for evaluating the values of complex irreducible characters of the wreath product $G\wr S_n$, where $G$ is a finite group, was proved by J. Stembridge. In this article, we state and prove a recursive formula to compute the values of the irreducible spin characters of the wreath product $G\wr \widetilde{S}_n$. For the convenience of implementing these recursive formulas, we extend the notion of 0-1 boundary sequence of a Young diagram to shifted Young diagrams.

In this paper, we first characterize which generalized lexicographic products are divisor graphs. As applications, we show that power graphs, reduced power graphs and order graphs are all divisor graphs, which also implies the main result in [Power graph of a finite group is always divisor graph, Asian-European Journal of Mathematics 16 (2023)]. We then show that, the coprime graph of a group is a generalized lexicographic product, and characterize which coprime graphs are divisor graphs. Finally, we classify the finite groups $G$ having at most four prime divisors, whose coprime graphs are divisor graphs, and we also classify the finite groups $G$ whose coprime graphs are divisor graphs, if $G$ is a nilpotent group, a dihedral group, a generalized quaternion group, a symmetric group, an alternating group, a direct product of two non-trivial groups, and a sporadic simple group.

The interval $[1,c]_T$ between the identity element and a Coxeter element $c$ in the absolute order on a Coxeter group $W$ is a generalization of the poset of noncrossing partitions arising when $W$ is the symmetric group. When $W$ is finite, this poset is always a lattice, and it is natural to associate to every element $w\in [1,c]_T$ its \textit{moved space} $\mathsf{Mov}(w)=\mathrm{Im}(w - \mathrm{Id}_V)$ in the geometric representation $V$ of $W$. It has dimension equal to the reflection length $\ell_T(w)$ of $w$, and gives a realization of $[1,c]_T$ inside the lattice of subspaces of $V$. It is an important tool in the study of $[1,c]_T$. When $W$ is infinite, the moved space of an element $w\in [1,c]_T$ no longer has dimension $\ell_T(w)$ in general, and distinct elements may have the same moved space. We propose a replacement for the moved space of an element $w\in [1,c]_T$ in an arbitrary Coxeter group, that we call \textit{absolute moved space} of $w$. This subspace $\mathsf{AM}(w)$ of $V$ always contains $\mathsf{Mov}(w)$ and has dimension equal to $\ell_T(w)$, and distinct elements have distinct absolute moved spaces. This allows us to derive several properties of noncrossing partition posets that hold in full generality, and to show that the natural map from $[1,c]_T$ to reflection subgroups of $W$, which to $w\in [1,c]_T$ associates the subgroup $P(w)$ generated by reflections lying below $w$ in the absolute order, is always injective. Among others, we also derive a new proof of the lattice property of $[1,c]_T$ when $W$ has rank three, and exhibit infinitely many new examples of infinite Coxeter groups of rank four and choices of Coxeter elements for which $[1,c]_T$ fails to be a lattice.

We study the "top-to-random-and-reverse shuffle", defined as the top-to-random shuffle in the symmetric group algebra composed with the permutation $w_0$ (which sends each $i$ to $n+1-i$). More generally, we analyze the composition of any B-basis element of the descent algebra with $w_0$. We show that the minimal polynomial of any such composition (over $\mathbb{Q}$) factors into distinct linear factors, which correspond to the "signed knapsack numbers" of set compositions. This is a counterpart to an analogous property of the B-basis elements themselves, which was proved by Brown using Bidigare's face monoid. In the case of the top-to-random-and-reverse shuffle, the minimal polynomial turns out to be $\prod_{k \in \{-n+2\} \cup [-n+4, n-3] \cup \{0\} \cup \{n\}} (x-k)$.

The paper studies the distribution of dimensions of irreducible representations of a finite group and compares them with the sizes of its conjugacy classes. We study these questions for a fixed reductive group over growing finite fields, for $\mathrm{GL}_n(\mathbb{F}_q)$ where $q$ is fixed but $n$ varies, and for the symmetric group $S_n$ as $n$ varies. We also discuss finite nilpotent groups arising from Lie algebras over finite fields. As a consequence of Kirillov theory, we deduce that for ``selfdual'' nilpotent groups whose nilpotency class is less than the characteristic of the field, the squares of the dimensions of irreducible representations match the sizes of conjugacy classes, with multiplicity. These groups thus provide a large class of examples with this property.