group
10258 papers tagged with this keyword
Separable elements and splittings of Weyl groups
Published in Adv. Math. 374 (2020)
• View Publication
• BIB
We continue the study of separable elements in finite Weyl groups. These elements generalize the well-studied class of separable permutations. We show that the multiplication map $W/U \times U \to W$ is a length-additive bijection, or splitting, of the Weyl group $W$ when $U$ is an order ideal in right weak order generated by a separable element; this generalizes a result for the symmetric group, answering an open problem of Wei.
For a generalized quotient of the symmetric group, we show that this multiplication map is a bijection if and only if $U$ is an order ideal in right weak order generated by a separable element, thereby classifying those generalized quotients which induce splittings of the symmetric group, resolving a problem of Björner and Wachs from 1988. We also prove that this map is always surjective when $U$ is an order ideal in right weak order. Interpreting these sets of permutations as linear extensions of 2-dimensional posets gives the first direct combinatorial proof of an inequality due originally to Sidorenko in 1991, answering an open problem Morales, Pak, and Panova. We also prove a new $q$-analog of Sidorenko's formula. All of these results are conjectured to extend to arbitrary finite Weyl groups.
Finally, we show that separable elements in $W$ are in bijection with the faces of all dimensions of several copies of the graph associahedron of the Dynkin diagram of $W$. This correspondence associates to each separable element $w$ a certain nested set; we give product formulas for the rank generating functions of the principal upper and lower order ideals generated by $w$ in terms of these nested sets, generalizing several known formulas.
All $2$-transitive groups have the EKR-module property
Published
• View Publication
• BIB
We prove that every 2-transitive group has a property called the EKR-module property. This property gives a characterization of the maximum intersecting sets of permutations in the group. Specifically, the characteristic vector of any maximum intersecting set in a 2-transitive group is the linear combination of the characteristic vectors of the stabilizers of a points and their cosets. We also consider when the derangement graph of a 2-transitive group is connected and when a maximum intersecting set is a subgroup or a coset of a subgroup.
Irreducible representations of the symmetric groups from slash homologies of p-complexes
Published
• View Publication
• BIB
In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.
A construction of pairs of non-commutative rank 8 association schemes from non-symmetric rank 3 association schemes
Published
• View Publication
• BIB
We construct a pair of non-commutative rank 8 association schemes from a rank 3 non-symmetric association scheme. For the pair, two association schemes have the same character table but different Frobenius-Schur indicators. This situation is similar to the pair of the dihedral group and the quaternion group of order 8. We also determine the structures of adjacency algebras of them over the rational number field.
Generalized F-signatures of Hibi rings
Published
• View Publication
• BIB
The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings.
A crystal on decreasing factorizations in the $0$-Hecke monoid
Published in Electronic J. Comb. 27(2) (2020), #P2.29
• View Publication
• BIB
We introduce a type $A$ crystal structure on decreasing factorizations of fully-commutative elements in the 0-Hecke monoid which we call $\star$-crystal. This crystal is a $K$-theoretic generalization of the crystal on decreasing factorizations in the symmetric group of the first and last author. We prove that under the residue map the $\star$-crystal intertwines with the crystal on set-valued tableaux recently introduced by Monical, Pechenik and Scrimshaw. We also define a new insertion from decreasing factorization to pairs of semistandard Young tableaux and prove several properties, such as its relation to the Hecke insertion and the uncrowding algorithm. The new insertion also intertwines with the crystal operators.
The Tutte Polynomial of Complex Reflection Groups
Published
• View Publication
• BIB
This article computes the Tutte polynomial of the hyperplane arrangements associated to the complex reflection groups. The calculations are based on both formulas of De Concini and Procesi for Tutte polynomial and the normaliser of parabolic subgroups in complex reflection groups determined by Krishnasamy and Taylor.
Almost supplementary difference sets and quaternary sequences
Published
• View Publication
• BIB
We introduce almost supplementary difference sets (ASDS). For odd $m$, certain ASDS in ${\mathbb Z}_m$ that have amicable incidence matrices are equivalent to quaternary sequences of odd length $m$ with optimal autocorrelation. As one consequence, if $2m-1$ is a prime power, or $m \equiv 1 \mod 4$ is prime, then ASDS of this kind exist. We also explore connections to optimal binary sequences and group cohomology.
On the Induction of p-Cells
Published
• View Publication
• BIB
We study cells with respect to the $p$-canonical basis of the Hecke algebra of a crystallographic Coxeter system (see arXiv:1510.01556, arXiv:1901.02323) and their compatibility with standard parabolic subgroups. We show that after induction to the surrounding bigger Coxeter group the cell module of a right $p$-cell in a standard parabolic subgroup decomposes as a direct sum of cell modules. Along the way, we state some new positivity properties of the $p$-canonical basis.
Uniform mixing on integral abelian Cayley graph
In the past few decades, quantum algorithms have become a popular research area of both mathematicians and engineers. Among them, uniform mixing provides a uniform probability distribution of quantum information over time which attracts a special attention. However, there are only a few known examples of graphs which admit uniform mixing. In this paper, a characterization of abelian Cayley graphs having uniform mixing is presented. Some concrete constructions of such graphs are provided. Specifically, for cubelike graphs, it is shown that the Cayley graph ${\rm Cay}(\mathbb{F}_2^{2k};S)$ has uniform mixing if the characteristic function of $S$ is bent. Moreover, a difference-balanced property of the eigenvalues of an integral abelian Cayley graph having uniform mixing is established. Some nonexistence results of uniform mixing on abelian Cayley graphs are presented also. Notably, for a linear abelian Cayley graph $Γ$ over $\mathbb{Z}_n^r$, it is proved that uniform mixing occurs on this graph only if $n=2,3,4$ which partially confirms a long-standing conjecture. Finally, with some restrictions on the connection set, we show that if a cyclic group $G$ whose order is divisible by an odd prime such that ${\rm Cay}(G,S)$ has uniform mixing at some time $t$ being a rational multiple of $π$, then the graph should be integral. An interesting reduction method on the circulant Cayley graphs having uniform mixing has been established. Using this method, we can answer some related open questions. For example, we can show that the only two cycles having uniform mixing are $C_3$ and $C_4$.
Asymptotic Freeness of Unitary Matrices in Tensor Product Spaces for Invariant States
Published in Random Matrices: Theory and Applications (2023) 12, no. 02: 2250052
• View Publication
• BIB
In this paper, we pursue our study of asymptotic properties of families of random matrices that have a tensor structure. In previous work, the first- and second-named authors provided conditions under which tensor products of unitary random matrices are asymptotically free with respect to the normalized trace. Here, we extend this result by proving that asymptotic freeness of tensor products of Haar unitary matrices holds with respect to a significantly larger class of states. Our result relies on invariance under the symmetric group, and therefore on traffic probability.
As a byproduct, we explore two additional generalisations: (i) we state results of freeness in a context of general sequences of representations of the unitary group -- the fundamental representation being a particular case that corresponds to the classical asymptotic freeness result for Haar unitary matrices, and (ii) we consider actions of the symmetric group and the free group simultaneously and obtain a result of asymptotic freeness in this context as well.
Automorphism groups of homogeneous structures with stationary weak independence relations
We generalise the result of Tent and Ziegler to homogeneous structures that have a stationary independence relation without the symmetry axiom. We apply our result to prove simplicity of the automorphism group of some asymmetric examples due to Cherlin.
Double Affine Bruhat Order
Published
• View Publication
• BIB
We classify cocovers and covers of a given element of the double affine Weyl semigroup W with respect to the Bruhat order, specifically when W is associated to a finite root system that is irreducible and simply laced. We show two approaches: one extending the work of Lam and Shimozono, and its strengthening by Milicevic, where cocovers are characterized in the affine case using the quantum Bruhat graph of the finite Weyl group, and another, which takes a more geometrical approach by using the length difference set defined by Muthiah and Orr.
On self-Mullineux and self-conjugate partitions
Published
• View Publication
• BIB
The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.
Latin squares with maximal partial transversals of many lengths
Published in Journal of Combinatorial Theory, Series A 180 (2021) 105403
• View Publication
• BIB
A partial transversal $T$ of a Latin square $L$ is a set of entries of $L$ in which each row, column and symbol is represented at most once. A partial transversal is maximal if it is not contained in a larger partial transversal. Any maximal partial transversal of a Latin square of order $n$ has size at least $\lceil\frac{n}{2}\rceil$ and at most $n$. We say that a Latin square is omniversal if it possesses a maximal partial transversal of all feasible sizes and is near-omniversal if it possesses a maximal partial transversal of all feasible sizes except one.
Evans showed that omniversal Latin squares of order $n$ exist for any odd $n \neq 3$. By extending this result, we show that an omniversal Latin square of order $n$ exists if and only if $n\notin\{3,4\}$ and $n \not\equiv 2 \mod 4$. Furthermore, we show that near-omniversal Latin squares exist for all orders $n \equiv 2 \mod 4$.
Finally, we show that no non-trivial group has an omniversal Cayley table, and only 15 groups have a near-omniversal Cayley table. In fact, as $n$ grows, Cayley tables of groups of order $n$ miss a constant fraction of the feasible sizes of maximal partial transversals. In the course of proving this, we are led to consider the following interesting problem in combinatorial group theory. Suppose that we have two subsets $R,C\subseteq G$ of a finite group $G$ such that $|\{rc:r\in R,c\in C\}|=m$. How large do $|R|$ and $|C|$ need to be (in terms of $m$) to be certain that $R\subseteq xH$ and $C\subseteq Hy$ for some subgroup $H$ of order $m$ in $G$, and $x,y\in G$.
Quasiparabolic sets and Stanley symmetric functions for affine fixed-point-free involutions
Published
• View Publication
• BIB
We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Schützenberger's transition formula for Schubert polynomials. Our results suggest several conjectures and open problems.
The Boolean intervals of Chevalley type are strongly non group-complemented
Let G be a finite Chevalley group and B a Borel subgroup. Then the interval [B,G] in L(G) is Boolean. We prove, using Zsigmondy's theorem, that for any element P in the open interval (B,G), its lattice-complement P^c is not a group-complement.
A classification of flag-transitive block designs
Published
• View Publication
• BIB
In this article, we investigate $2$-$(v,k,λ)$ designs with $\gcd(r,λ)=1$ admitting flag-transitive automorphism groups $G$. We prove that if $G$ is an almost simple group, then such a design belongs to one of the seven infinite families of $2$-designs or it is one of the eleven well-known examples. We describe all these examples of designs. We, in particular, prove that if $\mathcal{D}$ is a symmetric $(v,k,λ)$ design with $\gcd(k,λ)=1$ admitting a flag-transitive automorphism group $G$, then either $G\leq AΓL_{1}(q)$ for some odd prime power $q$, or $\mathcal{D}$ is a projective space or the unique Hadamard design with parameters $(11,5,2)$.
Further equidistribution of set-valued statistics on permutations
Published
• View Publication
• BIB
We construct bijections to show that two pairs of sextuple set-valued statistics of permutations are equidistributed on symmetric groups. This extends a recent result of Sokal and the second author valid for integer-valued statistics as well as a previous result of Foata and Han for bivariable set-valued statistics.
On the generic family of Cayley graphs of a finite group
Let $G$ be a finite group. For each $m>1$ we define the symmetric canonical subset $S=S(m)$ of the Cartesian power $G^m$ and we consider the family of Cayley graphs $\mathscr{G}_m(G)=Cay(G^m,S)$. We describe properties of these graphs and show that for a fixed $m>1$ and groups $G$ and $H$ the graphs $\mathscr{G}_m(G)$ and $\mathscr{G}_m(H)$ are isomorphic if and only if the groups $G$ and $H$ are isomorphic. We describe also the groups of automorphisms $\mathbf{Aut}(\mathscr{G}_m(G))$. It is shown that if $G$ is a non-abelian group, then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq \big(G^m \rtimes \mathbf{Aut}(G)\big)\rtimes D_{m+1}$, where $D_{m+1}$ is the dihedral group of order $2m+2$. If $G$ is an abelian group (with some exceptions for $m=3$), then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq G^m\rtimes \big(\mathbf{Aut}(G)\times S_{m+1}\big)$, where $S_{m+1}$ is the symmetric group of degree $m+1$. As an example of application we discuss relations between Cayley graphs $\mathscr{G}_m(G)$ and Bergman-Isaacs Theorem on rings with fixed-point-free group actions.