-
Sharp character bounds and cutoff profiles for symmetric groups
Authors:
Sam Olesker-Taylor,
Lucas Teyssier,
Paul Thévenin
Abstract:
We develop a flexible technique to estimate the characters of symmetric groups, via the Murnaghan--Nakayama rule, the Larsen--Shalev character bounds, the Naruse hook length formula, and appropriate diagram slicings. This allows us to prove sharp character bounds as well as asymptotic equivalents for characters of low-level representations. We also prove an optimal uniform character bound. As a re…
▽ More
We develop a flexible technique to estimate the characters of symmetric groups, via the Murnaghan--Nakayama rule, the Larsen--Shalev character bounds, the Naruse hook length formula, and appropriate diagram slicings. This allows us to prove sharp character bounds as well as asymptotic equivalents for characters of low-level representations. We also prove an optimal uniform character bound. As a result, we prove under a mild condition on the support size that random walks on symmetric groups generated by a conjugacy class exhibit a total variation and $L^2$ cutoff and find their cutoff profiles.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
Existence of critical tiltings and local limits of general size-conditioned Bienaymé-Galton-Watson multitype trees
Authors:
Rémy Poudevigne,
Paul Thévenin
Abstract:
We are interested in the structure of multitype Bienaymé-Galton-Watson (BGW) trees conditioned on integer linear combinations of the numbers of vertices of given types. We show that, under regularity assumptions on the offspring distributions, it is always possible to find a critical BGW tree having the same conditional distribution. This allows us to prove the existence of local limits for noncri…
▽ More
We are interested in the structure of multitype Bienaymé-Galton-Watson (BGW) trees conditioned on integer linear combinations of the numbers of vertices of given types. We show that, under regularity assumptions on the offspring distributions, it is always possible to find a critical BGW tree having the same conditional distribution. This allows us to prove the existence of local limits for noncritical BGW trees, under a large variety of conditionings. Our proof is based on geometric considerations on the set of the so-called exponential tiltings of a family of offspring distributions.
△ Less
Submitted 14 March, 2025;
originally announced March 2025.
-
Characters of symmetric groups: sharp bounds on virtual degrees and the Witten zeta function
Authors:
Lucas Teyssier,
Paul Thévenin
Abstract:
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.
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.
△ Less
Submitted 24 April, 2025; v1 submitted 6 November, 2024;
originally announced November 2024.
-
Local limits of descent-biased permutations and trees
Authors:
Paul Thévenin,
Stephan Wagner
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Critical exponential tiltings for size-conditioned multitype Bienaymé--Galton--Watson trees
Authors:
Paul Thévenin
Abstract:
We consider here multitype Bienaymé--Galton--Watson trees, under the conditioning that the numbers of vertices of given type satisfy some linear relations. We prove that, under some smoothness conditions on the offspring distribution $\mathbfζ$, there exists a critical offspring distribution $\tilde{\mathbfζ}$ such that the trees with offspring distribution $\mathbfζ$ and $\tilde{\mathbfζ}$ have t…
▽ More
We consider here multitype Bienaymé--Galton--Watson trees, under the conditioning that the numbers of vertices of given type satisfy some linear relations. We prove that, under some smoothness conditions on the offspring distribution $\mathbfζ$, there exists a critical offspring distribution $\tilde{\mathbfζ}$ such that the trees with offspring distribution $\mathbfζ$ and $\tilde{\mathbfζ}$ have the same law under our conditioning. This allows us in a second time to characterize the local limit of such trees, as their size goes to infinity. Our main tool is a notion of exponential tilting for multitype Bienaymé--Galton--Watson trees.
△ Less
Submitted 19 October, 2023;
originally announced October 2023.
-
Concatenating Random Matchings
Authors:
Fabian Burghart,
Paul Thévenin
Abstract:
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 nu…
▽ More
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.
△ Less
Submitted 29 October, 2024; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Central limit theorem for components in meandric systems through high moments
Authors:
Svante Janson,
Paul Thévenin
Abstract:
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.
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.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Coupling Bertoin's and Aldous-Pitman's representations of the additive coalescent
Authors:
Igor Kortchemski,
Paul Thévenin
Abstract:
We construct a coupling between two seemingly very different constructions of the standard additive coalescent, which describes the evolution of masses merging pairwise at rates proportional to their sums. The first construction, due to Aldous \& Pitman, involves the components obtained by logging the Brownian Continuum Random Tree (CRT) by a Poissonian rain on its skeleton as time increases. The…
▽ More
We construct a coupling between two seemingly very different constructions of the standard additive coalescent, which describes the evolution of masses merging pairwise at rates proportional to their sums. The first construction, due to Aldous \& Pitman, involves the components obtained by logging the Brownian Continuum Random Tree (CRT) by a Poissonian rain on its skeleton as time increases. The second one, due to Bertoin, involves the excursions above its running infimum of a linear-drifted standard Brownian excursion as its drift decreases. Our main tool is the use of an exploration algorithm of the so-called cut-tree of the Brownian CRT, which is a tree that encodes the genealogy of the fragmentation of the CRT.
△ Less
Submitted 21 December, 2023; v1 submitted 3 January, 2023;
originally announced January 2023.
-
Components in meandric systems and the infinite noodle
Authors:
Valentin Féray,
Paul Thévenin
Abstract:
We investigate here the asymptotic behaviour of a large typical meandric system. More precisely, we show the quenched local convergence of a random uniform meandric system $M_n$ on $2n$ points, as $n \rightarrow \infty$, towards the infinite noodle introduced by Curien, Kozma, Sidoravicius and Tournier ({\em Ann. Inst. Henri Poincaré D}, {6}(2):221--238, 2019). As a consequence, denoting by…
▽ More
We investigate here the asymptotic behaviour of a large typical meandric system. More precisely, we show the quenched local convergence of a random uniform meandric system $M_n$ on $2n$ points, as $n \rightarrow \infty$, towards the infinite noodle introduced by Curien, Kozma, Sidoravicius and Tournier ({\em Ann. Inst. Henri Poincaré D}, {6}(2):221--238, 2019). As a consequence, denoting by $cc( M_n)$ the number of connected components of $ M_n$, we prove the convergence in probability of $cc(M_n)/n$ to some constant $κ$, answering a question raised independently by Goulden--Nica--Puder ({\em Int. Math. Res. Not.}, 2020(4):983--1034, 2020) and Kargin ({\em Journal of Statistical Physics}, 181(6):2322--2345, 2020). This result also provides information on the asymptotic geometry of the Hasse diagram of the lattice of non-crossing partitions. Finally, we obtain expressions of the constant $κ$ as infinite sums over meanders, which allows us to compute upper and lower approximations of $κ$.
△ Less
Submitted 3 November, 2023; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Convergence of trees with a given degree sequence and of their associated laminations
Authors:
Gabriel Berzunza Ojeda,
Cecilia Holmgren,
Paul Thévenin
Abstract:
In this paper, we study uniform rooted plane trees with given degree sequence. We show, under some natural hypotheses on the degree sequence, that these trees converge toward the so-called Inhomogeneous Continuum Random Tree after renormalisation. Our proof relies on the convergence of a modification of the well-known Lukasiewicz path. We also give a unified treatment of the limit, as the number o…
▽ More
In this paper, we study uniform rooted plane trees with given degree sequence. We show, under some natural hypotheses on the degree sequence, that these trees converge toward the so-called Inhomogeneous Continuum Random Tree after renormalisation. Our proof relies on the convergence of a modification of the well-known Lukasiewicz path. We also give a unified treatment of the limit, as the number of vertices tends to infinity, of the fragmentation process derived by cutting-down the edges of a tree with a given degree sequence, including its geometric representation by a lamination-valued process. The latter is a collection of nested laminations that are compact subsets of the unit disk made of non-crossing chords. In particular, we prove an equivalence between Gromov-weak convergence of discrete trees and the convergence of their associated lamination-valued processes.
△ Less
Submitted 15 November, 2021;
originally announced November 2021.
-
Random generation and scaling limits of fixed genus factorizations into transpositions
Authors:
Valentin Féray,
Baptiste Louf,
Paul Thévenin
Abstract:
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 st…
▽ More
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.
△ Less
Submitted 7 May, 2021;
originally announced May 2021.
-
Points and lines configurations for perpendicular bisectors of convex cyclic polygons
Authors:
Paul Melotti,
Sanjay Ramassamy,
Paul Thévenin
Abstract:
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 reali…
▽ More
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.
△ Less
Submitted 23 March, 2022; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Cube moves for $s$-embeddings and $α$-realizations
Authors:
Paul Melotti,
Sanjay Ramassamy,
Paul Thévenin
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 October, 2021; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Random stable type minimal factorizations of the $n$-cycle
Authors:
Paul Thevenin
Abstract:
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 af…
▽ More
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.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
A geometric representation of fragmentation processes on stable trees
Authors:
Paul Thévenin
Abstract:
We provide a new geometric representation of a family of fragmentation processes by nested laminations, which are compact subsets of the unit disk made of noncrossing chords. We specifically consider a fragmentation obtained by cutting a random stable tree at random points, which split the tree into smaller subtrees. When coding each of these cutpoints by a chord in the unit disk, we separate the…
▽ More
We provide a new geometric representation of a family of fragmentation processes by nested laminations, which are compact subsets of the unit disk made of noncrossing chords. We specifically consider a fragmentation obtained by cutting a random stable tree at random points, which split the tree into smaller subtrees. When coding each of these cutpoints by a chord in the unit disk, we separate the disk into smaller connected components, corresponding to the smaller subtrees of the initial tree. This geometric point of view allows us in particular to highlight a new relation between the Aldous-Pitman fragmentation of the Brownian continuum random tree and minimal factorizations of the $n$-cycle, i.e. factorizations of the permutation $(1 \, 2 \, \cdots \, n)$ into a product of $(n-1)$ transpositions. We discuss various properties of these new lamination-valued processes, and we notably show that they can be coded by explicit Lévy processes.
△ Less
Submitted 17 January, 2020; v1 submitted 10 October, 2019;
originally announced October 2019.
-
Vertices with fixed outdegrees in large Galton-Watson trees
Authors:
Paul Thévenin
Abstract:
We are interested in nodes with fixed outdegrees in large conditioned Galton--Watson trees. We first study the scaling limits of processes coding the evolution of the number of such nodes in different explorations of the tree (lexicographical order and contour order) starting from the root. We give necessary and sufficient conditions for the limiting processes to be centered, thus measuring the li…
▽ More
We are interested in nodes with fixed outdegrees in large conditioned Galton--Watson trees. We first study the scaling limits of processes coding the evolution of the number of such nodes in different explorations of the tree (lexicographical order and contour order) starting from the root. We give necessary and sufficient conditions for the limiting processes to be centered, thus measuring the linearity defect of the evolution of the number of nodes with fixed outdegrees. This extends results by Labarbe & Marckert in the case of the contour-ordered counting process of leaves in uniform plane trees. Then, we extend results obtained by Janson concerning the asymptotic normality of the number of nodes with fixed outdegrees.
△ Less
Submitted 26 February, 2020; v1 submitted 18 December, 2018;
originally announced December 2018.