arXiv++ Combinatorics

We show that the inversion graph of a permutation governs several apparently different aspects of the permutation: the gap between its Coxeter and reflection lengths, the number of repeated letters in its reduced words, and its cycle structure, and it also bounds the number of $321$ and $3412$ patterns. The mechanism is that a reduced word orders the edges of the inversion graph, with the edges from first-occurrence letters forming a spanning forest and the edges from repeated letters accounting for the rest. The case where the inversion graph is a forest unifies several classical characterizations of these permutations, due to Edelman, Tenner, and Petersen and Tenner. We also give a new proof that every connected acyclic inversion graph is a caterpillar.

In a recent preprint, Mike Cummings showed that the smooth components of suitably parametrized Springer fibers are in bijection with contracted, fully reduced Plücker degree-two $\mathfrak{sl}_r$-webs of standard type and that are forests. He showed these are enumerated by sequence A116731 in the OEIS, which is equinumerous with permutations avoiding the patterns {321,2143,3124}. Cummings posed the problem of strengthening this enumerative result by finding a bijection between these webs and a collection of pattern-avoiding permutations. Here we solve this problem, although notably not with the collection of patterns that Cummings had proposed. Rather, we give a bijection between this class of webs and permutations avoiding the patterns {132,4321,3214}.

The cyclic sieving phenomenon (CSP) provides valuable data about symmetry classes of cyclic actions, and has applications to representation theory. In this paper, we enumerate domino tableaux of shape 2-by-n, and use this result to prove a new CSP on these objects. We then enumerate the rectangular domino tableaux of any dimensions, and conjecture a more general CSP on rectangular domino tableaux. As a consequence of the enumerative results, we obtain several identities involving Fibonacci and Catalan numbers.

We study the expansions of permutation statistics in the basis of functions counting occurrences of a fixed pattern in a permutation. We show the finiteness of these pattern expansions for a class of permutation statistics including the higher moment statistics, generalizing a result of Berman and Tenner. We also give a combinatorial criterion for the positivity of pattern expansions. Using this criterion, we show that the pattern expansion of the number of reduced words of a permutation is positive and give an enumerative interpretation for the coefficients.

The elementary symmetric partition function is a map on the set of partitions. It sends a partition lambda to the partition whose parts are the summands in the evaluation of the elementary symmetric function on the parts of lambda. These elementary symmetric partition functions have been studied before, and are related to plethysm. In this note, we study properties of the elementary symmetric partition functions, particularly related to injectivity and the number of parts appearing in their image partitions.

Condorcet domains are subsets of permutations arising in voting theory: regarding their permutations as preference orders on a list of candidates, one avoids Condorcet's paradox when aggregating the preferences via a simple majority relation. We use poset theory to show that, for the subclass of Condorcet domains of tiling type, the majority rule has stronger properties. We then develop techniques to predict the majority rule explicitly for the uniform vote tally on Condorcet domains of tiling type, and apply this to several well-known examples.

Global permutation patterns have recently been shown to characterize important properties of a Coxeter group. Here we study global patterns in the context of signed permutations, with both characterizing and enumerative results. Surprisingly, many properties of signed permutations may be characterized by avoidance of the same set of patterns as the corresponding properties in the symmetric group. We also extend previous enumerative work of Egge, and our work has connections to the Garfinkle--Barbasch--Vogan correspondence, the Erdős--Szekeres theorem, and well-known integer sequences.

We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with $\mathcal{P}_n$, and defining a parking function analogue of $\mathcal{P}_n$.

Previous work has shown that the disarray (or displacement) of an (affine) (signed) permutation is bounded in terms of its Coxeter length. Here, we characterize the permutations for which the bound is sharp in two ways: in terms of a natural property of their reduced words, and by ``globally'' avoiding the pattern 321.

Stirling permutations are parking functions, and we investigate two parking function statistics in the context of these objects: lucky cars and displacement. Among our results, we consider two extreme cases: extremely lucky Stirling permutations (those with maximally many lucky cars) and extremely unlucky Stirling permutations (those with exactly one lucky car). We show that the number of extremely lucky Stirling permutations of order $n$ is the Catalan number $C_n$, and the number of extremely unlucky Stirling permutations is $(n-1)!$. We also give some results for luck that lies between these two extremes. Further, we establish that the displacement of any Stirling permutation of order $n$ is $n^2$, and we prove several results about displacement composition vectors. We conclude with directions for further study.

