arXiv++ Combinatorics

Let $\mathfrak{S}_n$ and $\mathfrak{B}_n$ denote the respective sets of ordinary and bigrassmannian (BG) permutations of order $n$, and let $(\mathfrak{S}_n,\leq)$ denote the Bruhat ordering permutation poset. We study the restricted poset $(\mathfrak{B}_n,\leq)$, first providing a simple criterion for comparability. This criterion is used to show that that the poset is connected, to enumerate the saturated chains between elements, and to enumerate the number of maximal elements below $r$ fixed elements. It also quickly produces formulas for $β(ω)$ ($α(ω)$ respectively), the number of BG permutations weakly below (weakly above respectively) a fixed $ω\in\mathfrak{B}_n$, and is used to compute the Möbius function on any interval in $\mathfrak{B}_n$. We then turn to a probabilistic study of $β=β(ω)$ ($α=α(ω)$ respectively) for the uniformly random $ω\in\mathfrak{B}_n$. We show that $α$ and $β$ are equidistributed, and that $β$ is of the same order as its expectation with high probability, but fails to concentrate about its mean. This latter fact derives from the limiting distribution of $β/n^3$. We also compute the probability that randomly chosen BG permutations form a 2- or 3-element multichain.

The lattice of monotone triangles $(\mathfrak{M}_n,\le)$ ordered by entry-wise comparisons is studied. Let $τ_{\min}$ denote the unique minimal element in this lattice, and $τ_{\max}$ the unique maximum. The number of $r$-tuples of monotone triangles $(τ_1,\ldots,τ_r)$ with minimal infimum $τ_{\min}$ (maximal supremum $τ_{\max}$, resp.) is shown to asymptotically approach $r|\mathfrak{M}_n|^{r-1}$ as $n \to \infty$. Thus, with high probability this event implies that one of the $τ_i$ is $τ_{\min}$ ($τ_{\max}$, resp.). Higher-order error terms are also discussed.

The poset of permutations of [n] under Bruhat ordering is studied. We give nontrivial upper and lower bounds for the number of comparable pairs of permutations in both the weak and strong versions of this order. In light of numerical experiments, we conjecture that in either case the upper bound is qualitatively close to the actual number of comparable pairs.