arXiv++ Combinatorics

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.

We consider the problem of comparison-sorting an $n$-permutation $S$ that avoids some $k$-permutation $π$. Chalermsook, Goswami, Kozma, Mehlhorn, and Saranurak prove that when $S$ is sorted by inserting the elements into the GreedyFuture binary search tree, the running time is linear in the extremal function $\mathrm{Ex}(P_π\otimes \text{hat},n)$. This is the maximum number of 1s in an $n\times n$ 0-1 matrix avoiding $P_π\otimes \text{hat}$, where $P_π$ is the $k\times k$ permutation matrix of $π$, $\otimes$ the Kronecker product, and $\text{hat} = \left(\begin{array}{ccc}&\bullet&\\\bullet&&\bullet\end{array}\right)$. The same time bound can be achieved by sorting $S$ with Kozma and Saranurak's SmoothHeap. In this paper we give nearly tight upper and lower bounds on the density of $P_π\otimes\text{hat}$-free matrices in terms of the inverse-Ackermann function $α(n)$. \[ \mathrm{Ex}(P_π\otimes \text{hat},n) = \left\{\begin{array}{ll} Ω(n\cdot 2^{α(n)}), & \mbox{for most $π$,}\\ O(n\cdot 2^{O(k^2)+(1+o(1))α(n)}), & \mbox{for all $π$.} \end{array}\right. \] As a consequence, sorting $π$-free sequences can be performed in $O(n2^{(1+o(1))α(n)})$ time. For many corollaries of the dynamic optimality conjecture, the best analysis uses forbidden 0-1 matrix theory. Our analysis may be useful in analyzing other classes of access sequences on binary search trees.

We introduce a new Hopf algebra that operates on pairs of finite interval partitions and permutations of equal length. This algebra captures vincular patterns, which involve specifying both the permutation patterns and the consecutive occurrence of values. Our motivation stems from linear functionals that encode the number of occurrences of these patterns, and we show that they behave well with respect to the operations of this Hopf algebra.

In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.

In this note, we prove some and conjecture other results regarding the distribution of descent top and descent bottom sets on some pattern-avoiding permutations. In particular, for 3-letter patterns, we show bijectively that the set of descent tops and the set of descent bottoms are jointly equidistributed on the avoiders of 231 and 312. We also conjecture similar equidistributions for 4-letter patterns, in particular, that the set of descent tops and the set of descent bottoms are jointly equidistributed on the avoiders of 3142, 3241, 4132. This conjecture and several others made in this paper have now been proved by Zhou, Zang, and Yan (2024).

As a natural generalization of permutations, transversals of Young diagrams play an important role in the study of pattern avoiding permutations. Let $\mathcal{T}_λ(τ)$ and $\mathcal{ST}_λ(τ)$ denote the set of $τ$-avoiding transversals and $τ$-avoiding symmetric transversals of a Young diagram $λ$, respectively. In this paper, we are mainly concerned with the distribution of the peak set and the valley set on standard Young tableaux and pattern avoiding transversals. In particular, by introducing Knuth transformations on standard Young tableaux, we prove that the peak set and the valley set are equidistributed on the standard Young tableaux of shape $λ/μ$ for any skew diagram $λ/μ$. The equidistribution enables us to show that the peak set is equidistributed over $\mathcal{T}_λ(12\cdots kτ)$ (resp. $\mathcal{ST}_λ(12\cdots k τ)$) and $\mathcal{T}_λ(k\cdots 21τ) $ (resp. $\mathcal{ST}_λ(k\cdots 21τ)$) for any Young diagram $λ$ and any permutation $τ$ of $\{k+1, k+2, \ldots, k+m\}$ with $k,m\geq 1$. Our results are refinements of the result of Backelin-West-Xin which states that $|\mathcal{T}_λ(12\cdots kτ)|=|\mathcal{T}_λ(k\cdots 21 τ)|$ and the result of Bousquet-Mélou and Steingrímsson which states that $|\mathcal{ST}_λ(12\cdots k τ)|=|\mathcal{ST}_λ(k\cdots 21 τ)|$.

A set of permutations is called sign-balanced if the set contains the same number of even permutations as odd permutations. Let $S_n(σ_1, σ_2, \ldots, σ_r)$ be the set of permutations in the symmetric group $S_n$ which avoids patterns $σ_1, σ_2, \ldots, σ_r$. The aim of this paper is to investigate when, for certain patterns $σ_1, σ_2, \ldots, σ_r$, $S_n(σ_1, σ_2, \ldots, σ_r)$ is sign-balanced for every integer $n>1$. We prove that for any $\{σ_1, σ_2, \ldots, σ_r\}\subseteq S_3$, if $\{σ_1, σ_2, \ldots, σ_r\}$ is sign-balanced except $\{132, 213, 231, 312\}$, then $S_n(σ_1, σ_2, \ldots, σ_r)$ is sign-balanced for every integer $n>1$. In addition, we give some results in the case of avoiding some patterns of length $4$.

