Papers by Paul Thévenin
12 paper(s) by this author
· All BibTeX
Stretched exponential asymptotics for bases of triangular bootstrap percolation
In this paper, we study a bootstrap percolation process on the finite triangular grid $\mathfrak{T}_n$ of side length $n$. We say that a subset $η$ of points in $\mathfrak{T}_n$ percolates if the final configuration, starting from $η$, is the whole grid $\mathfrak{T}_n$. A basis of size $n$ is then a subset of points of $\mathfrak{T}_n$ of minimum cardinality which percolates. In this paper, we first prove that the generating function counting bases satisfies an algebraic differential equation. Then, by analysing a modified version of this equation, we prove that the number $t_n$ of bases of size $n$ exhibits a stretched exponential asymptotic behaviour. More precisely, we show that $t_n \sim c n!e^{\sqrt{12n}}n^{5/12}$, for some constant $c>0$. These bases were recently shown by the second author to be in bijection with $3$-permutations avoiding the patterns $(12, 12)$ and $(231, 312)$, so this represents to our knowledge the first proven example of an asymptotic stretched exponential appearing in the study of pattern avoiding permutations.
Scaling limits of multitype Bienaymé trees
We consider critical multitype Bienaymé trees that are either irreducible or possess a critical irreducible component with attached subcritical components. These trees are studied under two distinct conditioning frameworks: first, conditioning on the value of a linear combination of the numbers of vertices of given types; and second, conditioning on the precise number of vertices belonging to a selected subset of types. We prove that, under a finite exponential moment condition, the scaling limit as the tree size tends to infinity is given by the Brownian Continuum Random Tree. Additionally, we establish strong non-asymptotic tail bounds for the height of such trees. Our main tools include a flattening operation applied to multitype trees and sharp estimates regarding the structure of monotype trees with a given sequence of degrees.
Tree-indexed sums of Catalan numbers
We consider a family of infinite sums of products of Catalan numbers, indexed by trees. We show that these sums are polynomials in $1/π$ with rational coefficients; the proof is effective and provides an algorithm to explicitly compute these sums. Along the way we introduce parametric liftings of our sums, and show that they are polynomials in the complete elliptic integrals of the first and second kind. Moreover, the degrees of these polynomials are at most half of the number of vertices of the tree. The computation of these tree-indexed sums is motivated by the study of large meandric systems, which are non-crossing configurations of loops in the plane.
Sharp character bounds and cutoff for symmetric groups
We develop a flexible technique to bound the characters of symmetric groups, via the Naruse hook length formula, the Larsen--Shalev character bounds, and appropriate diagram slicings. It allows us to prove a uniform exponential character bound with optimal constant $1/2$. We furthermore prove sharp character bounds for conjugacy classes having a macroscopic number of fixed points, and deduce that the random walks on the associated Cayley graphs exhibit a total variation and $L^2$ cutoff.
Characters of symmetric groups: sharp bounds on virtual degrees and the Witten zeta function
We prove sharp bounds on the virtual degrees introduced by Larsen and Shalev. This leads to improved bounds on characters of symmetric groups. We then sharpen bounds of Liebeck and Shalev concerning the Witten zeta function. Our main application is a characterization of the fixed-point free conjugacy classes whose associated random walk mixes in 2 steps.
Local limits of descent-biased permutations and trees
We study two related probabilistic models of permutations and trees biased by their number of descents. Here, a descent in a permutation $σ$ is a pair of consecutive elements $σ(i), σ(i+1)$ such that $σ(i) > σ(i+1)$. Likewise, a descent in a rooted tree with labelled vertices is a pair of a parent vertex and a child such that the label of the parent is greater than the label of the child. For some nonnegative real number $q$, we consider the probability measures on permutations and on rooted labelled trees of a given size where each permutation or tree is chosen with a probability proportional to $q^{\text{number of descents}}$. In particular, we determine the asymptotic distribution of the first elements of permutations under this model. Different phases can be observed based on how $q$ depends on the number of elements $n$ in our permutations. The results on permutations then allow us to characterize the local limit of descent-biased rooted labelled trees.
Concatenating Random Matchings
We consider the concatenation of $t$ uniformly random perfect matchings on $2n$ vertices, where the operation of concatenation is inspired by the multiplication of generators of the Brauer algebra $\mathfrak{B}_n(δ)$. For the resulting random string diagram $\mathsf{Br}_n(t)$, we observe a giant component if and only if $n$ is odd, and as $t\to\infty$ we obtain asymptotic results concerning the number of loops, the size of the giant component, and the number of loops of a given shape. Moreover, we give a local description of the giant component. These results mainly rely on the use of renewal theory and the coding of connected components of $\mathsf{Br}_n(t)$ by random vertex-exploration processes.
Central limit theorem for components in meandric systems through high moments
Published in Combinator. Probab. Comp. 33 (2024) 597-610
• View Publication
• BIB
We investigate here the behaviour of a large typical meandric system, proving a central limit theorem for the number of components of given shape. Our main tool is a theorem of Gao and Wormald, that allows us to deduce a central limit theorem from the asymptotics of large moments of our quantities of interest.
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.
Points and lines configurations for perpendicular bisectors of convex cyclic polygons
Published in Electron. J. Combin., 29(1), #P1.59, 2022
• View Publication
• BIB
We characterize the topological configurations of points and lines that may arise when placing n points on a circle and drawing the n perpendicular bisectors of the sides of the corresponding convex cyclic n-gon. We also provide exact and asymptotic formulas describing a random realizable configuration, obtained either by sampling the points uniformly at random on the circle or by sampling a realizable configuration uniformly at random.
Cube moves for $s$-embeddings and $α$-realizations
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact., 10(4), 781-817, 2023
• View Publication
• BIB
Chelkak introduced $s$-embeddings as tilings by tangential quads which provide the right setting to study the Ising model with arbitrary coupling constants on arbitrary planar graphs. We prove the existence and uniqueness of a local transformation for $s$-embeddings called the cube move, which consists in flipping three quadrilaterals in such a way that the resulting tiling is also in the class of $s$-embeddings. In passing, we give a new and simpler formula for the change in coupling constants for the Ising star-triangle transformation which is conjugated to the cube move for $s$-embeddings. We introduce more generally the class of $α$-embeddings as tilings of a portion of the plane by quadrilaterals such that the side lengths of each quadrilateral $ABCD$ satisfy the relation $AB^α+CD^α=AD^α+BC^α$, providing a common generalization for harmonic embeddings adapted to the study of resistor networks ($α=2$) and for $s$-embeddings ($α=1$). We investigate existence and uniqueness properties of the cube move for these $α$-embeddings.
Random stable type minimal factorizations of the $n$-cycle
We investigate random minimal factorizations of the $n$-cycle, that is, factorizations of the permutation $(1 \, 2 \cdots n)$ into a product of cycles $τ_1, \ldots, τ_k$ whose lengths $\ell(τ_1), \ldots, \ell(τ_k)$ verify the minimality condition $\sum_{i=1}^k(\ell(τ_i)-1)=n-1$. By associating to a cycle of the factorization a black polygon inscribed in the unit disk, and reading the cycles one after an other, we code a minimal factorization by a process of colored laminations of the disk, which are compact subsets made of red noncrossing chords delimiting faces that are either black or white. Our main result is the convergence of this process as $n \rightarrow \infty$, when the factorization is randomly chosen according to Boltzmann weights in the domain of attraction of an $α$-stable law, for some $α\in (1,2]$. The new limiting process interpolates between the unit circle and a colored version of Kortchemski's $α$-stable lamination. Our principal tool in the study of this process is a bijection between minimal factorizations and a model of size-conditioned labelled random trees whose vertices are colored black or white.