permutation ↗ reference
4849 papers tagged with this keyword
On a random search tree: asymptotic enumeration of vertices by distance from leaves
A random binary search tree grown from the uniformly random permutation of $[n]$ is studied. We analyze the exact and asymptotic counts of vertices by rank, the distance from the set of leaves. The asymptotic fraction $c_k$ of vertices of a fixed rank $k\ge 0$ is shown to decay exponentially with $k$. Notoriously hard to compute, the exact fractions $c_k$ had been determined for $k\le 3$ only. We computed $c_4$ and $c_5$ as well; both are ratios of enormous integers, denominator of $c_5$ being $274$ digits long. Prompted by the data, we proved that, in sharp contrast, the largest prime divisor of $c_k$'s denominator is $2^{k+1}+1$ at most. We conjecture that, in fact, the prime divisors of every denominator for $k>1$ form a single interval, from $2$ to the largest prime not exceeding $2^{k+1}+1$.
The Generating Functions Enumerating 12..d-Avoiding Words with r occurrences of each of 1,2, ... , n are D-finite for all d and all r
In this article, dedicated with admiration and gratitude to guru Neil Sloane on his 75-th birthday, we observe that the generating functions for multi-set permutations that do not contain an increasing subsequence of length d, and where every letter appears the same number of times, say r, are always D-finite, (for every d and every r), and we actually crank out the first few terms of quite a few of them, many of whom are not yet in the OEIS. We also state a conjectured asymptotic formula for these sequences, that reduces to Amitai Regev's famous formula when r=1, and pledge a 100 dollar donation to the OEIS in honor of the first one to prove our conjecture. We pledge another 100 dollars for extending Ira Gessel's spectacular Bessel determinant, from the r=1 case to general r.
Quadrant Marked Mesh Patterns and the r-Stirling Numbers
Marked mesh patterns are a very general type of permutation pattern. We examine a particular marked mesh pattern originally defined by Kitaev and Remmel, and show that its generating function is described by the $r$-Stirling numbers. We examine some ramifications of various properties of the $r$-Stirling numbers for this generating function, and find (seemingly new) formulas for the $r$-Stirling numbers in terms of the classical Stirling numbers and harmonic numbers. We also answer some questions posed by Kitaev and Remmel and show a connection to another mesh pattern introduced by Kitaev and Liese.
The frequency of pattern occurrence in random walks
Published
• View Publication
• BIB
In the past decade, the use of ordinal patterns in the analysis of time series and dynamical systems has become an important and rich tool. Ordinal patterns (otherwise known as a permutation patterns) are found in time series by taking $n$ data points at evenly-spaced time intervals and mapping them to a length-$n$ permutation determined by relative ordering. The frequency with which certain patterns occur is a useful statistic for such series; however, the behavior of the frequency of pattern occurrence is unstudied for most models. We look at the frequency of pattern occurrence in random walks in discrete time and, applying combinatorial methods, we characterize those patterns that have equal frequency, regardless of probability distribution.
Coincidence among families of mesh patterns
Two mesh patterns are coincident if they are avoided by the same set of permutations. In this paper, we provide necessary conditions for this coincidence, which include having the same set of enclosed diagonals. This condition is sufficient to prove coincidence of vincular patterns, although it is not enough to guarantee coincidence of bivincular patterns. In addition, we provide a generalization of the Shading Lemma (Hilmarsson et al.), a result that examined when a square could be added to the mesh of a pattern.
Symmetric unimodal expansions of excedances in colored permutations
Published in European Journal of Combinatorics, 52, part A, 174-196, 2016
• View Publication
• BIB
We consider several generalizations of the classical $γ$-positivity of Eulerian polynomials (and their derangement analogues) using generating functions and combinatorial theory of continued fractions. For the symmetric group, we prove an expansion formula for inversions and excedances as well as a similar expansion for derangements. We also prove the $γ$-positivity for Eulerian polynomials for derangements of type $B$. More general expansion formulae are also given for Eulerian polynomials for $r$-colored derangements. Our results answer and generalize several recent open problems in the literature.
On Schur 3-groups
Published in Siberian Electronic Mathematical Reports, 12 (2015) 223-331
• View Publication
• BIB
Let $G$ be a finite group. If $Γ$ is a permutation group with $G_{right}\leqΓ\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $Γ$, then the $\mathbb{Z}$-submodule $\mathcal{A}(Γ,G)=Span_{\mathbb{Z}}\{\underline{X}:\ X\in\mathcal{S}\}$ of the group ring $\mathbb{Z} G$ is an $S$-ring as it was observed by Schur. Following Pöschel an $S$-ring $\mathcal{A}$ over $G$ is said to be schurian if there exists a suitable permutation group $Γ$ such that $\mathcal{A}=\mathcal{A}(Γ,G)$. A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian. We prove that the groups $M_{3^n}=\langle a,b\;|\:a^{3^{n-1}}=b^3=e,a^b=a^{3^{n-2}+1}\rangle$, where $n\geq3$, are not Schur. Modulo previously obtained results, it follows that every Schur $p$-group is abelian whenever $p$ is an odd prime.
Permutation sorting and a game on graphs
We introduce a game on graphs. By a theorem of Zermelo, each instance of the game on a finite graph is determined. While the general decision problem on which player has a winning strategy in a given instance of the game is unsolved, we solve the decision problem for a specific class of finite graphs. This result is then applied to a permutation sorting game to prove the optimality of a proportional bound under which TWO has a winning strategy.
On plane permutations
In this paper we generalize permutations to plane permutations. We employ this framework to derive a combinatorial proof of a result of Zagier and Stanley, that enumerates the number of $n$-cycles $ω$, for which $ω(12\cdots n)$ has exactly $k$ cycles. This quantity is $0$, if $n-k$ is odd and $\frac{2C(n+1,k)}{n(n+1)}$, otherwise, where $C(n,k)$ is the unsigned Stirling number of the first kind. The proof is facilitated by a natural transposition action on plane permutations which gives rise to various recurrences. Furthermore we study several distance problems of permutations. It turns out that plane permutations allow to study transposition and block-interchange distance of permutations as well as the reversal distance of signed permutations. Novel connections between these different distance problems are established via plane permutations.
Families of locally separated Hamilton paths
We improve by an exponential factor the lower bound of Korner and Muzi for the cardinality of the largest family of Hamilton paths in a complete graph of n vertices in which the union of any two paths has degree 4. The improvement is through an explicit construction while the previous bound was obtained by a greedy algorithm. We solve a similar problem for permutations up to an exponential factor.
Weak isometries of the Boolean cube
Published
• View Publication
• BIB
Consider the metric space $\mathcal{C}$ consisting of the $n$-dimensional Boolean cube equipped with the Hamming distance. A weak isometry of $\mathcal{C}$ is a permutation of $\mathcal{C}$ preserving a given subset of Hamming distances. In \cite{Krasin} Krasin showed that in most cases preserving a single Hamming distance forces a weak isometry to be an isometry. In this article we study those weak isometries that are not automatically an isometry, providing a complete classification of weak isometries of $\mathcal{C}$.
What makes a D_0 graph Schur positive?
Published
• View Publication
• BIB
We define a D_0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form ...bac... <--> ...bca... or ...acb... <--> ...cab... (Knuth transformations), or ...bac... <--> ...acb... or ...bca... <--> ...cab... (rotation transformations), such that whenever the Knuth and rotation transformations at positions i-1, i, i+1 are available at a vertex, exactly one of these is an edge. The generating function of such a graph is the sum of the quasisymmetric functions associated to the descent sets of its vertices. Assaf studied D_0 graphs in the paper *Dual equivalence and Schur positivity* and showed that they provide a rich source of examples of the D graphs defined in the paper *Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity*. A key construction of Assaf expresses the coefficient of q^t in an LLT polynomial as the generating function of a certain D_0 graph. LLT polynomials are known to be Schur positive by work of Grojnowski-Haiman, and experimentation shows that many D_0 graphs have Schur positive generating functions, which suggests a vast generalization of LLT positivity in this setting.
As part of a series of papers, we study D_0 graphs using the Fomin-Greene theory of noncommutative Schur functions. We construct a D_0 graph whose generating function is not Schur positive by solving a linear program related to a certain noncommutative Schur function. We go on to construct a D graph on the same vertex set as this D_0 graph.
Cambrian Hopf Algebras
Published in Adv. Math., 311:598-633, 2017
• View Publication
• BIB
Cambrian trees are oriented and labeled trees which fulfill local conditions around each node generalizing the conditions for classical binary search trees. Based on the bijective correspondence between signed permutations and leveled Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday and M. Ronco's algebra on binary trees. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also define multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend to the Cambrian setting different algebras connected to binary trees, in particular S. Law and N. Reading's Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of the associahedron.
The $γ$-positivity of basic Eulerian polynomials via group actions
Published
• View Publication
• BIB
We provide combinatorial interpretation for the $γ$-coefficients of the basic Eulerian polynomials that enumerate permutations by the excedance statistic and the major index as well as the corresponding $γ$-coefficients for derangements. Our results refine the classical $γ$-positivity results for the Eulerian polynomials and the derangement polynomials. The main tools are Brändén's modified Foata--Strehl action on permutations and the recent triple statistic (des, rix,aid) equidistibuted with (exc, fix, maj).
Minimum number of monotone subsequences of length 4 in permutations
Published in Combinator. Probab. Comp. 24 (2014) 658-679
• View Publication
• BIB
We show that for every sufficiently large $n$, the number of monotone subsequences of length four in a permutation on $n$ points is at least $\binom{\lfloor n/3 \rfloor}{4} + \binom{\lfloor(n+1)/3\rfloor}{4} + \binom{\lfloor (n+2)/3\rfloor}{4}$. Furthermore, we characterize all permutations on $[n]$ that attain this lower bound. The proof uses the flag algebra framework together with some additional stability arguments. This problem is equivalent to some specific type of edge colorings of complete graphs with two colors, where the number of monochromatic $K_4$'s is minimized. We show that all the extremal colorings must contain monochromatic $K_4$'s only in one of the two colors. This translates back to permutations, where all the monotone subsequences of length four are all either increasing, or decreasing only.
Affine Symmetries of Orbit Polytopes
Published in Adv. Math. 288, pp. 386-425 (2016)
• View Publication
• BIB
An orbit polytope is the convex hull of an orbit under a finite group $G \leq \operatorname{GL}(d,\mathbb{R})$. We develop a general theory of possible affine symmetry groups of orbit polytopes. For every group, we define an open and dense set of generic points such that the orbit polytopes of generic points have conjugated affine symmetry groups. We prove that the symmetry group of a generic orbit polytope is again $G$ if $G$ is itself the affine symmetry group of some orbit polytope, or if $G$ is absolutely irreducible. On the other hand, we describe some general cases where the affine symmetry group grows.
We apply our theory to representation polytopes (the convex hull of a finite matrix group) and show that their affine symmetries can be computed effectively from a certain character. We use this to construct counterexamples to a conjecture of Baumeister et~al.\ on permutation polytopes [Advances in Math. 222 (2009), 431--452, Conjecture~5.4].
On-line coloring between two lines
We study on-line colorings of certain graphs given as intersection graphs of objects "between two lines", i.e., there is a pair of horizontal lines such that each object of the representation is a connected set contained in the strip between the lines and touches both. Some of the graph classes admitting such a representation are permutation graphs (segments), interval graphs (axis-aligned rectangles), trapezoid graphs (trapezoids) and cocomparability graphs (simple curves). We present an on-line algorithm coloring graphs given by convex sets between two lines that uses $O(ω^3)$ colors on graphs with maximum clique size $ω$.
In contrast intersection graphs of segments attached to a single line may force any on-line coloring algorithm to use an arbitrary number of colors even when $ω=2$.
The {\em left-of} relation makes the complement of intersection graphs of objects between two lines into a poset. As an aside we discuss the relation of the class $\mathcal{C}$ of posets obtained from convex sets between two lines with some other classes of posets: all $2$-dimensional posets and all posets of height $2$ are in $\mathcal{C}$ but there is a $3$-dimensional poset of height $3$ that does not belong to $\mathcal{C}$.
We also show that the on-line coloring problem for curves between two lines is as hard as the on-line chain partition problem for arbitrary posets.
Exact forbidden subposet results using Chain decompositions of the Cycle
Published
• View Publication
• BIB
We introduce a method of decomposing the family of intervals along a cyclic permutation into chains to determine the size of the largest family of subsets of $[n]:= \{1,2,...,n\}$ not containing one or more given posets as a subposet. De Bonis, Katona and Swanepoel determined the size of the largest butterfly-free family. We strengthen this result by showing that, for certain posets containing the butterfly poset as a subposet, the same bound holds. We also obtain the corresponding LYM-type inequalities.
The Colored Eulerian Descent Algebra
Published
• View Publication
• BIB
Using a new colored analogue of P-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algebra. This algebra has a basis consisting of formal sums of colored permutations with the same number of descents (using Steingrímsson's definition of the descent set of a colored permutation). The colored Eulerian descent algebra extends familiar Eulerian descent algebras from the symmetric group algebra and the hyperoctahedral group algebra to colored permutation group algebras. We also describe a set of orthogonal idempotents that spans the colored Eulerian descent algebra and includes, as a special case, the familiar Eulerian idempotents in the group algebra of the symmetric group.
Wreath product action on generalized Boolean algebras
Published
• View Publication
• BIB
Let G be a finite group acting on the finite set X such that the corresponding (complex) permutation representation is multiplicity free. There is a natural rank and order preserving action of the wreath product G~S_n on the generalized Boolean algebra B_X(n). We explicitly block diagonalize the commutant of this action.