arXiv++ Combinatorics

Chip-firing is a combinatorial game on a graph, in which chips are placed and dispersed among its vertices until a stable configuration is achieved. We specifically study a chip-firing variant on an infinite, rooted, directed $k$-ary tree where we place $k^n$ chips labeled $0,1,\dots, k^n-1$ on the root for some nonnegative integer $n$, and we say a vertex $v$ can fire if it has at least $k$ chips. When a vertex fires, we select $k$ labeled chips and send the $i$th smallest chip among them to its $i$th leftmost child. A stable configuration is reached when no vertex can fire. In this paper, we focus on stable configurations resulting from specific firing strategies based on permutations of $1, 2, \dots, n$. We then express the stable configuration as a permutation of $0,1, 2, \dots, k^n-1$ and explore its properties, such as the number of inversions and descents.

In this paper, we extend recent results by Lv and Kitaev by proving 20 (out of 22 possible) joint equidistributions of mesh patterns 123 and 321 with symmetric shadings, as well as all 36 joint equidistributions of these patterns with minus-antipodal shadings. Our results link several joint equidistributions of mesh patterns to various integer sequences, including unsigned Stirling numbers of the first kind, harmonic numbers, and the numbers of inversion sequences avoiding a certain vincular pattern studied by Lin and Yan.

Fix a probability $p\in(0,1)$. Let $s_i$ denote the transposition in the symmetric group $\mathfrak{S}_n$ that swaps $i$ and $i+1$. Given a word $\mathsf{w}$ over the alphabet $\{s_1,\ldots,s_{n-1}\}$, we can generate a random subword by independently deleting each letter of $\mathsf{w}$ with probability $1-p$. For a large class of starting words $\mathsf{w}$ -- including all alternating reduced words for the decreasing permutation -- we compute precise asymptotics (as $n\to\infty$) for the expected number of inversions of the permutation represented by the random subword. This result can also be seen as an asymptotic formula for the expected number of inversions of a permutation represented by a certain random (non-reduced) pipe dream. In the special case when $\mathsf{w}$ is the word $(s_{n-1})(s_{n-2}s_{n-1})\cdots(s_1s_2\cdots s_{n-1})$, we find that the expected number of inversions of the permutation represented by the random subword is asymptotically equal to \[\frac{2\sqrt{2}}{3\sqrtπ}\sqrt{\frac{p}{1-p}}\,n^{3/2};\] this settles a conjecture of Morales, Panova, Petrov, and Yeliussizov.

We study random permutations arising from reduced pipe dreams. Our main model is motivated by Grothendieck polynomials with parameter $β=1$ arising in K-theory of the flag variety. The probability weight of a permutation is proportional to the principal specialization (setting all variables to 1) of the corresponding Grothendieck polynomial. By mapping this random permutation to a version of TASEP (Totally Asymmetric Simple Exclusion Process), we describe the limiting permuton and fluctuations around it as the order $n$ of the permutation grows to infinity. The fluctuations are of order $n^{\frac13}$ and have the Tracy-Widom GUE distribution, which places this algebraic (K-theoretic) model into the Kardar-Parisi-Zhang universality class. We also investigate non-reduced pipe dreams and make progress on a recent open problem on the asymptotic number of inversions of the resulting permutation. Inspired by Stanley's question for the maximal value of principal specializations of Schubert polynomials, we resolve the analogous question for $β=1$ Grothendieck polynomials, and provide bounds for general $β$.

For an oriented graph $D$, the $inversion$ of $X \subseteq V(D)$ in $D$ is the digraph obtained from $D$ by reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by $inv(D)$, is the minimum number of inversions needed to transform $D$ into an acyclic digraph. In this paper, we first show that $inv (\overrightarrow{C_3} \Rightarrow D)= inv(D) +1$ for any oriented graph $\textit{D}$ with even inversion number $inv(D)$, where the dijoin $\overrightarrow{C_3} \Rightarrow D$ is the oriented graph obtained from the disjoint union of $\overrightarrow{C_3}$ and $D$ by adding all arcs from $\overrightarrow{C_3}$ to $D$. Thus we disprove the conjecture of Aubian el at. \cite{2212.09188} and the conjecture of Alon el at. \cite{2212.11969}. We also study the blow-up graph which is an oriented graph obtained from a tournament by replacing all vertices into oriented graphs. We construct a tournament $T$ with order $n$ and $inv(T)=\frac{n}{3}+1$ using blow-up graphs.

