arXiv++ Combinatorics

A folklore result says that any parabolic double coset $W_{I} w W_{J}$ in a Coxeter group $W$ is an interval of the Bruhat order, provided that $W_{I}$ and $W_{J}$ are finite. We include a self-contained proof, without assuming that $W$ is finite. Furthermore, we prove that each "triple coset" $W_{I} u W_{J} v W_{K}$ has a Bruhat minimum and -- if $W_{I}, W_{J}, W_{K}$ are finite -- a Bruhat maximum, but (in general) is not a Bruhat interval. This proves and extends a conjecture on MathOverflow #472072.

We describe a mixed subdivision of the $(n-1)$-dimensional Loday associahedron into $(n-1)!$ maximal cells which are combinatorial cubes, and we show that the face poset of this subdivision is isomorphic to the face poset of the subdivision of the $1\times 2\times \dotsb \times (n-1)$ box into unit cubes. More generally, we describe mixed subdivisions of generalized associahedra into pieces which are Minkowski sums of Bruhat interval polytopes. Our subdivisions arise from a torus-equivariant embedded (in a product of flag varieties) degeneration of brick varieties into reduced unions of products of Richardson varieties. The subdivision of Loday's associahedron allows us to `embed' the 1-skeleton of the permutahedron in the boundary of the associahedron.

We prove the curious fact that, in any Coxeter group, the intersection of a principal left weak order ideal $[e,x]_L$ with a principal right weak order ideal $[e,y]_R$ has a unique maximal element $\mathrm{lr}(x,y)$ under Bruhat order. We apply this to resolve a conjecture of Hart and Rowley on involutions in weak order ideals. This fact arises from, and is applied to, our study of the theory of separable elements in finite Weyl groups. We use it to prove that for $U=[e,u]_R$ in a Coxeter group $W$, the multiplication map $W/U\times U\rightarrow W$ is surjective, where $W/U$ is the Björner-Wachs generalized quotient. This resolves and generalizes a conjecture of the authors. For finite Weyl groups, we further prove that this map is bijective if and only if $u$ is separable, thereby classifying the splittings of finite Weyl groups into weak order intervals, and resolving the natural extension of a question of Björner-Wachs.

Inspired by the recent preprint of Ellenberg, Libedinsky, Plaza, Simental, and Williamson, we study the geometry of Richardson varieties whose associated Bruhat intervals are boolean posets. We define magic words for a Bruhat interval and prove that for intervals with magic words the associated Richardson variety is a tower of $\mathbb{P}^1$-s. We also prove that the Bruhat intervals consisting of the dyadically well-distributed permutations all have magic words. This gives a new proof that they form a boolean poset.

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.

For a Bruhat interval $[x,y]$ in an arbitrary Coxeter group which is a lattice, we give a type-uniform construction of a convex polytope whose complete face lattice realizes $[x,y]$. This gives a polytopal realization of the coincidence between classical Kazhdan--Lusztig polynomials for lattice Bruhat intervals and Stanley's toric $g$-polynomials. Consequently, the Kazhdan--Lusztig polynomial of a lattice Bruhat interval cannot have internal zeros, satisfies a multiplicative strengthening of monotonicity, and obeys the generalized upper bound theorem for polytopes. For lattice Bruhat intervals in finite Weyl groups, we explain the relation with the toric geometry of Richardson varieties and derive formulas for their local and global intersection cohomology, as well as a Boolean criterion for rational smoothness. We conjecture that the coefficients of these Kazhdan--Lusztig polynomials form an $M$-sequence.

