permutation ↗ reference
4849 papers tagged with this keyword
Sorting permutations with pattern-avoiding machines
In this work of thesis we introduce and study a new family of sorting devices, which we call pattern-avoiding machines. They consist of two stacks in series, equipped with a greedy procedure. On both stacks we impose a static constraint in terms of pattern containment: reading the content from top to bottom, the first stack is not allowed to contain occurrences of a given pattern $σ$, whereas the second one is not allowed to contain occurrences of $21$. By analyzing the behavior of pattern-avoiding machines, we aim to gain a better understanding of the problem of sorting permutations with two consecutive stacks, which is currently one of the most challenging open problems in combinatorics.
The Bernoulli clock: probabilistic and combinatorial interpretations of the Bernoulli polynomials by circular convolution
Published
• View Publication
• BIB
The factorially normalized Bernoulli polynomials $b_n(x) = B_n(x)/n!$ are known to be characterized by $b_0(x) = 1$ and $b_n(x)$ for $n >0$ is the antiderivative of $b_{n-1}(x)$ subject to $\int_0^1 b_n(x) dx = 0$. We offer a related characterization: $b_1(x) = x - 1/2$ and $(-1)^{n-1} b_n(x)$ for $n >0$ is the $n$-fold circular convolution of $b_1(x)$ with itself. Equivalently, $1 - 2^n b_n(x)$ is the probability density at $x \in (0,1)$ of the fractional part of a sum of $n$ independent random variables, each with the beta$(1,2)$ probability density $2(1-x)$ at $x \in (0,1)$. This result has a novel combinatorial analog, the {\em Bernoulli clock}: mark the hours of a $2 n$ hour clock by a uniform random permutation of the multiset $\{1,1, 2,2, \ldots, n,n\}$, meaning pick two different hours uniformly at random from the $2 n$ hours and mark them $1$, then pick two different hours uniformly at random from the remaining $2 n - 2$ hours and mark them $2$, and so on. Starting from hour $0 = 2n$, move clockwise to the first hour marked $1$, continue clockwise to the first hour marked $2$, and so on, continuing clockwise around the Bernoulli clock until the first of the two hours marked $n$ is encountered, at a random hour $I_n$ between $1$ and $2n$. We show that for each positive integer $n$, the event $( I_n = 1)$ has probability $(1 - 2^n b_n(0))/(2n)$, where $n! b_n(0) = B_n(0)$ is the $n$th Bernoulli number. For $ 1 \le k \le 2 n$, the difference $δ_n(k):= 1/(2n) - ¶( I_n = k)$ is a polynomial function of $k$ with the surprising symmetry $δ_n( 2 n + 1 - k) = (-1)^n δ_n(k)$, which is a combinatorial analog of the well known symmetry of Bernoulli polynomials $b_n(1-x) = (-1)^n b_n(x)$.
Connectedness in Friends-and-Strangers Graphs of Spiders and Complements
Let $X$ and $Y$ be two graphs with vertex set $[n]$. Their friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph with vertices corresponding to elements of the group $S_n$, and two permutations $σ$ and $σ'$ are adjacent if they are separated by a transposition $\{a,b\}$ such that $a$ and $b$ are adjacent in $X$ and $σ(a)$ and $σ(b)$ are adjacent in $Y$. Specific friends-and-strangers graphs such as $\mathsf{FS}(\mathsf{Path}_n,Y)$ and $\mathsf{FS}(\mathsf{Cycle}_n,Y)$ have been researched, and their connected components have been enumerated using various equivalence relations such as double-flip equivalence. A spider graph is a collection of path graphs that are all connected to a single center point. In this paper, we delve deeper into the question of when $\mathsf{FS}(X,Y)$ is connected when $X$ is a spider and $Y$ is the complement of a spider or a tadpole.
A minimum semi-degree condition for unpaired many-to-many disjoint path covers in digraphs
For a digraph $D$, let $δ^{0}(D) = \min \{δ^{+}(D), δ^{-}(D)\}$ be the minimum semi-degree of $D$. A set of $k$ vertex-disjoint paths, $\{P_{1}, \dots, P_{k}\}$, joining a disjoint source set $S = \{s_{1}, \dots, s_{k}\}$ and sink set $T = \{t_{1}, \dots, t_{k}\}$ is called an unpaired many-to-many $k$-disjoint directed path cover ($k$-DDPC for short) of $D$, if each $P_{j}$ joins $s_{j}$ and $t_{σ(j)}$ for some permutation $σ$ on $\{1, \dots , k\}$ and $\bigcup^{k}_{j=1} V(P_{j}) = V(D)$.
In this paper, we give a new proof for the following result that every digraph $D$ with $δ^{0}(D) \geq \lceil (n+k) / 2 \rceil$ has an unpaired many-to-many $k$-DDPC joining any disjoint source set $S$ and sink set $T$, where $S = \{s_{1}, \dots, s_{k}\}$ and $T = \{t_{1}, \dots, t_{k}\}$. Moreover, we show that the bound on the minimum semi-degree is best possible when $n \geq 3k$.
Uniqueness for 2-Intersecting Families of Permutations and Perfect Matchings
We give a characterization of the largest $2$-intersecting families of permutations of $\{1,2,\ldots,n\}$ and of perfect matchings of the complete graph $K_{2n}$ for all $n \geq 2$.
A polynomial construction of perfect sequence covering arrays
Published
• View Publication
• BIB
A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ permutations. For $v \geq t$, let $g(v, t)$ be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We present an explicit construction that proves $g(v,t) = O(v^{t(t-2)})$ for fixed $t \geq 4$. The method of construction involves taking a permutation representation of the group of projectivities of a suitable projective space of dimension $t - 2$ and deleting all but a certain number of symbols from each permutation. In the case that this space is a Desarguesian projective plane, we also show that there exists a permutation representation of the group of projectivities of the plane that covers the vast majority of 4-sequences of its points a fixed number of times.
Enumeration of permutations by the parity of descent positions
Published
• View Publication
• BIB
Noticing that some recent variations of descent polynomials are special cases of Carlitz and Scoville's four-variable polynomials, which enumerate permutations by the parity of descent and ascent positions, we prove a $q$-analogue of Carlitz-Scoville's generating function by counting the inversion number and a type B analogue by enumerating the signed permutations with respect to the parity of desecnt and ascent positions. As a by-product of our formulas, we obtain a $q$-analogue of Chebikin's formula for alternating descent polynomials, an alternative proof of Sun's gamma-positivity of her bivariate Eulerian polynomials and a type B analogue, the latter refines Petersen's gamma-positivity of the type B Eulerian polynomials.
Graph Universal Cycles: Compression and Connections to Universal Cycles
Published in Advances in Applied Mathematics, Volume 148, July 2023, Article 102522
• View Publication
• BIB
Universal cycles, such as De Bruijn cycles, are cyclic sequences of symbols that represent every combinatorial object from some family exactly once as a consecutive subsequence. Graph universal cycles are a graph analogue of universal cycles introduced in 2010. We introduce graph universal partial cycles, a more compact representation of graph classes, which use "do not know" edges. We show how to construct graph universal partial cycles for labeled graphs, threshold graphs, and permutation graphs. For threshold graphs and permutation graphs, we demonstrate that the graph universal cycles and graph universal partial cycles are closely related to universal cycles and compressed universal cycles, respectively. Using the same connection, for permutation graphs, we define and prove the existence of an $s$-overlap form of graph universal cycles. We also prove the existence of a generalized form of graph universal cycles for unlabeled graphs.
Statistics on clusters and $r$-Stirling permutations
Published
• View Publication
• BIB
The Goulden$\unicode{x2013}$Jackson cluster method, adapted to permutations by Elizalde and Noy, reduces the problem of counting permutations by occurrences of a prescribed consecutive pattern to that of counting clusters, which are special permutations with a lot of structure. Recently, Zhuang found a generalization of the cluster method which specializes to refinements by additional permutation statistics, namely the inverse descent number $\operatorname{ides}$, the inverse peak number $\operatorname{ipk}$, and the inverse left peak number $\operatorname{ilpk}$. Continuing this line of work, we study the enumeration of $2134\cdots m$-clusters by $\operatorname{ides}$, $\operatorname{ipk}$, and $\operatorname{ilpk}$, which allows us to derive formulas for counting permutations by occurrences of the consecutive pattern $2134\cdots m$ jointly with each of these statistics. Analogous results for the pattern $12\cdots (m-2)m(m-1)$ are obtained via symmetry arguments. Along the way, we discover that $2134\cdots (r+1)$-clusters are equinumerous with $r$-Stirling permutations introduced by Gessel and Stanley, and we establish some joint equidistributions between these two families of permutations.
Burstein's permutation conjecture, Hong and Li's inversion sequence conjecture, and restricted Eulerian distributions
Published
• View Publication
• BIB
Recently, Hong and Li launched a systematic study of length-four pattern avoidance in inversion sequences, and in particular, they conjectured that the number of $0021$-avoiding inversion sequences can be enumerated by the OEIS entry A218225. Meanwhile, Burstein suggested that the same sequence might also count three sets of pattern restricted permutations. The objective of this paper is not only a confirmation of Hong and Li's conjecture and Burstein's first conjecture, but also two more delicate generating function identities with the $\mathsf{ides}$ statistic concerned in the restricted permutation case, and the $\mathsf{asc}$ statistic concerned in the restricted inversion sequence case, which yield a new equidistribution result.
On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom
In this paper we count set closure systems (also known as Moore families) for the case when all single element sets are closed. In particular, we give the numbers of such strict (empty set included) and non-strict families for the base set of size $n=6$. We also provide the number of such inequivalent Moore families with respect to all permutations of the base set up to $n=6$. The search in OEIS and existing literature revealed the coincidence of the found numbers with the entry for D.\ M.~Davis' set union lattice (\seqnum{A235604}, up to $n=5$) and $|\mathcal L_n|$, the number of atomic lattices on $n$ atoms, obtained by S.\ Mapes (up to $n=6$), respectively. Thus we study all those cases, establish one-to-one correspondences between them via Galois adjunctions and Formal Concept Analysis, and provide the reader with two of our enumerative algorithms as well as with the results of these algorithms used for additional tests. Other results include the largest size of intersection free families for $n=6$ plus our conjecture for $n=7$, an upper bound for the number of atomic lattices $\mathcal L_n$, and some structural properties of $\mathcal L_n$ based on the theory of extremal lattices.
Combinatorial and Algebraic Enumeration: a survey of the work of Ian P. Goulden and David M. Jackson
Published
• View Publication
• BIB
In this survey we discuss some of the significant contributions of Ian Goulden and David Jackson in the areas of classical enumeration, symmetric functions, factorizations of permutations, and algebraic foundations of quantum field theory. Through their groundbreaking textbook, {\em Combinatorial Enumeration}, and their numerous research papers, both together and with their many students, they have had an influence in areas of bioinformatics, mathematical chemistry, algorithmic computer science, and theoretical physics. Here we review and set in context highlights of their 40 years of collaborative work.
Modified Macdonald polynomials and the multispecies zero range process: II
Published in Mathematische Zeitschrift, Vol 308 no. 31, (2024) 31, 45pp
• View Publication
• BIB
In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the \emph{queue inversion} (quinv) statistic. In this paper we explicitly describe a connection between these combinatorial objects and a class of multispecies totally asymmetric zero range processes (mTAZRP) on a ring, with site-dependent jump-rates. We construct a Markov chain on the space of tableaux of a given shape, which projects to the mTAZRP, and whose stationary distribution can be expressed in terms of quinv-weighted tableaux. We deduce that the mTAZRP has a partition function given by the modified Macdonald polynomial $\widetilde{H}_λ(X;1,t)$. The novelty here in comparison to previous works relating the stationary distribution of integrable systems to symmetric functions is that the variables $x_1,\ldots,x_n$ are explicitly present as hopping rates in the mTAZRP. We also obtain interesting symmetry properties of the mTAZRP probabilities under permutation of the jump-rates between the sites. Finally, we explore a number of interesting special cases of the mTAZRP, and give explicit formulas for particle densities and correlations of the process purely in terms of modified Macdonald polynomials.
Combinatorial of restricted permutations according to the number of crossings
In this thesis, we introduced and carried out a combinatorial study of permutations that avoid one or two patterns of length 3 according to the statistic number of crossings. For this purpose, we manipulated a bijection of Elizalde and Pak and constructed other bijections that preserve the number of crossings. As results, we found, throughout these bijections, various relationships on the distributions of the number of crossings on restricted permutations as well as combinatorial interpretations in terms of the number of crossings on permutations with forbidden patterns of some well known triangles in the literature.
Box-ball systems and RSK recording tableaux
A box-ball system (BBS) is a discrete dynamical system consisting of n balls in an infinite strip of boxes. During each BBS move, the balls take turns jumping to the first empty box, beginning with the smallest-numbered ball. The one-line notation of a permutation can be used to define a BBS state. This paper proves that the Robinson--Schensted (RS) recording tableau of a permutation completely determines the dynamics of the box-ball system containing the permutation.
Every box-ball system eventually reaches steady state, decomposing into solitons. We prove that the rightmost soliton is equal to the first row of the RS insertion tableau and it is formed after at most one BBS move. This fact helps us compute the number of BBS moves required to form the rest of the solitons. First, we prove that if a permutation has an L-shaped soliton decomposition then it reaches steady state after at most one BBS move. Permutations with L-shaped soliton decompositions include noncrossing involutions and column reading words. Second, we make partial progress on the conjecture that every permutation on n objects reaches steady state after at most n-3 BBS moves. Furthermore, we study the permutations whose soliton decompositions coincide with standard tableaux; we conjecture that they are closed under consecutive pattern containment and that the RS recording tableaux belonging to such permutations are counted by the Motzkin numbers.
Equivalence classes of dessins d'enfants with two vertices
Let $N$ be a positive integer. For any positive integer $L\leq N$ and any positive divisor $r$ of $N$, we enumerate the equivalence classes of dessins d'enfants with $N$ edges, $L$ faces and two vertices whose automorphism groups are cyclic of order $r$. Further, for any non-negative integer $h$, we enumerate the equivalence classes of dessins with $N$ edges, $h$ faces of degree $2$ with $h\leq N$, and two vertices, whose automorphism groups are cyclic of order $r$. Our arguments are essentially based upon a natural one-to-one correspondence of the equivalence classes of all dessins with $N$ edges to the equivalence classes of all pairs of permutations with components generating transitive subgroups of the symmetric group of degree $N$.
Transitivity in finite general linear groups
Published
• View Publication
• BIB
It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.
The stochastic sandpile model on complete graphs
Published in The Electronic Journal of Combinatorics, 31(3), P3.26, 29pp. (2024)
• View Publication
• BIB
The stochastic sandpile model (SSM) is a generalisation of the standard Abelian sandpile model (ASM), in which topplings of unstable vertices are made random. When unstable, a vertex sends one grain to each of its neighbours independently with probability $p \in (0,1)$. We study the SSM on complete graphs. Our main result is a description of the recurrent states of the model. We show that these are given by convex sums of recurrent states for the ASM. This allows us to recover a well-known result: that the number of integer lattice points in the $n$-dimensional permutation polytope is equal to the number of labeled spanning forests on $n$ vertices. We also provide a stochastic version of Dhar's burning algorithm to check if a given (stable) state is recurrent or not, which runs in linear time. Finally, we study a family of so-called "partial" SSMs, in which some vertices topple randomly, while others topple deterministically (as in the ASM, sending one grain to all neighbours). We show that this distinction is meaningful, yielding sets of recurrent states that are in general different from those of both the ASM and SSM. We also show that to get all recurrent states of the SSM, we can allow up to two vertices to topple deterministically.
New bounds on the number of Edges of the maximal Permutation Graphs
In this paper, we bound the number of edges of a maximal permutation graph with n vertices. We propose a new method to compute the lower bound by splitting the set of labellings of the edges into six parts, considering one separate problem for each part, explicitly determining the cardinality of four parts and summing up the corresponding values. We finish with an upper bound of the number of edges of a maximal permutation graph.
A Complete Enumeration of Ballot Permutations Avoiding Sets of Small Patterns
Published in Enumerative Combinatorics and Applications 3:1 (2023) Article #S2R6
• View Publication
• BIB
Permutations whose prefixes contain at least as many ascents as descents are called ballot permutations. Lin, Wang, and Zhao have previously enumerated ballot permutations avoiding small patterns and have proposed the problem of enumerating ballot permutations avoiding a pair of permutations of length $3$. We completely enumerate ballot permutations avoiding two patterns of length $3$ and we relate these avoidance classes with their respective recurrence relations and formulas, which leads to an interesting bijection between ballot permutations avoiding $132$ and $312$ with left factors of Dyck paths. In addition, we also conclude the Wilf-classification of ballot permutations avoiding sets of two patterns of length $3$, and we then extend our results to completely enumerate ballot permutations avoiding three patterns of length $3$.