For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the graph obtained from $D$ by reversing the orientation of each edge that has both endpoints in $X$. Define the inversion number of $D$, denoted $\mathrm{inv}(D)$, to be the minimum number of inversions required to obtain an acyclic oriented graph from $D$. The dijoin, denoted $D_1\rightarrow D_2$, of two oriented graphs $D_1$ and $D_2$ is constructed by taking vertex-disjoint copies of $D_1$ and $D_2$ and adding all edges from $D_1$ to $D_2$. We show that $\mathrm{inv}({D_1 \rightarrow D_2}) > \mathrm{inv}(D_1)$, for any oriented graphs $D_1$ and $D_2$ such that $\mathrm{inv}(D_1) = \mathrm{inv}(D_2) \ge 1$. This resolves a question of Aubian, Havet, Hörsch, Klingelhoefer, Nisse, Rambaud and Vermande. Our proof proceeds via a natural connection between the graph inversion number and the subgraph complementation number.

In this paper, we first introduce the number of signed permutations with exactly $k$ inversions, which is denoted by $i_B(n,k)$ and called \textit{Mahonian numbers of type $B$}. Then we provide a recurrence relation for the Mahonian numbers $i_B(n,k)$. In addition, we give an explicit recursive description for the summation of inversions of all permutations in the hyperoctahedral group $B_n$, denoted by $\mathcal{B}_n$. Furthermore, we enumerate the total number of inversions in permutations in the hyperoctahedral group $B_n$ concretely with the help of an inversion statistic and a backward permutation concepts on $B_n$.

The number of inversion sequences avoiding two patterns $101$ and $102$ is known to be the same as the number of permutations avoiding three patterns $2341$, $2431$, and $3241$. This sequence also counts the number of Schröder paths without triple descents, restricted bicolored Dyck paths, $(101,021)$-avoiding inversion sequences, and weighted ordered trees. We provide bijections to integrate them together by introducing $F$-paths. Moreover, we define three kinds of statistics for each of the objects and count the number of each object with respect to these statistics. We also discuss direct sums of each object.

Let $\mathcal{A}(R,S)$ denote the class of all matrices of zeros and ones with row sum vector $R$ and column sum vector~$S$. We introduce the notion of an inversion in a $(0,1)$--matrix. This definition extends the standard notion of an inversion of a permutation, in the sense that both notions agree on the class of permutation matrices. We prove that the number of inversions in a $(0,1)$--matrix is monotonic with respect to the secondary Bruhat order of the class $\mathcal{A}(R,S)$. We apply this result in establishing the maximum length of a chain in the Bruhat order of the class $\mathcal{A}(n,2)$ of $(0,1)$--matrices of order $n$ in which every row and every column has a sum of~$2$. We give algorithmic constructions of chains of maximum length in the Bruhat order of $\mathcal{A}(n,2)$.

An inversion in a matrix of zeros and ones consists of two entries both of which equal $1$, and one of which is located to the top-right of the other. It is known that in the class $\mathcal{A}(R,S)$ of $(0,1)$--matrices with row sum vector $R$ and column sum vector $S$, the number of inversions in a matrix is monotonic with respect to the secondary Bruhat order. Hence any two matrices in the same class $\mathcal{A}(R,S)$ having the same number of inversions, are incomparable in the secondary Bruhat order. We use this fact to construct antichains in the Bruhat order of $\mathcal{A}(n,2)$, the class of all $n\times n$ binary matrices with common row and column sum~$2$. A product construction of antichains in the Bruhat order of $\mathcal{A}(R,S)$ is given. This product construction is applied in finding antichains in the Bruhat order of the class $\mathcal{A}(2k,k)$ of square $(0,1)$--matrices of order $2k$ and common row and column sum~$k$.

We explore how the asymptotic structure of a random permutation of $[n]$ with $m$ inversions evolves, as $m$ increases, establishing thresholds for the appearance and disappearance of any classical, consecutive or vincular pattern. The threshold for the appearance of a classical pattern depends on the greatest number of inversions in any of its sum indecomposable components.

Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is that problems can easily be combined or expanded. In this paper, we illustrate that this versatility makes CP an ideal tool for exploring problems in permutation patterns. We declaratively define permutation properties, permutation pattern avoidance and containment constraints using CP and show how this allows us to solve a wide range of problems. We show how this approach enables the arbitrary composition of these conditions, and also allows the easy addition of extra conditions. We demonstrate the effectiveness of our techniques by modelling the containment and avoidance of six permutation patterns, eight permutation properties and measuring five statistics on the resulting permutations. In addition to calculating properties and statistics for the generated permutations, we show that arbitrary additional constraints can also be easily and efficiently added. This approach enables mathematicians to investigate permutation pattern problems in a quick and efficient manner. We demonstrate the utility of constraint programming for permutation patterns by showing how we can easily and efficiently extend the known permutation counts for a conjecture involving the class of $1324$ avoiding permutations. For this problem, we expand the enumeration of $1324$-avoiding permutations with a fixed number of inversions to permutations of length 16 and show for the first time that in the enumeration there is a pattern occurring which follows a unique sequence on the Online Encyclopedia of Integer Sequences.