Richardson varieties provide geometric representatives for products of Schubert classes, with stratifications indexed by the subintervals of Bruhat intervals. We construct analogous geometric models for tilted Bruhat intervals for all split connected reductive groups. Our construction uses Richardson varieties in affine flag varieties and yields abstract tilted Richardson varieties whose isomorphism classes, together with their labeled stratifications, are independent of the choices involved. We obtain an explicit formula for the point-counting polynomials of their open parts in terms of increasing minimal weight paths, extending Dyer's formula for Kazhdan--Lusztig $R$-polynomials. Over the real numbers, their totally nonnegative parts are regular CW complexes homeomorphic to closed balls, which gives a natural geometric realization of the posets of tilted Bruhat subintervals in all Lie types. Over the complex numbers, we prove that their fundamental classes push forward under a continuous loop evaluation map to the Poincaré duals of the minimal-degree coefficients of quantum Schubert products.

Given an $n\times n$ matrix $A=(a_{i,j})$ and subsets $I,J$ of $[1,n]:=\{1,\dotsc,n\}$, let $A_{I,J}=(a_{i,j})_{i\in I,j\in J}$ denote the $(I,J)$-submatrix of $A$. We prove that, for every totally nonnegative matrix $A$ and every $h=1,\dotsc,n-1$, \begin{equation} \operatorname{perm}(A_{[1,h],[1,h]}) \operatorname{perm}(A_{[h+1,n],[h+1,n]}) \;\geq\; \operatorname{perm}(A_{[1,n]\cap 2\mathbb Z,[1,n]\cap 2\mathbb Z}) \operatorname{perm}(A_{[1,n]\smallsetminus 2\mathbb Z,[1,n]\smallsetminus 2\mathbb Z}). \label{eq:absmain} \end{equation} In particular, these inequalities hold for the $0$-$1$ totally nonnegative matrices arising as antiadjacency matrices of unit interval orders. Our proof is based on explicit Bruhat-order comparisons between two distinguished families of permutations. Let $\mathfrak{A}_n$ be the Young subgroup $\mathfrak{S}_{1,\ldots,\left\lfloor\frac{n}{2}\right\rfloor} \times \mathfrak{S}_{\left\lfloor\frac{n}{2}\right\rfloor+1,\ldots,n}$ and let $\mathfrak{B}_n$ be the set of parity-alternating permutations \begin{equation*} \{w=w_1\cdots w_n\in\mathfrak{S}_n \mid i \text{ and } w_i \text{ have the same parity}\}. \end{equation*} For the balanced case $h=\left\lfloor\frac{n}{2}\right\rfloor$, we construct a bijection $f_n:\mathfrak{A}_n\rightarrow\mathfrak{B}_n$ satisfying $w\leq f_n(w)$ in Bruhat order. We then extend this construction to arbitrary $h$ by means of maps $g_{n,h}$ satisfying the corresponding Bruhat-order comparison. These maps yield the inequalities for all totally nonnegative matrices.

A reduced word of the longest permutation $w_0\in S_m$, taken up to commutations, encodes a wiring diagram of $m$ pseudolines, and a braid move $σ_iσ_{i+1}σ_i\leftrightarrowσ_{i+1}σ_iσ_{i+1}$ flips one of its triangles. We prove that deciding whether two wiring diagrams are within a given braid-move distance is NP-complete. Equivalently, deciding flip distance is NP-complete in the higher Bruhat order $B(m,2)$, for triangle flips of marked arrangements of pseudolines, and for rhombic tilings of a $2m$-gon; this answers an open question on flip graphs of pseudoline arrangements (SODA 2024). The reduction is from Vertex Cover: for every graph $G$ we construct two wiring diagrams at braid-move distance $|D|+2\,\mathrm{VC}(G)$, where $\mathrm{VC}(G)$ is the vertex cover number of $G$ and the Hamming distance $|D|$ is the number of triples of wires whose triangles are oriented differently. The construction glues copies of a seven-wire gadget whose braid-move distance exceeds its Hamming distance by $2$; flipping either of two disjoint triangles in both diagrams removes the excess. Adding a line at infinity transfers the construction to rank-$3$ uniform oriented matroids, where two oriented matroids are adjacent in the mutation graph if their chirotopes differ in one basis; so deciding mutation distance is NP-complete in rank $3$. An iterate of Rambau's expansion of signotopes amplifies the excess and gives NP-hardness in every fixed rank $r\ge 4$. By duality we obtain the corresponding results for every fixed corank at least $3$. The same instances show that flip distance in the higher Bruhat orders $B(n,k)$ is NP-complete for every fixed $k\ge 2$.

