permutation ↗ reference
4849 papers tagged with this keyword
Isomorphic Boolean networks and dense interaction graphs
A Boolean network (BN) with $n$ components is a discrete dynamical system described by the successive iterations of a function $f:\{0,1\}^n\to\{0,1\}^n$. In most applications, the main parameter is the interaction graph of $f$: the digraph with vertex set $\{1,\dots,n\}$ that contains an arc from $j$ to $i$ if $f_i$ depends on input $j$. What can be said on the set $\mathcal{G}(f)$ of the interaction graphs of the BNs $h$ isomorphic to $f$, that is, such that $h\circ π=π\circ f$ for some permutation $π$ of $\{0,1\}^n$? It seems that this simple question has never been studied. Here, we report some basic facts. First, if $n\geq 5$ and $f$ is neither the identity or constant, then $\mathcal{G}(f)$ is of size at least two and contains the complete digraph on $n$ vertices, with $n^2$ arcs. Second, for any $n\geq 1$, there are $n$-component BNs $f$ such that every digraph in $\mathcal{G}(f)$ has at least $n^2/9$ arcs.
An exact characterization of saturation for permutation matrices
Published in Combinatorial Theory, 3(1) (2023)
• View Publication
• BIB
A 0-1 matrix $M$ contains a 0-1 matrix pattern $P$ if we can obtain $P$ from $M$ by deleting rows and/or columns and turning arbitrary 1-entries into 0s. The saturation function $\mathrm{sat}(P,n)$ for a 0-1 matrix pattern $P$ indicates the minimum number of 1s in an $n \times n$ 0-1 matrix that does not contain $P$, but changing any 0-entry into a 1-entry creates an occurrence of $P$. Fulek and Keszegh recently showed that each pattern has a saturation function either in $O(1)$ or in $Θ(n)$. We fully classify the saturation functions of permutation matrices.
Classes of intersection digraphs with good algorithmic properties
Published
• View Publication
• BIB
An intersection digraph is a digraph where every vertex $v$ is represented by an ordered pair $(S_v, T_v)$ of sets such that there is an edge from $v$ to $w$ if and only if $S_v$ and $T_w$ intersect. An intersection digraph is reflexive if $S_v\cap T_v\neq \emptyset$ for every vertex $v$. Compared to well-known undirected intersection graphs like interval graphs and permutation graphs, not many algorithmic applications on intersection digraphs have been developed. Motivated by the successful story on algorithmic applications of intersection graphs using a graph width parameter called mim-width, we introduce its directed analogue called `bi-mim-width' and prove that various classes of reflexive intersection digraphs have bounded bi-mim-width. In particular, we show that as a natural extension of $H$-graphs, reflexive $H$-digraphs have linear bi-mim-width at most $12|E(H)|$, which extends a bound on the linear mim-width of $H$-graphs [On the Tractability of Optimization Problems on $H$-Graphs. Algorithmica 2020]. For applications, we introduce a novel framework of directed versions of locally checkable problems, that streamlines the definitions and the study of many problems in the literature and facilitates their common algorithmic treatment. We obtain unified polynomial-time algorithms for these problems on digraphs of bounded bi-mim-width, when a branch decomposition is given. Locally checkable problems include Kernel, Dominating Set, and Directed $H$-Homomorphism.
Schubert Products for Permutations with Separated Descents
Published in International Mathematics Research Notices, 2022; rnac299
• View Publication
• BIB
We say that two permutations $π$ and $ρ$ have separated descents at position $k$ if $π$ has no descents before position $k$ and $ρ$ has no descents after position $k$. We give a counting formula, in terms of reduced word tableaux, for computing the structure constants of products of Schubert polynomials indexed by permutations with separated descents, and recognize that these structure constants are certain Edelman-Greene coefficients. Our approach uses generalizations of Schützenberger's jeu de taquin algorithm and the Edelman-Greene correspondence via bumpless pipe dreams.
Word-representability of split graphs generated by morphisms
Published
• View Publication
• BIB
A graph $G=(V,E)$ is word-representable if and only if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$, $x\neq y$, alternate in $w$ if and only if $xy\in E$. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. There is a long line of research on word-representable graphs in the literature, and recently, word-representability of split graphs has attracted interest.
In this paper, we first give a characterization of word-representable split graphs in terms of permutations of columns of the adjacency matrices. Then, we focus on the study of word-representability of split graphs obtained by iterations of a morphism, the notion coming from combinatorics on words. We prove a number of general theorems and provide a complete classification in the case of morphisms defined by $2\times 2$ matrices.
Toppling on permutations with an extra chip
Published in Electronic Journal of Combinatorics, Vol 28 no. 4, (2021), P4.18
• View Publication
• BIB
The study of toppling on permutations with an extra labeled chip was initiated by the first author with D. Hathcock and P. Tetali (arXiv:2010.11236), where the extra chip was added in the middle. We extend this to all possible locations $p$ as well as values $r$ of the extra chip and give a complete characterization of permutations which topple to the identity. Further, we classify all permutations which are outcomes of the toppling process in this generality, which we call resultant permutations. Resultant permutations turn out to be certain decomposable permutations. The number of configurations toppling to a given resultant permutation is shown to depend purely on the number of left-to-right maxima (or records) of the permutation to the left of $n-p$ and the number of right-to-left minima to the right of $n-p$. The number of permutations toppling to a given resultant permutation (identity or otherwise) is shown to be the binomial transform of a poly-Bernoulli number of type B.
$q{\rm RS}t$: A probabilistic Robinson--Schensted correspondence for Macdonald polynomials (extended abstract)
We present a probabilistic generalization of the Robinson--Schensted correspondence in which a permutation maps to several different pairs of standard Young tableaux with nonzero probability. The probabilities depend on two parameters $q$ and $t$, and the correspondence gives a new proof of the squarefree part of the Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$ in various ways, one recovers both the row and column insertion versions of the Robinson--Schensted correspondence, as well as several $q$- and $t$-deformations of row and column insertion which have been introduced in recent years in connection with integrable probability.
Pattern-restricted permutations composed of 3-cycles
Published
• View Publication
• BIB
In this paper, we characterize and enumerate pattern-avoiding permutations composed of only 3-cycles. In particular, we answer the question for the six patterns of length 3. We find that the number of permutations composed of $n$ 3-cycles that avoid the pattern 231 (equivalently 312) is given by $3^{n-1}$, while the generating function for the number of those that avoid the pattern 132 (equivalently 213) is given by a formula involving the generating functions for the well-known Motzkin numbers and Catalan numbers. The number of permutations composed of $n$ 3-cycles that avoid the pattern 321 is characterized by a weighted sum involving statistics on Dyck paths of semilength~$n$.
Sampling Permutations for Shapley Value Estimation
Game-theoretic attribution techniques based on Shapley values are used to interpret black-box machine learning models, but their exact calculation is generally NP-hard, requiring approximation methods for non-trivial models. As the computation of Shapley values can be expressed as a summation over a set of permutations, a common approach is to sample a subset of these permutations for approximation. Unfortunately, standard Monte Carlo sampling methods can exhibit slow convergence, and more sophisticated quasi-Monte Carlo methods have not yet been applied to the space of permutations. To address this, we investigate new approaches based on two classes of approximation methods and compare them empirically. First, we demonstrate quadrature techniques in a RKHS containing functions of permutations, using the Mallows kernel in combination with kernel herding and sequential Bayesian quadrature. The RKHS perspective also leads to quasi-Monte Carlo type error bounds, with a tractable discrepancy measure defined on permutations. Second, we exploit connections between the hypersphere $\mathbb{S}^{d-2}$ and permutations to create practical algorithms for generating permutation samples with good properties. Experiments show the above techniques provide significant improvements for Shapley value estimates over existing methods, converging to a smaller RMSE in the same number of model evaluations.
Cycle type of random permutations: A toolkit
Published in Discrete Analysis 2022:9, 36 pp
• View Publication
• BIB
We prove a number of results, new and old, about the cycle type of a random permutation on S_n. Underlying our analysis is the idea that the number of cycles of size k is roughly Poisson distributed with parameter 1/k. In particular, we establish strong results about the distribution of the number of cycles whose lengths lie in a fixed but arbitrary set I. Our techniques are motivated by the theory of sieves in number theory.
The linear programming relaxation permutation symmetry group of an orthogonal array defining integer linear program
Published in LMS Journal of Computation and Mathematics, 19, (2016), 206-216
• View Publication
• BIB
There is always a natural embedding of $S_s\wr S_k$ into the linear programming (LP) relaxation permutation symmetry group of an orthogonal array integer linear programming (ILP) formulation with equality constraints.
The point of this paper is to prove that in the $2$ level, strength $1$ case the LP relaxation permutation symmetry group of this formulation is isomorphic to $S_2\wr S_k$ for all $k$, and in the $2$ level, strength $2$ case it is isomorphic to $S_2^k\rtimes S_{k+1}$ for $k\geq 4$. The strength $2$ result reveals previously unknown permutation symmetries that can not be captured by the natural embedding of $S_2\wr S_k$. We also conjecture a complete characterization of the LP relaxation permutation symmetry group of the ILP formulation.
Finding the symmetry group of an LP with equality constraints and its application to classifying orthogonal arrays
Published in Discrete Optimization 32 (2019) 93-119
• View Publication
• BIB
For a given linear program (LP) a permutation of its variables that sends feasible points to feasible points and preserves the objective function value of each of its feasible points is a symmetry of the LP. The set of all symmetries of an LP, denoted by $G^{\rm LP}$, is the symmetry group of the LP. Margot [F. Margot, 50 Years of Integer Programming 1958-2008 (2010), 647-686] described a method for computing a subgroup of the symmetry group $G^{\rm LP}$ of an LP. This method computes $G^{\rm LP}$ when the LP has only non-redundant inequalities and its feasible set satisfies no equality constraints. However, when the feasible set of the LP satisfies equality constraints this method finds only a subgroup of $G^{\rm LP}$ and can miss symmetries. We develop a method for finding the symmetry group of a feasible LP whose feasible set satisfies equality constraints. We apply this method to find and exploit the previously unexploited symmetries of an orthogonal array defining integer linear program (ILP) within the branch-and-bound (B\&B) with isomorphism pruning algorithm [F. Margot, Symmetric ILP: Coloring and small integers, Discrete Optimization 4 (1) (2007), 40-62]. Our method reduced the running time for finding all OD-equivalence classes of OA$(160,8,2,4)$ and OA$(176,8,2,4)$ by factors of $1/(2.16)$ and $1/(1.36)$ compared to the fastest known method [D. A. Bulutoglu and K. J. Ryan, Integer programming for classifying orthogonal arrays, Australasian Journal of Combinatorics 70 (3) (2018), 362-385]. These were the two bottleneck cases that could not have been solved until the B\&B with isomorphism pruning algorithm was applied.
Diagonally Embedded Sets of ${\rm Trop}^+G(2,n)$'s in ${\rm Trop}\, G(2,n)$: Is There a Critical Value of $n$?
The tropical Grassmannian ${\rm Trop}\, G(2,n)$ is known to be the moduli space of unrooted metric trees with $n$ leaves. A positive part can be defined for each of the $(n-1)!/2$ possible planar orderings, $α$, and agrees with the corresponding planar trees in the moduli space, ${\rm Trop}^αG(2,n)$. Motivated by a physical application we study the way ${\rm Trop}^αG(2,n)$ and ${\rm Trop}^βG(2,n)$ intersect in ${\rm Trop}\, G(2,n)$. We define their intersection number as the number of unrooted binary trees that belong to both and construct a $(n-1)!/2\times (n-1)!/2$ intersection matrix. We are interested in finding the diagonal (up to permutations of rows and columns) submatrices of maximum possible rank for a given $n$. We prove that such diagonal matrices cannot have rank larger than $(n-3)!$ using the CHY formalism. We also prove that the bound is saturated for $n=5$ (the condition is trivial for $n=4$), that for $n=6$ the maximum rank is $4$, and that for $n=7$ the maximum rank is $\geq 14$. We also ask the following question: Is there a value $n_{\rm c}$ so that for any $n>n_{\rm c}$ the bound $(n-3)!$ is always saturated? We review and extend two relevant results in the literature. The first is the Kawai-Lewellen-Tye (KLT) choice of sets which leads to a $(n-3)!\times (n-3)!$ block diagonal submatrix with blocks of size $d\times d$ with $d = \lceil (n-3)/2\rceil !\lfloor (n-3)/2\rfloor !$. The second result is that the number of ${\rm Trop}^αG(2,n)$'s that intersect a given one grows as $\exp(n\log (3+\sqrt{8}))$ for large $n$ which implies that the density of the intersection matrix goes as $\exp(-n(\log(n)-2.76))$. We interpret this as an indication that the generic behavior is not seen until $n \approx \exp (2.76)$, i.e. $n = 16$. We also find an exact formula for the number of zeros in a KLT block.
A Sufficient Condition for a Quandle to be Latin
Published
• View Publication
• BIB
A quandle is an algebraic structure satisfying three axioms: idempotency, right-invertibility and right self-distributivity. In quandles, right translations are permutations. The profile of a quandle is the list of cycle structures, one per right translation in the quandle. In this note we prove that if, for each cycle structure in the profile of a quandle, no two cycle lengths are equal, then the quandle is latin -- this is the sufficient condition mentioned in the title.
Alternating Eulerian polynomials and left peak polynomials
Published
• View Publication
• BIB
In this paper we present grammatical interpretations of the alternating Eulerian polynomials of types A and B. As applications, we derive several properties of the type B alternating Eulerian polynomials, including combinatorial expansions, recurrence relations and generating functions. We establish an interesting connection between alternating Eulerian polynomials of type B and left peak polynomials of permutations in the symmetric group, which implies that the type B alternating Eulerian polynomials have gamma-vectors alternate in sign.
Linear-sized independent sets in random cographs and increasing subsequences in separable permutations
Published
• View Publication
• BIB
This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations.
First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit.
Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.
Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial
Published
• View Publication
• BIB
There are many different algebraic, geometric and combinatorial objects that one can attach to a complex polynomial with distinct roots. In this article we introduce a new object that encodes many of the existing objects that have previously appeared in the literature. Concretely, for every complex polynomial $p$ with $d$ distinct roots and degree at least 2, we produce a canonical compact planar 2-complex that is a compact metric version of a tiled phase diagram. It has a locally CAT(0) metric that is locally Euclidean away from a finite set of interior points indexed by the critical points of $p$, and each of its 2-cells is a metric rectangle. From this planar rectangular 2-complex one can use metric graphs known as metric cacti and metric banyans to read off several pieces of combinatorial data: a chain in the partition lattice, a cyclic factorization of a d-cycle, a real noncrossing partition (also known as a primitive d-major), and the monodromy permutations for the polynomial. This article is the first in a series.
Positroid Catalan numbers
Published
• View Publication
• BIB
Given a permutation $f$, we study the positroid Catalan number $C_f$ defined to be the torus-equivariant Euler characteristic of the associated open positroid variety. We introduce a class of repetition-free permutations and show that the corresponding positroid Catalan numbers count Dyck paths avoiding a convex subset of the rectangle. We show that any convex subset appears in this way. Conjecturally, the associated $q,t$-polynomials coincide with the generalized $q,t$-Catalan numbers that recently appeared in relation to the shuffle conjecture, flag Hilbert schemes, and Khovanov-Rozansky homology of Coxeter links.
Intersection density of transitive groups of certain degrees
Published in Algebraic Combinatorics, Volume 5 (2022) no. 2, pp. 289-297
• 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 ${\cal F}$ runs over all intersecting sets in $G$ and $G_v$ is a stabilizer of $v\in V$. In this paper the intersection density of transitive groups of degree twice a prime is determined, and proved to be either $1$ or $2$. In addition, it is proved that the intersection density of transitive groups of prime power degree is $1$.
Peaks are preserved under run-sorting
Published in ECA 2:1 (2022) Article S2R2, http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A2.pdf
• View Publication
• BIB
We study a sorting procedure (run-sorting) on permutations, where runs are rearranged in lexicographic order. We describe a rather surprising bijection on permutations on length $n$, with the property that it sends the set of peak-values to the set of peak-values after run-sorting. We also prove that the expected number of descents in a permutation $σ\in S_{n}$ after run-sorting is equal to $(n-2)/3$. Moreover, we provide a closed form of the exponential generating function introduced by Nabawanda, Rakotondrajao and Bamunoba in 2020, for the number of run-sorted permutations of $[n]$, ($RSP(n)$) having $k$ runs, which gives a new interpretation to the sequence A124324 in the Online Encyclopedia of Integer Sequences. We show that the descent generating polynomials, $A_{n}(t)$ for $RSP(n)$ are real rooted, and satisfy an interlacing property similar to that satisfied by the Eulerian polynomials.
Finally, we study run-sorted binary words and compute the expected number of descents after run-sorting a binary word of length $n$.