arXiv++ Combinatorics

Browse math.CO papers from arXiv

permutation ↗ reference

4849 papers tagged with this keyword
2024-04-15
A $q$-analog of the Stirling-Eulerian Polynomials
In 1974, Carlitz and Scoville introduced the Stirling-Eulerian polynomial $A_n(x,y|α,β)$ as the enumerator of permutations by descents, ascents, left-to-right maxima and right-to-left maxima. Recently, Ji considered a refinement of $A_n(x,y|α,β)$, denoted $P_n(u_1,u_2,u_3,u_4|α,β)$, which is the enumerator of permutations by valleys, peaks, double ascents, double descents, left-to-right maxima and right-to-left maxima. Using Chen's context-free grammar calculus, Ji proved a formula for the generating function of $P_n(u_1,u_2,u_3,u_4|α,β)$, generalizing the work of Carlitz and Scoville. Ji's formula has many nice consequences, one of which is an intriguing $γ$-positivity expansion for $A_n(x,y|α,β)$. In this paper, we prove a $q$-analog of Ji's formula by using Gessel's $q$-compositional formula and provide a combinatorial approach to her $γ$-positivity expansion of $A_n(x,y|α,β)$.
2024-04-13
Link patterns and elliptic Hecke algebra
We compare the following three families of geometric objects: Schubert varieties in flag manifolds, matrix Schubert varieties, and Borel orbits of 2-nilpotent matrices. The first family is governed by permutations, the second by partial permutations, and the last one by "link patterns". These geometric objects admit characteristic classes in equivariant elliptic cohomology obtained within the framework created by Borisov and Libgober. We construct a Hecke-type algebra for computing elliptic classes and extend its action to include partial permutations and linking patterns. A uniform point of view facilitates a better understanding of duality.
2024-04-12 v4
Gamma positivity of variations of $(α,t)$-Eulerian polynomials
In 1977 Carlitz and Scoville introduced the cycle $(α,t)$-Eulerian polynomials $A^{\mathrm{cyc}}_n(x,y, t\,|\,α)$ by enumerating permutations with respect to the number of excedances, drops, fixed points and cycles. In this paper, we introduce a nine-variable generalization of the Eulerian polynomials $A_n(u_1,u_2,u_3,u_4, f, g, t\,|\,α, β)$ in terms of descent based statistics of permutations and prove a connection formula between these two kinds of generalized Eulerian polynomials. By exploring the connection formula, we derive plainly the exponential generating function of the latter polynomials and various $γ$-positive formulas for variants of Eulerian polynomials. In particular, our results unify and strengthen the recent results by Ji and Ji-Lin. In related work to the transition matrix between the Specht and web bases, Hwang, Jang and Oh recently introduced the web permutations, which can be characterised by cycle André permutations. We show that enumerating the latter permutations with respect to the number of drops, fixed points and cycles gives rise to the normalised $γ$-vectors of the $(α,t)$-Eulerian polynomials. Our result generalizes and unifies several known results in the literature.
2024-04-12
The global and local limit of the continuous-time Mallows process
Continuous-time Mallows processes are processes of random permutations of the set $\{1, \ldots, n\}$ whose marginal at time $t$ is the Mallows distribution with parameter $t$. Recently Corsini showed that there exists a unique Markov Mallows process whose left inversions are independent counting processes. We prove that this process admits a global and a local limit as $n \to \infty$. The global limit, obtained after suitably rescaling space and time, is an explicit stochastic process on $[0,1]$ whose description is based on the permuton limit of the Mallows distribution, analyzed by Starr. The local limit is a process of permutations of $\mathbb{Z}$ which is closely related to the construction of the Mallows distribution on permutations of $\mathbb{Z}$ due to Gnedin and Olshanski. Our results demonstrate an analogy between the asymptotic behavior of Mallows processes and the recently studied limiting properties of random sorting networks.
2024-04-12
The thirty-seven measures on permutations
In recent work with Harman, we introduced a notion of measure on a class of finite relational structures. In this note, we consider measures on the class of permutations, i.e., finite sets with two total orders. Using a method of Nekrasov, we show that there are exactly 37 measures. Two of these measures lead to a new pre-Tannakian tensor category.
Random permutation matrix models for graph products
Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.
Disarray, reduced words, and 321-avoidance in George groups
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.
2024-04-09 v2
Penney's game for permutations
We consider the permutation analogue of Penney's game for words. Two players, in order, each choose a permutation of length $k\ge3$; then a sequence of independent random values from a continuous distribution is generated, until the relative order of the last $k$ numbers coincides with one of the chosen permutations, making that player the winner. We compute the winning probabilities for all pairs of permutations of length 3 and some pairs of length 4, showing that, as in the original version for words, the game is non-transitive. Our proofs introduce new bijections for consecutive patterns in permutations. We also give some formulas to compute the winning probabilities more generally, and conjecture a winning strategy for the second player when $k$ is arbitrary.
2024-04-09 v4
Extremes of generalized inversions on permutation groups
Generalized inversions $X_{\mathrm{inv}}^{(d)}$ and generalized descents $X_{\mathrm{des}}^{(d)}$ are an interesting combinatorial extension of the common inversion and descent statistics. By means of the root poset, they can be defined on all classical Weyl groups. In this paper, we investigate the bivariate normality of $(X_{\mathrm{inv}}^{(d)}, X_{\mathrm{des}}^{(d)})^\top$ as well as the extreme value behavior of $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ and $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$. We show that bivariate normality holds in the regimes of $d_1 = o(n^{1/3})$ and $d_1 = ω(n^{1/2})$. For these situations, we also discuss the number of samples $k_n$ for which the Gumbel max-attraction applies to a triangular array based on $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ or $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$.
2024-04-08 v4
About the Moments of the Generalized Ulam Problem
Given $π\in S_n$, let $Z_{n,k}(π)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ π_{i_1}<\dots<π_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences $i^{(r)}_1<\dots<i^{(r)}_k$ for $r \in \{1,2\}$, and conditioning on the size of the intersection $j = |\{i_1^{(1)},\dots,i^{(1)}_k\} \cap \{i^{(2)}_1,\dots,i^{(2)}_k\}|$. We obtain the exact large deviation rate function for $\mathbf{E}[Z_{n,k} Z_{n,\ell}]$ in the asymptotic regime $k\sim κn^{1/2}$, $\ell \sim λn^{1/2}$ as $n \to \infty$, for $κ,λ\in (0,\infty)$. This uses multivariate generating function techniques, as found in the textbook of Pemantle and Wilson. The requisite generating function enumerates pairs of up-right paths in $d=2$, which both end at $(k,\ell)$ with a given number of intersections. We also evaluate the analogous generating function for pairs of $(+\boldsymbol{i},+\boldsymbol{j},+\boldsymbol{k})$ paths in $d=3$, which both end at $(k,\ell,m)$, which has some utility in calculating the 3rd moment. Finally, we consider a simpler problem involving partitions instead of permutations, where all moments are calculable and the replica symmetric ansatz can be stated if not proved.
2024-04-07
A combinatorial interpretation of Mahonian numbers of type B
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$.
Bijections on pattern avoiding inversion sequences and related objects
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.
2024-04-03
Boundary Algebras of Positroids
A dimer model is a quiver with faces embedded into a disk. A consistent dimer model gives rise to a strand diagram, and hence to a positroid. The Gorenstein-projective module category over the completed boundary algebra of a dimer model was shown by Pressland to categorify a cluster structure on the corresponding positroid variety. Outside of the Grassmannian case, boundary algebras of dimer models are not well understood. We give an explicit description of the boundary algebra of a consistent dimer model as a quiver with relations calculated only from the data of the decorated permutation or, equivalently, Grassmann necklace of its positroid.
2024-04-02
On the permutations that strongly avoid the pattern 312 or 231
In 2019, Bóna and Smith introduced the notion of \emph{strong pattern avoidance}, that is, a permutation and its square both avoid a given pattern. In this paper, we enumerate the set of permutations $π$ which not only strongly avoid the pattern $312$ or $231$ but also avoid the pattern $τ$, for $τ\in S_3$ and some $τ\in S_4$. One of them is to give a positive answer to a conjecture of Archer and Geary.
2024-04-02
Synchronicity of descent and excedance enumerators in the alternating subgroup
Generalising the work of Dey, we define the notion of ultra-synchronicity of sequences of real numbers. Let $B_{n,k},C_{n,k},P_{n,k},Q_{n,k}$ be the number of even permutations with $k$ descents, odd permutations with $k$ descents, even permutations with $k$ excedances and odd permutations with $k$ excedances respectively. We show that the four sequences are ultra-synchronised for all $n\ge 5$. This proves a strengthening of two conjectures of Dey.
2024-04-02
Combinatorial flag arrangements
We introduce combinatorial objects named matricubes that provide a generalization of the theory of matroids. As matroids provide a combinatorial axiomatization of hyperplane arrangements, matricubes provide a combinatorial axiomatization of arrangements of initial flags in a vector space. We give cryptomorphic axiomatic systems in terms of rank function, flats, circuits, and independent sets, and formulate a duality concept. We also provide precise links between matricubes, permutation arrays and matroids, and raise several open questions.
2024-04-01
Mahonian-Stirling statistics for partial permutations
Recently Cheng et al. (Adv. in Appl. Math. 143 (2023) 102451) generalized the inversion number to partial permutations, which are also known as Laguerre digraphs, and asked for a suitable analogue of MacMahon's major index. We provide such a major index, namely, the corresponding maj and inv statistics are equidistributed, and exhibit a Haglund-Remmel-Wilson type identity. We then interpret some Jacobi-Rogers polynomials in terms of Laguerre digraphs generalizing Deb and Sokal's alternating Laguerre digraph interpretation of some special Jacobi-Rogers polynomials.
2024-03-31
A Refinement of a Theorem of Diaconis-Evans-Graham
The note is dedicated to refining a theorem by Diaconis, Evans, and Graham concerning successions and fixed points of permutations. This refinement specifically addresses non-adjacent successions, predecessors, excedances, and drops of permutations.
2024-03-28 v2
On reduced unicellular hypermonopoles
The problem of counting unicellular hypermonopoles by the number of their hyperedges is equivalent to describing the cycle length distribution of a product of two circular permutations, first solved by Zagier. The solution of this problem has also been used in the study of the cycle graph model of Bafna and Pevzner and of related models in mathematical biology. In this paper we develop a method to compute the finite number of reduced unicellular hypermonopoles of a given genus. The problem of representing any hypermap as a drawing is known to be simplifiable to solving the same problem for reduced unicellular hypermonopoles. We also outline a correspondence between our hypermap model, the cycle graph model of Bafna and Pevzner, and the polygon gluing model of Alexeev and Zograf. Reduced unicellular hypermonopoles correspond to reduced objects in the other models as well, and the notion of genus is the same.
2024-03-28 v2
Equality of skew Schur functions in noncommuting variables
The question of classifying when two skew Schur functions are equal is a substantial open problem, which remains unsolved for over a century. In 2022, Aliniaeifard, Li and van Willigenburg introduced skew Schur functions in noncommuting variables, $s_{(δ,D)}$, where $D$ is a connected skew diagram with $n$ boxes and $δ$ is a permutation in the symmetric group $S_n$. In this paper, we combine these two and classify when two skew Schur functions in noncommuting variables are equal: $s_{(δ,D)} = s_{(τ,T)}$ such that $D\ne T$ if and only if $D$ is a nonsymmetric ribbon, $T$ is the antipodal rotation of $D$ and $\overline{τ^{-1}δ}$ is an explicit bijection between two set partitions determined by $D$.