permutation ↗ reference
4849 papers tagged with this keyword
Combinatorial Exploration: An algorithmic framework for enumeration
Published
• View Publication
• BIB
Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications.
We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions.
Triangular-Grid Billiards and Plabic Graphs
Published in Combinatorial Theory, 3(1) (2023)
• View Publication
• BIB
Given a polygon $P$ in the triangular grid, we obtain a permutation $π_P$ via a natural billiards system in which beams of light bounce around inside of $P$. The different cycles in $π_P$ correspond to the different trajectories of light beams. We prove that \[\text{area}(P)\geq 6\text{cyc}(P)-6\quad\text{and}\quad\text{perim}(P)\geq\frac{7}{2}\text{cyc}(P)-\frac{3}{2},\] where $\text{area}(P)$ and $\text{perim}(P)$ are the (appropriately normalized) area and perimeter of $P$, respectively, and $\text{cyc}(P)$ is the number of cycles in $π_P$. The inequality concerning $\text{area}(P)$ is tight, and we characterize the polygons $P$ satisfying $\text{area}(P)=6\text{cyc}(P)-6$. These results can be reformulated in the language of Postnikov's plabic graphs as follows. Let $G$ be a connected reduced plabic graph with essential dimension $2$. Suppose $G$ has $n$ marked boundary points and $v$ (internal) vertices, and let $c$ be the number of cycles in the trip permutation of $G$. Then we have \[v\geq 6c-6\quad\text{and}\quad n\geq\frac{7}{2}c-\frac{3}{2}.\]
Codes and Designs in Johnson Graphs From Symplectic Actions on Quadratic Forms
Published
• View Publication
• BIB
The Johnson graph $J(v, k)$ has as vertices the $k$-subsets of $\mathcal{V}=\{1,\ldots, v\}$, and two vertices are joined by an edge if their intersection has size $k-1$. An \emph{$X$-strongly incidence-transitive code} in $J (v, k)$ is a proper vertex subset $Γ$ such that the subgroup $X$ of graph automorphisms leaving $Γ$ invariant is transitive on the set $Γ$ of `codewords', and for each codeword $Δ$, the setwise stabiliser $X_Δ$ is transitive on $Δ\times (\mathcal{V}\setminus Δ)$. We classify the \emph{$X$-strongly incidence-transitive codes} in $J(v,k)$ for which $X$ is the symplectic group $\mathrm{Sp}_{2n}(2)$ acting as a $2$-transitive permutation group of degree $2^{2n-1}\pm 2^{n-1}$, where the stabiliser $X_Δ$ of a codeword $Δ$ is contained in a \emph{geometric} maximal subgroup of $X$. In particular, we construct two new infinite families of strongly incidence-transitive codes associated with the reducible maximal subgroups of $\mathrm{Sp}_{2n}(2)$.
Three-dimensional graph products with unbounded stack-number
Published
• View Publication
• BIB
We prove that the stack-number of the strong product of three $n$-vertex paths is $Θ(n^{1/3})$. The best previously known upper bound was $O(n)$. No non-trivial lower bound was known. This is the first explicit example of a graph family with bounded maximum degree and unbounded stack-number.
The main tool used in our proof of the lower bound is the topological overlap theorem of Gromov. We actually prove a stronger result in terms of so-called triangulations of Cartesian products. We conclude that triangulations of three-dimensional Cartesian products of any sufficiently large connected graphs have large stack-number.
The upper bound is a special case of a more general construction based on families of permutations derived from Hadamard matrices.
The strong product of three paths is also the first example of a bounded degree graph with bounded queue-number and unbounded stack-number. A natural question that follows from our result is to determine the smallest $Δ_0$ such that there exist a graph family with unbounded stack-number, bounded queue-number and maximum degree $Δ_0$. We show that $Δ_0\in \{6,7\}$.
Counting Kernels in Directed Graphs with Arbitrary Orientations
Published
• View Publication
• BIB
A kernel of a directed graph is a subset of vertices that is both independent and absorbing (every vertex not in the kernel has an out-neighbour in the kernel). Not all directed graphs contain kernels, and computing a kernel or deciding that none exist is NP-complete even on low-degree planar digraphs. The existing polynomial-time algorithms for this problem all restrict both the undirected structure and the edge orientations of the input: for example, to chordal graphs without bidirectional edges (Pass-Lanneau, Igarashi and Meunier, Discrete Appl Math 2020) or to permutation graphs where each clique has a sink (Abbas and Saoula, 4OR 2005). By contrast, we count the kernels of a fuzzy circular interval graph in polynomial time, regardless of its edge orientations, and return a kernel when one exists. (Fuzzy circular graphs were introduced by Chudnovsky and Seymour in their structure theorem for claw-free graphs.) We also consider kernels on cographs, where we establish NP-hardness in general but linear running times on the subclass of threshold graphs.
A "power" conjugate equation in the symmetric group
First we consider the solutions of the general "cubic" equation a_{1}x^{r1}a_{2}x^{r2}a_{3}x^{r3}=1
(with r1,r2,r3 in {1,-1}) in the symmetric group S_{n}. In certain cases this equation can be rewritten as aya^{-1}=y^{2} or as aya^{-1}=y^{-2}, where a in S_{n} depends on the a_{i}'s and the new unknown permutation y in S_{n} is a product of x (or x^{-1}) and one of the permutations a_{i}^{1} and a_{i}^{-1}. Using combinatorial arguments and some basic number theoretical facts, we obtain results about the solutions of the so-called power conjugate equation aya^{-1}=y^{e} in S_{n}, where e is an integer exponent. Under certain conditions, the solutions are exactly the solutions of y^{e-1}=1 in the centralizer of a.
Degree 2 Boolean Functions on Grassmann Graphs
Published
• View Publication
• BIB
We investigate the existence of Boolean degree $d$ functions on the Grassmann graph of $k$-spaces in the vector space $\mathbb{F}_q^n$. For $d=1$ several non-existence and classification results are known, and no non-trivial examples are known for $n \geq 5$. This paper focusses on providing a list of examples on the case $d=2$ in general dimension and in particular for $(n, k)=(6,3)$ and $(n,k) = (8, 4)$.
We also discuss connections to the analysis of Boolean functions, regular sets/equitable bipartitions/perfect 2-colorings in graphs, $q$-analogs of designs, and permutation groups. In particular, this represents a natural generalization of Cameron-Liebler line classes.
Castelnuovo-Mumford regularity of ladder determinantal varieties and patches of Grassmannian Schubert varieties
Published
• View Publication
• BIB
We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which appeared in previous joint work of the authors with Y. Ren and A. St. Dizier.
We apply our formulas to compute Castelnuovo-Mumford regularity of classes of generalized determinantal ideals. In particular, we give combinatorial formulas for the regularities of all one-sided mixed ladder determinantal ideals. We also derive formulas for the regularities of certain Kazhdan-Lusztig ideals, including those coming from open patches of Schubert varieties in Grassmannians. This provides a correction to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri (2015).
Path eccentricity of graphs
Let $G$ be a connected graph. The eccentricity of a path $P$, denoted by ecc$_G(P)$, is the maximum distance from $P$ to any vertex in $G$. In the \textsc{Central path} (CP) problem our aim is to find a path of minimum eccentricity. This problem was introduced by Cockayne et al., in 1981, in the study of different centrality measures on graphs. They showed that CP can be solved in linear time in trees, but it is known to be NP-hard in many classes of graphs such as chordal bipartite graphs, planar 3-connected graphs, split graphs, etc.
We investigate the path eccentricity of a connected graph~$G$ as a parameter. Let pe$(G)$ denote the value of ecc$_G(P)$ for a central path $P$ of $G$. We obtain tight upper bounds for pe$(G)$ in some graph classes. We show that pe$(G) \leq 1$ on biconvex graphs and that pe$(G) \leq 2$ on bipartite convex graphs. Moreover, we design algorithms that find such a path in linear time. On the other hand, by investigating the longest paths of a graph, we obtain tight upper bounds for pe$(G)$ on general graphs and $k$-connected graphs.
Finally, we study the relation between a central path and a longest path in a graph. We show that on trees, and bipartite permutation graphs, a longest path is also a central path. Furthermore, for superclasses of these graphs, we exhibit counterexamples for this property.
A group-based structure for perfect sequence covering arrays
Published
• View Publication
• BIB
An $(n,k)$-perfect sequence covering array with multiplicity $λ$, denoted PSCA$(n,k,λ)$, is a multiset whose elements are permutations of the sequence $(1,2, \dots, n)$ and which collectively contain each ordered length $k$ subsequence exactly $λ$ times. The primary objective is to determine for each pair $(n,k)$ the smallest value of $λ$, denoted $g(n,k)$, for which a PSCA$(n,k,λ)$ exists; and more generally, the complete set of values $λ$ for which a PSCA$(n,k,λ)$ exists. Yuster recently determined the first known value of $g(n,k)$ greater than 1, namely $g(5,3)=2$, and suggested that finding other such values would be challenging. We show that $g(6,3)=g(7,3)=2$, using a recursive search method inspired by an old algorithm due to Mathon. We then impose a group-based structure on a perfect sequence covering array by restricting it to be a union of distinct cosets of a prescribed nontrivial subgroup of the symmetric group $S_n$. This allows us to determine the new results that $g(7,4)=2$ and $g(7,5) \in \{2,3,4\}$ and $g(8,3) \in \{2,3\}$ and $g(9,3) \in \{2,3,4\}$. We also show that, for each $(n,k) \in \{ (5,3), (6,3), (7,3), (7,4) \}$, there exists a PSCA$(n,k,λ)$ if and only if $λ\ge 2$; and that there exists a PSCA$(8,3,λ)$ if and only if $λ\ge g(8,3)$.
On Perfect Sequence Covering Arrays
Published in Ann. Comb. 27 (2023) 539-564
• View Publication
• BIB
A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ of the permutations. For $v \geq t \geq 2$, we define $g(v, t)$ to be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We show that $g(6, 3) = g(7, 3) = g(7, 4) = 2$ and $g(8, 3) = 3$. Using suitable permutation representations of groups we make improvements to the upper bounds on $g(v, t)$ for many values of $v \leq 32$ and $3\le t\le 6$. We also prove a number of restrictions on the distribution of symbols among the columns of a PSCA.
Rearrangement Events on Circular Genomes
Published
• View Publication
• BIB
Early literature on genome rearrangement modelling views the problem of computing evolutionary distances as an inherently combinatorial one. In particular, attention was given to estimating distances using the minimum number of events required to transform one genome into another. In hindsight, this approach is analogous to early methods for inferring phylogenetic trees from DNA sequences such as maximum parsimony -- both are motivated by the principle that the true distance minimises evolutionary change, and both are effective if this principle is a true reflection of reality. Recent literature considers genome rearrangement under statistical models, continuing this parallel with DNA-based methods; the goal here is to use model-based methods (for example maximum likelihood techniques) to compute distance estimates that incorporate the large number of rearrangement paths that can transform one genome into another. Crucially, this approach requires one to decide upon a set of feasible rearrangement events and, in this paper, we focus on characterising well-motivated models for signed, uni-chromosomal circular genomes, where the number of regions remains fixed. Since rearrangements are often mathematically described using permutations, we isolate the sets of permutations representing rearrangements that are biologically reasonable in this context, for example inversions and translocations. We provide precise mathematical expressions for these rearrangements, and then describe them in terms of the set of cuts made in the genome when they are applied. We directly compare cuts to breakpoints, and use this concept to count the distinct rearrangement actions which apply a given number of cuts. Finally, we provide some examples of rearrangement models, and include a discussion of some questions that arise when defining plausible models.
The Bruhat Order on Symmetric Groups via Intrinsic Coverings of Compositions
Lehmer's code defines a bijection between the symmetric group and the set of staircase compositions. In this paper, we characterize a poset structure on these compositions that is equivalent to the strong Bruhat order on the symmetric group. This construction is intrinsic and does not require any reference to the associated permutations.
Combinatorial Gray codes-an updated survey
A combinatorial Gray code for a class of objects is a listing that contains each object from the class exactly once such that any two consecutive objects in the list differ only by a `small change'. Such listings are known for many different combinatorial objects, including bitstrings, combinations, permutations, partitions, triangulations, but also for objects defined with respect to a fixed graph, such as spanning trees, perfect matchings or vertex colorings. This survey provides a comprehensive picture of the state-of-the-art of the research on combinatorial Gray codes. In particular, it gives an update on Savage's influential survey [C. D. Savage. A survey of combinatorial Gray codes. SIAM Rev., 39(4):605--629, 1997.], incorporating many more recent developments. We also emphasize the connections to closely related problems in graph theory, algebra, order theory, geometry and algorithms, which embeds this research area into a broader context. Lastly, we collect and propose a number of challenging research problems, thus stimulating new research endeavors.
The shallow permutations are the unlinked permutations
Diaconis and Graham studied a measure of distance from the identity in the symmetric group called total displacement and showed that it is bounded below by the sum of length and reflection length. They asked for a characterization of the permutations where this bound is an equality; we call these the shallow permutations. Cornwell and McNew recently interpreted the cycle diagram of a permutation as a knot diagram and studied the set of permutations for which the corresponding link is an unlink. We show the shallow permutations are precisely the unlinked permutations. As Cornwell and McNew give a generating function counting unlinked permutations, this gives a generating function counting shallow permutations.
On Graphs of Sets of Reduced Words
Published
• View Publication
• BIB
Any permutation in the finite symmetric group can be written as a product of simple transpositions $s_i = (i~i+1)$. For a fixed permutation $σ\in \mathfrak{S}_n$ the products of minimal length are called reduced decompositions or reduced words, and the collection of all such reduced words is denoted $\mathcal{R}(σ)$. Any reduced word of $σ$ can be transformed into any other by a sequence of commutation moves or long braid moves. One area of interest in these sets are the congruence classes defined by using only braid or only commutation relations. The set $\mathcal{R}(σ)$ can be drawn as a graph, $G(σ)$, where the vertices are the reduced words, and the edges denote the presence of a commutation or braid move between the words. This paper presents new work on subgraph structures in $G(σ)$, as well as new formulas to count the number of braid edges and commutation edges in $G(σ)$. We also include work on bounds for the number of braid and commutation classes in $\mathcal{R}(σ)$.
(Hurwitz-)Brill-Noether general marked graphs via the Demazure product
This paper gives a novel and compact proof that a metric graph consisting of a chain of loops of torsion order $0$ is Brill-Noether general (a theorem of Cools-Draisma-Payne-Robeva), and a finite or metric graph consisting of a chain of loops of torsion order $k$ is Hurwitz-Brill-Noether general in the sense of splitting loci (a theorem of Cook-Powell-Jensen). In fact, we prove a generalization to (metric) graphs with two marked points, that behaves well under vertex gluing. The key construction is a way to associate permutations to divisors on twice-marked graphs, simultaneously encoding the ranks of every twist of the divisor by the marked points. Vertex gluing corresponds to the Demazure product, which can be formulated via tropical matrix multiplication.
Vexillary Grothendieck Polynomials via Bumpless Pipe Dreams
Recent work of Pechenik, Speyer, and Weigandt proved a formula for the degree of any Grothendieck polynomial. A distinct formula for the degree of vexillary Grothendieck polynomials was proven by Rajchgot, Robichaux, and Weigandt. We give a new proof of Pechenik, Speyer, and Weigandt's formula in the special case of vexillary permutations and characterize the set of bumpless pipe dreams which contribute maximal degree terms to the Grothendieck polynomial in this case. Furthermore, we use this characterization to draw connections between the Pechenik-Speyer-Weigandt and Rajchgot-Robichaux-Weigandt formulas. We also use bumpless pipe dreams to prove new results about the support of vexillary Grothendieck polynomials, addressing special cases of conjectures of Mészáros, Setiabrata, and St. Dizier.
Cycles in Mallows random permutations
Published
• View Publication
• BIB
We study cycle counts in permutations of $1,\dots,n$ drawn at random according to the Mallows distribution. Under this distribution, each permutation $π\in S_n$ is selected with probability proportional to $q^{\text{inv}(π)}$, where $q>0$ is a parameter and $\text{inv}(π)$ denotes the number of inversions of $π$. For $\ell$ fixed, we study the vector $(C_1(Π_n),\dots,C_\ell(Π_n))$ where $C_i(π)$ denotes the number of cycles of length $i$ in $π$ and $Π_n$ is sampled according to the Mallows distribution.
Here we show that if $0<q<1$ is fixed and $n\to\infty$ then there are positive constants $m_i$ such that each $C_i(Π_n)$ has mean $(1+o(1)) \cdot m_i\cdot n$ and the vector of cycle counts can be suitably rescaled to tend to a joint Gaussian distribution. Our results also show that when $q>1$ there is striking difference between the behaviour of the even and the odd cycles. The even cycle counts still have linear means, and when properly rescaled tend to a multivariate Gaussian distribution. For the odd cycle counts on the other hand, the limiting behaviour depends on the parity of $n$ when $q>1$. Both $(C_1(Π_{2n}),C_3(Π_{2n}),\dots)$ and $(C_1(Π_{2n+1}),C_3(Π_{2n+1}),\dots)$ have discrete limiting distributions -- they do not need to be renormalized -- but the two limiting distributions are distinct for all $q>1$. We describe these limiting distributions in terms of Gnedin and Olshanski's bi-infinite extension of the Mallows model.
We also investigate these limiting distributions, and study the behaviour of the constants involved in the Gaussian limit laws. We for example show that as $q\downarrow 1$ the expected number of 1-cycles tends to $1/2$ -- which, curiously, differs from the value corresponding to $q=1$. In addition we exhibit an interesting "oscillating" behaviour in the limiting probability measures for $q>1$ and $n$ odd versus $n$ even.
Intersection density of transitive groups with cyclic point stabilizers
For a permutation group $G$ acting on a set $V$, a subset $\mathcal{F}$ of $G$ is said to be an intersecting set if for every pair of elements $g,h\in \mathcal{F}$ there exists $v \in V$ such that $g(v) = h(v)$. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|\mathcal{F}|/|G_v|$ where $G_v$ is a stabilizer of a point $v\in V$ and $\mathcal{F}$ runs over all intersecting sets in $G$.
If $G_v$ is a largest intersecting set in $G$ then $G$ is said to have the Erdős-Ko-Rado (EKR)-property. This paper is devoted to the study of transitive permutation groups, with point stabilizers of prime order with a special emphasis given to orders 2 and 3, which do not have the EKR-property. Among other, constructions of infinite family of transitive permutation groups having point stabilizer of order $3$ with intersection density $4/3$ and of infinite families of transitive permutation groups having point stabilizer of order $3$ with arbitrarily large intersection density are given.