arXiv++ Combinatorics

For $τ\in S_3$, let $S_n(τ)$ denote the set of permutations in $S_n$ which avoid the pattern $τ$, and let $E_n^τ$ denote the expectation with respect to the uniformly random probability measure on $S_n(τ)$. Let $\mathcal{I}_n(σ)$ denote the number of inversions in $σ\in S_n$. We study $E_n^τ\mathcal{I}_n$ for $τ\in\{231,132,213,312\}\subset S_3$. We prove that $$ E_n^{231}\mathcal{I}_n=E_n^{312}\mathcal{I}_n=\frac12\frac{n!(n+1)!4^n}{(2n)!}-\frac12(3n+1), $$ and that $$ E_n^{132}\mathcal{I}_n=E_n^{213}\mathcal{I}_n=\frac12(n-1)n-E_n^{231}\mathcal{I}_n. $$ From the first equation it follows that $$ E_n^{231}\mathcal{I}_n=E_n^{312}\mathcal{I}_n\sim\frac{\sqrtπ}2n^\frac32. $$ We also show that the variance $\text{Var}_{P_n^τ}(\mathcal{I}_n)$ of $\mathcal{I}_n$ under $P_n^τ$ satisfies $$ \text{Var}_{P_n^τ}(\mathcal{I}_n)\sim (\frac56-\frac\pi4)n^3\approx 0.048n^3,\ \text{for}\ τ\in\{231,132,213,312\}. $$

We study cycle counts in permutations of $1,\dots,n$ drawn at random according to the Mallows distribution. Under this distribution, each permutation $π\in S_n$ is selected with probability proportional to $q^{\text{inv}(π)}$, where $q>0$ is a parameter and $\text{inv}(π)$ denotes the number of inversions of $π$. For $\ell$ fixed, we study the vector $(C_1(Π_n),\dots,C_\ell(Π_n))$ where $C_i(π)$ denotes the number of cycles of length $i$ in $π$ and $Π_n$ is sampled according to the Mallows distribution. Here we show that if $0<q<1$ is fixed and $n\to\infty$ then there are positive constants $m_i$ such that each $C_i(Π_n)$ has mean $(1+o(1)) \cdot m_i\cdot n$ and the vector of cycle counts can be suitably rescaled to tend to a joint Gaussian distribution. Our results also show that when $q>1$ there is striking difference between the behaviour of the even and the odd cycles. The even cycle counts still have linear means, and when properly rescaled tend to a multivariate Gaussian distribution. For the odd cycle counts on the other hand, the limiting behaviour depends on the parity of $n$ when $q>1$. Both $(C_1(Π_{2n}),C_3(Π_{2n}),\dots)$ and $(C_1(Π_{2n+1}),C_3(Π_{2n+1}),\dots)$ have discrete limiting distributions -- they do not need to be renormalized -- but the two limiting distributions are distinct for all $q>1$. We describe these limiting distributions in terms of Gnedin and Olshanski's bi-infinite extension of the Mallows model. We also investigate these limiting distributions, and study the behaviour of the constants involved in the Gaussian limit laws. We for example show that as $q\downarrow 1$ the expected number of 1-cycles tends to $1/2$ -- which, curiously, differs from the value corresponding to $q=1$. In addition we exhibit an interesting "oscillating" behaviour in the limiting probability measures for $q>1$ and $n$ odd versus $n$ even.

Let $D$ be an oriented graph. The inversion of a set $X$ of vertices in $D$ consists in reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by ${\rm inv}(D)$, is the minimum number of inversions needed to make $D$ acyclic. Denoting by $τ(D)$, $τ' (D)$, and $ν(D)$ the cycle transversal number, the cycle arc-transversal number and the cycle packing number of $D$ respectively, one shows that ${\rm inv}(D) \leq τ' (D)$, ${\rm inv}(D) \leq 2τ(D)$ and there exists a function $g$ such that ${\rm inv}(D)\leq g(ν(D))$. We conjecture that for any two oriented graphs $L$ and $R$, ${\rm inv}(L\rightarrow R) ={\rm inv}(L) +{\rm inv}(R)$ where $L\rightarrow R$ is the dijoin of $L$ and $R$. This would imply that the first two inequalities are tight. We prove this conjecture when ${\rm inv}(L)\leq 1$ and ${\rm inv}(R)\leq 2$ and when ${\rm inv}(L) ={\rm inv}(R)=2$ and $L$ and $R$ are strongly connected. We also show that the function $g$ of the third inequality satisfies $g(1)\leq 4$. We then consider the complexity of deciding whether ${\rm inv}(D)\leq k$ for a given oriented graph $D$. We show that it is NP-complete for $k=1$, which together with the above conjecture would imply that it is NP-complete for every $k$. This contrasts with a result of Belkhechine et al. which states that deciding whether ${\rm inv}(T)\leq k$ for a given tournament $T$ is polynomial-time solvable.