We introduce Lehmer codes for several finite Coxeter groups, including all classical Weyl groups. These codes correspond to embed products of chains in the Bruhat order, which allow us to associate to each lower Bruhat interval of these groups a multicomplex whose $f$-polynomial is the Poincaré polynomial of the interval. Via a general construction, we prove that these polynomials are $h$-polynomials of vertex-decomposable simplicial complexes, which we call Lehmer complexes. Moreover we provide a classification, in terms of unimodal permutations, of Poincaré polynomials of smooth Schubert varieties in flag manifolds.

For type $A$ braid varieties, including Richardson varieties and positroid varieties, we prove that the standard torus has a dense orbit exactly when the associated link is smoothly slice. More generally, we relate the smooth slice genus to the codimension of a generic standard-torus orbit. For knots, this codimension equals twice the slice genus. We also characterize algebraic tori among open affine Richardson varieties and positroid patches by 2-crown avoidance in their Bruhat intervals. Finally, positroid links have equal Seifert and slice genera, so a positroid link is smoothly slice exactly when it is an unlink.

It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite. Some proofs were developed in collaboration with Claude Opus 5.

We describe the set of palindromic Poincaré polynomials in $B_n$. As a key ingredient in this classification, we prove that $A_n$ embeds into $B_n$ as a lower interval in Bruhat order. Consequently, all Poincare polynomials $P_w(q)$ and all Kazhdan--Lusztig polynomials $P_{x,y}(q)$ of $A_n$ occur in $B_n$.

Let $μ\subseteqλ\subseteq(m^n)$. We characterize the image under the ordinary Robinson--Schensted--Knuth correspondence of matrices supported on the skew Ferrers diagram $λ/μ$. The outer boundary determines an upper bound on the right key of the insertion tableau, while the inner boundary determines a lower bound on its left key; both bounds depend on the keys of the recording tableau. This yields tableau expansions of skew Ferrers Cauchy kernels using the standard basis polynomials of Lascoux and Schützenberger, indexed by intervals in Bruhat order. The proof first treats ordinary Ferrers diagrams. Using the supremum characterization of right keys from earlier work, we follow the $λ$-dependent bounds through single RSK insertions. When $λ$ has repeated parts, these weak column bounds need not form a semistandard tableau. Strictification determines a set $\operatorname{Comp}(λ)$ of admissible weak compositions and, for each $α\in\operatorname{Comp}(λ)$, a composition $α^λ$. Ordinary RSK then gives a weight-preserving bijective realization of the expansion \[ \prod_{(i,j)\inλ}\frac{1}{1-x_i y_j} = \sum_{α\in\operatorname{Comp}(λ)} \hat K_α(x)K_{α^λ}(y), \] where $\hat K_α$ and $K_α$ denote Demazure atoms and key polynomials, respectively. We also give a direct admissibility criterion and a parking procedure for computing $α^λ$. After translating conventions, these agree with the admissibility condition and half-bubble-sort construction of Feigin, Khoroshkin, and Makedonskyi. The staircase and truncated-staircase identities follow as special cases. Finally, we extend the weak-bound construction to an infinite alphabet, where strictification need not exist, and derive the infinite-variable Cauchy identity for the $m$-symmetric Schur functions.

