permutation ↗ reference
4849 papers tagged with this keyword
Separation probabilities and analogues of a Zagier-Stanley formula
In this paper, we first obtain some analogues of a formula of Zagier (1995) and Stanley (2011). For instance, we prove that the number of pairs of $n$-cycles whose product has $k$ cycles and has $m$ given elements contained in distinct cycles (or separated) is given by $$ \frac{2 (n-1)! C_m(n+1,k)}{(n+m)(n+1-m)} $$ when $n-k$ is even, where $C_m(n,k)$ is the number of permutations of $n$ elements having $k$ cycles and separating $m$ given elements. As consequences, we obtain the formulas for certain separation probabilities due to Du and Stanley, answering a call of Stanley for simple combinatorial proofs. Furthermore, we obtain the expectation and variance of the number of fixed points in the product of two random $n$-cycles.
Counting non-crossing permutations on surfaces of any genus
Published
• View Publication
• BIB
Given a surface with boundary and some points on its boundary, a polygon diagram is a way to connect those points as vertices of non-overlapping polygons on the surface. Such polygon diagrams represent non-crossing permutations on a surface with any genus and number of boundary components. If only bigons are allowed, then it becomes an arc diagram. The count of arc diagrams is known to have a rich structure. We show that the count of polygon diagrams exhibits the same interesting behaviours, in particular it is almost polynomial in the number of points on the boundary components, and the leading coefficients of those polynomials are the intersection numbers on the compactified moduli space of curves.
Characterization of quasirandom permutations by a pattern sum
Published
• View Publication
• BIB
It is known that a sequence Pi_i of permutations is quasirandom if and only if the pattern density of every 4-point permutation in Pi_i converges to 1/24. We show that there is a set S of 4-point permutations such that the sum of the pattern densities of the permutations from S in the permutations Pi_i converges to |S|/24 if and only if the sequence is quasirandom. Moreover, we are able to completely characterize the sets S with this property. In particular, there are exactly ten such sets, the smallest of which has cardinality eight.
The Graph Isomorphism Problem: Local Certificates for Giant Action
This thesis provides an explanation of László Babai's quasi-polynomial algorithm for the Graph Isomorphism Problem published in 2015 with a particular focus on the case of local certificates, i.e. the case that cannot be dealt with by Luks' method. The thesis extends the explanations provided by Harald Andrés Helfgott in 2017. It is concluded that the complexity of Babai's algorithm is $\exp\left(C \left(\log n\right)^3\right)$ for $n$ the number of vertices, $C$ a constant. Group theoretical and combinatorial arguments are used to give more details on Babai's method of local certificates. They treat Luks' barrier case in which the imprimitve permutation group $G$ can be mapped onto an alternating group with large domain.
Formations and generalized Davenport-Schinzel sequences
Let $up(r, t) = (a_1 a_2 \dots a_r)^t$. We investigate the problem of determining the maximum possible integer $n(r, t)$ for which there exist $2t-1$ permutations $π_1, π_2, \dots, π_{2t-1}$ of $1, 2, \dots, n(r, t)$ such that the concatenated sequence $π_1 π_2 \dots π_{2t-1}$ has no subsequence isomorphic to $up(r,t)$. This quantity has been used to obtain an upper bound on the maximum number of edges in $k$-quasiplanar graphs. It was proved by (Geneson, Prasad, and Tidor, Electronic Journal of Combinatorics, 2014) that $n(r, t) \le (r-1)^{2^{2t-2}}$.
We prove that $n(r,t) = Θ(r^{2t-1 \choose t})$, where the constant in the bound depends only on $t$. Using our upper bound in the case $t = 2$, we also sharpen an upper bound of (Klazar, Integers, 2002), who proved that $Ex(up(r,2),n) < (2n+1)L$ where $L = Ex(up(r,2),K-1)+1$, $K = (r-1)^4 + 1$, and $Ex(u, n)$ denotes the extremal function for forbidden generalized Davenport-Schinzel sequences. We prove that $K = (r-1)^4 + 1$ in Klazar's bound can be replaced with $K = (r-1) \binom{r}{2}+1$.
We also prove a conjecture from (Geneson, Prasad, and Tidor, Electronic Journal of Combinatorics, 2014) by showing for $t \geq 1$ that $Ex(a b c (a c b)^{t} a b c, n) = n 2^{\frac{1}{t!}α(n)^{t} \pm O(α(n)^{t-1})}$. In addition, we prove that $Ex(a b c a c b (a b c)^{t} a c b, n) = n 2^{\frac{1}{(t+1)!}α(n)^{t+1} \pm O(α(n)^{t})}$ for all $t \geq 1$.
Linear-Time Recognition of Double-Threshold Graphs
Published
• View Publication
• BIB
A graph $G = (V,E)$ is a double-threshold graph if there exist a vertex-weight function $w \colon V \to \mathbb{R}$ and two real numbers $\mathtt{lb}, \mathtt{ub} \in \mathbb{R}$ such that $uv \in E$ if and only if $\mathtt{lb} \le \mathtt{w}(u) + \mathtt{w}(v) \le \mathtt{ub}$. In the literature, those graphs are studied also as the pairwise compatibility graphs that have stars as their underlying trees. We give a new characterization of double-threshold graphs that relates them to bipartite permutation graphs. Using the new characterization, we present a linear-time algorithm for recognizing double-threshold graphs. Prior to our work, the fastest known algorithm by Xiao and Nagamochi [Algorithmica 2020] ran in $O(n^{3} m)$ time, where $n$ and $m$ are the numbers of vertices and edges, respectively.
On a conjecture about a class of permutation quadrinomials
Published
• View Publication
• BIB
Very recently, Tu et al. presented a sufficient condition about $(a_1,a_2,a_3)$, see Theorem 1.1, such that $f(x) = x^{3\cdot 2^m} + a_1 x^{2^{m+1}+1}+ a_2 x^{2^m+2} + a_3 x^3$ is a class of permutation polynomials over $\gf_{2^{n}}$ with $n=2m$ and $m$ odd. In this present paper, we prove that the sufficient condition is also necessary.
Design Theory and Some Non-simple Forbidden Configurations
Let 1_k 0_l denote the (k+l)\times 1 column of k 1's above l 0's. Let q. (1_k 0_l) $ denote the (k+l)xq matrix with q copies of the column 1_k0_l. A 2-design S_λ(2,3,v) can be defined as a vx(λ/3)\binom{v}{2} (0,1)-matrix with all column sums equal 3 and with no submatrix (λ+1).(1_20_0). Consider an mxn matrix A with all column sums in {3,4,... ,m-1}. Assume m is sufficiently large (with respect to λ) and assume that A has no submatrix which is a row permutation of (λ+1). (1_2 0_1). Then we show the number of columns in A is at most (λ)/3)\binom{m}{3} with equality for A being the columns of column sum 3 corresponding to the triples of a 2-design S_λ(2,3,m). A similar results holds for(λ+1). (1_2 0_2).
Define a matrix to be simple if it is a (0,1)-matrix with no repeated columns. Given two matrices A, F, we define A to have F as a configuration if and only if some submatrix of A is a row and column permutation of F. Given m, let forb(m,q.(1_k 0_l)) denote the maximum number of possible columns in a simple m-rowed matrix which has no configuration q.(1_k 0_l). For m sufficiently large with respect to q, we compute exact values for forb(m,q.(1_1 0_1)), forb(m,q.(1_2 0_1)), forb(m,q.(1_2 0_2)). In the latter two cases, we use a construction of Dehon (1983) of simple triple systems S_λ(2,3,v) for λ>1. Moreover for l=1,2, simple mxforb(m,q.(1_2 0_l)) matrices with no configuration q.(1_2 0_l) must arise from simple 2-designs S_λ(2,3,m) of appropriate λ.
The proofs derive a basic upper bound by a pigeonhole argument and then use careful counting and Turan's bound, for large m, to reduce the bound. For small m, the larger pigeonhole bounds are sometimes the exact bound. There are intermediate values of m for which we do not know the exact bound.
Competing growth processes with random growth rates and random birth times
Published
• View Publication
• BIB
Finding the most powerful node in a dynamic random network, the largest set in a partition-valued stochastic process, or the largest family in an evolving population at a given time, can be a very difficult problem. This is particularly the case when the underlying stochastic process has complex dependencies and the individual strength of an object has an impact that only plays out over time. We propose a novel technique to deal with such problems and show how it can be applied to a broad range of examples where it produces new insight and surprising results. The method relies on two steps: In the first step, which is highly problem dependent, the problem is embedded into continuous time so that the evolution of the sizes of objects after their individual birth times become approximately independent while we only need minimal control over the birth times themselves. Once such an embedding is achieved, the second step is to apply a Poisson limit theorem that allows a comparison of object sizes in a critical window and therefore allows a description of features of extremal objects. In this paper we prove such a versatile limit theorem, based on extreme value theory, and show how the technique can be used to study extremal behaviour in different types of preferential attachment networks with fitness, branching processes with selection and mutation, and random permutations with random cycle weights.
Upper Bounds of Schubert Polynomials
Published
• View Publication
• BIB
Let $w$ be a permutation of $\{1,2,\ldots,n \}$, and let $D(w)$ be the Rothe diagram of $w$. The Schubert polynomial $\mathfrak{S}_w(x)$ can be realized as the dual character of the flagged Weyl module associated to $D(w)$. This implies a coefficient-wise inequality \[\mathrm{Min}_w(x)\leq \mathfrak{S}_w(x)\leq \mathrm{Max}_w(x),\] where both $\mathrm{Min}_w(x)$ and $\mathrm{Max}_w(x)$ are polynomials determined by $D(w)$. Fink, Mészáros and St.$\,$Dizier found that $\mathfrak{S}_w(x)$ equals the lower bound $\mathrm{Min}_w(x)$ if and only if $w$ avoids twelve permutation patterns. In this paper, we show that $\mathfrak{S}_w(x)$ reaches the upper bound $\mathrm{Max}_w(x)$ if and only if $w$ avoids two permutation patterns 1432 and 1423. Similarly, for any given composition $α\in \mathbb{Z}_{\geq 0}^n$, one can define a lower bound $\mathrm{Min}_α(x)$ and an upper bound $\mathrm{Max}_α(x)$ for the key polynomial $κ_α(x)$. Hodges and Yong established that $κ_α(x)$ equals $\mathrm{Min}_α(x)$ if and only if $α$ avoids five composition patterns. We show that $κ_α(x)$ equals $\mathrm{Max}_α(x)$ if and only if $α$ avoids a single composition pattern $(0,2)$. As an application, we obtain that when $α$ avoids $(0,2)$, the key polynomial $κ_α(x)$ is Lorentzian, partially verifying a conjecture of Huh, Matherne, Mészáros and St.$\,$Dizier.
Asymptotics for Shamir's Problem
Published
• View Publication
• BIB
For fixed $r\geq 3$ and $n$ divisible by $r$, let ${\mathcal H}={\mathcal H}^r_{n,M}$ be the random $M$-edge $r$-graph on $V=\{1,\ldots ,n\}$; that is, ${\mathcal H}$ is chosen uniformly from the $M$-subsets of ${\mathcal K}:={V \choose r}$ ($:= \{\mbox{$r$-subsets of $V$}\}$). Shamir's Problem (circa 1980) asks, roughly, for what $M=M(n)$ is ${\mathcal H}$ likely to contain a perfect matching (that is, $n/r$ disjoint $r$-sets)?
In 2008 Johansson, Vu and the author showed that this is true for $M>C_rn\log n$. The present paper has two purposes. First, it establishes the asymptotically correct version of the 2008 result:
Theorem 1. For fixed $ε>0$ and $M> (1+ε)(n/r)\log n$, $P({\mathcal H} ~\mbox{contains a perfect matching})\rightarrow 1 $ as $n\rightarrow\infty$.
Second, it begins a proof of the definitive ``hitting time" statement:
Theorem 2. If $A_1, \ldots ~$ is a uniform permutation of ${\mathcal K}$, ${\mathcal H}_t=\{A_1,\ldots ,A_t\}$, and $T=\min\{t:A_1\cup \cdots\cup A_t=V\},$ then $P({\mathcal H}_T ~\mbox{contains a perfect matching})\rightarrow 1 $ as $n\rightarrow\infty$.
It is shown here that Theorem 2 follows from a conditional version of Theorem 1 that will be proved elsewhere. The key ideas in that proof are similar to those for Theorem 1, but the argument is a longer story, and it has seemed best to give the present separate proof of Theorem 1, in which those ideas may appear more clearly.
Counting Labeled Threshold Graphs with Eulerian Numbers
A threshold graph is any graph which can be constructed from the empty graph by repeatedly adding a new vertex that is either adjacent to every vertex or to no vertices. The Eulerian number $\genfrac{\langle}{\rangle}{0pt}{}{n}{k}$ counts the number of permutations of size $n$ with exactly $k$ ascents. Implicitly Beissinger and Peled proved that the number of labeled threshold graphs on $n\ge 2$ vertices is
\[\sum_{k=1}^{n-1}(n-k)\genfrac{\langle}{\rangle}{0pt}{}{n-1}{k-1}2^k.\]
Their proof used generating functions. We give a direct combinatorial proof of this result.
Uniformly positive correlations in the dimer model and phase transition in lattice permutations on $\mathbb{Z}^d$, $d > 2$, via reflection positivity
Our first main result is that correlations between monomers in the dimer model in $\mathbb{Z}^d$ do not decay to zero when $d > 2$. This is the first rigorous result about correlations in the dimer model in dimensions greater than two and shows that the model behaves drastically differently than in two dimensions, in which case it is integrable and correlations are known to decay to zero polynomially. Such a result is implied by our more general, second main result, which states the occurrence of a phase transition in the model of lattice permutations, which is related to the quantum Bose gas. More precisely, we consider a self-avoiding walk interacting with lattice permutations and we prove that, in the regime of fully-packed loops, such a walk is `long' and the distance between its end-points grows linearly with the diameter of the box. These results follow from the derivation of a version of the infrared bound from a new general probabilistic settings, with coloured loops and walks interacting at sites and walks entering into the system from some `virtual' vertices.
Degeneracy locus formulas for amenable Weyl group elements
Published in Nagoya Math. J. 261 (2026) e13
• View Publication
• BIB
We define a class of amenable Weyl group elements in the Lie types B, C, and D, which we propose as the analogues of vexillary permutations in these Lie types. Our amenable signed permutations index flagged theta and eta polynomials, which generalize the double theta and eta polynomials of Wilson and the author. In geometry, we obtain corresponding formulas for the cohomology classes of symplectic and orthogonal degeneracy loci.
Good sequencings for small Mendelsohn triple systems
A Mendelsohn triple system of order $v$ (or MTS$(v)$) is a decomposition of the complete graph into directed 3-cyles. We denote the directed 3-cycle with edges $(x,y)$, $(y,z)$ and $(z,x)$ by $(x,y,z)$, $(y,z,x)$ or $(z,x,y)$. An $\ell$-good sequencing of a MTS$(v)$ is a permutation of the points of the design, say $[x_1 \; \cdots \; x_v]$, such that, for every triple $(x,y,z)$ in the design, it is not the case that $x = x_i$, $y = x_j$ and $z = x_k$ with $i < j < k$ and $k-i+1 \leq \ell$; or with $j < k < i$ and $i-j+1 \leq \ell$; or with $k < i < j$ and $j-k+1 \leq \ell$.
$L(p,q)$-Labeling of Graphs with Interval Representations
Published in Discussiones Mathematicae Graph Theory 43(4) (2023) 1215-1235
• View Publication
• BIB
We provide upper bounds on the $L(p,q)$-labeling number of graphs which have interval (or circular-arc) representations via simple greedy algorithms. We prove that there exists an $L(p,q)$-labeling with span at most $\max\{2(p+q-1)Δ-4q+2, (2p-1)μ+(2q-1)Δ-2q+1\}$ for interval $k$-graphs, $\max\{p,q\}Δ$ for interval graphs, $3\max\{p,q\}Δ+p$ for circular-arc graphs, $2(p+q-1)Δ-2q+1$ for permutation graphs and $(2p-1)Δ+(2q-1)(μ-1)$ for cointerval graphs. In particular, these improve existing bounds on $L(p,q)$-labeling of interval graphs and $L(2,1)$-labeling of permutation graphs. Furthermore, we provide upper bounds on the coloring of the squares of aforementioned classes.
Higher Lie characters and cyclic descent extension on conjugacy classes
Published
• View Publication
• BIB
A now-classical cyclic extension of the descent set of a permutation has been introduced by Klyachko and Cellini. Following a recent axiomatic approach to this notion, it is natural to ask which sets of permutations admit such an extension.
The main result of this paper is a complete answer in the case of conjucay classes of permutations. It is shown that the conjugacy class of cycle type $λ$ has such an extension if and only if $λ$ is not of the form $(r^s)$ for some square-free $r$. The proof involves a detailed study of hook constituents in higher Lie characters.
Strongly chordal digraphs and $Γ$-free matrices
We define strongly chordal digraphs, which generalize strongly chordal graphs and chordal bipartite graphs, and are included in the class of chordal digraphs. They correspond to square 0,1 matrices that admit a simultaneous row and column permutation avoiding the Γ matrix. In general, it is not clear if these digraphs can be recognized in polynomial time, and we focus on symmetric digraphs (i.e., graphs with possible loops), tournaments with possible loops, and balanced digraphs. In each of these cases we give a polynomial-time recognition algorithm and a forbidden induced subgraph characterization. We also discuss an algorithm for minimum general dominating set in strongly chordal graphs with possible loops, extending and unifying similar algorithms for strongly chordal graphs and chordal bipartite graphs.
Generating infinite digraphs by derangements
Published
• View Publication
• BIB
A set $\mathcal{S}$ of derangements (fixed-point-free permutations) of a set $V$ generates a digraph with vertex set $V$ and arcs $(x,x^σ)$ for $x\in V$ and $σ\in\mathcal{S}$. We address the problem of characterising those infinite (simple loopless) digraphs which are generated by finite sets of derangements. The case of finite digraphs was addressed in earlier work by the second and third authors. A criterion is given for derangement generation which resembles the criterion given by De Bruijn and Erdős for vertex colourings of graphs in that the property for an infinite digraph is determined by properties of its finite sub-digraphs. The derangement generation property for a digraph is linked with the existence of a finite $1$-factor cover for an associated bipartite (undirected) graph.
Correlation for permutations
Published
• View Publication
• BIB
In this note we investigate correlation inequalities for `up-sets' of permutations, in the spirit of the Harris--Kleitman inequality. We focus on two well-studied partial orders on $S_n$, giving rise to differing notions of up-sets. Our first result shows that, under the strong Bruhat order on $S_n$, up-sets are positively correlated (in the Harris--Kleitman sense). Thus, for example, for a (uniformly) random permutation $π$, the event that no point is displaced by more than a fixed distance $d$ and the event that $π$ is the product of at most $k$ adjacent transpositions are positively correlated. In contrast, under the weak Bruhat order we show that this completely fails: surprisingly, there are two up-sets each of measure $1/2$ whose intersection has arbitrarily small measure.
We also prove analogous correlation results for a class of non-uniform measures, which includes the Mallows measures. Some applications and open problems are discussed.