The well-known secretary problem in sequential analysis and optimal stopping theory asks one to maximize the probability of finding the optimal candidate in a sequentially examined list under the constraint that accept/reject decisions are made in real-time. A version of the problem is the so-called postdoc problem, for which the question of interest is to devise a strategy that identifies the second-best candidate with highest possible probability of success. We study the postdoc problem in its combinatorial form. In this setting, a permutation $π$ of length $N$ is sampled according to some distribution on the symmetric group $S_N$ and the elements of $π$ are revealed one-by-one from left to right so that at each step, one can only observe the relative orders of the elements. At each step, one must decide to either accept or reject the currently presented element and cannot recall the decision in the future. The question of interest is to find the optimal strategy for selecting the position of the second-largest value. We solve the postdoc problem for the untraditional setting where the candidates are not presented uniformly at random but rather according to permutations drawn from the Mallows distribution. The Mallows distribution assigns to each permutation $π\in S_N$ a weight $θ^{c(π)}$, where the function c counts the number of inversions in $π$. To identify the optimal stopping criteria for the significantly more challenging postdoc problem, we adopt a combinatorial methodology that includes new proof techniques and novel methodological extensions compared to the analysis first introduced in the setting of the secretary problem. The optimal strategies depend on the parameter $θ$ of the Mallows distribution and can be determined exactly by solving well-defined recurrence relations.

We provide a bijective proof of a formula of Auli and the author expressing the number of inversion sequences with no three consecutive equal entries in terms of the number of non-derangements, that is, permutations with fixed points. Additionally, we give bijective proofs of two simple recurrences for the number of non-derangements.

The study of pattern avoidance in inversion sequences recently attracts extensive research interests. In particular, Zhicong Lin and Jun Ma conjectured a formula that counts the number of inversion sequences avoiding the pattern $0012$. We will not only confirm this conjecture but also give a formula that enumerates the number of $0012$-avoiding inversion sequences in which the last entry equals $n-1$.

This paper studies the asymptotic distribution of descents $\des(w)$ in a permutation $w$, and its inverse, distributed according to the Mallows measure. The Mallows measure is a non-uniform probability measure on permutations introduced to study ranked data. Under this measure, permutations are weighted according to the number of inversions they contain, with the weighting controlled by a parameter $q$. The main results are a Berry-Esseen theorem for $\des(w)+\des(w^{-1})$ as well as a joint central limit theorem for $(\des(w),\des(w^{-1}))$ to a bivariate normal with a non-trivial correlation depending on $q$. The proof uses Stein's method with size-bias coupling along with a regenerative process associated to the Mallows measure.

Inversion sequences are finite sequences of non-negative integers, where the value of each entry is bounded from above by its position. Patterns in inversion sequences have been studied by Corteel-Martinez-Savage-Weselcouch and Mansour-Shattuck in the classical case, where patterns can occur in any positions, and by Auli-Elizalde in the consecutive case, where only adjacent entries can form an occurrence of a pattern. These papers classify classical and consecutive patterns of length 3 into Wilf equivalence classes according to the number of inversion sequences avoiding them. In this paper we consider vincular patterns in inversion sequences, which, in analogy to Babson-Steingrímsson patterns in permutations, require only certain entries of an occurrence to be adjacent, and thus generalize both classical and consecutive patterns. Solving a conjecture of Lin and Yan, we provide a complete classification of vincular patterns of length 3 in inversion sequences into Wilf equivalence classes, and into more restrictive classes that consider the number of occurrences of the pattern and the positions of such occurrences. We find the first known instance of patterns in inversion sequences where these two more restrictive classes do not coincide.

