group
10405 papers tagged with this keyword
Extended Nestohedra and their Face Numbers
Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the boundaries of simple polytopes, answering a question of Lam and Pylyavskyy. We also study the duals of (extended) nestohedra, giving a complete characterization of isomorphisms (as simplicial complexes) between the duals of extended nestohedra and a partial characterization of isomorphisms between the duals of nestohedra and extended nestohedra. In addition, we give formulas for their $f$-, $h$-, and $γ$-vectors. This includes showing that the $f$-vectors of the extended nestohedron corresponding to a forest $F$ and the nestohedron corresponding to the line graph of $F$ are the same, as well as showing that all flag extended nestohedra have nonnegative $γ$-vectors, thus proving Gal's conjecture for a large class of flag simple polytopes. We also relate the $f$- and $h$-vectors of the nestohedra and extended nestohedra, as well as give explicit formulas for the $h$- and $γ$-vectors in terms of descent statistics for a certain class of flag extended nestohedra. Finally, we define a partial ordering on partial permutations that is a join semilattice quotient of the weak Bruhar order on the symmetric group, and such that any linear extension of the partial order provides a shelling of the dual of the stellohedron.
Uniformly vertex-transitive graphs
We introduce uniformly vertex-transitive graphs as vertex-transitive graphs satisfying a stronger condition on their automorphism groups, motivated by a problem which arises from a Sinkhorn-type algorithm. We use the derangement graph $D(Γ)$ of a given graph $Γ$ to show that the uniform vertex-transitivity of $Γ$ is equivalent to the existence of cliques of sufficient size in $D(Γ)$. Using this method, we find examples of graphs that are vertex-transitive but not uniformly vertex-transitive, settling a previously open question. Furthermore, we develop sufficient criteria for uniform vertex-transitivity in the situation of a graph with an imprimitive automorphism group. We classify the non-Cayley uniformly vertex-transitive graphs on less than 30 vertices outside of two complementary pairs of graphs.
Factorization graphs of finite groups
We introduce the factorization graph of a finite group and study its connectedness and forbidden structures. We characterize all finite groups with connected factorization graphs and classify those with connected bipartite factorization graphs. Also, we obtain a classification of all groups with claw-free, $K_{1,4}$-free, and square-free factorization graphs, excluding the non-solvable groups in the latter case.
Involution pipe dreams
Published in Canad. J. Math. 74 (2022), no. 5, 1310-1346
• View Publication
• BIB
Involution Schubert polynomials represent cohomology classes of $K$-orbit closures in the complete flag variety, where $K$ is the orthogonal or symplectic group. We show they also represent $T$-equivariant cohomology classes of subvarieties defined by upper-left rank conditions in the spaces of symmetric or skew-symmetric matrices. This geometry implies that these polynomials are positive combinations of monomials in the variables $x_i + x_j$, and we give explicit formulas of this kind as sums over new objects called involution pipe dreams. Our formulas are analogues of the Billey-Jockusch-Stanley formula for Schubert polynomials. In Knutson and Miller's approach to matrix Schubert varieties, pipe dream formulas reflect Gröbner degenerations of the ideals of those varieties, and we conjecturally identify analogous degenerations in our setting.
Combinatorial generation via permutation languages. II. Lattice congruences
Published
• View Publication
• BIB
This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406-420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees. Moreover, we investigate the relation between lattice congruences of the weak order and pattern-avoiding permutations.
Cores and quotients of partitions through the Frobenius symbol
Published
• View Publication
• BIB
The Frobenius symbol was first introduced in 1900 by Frobenius as a way to encode an integer partition. In 1941, motivated by the modular representation theory of the symmetric group, Nakayama introduced the idea of a p-core partition, for p prime, using hook removals. In the following decade, Robinson, Littlewood, Staal and Farahat codified the $p$-quotient of such a partition, using variations of the star diagram. Since the 1970s, the convention has been to build up the theory of both core and quotients with the abacus construction, first introduced by G. James. In this paper we return to the earlier point of view. First we show that, for any positive integer t, the t-core and t-quotient of an integer partition can be directly obtained from its Frobenius symbol. The argument also works in the opposite direction: that is, given the Frobenius symbol of a t-core and a $t$-tuple of Frobenius symbols, one can recover the Frobenius symbol of the corresponding partition. One immediate application is the calculation of the Durfee number of the associated partition from the Frobenius symbols of the core and quotient. In 1991, J. Scopes gathered together the $p$-core partitions into families to prove that Donovan's conjecture holds for the symmetric groups at the prime p. We describe, using our methods, the action of the affine Weyl group W_p of type $A$ on Frobenius symbols, and use this to parametrize and compute the explicit number of Scopes families. In particular we enumerate both the infinite and finite Scopes families. Core partitions have also attracted recent interest in number theory. By constructing explicit and combinatorial bijections, we revisit some well-known identities originally obtained using sophisticated methods. We end with a close study of the relationship between certain hooks in the quotient and certain hooks in the associated partition.
Newton-Okounkov bodies for categories of modules over quiver Hecke algebras
Published
• View Publication
• BIB
We show that for a finite-type Lie algebra $\mathfrak{g}$, the representation theory of quiver Hecke algebras provides a natural framework for the construction of Newton-Okounkov bodies associated to the quantum coordinate rings $\Aqnw$. When $\mathfrak{g}$ is simply-laced, we use Kang-Kashiwara-Kim-Oh's monoidal categorification to investigate the cluster theory of these bodies. In particular, our construction yields a simplex $\ds$ for every seed $\s$ of $\Aqnw$.
We exhibit various properties of these simplices by characterizing their rational points, normal fans, and volumes. As an application, we prove an equality of rational functions relating Nakada's hook formula with the root partitions associated to cluster variables, suggesting further connections between cluster theory and the combinatorics of fully-commutative elements of Weyl groups.
BPS states, conserved charges and centres of symmetric group algebras
Published
• View Publication
• BIB
In $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, the multiplicity of half-BPS states with fixed dimension can be labelled by Young diagrams and can be distinguished using conserved charges corresponding to Casimirs of $U(N)$. The information theoretic study of LLM geometries and superstars in the dual $AdS_5 \times S^5$ background has raised a number of questions about the distinguishability of Young diagrams when a finite set of Casimirs are known. Using Schur-Weyl duality relations between unitary groups and symmetric groups, these questions translate into structural questions about the centres of symmetric group algebras. We obtain analytic and computational results about these structural properties and related Shannon entropies, and generate associated number sequences. A characterization of Young diagrams in terms of content distribution functions relates these number sequences to diophantine equations. These content distribution functions can be visualized as connected, segmented, open strings in content space.
On a conjecture of Gowers and Long
Published
• View Publication
• BIB
We show that rounding to a delta-net in SO(3) is not close to a group operation, thus confirming a conjecture of Gowers and Long.
On the central limit theorem for the two-sided descent statistics in Coxeter groups
In 2018, Kahle and Stump raised the following problem: identify sequences of finite Coxeter groups $W_n$ for which the two-sided descent statistics on a uniform random element of $W_n$ is asymptotically normal. Recently, Brück and Röttger provided an almost-complete answer, assuming some regularity condition on the sequence $W_n$. In this note, we provide a shorter proof of their result, which does not require any regularity condition. The main new proof ingredient is the use of the second Wasserstein distance on probability distributions, based on the work of Mallows (1972).
The equivariant Ehrhart theory of the permutahedron
Published
• View Publication
• BIB
Equivariant Ehrhart theory enumerates the lattice points in a polytope with respect to a group action. Answering a question of Stapledon, we describe the equivariant Ehrhart theory of the permutahedron, and we prove his Effectiveness Conjecture in this special case.
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.