permutation ↗ reference
4945 papers tagged with this keyword
The classification of homogeneous finite-dimensional permutation structures
Published in The Electronic Journal of Combinatorics 27(1): P.38, 2020
• View Publication
• BIB
We classify the homogeneous finite-dimensional permutation structures, i.e., homogeneous structures in a language of finitely many linear orders, giving a nearly complete answer to a question of Cameron, and confirming the classification conjectured by the first author. The primitive case was proven by the second author using model-theoretic methods, and those methods continue to appear here.
Constraining Strong c-Wilf Equivalence Using Cluster Poset Asymptotics
Published
• View Publication
• BIB
Let $π\in \mathfrak{S}_m$ and $σ\in \mathfrak{S}_n$ be permutations. An occurrence of $π$ in $σ$ as a consecutive pattern is a subsequence $σ_i σ_{i+1} \cdots σ_{i+m-1}$ of $σ$ with the same order relations as $π$. We say that patterns $π, τ\in \mathfrak{S}_m$ are strongly c-Wilf equivalent if for all $n$ and $k$, the number of permutations in $\mathfrak{S}_n$ with exactly $k$ occurrences of $π$ as a consecutive pattern is the same as for $τ$. In 2018, Dwyer and Elizalde conjectured (generalizing a conjecture of Elizalde from 2012) that if $π, τ\in \mathfrak{S}_m$ are strongly c-Wilf equivalent, then $(τ_1, τ_m)$ is equal to one of $(π_1, π_m)$, $(π_m, π_1)$, $(m+1 - π_1, m+1-π_m)$, or $(m+1 - π_m, m+1 - π_1)$. We prove this conjecture using the cluster method introduced by Goulden and Jackson in 1979, which Dwyer and Elizalde previously applied to prove that $|π_1 - π_m| = |τ_1 - τ_m|$. A consequence of our result is the full classification of c-Wilf equivalence for a special class of permutations, the non-overlapping permutations. Our approach uses analytic methods to approximate the number of linear extensions of the "cluster posets" of Elizalde and Noy.
Variations of the Catalan numbers from some nonassociative binary operations
Published
• View Publication
• BIB
We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.
Three local actions in $6$-valent arc-transitive graphs
It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$. For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$, we construct an infinite family of finite connected $6$-valent graphs $\{Γ_n\}_{n\in \mathbb{N}}$ and arc-transitive groups $G_n \le \rm{Aut}(Γ_n)$ such that the permutation group induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permutation isomorphic to $L$, and such that $|(G_n)_v|$ is exponential in $|\rm{V}(Γ_n)|$. These three groups were the only transitive permutation groups of degree at most $7$ for which the existence of such a family was undecided. In the process, we construct an infinite family of cubic $2$-arc-transitive graphs such that the dimension of the $1$-eigenspace over the field of order $2$ of the adjacency matrix of the graph grows linearly with the order of the graph.
Attacks and alignments: rooks, set partitions, and permutations
We consider uniformly random set partitions of size $n$ with exactly $k$ blocks, and uniformly random permutations of size $n$ with exactly $k$ cycles, under the regime where $n-k \sim t\sqrt{n}$, $t>0$. In this regime, there is a simple approximation for the entire process of component counts; in particular, the number of components of size 3 converges in distribution to Poisson with mean $\frac{2}{3}t^2$ for set partitions and mean $\frac{4}{3}t^2$ for permutations, and with high probability all other components have size one or two. These approximations are proved, with preasymptotic error bounds, using combinatorial bijections for placements of $r$ rooks on a triangular half of an $n\times n$ chess board, together with the Chen--Stein method for processes of indicator random variables.
Hopf dreams and diagonal harmonics
Published in J. Lond. Math. Soc., 105(3):1546-1600, 2022
• View Publication
• BIB
This paper introduces a Hopf algebra structure on a family of reduced pipe dreams. We show that this Hopf algebra is free and cofree, and construct a surjection onto a commutative Hopf algebra of permutations. The pipe dream Hopf algebra contains Hopf subalgebras with interesting sets of generators and Hilbert series related to subsequences of Catalan numbers. Three other relevant Hopf subalgebras include the Loday-Ronco Hopf algebra on complete binary trees, a Hopf algebra related to a special family of lattice walks on the quarter plane, and a Hopf algebra on $ν$-trees related to $ν$-Tamari lattices. One of this Hopf subalgebras motivates a new notion of Hopf chains in the Tamari lattice, which are used to present applications and conjectures in the theory of multivariate diagonal harmonics.
(Probably) Concave Graph Matching
In this paper we address the graph matching problem. Following the recent works of \cite{zaslavskiy2009path,Vestner2017} we analyze and generalize the idea of concave relaxations. We introduce the concepts of conditionally concave and probably conditionally concave energies on polytopes and show that they encapsulate many instances of the graph matching problem, including matching Euclidean graphs and graphs on surfaces. We further prove that local minima of probably conditionally concave energies on general matching polytopes (e.g., doubly stochastic) are with high probability extreme points of the matching polytope (e.g., permutations).
The Hopf algebra of integer binary relations
Published in Algebraic Combinatorics, Resurgence, Moulds and Applications (CARMA), European Mathematical Society Publishing House, pp.299-344, 2020
• View Publication
• BIB
We construct a Hopf algebra on integer binary relations that contains under the same roof several well-known Hopf algebras related to the permutahedra and the associahedra: the Malvenuto-Reutenauer algebra on permutations, the Loday-Ronco algebra on planar binary trees, and the Chapoton algebras on ordered partitions and on Schröder trees. We also derive from our construction new Hopf structures on intervals of the weak order on permutations and of the Tamari order on binary trees.
Local convergence for permutations and local limits for uniform $ρ$-avoiding permutations with $|ρ|=3$
Published in Probab. Theory Relat. Fields 176, 449-531 (2020)
• View Publication
• BIB
We set up a new notion of local convergence for permutations and we prove a characterization in terms of proportions of \emph{consecutive} pattern occurrences. We also characterize random limiting objects for this new topology introducing a notion of "shift-invariant" property (corresponding to the notion of unimodularity for random graphs). We then study two models in the framework of random pattern-avoiding permutations. We compute the local limits of uniform $ρ$-avoiding permutations, for $|ρ|=3,$ when the size of the permutations tends to infinity. The core part of the argument is the description of the asymptotics of the number of consecutive occurrences of any given pattern. For this result we use bijections between $ρ$-avoiding permutations and rooted ordered trees, local limit results for Galton--Watson trees, the Second moment method and singularity analysis.
Improved bounds on the extremal function of hypergraphs
A fundamental problem in pattern avoidance is describing the asymptotic behavior of the extremal function and its generalizations. We prove an equivalence between the asymptotics of the graph extremal function for a class of bipartite graphs and the asymptotics of the matrix extremal function. We use the equivalence to prove several new bounds on the extremal functions of graphs. We develop a new method to bound the extremal function of hypergraphs in terms of the extremal function of their associated multidimensional matrices, improving the bound of the extremal function of $d$-permutation hypergraphs of length $k$ from $O(n^{d-1})$ to $2^{O(k)}n^{d-1}$.
Graphs in perturbation theory: Algebraic structure and asymptotics
Published in Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät, 2018
• View Publication
• BIB
This thesis provides an extension of the work of Dirk Kreimer and Alain Connes on the Hopf algebra structure of Feynman graphs and renormalization to general graphs. Additionally, an algebraic structure of the asymptotics of formal power series with factorial growth, which is compatible with the Hopf algebraic structure, is introduced.
The Hopf algebraic structure on graphs permits the explicit enumeration of graphs with constraints for the allowed subgraphs. In the case of Feynman diagrams a lattice structure, which will be introduced, exposes additional unique properties for physical quantum field theories. The differential ring of factorially divergent power series allows the extraction of asymptotic results of implicitly defined power series with vanishing radius of convergence. Together both structures provide an algebraic formulation of large graphs with constraints on the allowed subgraphs. These structures are motivated by and used to analyze renormalized zero-dimensional quantum field theory at high orders in perturbation theory.
As a pure application of the Hopf algebra structure, an Hopf algebraic interpretation of the Legendre transformation in quantum field theory is given. The differential ring of factorially divergent power series will be used to solve two asymptotic counting problems from combinatorics: The asymptotic number of connected chord diagrams and the number of simple permutations. For both asymptotic solutions, all order asymptotic expansions are provided as generating functions in closed form. Both structures are combined in an application to zero-dimensional quantum field theory. Various quantities are explicitly given asymptotically in the zero-dimensional version of $\varphi^3$, $\varphi^4$, QED, quenched QED and Yukawa theory with their all order asymptotic expansions.
Graph functionality
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $A$ its adjacency matrix. We say that a vertex $y \in V$ is a function of vertices $x_1, \ldots, x_k \in V$ if there exists a Boolean function $f$ of $k$ variables such that for any vertex $z \in V - \{y, x_1, \ldots, x_k\}$, $A(y,z)=f(A(x_1,z),\ldots,A(x_k,z))$. The functionality $fun(y)$ of vertex $y$ is the minimum $k$ such that $y$ is a function of $k$ vertices. The functionality $fun(G)$ of the graph $G$ is $\max\limits_H\min\limits_{y\in V(H)}fun(y)$, where the maximum is taken over all induced subgraphs $H$ of $G$. In the present paper, we show that functionality generalizes simultaneously several other graph parameters, such as degeneracy or clique-width, by proving that bounded degeneracy or bounded clique-width imply bounded functionality. Moreover, we show that this generalization is proper by revealing classes of graphs of unbounded degeneracy and clique-width, where functionality is bounded by a constant. This includes permutation graphs, unit interval graphs and line graphs. We also observe that bounded functionality implies bounded VC-dimension, i.e. graphs of bounded VC-dimension extend graphs of bounded functionality, and this extension is also proper.
Multivariate Stable Eulerian Polynomials on Segmented Permutations
Published
• View Publication
• BIB
Recently, Nunge studied Eulerian polynomials on segmented permutations, namely \emph{generalized Eulerian polynomials}, and further asked whether their coefficients form unimodal sequences. In this paper, we prove the stability of the generalized Eulerian polynomials and hence confirm Nunge's conjecture. Our proof is based on Brändén's stable multivariate Eulerian polynomials. By acting on Brändén's polynomials with a stability-preserving linear operator, we get a multivariate refinement of the generalized Eulerian polynomials. To prove Nunge's conjecture, we also develop a general approach to obtain generalized Sturm sequences from bivariate stable polynomials.
A Counter Example to the Shuffle Compatiblity Conjecture
Published in The Electronic Journal of Combinatorics, Volume 29, Issue 3 (2022) P3.51
• View Publication
• BIB
The shuffle product has a connection with several useful permutation statistics such as descent and peak, and corresponds to the multiplication operation in the corresponding descent and peak algebras. In their recent work, Gessel and Zhuang formalized the notion of shuffle-compatibility and studied various permutation statistics from this viewpoint. They further conjectured that any shuffle compatible permutation statistic is a descent statistic. In this note we construct a counter-example to this conjecture.
Stanley symmetric functions for signed involutions
Published in J. Combin. Theory Ser. A 168 (2019), 288-317
• View Publication
• BIB
An involution in a Coxeter group has an associated set of involution words, a variation on reduced words. These words are saturated chains in a partial order first considered by Richardson and Springer in their study of symmetric varieties. In the symmetric group, involution words can be enumerated in terms of tableaux using appropriate analogues of the symmetric functions introduced by Stanley to accomplish the same task for reduced words. We adapt this approach to the group of signed permutations. We show that involution words for the longest element in the Coxeter group $C_n$ are in bijection with reduced words for the longest element in $A_n = S_{n+1}$, which are known to be in bijection with standard tableaux of shape $(n, n-1, \ldots, 2, 1)$.
Intervals of permutations and the principal Möbius function
We show that the proportion of permutations of length $n$ with principal Möbius function equal to zero, $Z(n)$, is asymptotically bounded below by 0.3995. If a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then we show that the value of the principal Möbius function $μ[1, π]$ is zero, and we use this result to find the lower bound for $Z(n)$. We also show that if a permutation $φ$ has certain properties, then any permutation $π$ which contains an interval order-isomorphic to $φ$ has $μ[1, π] = 0$.
Interlacing Polynomials and the Veronese Construction for Rational Formal Power Series
Published
• View Publication
• BIB
Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge °h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.
A unifying method for the design of algorithms canonizing combinatorial objects
Published
• View Publication
• BIB
We devise a unified framework for the design of canonization algorithms. Using hereditarily finite sets, we define a general notion of combinatorial objects that includes graphs, hypergraphs, relational structures, codes, permutation groups, tree decompositions, and so on.
Our approach allows for a systematic transfer of the techniques that have been developed for isomorphism testing to canonization. We use it to design a canonization algorithm for combinatorial objects in general. This result gives new fastest canonization algorithms with an asymptotic running time matching the best known isomorphism algorithm for the following types of objects: hypergraphs, hypergraphs of bounded color class size, permutation groups (up to permutational isomorphism) and codes that are explicitly given (up to code equivalence).
Connecting descent and peak polynomials
Published in Hacettepe Journal of Mathematics and Statistics (2024), Vol: 53 Issue: 2, pp. 488 - 494
• View Publication
• BIB
A permutation $σ=σ_1 σ_2 \cdots σ_n$ has a descent at $i$ if $σ_i>σ_{i+1}$. A descent $i$ is called a peak if $i>1$ and $i-1$ is not a descent. The size of the set of all permutations of $n$ with a given descent set is a polynomials in $n$, called the polynomial. Similarly, the size of the set of all permutations of $n$ with a given peak set, adjusted by a power of $2$ gives a polynomial in $n$, called the peak polynomial. In this work we give a unitary expansion of descent polynomials in terms of peak polynomials. Then we use this expansion to give a combinatorial interpretation of the coefficients of the peak polynomial in a binomial basis, thus giving a new proof of the peak polynomial positivity conjecture.
A bijection between permutation matrices and descending plane partitions without special parts, which respects the quadruplet of statistics considered by Behrend, Di Francesco and Zinn--Justin
Published
• View Publication
• BIB
We present a bijection between permutation matrices and descending plane partitions without special parts, which respects the quadruple of statistics considered by Behrend, Di Francesco and Zinn--Justin. This bijection involves the inversion words of permutations and the "usual" representation of descending plane partitions as families of non--intersec\-ting lattice paths.