permutation ↗ reference
4849 papers tagged with this keyword
Generalizations of wreath product identities via Garsia-Gessel bijections
Garsia and Gessel constructed innovative bijections to obtain multivariate generating functions of permutation statistics. In 2011, Biaogioli and Zeng successfully derived four and six variate distributions on the set of wreath product. In this paper, we will generalize the four variate identities from BZ to any positive dominant ordering. And we will simplify the six variate distribution function under the ordering originally defined by Adin and Roichman in 2001.
Distribution of maxima and minima statistics on alternating permutations, Springer numbers, and avoidance of flat POPs
In this paper, we find distributions of the left-to-right maxima, right-to-left maxima, left-to-right minima and right-to-left-minima statistics on up-down and down-up permutations of even and odd lengths. For instance, we show that the distribution of right-to-left maxima on up-down permutations of even length is given by $(\sec (t))^{q}$. We also derive the joint distribution of the maxima (resp., minima) statistics. To accomplish this, we generalize a result of Kitaev and Remmel by deriving joint distributions involving non-maxima (resp., non-minima) statistics. Consequently, we refine classic enumeration results of André by introducing new $q$-analogues and $(p,q)$-analogues for the number of alternating permutations.
Additionally, we verify Callan's conjecture (2012) that the number of up-down permutations of even length fixed by reverse and complement equals the Springer numbers, thereby offering another combinatorial interpretation of these numbers. Furthermore, we propose two $q$-analogues and a $(p,q)$-analogue of the Springer numbers. Lastly, we enumerate alternating permutations that avoid certain flat partially ordered patterns (POPs), where the only minimum or maximum elements are labeled by the largest or smallest numbers.
Shelling of links and star clusters in edgewise subdivision of a simplex
We show that the combinatorial types of the links of the vertices in the edgewise triangulation $T_{k,q}$ of a $(k-1)$-simplex are encoded by the partitions of $k$. Each of these complexes is isomorphic to a subcomplex of the barycentric subdivision of the boundary of a $(k-1)$-simplex, and the containment relations among them are described by a new poset on the set of partitions of $k$. We compute the $h$-vectors of these complexes and determine the number of vertices of $T_{k,q}$ whose links are the same (correspond to the same partition).
The combinatorial type of the link of an $(s-1)$-dimensional face of $T_{k,q}$ corresponds to a partition $(λ_1,λ_2,\ldots,λ_s)$ of $k$ into $s$ parts, together with additional partitions of each $λ_i$. We also enumerate the combinatorial types of all $m$-dimensional complexes that arise as the links in edgewise triangulations.
A new permutation statistic, \textit{the faithful initial part}, is introduced and used to describe the star cluster of a facet of $T_{k,q}$. By examining a specific shelling of this star cluster, we prove that the $i$-th entry of its $h$-vector
counts the number of permutations of $[k]$ with exactly $i$ descents,
taking into account the
faithful initial part as the multiplicity. Finally, we
describe a concrete shelling order for $T_{k,q}$, give a
combinatorial interpretation of its $h$-vector, and derive an explicit formula for it.
On (joint) equidistributions of mesh patterns 123 and 132 with symmetric shadings
A notable problem within permutation patterns that has attracted considerable attention in literature since 1973 is the search for a bijective proof demonstrating that 123-avoiding and 132-avoiding permutations are equinumerous, both counted by the Catalan numbers. Despite this equivalence, the distributions of occurrences of the patterns 123 and 132 are distinct. When considering 123 and 132 as mesh patterns and selectively shading boxes, similar scenarios arise, even when avoidance is defined by the Bell numbers or other sequences, rather than the Catalan numbers.
However, computer experiments suggest that mesh patterns 123 and 132 may indeed be equidistributed. Furthermore, by considering symmetric shadings relative to the anti-diagonal, a maximum of 93 such equidistributed pairs can potentially exist. This paper establishes 75 such equidistributions, leaving the justification of the remaining cases as open problems. As a by-product, we also prove 36 relevant non-symmetric equidistributions. All our proofs are bijective and involve swapping occurrences of the patterns in question, thereby demonstrating their joint equidistribution. Our findings are a continuation of the systematic study of distributions of short-length mesh patterns initiated by Kitaev and Zhang in 2019.
Minimum Synthesis Cost of CNOT Circuits
Published
• View Publication
• BIB
Optimizing the size and depth of CNOT circuits is an active area of research in quantum computing and is particularly relevant for circuits synthesized from the Clifford + T universal gate set. Although many techniques exist for finding short syntheses, it is difficult to assess how close to optimal these syntheses are without an exponential brute-force search. We use a novel method of categorizing CNOT gates in a synthesis to obtain a strict lower bound computable in $O(n^ω)$ time on the minimum number of gates needed to synthesize a given CNOT circuit, where $ω$ denotes the matrix multiplication constant and $n$ is the number of qubits involved. Applying our framework, we prove that $3(n-1)$ gate syntheses of the $n$-cycle circuit are optimal and provide insight into their structure. We also generalize this result to permutation circuits. For linear reversible circuits with $ n = 3, 4, 5$ qubits, our lower bound is optimal for 100%, 67.7%, and 23.1% of circuits and is accurate to within one CNOT gate in 100%, 99.5%, and 83.0% of circuits respectively. We also introduce an algorithm that efficiently determines whether certain circuits can be synthesized with fewer than $n$ CNOT gates.
Efficient counting of permutation patterns via double posets
Corner trees, introduced in "Even-Zohar and Leng, 2021, Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms", allow for the efficient counting of certain permutation patterns. Here we identify corner trees as a subset of finite (strict) double posets, which we term twin-tree double posets. They are contained in both twin double posets and tree double posets, giving candidate sets for generalizations of corner tree countings. We provide the generalization of an algorithm proposed by Even-Zohar/Leng to a class of tree double posets, thereby enlarging the space of permutations that can be counted in O(n^{5/3}).
When invariance implies exchangeability (and applications to invariant Keisler measures)
We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the domain). We show, for example, that if $M$ is a finitely bounded homogeneous $3$-hypergraph with free amalgamation (including the generic tetrahedron-free $3$-hypergraph), all $\mathrm{Aut}(M)$-invariant random expansions by graphs are exchangeable. Moreover, we extend and recover both the work of Angel, Kechris, and Lyons on invariant random orderings and some of the work of Crane and Towsner, and Ackerman on relative exchangeability.
In the second part of the paper, we apply our results to the study of invariant Keisler measures, which we prove to be particular invariant random expansions. Thus, we describe the spaces of invariant Keisler measures of various homogeneous structures, obtaining the first results of this kind since the work of Albert and Ensley. We also show there are $2^{\aleph_0}$ supersimple homogeneous ternary structures for which there are non-forking formulas which are universally measure zero.
The balancing index over the alternating group
The balancing index of a polynomial $f \in \mathbb{Z}[x_1,\dots,x_n]$ is the least positive sum of coefficients in an integer linear combination of permuted copies of $f$ which produces a symmetric polynomial. Here we consider the restricted problem in which only even permutations are used.
Poisson approximation for large permutation groups
Published in Advances in Applied Mathematics Volume 167, Article 102883 (2025)
• View Publication
• BIB
Let $G_{k,n}$ be a group of permutations of $kn$ objects which permutes things independently in disjoint blocks of size $k$ and then permutes the blocks. We investigate the probabilistic and/or enumerative aspects of random elements of $G_{k,n}$. This includes novel limit theorems for fixed points, cycles of various lengths, number of cycles and inversions. The limits are compound Poisson distributions with interesting dependence structure.
Self-modified difference ascent sequences
Ascent sequences play a key role in the combinatorics of Fishburn structures. Difference ascent sequences are a natural generalization obtained by replacing ascents with $d$-ascents. We have recently extended the so-called hat map to difference ascent sequences, and self-modified difference ascent sequences are the fixed points under this map. We characterize self-modified difference ascent sequences and enumerate them in terms of certain generalized Fibonacci polynomials. Furthermore, we describe the corresponding subset of $d$-Fishburn permutations.
On a family of universal cycles for multi-dimensional permutations
A universal cycle (u-cycle) for permutations of length $n$ is a cyclic word, any size $n$ window of which is order-isomorphic to exactly one permutation of length $n$, and all permutations of length $n$ are covered. It is known that u-cycles for permutations exist, and they have been considered in the literature in several papers from different points of view.
In this paper, we show how to construct a family of u-cycles for multi-dimensional permutations, which is based on applying an appropriate greedy algorithm. Our construction is a generalisation of the greedy way by Gao et al. to construct u-cycles for permutations. We also note the existence of u-cycles for $d$-dimensional matrices.
Random Subwords and Pipe Dreams
Fix a probability $p\in(0,1)$. Let $s_i$ denote the transposition in the symmetric group $\mathfrak{S}_n$ that swaps $i$ and $i+1$. Given a word $\mathsf{w}$ over the alphabet $\{s_1,\ldots,s_{n-1}\}$, we can generate a random subword by independently deleting each letter of $\mathsf{w}$ with probability $1-p$. For a large class of starting words $\mathsf{w}$ -- including all alternating reduced words for the decreasing permutation -- we compute precise asymptotics (as $n\to\infty$) for the expected number of inversions of the permutation represented by the random subword. This result can also be seen as an asymptotic formula for the expected number of inversions of a permutation represented by a certain random (non-reduced) pipe dream. In the special case when $\mathsf{w}$ is the word $(s_{n-1})(s_{n-2}s_{n-1})\cdots(s_1s_2\cdots s_{n-1})$, we find that the expected number of inversions of the permutation represented by the random subword is asymptotically equal to \[\frac{2\sqrt{2}}{3\sqrtπ}\sqrt{\frac{p}{1-p}}\,n^{3/2};\] this settles a conjecture of Morales, Panova, Petrov, and Yeliussizov.
Key-avoidance for alternating sign matrices
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (March 13, 2025) dmtcs:14058
• View Publication
• BIB
We initiate a systematic study of key-avoidance on alternating sign matrices (ASMs) defined via pattern-avoidance on an associated permutation called the \emph{key} of an ASM. We enumerate alternating sign matrices whose key avoids a given set of permutation patterns in several instances. We show that ASMs whose key avoids $231$ are permutations, thus any known enumeration for a set of permutation patterns including $231$ extends to ASMs. We furthermore enumerate by the Catalan numbers ASMs whose key avoids both $312$ and $321$. We also show ASMs whose key avoids $312$ are in bijection with the gapless monotone triangles of [Ayyer, Cori, Gouyou-Beauchamps 2011]. Thus key-avoidance generalizes the notion of $312$-avoidance studied there. Finally, we enumerate ASMs with a given key avoiding $312$ and $321$ using a connection to Schubert polynomials, thereby deriving an interesting Catalan identity.
Some integer values in the spectra of burnt pancake graphs
The burnt pancake graph, denoted by $\mathbb{BP}_n$, is formed by connecting signed permutations via prefix reversals. Here, we discuss some spectral properties of $\mathbb{BP}_n$. More precisely, we prove that the adjacency spectrum of $\mathbb{BP}_n$ contains all integer values in the set $\{0, 1, \ldots, n\}\setminus\{\left\lfloor n/2 \right\rfloor\}$.
On a conjecture concerning the $r$-Euler-Mahonian statistic on permutations
A pair $(\mathrm{st_1}, \mathrm{st_2})$ of permutation statistics is said to be $r$-Euler-Mahonian if $(\mathrm{st_1}, \mathrm{st_2})$ and
$( \mathrm{rdes}$, $\mathrm{rmaj})$ are equidistributed over the set $\mathfrak{S}_{n}$ of all permutations of $\{1,2,\ldots, n\}$, where $\mathrm{rdes}$ denotes the $r$-descent number and $\mathrm{rmaj}$ denotes the $r$-major index introduced by Rawlings. The main objective of this paper is to prove that $(\mathrm{exc}_r, \mathrm{den}_r)$ and $( \mathrm{rdes}$, $\mathrm{rmaj})$ are equidistributed over $\mathfrak{S}_{n}$, thereby confirming a recent conjecture posed by Liu. When $r=1$, the result recovers the equidistribution of $(\mathrm{des}, \mathrm{maj})$ and $(\mathrm{exc}, \mathrm{den})$, which was first conjectured by Denert and proved by Foata and Zeilberger.
A Vershik-Kerov theorem for wreath products
Let $G_{n,k}$ be the group of permutations of $\{1,2,\ldots, kn\}$ that permutes the first $k$ symbols arbitrarily, then the next $k$ symbols and so on through the last $k$ symbols. Finally the $n$ blocks of size $k$ are permuted in an arbitrary way. For $σ$ chosen uniformly in $G_{n,k}$, let $L_{n,k}$ be the length of the longest increasing subsequence in $σ$. For $k,n$ growing, we determine that the limiting mean of $L_{n,k}$ is asymptotic to $4\sqrt{nk}$. This is different from parallel variations of the Vershik-Kerov theorem for colored permutations.
On some randomized algorithms and their evaluation
Published in Mathematics and Informatics, 63 (2) 2020, 202-217, ISSN 1310-2230
• Search Publication
The paper considers implementations of some randomized algorithms in connection with obtaining a random $n^2 \times n^2$ Sudoku matrix with programming language C++. For this purpose we describes the set $Π_n$ of all $(2n) \times n$ matrices, consisting of elements of the set $\mathbb{Z}_n =\{ 1,2,\ldots ,n\}$, such that every row is a permutation. We emphasize the relationship between these matrices and the $n^2 \times n^2$ Sudoku matrices. An algorithm to obtain random $Π_n$ matrices is presented in this paper. Several auxiliary algorithms that are related to the underlying problem have been described. We evaluated all algorithms according to two criteria - probability evaluation, and time for generation of random objects and checking of belonging to a specific set. This evaluations are interesting from both theoretical and practical point of view because they are particularly useful in the analysis of computer programs.
Local permutation polynomials and their companions
Gutierrez and Urroz (2023) have proposed a family of local permutation polynomials over finite fields of arbitrary characteristic based on a class of symmetric subgroups without fixed points called $e$-Klenian groups. The polynomials within this family are referred to as $e$-Klenian polynomials. Furthermore, they have shown the existence of companions for the $e$-Klenian polynomials when the characteristic of the finite field is odd. Here, we present three new families of local permutation polynomials over finite fields of even characteristic. We also consider the problem of the existence of companions for the $e$-Klenian polynomials over finite fields of even characteristic. More precisely, we prove that over finite fields of even characteristic, the $0$-Klenian polynomials do not have any companions. However, for $e \geq 1$, we explicitly provide a companion for the $e$-Klenian polynomials. Moreover, we provide a companion for each of the new families of local permutation polynomials that we introduce.
Combinatorics of $q$-Mahonian numbers of type $B$ and log-concavity
This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.
Log-concavity and log-convexity via distributive lattices
We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.