permutation ↗ reference
4849 papers tagged with this keyword
On the proportion of elements of prime order in finite symmetric groups
We give a short proof for an explicit upper bound on the proportion of permutations of a given prime order $p$, acting on a finite set of given size $n$, which is sharp for certain $n$ and $p$. Namely, we prove that if $n\equiv k\pmod{p}$ with $0\leq k\leq p-1$, then this proportion is at most $(p\cdot k!)^{-1}$ with equality if and only if $p\leq n<2n$.
Antipode formulas for pattern Hopf algebras
The permutation pattern Hopf algebra is a commutative filtered and connected Hopf algebra. Its product structure stems from counting patterns of a permutation, interpreting the coefficients as permutation quasi-shuffles. The Hopf algebra was shown to be a free commutative algebra and to fit into a general framework of pattern Hopf algebras, via species with restrictions.
In this paper we introduce the cancellation-free and grouping-free formula for the antipode of the permutation pattern Hopf algebra. To obtain this formula, we use the popular sign-reversing involution method, by Benedetti and Sagan. This formula has applications on polynomial invariants on permutations, in particular for obtaining reciprocity theorems. On our way, we also introduce the packed word patterns Hopf algebra and present a formula for its antipode.
Other pattern algebras are discussed here, notably on parking functions, which recovers notions recently studied by Adeniran and Pudwell, and by Qiu and Remmel.
Euler numbers and diametral paths in Fibonacci cubes, Lucas cubes and Alternate Lucas cubes
The diameter of a graph is the maximum distance between pairs of vertices in the graph. A pair of vertices whose distance is equal to its diameter are called diametrically opposite vertices. The collection of shortest paths between diametrically opposite vertices are referred as diametral paths. In this work, we enumerate the number of diametral paths for Fibonacci cubes, Lucas cubes and Alternate Lucas cubes. We present bijective proofs that show that these numbers are related to alternating permutations and are enumerated by Euler numbers.
Ordered unavoidable sub-structures in matchings and random matchings
Published
• View Publication
• BIB
An ordered matching of size $n$ is a graph on a linearly ordered vertex set $V$, $|V|=2n$, consisting of $n$ pairwise disjoint edges. There are three different ordered matchings of size two on $V=\{1,2,3,4\}$: an alignment $\{1,2\},\{3,4\}$, a nesting $\{1,4\},\{2,3\}$, and a crossing $\{1,3\},\{2,4\}$. Accordingly, there are three basic homogeneous types of ordered matchings (with all pairs of edges arranged in the same way) which we call, respectively, lines, stacks, and waves.
We prove an Erdős-Szekeres type result guaranteeing in every ordered matching of size $n$ the presence of one of the three basic sub-structures of a given size. In particular, one of them must be of size at least $n^{1/3}$. We also investigate the size of each of the three sub-structures in a random ordered matching. Additionally, the former result is generalized to $3$-uniform ordered matchings.
Another type of unavoidable patterns we study are twins, that is, pairs of order-isomorphic, disjoint sub-matchings. By relating to a similar problem for permutations, we prove that the maximum size of twins that occur in every ordered matching of size $n$ is $O\left(n^{2/3}\right)$ and $Ω\left(n^{3/5}\right)$. We conjecture that the upper bound is the correct order of magnitude and confirm it for almost all matchings. In fact, our results for twins are proved more generally for $r$-multiple twins, $r\ge2$.
On Flattened Parking Functions
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.5.8
• Search Publication
A permutation of length $n$ is called a flattened partition if the leading terms of maximal chains of ascents (called runs) are in increasing order. We analogously define flattened parking functions: a subset of parking functions for which the leading terms of maximal chains of weak ascents (also called runs) are in weakly increasing order. For $n\leq 8$, where there are at most four runs, we give data for the number of flattened parking functions, and it remains an open problem to give formulas for their enumeration in general. We then specialize to a subset of flattened parking functions that we call $\mathcal{S}$-insertion flattened parking functions. These are obtained by inserting all numbers of a multiset $ \mathcal{S}$ whose elements are in $[n]=\{1,2,\ldots,n\}$, into a permutation of $[n]$ and checking that the result is flattened. We provide bijections between $\mathcal{S}$-insertion flattened parking functions and $\mathcal{S}'$-insertion flattened parking functions, where $\mathcal{S}$ and $\mathcal{S}'$ have certain relations. We then further specialize to the case $\mathcal{S}=\textbf{1}_r$, the multiset with $r$ ones, and we establish a bijection between $\textbf{1}_r$-insertion flattened parking functions and set partitions of $[n+r]$ with the first $r$ integers in different subsets.
Some complementary Gray codes
Published in J. Combin. Math. Combin. Comput. 107 (2018) 149-170
• Search Publication
A complementary Gray code for binary n-tuples is one that, when all the tuples are complemented, is identical to itself; this is equivalent to the complement of the first half of the code being identical to the second half. We generalize the notion of complementary to q-ary n-tuples, fixed size combinations of an n-set and permutations and, in each case, construct complementary Gray codes. We relax, as weakly as possible, the notions of complementary to cases where necessary conditions for existence are violated and construct Gray codes within the weakened definitions: these include binary n-tuples when n is odd and Lee metric q-ary n-tuples when n is odd and q is even. Finally a lemma used in the construction for permutations offers the first known cyclic Gray code for the permutations of a particular family of multisets.
Commuting Eulerian operators
Published
• View Publication
• BIB
Motivated by the work of Visontai and Dey-Sivasubramanian on the gamma-positivity of some polynomials, we find the commutative property of a pair of Eulerian operators. As an application, we show the bi-gamma-positivity of the descent polynomials on permutations of the multiset $\{1^{a_1},2^{a_2},\ldots,n^{a_n}\}$, where $0\leqslant a_i\leqslant 2$. Therefore, these descent polynomials are all alternatingly increasing, and so they are unimodal with modes in the middle.
A Grammatical Calculus for Peaks and Runs of Permutations
Published
• View Publication
• BIB
We develop a nonstandard approach to exploring polynomials associated with peaks and runs of permutations. With the aid of a context-free grammar, or a set of substitution rules, one can perform a symbolic calculus, and the computation often becomes rather simple. From a grammar it follows at once a system of ordinary differential equations for the generating functions. Utilizing a certain constant property, it is even possible to deduce a single equation for each generating function. To bring the grammar to a combinatorial setting, we find a labeling scheme for up-down runs of a permutation, which can be regarded as a refined
property, or the differentiability in a certain sense, in contrast to the usual counting argument for the recurrence relation. The labeling scheme also exhibits how the substitution rules arise in the construction of the combinatorial structures. Consequently,
polynomials on peaks and runs can be dealt with in two ways, combinatorially or grammatically. The grammar also serves as a guideline to build a bijection between permutations and increasing trees that maps the number of up-down runs to the number of nonroot vertices of even degree. This correspondence can be adapted to left peaks and exterior peaks, and the key step of the construction is called the reflection principle.
On a variant of Flory model
We consider a one-dimensional variant of a recently introduced settlement planning problem in which houses can be built on finite portions of the rectangular integer lattice subject to certain requirements on the amount of insolation they receive. In our model, each house occupies a unit square on a $1 \times n$ strip, with the restriction that at least one of the neighboring squares must be free. We are interested mostly in situations in which no further building is possible, i.e. in maximal configurations of houses in the strip. We reinterpret the problem as a problem of restricted packing of vertices in a path graph and then apply the transfer matrix method in order to compute the bivariate generating functions for the sequences enumerating all maximal configurations of a given length with respect to the number of houses. This allows us to determine the asymptotic behavior of the enumerating sequences and to compute some interesting statistics. Along the way, we establish close connections between our maximal configurations and several other types of combinatorial objects, including restricted permutations and walks on certain small oriented graphs. In all cases we provide combinatorial proofs. We then generalize our results in several directions by considering multi-story houses, by varying the insolation restrictions, and, finally, by considering strips of width 2 and 3. At the end we comment on several possible directions of future research.
Tight Lower Bound for Pattern Avoidance Schur-Positivity
Published
• View Publication
• BIB
For a set of permutations (patterns) $Π$ in $S_k$, consider the set of all permutations in $S_n$ that avoid all patterns in $Π$. An important problem in current algebraic combinatorics is to find pattern sets $Π$ such that the corresponding quasi-symmetric function is symmetric for all $n$. Recently, Bloom and Sagan proved that for any $k \ge 4$, the size of such $Π$ must be at least $3$ unless $Π\subseteq \{[1, 2, \dots, k],\; [k, \dots, 1]\}$, and asked for a general lower bound.
We prove that the minimal size of such $Π$ is exactly $k - 1$. The proof applies a new generalization of a theorem of Bose from extremal combinatorics. This generalization is proved using the multilinear polynomial approach of Alon, Babai and Suzuki to the extension by Ray-Chaudhuri and Wilson to Bose's theorem.
The sequence reconstruction problem for permutations with the Hamming distance
Published
• View Publication
• BIB
V. Levenshtein first proposed the sequence reconstruction problem in 2001. This problem studies the model where the same sequence from some set is transmitted over multiple channels, and the decoder receives the different outputs. Assume that the transmitted sequence is at distance $d$ from some code and there are at most $r$ errors in every channel. Then the sequence reconstruction problem is to find the minimum number of channels required to recover exactly the transmitted sequence that has to be greater than the maximum intersection between two metric balls of radius $r$, where the distance between their centers is at least $d$. In this paper, we study the sequence reconstruction problem of permutations under the Hamming distance. In this model we define a Cayley graph over the symmetric group, study its properties and find the exact value of the largest intersection of its two metric balls for $d=2r$. Moreover, we give a lower bound on the largest intersection of two metric balls for $d=2r-1$.
Associated Permutations of Complete Non-Ambiguous Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (April 3, 2024) dmtcs:11169
• View Publication
• BIB
We explore new connections between complete non-ambiguous trees (CNATs) and permutations. We give a bijection between tree-like tableaux and a specific subset of CNATs. This map is used to establish and solve a recurrence relation for the number of tree-like tableaux of a fixed size without occupied corners, proving a conjecture by Laborde-Zubieta. We end by establishing a row/column swapping operation on CNATs and identify new areas for future research.
Stirling permutation codes
Published
• View Publication
• BIB
The development of the theories of the second-order Eulerian polynomials began with the works of Buckholtz and Carlitz in their studies of an asymptotic expansion. Gessel-Stanley introduced Stirling permutations and presented combinatorial interpretations of the second-order Eulerian polynomials. Recently, there is a growing interest in the properties of Stirling permutations. The motivation of this paper is to develop a general method for finding equidistributed statistics on Stirling permutations. Firstly, we show that the up-down-pair statistic is equidistributed with ascent-plateau statistic, and that the exterior up-down-pair statistic is equidistributed with left ascent-plateau statistic. Secondly, we introduce the Stirling permutation codes. Several equidistribution results follow from simple applications. In particular, we find that six bivariable set-valued statistics are equidistributed on the set of Stirling permutations. As an application, we extend a classical result independently established by Dumont and Bona. Thirdly, we explore bijections among Stirling permutation codes, perfect matchings and trapezoidal words. We then show the e-positivity of the enumerators of Stirling permutations by left ascent-plateaux, exterior up-down-pairs and right plateau-descents. In the final part, the e-positivity of the multivariate k-th order Eulerian polynomials is established, which improves a result of Janson-Kuba-Panholzer and generalizes a recent result of Chen-Fu.
Existence of a Moore graph of degree 57 is still open
In 2020, a paper [arXiv:2010.13443] appeared in the arXiv claiming to prove that a Moore graph of diameter 2 and degree 57 does not exist. (The paper is in Russian; we include a link to a translation of this paper kindly provided to us by Konstantin Selivanov.) The proof technique is reasonable. It employs the fact that such a graph must be distance regular and that there exists a large set of relations which such a graph must satisfy. The argument proceeds by a case analysis that shows that this set of relations cannot be satisfied. We show that this seems not to be correct. The system of equations factors into small diagonal blocks all of which have solutions. As an alternative, we show that there is a family of systems of permutations with the property that the Moore graph exists if and only if there is a member of the family with no solutions.
Symmetric generating functions and Euler-Stirling statistics on permutations
Published
• View Publication
• BIB
We present (bi-)symmetric generating functions for the joint distributions of Euler-Stirling statistics on permutations, including the number of descents ($\mathsf{des}$), inverse descents ($\mathsf{ides}$), the number of left-to-right maxima ($\mathsf{lmax}$), the number of right-to-left maxima ($\mathsf{rmax}$) and the number of left-to-right minima ($\mathsf{lmin}$). We also show how they recover the classical symmetric generating function of permutations due to Carlitz, Roselle and Scoville (1966).
Our proofs exploit three different recursive constructions of inversion sequences, bijections on the multiple equidistributions of Euler-Stirling statistics over permutations and transformation formulas of basic hypergeometric series. Furthermore, we establish a new quadruple equidistribution of Euler-Stirling statistics over inversion sequences, as progress towards a conjecture proposed by Schlosser and the author (2020).
Asymptotic free independence and entry permutations for Gaussian random matrices. Part II: Infinitesimal freeness
Published
• View Publication
• BIB
We study asymptotic infinitesimal distributions of Gaussian Unitary Ensembles with permuted entries. We show that for random uniform permutations, the asymptotically permuted GUE matrix has a null infinitesimal distribution. Moreover, we show that asymptotically different permutations of the same GUE matrix are infinitesimally free. Besides this we study particular example of entry permutation - the transpose, and we show that while a GUE matrix is asymptotically free from its transpose it is not infinitesimally free from it.
A noise-robust Multivariate Multiscale Permutation Entropy for two-phase flow characterisation
Published
• View Publication
• BIB
Using a graph-based approach, we propose a multiscale permutation entropy to explore the complexity of multivariate time series over multiple time scales. This multivariate multiscale permutation entropy (MPEG) incorporates the interaction between channels by constructing an underlying graph for each coarse-grained time series and then applying the recent permutation entropy for graph signals. Given the challenge posed by noise in real-world data analysis, we investigate the robustness to noise of MPEG using synthetic time series and demonstrating better performance than similar multivariate entropy metrics.
Two-phase flow data is an important industrial process characterised by complex, dynamic behaviour. MPEG characterises the flow behaviour transition of two-phase flow by incorporating information from different scales. The experimental results show that MPEG is sensitive to the dynamic of flow patterns, allowing us to distinguish between different flow patterns.
Dynamical aspects of $σ$-machines
Published
• View Publication
• BIB
The $σ$-machine was recently introduced by Cerbai, Claesson and Ferrari as a tool to gain a better insight on the problem of sorting permutations with two stacks in series. It consists of two consecutive stacks, which are restricted in the sense that their content must at all times avoid a certain pattern: a given $σ$, in the first stack, and $21$, in the second. Here we prove that in most cases sortable permutations avoid a bivincular pattern $ξ$. We provide a geometric decomposition of $ξ$-avoiding permutations and use it to count them directly. Then we characterize the permutations with the property that the output of the $σ$-avoiding stack does not contain $σ$, which we call effective. For $σ=123$, we obtain an alternative method to enumerate sortable permutations. Finally, we classify $σ$-machines and determine the most challenging to be studied.
A logical limit law for $231$-avoiding permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (April 2, 2024) dmtcs:11751
• View Publication
• BIB
We prove that the class of 231-avoiding permutations satisfies a logical limit law, i.e. that for any first-order sentence $Ψ$, in the language of two total orders, the probability $p_{n,Ψ}$ that a uniform random 231-avoiding permutation of size $n$ satisfies $Ψ$ admits a limit as $n$ is large. Moreover, we establish two further results about the behavior and value of $p_{n,Ψ}$: (i) it is either bounded away from $0$, or decays exponentially fast; (ii) the set of possible limits is dense in $[0,1]$. Our tools come mainly from analytic combinatorics and singularity analysis.
Locally irregular edge-coloring of subcubic graphs
Published
• View Publication
• BIB
A graph is {\em locally irregular} if no two adjacent vertices have the same degree. A {\em locally irregular edge-coloring} of a graph $G$ is such an (improper) edge-coloring that the edges of any fixed color induce a locally irregular graph. Among the graphs admitting a locally irregular edge-coloring, i.e., {\em decomposable graphs}, only one is known to require $4$ colors, while for all the others it is believed that $3$ colors suffice. In this paper, we prove that decomposable claw-free graphs with maximum degree $3$, all cycle permutation graphs, and all generalized Petersen graphs admit a locally irregular edge-coloring with at most $3$ colors. We also discuss when $2$ colors suffice for a locally irregular edge-coloring of cubic graphs and present an infinite family of cubic graphs of girth $4$ which require $3$ colors.