The study of Mahonian statistics dated back to 1915 when MacMahon showed that the major index and the inverse number have the same distribution on a set of permutations with length n. Since then, many Mahonian statistics have been discovered and much effort have been done to find the equidistribution between two Mahonian statistics on permutations avoiding length-3 classical patterns. In recent years, Amini and Do et al. have done extensive research with various methods to prove the equidistributions, ranging from using generating functions, Dyck paths, block decompositions, to bijections. In this thesis, we will solve the conjectured equidistribution between bast and foze on Av(312) using the bijection method, as well as refine two established results by Do et al. with a combinatorial approach.

A sequence $π_1,π_2,\dots$ of permutations is said to be "quasirandom" if the induced density of every permutation $σ$ in $π_n$ converges to $1/|σ|!$ as $n\to\infty$. We prove that $π_1,π_2,\dots$ is quasirandom if and only if the density of each permutation $σ$ in the set $$\{123,321,2143,3412,2413,3142\}$$ converges to $1/|σ|!$. Previously, the smallest cardinality of a set with this property, called a "quasirandom-forcing" set, was known to be between four and eight. In fact, we show that there is a single linear expression of the densities of the six permutations in this set which forces quasirandomness and show that this is best possible in the sense that there is no shorter linear expression of permutation densities with positive coefficients with this property. In the language of theoretical statistics, this expression provides a new nonparametric independence test for bivariate continuous distributions related to Spearman's $ρ$.

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.

Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is an arbitrary permutation of $k+1,k+2,\ldots,k+m$. The result has been extended to involutions by Bousquet-Mélou and Steingrímsson and to alternating permutations by the first author. In this paper, we shall establish a peak set preserving bijection between $\mathcal{I}_n(123τ)$ and $\mathcal{I}_n(321τ)$ via transversals, matchings, oscillating tableaux and pairs of noncrossing Dyck paths as intermediate structures. Our result is a refinement of the result of Bousquet-Mélou and Steingrímsson for the case when $k=3$. As an application, we show bijectively that $|\mathcal{AI}_n(123τ)| = |\mathcal{AI}_n(321τ)|$, confirming a recent conjecture of Barnabei-Bonetti-Castronuovo-Silimbani. Furthmore, some conjectured equalities posed by Barnabei-Bonetti-Castronuovo-Silimbani concerning pattern avoiding alternating involutions are also proved.

We introduce a kind of $(p, q, t)$-Catalan numbers of Type A by generalizing the Jacobian type continued fraction formula, we proved that the corresponding expansions could be expressed by the polynomials counting permutations on $§_n(321)$ by various descent statistics. Moreover, we introduce a kind of $(p, q, t)$-Catalan numbers of Type B by generalizing the Jacobian type continued fraction formula, we proved that the Taylor coefficients and their $γ$-coefficients could be expressed by the polynomials counting permutations on $§_n(3124, 4123, 3142, 4132)$ by various descent statistics. Our methods include permutation enumeration techniques involving variations of bijections from permutation patterns to labeled Motzkin paths and modified Foata-Strehl action.

The permutation pattern Hopf algebra is a commutative filtered and connected Hopf algebra. Its product structure stems from counting patterns of a permutation, interpreting the coefficients as permutation quasi-shuffles. The Hopf algebra was shown to be a free commutative algebra and to fit into a general framework of pattern Hopf algebras, via species with restrictions. In this paper we introduce the cancellation-free and grouping-free formula for the antipode of the permutation pattern Hopf algebra. To obtain this formula, we use the popular sign-reversing involution method, by Benedetti and Sagan. This formula has applications on polynomial invariants on permutations, in particular for obtaining reciprocity theorems. On our way, we also introduce the packed word patterns Hopf algebra and present a formula for its antipode. Other pattern algebras are discussed here, notably on parking functions, which recovers notions recently studied by Adeniran and Pudwell, and by Qiu and Remmel.

