permutation ↗ reference
4849 papers tagged with this keyword
Tableau formula for vexillary double Edelman--Greene coefficients
Lam, Lee and Shimozono recently introduced backstable double Grothendieck polynomials to represent $K$-theory classes of the infinite flag variety. They used them to define double $β$-Stanley symmetric functions, which expand into double stable Grothendieck functions with polynomial coefficients called double $β$-Edelman--Greene coefficients. Anderson proved these coefficients are $β$-Graham positive. For vexillary permutations, this is equivalent to a statement for skew flagged double $β$-Grothendieck functions. Working in this setting, we give a tableau formula for vexillary double $β$-Edelman--Greene coefficients that is manifestly $β$-Graham positive. Our formula demonstrates a finer notion of positivity than was previously known.
Asymptotic expansions for the reciprocal Hardy-Littlewood logarithmic integrals
Defining a family of recurrences, we generalize Comtet's formula for the generating function of the enumeration of indecomposable permutations. Consequently, we generalize Panaitopol's asymptotic expansion for the prime counting function, obtaining asymptotic expansions salient to the first Hardy-Littlewood conjecture.
High-dimensional permutons: theory and applications
Permutons, which are probability measures on the unit square $[0, 1]^2$ with uniform marginals, are the natural scaling limits for sequences of (random) permutations.
We introduce a $d$-dimensional generalization of these measures for all $d \ge 2$, which we call $d$-dimensional permutons, and extend -- from the two-dimensional setting -- the theory to prove convergence of sequences of (random) $d$-dimensional permutations to (random) $d$-dimensional permutons.
Building on this new theory, we determine the random high-dimensional permuton limits for two natural families of high-dimensional permutations. First, we determine the $3$-dimensional permuton limit for Schnyder wood permutations, which bijectively encode planar triangulations decorated by triples of spanning trees known as Schnyder woods. Second, we identify the $d$-dimensional permuton limit for $d$-separable permutations, a pattern-avoiding class of $d$-dimensional permutations generalizing ordinary separable permutations.
Both high-dimensional permuton limits are random and connected to previously studied universal 2-dimensional permutons, such as the Brownian separable permutons and the skew Brownian permutons, and share interesting connections with objects arising from random geometry, including the continuum random tree, Schramm--Loewner evolutions, and Liouville quantum gravity surfaces.
A random walk among random graphs
Lecture notes of a master course given at Orsay between 2019-2024. Topics covered include Part I: One-dimensional random walks, cycle lemma and Bienaymé--Galton--Watson random trees. Part II: Erdös--Rényi random graphs, three proofs of the emergence of the giant component. Part III: Random recursive tree, random permutations and continuous time embedding techniques. Intended for publication.
Robinson-Schensted shapes arising from cycle decompositions
In the symmetric group $S_n$, each element $σ$ has an associated cycle type $α$, a partition of $n$ that identifies the conjugacy class of $σ$. The Robinson-Schensted (RS) correspondence links each $σ$ to another partition $λ$ of $n$, representing the shape of the pair of Young tableaux produced by applying the RS row-insertion algorithm to $σ$. Surprisingly, the relationship between these two partitions, namely the cycle type $α$ and the RS shape $λ$, has only recently become a subject of study. In this work, we explicitly describe the set of RS shapes $λ$ that can arise from elements of each cycle type $α$ in cases where $α$ consists of two cycles. To do this, we introduce the notion of an $α$-coloring, where one colors the entries in a certain tableau of shape $λ$, in such a way as to construct a permutation $σ$ with cycle type $α$ and RS shape $λ$.
Rational symmetric functions from the Izergin-Korepin 19-vertex model
Starting from the Izergin-Korepin 19-vertex model in the quadrant, we introduce two families of rational multivariate functions $F_S$ and $G_S$; these are in direct analogy with functions introduced by Borodin in the context of the higher-spin 6-vertex model in the quadrant.
We prove that $F_S(x_1,\dots,x_N;z)$ and $G_S(y_1,\dots,y_M;z)$ are symmetric functions in their alphabets $(x_1,\dots,x_N)$ and $(y_1,\dots,y_M)$, and pair together to yield a Cauchy identity. Both properties are consequences of the Yang-Baxter equation of the model.
We show that, in an appropriate limit of the spectral parameters $z$, $F_S$ tends to a stable symmetric function denoted $H_S$. This leads to a simplified version of the Cauchy identity with a fully factorized kernel, and suggests self-duality of the functions $H_S$.
We obtain a symmetrization formula for the function $F_S(x_1,\dots,x_N;z)$, which exhibits its symmetry in $(x_1,\dots,x_N)$. In contrast to the 6-vertex model, where $F^{6{\rm V}}_S(x_1,\dots,x_N;z)$ is cast as a sum over the symmetric group $\mathfrak{S}_N$, the symmetrization formula in the 19-vertex model is over a larger set of objects that we define; we call these objects 2-permutations.
As a byproduct of the proof of our symmetrization formula, we obtain explicit formulas for the monodromy matrix elements of the 19-vertex model in a basis that renders them totally spatially symmetric.
On a weighted generalization of Kendall's tau distance
Published in Ann. Comb. 25, 33-50 (2021)
• View Publication
• BIB
We introduce a metric on the set of permutations of given order, which is a weighted generalization of Kendall's $τ$ rank distance and study its properties. Using the edge graph of a permutohedron, we give a criterion which guarantees that a permutation lies metrically between another two fixed permutations. In addition, the conditions under which four points from the resulting metric space form a pseudolinear quadruple were found.
Relative sizes of iterated sumsets
Let $hA$ denote the $h$-fold sumset of a subset $A$ of an abelian group. Resolving a problem of Nathanson, we show that for any prescribed permutations $σ_1, \ldots, σ_H \in \mathfrak{S}_n$, there exist finite subsets $A_1, \ldots, A_n \subseteq \mathbb{Z}$ such that for each $1 \leq h \leq H$, the relative order of the quantities $|h A_1|, \ldots, |h A_n|$ is given by $σ_h$. We also establish extensions where $\mathbb{Z}$ is replaced by any other infinite abelian group or where one prescribes some equalities (not only inequalities) among the sumset sizes.
Some permutation pentanomials over finite fields of even characteristic
In a recent paper Zhang et al. constructed 17 families of permutation pentanomials of the form $x^t+x^{r_1(q-1)+t}+x^{r_2(q-1)+t}+x^{r_3(q-1)+t}+x^{r_4(q-1)+t}$ over $\mathbb{F}_{q^2}$ where $q=2^m$. In this paper for 14 of these 17 families we provide a simple explanation as to why they are permutations. We also extend these 14 families into three general classes of permutation pentanomials over $\mathbb{F}_{q^2}$.
Random permutations acting on $k$--tuples have near--optimal spectral gap for $k=\mathrm{poly}(n)$
We extend Friedman's theorem to show that, for any fixed $r>1$, a random $2r$--regular Schreier graph associated with the action of $r$ uniformly random permutations of $[n]$ on $k_{n}$--tuples of distinct elements in $[n]$ has a near--optimal spectral gap with high probability, provided $k_{n}\leq n^{\frac{1}{20}-ε}.$ Previously this was known only for $k$--tuples where $k$ is fixed. In fact, we prove the stronger result of strong convergence of random permutations in irreducible representations of quasi--exponential dimension.
Along the way, we give a new bound for the expected stable irreducible character of a random permutation obtained via a word map, showing that $\mathbb{E}\left[χ^μ\left(w(σ_{1},\dots,σ_{r})\right)\right]=O\left(\frac{1}{\dimχ^μ}\right)=O\left(n^{-k}\right)$, where $k$ is the number of boxes outside the first row of the Young diagram $μ,$ solving one aspect of a conjecture of Hanany and Puder. We obtain this bound using an extension of Wise's $w$--cycle conjecture.
Determinantal representations of alternating run polynomials
Based on a determinantal formula for the higher derivative of a quotient of two functions, we first present the determinantal expressions of Eulerian polynomials and Andre polynomials. In particular, we discover that the Euler number (number of alternating permutations) can be expressed as a lower Hessenberg determinant. We then investigate the determinantal representations of the up-down run polynomials and the types A and B alternating run polynomials. As applications, we deduce several new recurrence relations, which imply the multiplicity of -1 in these three kinds of polynomials. And then, we provide two determinantal representations for the alternating run polynomials of dual Stirling permutations. In particular, we discover a close connection between the alternating run polynomials of dual Stirling permutations and the type B Eulerian polynomials.
On vertex-transitive distance-regular covers of complete graphs with an extremal smallest eigenvalue
The paper is devoted to the study of abelian (in the sense defined by Godsil and Hensel) distance-regular $r$-covers of the complete graphs $K_n$. According to the construction by Coutinho, Godsil, Shirazi, and Zhan (2016), each such cover yields an equiangular set of lines of size $n$ that attains the relative bound. Moreover, there are four families of abelian covers that, through this construction, yield sets of lines attaining the absolute bound. All known representatives of these families -- the hexagon, the icosahedron graph, Taylor extensions of the Schläfli and McLaughlin graphs together with their distance-$2$ graphs, and three other examples arising from generalized quadrangles -- have a vertex-transitive automorphism group with at most two orbits on the arc set of the cover. We aim to classify the covers from these families under the condition that the automorphism group of the cover is vertex-transitive and has at most two orbits on its arc set, which holds precisely when this group induces a transitive permutation group of rank at most $3$ on the set of cover fibres. We apply several fundamental classification results on permutation groups of rank at most $3$ to describe the family of covers for which $r$ is odd and the smallest eigenvalue is extremal, equaling $-\sqrt{\sqrt{n}+1}$, which corresponds to lines in a complex Hilbert space. The results obtained encompass cases where the automorphism group of the cover induces a primitive or imprimitive group of rank at most $3$ on the set of fibres.
Pattern-avoiding shallow permutations
Shallow permutations were defined in 1977 to be those that satisfy the lower bound of the Diaconis-Graham inequality. Recently, there has been renewed interest in these permutations. In particular, Berman and Tenner showed they satisfy certain pattern avoidance conditions in their cycle form and Woo showed they are exactly those whose cycle diagrams are unlinked. Shallow permutations that avoid 321 have appeared in many contexts; they are those permutations for which depth equals the reflection length, they have unimodal cycles, and they have been called Boolean permutations. Motivated by this interest in 321-avoiding shallow permutations, we investigate $σ$-avoiding shallow permutations for all $σ\in \mathcal{S}_3$. To do this, we develop more general structural results about shallow permutations, and apply them to enumerate shallow permutations avoiding any pattern of length 3.
Thron-type continued fractions (T-fractions) for some classes of increasing trees
We introduce some classes of increasing labeled and multilabeled trees, and we show that these trees provide combinatorial interpretations for certain Thron-type continued fractions with coefficients that are quasi-affine of period 2. Our proofs are based on bijections from trees to labeled Motzkin or Schröder paths; these bijections extend the well-known bijection of Françon--Viennot (1979) interpreted in terms of increasing binary trees. This work can also be viewed as a sequel to the recent work of Elvey Price and Sokal (2020), where they provide combinatorial interpretations for Thron-type continued fractions with coefficients that are affine. Towards the end of the paper, we conjecture an equidistribution of vincular patterns on permutations.
Intrinsically Correct Sorting in Cubical Agda
Published
• View Publication
• BIB
The paper "Sorting with Bialgebras and Distributive Laws" by Hinze et al. uses the framework of bialgebraic semantics to define sorting algorithms. From distributive laws between functors they construct pairs of sorting algorithms using both folds and unfolds. Pairs of sorting algorithms arising this way include insertion/selection sort and quick/tree sort.
We extend this work to define intrinsically correct variants in cubical Agda. Our key idea is to index our data types by multisets, which concisely captures that a sorting algorithm terminates with an ordered permutation of its input list. By lifting bialgebraic semantics to the indexed setting, we obtain the correctness of sorting algorithms purely from the distributive law.
Equivariant Ehrhart Theory of Hypersimplices
Published in Forum of Mathematics, Sigma 13 (2025) e178
• View Publication
• BIB
We study the hypersimplex under the action of the symmetric group $S_n$ by coordinate permutation. We prove that the evaluation of its equivariant $H^*$-polynomial at $1$ is the permutation character of decorated ordered set partitions under the natural action of $S_n$. This verifies a conjecture of Stapledon for the hypersimplex. To prove this result, we give a formula for the coefficients of the $H^*$-polynomial. Additionally, for the $(2,n)$-hypersimplex, we use this formula to show that trivial character need not appear as a direct summand of a coefficient of the $H^*$-polynomial, which gives a family of counterexamples to a different conjecture of Stapledon.
When do Schubert polynomial products stabilize?
The "back-stabilization number" for products of Schubert polynomials is the distance the corresponding permutations must be shifted before the structure constants stabilize. We give an explicit formula for this number and thereby prove a conjecture of N. Li in a strengthened form. This leads to an additional result: a formula for the smallest $n$ such that a given Schubert product expands completely over $S_n$.
Our method is to explore back-stable fundamental slide polynomials and their products combinatorially, in the context of their associated words. We use three main tools: (i) an algebra consisting of "colored words", with a modified shuffle product, and which contains the rings of back (quasi)symmetric functions as subquotients; (ii) the combinatorics of increasing suffixes of reduced words; and (iii) the lift of differential operators to the space of colored words.
Permutation clones that preserve relations
Permutation clones generalise permutation groups and clone theory. We investigate permutation clones defined by relations, or equivalently, the automorphism groups of powers of relations. We find many structural results on the lattice of all relationally defined permutation clones on a finite set. We find all relationally defined permutation clones on two element set.
We show that all maximal borrow closed permutation clones are either relationally defined or cancellatively defined.
Permutation clones generalise clones to permutations of $A^n$. Emil Jeřábek found the dual structure to be weight mappings $A^k\rightarrow M$ to a commutative monoid, generalising relations. We investigate the case when the dual object is precisely a relation, equivalently, that $M={\mathbb B}$, calling these relationally defined permutation clones.
We determine the number of relationally defined permutation clones on two elements (13).
We note that many infinite classes of clones collapse when looked at as permutation clones.
Pin Classes I: Growth Rates and Bounds
Pin sequences play an important role in the structural study of permutation classes. In this paper, we study the permutation classes that comprise all the finite subpermutations contained in an infinite pin sequence. We prove that these permutation classes have proper growth rates and establish a procedure for calculating these growth rates.
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$ such that $\operatorname{tw}(G/(Z_i \setminus Z')) = O(p + |Z'|)$ for all $i \in [p]$ and $Z' \subseteq Z_i$. Here, $\operatorname{tw}(\cdot)$ denotes the treewidth of a graph and $G/(Z_i \setminus Z')$ denotes the graph obtained from $G$ by contracting all edges with both endpoints in $Z_i \setminus Z'$.
Our result generalizes earlier results by Klein [SICOMP 2008] and Demaine et al. [STOC 2011] based on partitioning $E(G)$, and some recent theorems for planar graphs by Marx et al. [SODA 2022], for bounded-genus graphs (more generally, almost-embeddable graphs) by Bandyapadhyay et al. [SODA 2022], and for unit-disk graphs by Bandyapadhyay et al. [SoCG 2022].
The robust contraction decomposition theorem directly results in parameterized algorithms with running time $2^{\widetilde{O}(\sqrt{k})} \cdot n^{O(1)}$ or $n^{O(\sqrt{k})}$ for every vertex/edge deletion problems on $H$-minor-free graphs that can be formulated as Permutation CSP Deletion or 2-Conn Permutation CSP Deletion. Consequently, we obtain the first subexponential-time parameterized algorithms for Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Subset Group Feedback Vertex Set, 2-Conn Component Order Connectivity on $H$-minor-free graphs. For other problems which already have subexponential-time parameterized algorithms on $H$-minor-free graphs (e.g., Odd Cycle Transversal, Vertex Multiway Cut, Vertex Multicut, etc.), our theorem gives much simpler algorithms of the same running time.