The Mallows measure is measure on permutations which was introduced by Mallows in connection with ranking problems in statistics. Under this measure, the probability of a permutation $π$ is proportional to $q^{Inv(π)}$ where $q$ is a positive parameter and $Inv(π)$ is the number of inversions in $π$. We consider the length of the longest common subsequence (LCS) of two independently permutations drawn according to $μ_{n,q}$ and $μ_{n,q'}$ for some $q,q' >0$. We show that when $0<q,q'<1$, the limiting law of the LCS is Gaussian. In the regime that $n(1-q) \to \infty$ and $n(1-q') \to \infty$ we show a weak law of large numbers for the LCS. These results extend the results of \cite{Basu} and \cite{Naya} showing weak laws and a limiting law for the distribution of the longest increasing subsequence to showing corresponding results for the longest common subsequence.

Inversion sequences are integer sequences $e=e_{1}e_{2}\dots e_{n}$ such that $0\leq e_{i}<i$ for each $i$. The study of patterns in inversion sequences was initiated by Corteel--Martinez--Savage--Weselcouch and Mansour--Shattuck in the classical (non-consecutive) case, and later by Auli--Elizalde in the consecutive case, where the entries of a pattern are required to occur in adjacent positions. In this paper we continue this investigation by considering {\em consecutive patterns of relations}, in analogy to the work of Martinez--Savage in the classical case. Specifically, given two binary relations $R_{1},R_2\in\{\leq,\geq,<,>,=,\neq\}$, we study inversion sequences $e$ with no subindex $i$ such that $e_{i}R_{1}e_{i+1}R_{2}e_{i+2}$. By enumerating such inversion sequences according to their length, we obtain well-known quantities such as Catalan numbers, Fibonacci numbers and central polynomial numbers, relating inversion sequences to other combinatorial structures. We also classify consecutive patterns of relations into Wilf equivalence classes, according to the number of inversion sequences avoiding them, and into more restrictive classes that consider the positions of the occurrences of the patterns. As a byproduct of our techniques, we obtain a simple bijective proof of a result of Baxter--Shattuck and Kasraoui about Wilf-equivalence of vincular patterns, and we prove a conjecture of Martinez and Savage, as well as related enumeration formulas for inversion sequences satisfying certain unimodality conditions.

The game of best choice (also known as the secretary problem) is a model for sequential decision making with a long history and many variations. The classical setup assumes that the sequence of candidate rankings are uniformly distributed. Given a statistic on the symmetric group, one can instead weight each permutation according to an exponential function in the statistic. We play the game of best choice on the Ewens and Mallows distributions that are obtained in this way from the number of left-to-right maxima and number of inversions in the permutation, respectively. For each of these, we give the optimal strategy and probability of winning. Moreover, we introduce a general class of permutation statistics that always produces games of best choice whose optimal strategies are positional, which simplifies their analysis considerably.

We investigate the number of permutations that occur in random labellings of trees. This is a generalisation of the number of subpermutations occurring in a random permutation. It also generalises some recent results on the number of inversions in randomly labelled trees. We consider complete binary trees as well as random split trees a large class of random trees of logarithmic height introduced by Devroye in 1998. Split trees consist of nodes (bags) which can contain balls and are generated by a random trickle down process of balls through the nodes. For complete binary trees we show that asymptotically the cumulants of the number of occurrences of a fixed permutation in the random node labelling have explicit formulas. Our other main theorem is to show that for a random split tree, with high probability the cumulants of the number of occurrences are asymptotically an explicit parameter of the split tree. For the proof of the second theorem we show some results on the number of embeddings of digraphs into split trees which may be of independent interest.

We offer a new proof that a certain q-analogue of multinomial coeffi- cients furnishes a q-counting of the set of permutations of an associated multiset of positive integers, according to the number of inversions in such arrangements. Our proof uses the fact that such q-multinomial coefficients enumerate certain classes of chains of subspaces of a fnite dimensional vector space over a fnite field of cardinality q. Additionally, we investigate the function that counts the number of permutations of a multiset having a fixed number of inversions.

Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, we review several less known results of the $μ$-permanent, recalling some of its interesting properties. Some determinantal conjectures are considered and extended to that polynomial. A correction to a previous note is presented as well.