For a set of permutations (patterns) $Π$ in $S_k$, consider the set of all permutations in $S_n$ that avoid all patterns in $Π$. An important problem in current algebraic combinatorics is to find pattern sets $Π$ such that the corresponding quasi-symmetric function is symmetric for all $n$. Recently, Bloom and Sagan proved that for any $k \ge 4$, the size of such $Π$ must be at least $3$ unless $Π\subseteq \{[1, 2, \dots, k],\; [k, \dots, 1]\}$, and asked for a general lower bound. We prove that the minimal size of such $Π$ is exactly $k - 1$. The proof applies a new generalization of a theorem of Bose from extremal combinatorics. This generalization is proved using the multilinear polynomial approach of Alon, Babai and Suzuki to the extension by Ray-Chaudhuri and Wilson to Bose's theorem.

We determine sharp bounds on the price of bandit feedback for several variants of the mistake-bound model. The first part of the paper presents bounds on the $r$-input weak reinforcement model and the $r$-input delayed, ambiguous reinforcement model. In both models, the adversary gives $r$ inputs in each round and only indicates a correct answer if all $r$ guesses are correct. The only difference between the two models is that in the delayed, ambiguous model, the learner must answer each input before receiving the next input of the round, while the learner receives all $r$ inputs at once in the weak reinforcement model. In the second part of the paper, we introduce models for online learning with permutation patterns, in which a learner attempts to learn a permutation from a set of permutations by guessing statistics related to sub-permutations. For these permutation models, we prove sharp bounds on the price of bandit feedback.

We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times. We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.

In this paper, we perform a systematic study of permutation statistics and bijective maps on permutations in which we identify and prove 122 instances of the homomesy phenomenon. Homomesy occurs when the average value of a statistic is the same on each orbit of a given map. The maps we investigate include the Lehmer code rotation, the reverse, the complement, the Foata bijection, and the Kreweras complement. The statistics studied relate to familiar notions such as inversions, descents, and permutation patterns, and also more obscure constructs. Beside the many new homomesy results, we discuss our research method, in which we used SageMath to search the FindStat combinatorial statistics database to identify potential homomesies.

There has been recent interest in lower bounds for the principal specializations of Schubert polynomials $ν_w := \mathfrak S_w(1,\dots,1)$. We prove a conjecture of Yibo Gao in the setting of $1243$-avoiding permutations that gives a lower bound for $ν_w$ in terms of the permutation patterns contained in $w$. We extended this result to principal specializations of $β$-Grothendieck polynomials $ν^{(β)}_w := \mathfrak G^{(β)}_w(1,\dots,1)$ by restricting to the class of vexillary $1243$-avoiding permutations. Our methods are bijective, offering a combinatorial interpretation of the coefficients $c_w$ and $c^{(β)}_w$ appearing in these conjectures.

Let $N_σ(π)$ denote the number of occurrences of a permutation pattern $σ\in S_k$ in a permutation $π\in S_n$. Gaetz and Ryba (2021) showed using partition algebras that the $d$-th moment $M_{σ,d,n}(π)$ of $N_σ$ on the conjugacy class of $π$ is given by a polynomial in $n,m_1,\dots,m_{dk}$, where $m_i$ denotes the number of $i$-cycles of $π$. They also showed that the coefficient $\langle χ^{λ[n]}, M_{σ,d,n}\rangle$ agrees with a polynomial $a_{σ,d}^λ(n)$ in $n$. This work is motivated by the conjecture that when $σ=\text{id}_k$ is the identity permutation, all of these coefficients are nonnegative. We directly compute closed forms for the polynomials $a_{\text{id}_k}^λ(n)$ in the cases $λ=(1),(1,1),$ and $(2)$, and use this to verify the positivity conjecture for those cases by showing that the polynomials are real-rooted with all roots less than $k$. We also study the case $a_σ^{(1)}(n)$, for which we give a formula for the polynomials and their leading coefficients.

The Baxter permuton is a random probability measure on the unit square which describes the scaling limit of uniform Baxter permutations. We find an explict formula for the expectation of the Baxter permuton, i.e.\ the density of its intensity measure. This answers a question of Dokos and Pak (2014). We also prove that all pattern densities of the Baxter permuton are strictly positive, distinguishing it from other permutons arising as scaling limits of pattern-avoiding permutations. Our proofs rely on a recent connection between the Baxter permuton and Liouville quantum gravity (LQG) coupled with the Schramm-Loewner evolution (SLE). The method works equally well for a two-parameter generalization of the Baxter permuton recently introduced by the first author, except that the density is not as explicit. This new family of permutons, called \emph{skew Brownian permuton}, describes the scaling limit of a number of random constrained permutations. We finally observe that in the LQG/SLE framework, the expected proportion of inversions in a skew Brownian permuton equals $\frac{π-2θ}{2π}$ where $θ$ is the so-called imaginary geometry angle between a certain pair of SLE curves.