We provide asymptotic theory for the joint distribution of $X_{\mathrm{inv}}$ and $X_{\mathrm{des}}$, the numbers of inversions and descents of random permutations. Recently, Dörr & Kahle (2022) proved that $X_{\mathrm{inv}}$, respectively, $X_{\mathrm{des}}$ is in the maximum domain of attraction of the Gumbel distribution. To tackle the dependency between these two permutation statistics, we use Hájek projections and a suitable quantitative Gaussian approximation. We show that $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ is in the maximum domain of attraction of the two-dimensional Gumbel distribution with independent margins. This result can be stated in the broader combinatorial framework of finite Coxeter groups, on which our method also yields the central limit theorem for $(X_{\mathrm{inv}}, X_{\mathrm{des}})$ and various other permutation statistics as a novel contribution. In particular, signed permutation groups with random biased signs and products of classical Weyl groups are investigated.

Two well-known distributions in the study of permutation statistics are the Mahonian and Eulerian distributions. Mahonian statistics include the major index MAJ and the number of inversions INV, while examples of Eulerian statistics are the number of descents des and excedances exc. Also of interest are pairs of permutation statistics that have the same joint distribution as (des, MAJ); these are called Euler Mahonian pairs. In this paper we define a Stirling statistic as one that is equidistributed with the number of right-to-left minima rlmin and a Stirling- Euler-Mahonian triple as a triple of statistics with the same trivariate distribution as (rlmin, des, MAJ). We prove that several triples involving well-known statistics are Stirling-Euler-Mahonian. A general bijective technique is demonstrated for any Mahonian statistic that has a permutation code. Finally, we note several properties of Stirling-Euler-Mahonian triples that follow from earlier results.

We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.

