permutation ↗ reference
4945 papers tagged with this keyword
Tuple domination on graphs with the consecutive-zeros property
The $k$-tuple domination problem, for a fixed positive integer $k$, is to find a minimum sized vertex subset such that every vertex in the graph is dominated by at least $k$ vertices in this set. The $k$-tuple domination is NP-hard even for chordal graphs. For the class of circular-arc graphs, its complexity remains open for $k\geq 2$. A $0,1$-matrix has the consecutive 0's property (C0P) for columns if there is a permutation of its rows that places the 0's consecutively in every column. Due to A. Tucker, graphs whose augmented adjancency matrix has the C0P for columns are circular-arc. In this work we study the $k$-tuple domination problem on graphs $G$ whose augmented adjacency matrix has the C0P for columns, for $ 2\leq k\leq |U|+3$, where $U$ is the set of universal vertices of $G$. From an algorithmic point of view, this takes linear time.
The lattice permutation condition for Kronecker tableaux (Extended Abstract)
We recently generalised the lattice permutation condition for Young tableaux to Kronecker tableaux and hence calculated a large new class of stable Kronecker coefficients labelled by co-Pieri triples. In this extended abstract we discuss important families of co-Pieri triples for which our combinatorics simplifies drastically.
Distributions of Statistics over Pattern-Avoiding Permutations
Published in Journal of Integer Sequences 22 (2019) 19.2.6
• Search Publication
We consider the distribution of ascents, descents, peaks, valleys, double ascents, and double descents over permutations avoiding a set of patterns. Many of these statistics have already been studied over sets of permutations avoiding a single pattern of length 3. However, the distribution of peaks over 321-avoiding permutations is new and we relate it statistics on Dyck paths. We also obtain new interpretations of a number of well-known combinatorial sequences by studying these statistics over permutations avoiding two patterns of length 3.
On Inverses of Permutation Polynomials of Small Degree over Finite Fields
Published in IEEE Transactions on Information Theory, 66(2):914--922, Feb 2020
• View Publication
• BIB
Permutation polynomials (PPs) and their inverses have applications in cryptography, coding theory and combinatorial design theory. In this paper, we make a brief summary of the inverses of PPs of finite fields, and give the inverses of all PPs of degree $\leq 6$ over finite fields $\mathbb{F}_{q}$ for all $q$ and the inverses of all PPs of degree $7$ over $\mathbb{F}_{2^n}$. The explicit inverse of a class of fifth degree PPs is the main result, which is obtained by using Lucas' theorem, some congruences of binomial coefficients, and a known formula for the inverses of PPs of finite fields.
Isometry invariant permutation codes and mutually orthogonal Latin squares
Published
• View Publication
• BIB
Commonly the direct construction and the description of mutually orthogonal Latin squares (MOLS) makes use of difference or quasi-difference matrices. Now there exists a correspondence between MOLS and separable permutation codes. We like to present separable permutation codes of length $35$, $48$, $63$ and $96$ and minimum distance $34$, $47$, $62$ and $95$ consisting of $6 \times 35$, $10 \times 48$, $8 \times 63$ and $8 \times 96$ codewords respectively. Using the correspondence this gives $6$ MOLS for $n=35$, $10$ MOLS for $n=48$, $8$ MOLS for $n=63$ and $8$ MOLS for $n=96$. So $N(35) \ge 6$, $N(48) \ge 10$, $N(63) \ge 8$ and $N(96) \ge 8$ holds which are new lower bounds for MOLS. The codes will be given by generators of an appropriate subgroup $U$ of the isometry group of the symmetric group $S_n$ and $U$-orbit representatives. This gives an alternative uniform way to describe the MOLS where the data for the codes can be used as input for computer algebra systems like MAGMA, GAP etc.
Affine transitions for involution Stanley symmetric functions
Published in European J. Combin. 101 (2022), 103463
• View Publication
• BIB
We study a family of symmetric functions $\hat F_z$ indexed by involutions $z$ in the affine symmetric group. These power series are analogues of Lam's affine Stanley symmetric functions and generalizations of the involution Stanley symmetric functions introduced by Hamaker, Pawlowski, and the first author. Our main result is to prove a transition formula for $\hat F_z$ which can be used to define an affine involution analogue of the Lascoux-Schützenberger tree. Our proof of this formula relies on Lam and Shimozono's transition formula for affine Stanley symmetric functions and some new technical properties of the strong Bruhat order on affine permutations.
2413-balloon permutations and the growth of the Möbius function
We show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial. We define a method of constructing a permutation from a smaller permutation which we call "ballooning". We show that if $β$ is a 2413-balloon, and $π$ is the 2413-balloon of $β$, then $μ[1, π] = 2 μ[1, β]$. This allows us to construct a sequence of permutations $π_1, π_2, π_3\ldots$ with lengths $n, n+4, n+8, \ldots$ such that $μ[1, π_{i+1}] = 2 μ[1, π_{i}]$, and this gives us exponential growth. Further, our construction method gives permutations that lie within a hereditary class with finitely many simple permutations. We also find an expression for the value of $μ[1, π]$, where $π$ is a 2413-balloon, with no restriction on the permutation being ballooned.
The continuous weak order
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $Σ$ = {x,y,z,...}, where each letter has a fixed number of occurrences. These lattices are known as multinomial lattices and, when card($Σ$) = 2, as lattices of lattice paths. By interpreting the letters x, y, z, . . . as axes, these words can be interpreted as discrete increasing paths on a grid of a d-dimensional cube, with d = card($Σ$).We show how to extend this ordering to images of continuous monotone functions from the unit interval to a d-dimensional cube and prove that this ordering is a lattice, denoted by L(I^d). This construction relies on a few algebraic properties of the quantale of join-continuous functions from the unit interval of the reals to itself: it is cyclic $\star$-autonomous and it satisfies the mix rule.We investigate structural properties of these lattices, which are self-dual and not distributive. We characterize join-irreducible elements and show that these lattices are generated under infinite joins from their join-irreducible elements, they have no completely join-irreducible elements nor compact elements. We study then embeddings of the d-dimensional multinomial lattices into L(I^d). We show that these embeddings arise functorially from subdivisions of the unit interval and observe that L(I^d) is the Dedekind-MacNeille completion of the colimit of these embeddings. Yet, if we restrict to embeddings that take rational values and if d > 2, then every element of L(I^d) is only a join of meets of elements from the colimit of these embeddings.
Determinantal conditions for homomorphic sensing
With $k$ an infinite field and $τ_1,τ_2$ endomorphisms of $k^m$, we provide a dimension bound on an open locus of a determinantal scheme, under which, for a general subspace $V \subseteq k^m$ of dimension $n \le m/2$, for $v_1,v_2 \in V$ we have $τ_1(v_1)=τ_2(v_2)$ only if $v_1=v_2$. Specializing to permutations composed by coordinate projections, we obtain an abstract proof of the unlabeled sensing theorem.
On pattern-avoiding Fishburn permutations
Published in Ann. Comb. 23 (2019), 785-800
• View Publication
• BIB
The class of permutations that avoid the bivincular pattern (231, {1},{1}) is known to be enumerated by the Fishburn numbers. In this paper, we call them Fishburn permutations and study their pattern avoidance. For classical patterns of size 3, we give a complete enumerative picture for regular and indecomposable Fishburn permutations. For patterns of size 4, we focus on a Wilf equivalence class of Fishburn permutations that are enumerated by the Catalan numbers. In addition, we also discuss a class enumerated by the binomial transform of the Catalan numbers and give conjectures for other equivalence classes of pattern-avoiding Fishburn permutations.
Asymptotic free independence and entry permutations for Gaussian random matrices
The paper presents conditions on entry permutations that induce asymptotic freeness when acting on Gaussian random matrices. The class of permutations described includes the matrix transpose, as well as entry permutations relevant in Quantum Information Theory and Quantum Physics.
Avoiding patterns and making the best choice
We study a variation of the game of best choice (also known as the secretary problem or game of googol) under an additional assumption that the ranks of interview candidates are restricted using permutation pattern-avoidance. We develop some general machinery for investigating interview orderings with a non-uniform rank distribution, and give a complete description of the optimal strategies for the pattern-avoiding games under each of the size three permutations. The optimal strategy for the "disappointment-free" (i.e. 321-avoiding) interviews has a form that seems to be new, involving thresholds based on value-saturated left-to-right maxima in the permutation.
Binomial Eulerian polynomials for colored permutations
Binomial Eulerian polynomials first appeared in work of Postnikov, Reiner and Williams on the face enumeration of generalized permutohedra. They are $γ$-positive (in particular, palindromic and unimodal) polynomials which can be interpreted as $h$-polynomials of certain flag simplicial polytopes and which admit interesting Schur $γ$-positive symmetric function generalizations. This paper introduces analogues of these polynomials for $r$-colored permutations with similar properties and uncovers some new instances of equivariant $γ$-positivity in geometric combinatorics.
The Hall--Paige conjecture, and synchronization for affine and diagonal groups
Published
• View Publication
• BIB
The Hall--Paige conjecture asserts that a finite group has a complete mapping if and only if its Sylow subgroups are not cyclic. The conjecture is now proved, and one aim of this paper is to document the final step in the proof (for the sporadic simple group $\mathrm{J}_4$).
We apply this result to prove that primitive permutation groups of simple diagonal type with three or more simple factors in the socle are non-synchronizing. We also give the simpler proof that, for groups of affine type, or simple diagonal type with two socle factors, synchronization and separation are equivalent.
Synchronization and separation are conditions on permutation groups which are stronger than primitivity but weaker than $2$-homogeneity, the second of these being stronger than the first. Empirically it has been found that groups which are synchronizing but not separating are rather rare. It follows from our results that such groups must be primitive of almost simple type.
Quantifying CDS Sortability of Permutations by Strategic Pile Size
The special purpose sorting operation, context directed swap (CDS), is an example of the block interchange sorting operation studied in prior work on permutation sorting. CDS has been postulated to model certain molecular sorting events that occur in the genome maintenance program of some species of ciliates. We investigate the mathematical structure of permutations not sortable by the CDS sorting operation. In particular, we present substantial progress towards quantifying permutations with a given strategic pile size, which can be understood as a measure of CDS non-sortability. Our main results include formulas for the number of permutations in $\textsf{S}_n$ with maximum size strategic pile. More generally, we derive a formula for the number of permutations in $\textsf{S}_n$ with strategic pile size $k$, in addition to an algorithm for computing certain coefficients of this formula, which we call merge numbers.
The center of the wreath product of symmetric groups algebra
Published in Algebra and Discrete Mathematics 31(2) (2021) 302-322
• View Publication
• BIB
We consider the wreath product of two symmetric groups as a group of blocks permutations and we study its conjugacy classes. We give a polynomiality property for the structure coefficients of the center of the wreath product of symmetric groups algebra. This allows us to recover an old result of Farahat and Higman about the polynomiality of the structure coefficients of the center of the symmetric group algebra and to generalize our recent result about the polynomiality property of the structure coefficients of the center of the hyperoctahedral group algebra. A particular attention is paid to the cases when the blocks contain two or three elements.
On permutations of $\{1,\ldots,n\}$ and related topics
In this paper we study combinatorial aspects of permutations of $\{1,\ldots,n\}$ and related topics. In particular, we prove that there is a unique permutation $π$ of $\{1,\ldots,n\}$ such that all the numbers $k+π(k)$ ($k=1,\ldots,n$) are powers of two. We also show that $n\mid\text{per}[i^{j-1}]_{1\le i,j\le n}$ for any integer $n>2$. We conjecture that if a group $G$ contains no element of order among $2,\ldots,n+1$ then any $A\subseteq G$ with $|A|=n$ can be written as $\{a_1,\ldots,a_n\}$ with $a_1,a_2^2,\ldots,a_n^n$ pairwise distinct. This conjecture is confirmed when $G$ is a torsion-free abelian group. We also prove that for any finite subset $A$ of a torsion-free abelian group $G$ with $|A|=n>3$, there is a numbering $a_1,\ldots,a_n$ of all the elements of $A$ such that all the $n$ sums $$a_1+a_2+a_3,\ a_2+a_3+a_4,\ \ldots,\ a_{n-2}+a_{n-1}+a_n,\ a_{n-1}+a_n+a_1,\ a_n+a_1+a_2$$ are pairwise distinct.
The defining properties of the Kontsevich unoriented graph complex
Published in Journal of Physics: Conference Series (2019) Vol.1194, Paper 012095, 1-10
• View Publication
• BIB
Consider the real vector space of formal sums of non-empty, finite unoriented graphs without multiple edges and loops. Let the vertices of graphs be unlabelled but let every graph $γ$ be endowed with an ordered set of edges $\mathsf{E}(γ)$. Denote by Gra the vector space of formal sums of graphs modulo the relation $(γ_1,\mathsf{E}(γ_1))-\text{sign}(σ) (γ_2,\mathsf{E}(γ_2)) = 0$ for topologically equal graphs $γ_1$ and $γ_2$ whose edge orderings differ by a permutation $σ$. The zero class in Gra is represented by sums of graphs that cancel via the above relation. The Lie bracket of graphs with ordered edge sets is defined using the insertion of a graph into vertices of the other one. We give an explicit proof of the theorems which state that the space Gra is a well\/-\/defined differential graded Lie algebra: both the Lie bracket $[{\cdot},{\cdot}]$ and the vertex\/-\/expanding differential ${\mathrm d}=[{\bullet}\!{-}\!{\bullet},{\cdot}]$ respect the calculus modulo zero graphs.
Permutational powers of a graph
Published in Electron. J. Combin., Vol. 26 (4) 2019, #P4.22
• View Publication
• BIB
This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more general. We start by discussing necessary and sufficient conditions on the permutation and on the adjacency matrix of a graph to guarantee their composition to represent an adjacency matrix of a graph, then we focus our attention on the cases in which the permutational power does not reduce to a zig-zag product. We show that the cases of interest are those in which the adjacency matrix is singular. This leads us to frame our problem in the context of equitable partitions, obtained by identifying vertices having the same neighborhood. The families of cyclic and complete bipartite graphs are treated in details.
Covering radius in the Hamming permutation space
Published in European J. Combin. 84 (2020) 103025
• View Publication
• BIB
Let $\mathcal{S}_n$ denote the set of permutations of $\{1,2,\dots,n\}$. The function $f(n,s)$ is defined to be the minimum size of a subset $S\subseteq \mathcal{S}_n$ with the property that for any $ρ\in \mathcal{S}_n$ there exists some $σ\in S$ such that the Hamming distance between $ρ$ and $σ$ is at most $n-s$. The value of $f(n,2)$ is the subject of a conjecture by Kézdy and Snevily, which implies several famous conjectures about latin squares. We prove that the odd $n$ case of the Kézdy-Snevily Conjecture implies the whole conjecture. We also show that $f(n,2)>3n/4$ for all $n$, that $s!< f(n,s)< 3s!(n-s)\log n$ for $1\leq s\leq n-2$ and that \[f(n,s)>\left\lfloor \frac{2+\sqrt{2s-2}}{2}\right\rfloor \frac{n}{2}\] if $s\geq 3$.