-
Dense and nondense limits for uniform random intersection graphs
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Valentin Féray,
Lucas Gerin,
Adeline Pierrot
Abstract:
We obtain the scaling limits of random graphs drawn uniformly in three families of intersection graphs: permutation graphs, circle graphs, and unit interval graphs. The two first families typically generate dense graphs, in these cases we prove a.s. convergence to an explicit deterministic graphon. Uniform unit interval graphs are nondense and we prove convergence in the sense of Gromov-Prokhorov…
▽ More
We obtain the scaling limits of random graphs drawn uniformly in three families of intersection graphs: permutation graphs, circle graphs, and unit interval graphs. The two first families typically generate dense graphs, in these cases we prove a.s. convergence to an explicit deterministic graphon. Uniform unit interval graphs are nondense and we prove convergence in the sense of Gromov-Prokhorov after normalization of the distances: the limiting object is the interval $[0,1]$ endowed with a random metric defined through a Brownian excursion. Asymptotic results for the number of cliques of size $k$ ($k$ fixed) in a uniform random graph in each of these three families are also given.
In all three cases, an important ingredient of the proof is that, for indecomposable graphs in each class (where the notion of indecomposability depends on the class), the combinatorial object defining the graph (permutation, matching, or intervals) is essentially unique.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Scaling limit of graph classes through split decomposition
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Valentin Féray,
Lucas Gerin,
Adeline Pierrot
Abstract:
We prove that Aldous' Brownian CRT is the scaling limit, with respect to the Gromov--Prokhorov topology, of uniform random graphs in each of the three following families of graphs: distance-hereditary graphs, $2$-connected distance-hereditary graphs and $3$-leaf power graphs. Our approach is based on the split decomposition and on analytic combinatorics.
We prove that Aldous' Brownian CRT is the scaling limit, with respect to the Gromov--Prokhorov topology, of uniform random graphs in each of the three following families of graphs: distance-hereditary graphs, $2$-connected distance-hereditary graphs and $3$-leaf power graphs. Our approach is based on the split decomposition and on analytic combinatorics.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Linear-sized independent sets in random cographs and increasing subsequences in separable permutations
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Michael Drmota,
Valentin Féray,
Lucas Gerin,
Mickaël Maazoun,
Adeline Pierrot
Abstract:
This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations.
First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Ka…
▽ More
This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations.
First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit.
Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.
△ Less
Submitted 20 May, 2021; v1 submitted 15 April, 2021;
originally announced April 2021.
-
Random cographs: Brownian graphon limit and asymptotic degree distribution
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Valentin Féray,
Lucas Gerin,
Mickaël Maazoun,
Adeline Pierrot
Abstract:
We consider uniform random cographs (either labeled or unlabeled) of large size. Our first main result is the convergence towards a Brownian limiting object in the space of graphons. We then show that the degree of a uniform random vertex in a uniform cograph is of order $n$, and converges after normalization to the Lebesgue measure on $[0,1]$. We finally analyze the vertex connectivity (i.e. the…
▽ More
We consider uniform random cographs (either labeled or unlabeled) of large size. Our first main result is the convergence towards a Brownian limiting object in the space of graphons. We then show that the degree of a uniform random vertex in a uniform cograph is of order $n$, and converges after normalization to the Lebesgue measure on $[0,1]$. We finally analyze the vertex connectivity (i.e. the minimal number of vertices whose removal disconnects the graph) of random connected cographs, and show that this statistics converges in distribution without renormalization. Unlike for the graphon limit and for the degree of a random vertex, the limiting distribution is different in the labeled and unlabeled settings.
Our proofs rely on the classical encoding of cographs via cotrees. We then use mainly combinatorial arguments, including the symbolic method and singularity analysis.
△ Less
Submitted 12 March, 2021; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Scaling limits of permutation classes with a finite specification: a dichotomy
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Valentin Féray,
Lucas Gerin,
Mickaël Maazoun,
Adeline Pierrot
Abstract:
We consider uniform random permutations in classes having a finite combinatorial specification for the substitution decomposition. These classes include (but are not limited to) all permutation classes with a finite number of simple permutations. Our goal is to study their limiting behavior in the sense of permutons.
The limit depends on the structure of the specification restricted to families…
▽ More
We consider uniform random permutations in classes having a finite combinatorial specification for the substitution decomposition. These classes include (but are not limited to) all permutation classes with a finite number of simple permutations. Our goal is to study their limiting behavior in the sense of permutons.
The limit depends on the structure of the specification restricted to families with the largest growth rate. When it is strongly connected, two cases occur. If the associated system of equations is linear, the limiting permuton is a deterministic $X$-shape. Otherwise, the limiting permuton is the Brownian separable permuton, a random object that already appeared as the limit of most substitution-closed permutation classes, among which the separable permutations. Moreover these results can be combined to study some non strongly connected cases.
To prove our result, we use a characterization of the convergence of random permutons by the convergence of random subpermutations. Key steps are the combinatorial study, via substitution trees, of families of permutations with marked elements inducing a given pattern, and the singularity analysis of the corresponding generating functions.
△ Less
Submitted 29 October, 2019; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Computation of the divided Frobenius modulo p on the cristalline cohomology of some covering of the porjective line
Authors:
Amandine Pierrot
Abstract:
In this paper, we introduce a family of hyper-elliptic curves. For this family we compute the matrix of the divided Frobenius and we obtain general formulas. We use a recent results of Huyghe-Wach : the divided Frobenius coincides with the morphism built by Deligne-Illusie in 1987.
In this paper, we introduce a family of hyper-elliptic curves. For this family we compute the matrix of the divided Frobenius and we obtain general formulas. We use a recent results of Huyghe-Wach : the divided Frobenius coincides with the morphism built by Deligne-Illusie in 1987.
△ Less
Submitted 22 November, 2018; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Universal limits of substitution-closed permutation classes
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Valentin Féray,
Lucas Gerin,
Mickaël Maazoun,
Adeline Pierrot
Abstract:
We consider uniform random permutations in proper substitution-closed classes and study their limiting behavior in the sense of permutons.
The limit depends on the generating series of the simple permutations in the class. Under a mild sufficient condition, the limit is an elementary one-parameter deformation of the limit of uniform separable permutations, previously identified as the Brownian s…
▽ More
We consider uniform random permutations in proper substitution-closed classes and study their limiting behavior in the sense of permutons.
The limit depends on the generating series of the simple permutations in the class. Under a mild sufficient condition, the limit is an elementary one-parameter deformation of the limit of uniform separable permutations, previously identified as the Brownian separable permuton. This limiting object is therefore in some sense universal. We identify two other regimes with different limiting objects. The first one is degenerate; the second one is nontrivial and related to stable trees.
These results are obtained thanks to a characterization of the convergence of random permutons through the convergence of their expected pattern densities. The limit of expected pattern densities is then computed by using the substitution tree encoding of permutations and performing singularity analysis on the tree series.
△ Less
Submitted 10 August, 2018; v1 submitted 26 June, 2017;
originally announced June 2017.
-
The Brownian limit of separable permutations
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Valentin Féray,
Lucas Gerin,
Adeline Pierrot
Abstract:
We study random uniform permutations in an important class of pattern-avoiding permutations: the separable permutations. We describe the asymptotics of the number of occurrences of any fixed given pattern in such a random permutation in terms of the Brownian excursion. In the recent terminology of permutons, our work can be interpreted as the convergence of uniform random separable permutations to…
▽ More
We study random uniform permutations in an important class of pattern-avoiding permutations: the separable permutations. We describe the asymptotics of the number of occurrences of any fixed given pattern in such a random permutation in terms of the Brownian excursion. In the recent terminology of permutons, our work can be interpreted as the convergence of uniform random separable permutations towards a "Brownian separable permuton".
△ Less
Submitted 27 February, 2017; v1 submitted 16 February, 2016;
originally announced February 2016.
-
An algorithm computing combinatorial specifications of permutation classes
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Adeline Pierrot,
Carine Pivoteau,
Dominique Rossin
Abstract:
This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations. The obtained specification yields a system of equations satisf…
▽ More
This article presents a methodology that automatically derives a combinatorial specification for a permutation class C, given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations. The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positive and algebraic. It also yields a uniform random sampler of permutations in C. The method presented is fully algorithmic.
△ Less
Submitted 31 October, 2016; v1 submitted 2 June, 2015;
originally announced June 2015.
-
An algorithm for deciding the finiteness of the number of simple permutations in permutation classes
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Adeline Pierrot,
Dominique Rossin
Abstract:
In this article, we describe an algorithm to determine whether a permutation class C given by a finite basis B of excluded patterns contains a finite number of simple permutations. This is a continuation of the work initiated in [Brignall, Ruskuc, Vatter, Simple permutations: decidability and unavoidable substructures, 2008], and shares several aspects with it. Like in this article, the main diffi…
▽ More
In this article, we describe an algorithm to determine whether a permutation class C given by a finite basis B of excluded patterns contains a finite number of simple permutations. This is a continuation of the work initiated in [Brignall, Ruskuc, Vatter, Simple permutations: decidability and unavoidable substructures, 2008], and shares several aspects with it. Like in this article, the main difficulty is to decide whether C contains a finite number of proper pin-permutations, and this decision problem is solved using automata theory. Moreover, we use an encoding of proper pin-permutations by words over a finite alphabet, introduced by Brignall et al. However, unlike in their article, our construction of automata is fully algorithmic and efficient. It is based on the study of pin-permutations in [Bassino, Bouvel, Rossin, Enumeration of pin-permutations, 2011]. The complexity of the overall algorithm is O(n log n + s^{2k}) where n denotes the sum of the sizes of permutations in the basis B, s is the maximal size of a pin-permutation in B and k is the number of pin-permutations in B.
△ Less
Submitted 8 December, 2014; v1 submitted 8 July, 2013;
originally announced July 2013.
-
2-Stack Sorting is polynomial
Authors:
Adeline Pierrot,
Dominique Rossin
Abstract:
In this article, we give a polynomial algorithm to decide whether a given permutation $σ$ is sortable with two stacks in series. This is indeed a longstanding open problem which was first introduced by Knuth. He introduced the stack sorting problem as well as permutation patterns which arises naturally when characterizing permutations that can be sorted with one stack. When several stacks in serie…
▽ More
In this article, we give a polynomial algorithm to decide whether a given permutation $σ$ is sortable with two stacks in series. This is indeed a longstanding open problem which was first introduced by Knuth. He introduced the stack sorting problem as well as permutation patterns which arises naturally when characterizing permutations that can be sorted with one stack. When several stacks in series are considered, few results are known. There are two main different problems. The first one is the complexity of deciding if a permutation is sortable or not, the second one being the characterization and the enumeration of those sortable permutations. We hereby prove that the first problem lies in P by giving a polynomial algorithm to solve it. This article strongly relies on a previous article in which 2-stack pushall sorting is defined and studied.
△ Less
Submitted 10 April, 2013;
originally announced April 2013.
-
Combinatorial specification of permutation classes
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Adeline Pierrot,
Carine Pivoteau,
Dominique Rossin
Abstract:
This article presents a methodology that automatically derives a combinatorial specification for the permutation class C = Av(B), given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations.The obtained specification yields a system of equatio…
▽ More
This article presents a methodology that automatically derives a combinatorial specification for the permutation class C = Av(B), given its basis B of excluded patterns and the set of simple permutations in C, when these sets are both finite. This is achieved considering both pattern avoidance and pattern containment constraints in permutations.The obtained specification yields a system of equations satisfied by the generating function of C, this system being always positiveand algebraic. It also yields a uniform random sampler of permutations in C. The method presentedis fully algorithmic.
△ Less
Submitted 3 April, 2012;
originally announced April 2012.
-
Deciding the finiteness of the number of simple permutations contained in a wreath-closed class is polynomial
Authors:
Frédérique Bassino,
Mathilde Bouvel,
Adeline Pierrot,
Dominique Rossin
Abstract:
We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall, Ruskuc and Vatter which presents a decision procedure (of high complexity) for solving this question, without the assumption that Av(B) is wreath-closed. Using co…
▽ More
We present an algorithm running in time O(n ln n) which decides if a wreath-closed permutation class Av(B) given by its finite basis B contains a finite number of simple permutations. The method we use is based on an article of Brignall, Ruskuc and Vatter which presents a decision procedure (of high complexity) for solving this question, without the assumption that Av(B) is wreath-closed. Using combinatorial, algorithmic and language theoretic arguments together with one of our previous results on pin-permutations, we are able to transform the problem into a co-finiteness problem in a complete deterministic automaton.
△ Less
Submitted 4 March, 2011; v1 submitted 20 February, 2010;
originally announced February 2010.