The {\it inversion} of a set $X$ of vertices in a digraph $D$ consists of reversing the direction of all arcs of $D\langle X\rangle$. We study $sinv'_k(D)$ (resp. $sinv_k(D)$) which is the minimum number of inversions needed to transform $D$ into a $k$-arc-strong (resp. $k$-strong) digraph and $sinv'_k(n) = \max\{sinv'_k(D) \mid D~\mbox{is a $2k$-edge-connected digraph of order $n$}\}$. We show : $(i): \frac{1}{2} \log (n - k+1) \leq sinv'_k(n) \leq \log n + 4k -3$ ; $(ii):$ for any fixed positive integers $k$ and $t$, deciding whether a given oriented graph $D$ with $sinv'_k(D)<+\infty$ satisfies $sinv'_k(D) \leq t$ is NP-complete; $(iii):$ for any fixed positive integers $k$ and $t$, deciding whether a given oriented graph $D$ with $sinv_k(D)<+\infty$ satisfies $sinv_k(D) \leq t$ is NP-complete; $(iv):$ if $T$ is a tournament of order at least $2k+1$, then $sinv'_k(T) \leq sinv_k(T) \leq 2k$, and $sinv'_k(T) \leq \frac{4}{3}k+o(k)$; $(v):\frac{1}{2}\log(2k+1) \leq sinv'_k(T) \leq sinv_k(T)$ for some tournament $T$ of order $2k+1$; $(vi):$ if $T$ is a tournament of order at least $19k-2$ (resp. $11k-2$), then $sinv'_k(T) \leq sinv_k(T) \leq 1$ (resp. $sinv_k(T) \leq 3$); $(vii):$ for every $ε>0$, there exists $C$ such that $sinv'_k(T) \leq sinv_k(T) \leq C$ for every tournament $T$ on at least $2k+1 + εk$ vertices.

A random permutation $Π_n$ of $\{1,\dots,n\}$ follows the $\DeclareMathOperator{\Mallows}{Mallows}\Mallows(n,q)$ distribution with parameter $q>0$ if $\mathbb{P} ( Π_n = π)$ is proportional to $\DeclareMathOperator{\inv}{inv} q^{\inv(π)}$ for all $π$. Here $\DeclareMathOperator{\inv}{inv} \inv(π) := |\{ i<j : π(i)> π(j) \}|$ denotes the number of inversions of $π$. We consider properties of permutations that can be expressed by the sentences of two different logical languages. Namely, the theory of one bijection ($\mathsf{TOOB}$), which describes permutations via a single binary relation, and the theory of two orders ($\mathsf{TOTO}$), where we describe permutations by two total orders. We say that the convergence law holds with respect to one of these languages if, for every sentence $φ$ in the language, the probability $\mathbb{P} (Π_n\text{ satisfies } φ)$ converges to a limit as $n\to\infty$. If moreover that limit is in the set $\{0,1\}$ for all sentences, then the zero-one law holds. We will show that with respect to $\mathsf{TOOB}$ the $\Mallows(n,q)$ distribution satisfies the zero-one law when $0<q<1$ is fixed, and for fixed $q>1$ the convergence law fails. (In the case when $q=1$ Compton has shown the convergence law holds but not the zero-one law.) We will prove that with respect to $\mathsf{TOTO}$ the $\Mallows(n,q)$ distribution satisfies the convergence law but not the zero-one law for any fixed $q\neq 1$, and that if $q=q(n)$ satisfies $1 - 1/\log^*n < q < 1 + 1/\log^*n$ then $\Mallows(n,q)$ fails the convergence law. Here $\log^*$ denotes the discrete inverse of the tower function.

We introduce the notion of a weighted inversion statistic on the symmetric group, and examine its distribution on each conjugacy class. Our work generalizes the study of several common permutation statistics, including the number of inversions, the number of descents, the major index, and the number of excedances. As a consequence, we obtain explicit formulas for the first moments of several statistics by conjugacy class. We also show that when the cycle lengths are sufficiently large, the higher moments of arbitrary permutation statistics are independent of the conjugacy class. Fulman (J. Comb. Theory Ser. A., 1998) previously established this result for major index and descents. We obtain these results, in part, by generalizing the techniques of Fulman (ibid.), and introducing the notion of permutation constraints. For permutation statistics that can be realized via symmetric constraints, we show that each moment is a polynomial in the degree of the symmetric group.

For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the digraph obtained by reversing the orientations of the edges of $D$ with both endpoints in $X$. The inversion number of $D$, $\textrm{inv}(D)$, is the minimum number of inversions which can be applied in turn to $D$ to produce an acyclic digraph. Answering a recent question of Bang-Jensen, da Silva, and Havet we show that, for each $k\in\mathbb{N}$ and tournament $T$, the problem of deciding whether $\textrm{inv}(T)\leq k$ is solvable in time $O_k(|V(T)|^2)$, which is tight for all $k$. In particular, the problem is fixed-parameter tractable when parameterised by $k$. On the other hand, we build on their work to prove their conjecture that for $k\geq 1$ the problem of deciding whether a general oriented graph $D$ has $\textrm{inv}(D)\leq k$ is NP-complete. We also construct oriented graphs with inversion number equal to twice their cycle transversal number, confirming another conjecture of Bang-Jensen, da Silva, and Havet, and we provide a counterexample to their conjecture concerning the inversion number of so-called 'dijoin' digraphs while proving that it holds in certain cases. Finally, we asymptotically solve the natural extremal question in this setting, improving on previous bounds of Belkhechine, Bouaziz, Boudabbous, and Pouzet to show that the maximum inversion number of an $n$-vertex tournament is $(1+o(1))n$.

The {\it inversion} of a set $X$ of vertices in a digraph $D$ consists in reversing the direction of all arcs of $D\langle X\rangle$. The {\it inversion number} of an oriented graph $D$, denoted by ${\rm inv}(D)$, is the minimum number of inversions needed to transform $D$ into an acyclic oriented graph. In this paper, we study a number of problems involving the inversion number of oriented graphs. Firstly, we give bounds on ${\rm inv}(n)$, the maximum of the inversion numbers of the oriented graphs of order $n$. We show $n - \mathcal{O}(\sqrt{n\log n}) \ \leq \ {\rm inv}(n) \ \leq \ n - \lceil \log (n+1) \rceil$. Secondly, we disprove a conjecture of Bang-Jensen et al. asserting that, for every pair of oriented graphs $L$ and $R$, we have ${\rm inv}(L\Rightarrow R) ={\rm inv}(L) + {\rm inv}(R)$, where $L\Rightarrow R$ is the oriented graph obtained from the disjoint union of $L$ and $R$ by adding all arcs from $L$ to $R$. Finally, we investigate whether, for all pairs of positive integers $k_1,k_2$, there exists an integer $f(k_1,k_2)$ such that if $D$ is an oriented graph with ${\rm inv}(D) \geq f(k_1,k_2)$ then there is a partition $(V_1, V_2)$ of $V(D)$ such that ${\rm inv}(D\langle V_i\rangle) \geq k_i$ for $i=1,2$. We show that $f(1,k)$ exists and $f(1,k)\leq k+10$ for all positive integers $k$. Further, we show that $f(k_1,k_2)$ exists for all pairs of positive integers $k_1,k_2$ when the oriented graphs in consideration are restricted to be tournaments.