permutation ↗ reference
4849 papers tagged with this keyword
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
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.
Consecutive patterns in circular permutations
In their study of cyclic pattern containment, Domagalski et al. conjecture differential equations for the generating functions of circular permutations avoiding consecutive patterns of length 3. In this note, we prove and significantly generalize these conjectures. We show that, for every consecutive pattern $σ$ beginning with 1, the bivariate generating function counting occurrences of $σ$ in circular permutations can be obtained from the generating function counting occurrences of $σ$ in (linear) permutations. This includes all the patterns for which the latter generating function is known.
Letter graphs and geometric grid classes of permutations
Published
• View Publication
• BIB
We uncover a connection between two seemingly unrelated notions: lettericity, from structural graph theory, and geometric griddability, from the world of permutation patterns. Both of these notions capture important structural properties of their respective classes of objects. We prove that these notions are equivalent in the sense that a permutation class is geometrically griddable if and only if the corresponding class of inversion graphs has bounded lettericity.
On Arithmetically Progressed Suffix Arrays and related Burrows-Wheeler Transforms
Published
• View Publication
• BIB
We characterize those strings whose suffix arrays are based on arithmetic progressions, in particular, arithmetically progressed permutations where all pairs of successive entries of the permutation have the same difference modulo the respective string length. We show that an arithmetically progressed permutation $P$ coincides with the suffix array of a unary, binary, or ternary string. We further analyze the conditions of a given $P$ under which we can find a uniquely defined string over either a binary or ternary alphabet having $P$ as its suffix array. For the binary case, we show its connection to lower Christoffel words, balanced words, and Fibonacci words. In addition to solving the arithmetically progressed suffix array problem, we give the shape of the Burrows-Wheeler transform of those strings solving this problem. These results give rise to numerous future research directions.
A Class of Simple Rearrangements of the Alternating Harmonic Series
Published in "A class of simple rearrangements of the alternating harmonic series." Amer. Math. Monthly 125 (2018), no. 3, 245-256
• View Publication
• BIB
We present an easily defined countable family of permutations of the natural numbers for which explicit rearrangements (i.e., the sums induced by the permutations) can be computed. The digamma function proves to be the key tool for the computations found here for the alternating harmonic series. The permutations $φ$ under consideration are simple in a sense: they are involutions ($φ\circφ$ is the identity function). We show that the countable set of rearrangements obtained from the simple involutions considered below are dense in the reals.
Permutation module decomposition of the second cohomology of a regular semisimple Hessenberg variety
Published
• View Publication
• BIB
Regular semisimple Hessenberg varieties admit actions of associated Weyl groups on their cohomology space of each degree. In this paper, we consider the module structure of the cohomology spaces of regular semisimple Hessenberg varieties of type $A$. We define a subset of the Bialynicki-Birula basis of the cohomology space so that they become a module generator set of the cohomology module of each degree. We then use those generators to construct permutation submodules of the degree two cohomology module and show that they form a permutation module decomposition. Our construction is consistent with a known combinatorial result by Chow on chromatic quasisymmetric functions.
Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment
Published
• View Publication
• BIB
We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.
Eulerian polynomials, Stirling permutations and increasing trees
We study two generalizations of the gamma-expansion of Eulerian polynomials from the viewpoint of the decompositions of statistics. We first present an expansion formula of the trivariate Eulerian polynomials, which are the enumerators for the joint distribution of descents, big ascents and successions of permutations. And then, inspired by the work of Chen and Fu on the trivariate second-order Eulerian polynomials, we show the e-positivity of the multivariate k-th order Eulerian polynomials, which are the enumerators for the joint distribution of ascents, descents and j-plateaux of k-Stirling permutations. We provide combinatorial interpretations for the coefficients of these two expansions in terms of increasing trees.