permutation ↗ reference
4994 papers tagged with this keyword
Poly-Cauchy numbers -- the combinatorics behind
We introduce poly-Cauchy permutations that are enumerated by the poly-Cauchy numbers. We provide combinatorial proofs for several identities involving poly-Cauchy numbers and some of their generalizations. The aim of this work is to demonstrate the power and beauty of the elementary combinatorial approach.
Characterizing Alternating Sign Triangles
Alternating sign triangles were introduced by Carroll and Speyer in relation to cube recurrence, by analogy to alternating sign matrices for octahedron recurrence. Permutation triangles are the alternating sign triangles whose entries are either 0 or 1, by analogy with permutation matrices. In this paper, we prove a simple characterization of permutation triangles, originally conjectured by Glick. We will also prove some properties of alternating sign triangles.
On a conjecture on APN permutations
Published
• View Publication
• BIB
The single trivariate representation proposed in [C. Beierle, C. Carlet, G. Leander, L. Perrin, A Further Study of Quadratic APN Permutations in Dimension Nine, arXiv:2104.08008] of the two sporadic quadratic APN permutations in dimension 9 found by Beierle and Leander \cite{Beierle} is further investigated. In particular, using tools from algebraic geometry over finite fields, we prove that such a family does not contain any other APN permutation for larger dimensions.
Random generation and scaling limits of fixed genus factorizations into transpositions
We study the asymptotic behaviour of random factorizations of the $n$-cycle into transpositions of fixed genus $g>0$. They have a geometric interpretation as branched covers of the sphere and their enumeration as Hurwitz numbers was extensively studied in algebraic combinatorics and enumerative geometry. On the probabilistic side, several models and properties of permutation factorizations were studied in previous works, in particular minimal factorizations of cycles into transpositions (which corresponds to the case $g=0$ of this work).
Using the representation of factorizations via unicellular maps, we first exhibit an algorithm which samples an asymptotically uniform factorization of genus $g$ in linear time. In a second time, we code a factorization as a process of chords appearing one by one in the unit disk, and we prove the convergence (as $n\to\infty$) of the process associated with a uniform genus $g$ factorization of the $n$-cycle. The limit process can be explicitly constructed from a Brownian excursion. Finally, we establish the convergence of a natural genus process, coding the appearance of the successive genera in the factorization.
Tight multiple twins in permutations
Published
• View Publication
• BIB
Two permutations are similar if they have the same length and the same relative order. A collection of $r\ge2$ disjoint, similar subsequences of a permutation $π$ form $r$-twins in $π$. We study the longest guaranteed length of $r$-twins which are tight in the sense that either each twin alone forms a block or their union does. We address the same question with respect to a random permutation.
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.