The Robinson-Schensted correspondence can be viewed as a map from permutations to partitions. In this work, we study the number of inversions of permutations corresponding to a fixed partition $λ$ under this map. Hohlweg characterized permutations having shape $λ$ with the minimum number of inversions. Here, we give the first results in this direction for higher numbers of inversions. We give explicit conjectures for both the structure and the number of permutations associated to $λ$ where the extra number of inversions is less than the length of the smallest column of $λ$. We prove the result when $λ$ has two columns.

Dokos et. al. studied the distribution of two statistics over permutations $\mathfrak{S}_n$ of $\{1,2,\dots, n\}$ that avoid one or more length three patterns. A permutation $σ\in\mathfrak{S}_n$ contains a pattern $π\in\mathfrak{S}_k$ if $σ$ has a subsequence of length $k$ whose letters are in the same relative order as $π$. This paper is a comprehensive study of the same two statistics, number of inversions and major index, over involutions $\mathcal{I}_n=\{σ\in\mathfrak{S}_n:σ^2=\text{id}\}$ that avoid one or more length three patterns. The equalities between the generating functions are consequently determined via symmetries and we conjecture this happens for longer patterns as well. We describe the generating functions for each set of patterns including the fixed-point-free case, $σ(i)\neq i$ for all $i.$ Notating $M\mathcal{I}_n(π)$ as the generating function for the major index over the avoidance class of involutions associated to $π$ we particularly present an independent determination that $M\mathcal{I}_n(321)$ is the $q$-analogue for the central binomial coefficient that first appeared in a paper by Barnebei, Bonetti, Elizalde and Silimbani. A shorter proof is presented that establishes a connection to core, a central topic in poset theory. We also prove that $M\mathcal{I}_n(132;q)=q^{\binom{n}{2}}M\mathcal{I}_n(213;q^{-1})$ and that the same symmetry holds for the larger class of permutations conjecturing that the same equality is true for involutions and permutations given any pair of patterns of the form $k(k-1)\dots 1(k+1)(k+2)\dots m$ and $12\dots (k-1) m(m-1)\dots k$, $k\leq m$.

We study $I(T)$, the number of inversions in a tree $T$ with its vertices labeled uniformly at random, which is a generalization of inversions in permutations. We first show that the cumulants of $I(T)$ have explicit formulas involving the $k$-total common ancestors of $T$ (an extension of the total path length). Then we consider $X_n$, the normalized version of $I(T_n)$, for a sequence of trees $T_n$. For fixed $T_{n}$'s, we prove a sufficient condition for $X_n$ to converge in distribution. As an application, we identify the limit of $X_n$ for complete $b$-ary trees. For $T_n$ being split trees, we show that $X_n$ converges to the unique solution of a distributional equation. Finally, when $T_n$'s are conditional Galton--Watson trees, we show that $X_n$ converges to a random variable defined in terms of Brownian excursions. By exploiting the connection between inversions and the total path length, we are able to give results that are stronger and much broader compared to previous work by Panholzer and Seitz.

The Mallows measure is a probability measure on $S_n$ where the probability of a permutation $π$ is proportional to $q^{l(π)}$ with $q > 0$ being a parameter and $l(π)$ the number of inversions in $π$. We prove a weak law of large numbers for the length of the longest common subsequences of two independent permutations drawn from the Mallows measure, when $q$ is a function of $n$ and $n(1-q)$ has limit in $\mathbb{R}$ as $n \to \infty$.

Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for counting and uniform sampling. We show that for certain classes of posets, biased Markov chains that walk along edges of their Hasse diagrams allow us to approximately generate samples with any fixed rank in expected polynomial time. Our arguments do not rely on the typical proofs of log-concavity, which are used to construct a stationary distribution with a specific mode in order to give a lower bound on the probability of outputting an element of the desired rank. Instead, we infer this directly from bounds on the mixing time of the chains through a method we call $\textit{balanced bias}$. A noteworthy application of our method is sampling restricted classes of integer partitions of $n$. We give the first provably efficient Markov chain algorithm to uniformly sample integer partitions of $n$ from general restricted classes. Several observations allow us to improve the efficiency of this chain to require $O(n^{1/2}\log(n))$ space, and for unrestricted integer partitions, expected $O(n^{9/4})$ time. Related applications include sampling permutations with a fixed number of inversions and lozenge tilings on the triangular lattice with a fixed average height.

Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.