-
First Order Logic of Sparse Graphs with Given Degree Sequences
Authors:
Alberto Larrauri,
Guillem Perarnau
Abstract:
We consider limit probabilities of first order properties in random graphs with a given degree sequence. Under mild conditions on the degree sequence, we show that the closure set of limit probabilities is a finite union of closed intervals. Moreover, we characterize the degree sequences for which this closure set is the interval $[0,1]$, a property that is intimately related with the probability…
▽ More
We consider limit probabilities of first order properties in random graphs with a given degree sequence. Under mild conditions on the degree sequence, we show that the closure set of limit probabilities is a finite union of closed intervals. Moreover, we characterize the degree sequences for which this closure set is the interval $[0,1]$, a property that is intimately related with the probability that the random graph is acyclic. As a side result, we compile a full description of the cycle distribution of random graphs and study their fragment (disjoint union of unicyclic components) in the subcritical regime. Finally, we amend the proof of the existence of limit probabilities for first order properties in random graphs with a given degree sequence; this result was already claimed by Lynch~[IEEE LICS 2003] but his proof contained some inaccuracies.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
A telescopic proof of Cayley's formula
Authors:
Guillaume Chapuy,
Guillem Perarnau
Abstract:
We give a short proof of the fact that the number of labelled trees on $n$ vertices is $n^{n-2}$. Although many short proofs are known, we have not seen this one before.
We give a short proof of the fact that the number of labelled trees on $n$ vertices is $n^{n-2}$. Although many short proofs are known, we have not seen this one before.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Speeding up random walk mixing by starting from a uniform vertex
Authors:
Alberto Espuny Díaz,
Patrick Morris,
Guillem Perarnau,
Oriol Serra
Abstract:
The theory of rapid mixing random walks plays a fundamental role in the study of modern randomised algorithms. Usually, the mixing time is measured with respect to the worst initial position. It is well known that the presence of bottlenecks in a graph hampers mixing and, in particular, starting inside a small bottleneck significantly slows down the diffusion of the walk in the first steps of the…
▽ More
The theory of rapid mixing random walks plays a fundamental role in the study of modern randomised algorithms. Usually, the mixing time is measured with respect to the worst initial position. It is well known that the presence of bottlenecks in a graph hampers mixing and, in particular, starting inside a small bottleneck significantly slows down the diffusion of the walk in the first steps of the process. The average mixing time is defined to be the mixing time starting at a uniformly random vertex and hence is not sensitive to the slow diffusion caused by these bottlenecks.
In this paper we provide a general framework to show logarithmic average mixing time for random walks on graphs with small bottlenecks. The framework is especially effective on certain families of random graphs with heterogeneous properties. We demonstrate its applicability on two random models for which the mixing time was known to be of order $(\log n)^2$, speeding up the mixing to order $\log n$. First, in the context of smoothed analysis on connected graphs, we show logarithmic average mixing time for randomly perturbed graphs of bounded degeneracy. A particular instance is the Newman-Watts small-world model. Second, we show logarithmic average mixing time for supercritically percolated expander graphs. When the host graph is complete, this application gives an alternative proof that the average mixing time of the giant component in the supercritical Erdős-Rényi graph is logarithmic.
△ Less
Submitted 27 January, 2024; v1 submitted 15 August, 2022;
originally announced August 2022.
-
Short Synchronizing Words for Random Automata
Authors:
Guillaume Chapuy,
Guillem Perarnau
Abstract:
We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $ω$ of such length, and a state $v_0$, such that $ω$ sends all states to $v_0$. Prior to this work, the best upper bound was the quasilinear bound $O(n\log^3n)$ due to Nicaud (2016). The co…
▽ More
We prove that a uniformly random automaton with $n$ states on a 2-letter alphabet has a synchronizing word of length $O(n^{1/2}\log n)$ with high probability (w.h.p.). That is to say, w.h.p. there exists a word $ω$ of such length, and a state $v_0$, such that $ω$ sends all states to $v_0$. Prior to this work, the best upper bound was the quasilinear bound $O(n\log^3n)$ due to Nicaud (2016). The correct scaling exponent had been subject to various estimates by other authors between $0.5$ and $0.56$ based on numerical simulations, and our result confirms that the smallest one indeed gives a valid upper bound (with a log factor).
Our proof introduces the concept of $w$-trees, for a word $w$, that is, automata in which the $w$-transitions induce a (loop-rooted) tree. We prove a strong structure result that says that, w.h.p., a random automaton on $n$ states is a $w$-tree for some word $w$ of length at most $(1+ε)\log_2(n)$, for any $ε>0$. The existence of the (random) word $w$ is proved by the probabilistic method. This structure result is key to proving that a short synchronizing word exists.
△ Less
Submitted 3 July, 2023; v1 submitted 28 July, 2022;
originally announced July 2022.
-
Percolation on dense random graphs with given degrees
Authors:
Lyuben Lichev,
Dieter Mitsche,
Guillem Perarnau
Abstract:
In this paper, we study the order of the largest connected component of a random graph having two sources of randomness: first, the graph is chosen randomly from all graphs with a given degree sequence, and then bond percolation is applied. Far from being able to classify all such degree sequences, we exhibit several new threshold phenomena for the order of the largest component in terms of both s…
▽ More
In this paper, we study the order of the largest connected component of a random graph having two sources of randomness: first, the graph is chosen randomly from all graphs with a given degree sequence, and then bond percolation is applied. Far from being able to classify all such degree sequences, we exhibit several new threshold phenomena for the order of the largest component in terms of both sources of randomness. We also provide an example of a degree sequence for which the order of the largest component undergoes an unbounded number of jumps in terms of the percolation parameter, giving rise to a behavior that cannot be observed without percolation.
△ Less
Submitted 18 February, 2024; v1 submitted 4 February, 2022;
originally announced February 2022.
-
Largest component of subcritical random graphs with given degree sequence
Authors:
Matthew Coulson,
Guillem Perarnau
Abstract:
We study the size of the largest component of two models of random graphs with prescribed degree sequence, the configuration model (CM) and the uniform model (UM), in the (barely) subcritical regime. For the CM, we give upper bounds that are asymptotically tight for certain degree sequences. These bounds hold under mild conditions on the sequence and improve previous results of Hatami and Molloy o…
▽ More
We study the size of the largest component of two models of random graphs with prescribed degree sequence, the configuration model (CM) and the uniform model (UM), in the (barely) subcritical regime. For the CM, we give upper bounds that are asymptotically tight for certain degree sequences. These bounds hold under mild conditions on the sequence and improve previous results of Hatami and Molloy on the barely subcritical regime. For the UM, we give weaker upper bounds that are tight up to logarithmic terms but require no assumptions on the degree sequence. In particular, the latter result applies to degree sequences with infinite variance in the subcritical regime.
△ Less
Submitted 23 November, 2021;
originally announced November 2021.
-
Rankings in directed configuration models with heavy tailed in-degrees
Authors:
Xing Shi Cai,
Pietro Caputo,
Guillem Perarnau,
Matteo Quattropani
Abstract:
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum val…
▽ More
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum value of the stationary distribution and the maximum in-degree. Under the further assumption that the order statistics of the in-degrees have a power-law behavior, we show that the extremal values of the stationary distribution also have a power-law behavior with the same index. In the same setting, we prove that these results extend to the PageRank scores of the random digraph, thus confirming a version of the so-called power-law hypothesis. Along the way, we establish several facts about the model, including the mixing time cutoff and the characterization of the typical values of the stationary distribution, which were previously obtained under the assumption of bounded in-degrees.
△ Less
Submitted 16 April, 2021;
originally announced April 2021.
-
Minimum stationary values of sparse random directed graphs
Authors:
Xing Shi Cai,
Guillem Perarnau
Abstract:
We consider the stationary distribution of the simple random walk on the directed configuration model with bounded degrees. Provided that the minimum out-degree is at least $2$, with high probability (whp) there is a unique stationary distribution. We show that the minimum positive stationary value is whp $n^{-(1+C+o(1))}$ for some constant $C \ge 0$ determined by the degree distribution. In parti…
▽ More
We consider the stationary distribution of the simple random walk on the directed configuration model with bounded degrees. Provided that the minimum out-degree is at least $2$, with high probability (whp) there is a unique stationary distribution. We show that the minimum positive stationary value is whp $n^{-(1+C+o(1))}$ for some constant $C \ge 0$ determined by the degree distribution. In particular, $C$ is the competing combination of two factors: (1) the contribution of atypically "thin" in-neighbourhoods, controlled by subcritical branching processes; and (2) the contribution of atypically "light" trajectories, controlled by large deviation rate functions. Additionally, our proof implies that whp the hitting and the cover time are both $n^{1+C+o(1)}$. Our results complement those of Caputo and Quattropani who showed that if the minimum in-degree is at least 2, stationary values have logarithmic fluctuations around $n^{-1}$.
△ Less
Submitted 19 February, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Two lower bounds for $p$-centered colorings
Authors:
Loïc Dubois,
Gwenaël Joret,
Guillem Perarnau,
Marcin Pilipczuk,
François Pitois
Abstract:
Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required…
▽ More
Given a graph $G$ and an integer $p$, a coloring $f : V(G) \to \mathbb{N}$ is \emph{$p$-centered} if for every connected subgraph $H$ of $G$, either $f$ uses more than $p$ colors on $H$ or there is a color that appears exactly once in $H$. The notion of $p$-centered colorings plays a central role in the theory of sparse graphs. In this note we show two lower bounds on the number of colors required in a $p$-centered coloring.
First, we consider monotone classes of graphs whose shallow minors have average degree bounded polynomially in the radius, or equivalently (by a result of Dvořák and Norin), admitting strongly sublinear separators. We construct such a class such that $p$-centered colorings require a number of colors super-polynomial in $p$. This is in contrast with a recent result of Pilipczuk and Siebertz, who established a polynomial upper bound in the special case of graphs excluding a fixed minor.
Second, we consider graphs of maximum degree $Δ$. Dębski, Felsner, Micek, and Schröder recently proved that these graphs have $p$-centered colorings with $O(Δ^{2-1/p} p)$ colors. We show that there are graphs of maximum degree $Δ$ that require $Ω(Δ^{2-1/p} p \ln^{-1/p}Δ)$ colors in any $p$-centered coloring, thus matching their upper bound up to a logarithmic factor.
△ Less
Submitted 28 October, 2020; v1 submitted 7 June, 2020;
originally announced June 2020.
-
The giant component of the directed configuration model revisited
Authors:
Xing Shi Cai,
Guillem Perarnau
Abstract:
We prove a law of large numbers for the order and size of the largest strongly connected component in the directed configuration model. Our result extends previous work by Cooper and Frieze.
We prove a law of large numbers for the order and size of the largest strongly connected component in the directed configuration model. Our result extends previous work by Cooper and Frieze.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
The diameter of the directed configuration model
Authors:
Xing Shi Cai,
Guillem Perarnau
Abstract:
We show that the diameter of the directed configuration model with $n$ vertices rescaled by $\log n$ converges in probability to a constant. Our assumptions are the convergence of the in- and out-degree of a uniform random vertex in distribution, first and second moment. Our result extends previous results on the diameter of the model and applies to many other random directed graphs.
We show that the diameter of the directed configuration model with $n$ vertices rescaled by $\log n$ converges in probability to a constant. Our assumptions are the convergence of the in- and out-degree of a uniform random vertex in distribution, first and second moment. Our result extends previous results on the diameter of the model and applies to many other random directed graphs.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
The Glauber dynamics for edge-colourings of trees
Authors:
Michelle Delcourt,
Marc Heinrich,
Guillem Perarnau
Abstract:
Let $T$ be a tree on $n$ vertices and with maximum degree $Δ$. We show that for $k\geq Δ+1$ the Glauber dynamics for $k$-edge-colourings of $T$ mixes in polynomial time in $n$. The bound on the number of colours is best possible as the chain is not even ergodic for $k \leq Δ$. Our proof uses a recursive decomposition of the tree into subtrees; we bound the relaxation time of the original tree in t…
▽ More
Let $T$ be a tree on $n$ vertices and with maximum degree $Δ$. We show that for $k\geq Δ+1$ the Glauber dynamics for $k$-edge-colourings of $T$ mixes in polynomial time in $n$. The bound on the number of colours is best possible as the chain is not even ergodic for $k \leq Δ$. Our proof uses a recursive decomposition of the tree into subtrees; we bound the relaxation time of the original tree in terms of the relaxation time of its subtrees using block dynamics and chain comparison techniques. Of independent interest, we also introduce a monotonicity result for Glauber dynamics that simplifies our proof.
△ Less
Submitted 30 July, 2020; v1 submitted 13 December, 2018;
originally announced December 2018.
-
Frozen $(Δ+1)$-colourings of bounded degree graphs
Authors:
Marthe Bonamy,
Nicolas Bousquet,
Guillem Perarnau
Abstract:
Let $G$ be a graph of maximum degree $Δ$ and $k$ be an integer. The $k$-recolouring graph of $G$ is the graph whose vertices are $k$-colourings of $G$ and where two $k$-colourings are adjacent if they differ at exactly one vertex. It is well-known that the $k$-recolouring graph is connected for $k\geq Δ+2$. Feghali, Johnson and Paulusma [Journal of Graph Theory, 83(4):340--358] showed that the…
▽ More
Let $G$ be a graph of maximum degree $Δ$ and $k$ be an integer. The $k$-recolouring graph of $G$ is the graph whose vertices are $k$-colourings of $G$ and where two $k$-colourings are adjacent if they differ at exactly one vertex. It is well-known that the $k$-recolouring graph is connected for $k\geq Δ+2$. Feghali, Johnson and Paulusma [Journal of Graph Theory, 83(4):340--358] showed that the $(Δ+1)$-recolouring graph is composed by a unique connected component of size at least $2$ and (possibly many) isolated vertices.
In this paper, we study the proportion of isolated vertices (also called frozen colourings) in the $(Δ+1)$-recolouring graph. Our main contribution is to show that, if $G$ is connected, the proportion of frozen colourings of $G$ is exponentially smaller than the total number of colourings. This motivates the study of the Glauber dynamics on $(Δ+1)$-colourings. In contrast to the conjectured mixing time for $k\geq Δ+2$ colours, we show that the mixing time of the Glauber dynamics for $(Δ+1)$-colourings can be of quadratic order. Finally, we prove some results about the existence of graphs with large girth and frozen colourings, and study frozen colourings in random regular graphs.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
Improved Bounds for Randomly Sampling Colorings via Linear Programming
Authors:
Sitan Chen,
Michelle Delcourt,
Ankur Moitra,
Guillem Perarnau,
Luke Postle
Abstract:
A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k\geΔ+2$. In FOCS 1999, Vigoda showed that the flip dynamics (and therefore also Glauber dynamics) is rapidly mixing for any $k>\frac{11}{6}Δ$. It turns out that there is a natural barrier at…
▽ More
A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k\geΔ+2$. In FOCS 1999, Vigoda showed that the flip dynamics (and therefore also Glauber dynamics) is rapidly mixing for any $k>\frac{11}{6}Δ$. It turns out that there is a natural barrier at $\frac{11}{6}$, below which there is no one-step coupling that is contractive with respect to the Hamming metric, even for the flip dynamics.
We use linear programming and duality arguments to fully characterize the obstructions to going beyond $\frac{11}{6}$. These extremal configurations turn out to be quite brittle, and in this paper we use this to give two proofs that the Glauber dynamics is rapidly mixing for any $k\ge\left(\frac{11}{6} - ε_0\right)Δ$ for some absolute constant $ε_0>0$. This is the first improvement to Vigoda's result that holds for general graphs. Our first approach analyzes a variable-length coupling in which these configurations break apart with high probability before the coupling terminates, and our other approach analyzes a one-step path coupling with a new metric that counts the extremal configurations. Additionally, our results extend to list coloring, a widely studied generalization of coloring, where the previously best known results required $k > 2 Δ$.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
A Rainbow Dirac's Theorem
Authors:
Matthew Coulson,
Guillem Perarnau
Abstract:
A famous theorem of Dirac states that any graph on $n$ vertices with minimum degree at least $n/2$ has a Hamilton cycle. Such graphs are called Dirac graphs. Strengthening this result, we show the existence of rainbow Hamilton cycles in $μn$-bounded colourings of Dirac graphs for sufficiently small $μ>0$.
A famous theorem of Dirac states that any graph on $n$ vertices with minimum degree at least $n/2$ has a Hamilton cycle. Such graphs are called Dirac graphs. Strengthening this result, we show the existence of rainbow Hamilton cycles in $μn$-bounded colourings of Dirac graphs for sufficiently small $μ>0$.
△ Less
Submitted 17 September, 2018;
originally announced September 2018.
-
On the number of coloured triangulations of $d$-manifolds
Authors:
Guillaume Chapuy,
Guillem Perarnau
Abstract:
We give superexponential lower and upper bounds on the number of coloured $d$-dimensional triangulations whose underlying space is an oriented manifold, when the number of simplices goes to infinity and $d\geq 3$ is fixed. In the special case of dimension $3$, the lower and upper bounds match up to exponential factors, and we show that there are $2^{O(n)} n^{\frac{n}{6}}$ coloured triangulations o…
▽ More
We give superexponential lower and upper bounds on the number of coloured $d$-dimensional triangulations whose underlying space is an oriented manifold, when the number of simplices goes to infinity and $d\geq 3$ is fixed. In the special case of dimension $3$, the lower and upper bounds match up to exponential factors, and we show that there are $2^{O(n)} n^{\frac{n}{6}}$ coloured triangulations of $3$-manifolds with $n$ tetrahedra. Our results also imply that random coloured triangulations of $3$-manifolds have a sublinear number of vertices. Our upper bounds apply in particular to coloured $d$-spheres for which they seem to be the best known bounds in any dimension $d\geq 3$, even though it is often conjectured that exponential bounds hold in this case.
We also ask a related question on regular edge-coloured graphs having the property that each $3$-coloured component is planar, which is of independent interest.
△ Less
Submitted 13 February, 2020; v1 submitted 3 July, 2018;
originally announced July 2018.
-
Rapid mixing of Glauber dynamics for colorings below Vigoda's $11/6$ threshold
Authors:
Michelle Delcourt,
Guillem Perarnau,
Luke Postle
Abstract:
A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k \geq Δ+2$. In FOCS 1999, Vigoda showed rapid mixing of flip dynamics with certain flip parameters on the set of proper $k$-colorings for $k > \frac{11}{6}Δ$, implying rapid mixing for Glauber dynamic…
▽ More
A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k \geq Δ+2$. In FOCS 1999, Vigoda showed rapid mixing of flip dynamics with certain flip parameters on the set of proper $k$-colorings for $k > \frac{11}{6}Δ$, implying rapid mixing for Glauber dynamics. In this paper, we obtain the first improvement beyond the $\frac{11}{6}Δ$ barrier for general graphs by showing rapid mixing for $k > (\frac{11}{6} - η)Δ$ for some positive constant $η$. The key to our proof is combining path coupling with a new kind of metric that incorporates a count of the extremal configurations of the chain. Additionally, our results extend to list coloring, a widely studied generalization of coloring. Combined, these results answer two open questions from Frieze and Vigoda's 2007 survey paper on Glauber dynamics for colorings.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Rainbow factors in hypergraphs
Authors:
Matthew Coulson,
Peter Keevash,
Guillem Perarnau,
Liana Yepremyan
Abstract:
For any $r$-graph $H$, we consider the problem of finding a rainbow $H$-factor in an $r$-graph $G$ with large minimum $\ell$-degree and an edge-colouring that is suitably bounded. We show that the asymptotic degree threshold is the same as that for finding an $H$-factor.
For any $r$-graph $H$, we consider the problem of finding a rainbow $H$-factor in an $r$-graph $G$ with large minimum $\ell$-degree and an edge-colouring that is suitably bounded. We show that the asymptotic degree threshold is the same as that for finding an $H$-factor.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Rainbow matchings in Dirac bipartite graphs
Authors:
Matthew Coulson,
Guillem Perarnau
Abstract:
We show the existence of rainbow perfect matchings in $μn$-bounded edge colourings of Dirac bipartite graphs, for a sufficiently small $μ>0$. As an application of our results, we obtain several results on the existence of rainbow $k$-factors in Dirac graphs and rainbow spanning subgraphs of bounded maximum degree on graphs with large minimum degree.
We show the existence of rainbow perfect matchings in $μn$-bounded edge colourings of Dirac bipartite graphs, for a sufficiently small $μ>0$. As an application of our results, we obtain several results on the existence of rainbow $k$-factors in Dirac graphs and rainbow spanning subgraphs of bounded maximum degree on graphs with large minimum degree.
△ Less
Submitted 14 December, 2017; v1 submitted 8 November, 2017;
originally announced November 2017.
-
Critical percolation on random regular graphs
Authors:
Felix Joos,
Guillem Perarnau
Abstract:
We show that for all $d\in \{3,\ldots,n-1\}$ the size of the largest component of a random $d$-regular graph on $n$ vertices around the percolation threshold $p=1/(d-1)$ is $Θ(n^{2/3})$, with high probability. This extends known results for fixed $d\geq 3$ and for $d=n-1$, confirming a prediction of Nachmias and Peres on a question of Benjamini. As a corollary, for the largest component of the per…
▽ More
We show that for all $d\in \{3,\ldots,n-1\}$ the size of the largest component of a random $d$-regular graph on $n$ vertices around the percolation threshold $p=1/(d-1)$ is $Θ(n^{2/3})$, with high probability. This extends known results for fixed $d\geq 3$ and for $d=n-1$, confirming a prediction of Nachmias and Peres on a question of Benjamini. As a corollary, for the largest component of the percolated random $d$-regular graph, we also determine the diameter and the mixing time of the lazy random walk. In contrast to previous approaches, our proof is based on a simple application of the switching method.
△ Less
Submitted 17 January, 2018; v1 submitted 10 March, 2017;
originally announced March 2017.
-
Percolation on random graphs with a fixed degree sequence
Authors:
Nikolaos Fountoulakis,
Felix Joos,
Guillem Perarnau
Abstract:
We consider bond percolation on random graphs with given degrees and bounded average degree. In particular, we consider the order of the largest component after the random deletion of the edges of such a random graph. We give a rough characterisation of those degree distributions for which bond percolation with high probability leaves a component of linear order, known usually as a giant component…
▽ More
We consider bond percolation on random graphs with given degrees and bounded average degree. In particular, we consider the order of the largest component after the random deletion of the edges of such a random graph. We give a rough characterisation of those degree distributions for which bond percolation with high probability leaves a component of linear order, known usually as a giant component. We show that essentially the critical condition has to do with the tail of the degree distribution. Our proof makes use of recent technique introduced by Joos et al. [FOCS 2016, pp. 695--703], which is based on the switching method and avoids the use of the classic configuration model as well as the hypothesis of having a limiting object. Thus our results hold for sparse degree sequences without the usual restrictions that accompany the configuration model.
△ Less
Submitted 11 January, 2022; v1 submitted 25 November, 2016;
originally announced November 2016.
-
Counting independent sets in cubic graphs of given girth
Authors:
Guillem Perarnau,
Will Perkins
Abstract:
We prove a tight upper bound on the independence polynomial (and total number of independent sets) of cubic graphs of girth at least 5. The bound is achieved by unions of the Heawood graph, the point/line incidence graph of the Fano plane.
We also give a tight lower bound on the total number of independent sets of triangle-free cubic graphs. This bound is achieved by unions of the Petersen graph…
▽ More
We prove a tight upper bound on the independence polynomial (and total number of independent sets) of cubic graphs of girth at least 5. The bound is achieved by unions of the Heawood graph, the point/line incidence graph of the Fano plane.
We also give a tight lower bound on the total number of independent sets of triangle-free cubic graphs. This bound is achieved by unions of the Petersen graph.
We conjecture that in fact all Moore graphs are extremal for the scaled number of independent sets in regular graphs of a given minimum girth, maximizing this quantity if their girth is even and minimizing if odd. The Heawood and Petersen graphs are instances of this conjecture, along with complete graphs, complete bipartite graphs, and cycles.
△ Less
Submitted 11 April, 2018; v1 submitted 4 November, 2016;
originally announced November 2016.
-
Local convergence and stability of tight bridge-addable graph classes
Authors:
Guillaume Chapuy,
Guillem Perarnau
Abstract:
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. The authors recently proved a conjecture of McDiarmid, Steger, and Welsh stating that if $\mathcal{G}$ is bridge-addable and $G_n$ is a uniform $n$-vertex graph from $\mathcal{G}$, then $G_n$ is connected with probability at least…
▽ More
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. The authors recently proved a conjecture of McDiarmid, Steger, and Welsh stating that if $\mathcal{G}$ is bridge-addable and $G_n$ is a uniform $n$-vertex graph from $\mathcal{G}$, then $G_n$ is connected with probability at least $(1+o_n(1))e^{-1/2}$. The constant $e^{-1/2}$ is best possible since it is reached for the class of all forests.
In this paper we prove a form of uniqueness in this statement: if $\mathcal{G}$ is a bridge-addable class and the random graph $G_n$ is connected with probability close to $e^{-1/2}$, then $G_n$ is asymptotically close to a uniform $n$-vertex random forest in some local sense. For example, if the probability converges to $e^{-1/2}$, then $G_n$ converges in the sense of Benjamini-Schramm to the uniform infinite random forest $F_\infty$. This result is reminiscent of so-called "stability results" in extremal graph theory, with the difference that here the stable extremum is not a graph but a graph class.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
How to determine if a random graph with a fixed degree sequence has a giant component
Authors:
Felix Joos,
Guillem Perarnau,
Dieter Rautenbach,
Bruce Reed
Abstract:
For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant component with high probability, essentially imposing no conditions on $\mathcal{D}$. We simply insist that the sum of the degrees in $\mathcal{D}$ which are not 2 i…
▽ More
For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant component with high probability, essentially imposing no conditions on $\mathcal{D}$. We simply insist that the sum of the degrees in $\mathcal{D}$ which are not 2 is at least $λ(n)$ for some function $λ$ going to infinity with $n$. This is a relatively minor technical condition, and when $\mathcal{D}$ does not satisfy it, both the probability that $G(\mathcal{D})$ has a giant component and the probability that $G(\mathcal{D})$ has no giant component are bounded away from $1$.
△ Less
Submitted 31 January, 2017; v1 submitted 14 January, 2016;
originally announced January 2016.
-
Diameter and Stationary Distribution of Random $r$-out Digraphs
Authors:
Louigi Addario-Berry,
Borja Balle,
Guillem Perarnau
Abstract:
Let $D(n,r)$ be a random $r$-out regular directed multigraph on the set of vertices $\{1,\ldots,n\}$. In this work, we establish that for every $r \ge 2$, there exists $η_r>0$ such that $\text{diam}(D(n,r))=(1+η_r+o(1))\log_r{n}$. Our techniques also allow us to bound some extremal quantities related to the stationary distribution of a simple random walk on $D(n,r)$. In particular, we determine th…
▽ More
Let $D(n,r)$ be a random $r$-out regular directed multigraph on the set of vertices $\{1,\ldots,n\}$. In this work, we establish that for every $r \ge 2$, there exists $η_r>0$ such that $\text{diam}(D(n,r))=(1+η_r+o(1))\log_r{n}$. Our techniques also allow us to bound some extremal quantities related to the stationary distribution of a simple random walk on $D(n,r)$. In particular, we determine the asymptotic behaviour of $π_{\max}$ and $π_{\min}$, the maximum and the minimum values of the stationary distribution. We show that with high probability $π_{\max} = n^{-1+o(1)}$ and $π_{\min}=n^{-(1+η_r)+o(1)}$. Our proof shows that the vertices with $π(v)$ near to $π_{\min}$ lie at the top of "narrow, slippery towers", such vertices are also responsible for increasing the diameter from $(1+o(1))\log_r n$ to $(1+η_r+o(1))\log_r{n}$.
△ Less
Submitted 26 April, 2015;
originally announced April 2015.
-
Connectivity in bridge-addable graph classes: the McDiarmid-Steger-Welsh conjecture
Authors:
Guillaume Chapuy,
Guillem Perarnau
Abstract:
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. We prove a conjecture of McDiarmid, Steger, and Welsh, that says that if $\mathcal{G}_n$ is any bridge-addable class of graphs on $n$ vertices, and $G_n$ is taken uniformly at random from $\mathcal{G}_n$, then $G_n$ is connected w…
▽ More
A class of graphs is bridge-addable if given a graph $G$ in the class, any graph obtained by adding an edge between two connected components of $G$ is also in the class. We prove a conjecture of McDiarmid, Steger, and Welsh, that says that if $\mathcal{G}_n$ is any bridge-addable class of graphs on $n$ vertices, and $G_n$ is taken uniformly at random from $\mathcal{G}_n$, then $G_n$ is connected with probability at least $e^{-\frac{1}{2}} + o(1)$, when $n$ tends to infinity. This lower bound is asymptotically best possible since it is reached for forests.
Our proof uses a "local double counting" strategy that may be of independent interest, and that enables us to compare the size of two sets of combinatorial objects by solving a related multivariate optimization problem. In our case, the optimization problem deals with partition functions of trees relative to a supermultiplicative functional.
△ Less
Submitted 25 April, 2017; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Fast Recoloring of Sparse Graphs
Authors:
Nicolas Bousquet,
Guillem Perarnau
Abstract:
In this paper, we show that for every graph of maximum average degree bounded away from $d$, any $(d+1)$-coloring can be transformed into any other one within a polynomial number of vertex recolorings so that, at each step, the current coloring is proper. In particular, it implies that we can transform any $8$-coloring of a planar graph into any other $8$-coloring with a polynomial number of recol…
▽ More
In this paper, we show that for every graph of maximum average degree bounded away from $d$, any $(d+1)$-coloring can be transformed into any other one within a polynomial number of vertex recolorings so that, at each step, the current coloring is proper. In particular, it implies that we can transform any $8$-coloring of a planar graph into any other $8$-coloring with a polynomial number of recolorings. These results give some evidence on a conjecture of Cereceda, van den Heuvel and Johnson which asserts that any $(d+2)$ coloring of a $d$-degenerate graph can be transformed into any other one using a polynomial number of recolorings.
We also show that any $(2d+2)$-coloring of a $d$-degenerate graph can be transformed into any other one using a linear number of recolorings.
△ Less
Submitted 25 November, 2014;
originally announced November 2014.
-
Acyclic edge colourings of graphs with large girth
Authors:
Xing Shi Cai,
Guillem Perarnau,
Bruce Reed,
Adam Bene Watts
Abstract:
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
△ Less
Submitted 23 June, 2016; v1 submitted 11 November, 2014;
originally announced November 2014.
-
Decomposition of bounded degree graphs into $C_4$-free subgraphs
Authors:
Ross J. Kang,
Guillem Perarnau
Abstract:
We prove that every graph with maximum degree $Δ$ admits a partition of its edges into $O(\sqrtΔ)$ parts (as $Δ\to\infty$) none of which contains $C_4$ as a subgraph. This bound is sharp up to a constant factor. Our proof uses an iterated random colouring procedure.
We prove that every graph with maximum degree $Δ$ admits a partition of its edges into $O(\sqrtΔ)$ parts (as $Δ\to\infty$) none of which contains $C_4$ as a subgraph. This bound is sharp up to a constant factor. Our proof uses an iterated random colouring procedure.
△ Less
Submitted 23 September, 2014; v1 submitted 8 August, 2014;
originally announced August 2014.
-
Correlation among runners and some results on the Lonely Runner Conjecture
Authors:
Guillem Perarnau,
Oriol Serra
Abstract:
The Lonely Runner Conjecture was posed independently by Wills and Cusick and has many applications in different mathematical fields, such as diophantine approximation. This well-known conjecture states that for any set of runners running along the unit circle with constant different speeds and starting at the same point, there is a moment where all of them are far enough from the origin. We study…
▽ More
The Lonely Runner Conjecture was posed independently by Wills and Cusick and has many applications in different mathematical fields, such as diophantine approximation. This well-known conjecture states that for any set of runners running along the unit circle with constant different speeds and starting at the same point, there is a moment where all of them are far enough from the origin. We study the correlation among the time that runners spend close to the origin. By means of these correlations, we improve a result of Chen on the gap of loneliness and we extend an invisible runner result of Czerwinski and Grytczuk. In the last part, we introduce dynamic interval graphs to deal with a weak version of the conjecture thus providing some new results.
△ Less
Submitted 12 September, 2015; v1 submitted 12 July, 2014;
originally announced July 2014.
-
Existence of spanning $\mathcal{F}$-free subgraphs with large minimum degree
Authors:
Guillem Perarnau,
Bruce Reed
Abstract:
Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete…
▽ More
Let $\mathcal{F}$ be a family of fixed graphs and let $d$ be large enough. For every $d$-regular graph $G$, we study the existence of a spanning $\mathcal{F}$-free subgraph of $G$ with large minimum degree. This problem is well-understood if $\mathcal{F}$ does not contain bipartite graphs. Here we provide asymptotically tight results for many families of bipartite graphs such as cycles or complete bipartite graphs.
△ Less
Submitted 9 December, 2016; v1 submitted 30 April, 2014;
originally announced April 2014.
-
On the relation between graph distance and Euclidean distance in random geometric graphs
Authors:
Josep Díaz,
Dieter Mitsche,
Guillem Perarnau,
Xavier Pérez-Giménez
Abstract:
Given any two vertices u, v of a random geometric graph, denote by d_E(u,v) their Euclidean distance and by d_G(u,v) their graph distance. The problem of finding upper bounds on d_G(u,v) in terms of d_E(u,v) has received a lot of attention in the literature. In this paper, we improve these upper bounds for values of r=omega(sqrt(log n)) (i.e. for r above the connectivity threshold). Our result als…
▽ More
Given any two vertices u, v of a random geometric graph, denote by d_E(u,v) their Euclidean distance and by d_G(u,v) their graph distance. The problem of finding upper bounds on d_G(u,v) in terms of d_E(u,v) has received a lot of attention in the literature. In this paper, we improve these upper bounds for values of r=omega(sqrt(log n)) (i.e. for r above the connectivity threshold). Our result also improves the best-known estimates on the diameter of random geometric graphs. We also provide a lower bound on d_G(u,v) in terms of d_E(u,v).
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Large subgraphs without short cycles
Authors:
Florent Foucaud,
Michael Krivelevich,
Guillem Perarnau
Abstract:
We study two extremal problems about subgraphs excluding a family $\F$ of graphs. i) Among all graphs with $m$ edges, what is the smallest size $f(m,\F)$ of a largest $\F$--free subgraph? ii) Among all graphs with minimum degree $δ$ and maximum degree $Δ$, what is the smallest minimum degree $h(δ,Δ,\F)$ of a spanning $\F$--free subgraph with largest minimum degree? These questions are easy to answ…
▽ More
We study two extremal problems about subgraphs excluding a family $\F$ of graphs. i) Among all graphs with $m$ edges, what is the smallest size $f(m,\F)$ of a largest $\F$--free subgraph? ii) Among all graphs with minimum degree $δ$ and maximum degree $Δ$, what is the smallest minimum degree $h(δ,Δ,\F)$ of a spanning $\F$--free subgraph with largest minimum degree? These questions are easy to answer for families not containing any bipartite graph. We study the case where $\F$ is composed of all even cycles of length at most $2r$, $r\geq 2$. In this case, we give bounds on $f(m,\F)$ and $h(δ,Δ,\F)$ that are essentially asymptotically tight up to a logarithmic factor. In particular for every graph $G$, we show the existence of subgraphs with arbitrarily high girth, and with either many edges or large minimum degree. These subgraphs are created using probabilistic embeddings of a graph into extremal graphs.
△ Less
Submitted 16 October, 2014; v1 submitted 20 January, 2014;
originally announced January 2014.
-
An Interlacing Approach for Bounding the Sum of Laplacian Eigenvalues of Graphs
Authors:
A. Abiad,
M. A. Fiol,
W. H. Haemers,
G. Perarnau
Abstract:
We apply eigenvalue interlacing techniques for obtaining lower and upper bounds for the sums of Laplacian eigenvalues of graphs, and characterize equality. This leads to generalizations of, and variations on theorems by Grone, and Grone and Merris. As a consequence we obtain inequalities involving bounds for some well-known parameters of a graph, such as edge-connectivity, and the isoperimetric nu…
▽ More
We apply eigenvalue interlacing techniques for obtaining lower and upper bounds for the sums of Laplacian eigenvalues of graphs, and characterize equality. This leads to generalizations of, and variations on theorems by Grone, and Grone and Merris. As a consequence we obtain inequalities involving bounds for some well-known parameters of a graph, such as edge-connectivity, and the isoperimetric number.
△ Less
Submitted 19 November, 2013; v1 submitted 17 July, 2013;
originally announced July 2013.
-
Random subgraphs make identification affordable
Authors:
Florent Foucaud,
Guillem Perarnau,
Oriol Serra
Abstract:
An identifying code of a graph is a dominating set which uniquely determines all the vertices by their neighborhood within the code. Whereas graphs with large minimum degree have small domination number, this is not the case for the identifying code number (the size of a smallest identifying code), which indeed is not even a monotone parameter with respect to graph inclusion.
We show that every…
▽ More
An identifying code of a graph is a dominating set which uniquely determines all the vertices by their neighborhood within the code. Whereas graphs with large minimum degree have small domination number, this is not the case for the identifying code number (the size of a smallest identifying code), which indeed is not even a monotone parameter with respect to graph inclusion.
We show that every graph $G$ with $n$ vertices, maximum degree $Δ=ω(1)$ and minimum degree $δ\geq c\logΔ$, for some constant $c>0$, contains a large spanning subgraph which admits an identifying code with size $O\left(\frac{n\logΔ}δ\right)$. In particular, if $δ=Θ(n)$, then $G$ has a dense spanning subgraph with identifying code $O\left(\log n\right)$, namely, of asymptotically optimal size. The subgraph we build is created using a probabilistic approach, and we use an interplay of various random methods to analyze it. Moreover we show that the result is essentially best possible, both in terms of the number of deleted edges and the size of the identifying code.
△ Less
Submitted 4 June, 2013;
originally announced June 2013.
-
A probabilistic approach to consecutive pattern avoiding in permutations
Authors:
Guillem Perarnau
Abstract:
We present a new approach to the problem of enumerating permutations of length n that avoid a fixed consecutive pattern of length m. We use this idea to give explicit upper and lower bounds on the number of permutations avoiding a pattern of length m. As a corollary, we obtain a simple proof of the CMP conjecture, regarding the most avoided pattern, recently shown by Elizalde. Finally, we also sho…
▽ More
We present a new approach to the problem of enumerating permutations of length n that avoid a fixed consecutive pattern of length m. We use this idea to give explicit upper and lower bounds on the number of permutations avoiding a pattern of length m. As a corollary, we obtain a simple proof of the CMP conjecture, regarding the most avoided pattern, recently shown by Elizalde. Finally, we also show that most of the patterns behave similar to the least avoided one.
△ Less
Submitted 28 August, 2012; v1 submitted 27 August, 2012;
originally announced August 2012.
-
Matchings in Random Biregular Bipartite Graphs
Authors:
Guillem Perarnau,
Giorgis Petridis
Abstract:
We study the existence of perfect matchings in suitably chosen induced subgraphs of random biregular bipartite graphs. We prove a result similar to a classical theorem of Erdos and Renyi about perfect matchings in random bipartite graphs. We also present an application to commutative graphs, a class of graphs that are featured in additive number theory.
We study the existence of perfect matchings in suitably chosen induced subgraphs of random biregular bipartite graphs. We prove a result similar to a classical theorem of Erdos and Renyi about perfect matchings in random bipartite graphs. We also present an application to commutative graphs, a class of graphs that are featured in additive number theory.
△ Less
Submitted 12 June, 2012; v1 submitted 18 May, 2012;
originally announced May 2012.
-
Locally identifying colourings for graphs with given maximum degree
Authors:
Florent Foucaud,
Iiro Honkala,
Tero Laihonen,
Aline Parreau,
Guillem Perarnau
Abstract:
A proper vertex-colouring of a graph G is said to be locally identifying if for any pair u,v of adjacent vertices with distinct closed neighbourhoods, the sets of colours in the closed neighbourhoods of u and v are different. We show that any graph G has a locally identifying colouring with $2Δ^2-3Δ+3$ colours, where $Δ$ is the maximum degree of G, answering in a positive way a question asked by E…
▽ More
A proper vertex-colouring of a graph G is said to be locally identifying if for any pair u,v of adjacent vertices with distinct closed neighbourhoods, the sets of colours in the closed neighbourhoods of u and v are different. We show that any graph G has a locally identifying colouring with $2Δ^2-3Δ+3$ colours, where $Δ$ is the maximum degree of G, answering in a positive way a question asked by Esperet et al. We also provide similar results for locally identifying colourings which have the property that the colours in the neighbourhood of each vertex are all different and apply our method to the class of chordal graphs.
△ Less
Submitted 26 January, 2012; v1 submitted 13 August, 2011;
originally announced August 2011.
-
Rainbow Matchings: existence and counting
Authors:
Guillem Perarnau,
Oriol Serra
Abstract:
A perfect matching M in an edge-colored complete bipartite graph K_{n,n} is rainbow if no pair of edges in M have the same color. We obtain asymptotic enumeration results for the number of rainbow matchings in terms of the maximum number of occurrences of a color. We also consider two natural models of random edge-colored K_{n,n} and show that, if the number of colors is at least n, then there is…
▽ More
A perfect matching M in an edge-colored complete bipartite graph K_{n,n} is rainbow if no pair of edges in M have the same color. We obtain asymptotic enumeration results for the number of rainbow matchings in terms of the maximum number of occurrences of a color. We also consider two natural models of random edge-colored K_{n,n} and show that, if the number of colors is at least n, then there is with high probability a random matching. This in particular shows that almost every square matrix of order n in which every entry appears at most n times has a Latin transversal.
△ Less
Submitted 14 April, 2011;
originally announced April 2011.
-
On the tree-depth of Random Graphs
Authors:
Guillem Perarnau,
Oriol Serra
Abstract:
The tree-depth is a parameter introduced under several names as a measure of sparsity of a graph. We compute asymptotic values of the tree-depth of random graphs. For dense graphs, p>> 1/n, the tree-depth of a random graph G is a.a.s. td(G)=n-O(sqrt(n/p)). Random graphs with p=c/n, have a.a.s. linear tree-depth when c>1, the tree-depth is Theta (log n) when c=1 and Theta (loglog n) for c<1. The re…
▽ More
The tree-depth is a parameter introduced under several names as a measure of sparsity of a graph. We compute asymptotic values of the tree-depth of random graphs. For dense graphs, p>> 1/n, the tree-depth of a random graph G is a.a.s. td(G)=n-O(sqrt(n/p)). Random graphs with p=c/n, have a.a.s. linear tree-depth when c>1, the tree-depth is Theta (log n) when c=1 and Theta (loglog n) for c<1. The result for c>1 is derived from the computation of tree-width and provides a more direct proof of a conjecture by Gao on the linearity of tree-width recently proved by Lee, Lee and Oum. We also show that, for c=1, every width parameter is a.a.s. constant, and that random regular graphs have linear tree-depth.
△ Less
Submitted 15 February, 2012; v1 submitted 12 April, 2011;
originally announced April 2011.
-
Bounds for identifying codes in terms of degree parameters
Authors:
Florent Foucaud,
Guillem Perarnau
Abstract:
An identifying code is a subset of vertices of a graph such that each vertex is uniquely determined by its neighbourhood within the identifying code. If $\M(G)$ denotes the minimum size of an identifying code of a graph $G$, it was conjectured by F. Foucaud, R. Klasing, A. Kosowski and A. Raspaud that there exists a constant $c$ such that if a connected graph $G$ with $n$ vertices and maximum degr…
▽ More
An identifying code is a subset of vertices of a graph such that each vertex is uniquely determined by its neighbourhood within the identifying code. If $\M(G)$ denotes the minimum size of an identifying code of a graph $G$, it was conjectured by F. Foucaud, R. Klasing, A. Kosowski and A. Raspaud that there exists a constant $c$ such that if a connected graph $G$ with $n$ vertices and maximum degree $d$ admits an identifying code, then $\M(G)\leq n-\tfrac{n}{d}+c$. We use probabilistic tools to show that for any $d\geq 3$, $\M(G)\leq n-\tfrac{n}{Θ(d)}$ holds for a large class of graphs containing, among others, all regular graphs and all graphs of bounded clique number. This settles the conjecture (up to constants) for these classes of graphs. In the general case, we prove $\M(G)\leq n-\tfrac{n}{Θ(d^{3})}$. In a second part, we prove that in any graph $G$ of minimum degree $δ$ and girth at least 5, $\M(G)\leq(1+o_δ(1))\tfrac{3\logδ}{2δ}n$. Using the former result, we give sharp estimates for the size of the minimum identifying code of random $d$-regular graphs, which is about $\tfrac{\log d}{d}n$.
△ Less
Submitted 21 September, 2012; v1 submitted 19 March, 2011;
originally announced March 2011.