permutation ↗ reference
4994 papers tagged with this keyword
Boolean intersection ideals of permutations in the Bruhat order
Published
• View Publication
• BIB
Motivated by recent work with Mazorchuk, we characterize the conditions under which the intersection of two principal order ideals in the Bruhat order is boolean. That characterization is presented in three versions: in terms of reduced words, in terms of permutation patterns, and in terms of permutation support. The equivalence of these properties follows from an analysis of what it means to have a specific letter repeated in a permutation's reduced words; namely, that a specific 321-pattern appears.
Graceful and Strongly Graceful Permutations
A graceful labelling of a graph G is an injective function f from the set of vertices of G into the set {0,1,...,|EG|} such that if edge uv is assigned the label |f(u)-f(v)| then all edge labels have distinct values. A strong graceful labelling of a tree T with a perfect matching is a graceful labelling of T with the additional property that the sum of the vertex labels of each odd labelled edge add up to |ET|. A lobster or a 2-distant tree is a tree T that contains a path P such that any vertex of T is a distance at most 2 from a vertex of P. In this paper, we define generalised strongly graceful permutations and discover two new permutations in addition to the known permutation that is obtained by replacing each vertex label f(v) by |ET|- f(v). We use these permutations to prove, by induction, that a lobster with a perfect matching that consists of the set of end edges of the lobster, is strongly graceful. Further, we show that there exist strongly graceful labellings that assign the label 0 to four specific vertices of any tree belonging to this family of lobsters. By using the technique developed in this paper we will, further, present a tractable way for proving an equivalent form of Bermond conjecture which states that all lobsters are graceful. Two out of a total of three cases of the proposed equivalent form of Bermond conjecture are completed leaving the third case open for refutation or completion.
Cocyclic braces and indecomposable cocyclic solutions of the Yang-Baxter equation
Published in Proc. Amer. Math. Soc. 150 (2022), 4223-4239
• View Publication
• BIB
We study indecomposable involutive set-theoretic solutions of the Yang-Baxter equation with cyclic permutation groups (cocyclic solutions). In particular, we show that there is no one-to-one correspondence between indecomposable cocyclic solutions and cocyclic braces which contradicts recent results in \cite{Rump21}.
Vincular Pattern Avoidance on Cyclic Permutations
Published in Enumer. Comb. Appl. 2(4):PP3 (2022)
• View Publication
• BIB
Pattern avoidance for permutations has been extensively studied, and has been generalized to vincular patterns, where certain elements can be required to be adjacent. In addition, cyclic permutations, i.e., permutations written in a circle rather than a line, have been frequently studied, including in the context of pattern avoidance. We investigate vincular pattern avoidance on cyclic permutations. In particular, we enumerate many avoidance classes of sets of vincular patterns of length 3, including a complete enumeration for all single patterns of length 3. Further, several of the avoidance classes corresponding to a single vincular pattern of length 4 are enumerated by the Catalan numbers. We then study more generally whether sets of vincular patterns of an arbitrary length $k$ can be avoided for arbitrarily long cyclic permutations, in particular investigating the boundary cases of minimal unavoidable sets and maximal avoidable sets.
The Variance and the Asymptotic Distribution of the Length of Longest $k$-alternating Subsequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (May 5, 2023) dmtcs:10296
• View Publication
• BIB
We obtain an explicit formula for the variance of the number of $k$-peaks in a uniformly random permutation. This is then used to obtain an asymptotic formula for the variance of the length of longest $k$-alternating subsequence in random permutations. Also a central limit is proved for the latter statistic.
Structure of $k$-closures of finite nilpotent permutation groups
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$, and $k$ a positive integer. The $k$-closure $G^{(k)}$ of $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$, with the same as $G$ orbits of componentwise action on $Ω^k$. We prove that the $k$-closure of a finite nilpotent permutation group is the direct product of $k$-closures of its Sylow subgroups.
Monotone subsets in lattices and the Schensted shape of a Sós permutation
Published
• View Publication
• BIB
For a fixed irrational number $α$ and $n\in \mathbb{N}$, we look at the shape of the sequence $(f(1),\ldots,f(n))$ after Schensted insertion, where $f(i) = αi \mod 1$. Our primary result is that the boundary of the Schensted shape is approximated by a piecewise linear function with at most two slopes. This piecewise linear function is explicitly described in terms of the continued fraction expansion for $α$. Our results generalize those of Boyd and Steele, who studied longest monotone subsequences. Our proofs are based on a careful analysis of monotone sets in two-dimensional lattices.
From Trees to Barcodes and Back Again II: Combinatorial and Probabilistic Aspects of a Topological Inverse Problem
Published
• View Publication
• BIB
In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. The first important outcome of our study is a clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees. Generic BHV trees on $n+1$ leaf nodes fall into $(2n-1)!!$ distinct strata, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., $(n+1)!n!2^{-n}$. The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data and opens the door to doing more precise science.
Griddings of permutations and hardness of pattern matching
We study the complexity of the decision problem known as Permutation Pattern Matching, or PPM. The input of PPM consists of a pair of permutations $τ$ (the `text') and $π$ (the `pattern'), and the goal is to decide whether $τ$ contains $π$ as a subpermutation. On general inputs, PPM is known to be NP-complete by a result of Bose, Buss and Lubiw. In this paper, we focus on restricted instances of PPM where the text is assumed to avoid a fixed (small) pattern $σ$; this restriction is known as Av($σ$)-PPM. It has been previously shown that Av($σ$)-PPM is polynomial for any $σ$ of size at most 3, while it is NP-hard for any $σ$ containing a monotone subsequence of length four.
In this paper, we present a new hardness reduction which allows us to show, in a uniform way, that Av($σ$)-PPM is hard for every $σ$ of size at least 6, for every $σ$ of size 5 except the symmetry class of $41352$, as well as for every $σ$ symmetric to one of the three permutations $4321$, $4312$ and $4231$. Moreover, assuming the exponential time hypothesis, none of these hard cases of Av($σ$)-PPM can be solved in time $2^{o(n/\log n)}$. Previously, such conditional lower bound was not known even for the unconstrained PPM problem.
On the tractability side, we combine the CSP approach of Guillemot and Marx with the structural results of Huczynska and Vatter to show that for any monotone-griddable permutation class C, PPM is polynomial when the text is restricted to a permutation from C.
Covering Symmetric Sets of the Boolean Cube by Affine Hyperplanes
Published in The Electronic Journal of Combinatorics, 29(2), 2022
• View Publication
• BIB
Alon and Füredi (European J. Combin., 1993) proved that any family of hyperplanes that covers every point of the Boolean cube $\{0,1\}^n$ except one must contain at least $n$ hyperplanes. We obtain two extensions of this result, in characteristic zero, for hyperplane covers of symmetric sets of the Boolean cube (subsets that are closed under permutations of coordinates), as well as for `polynomial covers' of `weight-determined' sets of `strictly unimodal uniform' (SU$^2$) grids.
As a main tool for solving our problems, we give a combinatorial characterization of (finite-degree) Zariski (Z-) closures of symmetric sets of the Boolean cube -- the Z-closure of a symmetric set is symmetric. In fact, we obtain a characterization that concerns, more generally, weight-determined sets of SU$^2$ grids. However, in this generality, our characterization is not of the Z-closures -- unlike over the Boolean cube, the Z-closure of a weight-determined set need not be weight-determined. We introduce a new closure operator exclusively for weight-determined sets -- the `(finite-degree) Z*-closure' -- defined to be the maximal weight-determined set in the Z-closure. (This coincides with the Z-closure over the Boolean cube, for symmetric sets.) We obtain a combinatorial characterization of the finite-degree Z*-closures of weight-determined sets of an SU$^2$ grid. This characterization may also be of independent interest. Indeed, as further applications, we (i) give an alternate proof of a lemma by Alon et al. (IEEE Trans. Inform. Theory, 1988), and (ii) characterize the `certifying degrees' of weight-determined sets.
Over the Boolean cube, our above characterization can also be derived using a result of Bernasconi and Egidi (Inf. Comput., 1999). However, our proof is independent of this result, works for all SU$^2$ grids, and could be regarded as being more combinatorial.
On intersection density of transitive groups of degree a product of two odd primes
Published in Finite Fields and Their Applications, Volume 78, 2022
• View Publication
• BIB
Two elements $g$ and $h$ of a permutation group $G$ acting on a set $V$ are said to be intersecting if $g(v) = h(v)$ for some $v \in V$. More generally, a subset ${\cal F}$ of $G$ is an intersecting set if every pair of elements of ${\cal F}$ is intersecting. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|{\cal F}|/|G_v|$ where $G_v$ is a stabilizer of $v\in V$ and ${\cal F}$ runs over all intersecting sets in $G$. Intersection densities of transitive groups of degree $pq$, where $p>q$ are odd primes, is considered. In particular, the conjecture that the intersection density of every such group is equal to $1$ (posed in [ J.~Combin. Theory, Ser. A 180 (2021), 105390]) is disproved by constructing a family of imprimitive permutation groups of degree $pq$ (with blocks of size $q$), where $p=(q^k-1)/(q-1)$, whose intersection density is equal to $q$. The construction depends heavily on certain equidistant cyclic codes $[p,k]_q$ over the field $\mathbb{F}_q$ whose codewords have Hamming weight strictly smaller than $p$.
Random Permutations -- A geometric point of view
We look at geometric limits of large random non-uniform permutations. We mainly consider two theories for limits of permutations: permuton limits, introduced by Hoppen, Kohayakawa, Moreira, Rath, and Sampaio to define a notion of scaling limits for permutations; and Benjamini-Schramm limits, introduced by the author to define a notion of local limits for permutations. The models of random permutations that we consider are mainly constrained models, that is, uniform permutations belonging to a given subset of the set of all permutations. We often identify this subset using pattern-avoidance, focusing on: permutations avoiding a pattern of length three, substitution-closed classes, (almost) square permutations, permutation families encoded by generating trees, and Baxter permutations. We explore some universal phenomena for the models mentioned above. For Benjamini-Schramm limits we explore a concentration phenomenon for the limiting objects. For permuton limits we deepen the study of some known universal permutons, called biased Brownian separable permutons, and we introduce some new ones, called Baxter permuton and skew Brownian permutons. In addition, for (almost) square permutations, we investigate the occurrence of a phase transition for the limiting permutons. On the way, we establish various combinatorial results both for permutations and other related objects. Among others, we give a complete description of the feasible region for consecutive patterns as the cycle polytope of a specific graph; and we find new bijections relating Baxter permutations, bipolar orientations, walks in cones, and a new family of discrete objects called coalescent-walk processes.
On the infiniteness of a family of APN functions
Published
• View Publication
• BIB
APN functions play a fundamental role in cryptography against attacks on block ciphers. Several families of quadratic APN functions have been proposed in the recent years, whose construction relies on the existence of specific families of polynomials. A key question connected with such constructions is to determine whether such APN functions exist for infinitely many dimensions or not.
In this paper we consider a family of functions recently introduced by Li et al. in 2021 showing that for any dimension $m\geq 3$ there exists an APN function belonging to such a family.
Our main result is proved by a combination of different techniques arising from both algebraic varieties over finite fields connected with linearized permutation rational functions and {partial vector space partitions}, together with investigations on the kernels of linearized polynomials.
A Generalization of Deodhar's Framework for Questions in Kazhdan-Lusztig Theory
We make progress on a question of Skandera by showing that a product of Kazhdan-Lusztig basis elements indexed by maximal elements of parabolic subgroups admits a Kazhdan-Lusztig basis element as a quotient arising from operations in the Schur algebroid if and only if the sequence of parabolic subgroups satisfy both a rigidity condition and a combinatorial criterion. For Weyl groups, the rigidity condition specializes to a necessary condition for smallness of Gelfand-MacPherson resolutions. For Schubert varieties indexed by 4231-avoiding permutations, we derive a stronger necessary condition that, up to an appropriate equivalence, is satisfied by at most one Gelfand-MacPherson resolution, and exactly one if and only if 45312 is also avoided. Moreover, we apply the combinatorial criterion to prove the (essentially unique) resolution is small when 34512 and 45123 are likewise avoided.
We develop the combinatorial criterion as part of a generalization of Deodhar's combinatorial setting for questions in Kazhdan-Lusztig theory, which in the case of Weyl groups we show captures the Byałynicki-Birula decompositions of Gelfand-MacPherson resolutions. In particular, we obtain new combinatorial interpretations of Kazhdan-Lusztig polynomials, new algorithms for computing them, and in the case of Weyl groups, an equivalence of the existence of small Gelfand-MacPherson resolutions with that of certain factorizations and generating-function interpretations of the Poincaré polynomial of intersection cohomology of the Schubert variety.
Families of Association Schemes on Triples from Two-Transitive Groups
Published
• View Publication
• BIB
Association schemes on triples (ASTs) are ternary analogues of classical association schemes. Analogous to Schurian association schemes, ASTs arise from the actions of two-transitive groups. In this paper, we obtain the sizes and third valencies of the ASTs obtained from the two-transitive permutation groups by determining the orbits of the groups' two-point stabilizers. Specifically, we obtain these parameters for the ASTs obtained from the actions of $S_n$ and $A_n$, $PGU(3,q)$, $PSU(3,q)$, and $Sp(2k,2)$, $Sz(2^{2k+1})$ and $Ree(3^{2k+1})$, some subgroups of $AΓL(k,n)$, some subgroups of $PΓL(k,n)$, and the sporadic two-transitive groups. Further, we obtain the intersection numbers for the ASTs obtained from these subgroups of $PΓL(k,n)$ and $A ΓL(k,n)$, and the sporadic two-transitive groups. In particular, the ASTs from these projective and sporadic groups are commutative.
Computing Permanents on a Trellis
The problem of computing the permanent of a matrix has attracted interest since the work of Ryser(1963) and Valiant(1979). On the other hand, trellises were extensively studied in coding theory since the 1960s. In this work, we establish a connection between the two domains. We introduce the canonical trellis $T_n$ that represents all permutations, and show that the permanent of a $n$ by $n$ matrix $A$ can be computed as a flow on this trellis. Under certain normalization, the trellis-based method invokes slightly less operations than best known exact methods. Moreover, if $A$ has structure, then $T_n$ becomes amenable to vertex merging, thereby significantly reducing its complexity.
- Repeated rows: Suppose $A$ has only $t<n$ distinct rows. The best known method to compute $per(A)$, due to Clifford and Clifford (2020), has complexity $O(n^{t+1})$. Merging vertices in $T_n$, we obtain a reduced trellis that has complexity $O(n^t)$.
- Order statistics: Using trellises, we compute the joint distribution of $t$ order statistics of $n$ independent, but not identically distributed, random variables in time $O(n^{t+1})$. Previously, polynomial-time methods were known only when the variables are drawn from two non-identical distributions.
- Sparse matrices: Suppose each entry in $A$ is nonzero with probability $d/n$ with $d$ is constant. We show that $T_n$ can be pruned to exponentially fewer vertices, resulting in complexity $O(φ^n)$ with $φ<2$.
- TSP: Intersecting $T_n$ with another trellis that represents walks, we obtain a trellis that represents circular permutations. Using the latter trellis to solve the traveling salesperson problem recovers the well-known Held-Karp algorithm.
Notably, in all cases, the reduced trellis are obtained using known techniques in trellis theory. We expect other trellis-theoretic results to apply to other structured matrices.
Multiple twins in permutations
By an $r$-tuplet in a permutation we mean a family of $r$ pairwise disjoint subsequences with the same relative order. The length of an $r$-tuplet is defined as the length of any single subsequence in the family. Let $t^{(r)}(n)$ denote the largest $k$ such that every permutation of length $n$ contains an $r$-tuplet of length $k$. We prove that $t^{(r)}(n)=O\left(n^{\frac r{2r-1}}\right)$ and $t^{(r)}(n)=Ω\left( n^{\frac{R}{2R-1}} \right)$, where $R=\binom{2r-1}r$. We conjecture that the upper bound brings the correct order of magnitude of $t^{(r)}(n)$ and support this conjecture by proving that it holds for almost all permutations. Our work generalizes previous studies of the case $r=2$.
The degree of asymmetry of sequences
Published
• View Publication
• BIB
We explore the notion of degree of asymmetry for integer sequences and related combinatorial objects. The degree of asymmetry is a new combinatorial statistic that measures how far an object is from being symmetric. We define this notion for compositions, words, matchings, binary trees and permutations, we find generating functions enumerating these objects with respect to their degree of asymmetry, and we describe the limiting distribution of this statistic in each case.
The algebra of conjugacy classes of the wreath product of a finite group with the symmetric group
Published in Rocky Mountain Journal of Mathematics 53(2) (2023) 561-577
• View Publication
• BIB
For a finite group $G,$ we define the concept of $G$-partial permutation and use it to show that the structure coefficients of the center of the wreath product $G\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer coefficients. Our main tool is a combinatorial algebra which projects onto the center of the group $G\wr \mathcal{S}_n$ algebra for every $n.$ This generalizes the Ivanov and Kerov method to prove the polynomiality property for the structure coefficients of the center of the symmetric group algebra.
Strategy-indifferent games of best choice
Published
• View Publication
• BIB
The game of best choice (or "secretary problem") is a model for making an irrevocable decision among a fixed number of candidate choices that are presented sequentially in random order, one at a time. Because the classically optimal solution is known to reject an initial sequence of candidates, a paradox emerges from the fact that candidates have an incentive to position themselves immediately after this cutoff which challenges the assumption that candidates arrive in uniformly random order.
One way to resolve this is to consider games for which every (reasonable) strategy results in the same probability of success. In this work, we classify these "strategy-indifferent" games of best choice. It turns out that the probability of winning such a game is essentially the reciprocal of the expected number of left-to-right maxima in the full collection of candidate rank orderings. We present some examples of these games based on avoiding permutation patterns of size 3, which involves computing the distribution of left-to-right maxima in each of these pattern classes.