permutation ↗ reference
4945 papers tagged with this keyword
On low rank-width colorings
Published
• View Publication
• BIB
We introduce the concept of low rank-width colorings, generalising the notion of low tree-depth colorings introduced by Nešetřil and Ossona de Mendez in [Grad and classes with bounded expansion I. Decompositions. EJC, 2008]. We say that a class $\mathcal{C}$ of graphs admits low rank-width colourings if there exist functions $N\colon \mathbb{N}\rightarrow\mathbb{N}$ and $Q\colon \mathbb{N}\rightarrow\mathbb{N}$ such that for all $p\in \mathbb{N}$, every graph $G\in \mathcal{C}$ can be vertex colored with at most $N(p)$ colors such that the union of any $i\leq p$ color classes induces a subgraph of rank-width at most $Q(i)$.
Graph classes admitting low rank-width colorings strictly generalize graph classes admitting low tree-depth colorings and graph classes of bounded rank-width. We prove that for every graph class $\mathcal{C}$ of bounded expansion and every positive integer $r$, the class $\{G^r\colon G\in \mathcal{C}\}$ of $r$th powers of graphs from $\mathcal{C}$, as well as the classes of unit interval graphs and bipartite permutation graphs admit low rank-width colorings. All of these classes have unbounded rank-width and do not admit low tree-depth colorings. We also show that the classes of interval graphs and permutation graphs do not admit low rank-width colorings. As interesting side properties, we prove that every graph class admitting low rank-width colorings has the Erdős-Hajnal property and is $χ$-bounded.
Composability of Permutation Classes
Published
• View Publication
• BIB
We define the operation of composing two hereditary classes of permutations using the standard composition of permutations as functions and we explore properties and structure of permutation classes considering this operation. We mostly concern ourselves with the problem of whether permutation classes can be composed from their proper subclasses. We provide examples of classes which can be composed from two proper subclasses, classes which can be composed from three but not from two proper subclasses and classes which cannot be composed from any finite number of proper subclasses.
Cherednik operators and Ruijsenaars-Schneider model at infinity
Published in International Mathematics Research Notices (2019) 2266-2294
• View Publication
• BIB
Heckman introduced $N$ operators on the space of polynomials in $N$ variables, such that these operators form a covariant set relative to permutations of the operators and variables, and such that Jack symmetric polynomials are eigenfunctions of the power sums of these operators. We introduce the analogues of these $N$ operators for Macdonald symmetric polynomials, by using Cherednik operators. The latter operators pairwise commute, and Macdonald polynomials are eigenfunctions of their power sums. We compute the limits of our operators at $N\to\infty$. These limits yield the same Lax operator for Macdonald symmetric functions as constructed in our previous work.
Counting Permutations that Avoid Many Patterns
This paper presents a collection of experimental results regarding permutation pattern avoidance, focusing on cases where there are "many" patterns to be avoided.
Newton Polytopes in Algebraic Combinatorics
Published in Selecta Math. (N.S.) 25 (2019), no. 5, Art. 66, 37 pp
• View Publication
• BIB
A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others.
Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties.
Generating functions for permutations which avoid consecutive patterns with multiple descents
Let $S_n$ denote the group all permutations of $n$. For every permutation $σ$, we let $\mathrm{des}(σ)$ denote the number of descents in $σ$ and $\mathrm{LRMin}(σ)$ denote the number of left-to-right minima of $σ$. Given a sequence $τ= τ_1 \cdots τ_n$ of distinct positive integers, we define the reduction of $τ$, $\mathrm{red}(τ)$, to be the permutation of $S_n$ that results by replacing the $i$-th smallest element of $τ$ by $i$.
If $Γ$ is a set of permutations, we say that a permutation $σ= σ_1 \ldots σ_n \in S_n$ has a $Γ$-match starting at position $i$ if there is a $i < j$ such that $\mathrm{red}(σ_i σ_{i+1} \ldots σ_j) \in Γ$. We let $Γ$-$\mathrm{mch}(σ)$ denote the number of $Γ$-matches in $σ$. We let $\mathcal{NM}_n(Γ)$ be the set of $σ\in S_n$ such that $Γ$-$\mathrm{mch}(σ) = 0$.
In this paper, we modify Jones and Remmel's reciprocity method to study the generating function of the form \begin{equation} \mbox{NM}_Γ(t,x,y)=\sum_{n \geq 0} \frac{t^n}{n!} \mbox{NM}_{Γ,n}(x,y) \end{equation} where $\displaystyle \mbox{NM}_{Γ,n}(x,y) =\sum_{σ\in \mathcal{NM}_n(Γ)}x^{\mathrm{LRmin}(σ)}y^{1+\mathrm{des}(σ)}$ in the case where we no longer insist that all the permutations $τ\in Γ$ have at most one descent.
Maximum Size of a Family of Pairwise Graph-Different Permutations
Published
• View Publication
• BIB
Two permutations of the vertices of a graph $G$ are called $G$-different if there exists an index $i$ such that $i$-th entry of the two permutations form an edge in $G$. We bound or determine the maximum size of a family of pairwise $G$-different permutations for various graphs $G$. We show that for all balanced bipartite graphs $G$ of order $n$ with minimum degree $n/2 - o(n)$, the maximum number of pairwise $G$-different permutations of the vertices of $G$ is $2^{(1-o(1))n}$. We also present examples of bipartite graphs $G$ with maximum degree $O(\log n)$ that have this property. We explore the problem of bounding the maximum size of a family of pairwise graph-different permutations when an unlimited number of disjoint vertices is added to a given graph. We determine this exact value for the graph of 2 disjoint edges, and present some asymptotic bounds relating to this value for graphs consisting of the union of $n/2$ disjoint edges.
Simple groups, product actions, and generalised quadrangles
Published
• View Publication
• BIB
The classification of flag-transitive generalised quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalised quadrangles are also point-primitive (up to point-line duality), it is likewise natural to seek a classification of the point-primitive examples. Working towards this aim, we are led to investigate generalised quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O'Nan-Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in non-Abelian finite simple groups, and about fixities of primitive permutation groups.
A Dual Ramsey Theorem for Permutations
In 2012 M. Sokić proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. Böttcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another proof was provided by M. Sokić. Using the categorical reinterpretation of the Ramsey property in this paper we prove that the class of all finite permutations has the dual Ramsey property as well. It was Leeb who pointed out in 1970 that the use of category theory can be quite helpful both in the formulation and in the proofs of results pertaining to structural Ramsey theory. In this paper we argue that this is even more the case when dealing with the dual Ramsey property.
Expansion of permutations as products of transpositions
We compute the number of ways a given permutation can be written as a product of exactly $k$ transpositions. We express this number as a linear combination of explicit geometric sequences, with coefficients which can be computed in many particular cases. Along the way we prove several symmetry properties for matrices associated with bipartite graphs, as well as some general (likely known) properties of Young diagrams. The methods involve linear algebra, enumeration of border strip tableau, and a differential operator on symmetric polynomials.
Determinants of generalized binary band matrices
Published in Proceedings of the Komi Science Centre of the UrD RAS. 2016. N 4(28). pp. 5-10
• Search Publication
Under binary matrices we mean matrices whose entries take one of two values. In this paper, explicit formulae for calculating the determinant of some type of binary Toeplitz matrices are obtained. Examples of the application of the determinant of binary Toeplitz matrices for the enumeration of even and odd permutations of different types are given.
Costas cubes
Published
• View Publication
• BIB
A Costas array is a permutation array for which the vectors joining pairs of $1$s are all distinct. We propose a new three-dimensional combinatorial object related to Costas arrays: an order $n$ Costas cube is an array $(d_{i,j,k})$ of size $n \times n \times n$ over $\mathbb{Z}_2$ for which each of the three projections of the array onto two dimensions, namely $(\sum_i d_{i,j,k})$ and $(\sum_j d_{i,j,k})$ and $(\sum_k d_{i,j,k})$, is an order $n$ Costas array. We determine all Costas cubes of order at most $29$, showing that Costas cubes exist for all these orders except $18$ and $19$ and that a significant proportion of the Costas arrays of certain orders occur as projections of Costas cubes. We then present constructions for four infinite families of Costas cubes.
Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence
Published
• View Publication
• BIB
In this paper, we enumerate two families of pattern-avoiding permutations: those avoiding the vincular pattern $2-41-3$, which we call semi-Baxter permutations, and those avoiding the vincular patterns $2-41-3$, $3-14-2$ and $3-41-2$, which we call strong-Baxter permutations. We call semi-Baxter numbers and strong-Baxter numbers the associated enumeration sequences. We prove that the semi-Baxter numbers enumerate in addition plane permutations (avoiding $2-14-3$). The problem of counting these permutations was open and has given rise to several conjectures, which we also prove in this paper.
For each family (that of semi-Baxter -- or equivalently, plane -- and that of strong-Baxter permutations), we describe a generating tree, which translates into a functional equation for the generating function. For semi-Baxter permutations, it is solved using (a variant of) the kernel method: this gives an expression for the generating function while also proving its D-finiteness. From the obtained generating function, we derive closed formulas for the semi-Baxter numbers, a recurrence that they satisfy, as well as their asymptotic behavior. For strong-Baxter permutations, we show that their generating function is (a slight modification of) that of a family of walks in the quarter plane, which is known to be non D-finite.
Characterising inflations of monotone grid classes of permutations
Published
• View Publication
• BIB
We characterise those permutation classes whose simple permutations are monotone griddable. This characterisation is obtained by identifying a set of nine substructures, at least one of which must occur in any simple permutation containing a long sum of 21s.
A bijective proof of Macdonald's reduced word formula
Published
• View Publication
• BIB
We give a bijective proof of Macdonald's reduced word identity using pipe dreams and Little's bumping algorithm. This proof extends to a principal specialization due to Fomin and Stanley. Such a proof has been sought for over 20 years. Our bijective tools also allow us to solve a problem posed by Fomin and Kirillov from 1997 using work of Wachs, Lenart, Serrano and Stump. These results extend earlier work by the third author on a Markov process for reduced words of the longest permutation.
Smooth Schubert varieties in the affine flag variety of type $\tilde{A}$
Published
• View Publication
• BIB
We show that every smooth Schubert variety of affine type $\tilde{A}$ is an iterated fibre bundle of Grassmannians, extending an analogous result by Ryan and Wolper for Schubert varieties of finite type $A$. As a consequence, we finish a conjecture of Billey-Crites that a Schubert variety in affine type $\tilde{A}$ is smooth if and only if the corresponding affine permutation avoids the patterns $4231$ and $3412$. Using this iterated fibre bundle structure, we compute the generating function for the number of smooth Schubert varieties of affine type $\tilde{A}$.
Tiered trees, weights, and q-Eulerian numbers
Published
• View Publication
• BIB
Maxmin trees are labeled trees with the property that each vertex is either a local maximum or a local minimum. Such trees were originally introduced by Postnikov, who gave a formula to count them and different combinatorial interpretations for their number. In this paper we generalize this construction and define tiered trees by allowing more than two classes of vertices. Tiered trees arise naturally when counting the absolutely indecomposable representations of certain quivers, and also when one enumerates torus orbits on certain homogeneous varieties. We define a notion of weight for tiered trees and prove bijections between various weight 0 tiered trees and other combinatorial objects; in particular order n weight 0 maxmin trees are naturally in bijection with permutations on n-1 letters. We conclude by using our weight function to define a new q-analogue of the Eulerian numbers.
Oblivious resampling oracles and parallel algorithms for the Lopsided Lovasz Local Lemma
Published in ACM Transactions on Algorithms 17(1), Article #1 (2021)
• View Publication
• BIB
The Lovász Local Lemma (LLL) is a probabilistic tool which shows that, if a collection of "bad" events $\mathcal B$ in a probability space are not too likely and not too interdependent, then there is a positive probability that no bad-events in $\mathcal B$ occur. Moser & Tardos (2010) gave sequential and parallel algorithms which transformed most applications of the variable-assignment LLL into efficient algorithms. A framework of Harvey & Vondrák (2015) based on "resampling oracles" extended this to general sequential algorithms for other probability spaces satisfying the Lopsided Lovász Local Lemma (LLLL).
We describe a new structural property which holds for all known resampling oracles, which we call "obliviousness." Essentially, it means that the interaction between two bad-events $B, B'$ depends only on the randomness used to resample $B$, and not the precise state within $B$ itself.
This property has two major consequences. First, combined with a framework of Kolmogorov (2016), it is the key to achieving a unified parallel LLLL algorithm, which is faster than previous, problem-specific algorithms of Harris (2016) for the variable-assignment LLLL algorithm and of Harris \& Srinivasan (2014) for permutations. This gives the first RNC algorithms for rainbow perfect matchings and rainbow hamiltonian cycles of $K_n$.
Second, this property allows us to build LLLL probability spaces out of relatively simple "atomic" events. This provides the first sequential resampling oracle for rainbow perfect matchings on the complete $s$-uniform hypergraph $K_n^{(s)}$, and the first commutative resampling oracle for hamiltonian cycles of $K_n$.
Forbidden Substrings In Circular K-Successions
In this note we define circular k-successions in permutations in one-line notation and count permutations that avoid substrings j(j+k) and j(j+k) (mod n). We also count circular permutations that avoid such substrings, and show that for substrings j(j+k) (mod n), the number of permutations depends on whether n is prime, and more generally, on whether n and k are relatively prime.
Change Ringing and Hamiltonian Cycles : The Search for Erin and Stedman Triples
Published
• View Publication
• BIB
A very old problem in campanology is the search for peals. The latter can be thought of as a heavily constrained sequence of all possible permutations of a given size, where the exact nature of the constraints depends on which method of ringing is desired. In particular, we consider the methods of bobs-only Stedman Triples and Erin Triples; the existence of the latter is still an open problem. We show that this problem can be viewed as a similarly constrained form of the Hamiltonian cycle problem (HCP). Through the use of special subgraphs, we convert this to a standard instance of HCP. The original problem can be partitioned into smaller instances, and so we use this technique to produce smaller instances of HCP as well. We note that the instances known to have solutions provide exceptionally difficult instances of HCP.