permutation ↗ reference
4849 papers tagged with this keyword
A collection of open problems in celebration of Imre Leader's 60th birthday
One of the great pleasures of working with Imre Leader is to experience his infectious delight on encountering a compelling combinatorial problem. This collection of open problems in combinatorics has been put together by a subset of his former PhD students and students-of-students for the occasion of his 60th birthday. All of the contributors have been influenced (directly or indirectly) by Imre: his personality, enthusiasm and his approach to mathematics. The problems included cover many of the areas of combinatorial mathematics that Imre is most associated with: including extremal problems on graphs, set systems and permutations, and Ramsey theory. This is a personal selection of problems which we find intriguing and deserving of being better known. It is not intended to be systematic, or to consist of the most significant or difficult questions in any area. Rather, our main aim is to celebrate Imre and his mathematics and to hope that these problems will make him smile. We also hope this collection will be a useful resource for researchers in combinatorics and will stimulate some enjoyable collaborations and beautiful mathematics.
Integer Sequences: Irregular Arrays and Intra-Block Permutations
This article investigates integer sequences that partition the sequence into blocks of various lengths - irregular arrays. The main result of the article is explicit formulas for numbering of irregular arrays. A generalization of Cantor diagonal method is proposed. We also define and describe intra-block permutations of natural numbers. Generalizations of reluctant sequences are introduced, namely generalized reluctant sequences and generalized reverse reluctant sequences. Explicit formulas are presented for these sequences. The article provides numerous examples to illustrate all statements.
Non-overlapping descents and ascents in stack-sortable permutations
The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary of a much more general result, the distribution of the statistic ``maximum number of non-overlapping descents'', MND, over all permutations is given by $\sum_{n,k \geq 0}D_{n,k}x^k\ frac{t^n}{n!}=\frac{e^t}{1-x(1+(t-1)e^t)}$.
In this paper, we show that the distribution of MND over stack-sortable permutations is given by $\frac{1}{n+1}{n+1\choose 2k+1}{n+k \choose k}$. We give two proofs of the result via bijections with rooted plane (binary) trees allowing us to control MND. Moreover, we show combinatorially that MND is equidistributed with the statistic MNA, the maximum number of non-overlapping ascents, over stack-sortable permutations. The last fact is obtained by establishing an involution on stack-sortable permutations that gives equidistribution of 8 statistics.
Cohen-Macaulay permutation graphs
Published in Math. Scand. 130 (2024) 419-431
• View Publication
• BIB
In this article, we characterize Cohen-Macaulay permutation graphs. In particular, we show that a permutation graph is Cohen-Macaulay if and only if it is well-covered and there exists a unique way of partitioning its vertex set into $r$ disjoint maximal cliques, where $r$ is the cardinality of a maximal independent set of the graph. We also provide some sufficient conditions for a comparability graph to be a uniquely partially orderable (UPO) graph.
On The Toric Ideals of the Coloured Graphs of Reduced Words
We study a family $\mathcal{B}$ of pseudo-multipartite graphs indexed by staircase partitions. They are realised from the reduced words of certain class of permutations. We investigate the vertex proper colouring of these graphs and give the general chromatic polynomial. For each member $B_λ$, we construct an affine toric ideal $\mathcal{I}_{B_λ}$ associated to vertex proper colouring using partition identity. It turns out that the projective version $\mathcal{V}(\mathcal{I}_{B_λ})$ is realised from the cartoon diagram associated with the vertex proper colouring.
Inversion Sets and Quotient Root Systems
The main result of this paper is a recursive description of all decompositions \[ Δ^+ = Φ_1 \sqcup Φ_2 \sqcup \dots \sqcup Φ_k \] of the positive roots $Δ^+$ of an arbitrary root system $Δ$ into a disjoint union of inversion sets. Such decompositions play a central role in geometric invariant theory (GIT) in connection with studying the Littlewood-Richardson cone and related problems. This work can be considered as a continuation of the work of Dewji, Dimitrov, McCabe, Roth, Wehlau, and Wilson in which similar questions were studied for root systems of type $\mathbb{A}$. Their methods relied on properties of permutations and are not transferable to an arbitrary root system.
In order to develop a type-independent approach, we go beyond root systems and consider quotient root systems (QRSs for short). We study subsets of positive roots in an arbitrary QRS $R$. We prove that every $Φ\subseteq R^+$ can be represented in a canonical way as an inflation and develop methods to study recursively properties of such subsets. We extend the notion of an inversion to subsets of any QRS, i.e., beyond the case where a Weyl group is associated with $R$. If $Φ\subseteq R^+$ is an inversion set, we introduce a graph $\text{G}(Φ)$ and endow the set Comp$(Φ)$ of connected components of $\text{G}(Φ)$ with a partial addition. The resulting monoid-like structure (Comp$(Φ),+)$ is a further generalization of root systems beyond QRSs. We study in detail the properties of (Comp$(Φ),+)$ and their applications to studying the properties of $Φ$. In particular, we investigate the relationship between $Φ$ being primitive and $Φ$ being irreducible. Apart from describing recursively all decompositions of $Δ^+$ into the disjoint union of inversion sets, we provide applications to GIT and derive enumerative results which may be of independent interest.
Minimum Decomposition on Maxmin Trees
Maxmin trees are trees that consist of nodes that are either local minimums or maximums. Such trees were first studied by Postnikov. Later Dugan, Glennon, Gunnells, and Steingrimsson introduced the concept of weight to these trees and proved a bijection between maximum weight maxmin trees and permutations, defining weights for permutations. In addition, the q-Eulerian polynomial $E_n(x, q)$ is defined which relates descents and weights of permutations. This polynomial was later proven to exhibit a stabilization phenomenon by Agrawal et al. Extracting the formal power series $W_d(t)$ from the stabilization of these coefficients, $W_d(t)$ was conjectured to partially correspond to A256193. In our paper, we introduce a process called minimum decomposition to help us better understand maxmin trees. Using minimum decomposition, we present a new way to calculate the weight of different maxmin trees and prove the bijection between the coefficients of $W_d(t)$ and A256193.
An Alternative Proof for the Expected Number of Distinct Consecutive Patterns in a Random Permutation
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (May 3, 2024) dmtcs:12458
• View Publication
• BIB
Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, the authors of a recent paper showed that the expected number of distinct consecutive patterns of all lengths $k\in\{1,2,\ldots,n\}$ in $π_n$ is $\frac{n^2}{2}(1-o(1))$ as $n\to\infty$. This exhibited the fact that random permutations pack consecutive patterns near-perfectly. We use entirely different methods, namely the Stein-Chen method of Poisson approximation, to reprove and slightly improve their result.
Long increasing subsequences and non-algebraicity
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (August 21, 2024) dmtcs:12539
• View Publication
• BIB
We use a recent result of Alin Bostan to prove that the generating functions of two infinite sequences of permutation classes are not algebraic.
Higher Level Completeness for Permutation Polynomials
Generalising the concept of a complete permutation polynomial over a finite field, we define completness to level $k$ for $k\ge1$ in fields of odd characteristic. We construct two families of polynomials that satisfy the condition of high level completeness for all finite fields, and two more families complete to the maximum level a possible for large collection of finite fields.
Under the binary operation of composition of functions one family of polynomials is an abelian group isomorphic to the additive group, while the other is isomorphic to the multiplicative group.
Combinatorics of the Permutahedra, Associahedra, and Friends
I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find:
* a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals;
* my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions;
* the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics;
* the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron;
* the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron.
Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.
Boundary statistics for the six-vertex model with DWBC
We study the behavior of configurations in the symmetric six-vertex model with $a,b,c$ weights in the $n\times n$ square with Domain Wall Boundary Conditions as $n\to\infty$. We prove that when $Δ=\frac{a^2+b^2-c^2}{2ab}<1$, configurations near the boundary have fluctuations of order $n^{1/2}$ and are asymptotically described by the GUE-corners process of the random matrix theory. On the other hand, when $Δ>1$, the fluctuations are of finite order and configurations are asymptotically described by the stochastic six-vertex model in a quadrant. In the special case $c=0$ (which implies $Δ>1$), the limit is expressed as the $q$-exchangeable random permutation of infinitely many letters, distributed according to the infinite Mallows measure.
Bent functions satisfying the dual bent condition and permutations with the $(\mathcal{A}_m)$ property
The concatenation of four Boolean bent functions $f=f_1||f_2||f_3||f_4$ is bent if and only if the dual bent condition $f_1^* + f_2^* + f_3^* + f_4^* =1$ is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain connections between $f_i$ are assumed, as well as functions $f_i$ of a special shape are considered, e.g., $f_i(x,y)=x\cdotπ_i(y)+h_i(y)$ are Maiorana-McFarland bent functions. In the case when permutations $π_i$ of $\mathbb{F}_2^m$ have the $(\mathcal{A}_m)$ property and Maiorana-McFarland bent functions $f_i$ satisfy the additional condition $f_1+f_2+f_3+f_4=0$, the dual bent condition is known to have a relatively simple shape allowing to specify the functions $f_i$ explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions $f_i$ satisfy the condition $f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)$ and provide a construction of new permutations with the $(\mathcal{A}_m)$ property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions stemming from the permutations of $\mathbb{F}_2^m$ with the $(\mathcal{A}_m)$ property, such that their concatenation does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations $π_i$ of $\mathbb{F}_{2^m}$ with the $(\mathcal{A}_m)$ property and monomial functions $h_i$ on $\mathbb{F}_{2^m}$, we provide explicit constructions of such bent functions. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.
On Finding the Eigenvalues of the Matrix of Rotation Symmetric Boolean Functions
We consider the action on $\mathbb{F}_2^n$ by cyclic permutations ($\mathbb{Z}/n\mathbb{Z}$). Two elements $x, y\in \mathbb{F}_2^n$ are in the same orbit if they are cyclic shifts of each other. Cryptographic properties of rotation symmetric Boolean functions can be efficiently computed using the square matrix $_n\mathcal{A}$, the construction of which uses orbit representatives of the cyclic shifting action. In 2018, Ciungu and Iovanov proved that $_n\mathcal{A}^2=2^n\cdot I$, the identity matrix of dimension $g_n\times g_n$ where $g_n$ is the number of orbits. In this paper, we answer the open question of the precise number of positive and negative eigenvalues of $_n\mathcal{A}$.
Mean and variance of the longest alternating subsequence in a random separable permutation
A permutation is \it separable \rm if it can be obtained from the singleton permutation by iterating direct sums and skew sums. Equivalently, it is separable if and only it avoids the patterns 2413 and 3142. Under the uniform probability on separable permutations of $[n]$, let the random variable $A_n$ denote the length of the longest alternating subsequence. Also, let $A_n^{+,-}$ denote the length of the longest alternating subsequence that begins with an ascent and ends with a descent, and define $A_n^{-,+}, A_n^{+,+}, A_n^{-,-}$ similarly. By symmetry, the first two and the last two of these latter four random variables are equi-distributed. We prove that the expected value of any of these five random variables behaves asymptotically as $(2-\sqrt2)n\approx0.5858\thinspace n$. We also prove that the variance of any of the four random variables $A_n^{\pm,\pm}$ behaves asymptotically as $\frac{16-11\sqrt2}2n\approx0.2218\thinspace n$.
A note on the structure coefficients of the centraliser algebra
In this note we generalize the definition of partial permutations of Ivanov and Kerov and we build a universal algebra which projects onto the m-centraliser algebra defined by Creedon. We use it to present a new proof for the polynomiality property of the structure coefficients of the m-centraliser algebra and to obtain upper bounds for the polynomial degrees.
Catalan-Spitzer permutations
We study two classes of permutations intimately related to the visual proof of Spitzer's lemma and Huq's generalization of the Chung-Feller theorem. Both classes of permutations are counted by the Fuss-Catalan numbers. The study of one class leads to a generalization of results of Flajolet from continued fractions to continuants. The study of the other class leads to the discovery of a restricted variant of the Foata--Strehl group action.
On friendship and cyclic parking functions
In parking problems, a given number of cars enter a one-way street sequentially, and try to park according to a specified preferred spot in the street. Various models are possible depending on the chosen rule for collisions, when two cars have the same preferred spot. In classical parking functions, if a car's preferred spot is already occupied by a previous car, it drives forward and looks for the first unoccupied spot to park. In this work, we introduce a variant of classical parking functions, called "friendship parking functions", which imposes additional restrictions on where cars can park. Namely, a car can only end up parking next to cars which are its friends (friendship will correspond to adjacency in an underlying graph). We characterise and enumerate such friendship parking functions according to their outcome permutation, which describes the final configuration when all cars have parked. We apply this to the case where the underlying friendship graph is the cycle graph. Finally, we consider a subset of classical parking functions, called "cyclic parking functions", where cars end up in an increasing cyclic order. We enumerate these cyclic parking functions and exhibit a bijection to permutation components.
On the average number of cycles in conjugacy class products
We show that for the product of two fixed point free conjugacy classes, the average number of cycles is always very similar. Specifically, our main result is that for a randomly chosen pair of fixed point free permutations of cycle types $α$ and $β$, the average number of cycles in their product is between $H_n-3$ and $H_n+1$, where $H_n$ is the harmonic number.
The Binomial-Stirling-Eulerian Polynomials
We introduce the binomial-Stirling-Eulerian polynomials, denoted $\tilde{A}_n(x,y|α)$, which encompass binomial coefficients, Eulerian numbers and two Stirling statistics: the left-to-right minima and the right-to-left minima. When $α=1$, these polynomials reduce to the binomial-Eulerian polynomials $\tilde{A}_n(x,y)$, originally named by Shareshian and Wachs and explored by Chung-Graham-Knuth and Postnikov-Reiner-Williams. We investigate the $γ$-positivity of $\tilde{A}_n(x,y|α)$ from two aspects: firstly by employing the grammatical calculus introduced by Chen; and secondly by constructing a new group action on permutations. These results extend the symmetric Eulerian identity found by Chung, Graham and Knuth, and the $γ$-positivity of $\tilde{A}_n(x,y)$ first demonstrated by Postnikov, Reiner and Williams.