group
10399 papers tagged with this keyword
Poset modules of the $0$-Hecke algebras of type $B$
In 2001, Chow developed the theory of the $B_n$ posets $P$ and the type $B$ $P$-partition enumerators $K^B_P$. To provide a representation-theoretic interpretation of $K^B_P$, we define the poset modules $M^B_P$ of the 0-Hecke algebra $H_n^B(0)$ of type $B$ by endowing the set of type-$B$ linear extensions of $P$ with an $H_n^B(0)$-action. We then show that the Grothendieck group of the category associated to type-$B$ poset modules is isomorphic to the space of type $B$ quasisymmetric functions as both a $\mathrm{QSym}$-module and comodule, where $\mathrm{QSym}$ denotes the Hopf algebra of quasisymmetric functions. Considering an equivalence relation on $B_n$ posets, where two posets are equivalent if they share the same set of type-$B$ linear extensions, we identify a natural representative of each equivalence class, which we call a distinguished poset. We further characterize the distinguished posets whose sets of type-$B$ linear extensions form intervals in the right weak Bruhat order on the the hyperoctahedral groups. Finally, we discuss the relationship among the categories associated to type-$B$ weak Bruhat interval modules, $B_n$ poset modules, and finite-dimensional $H_n^B(0)$-modules.
The Coxeter Flag Variety
For a Coxeter element $c$ in a Weyl group $W$, we define the $c$-Coxeter flag variety $\operatorname{CFl}_c\subset G/B$ as the union of left-translated Richardson varieties $w^{-1}X^{wc}_w$. This is a complex of toric varieties whose geometry is governed by the lattice $\operatorname{NC}(W,c)$ of $c$-noncrossing partitions. We show that $\operatorname{CFl}_c$ is the common vanishing locus of the generalized Plücker coordinates indexed by $W\setminus\operatorname{NC}(W,c)$. We also construct an explicit affine paving of $\operatorname{CFl}_c$ and identify the $T$-weights of each cell in terms of $c$-clusters. This paving gives a GKM description of $H^\bullet(\operatorname{CFl}_c)$ and $H^\bullet_{T_{ad}}(\operatorname{CFl}_c)$ in terms of the induced Cayley subgraph on $\operatorname{NC}(W,c)$, and we show these rings are naturally isomorphic for different choices of $c$. In type $\mathrm{A}$, this recovers the quasisymmetric flag variety for a special $c$, and for general $c$ we show the cohomology ring has a presentation as permuted quasisymmetric coinvariants.
Comparability in Bruhat orders
We determine the sharp asymptotic scale of the probability that two uniformly random permutations are comparable in weak Bruhat order, showing that $\mathbb{P}(σ_1 \preceq_W σ_2)=\exp\Bigl(\bigl(-\tfrac12+o(1)\bigr)\,n\log n\Bigr)$. This significantly improves both of the best known bounds, due to Hammett and Pittel, which placed this probability between $\exp((-1+o(1))n\log n)$ and $\exp(-Θ(n))$. We also improve the best known lower bound for strong Bruhat-order comparability, due to the same authors, by proving a subexponential lower bound. The Bruhat orders are natural partial orders on the symmetric group, appearing in wide-reaching settings including the geometry of flag manifolds, the representation theory of $\mathfrak{S}_{n}$, and the combinatorics of the permutohedron. To analyze weak Bruhat order, we combine classic analytic, tableau-theoretic, and poset-theoretic tools, including the Plancherel measure and the RSK bijection. For strong Bruhat order we construct large families where members are comparable with high probability. Our proof that members are comparable combines the tableau criterion with an associated random-walk-type deviation process.
$q$-deformations of the Tsetlin library
The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.
On minimal graphs for hamiltonian groups and their fixing set
A finite non-abelian group $H$ is hamiltonian if all of its subgroups are normal. We compute the minimal orders of graphs having a hamiltonian group as their automorphism group. The fixing number of a graph $Γ$ is the minimum cardinality of a subset $S$ of $V(Γ)$ such that the stabilizer of $S$ is trivial. For a given finite group $G$, the fixing set is defined as the set comprising all possible fixing numbers of graphs having group $G$ as their automorphism groups. We determine the fixing sets corresponding to finite hamiltonian groups.
Symmetries of regular $q$-graphs
Given a finite vector space $V=\mathbb{F}_q^n$, the $q$-analogue of a graph, called a $q$-graph, is a pair $Γ=(\mathcal{V},\mathcal{E})$, where $\mathcal{V}$ is the set of $1$-dimensional subspaces of $V$ and $\mathcal{E}$ is a subset of the $2$-dimensional subspaces of $V$. Elements of $\mathcal{V}$ and $\mathcal{E}$ are called vertices and edges, respectively. If the edges through a vertex $X$ consist of all $2$-spaces of a $(k+1)$-dimensional space which contain $X$, regardless of the choice of vertex, then $Γ$ is $k$-regular. Moreover, $Γ$ is flag-transitive if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all incident vertex-edge pairs; and symmetric if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all ordered pairs of adjacent vertices.
This paper classifies all $k$-regular $q$-graphs that are either flag-transitive or symmetric. The $q$-graphs in the classification are constructed from familiar objects in finite geometry, including spreads, symplectic polar spaces, and generalised hexagons. The classification depends essentially on the classification of transitive linear groups, and thus ultimately on the classification of finite simple groups.
On the orbital diameter of classical groups in standard action
Let $G$ be a primitive permutation group acting on a finite set $X$. The orbital diameter $\mathrm{diam}(X,G)$ is defined to be the supremum of the diameters of the (connected) orbital graphs of $G$ after disregarding the directions of all edges in the graphs. This invariant is studied in the case when $G$ is an almost simple group in a standard action. A lower bound is given for $\mathrm{diam}(X,G)$ and we provide a partial classification of pairs $(X,G)$ for which the orbital diameter is at most $2$.
LCLs in the Borel Hierarchy
A locally checkable labeling problem (LCL) on a group $Γ$ asks one to find a labeling of the Cayley graph of $Γ$ satisfying a fixed, finite set of "local" constraints. Typical examples include proper coloring and perfect matching problems. In descriptive combinatorics, one often considers the existence of solutions to LCLs in the setting of descriptive set theory. For example, given a free action of $Γ$ on a Polish space $X$, we might be interested in solving a given LCL on each orbit in a continuous, Borel, measurable, etc. way.
In an attempt to understand more finely the gap between Borel and continuous combinatorics, we consider the existence of Baire class $m$ solutions to LCLs. For all $n > 1$ and $m \in ω$, we produce an LCL on $\mathbb{F}_n$ which always admits Baire class $m+1$ solutions, but not necessarily Baire class $m$ solutions.
Kostant's problem for permutations of shape $(n-2,1,1)$ and $(n-3,2,1)$
For a permutation $z$ in the symmetric group $\mathrm{S}_{n}$, denote by $L_{z}$ the corresponding simple highest weight module in the principal block of the BGG category $\mathcal{O}$ for the Lie algebra $\mathfrak{sl}_{n}(\mathbb{C})$. In this paper, we provide a combinatorial answer to Kostant's problem for the modules $L_{z}$ when $z$ has shape (associated Young diagram/integer partition via Robinson-Schensted correspondence) equal to $(n-2,1,1)$ or $(n-3,2,1)$. Moreover, we verify that certain closely related conjectures hold for such permutations, including the Indecomposability Conjecture, which states that applying any indecomposable projective functor to the corresponding simple highest weight module outputs either an indecomposable module or zero.
On the Symmetric Normaliser Graph of a Group
Published
• View Publication
• BIB
In this paper we introduce the symmetric normaliser graph of a group $G$. The vertex set of this graph consists of elements of the group. Vertices $x$ and $y$ are adjacent if $x$ lies in the normaliser of $\langle y \rangle$ and $y$ lies in the normaliser of $\langle x \rangle$. We investigate the hierarchical position this graph occupies in the hierarchy of graphs defined on groups. We show that the existing hierarchy is further refined by this graph and that the edges of this graph lie between the edges of the commuting graph and the nilpotent graph. For finite groups, we prove a necessary and sufficient condition for the symmetric normaliser graph to be equal to the commuting graph and similarly, for equality with the nilpotent graph. The edge set of the symmetric normaliser graph is also a subset of the edge set of the Engel graph of a group and has connections to the non-generating graph of a group.
Torsion groups and the Bienvenu--Geroldinger conjecture
Published
• View Publication
• BIB
Let $M$ be a monoid (written multiplicatively). Equipped with the operation of setwise multiplication induced by $M$ on its parts, the collection of all finite subsets of $M$ containing the identity element is itself a monoid, denoted by $\mathcal P_{{\rm fin}, 1}(M)$ and called the reduced finitary power monoid of $M$.
One is naturally led to ask whether, for all $H$ and $K$ in a given class of monoids, $\mathcal P_{\fin,1}(H)$ and $\mathcal P_{\fin,1}(K)$ are isomorphic if and only if $H$ and $K$ are. The problem originates from a conjecture of Bienvenu and Geroldinger [Israel J. Math., 2025] that was recently settled by the authors [Proc. AMS, 2025]. Here, we provide a positive answer to the problem in the case where $H$ and $K$ are cancellative monoids, one of which is torsion. In particular, the answer is in the affirmative when $H$ and $K$ are torsion groups. Whether the conclusion extends to arbitrary groups remains open.
On Extending Type $B$ Parking Spaces
Armstrong, Reiner, and Rhoades defined for all Weyl groups $W$ a natural representation of $W$ called the $W$-parking space. The type $B$ parking space is the representation $\mathbb{C}[(\mathbb{Z}/(2n+1)\mathbb{Z})^n]$ of the $n$th signed symmetric group. We consider more general representations of the form $\mathbb{C}[(\mathbb{Z}/m\mathbb{Z})^n]$; we conjecture that this representation extends to the $(n+1)$th signed symmetric group for all $n$ and $m$. We prove this conjecture when $m = 3$ or when $n \leq 2$.
Edge Inversions in $(P_k)$-closed Groups
We construct $(P_2)$-closed groups acting on $T_3$ in which all edge inversions have infinite order. This provides a negative answer to a question posed by Tornier. We also construct a family of $(P_2)$-closed groups for which the smallest order of an edge inversion is an arbitrarily high finite number.
Partial Resolutions and Noncrossing Combinatorics
For any finite reductive group, we compute the central elements in its Hecke algebra that arise from partial Springer resolutions via the Harish-Chandra transform. Of the two kinds of partial resolution, the larger is the more interesting case. We deduce formulas for associated Hecke traces, generalizing work of Wan-Wang beyond type $A$, and Deodhar-like decompositions of braid varieties that map to partial Springer resolutions. From the latter, we construct noncrossing sets that interpolate between rational Catalan and parking objects, generalizing our work with Galashin-Lam. In parallel, we establish new formulas for arbitrary $a$-degrees of the HOMFLYPT invariants of positive braid closures, from which we construct noncrossing sets for rational Kirkman numbers.
Constructing spherical designs using tight $t$-fusion frames
In this paper, we study conditions under which a finite subset $Z$ of the unit sphere $S^{d-1}\subset \mathbb{R}^{d}$ becomes a spherical $t$-design, when $Z$ is constructed by the following procedure: starting from a finite set of $k$-dimensional subspaces in the real Grassmannian $G_{k,d}$, we place, for each such $k$-dimensional subspace, a finite set on its unit sphere, and then take the union of these sets in $S^{d-1}$. For this construction problem -- namely, obtaining spherical designs in higher dimensions by distributing point sets on lower-dimensional spheres subspace by subspace -- we provide a sufficient condition based on the framework of tight $t$-fusion frames ($\mathrm{TFF}_t$) due to Bachoc--Ehler. As a preparation for applications, we moreover give an explicit construction of equal-weight tight $2$-fusion frames on $G_{2,d}$ for infinitely many dimensions $d$, via unions of orbits of the hyperoctahedral group. We also derive necessary conditions for the existence of highly symmetric tight $t$-fusion frames, namely equi-chordal and equi-isoclinic tight $t$-fusion frames ($\mathrm{ECTFF}_t$ and $\mathrm{EITFF}_t$), on $G_{2,d}$, and in particular obtain bounds on the number of points.
Equivariant inverse $Z$-polynomials of matroids
Motivated by the notion of the inverse $Z$-polynomial introduced by Ferroni, Matherne, Stevens, and Vecchi, we study the equivariant inverse $Z$-polynomial of a matroid equipped with a finite group. We prove that the coefficients of the equivariant inverse $Z$-polynomials are honest representations and that these polynomials are palindromic. Explicit formulas are obtained for uniform matroids equipped with the symmetric group. The corresponding formulas for $q$-niform matroids are derived using the Comparison Theorem for unipotent representations. For arbitrary equivariant paving matroids, explicit expressions are obtained by relating the polynomials of a matroid to those of its relaxation. We show that these polynomials are equivariantly unimodal and strongly inductively log-concave for both uniform and $q$-niform matroids. Motivated by the properties of equivariant $Z$-polynomials, we conjecture that the coefficients of the equivariant inverse $Z$-polynomials are equivariantly unimodal and strongly equivariantly log-concave.
Discrete Moving Frames, Semi-Algebraic Invariants and the Graph Canonization Problem
This paper develops an invariant--geometric interpretation of the canonization problem for simple undirected weighted graphs based on the {discrete moving frame method} for finite groups. We consider the action of the {pair group} $S_n^{(2)}$ on the space of edge weights of a graph. It is emphasized that the classical algebraic approach aimed at describing the ring of polynomial invariants of this action quickly becomes computationally impractical due to the explosive growth in the number and degrees of generators. The main result is a formalization of a canonical labeling of a graph as a {discrete moving frame} in the sense of Olver: a discrete orbit cross-section is fixed, in particular by a lexicographic rule, and for each configuration of edge weights one defines a permutation in $S_n^{(2)}$ that maps it to its canonical representative. The coordinates of the canonical representative are interpreted as a {complete system of invariants} for the action of $S_n^{(2)}$ that separates orbits, i.e., isomorphism classes of graphs. It is shown that the invariants obtained via such orbit canonization are of a non-algebraic nature and belong to the class of {semi-algebraic functions}. We do not propose a new computational algorithm; instead, we provide a rigorous theoretical foundation for the very concept of canonization by viewing it as a process of constructing a discrete moving frame and the corresponding system of semi-algebraic invariants.
Non-Hamiltonian 2-regular Digraphs -- Residues
In earlier papers, we showed a decomposition of the arcs of 2-diregular digraphs (2-dds) and used it to prove some conditions for these graphs to be non-Hamiltonian; we then extended this decomposition to a larger class of digraphs and used it to construct infinite families of (strongly) connected non-Hamiltonian 2-dds and provided techniques to establish non-Hamiltonicity in special cases. In the present paper, for a subclass of these graphs, we show connections between non-Hamiltonicity and sets of permutations in the full symmetric group S(n) by introducing the concepts of biconjugates, excluded sets and residues; we then use these concepts to prove a necessary and sufficient condition for non-Hamiltonicity.
The distinguishing number of complete bipartite and crown graphs
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
Mutation Of Matrices Over Group Rings
We give a precise definition of mutation of skew symmetrizable matrices over group rings and relate it to folding and mutation of quivers with symmetries. These matrices can have non-zero diagonal entries and we explain a mutation rule in some of these cases as well. This new rule comes from a notion of a generalized mutation of an entire quiver or sub-quiver.