In this paper we study a variant of the Malicious Maître d' problem. This problem, attributed to computer scientist Rob Pike in Peter Winkler's book "Mathematical Puzzles: A Connoisseur's Collection", involves seating diners around a circular table with napkins placed between each pair of adjacent settings. The goal of the maître d' is to seat the diners in a way that maximizes the number of diners who arrive at the table to find the napkins on both the left and right of their place already taken by their neighbors. Previous work described a seating algorithm in which the maître d' expects to force about 18% of the diners to be napkinless. In this paper, we show that if the maître d' learns each diner's preference for the right or left napkin before they are placed at the table, this expectation jumps to nearly $1/3$ (and converges to $1/3$ as the table size gets large). Moreover, our strategy is optimal for every sequence of diners' preferences.

The boolean elements of a Coxeter group have been characterized and shown to possess many interesting properties and applications. Here we introduce "prism permutations," a generalization of those elements, characterizing the prism permutations equivalently in terms of their reduced words and in terms of pattern containment. As part of this work, we introduce the notion of "calibration" to permutation patterns.

Given a Stirling permutation w, we introduce the mesa set of w as the natural generalization of the pinnacle set of a permutation. Our main results characterize admissible mesa sets and give closed enumerative formulas in terms of rational Catalan numbers by providing an explicit bijection between mesa sets and rational Dyck paths.

Petersen and Tenner defined the depth statistic for Coxeter group elements which, in the symmetric group, can be described in terms of a cost function on transpositions. We generalize that cost function to the other classical (finite and affine) Weyl groups, letting the cost of an individual reflection $t$ be the distance between the integers transposed by $t$ in the combinatorial representation of the group (à la Eriksson and Eriksson). Arbitrary group elements then have a well-defined cost, obtained by minimizing the sum of the transposition costs among all factorizations of the element. We show that the cost of arbitrary elements can be computed directly from the elements themselves using a simple, intrinsic formula.

Pinnacle sets record the values of the local maxima for a given family of permutations. They were introduced by Davis-Nelson-Petersen-Tenner as a dual concept to that of peaks, previously defined by Billey-Burdzy-Sagan. In recent years pinnacles and admissible pinnacles sets for the type $A$ symmetric group have been widely studied. In this article we define the pinnacle set of signed permutations of types $B$ and $D$. We give a closed formula for the number of type $B$/$D$ admissible pinnacle sets and answer several other related enumerative questions.

For each fully commutative permutation, we construct a "boolean core," which is the maximal boolean permutation in its principal order ideal under the right weak order. We partition the set of fully commutative permutations into the recently defined crowded and uncrowded elements, distinguished by whether or not their RSK insertion tableaux satisfy a sparsity condition. We show that a fully commutative element is uncrowded exactly when it shares the RSK insertion tableau with its boolean core. We present the dynamics of the right weak order on fully commutative permutations, with particular interest in when they change from uncrowded to crowded. In particular, we use consecutive permutation patterns and descents to characterize the minimal crowded elements under the right weak order.

For any permutation w, we characterize the reduced words of w that are their own commutation class. When w is the long element n(n-1)...321 and n \ge 4, there are exactly four such words.

Hitomezashi, a form of traditional Japanese embroidery, gives rise to intricate arrangements of axis-parallel unit-length stitches in the plane. Pete studied these patterns in the context of percolation theory, and the first two authors recently investigated additional structural properties of them. In this paper, we establish several optimization-style results on hitomezashi patterns and provide a complete classification of "long-stitch" hitomezashi patterns in which stitches have length greater than 1. We also study variants in which stitches can have directions not parallel to the coordinate axes.

We define and construct the "canonical reduced word" of a boolean permutation, and show that the RSK tableaux for that permutation can be read off directly from this reduced word. We also describe those tableaux that can correspond to boolean permutations, and enumerate them. In addition, we generalize a result of Mazorchuk and Tenner, showing that the "run" statistic influences the shape of the RSK tableau of arbitrary permutations, not just of those that are boolean.

We study relationships between permutation statistics and pattern-functions, counting the number of times particular patterns occur in a permutation. This allows us to write several familiar statistics as linear combinations of pattern counts, both in terms of a permutation and in terms of its image under the fundamental bijection. We use these enumerations to resolve the question of characterizing so-called "shallow" permutations, whose depth (equivalently, disarray/displacement) is minimal with respect to length and reflection length. We present this characterization in several ways, including vincular patterns, mesh patterns, and a new object that we call "arrow patterns." Furthermore, we specialize to characterizing and enumerating shallow involutions and shallow cycles, encountering the Motzkin and large Schröder numbers, respectively.