arXiv++ Combinatorics

Browse math.CO papers from arXiv

permutation ↗ reference

4945 papers tagged with this keyword
2014-02-14
On the distribution of some Euler-Mahonian statistics
Published • View Publication • BIB
We give a direct combinatorial proof of the equidistribution of two pairs of permutation statistics, (des, aid) and (lec, inv), which have been previously shown to have the same joint distribution as (exc, maj), the major index and the number of excedances of a permutation. Moreover, the triple (pix, lec, inv) was shown to have the same distribution as (fix, exc, maj), where fix is the number of fixed points of a permutation. We define a new statistic aix so that our bijection maps (pix, lec, inv) to (aix, des, aid). We also find an Eulerian partner das for a Mahonian statistic mix defined using mesh patterns, so that (das, mix) is equidistributed with (des, inv).
2014-02-13
Some relational structures with polynomial growth and their associated algebras I: Quasi-polynomiality of the profile
Published in Electronic Journal of Combinatorics 20(2) 2013 • View Publication • BIB
The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number $\varphi_R(n)$, possibly infinite, of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra introduced by P. J. Cameron. In this paper we give a closer look at this association, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompass well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials. We prove that $\varphi_R$ is eventually a quasi-polynomial, this supporting the conjecture that, under mild assumptions on $R$, $\varphi_R$ is eventually a quasi-polynomial when it is bounded by some polynomial.
2014-02-13
Permutation Patterns in Latin Squares
Published in Australsian Journal of Combinatorics 59 (2014) 218-228 • Search Publication
In this paper we study pattern avoidance in Latin Squares, which gives us a two dimensional analogue of the well studied notion of pattern avoidance in permutations. Our main results include enumerating and characterizing the Latin Squares which avoid patterns of length three and a generalization of the Erdős-Szekeres theorem. We also discuss equivalence classes among longer patterns, and conclude by describing open questions of interest both in light of pattern avoidance and their potential to reveal information about the structure of Latin Squares. Along the way, we show that classical results need not trivially generalize, and demonstrate techniques that may help answer future questions.
Bell polynomials in combinatorial Hopf algebras
Partial multivariate Bell polynomials have been defined by E.T. Bell in 1934. These polynomials have numerous applications in Combinatorics, Analysis, Algebra, Probabilities, etc. Many of the formulae on Bell polynomials involve combinatorial objects (set partitions, set partitions in lists, permutations, etc.). So it seems natural to investigate analogous formulae in some combinatorial Hopf algebras with bases indexed by these objects. The algebra of symmetric functions is the most famous example of a combinatorial Hopf algebra. In a first time, we show that most of the results on Bell polynomials can be written in terms of symmetric functions and transformations of alphabets. Then, we show that these results are clearer when stated in other Hopf algebras (this means that the combinatorial objects appear explicitly in the formulae). We investigate also the connexion with the Fa{à} di Bruno Hopf algebra and the Lagrange-B{ü}rmann formula.
2014-02-11 v2
Shifted dual equivalence and Schur P-positivity
Published • View Publication • BIB
By considering type B analogs of permutations and tableaux, we extend abstract dual equivalence to type B in two directions. In one direction, we define involutions on signed permutations and shifted tableaux that give a weak dual equivalence, thereby giving another proof of the Schur positivity of Schur Q- and P-functions. In another direction, we define an abstract shifted dual equivalence parallel to dual equivalence and prove that it can be used to establish Schur P-positivity of a function expressed as a sum of shifted fundamental quasisymmetric functions.
Partitioning Perfect Graphs into Stars
Published in Journal of Graph Theory 85(2):297--335 (2017) • View Publication • BIB
The partition of graphs into "nice" subgraphs is a central algorithmic problem with strong ties to matching theory. We study the partitioning of undirected graphs into same-size stars, a problem known to be NP-complete even for the case of stars on three vertices. We perform a thorough computational complexity study of the problem on subclasses of perfect graphs and identify several polynomial-time solvable cases, for example, on interval graphs and bipartite permutation graphs, and also NP-complete cases, for example, on grid graphs and chordal graphs.
2014-02-10
Operators of equivalent sorting power and related Wilf-equivalences
Published • View Publication • BIB
We study sorting operators $\mathbf{A}$ on permutations that are obtained composing Knuth's stack sorting operator $\mathbf{S}$ and the reversal operator $\mathbf{R}$, as many times as desired. For any such operator $\mathbf{A}$, we provide a size-preserving bijection between the set of permutations sorted by $\mathbf{S} \circ \mathbf{A}$ and the set of those sorted by $\mathbf{S} \circ \mathbf{R} \circ \mathbf{A}$, proving that these sets are enumerated by the same sequence, but also that many classical permutation statistics are equidistributed across these two sets. The description of this family of bijections is based on a bijection between the set of permutations avoiding the pattern $231$ and the set of those avoiding $132$ which preserves many permutation statistics. We also present other properties of this bijection, in particular for finding pairs of Wilf-equivalent permutation classes.
Permutation classes and polyomino classes with excluded submatrices
Published • View Publication • BIB
This article introduces an analogue of permutation classes in the context of polyominoes. For both permutation classes and polyomino classes, we present an original way of characterizing them by avoidance constraints (namely, with excluded submatrices) and we discuss how canonical such a description by submatrix-avoidance can be. We provide numerous examples of permutation and polyomino classes which may be defined and studied from the submatrix-avoidance point of view, and conclude with various directions for future research on this topic.
2014-02-07 v3
New LDPC Codes Using Permutation Matrices with Higher Girth than QC-LDPC Codes Constructed by Fossorier
In the literatures, it is well-known that Fossorier code has the girth among LDPC codes. In this paper, we introduce a new class of low-density parity-check (LDPC) codes, with higher girth than other previous constructed codes. Especially we proposed a new method to construct LDPC codes using non fixed shift permutation matrices and full based matrices with higher girth than codes constructed by Fossorier.
2014-02-05
On robustly asymmetric graphs
O'Donnell, Wright, Wu and Zhou [SODA 2014] introduced the notion of robustly asymmetric graphs. Roughly speaking, these are graphs in which for every $0 \le ρ\le 1$, every permutation that permutes a $ρ$ fraction of the vertices maps a $Θ(ρ)$ fraction of the edges to non-edges. We show that there are graphs for which the constant hidden in the $Θ$ notation is roughly~1.
2014-02-04
An Erd{\H o}s-Ko-Rado theorem for permutations with fixed number of cycles
Published • View Publication • BIB
Let $S_{n}$ denote the set of permutations of $[n]=\{1,2,\dots, n\}$. For a positive integer $k$, define $S_{n,k}$ to be the set of all permutations of $[n]$ with exactly $k$ disjoint cycles, i.e., \[ S_{n,k} = \{π\in S_{n}: π= c_{1}c_{2} \cdots c_{k}\},\] where $c_1,c_2,\dots ,c_k$ are disjoint cycles. The size of $S_{n,k}$ is given by $\left [ \begin{matrix}n\\ k \end{matrix}\right]=(-1)^{n-k}s(n,k)$, where $s(n,k)$ is the Stirling number of the first kind. A family $\mathcal{A} \subseteq S_{n,k}$ is said to be $t$-{\em intersecting} if any two elements of $\mathcal{A}$ have at least $t$ common cycles. In this paper, we show that, given any positive integers $k,t$ with $k\geq t+1$, there exists an integer $n_0=n_0(k,t)$, such that for all $n\geq n_0$, if $\mathcal{A} \subseteq S_{n,k}$ is $t$-intersecting, then \[ |\mathcal{A}| \le \left [ \begin{matrix}n-t\\ k-t \end{matrix}\right],\] with equality if and only if $\mathcal{A}$ is the stabiliser of $t$ fixed points.
2014-02-02 v2
Signed arc permutations
Published • View Publication • BIB
Arc permutations, which were originally introduced in the study of triangulations and characters, have recently been shown to have interesting combinatorial properties. The first part of this paper continues their study by providing signed enumeration formulas with respect to their descent set and major index. Next, we generalize the notion of arc permutations to the hyperoctahedral group in two different directions. We show that these extensions to type $B$ carry interesting analogues of the properties of type $A$ arc permutations, such as characterizations by pattern avoidance, and elegant unsigned and signed enumeration formulas with respect to the flag-major index.
2014-02-01
On the Longest Common Pattern Contained in Two or More Random Permutations
Published • View Publication • BIB
We provide upper and lower bounds for the expected length $\mathbb E(L_{n,m})$ of the longest common pattern contained in $m$ random permutations of length $n$. We also address the tightness of the concentration of $L_{n,m}$ around $\mathbb E(L_{n,m})$.
2014-01-29 v3
Cyclopermutohedron
Published • View Publication • BIB
It is known that the $k$-faces of the permutohedron $Π_n$ are labeled by (all possible) linearly ordered partitions of the set $[n]=\{1,...,n\}$ into $(n-k)$ non-empty parts. The incidence relation corresponds to the refinement: a face $F$ contains a face $F'$ whenever the label of $F'$ refines the label of $F$. In the paper we consider the cell complex ${CP}$ defined in analogous way, replacing linear ordering by cyclic ordering. Namely, $k$-cells of the complex ${CP}$ are labeled by (all possible) cyclically ordered partitions of the set $[n+1]=\{1,...,n, n+1\}$ into $(n+1-k)$ non-empty parts, where $(n+1-k)>2$. The incidence relation again corresponds to the refinement: a cell $F$ contains a cell $F'$ whenever the label of $F'$ refines the label of $F$. In particular, two vertices are joined by an edge whenever their labels differ on a permutation of two neighbor elements. The complex ${CP}$ cannot be represented by a convex polytope, since it is not a combinatorial sphere (not even a combinatorial manifold). However, it can be represented by some \textit{virtual polytope} (Minkowski difference of two convex polytopes) which we call "cyclopermutohedron" $\mathcal{CP}_{n+1}$. It is defined explicitly, as a weighted Minkowski sum of line segments. Informally, the cyclopermutohedron can be viewed as "permutohedron with diagonals". One of the motivations is that the cyclopermutohedron is a "universal" polytope for moduli spaces of polygonal linkages.
2014-01-26 v2
On giant components and treewidth in the layers model
Published in Random Structures Algorithms 48 (2016), no. 3, 524--545 • View Publication • BIB
Given an undirected $n$-vertex graph $G(V,E)$ and an integer $k$, let $T_k(G)$ denote the random vertex induced subgraph of $G$ generated by ordering $V$ according to a random permutation $π$ and including in $T_k(G)$ those vertices with at most $k-1$ of their neighbors preceding them in this order. The distribution of subgraphs sampled in this manner is called the \emph{layers model with parameter} $k$. The layers model has found applications in studying $\ell$-degenerate subgraphs, the design of algorithms for the maximum independent set problem, and in bootstrap percolation. In the current work we expand the study of structural properties of the layers model. We prove that there are $3$-regular graphs $G$ for which with high probability $T_3(G)$ has a connected component of size $Ω(n)$. Moreover, this connected component has treewidth $Ω(n)$. This lower bound on the treewidth extends to many other random graph models. In contrast, $T_2(G)$ is known to be a forest (hence of treewidth~1), and we establish that if $G$ is of bounded degree then with high probability the largest connected component in $T_2(G)$ is of size $O(\log n)$. We also consider the infinite two-dimensional grid, for which we prove that the first four layers contain a unique infinite connected component with probability $1$.
2014-01-23 v4
Pólya theory for species with an equivariant group action
Published in Australasian Journal of Combinatorics, Volume 63(2) (2015), Pages 202--225 • Search Publication
Joyal's theory of combiantorial species provides a rich and elegant framework for enumerating combinatorial structures by translating structural information into algebraic functional equations. We present some classical and folklore results which interpret the species-theoretic cycle index series in terms of the Pólya theory of the action of the symmetric group on the label set, allowing the enumeration of "partially-labeled" structures and providing an alternate foundation for several proofs. We also extend the theory to incorporate information about "structural" group actions (i.e. those which commute with the label permutation action) on combinatorial species, using the $Γ$-species of Henderson, and present Pólya-theoretic interpretations of the associated formal power series. We define the appropriate operations $+$, $\cdot$, $\circ$, and $\square$ on $Γ$-species, give formulas for the associated operations on $Γ$-cycle indices, and illustrate the use of this theory to study several important examples of combinatorial structures. Finally, we demonstrate the use of the Sage computer algebra system to enumerate $Γ$-species and their quotients.
2014-01-22
On the group of alternating colored permutations
Published • View Publication • BIB
The group of alternating colored permutations is the natural analogue of the classical alternating group, inside the wreath product $\mathbb{Z}_r \wr S_n$. We present a 'Coxeter-like' presentation for this group and compute the length function with respect to that presentation. Then, we present this group as a covering of $\mathbb{Z}_{\frac{r}{2}} \wr S_n$ and use this point of view to give another expression for the length function. We also use this covering to lift several known parameters of $\mathbb{Z}_{\frac{r}{2}} \wr S_n$ to the group of alternating colored permutations.
2014-01-22
Patterns in random permutations avoiding the pattern 132
Published • View Publication • BIB
We consider a random permutation drawn from the set of 132-avoiding permutations of length $n$ and show that the number of occurrences of another pattern $σ$ has a limit distribution, after scaling by $n^{λ(σ)/2}$ where $λ(σ)$ is the length of $σ$ plus the number of descents. The limit is not normal, and can be expressed as a functional of a Brownian excursion. Moments can be found by recursion.
2014-01-22
Three Generalizations of Davenport-Schinzel Sequences
Published • View Publication • BIB
We present new, and mostly sharp, bounds on the maximum length of certain generalizations of Davenport-Schinzel sequences. Among the results are sharp bounds on order-$s$ {\em double DS} sequences, for all $s$, sharp bounds on sequences avoiding {\em catenated permutations} (aka formation free sequences), and new lower bounds on sequences avoiding {\em zig-zagging} patterns.
2014-01-15 v2
On Lattice-Free Orbit Polytopes
Published in Discrete & Computational Geometry, 53 (2015), 144-172 • View Publication • BIB
Given a permutation group acting on coordinates of $\mathbb{R}^n$, we consider lattice-free polytopes that are the convex hull of an orbit of one integral vector. The vertices of such polytopes are called \emph{core points} and they play a key role in a recent approach to exploit symmetry in integer convex optimization problems. Here, naturally the question arises, for which groups the number of core points is finite up to translations by vectors fixed by the group. In this paper we consider transitive permutation groups and prove this type of finiteness for the $2$-homogeneous ones. We provide tools for practical computations of core points and obtain a complete list of representatives for all $2$-homogeneous groups up to degree twelve. For transitive groups that are not $2$-homogeneous we conjecture that there exist infinitely many core points up to translations by the all-ones-vector. We prove our conjecture for two large classes of groups: For imprimitive groups and groups that have an irrational invariant subspace.