A boxed mesh pattern is a mesh pattern whose selected entries lie in an empty axis-parallel rectangle. We classify coincidences of boxed patterns with classical and vincular patterns, exhibit a genuinely bivincular coincidence, and prove that no boxed--bivincular coincidence occurs for patterns of length at least five. Together with known results, this shows that every boxed pattern of length at least five has factorial growth and hence fails the Stanley--Wilf property. At length four, one exceptional orbit is enumerated by the semi-Baxter numbers, while the remaining exceptional orbit, $\{2143,3412\}$, is unresolved; we conjecture that it has factorial growth. For Box(123), we derive an exact maximum-insertion identity and prove the subfactorial upper bound $2^{5n}n^{βn}$, where $β=\log_2(2\cos(π/7))<0.85$. A closed enumeration remains open. We also prove a general first-moment formula for boxed mesh patterns that depends only on the length of the underlying pattern; in particular, the expected number of Box(123) occurrences in a uniformly random permutation of length $n$ is asymptotic to $n\log n$. For Box(12), we identify the occurrence statistic with the up-degree in the strong Bruhat order, obtaining its maximum, its mean, and an exact insertion identity for the distribution polynomials. We conjecture that the coefficients of these polynomials are unimodal.

Every cluster variety admits an action of its cluster dilation group. We prove that, in the case of braid varieties for simple Lie groups, this action always extends to a regular action on each of the brick compactifications. We explore two applications of this result. First, we show that any closed Richardson variety admits a faithful action of a torus of rank the Kazhdan-Lusztig $d$-invariant, answering affirmatively a recent question of E. Gorsky--S. Kim--M. Sherman-Bennett. The same result holds for projected Richardson varieties. Second, we show that the braid variety is a torus if and only if for each of its brick compactifications, the polar dual of the moment polytope for this action realizes the corresponding subword complex. The braid words satisfying this property turn out to be precisely the double root free words of V. Pilaud and C. Stump. This provides a novel approach to the longstanding open question of the polytopality of spherical subword complexes asked by A. Knutson and E. Miller, and in particular gives infinite families of subword complexes admitting polytopal realizations in dimension higher than the rank of the corresponding Coxeter group. As a common consequence of these two applications, we classify all Bruhat intervals in finite crystallographic Coxeter groups which are isomorphic to face lattices of convex polytopes via certain double root free words.

We study torus-orbit closures in the type $A$ complete flag variety naturally associated to cones in the positive cluster fan, together with their left $S_n$-translates. The torus-equivariant degree maps can be computed via composites of long-range divided difference operations encoded by noncrossing alternating forests, and we give combinatorial algorithms to expand the torus-equivariant homology classes into Graham-positive combinations of Schubert cycles. As applications we obtain combinatorial Graham-positive Schubert cycle expansions for all torus-invariant curves (generalizing the AJS-Billey formula for torus-fixed points), generic torus-orbit closures, and Richardson varieties for Bruhat intervals $[w,wc']$ where $c'\le s_{n-1}s_{n-2}\cdots s_1$. Projecting to Grassmannians we also obtain Graham-positive Grassmannian Schubert cycle decompositions of torus-orbit closures associated to lattice path matroids on permuted ground sets.

For a partition $λ$, let $G_λ^{(β)}$ be the stable $β$-Grothendieck polynomial attached to $λ$. Each homogeneous component of the $β= 1$ specialization $G_λ^{(1)}$ is Schur-positive and hence positive in the fundamental basis of quasisymmetric functions. For $m\ge|λ|$, let $G_{λ,m}^{(1)}$ be the homogeneous degree $m$ component of $G_λ^{(1)}$. In this paper, we first give a direct proof of an expansion of $G_{λ,m}^{(1)}$ in the fundamental basis in terms of standard set-valued tableaux. We then use these tableaux as a basis to define a module of the $0$-Hecke algebra and show that the quasisymmetric characteristic of the resulting module is $G_{λ,m}^{(1)}$. We further show that this module decomposes as a direct sum of weak Bruhat interval modules.

We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.

We show that various partitions of the canonical basis of quantum groups constructed by Lusztig and by Kashiwara coincide. Using this partition, we show that the subset corresponding to open Richardson varieties equals to the intersection of the subsets corresponding to the Schubert cells. We also show that in type $A$, the weights from open Richardson varieties are saturated in the corresponding Bruhat interval polytope.