Diameter and long paths in critical digraph

Arthur Blanc-Renaudie

2023-05-09

Abstract:We study the random directed graph $\vec G(n,p)$ in which each of the $n(n-1)$ possible directed edges are present with probability $p$. We show that in the critical window the longest self avoiding oriented paths in $\vec G(n,p)$ have length $O_{\mathbb{P}}(n^{1/3})$ so $\vec G(n,p)$ has diameter $O_{\mathbb{P}}(n^{1/3})$.

Probability

What problem does this paper attempt to address?

Diameters in Supercritical Random Graphs Via First Passage Percolation

Jian Ding,Jeong Han Kim,Eyal Lubetzky,Yuval Peres

DOI: https://doi.org/10.1017/s0963548310000301

2010-01-01

Abstract:We study the diameter of1, the largest component of the Erdős–Rényi random graph(n,p) in the emerging supercritical phase,i.e., forp=$\frac{1+\epsilon}n$where ε3n→ ∞ and ε =o(1). This parameter was extensively studied for fixed ε > 0, yet results for ε =o(1) outside the critical window were only obtained very recently. Prior to this work, Riordan and Wormald gave precise estimates on the diameter; however, these did not cover the entire supercritical regime (namely, when ε3n→ ∞ arbitrarily slowly). Łuczak and Seierstad estimated its order throughout this regime, yet their upper and lower bounds differed by a factor of$\frac{1000}7$.We show that throughout the emerging supercritical phase,i.e., for any ε =o(1) with ε3n→ ∞, the diameter of1is with high probability asymptotic toD(ε,n) = (3/ε)log(ε3n). This constitutes the first proof of the asymptotics of the diameter valid throughout this phase. The proof relies on a recent structure result for the supercritical giant component, which reduces the problem of estimating distances between its vertices to the study of passage times in first-passage percolation. The main advantage of our method is its flexibility. It also implies that in the emerging supercritical phase the diameter of the 2-core of1is w.h.p. asymptotic to$\frac23 D(\epsilon,n)$, and the maximal distance in1between any pair of kernel vertices is w.h.p. asymptotic to$\frac{5}9D(\epsilon,n)$.
On the length of directed paths in digraphs

Yangyang Cheng,Peter Keevash

2024-08-21

Abstract:Thomassé conjectured the following strengthening of the well-known Caccetta-Haggkvist Conjecture: any digraph with minimum out-degree $\delta$ and girth $g$ contains a directed path of length $\delta(g-1)$. Bai and Manoussakis \cite{Bai} gave counterexamples to Thomassé's conjecture for every even $g\geq 4$. In this note, we first generalize their counterexamples to show that Thomassé's conjecture is false for every $g\geq 4$. We also obtain the positive result that any digraph with minimum out-degree $\delta$ and girth $g$ contains a directed path of $2(1-\frac{2}{g})$. For small $g$ we obtain better bounds, e.g.~for $g=3$ we show that oriented graph with minimum out-degree $\delta$ contains a directed path of length $1.5\delta$. Furthermore, we show that each $d$-regular digraph with girth $g$ contains a directed path of length $\Omega(dg/\log d)$. Our results give the first non-trivial bounds for these problems.

Combinatorics
Increasing paths in random temporal graphs

Nicolas Broutin,Nina Kamčev,Gabor Lugosi

2023-06-20

Abstract:We consider random temporal graphs, a version of the classical Erdős--Rényi random graph G(n,p) where additionally, each edge has a distinct random time stamp, and connectivity is constrained to sequences of edges with increasing time stamps. We study the asymptotics for the distances in such graphs, mostly in the regime of interest where np is of order log n. We establish the first order asymptotics for the lengths of increasing paths: the lengths of the shortest and longest paths between typical vertices, the maxima of these lengths from a given vertex, as well as the maxima between any two vertices; this covers the (temporal) diameter.

Probability,Discrete Mathematics,Combinatorics
Geodesic Cycles in Random Graphs.

Yuanzhi Li,Lingsheng Shi

DOI: https://doi.org/10.1016/j.disc.2018.01.014

IF: 0.961

2018-01-01

Discrete Mathematics

Abstract:A cycle in a graph is geodesic if the distance of each pair of nodes on the cycle coincides with their distance restricted on the cycle. In this article, we prove that a random graph in G(n,p) has a geodesic cycle of length at least (2−ϵ)logdn with probability tending to one as n→∞ for d>1+ϵ with d=np and each small positive constant ϵ. This lower bound on the length of the longest geodesic cycle is almost tight since the diameter of the giant component in the random graph is asymptotically almost surely within (1±ϵ)logdn for sufficiently large d. Taking four nodes that split the geodesic cycle into four paths of approximately the same length implies that the giant component in the random graph is a.a.s. not (1∕2−ϵ)logdn-hyperbolic. This bound on the hyperbolicity improves a super-constant bound of Narayan–Saniee–Tucci and also comes close to its exact value for d≫ln5n∕(lnlnn)2 which is obtained by Mitsche and Prałat.
Packing and finding paths in sparse random graphs

Vesna Iršič,Julien Portier,Leo Versteegen

2024-09-04

Abstract:Let $G\sim G(n,p)$ be a (hidden) Erdős-Rényi random graph with $p=(1+ \varepsilon)/n$ for some fixed constant $ \varepsilon >0$. Ferber, Krivelevich, Sudakov, and Vieira showed that to reveal a path of length $\ell=\Omega\left(\frac{\log(1/ \varepsilon)}{ \varepsilon}\right)$ in $G$ with high probability, one must query the adjacency of $\Omega\left(\frac{\ell}{p \varepsilon\log(1/ \varepsilon)}\right)$ pairs of vertices in $G$, where each query may depend on the outcome of all previous queries. Their result is tight up to the factor of $\log(1/ \varepsilon)$ in both $\ell$ and the number of queries, and they conjectured that this factor could be removed. We confirm their conjecture. The main ingredient in our proof is a result about path-packings in random labelled trees of independent interest. Using this, we also give a partial answer to a related question of Ferber, Krivelevich, Sudakov, and Vieira. Namely, we show that when $\ell=o\left((t/\log t)^{1/3}\right)$, the maximum number of vertices covered by edge-disjoint paths of length at least $\ell$ in a random labelled tree of size $t$ is $\Theta(t/\ell)$ with high probability.

Combinatorics
First critical probability for a problem on random orientations in $G(n,p)$

Sven Erick Alm,Svante Janson,Svante Linusson

DOI: https://doi.org/10.48550/arXiv.1304.2016

2013-04-08

Abstract:We study the random graph $G(n,p)$ with a random orientation. For three fixed vertices $s,a,b$ in $G(n,p)$ we study the correlation of the events $a \to s$ and $s\to b$. We prove that asymptotically the correlation is negative for small $p$, $p<\frac{C_1}n$, where $C_1\approx0.3617$, positive for $\frac{C_1}n<p<\frac2n$ and up to $p=p_2(n)$. Computer aided computations suggest that $p_2(n)=\frac{C_2}n$, with $C_2\approx7.5$. We conjecture that the correlation then stays negative for $p$ up to the previously known zero at $\frac12$; for larger $p$ it is positive.

Probability,Combinatorics
Covering Random Digraphs with Hamilton Cycles

Asaf Ferber,Marcelo Sales,Mason Shurman

2024-10-17

Abstract:A covering of a digraph $D$ by Hamilton cycles is a collection of directed Hamilton cycles (not necessarily edge-disjoint) that together cover all the edges of $D$. We prove that for $1/2 \geq p\geq \frac{\log^{20} n}{n}$, the random digraph $D_{n,p}$ typically admits an optimal Hamilton cycle covering. Specifically, the edges of $D_{n,p}$ can be covered by a family of $t$ Hamilton cycles, where $t$ is the maximum of the the in-degree and out-degree of the vertices in $D_{n,p}$. Notably, $t$ is the best possible bound, and our assumption on $p$ is optimal up to a polylogarithmic factor.

Combinatorics
Long cycles in percolated expanders

Maurício Collares,Sahar Diskin,Joshua Erde,Michael Krivelevich

2024-07-16

Abstract:Given a graph $G$ and probability $p$, we form the random subgraph $G_p$ by retaining each edge of $G$ independently with probability $p$. Given $d\in\mathbb{N}$ and constants $0<c<1, \varepsilon>0$, we show that if every subset $S\subseteq V(G)$ of size exactly $\frac{c|V(G)|}{d}$ satisfies $|N(S)|\ge d|S|$ and $p=\frac{1+\varepsilon}{d}$, then the probability that $G_p$ does not contain a cycle of length $\Omega(\varepsilon^2c^2|V(G)|)$ is exponentially small in $|V(G)|$. As an intermediate step, we also show that given $k,d\in \mathbb{N}$ and a constant $\varepsilon>0$, if every subset $S\subseteq V(G)$ of size exactly $k$ satisfies $|N(S)|\ge kd$ and $p=\frac{1+\varepsilon}{d}$, then the probability that $G_p$ does not contain a path of length $\Omega(\varepsilon^2 kd)$ is exponentially small. We further discuss applications of these results to $K_{s,t}$-free graphs of maximal density.

Combinatorics,Probability
Topological and spectral properties of random digraphs

C. T. Martínez-Martínez,J. A. Méndez-Bermúdez,José M. Sigarreta

DOI: https://doi.org/10.1103/physreve.109.064306

IF: 2.707

2024-06-13

Physical Review E

Abstract:We investigate some topological and spectral properties of Erdős-Rényi (ER) random digraphs of size n and connection probability p, D(n,p) . In terms of topological properties, our primary focus lies in analyzing the number of nonisolated vertices Vx(D) as well as two vertex-degree-based topological indices: the Randić index R(D) and sum-connectivity index χ(D) . First, by performing a scaling analysis, we show that the average degree 〈k〉 serves as a scaling parameter for the average values of Vx(D), R(D) , and χ(D) . Then, we also state expressions relating the number of arcs, largest eigenvalue, and closed walks of length 2 to (n,p) , the parameters of ER random digraphs. Concerning spectral properties, we observe that the eigenvalue distribution converges to a circle of radius np(1−p) . Subsequently, we compute six different invariants related to the eigenvalues of D(n,p) and observe that these quantities also scale with np(1−p) . Additionally, we reformulate a set of bounds previously reported in the literature for these invariants as a function (n,p) . Finally, we phenomenologically state relations between invariants that allow us to extend previously known bounds. https://doi.org/10.1103/PhysRevE.109.064306 ©2024 American Physical Society

physics, fluids & plasmas, mathematical
The distribution of the length of the longest path in random acyclic orientations of a complete bipartite graph

Jessica Khera,Erik Lundberg

2024-08-23

Abstract:Randomly sampling an acyclic orientation on the complete bipartite graph $K_{n,k}$ with parts of size $n$ and $k$, we investigate the length of the longest path. We provide a probability generating function for the distribution of the longest path length, and we use Analytic Combinatorics to perform asymptotic analysis of the probability distribution in the case of equal part sizes $n = k$ tending toward infinity. We show that the distribution is asymptotically Gaussian, and we obtain precise asymptotics for the mean and variance. These results address a question asked by Peter J. Cameron. Keywords: bipartite graph, directed graph, random graph, acyclic orientation, poly-Bernoulli numbers, lonesum matrices, generating function, analytic combinatorics, asymptotics.

Combinatorics,Complex Variables,Probability
Groups whose common divisor graph on $p$-regular classes has diameter three

M.J. Felipe,M.K. Jean-Philippe,V. Sotomayor

2024-10-31

Abstract:Let $G$ be a finite $p$-separable group, for some fixed prime $p$. Let $\Gamma_p(G)$ be the common divisor graph built on the set of non-central conjugacy classes of $p$-regular elements of $G$: this is the graph whose vertices are the conjugacy classes of those non-central elements of $G$ such that $p$ does not divide their orders, and two distinct vertices are adjacent if and only if the greatest common divisor of their lengths is strictly greater than one. The aim of this paper is twofold: to positively answer an open question concerning the maximum possible distance in $\Gamma_p(G)$ between a vertex with maximal cardinality and any other vertex, and to study the $p$-structure of $G$ when $\Gamma_p(G)$ has diameter three.

Group Theory
Reconstructing random graphs from distance queries

Michael Krivelevich,Maksim Zhukovskii

2024-07-30

Abstract:We estimate the minimum number of distance queries that is sufficient to reconstruct the binomial random graph $G(n,p)$ with constant diameter with high probability. We get a tight (up to a constant factor) answer for all $p>n^{-1+o(1)}$ outside "threshold windows" around $n^{-k/(k+1)+o(1)}$, $k\in\mathbb{Z}_{>0}$: with high probability the query complexity equals $\Theta(n^{4-d}p^{2-d})$, where $d$ is the diameter of the random graph. This demonstrates the following non-monotone behaviour: the query complexity jumps down at moments when the diameter gets larger; yet, between these moments the query complexity grows. We also show that there exists a non-adaptive algorithm that reconstructs the random graph with $O(n^{4-d}p^{2-d}\ln n)$ distance queries with high probability, and this is best possible.

Combinatorics
Moderate deviations of triangle counts in sparse Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$

José D. Alvarado,Leonardo Gonçalves de Oliveira,Simon Griffiths

2023-05-08

Abstract:We consider the question of determining the probability of triangle count deviations in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$ with densities larger than $n^{-1/2}(\log{n})^{1/2}$. In particular, we determine the log probability $\log\mathbb{P}(N_{\triangle}(G)\, >\, (1+\delta)p^3n^3)$ up to a constant factor across essentially the entire range of possible deviations, in both the $G(n,m)$ and $G(n,p)$ model. For the $G(n,p)$ model we also prove a stronger result, up to a $(1+o(1))$ factor, in the non-localised regime. We also obtain some results for the lower tail and for counts of cherries (paths of length $2$).

Combinatorics,Probability
The diameter of random Schreier graphs

Daniele Dona,Luca Sabatini

2024-07-01

Abstract:We give a combinatorial proof of the following theorem. Let $G$ be any finite group acting transitively on a set of cardinality $n$. If $S \subseteq G$ is a random set of size $k$, with $k \geq (\log n)^{1+\varepsilon}$ for some $\varepsilon >0$, then the diameter of the corresponding Schreier graph is $O(\log_k n)$ with high probability. Except for the implicit constant, this result is the best possible.

Combinatorics,Group Theory
Mixing Time of Near-Critical Random Graphs

Jian Ding,Eyal Lubetzky,Yuval Peres

DOI: https://doi.org/10.1214/11-aop647

2012-01-01

The Annals of Probability

Abstract:Let C-1 be the largest component of the Erdos-Renyi random graph G(n, p). The mixing time of random walk on C-1 in the strictly supercritical regime, p = c/n with fixed c > 1, was shown to have order log(2) n by Fountoulakis and Reed, and independently by Benjamini, Kozma and Wormald. In the critical window, p = (1 + epsilon)/n where lambda = epsilon(3)n is bounded, Nachmias and Peres proved that the mixing time on C-1 is of order n. However, it was unclear how to interpolate between these results, and estimate the mixing time as the giant component emerges from the critical window. Indeed, even the asymptotics of the diameter of C-1 in this regime were only recently obtained by Riordan and Wormald, as well as the present authors and Kim.In this paper, we show that for p = (1 + epsilon)/n with lambda = epsilon(3)n -> infinity and lambda = 0(n), the mixing time on C-1 is with high probability of order (n/lambda) log(2) lambda. In addition, we show that this is the order of the largest mixing time over all components, both in the slightly supercritical and in the slightly subcritical regime [i.e., p = (1 - epsilon)/n with lambda as above].
Diameter Reduction Via Flipping Arcs

Panna Gehér,Max Kölbl,Lydia Mirabel Mendoza-Cadena,Daniel P. Szabo

2024-02-09

Abstract:The diameter of a directed graph is a fundamental parameter defined as the maximum distance realized among the pairs of vertices. As graphs of small diameter are of interest in many applications, we study the following problem: for a given directed graph and a positive integer $d$, what is the minimum number of arc flips (also known as arc reversal) required to obtain a graph with diameter at most $d$? It is a generalization of the well-known problem \textsc{Oriented Diameter}, first studied by Chvátal and Thomassen. Here we investigate variants of the above problem, considering the number of flips and the target diameter as parameters. We prove that most of the related questions of this type are hard. Special cases of graphs are also considered, as planar and cactus graphs, where we give polynomial time algorithms.

Combinatorics
Maximum Size of Digraphs with Some Parameters

Huiqiu Lin,Jinlong Shu,Baoyindureng Wu

DOI: https://doi.org/10.1007/s10878-015-9916-4

2016-01-01

Journal of Combinatorial Optimization

Abstract:In this paper, we determine the maximum sizes of strong digraphs under the constraint that their some parameters are fixed, such as vertex connectivity, edge-connectivity, the number of cut vertices. The corresponding extremal digraphs are also characterized. In addition, we establish Nordhaus–Gaddum type theorem for the diameter when $\overrightarrow{K_n}$ decomposing into many parts. We also pose a related conjecture for Wiener index of digraphs.
Sandwiching Random Geometric Graphs and Erdos-Renyi with Applications: Sharp Thresholds, Robust Testing, and Enumeration

Kiril Bangachev,Guy Bresler

2024-08-02

Abstract:The distribution $\mathsf{RGG}(n,\mathbb{S}^{d-1},p)$ is formed by sampling independent vectors $\{V_i\}_{i = 1}^n$ uniformly on $\mathbb{S}^{d-1}$ and placing an edge between pairs of vertices $i$ and $j$ for which $\langle V_i,V_j\rangle \ge \tau^p_d,$ where $\tau^p_d$ is such that the expected density is $p.$ Our main result is a poly-time implementable coupling between Erdős-Rényi and $\mathsf{RGG}$ such that $\mathsf{G}(n,p(1 - \tilde{O}(\sqrt{np/d})))\subseteq \mathsf{RGG}(n,\mathbb{S}^{d-1},p)\subseteq \mathsf{G}(n,p(1 + \tilde{O}(\sqrt{np/d})))$ edgewise with high probability when $d\gg np.$ We apply the result to: 1) Sharp Thresholds: We show that for any monotone property having a sharp threshold with respect to the Erdős-Rényi distribution and critical probability $p^c_n,$ random geometric graphs also exhibit a sharp threshold when $d\gg np^c_n,$ thus partially answering a question of Perkins. 2) Robust Testing: The coupling shows that testing between $\mathsf{G}(n,p)$ and $\mathsf{RGG}(n,\mathbb{S}^{d-1},p)$ with $\epsilon n^2p$ adversarially corrupted edges for any constant $\epsilon>0$ is information-theoretically impossible when $d\gg np.$ We match this lower bound with an efficient (constant degree SoS) spectral refutation algorithm when $d\ll np.$ 3) Enumeration: We show that the number of geometric graphs in dimension $d$ is at least $\exp(dn\log^{-7}n)$, recovering (up to the log factors) the sharp result of Sauermann.

Probability,Discrete Mathematics,Combinatorics,Statistics Theory
Long induced paths in sparse graphs and graphs with forbidden patterns

Julien Duron,Louis Esperet,Jean-Florent Raymond

2024-11-13

Abstract:Consider a graph $G$ with a path $P$ of order $n$. What conditions force $G$ to also have a long induced path? As complete bipartite graphs have long paths but no long induced paths, a natural restriction is to forbid some fixed complete bipartite graph $K_{t,t}$ as a subgraph. In this case we show that $G$ has an induced path of order $(\log \log n)^{1/5-o(1)}$. This is an exponential improvement over a result of Galvin, Rival, and Sands (1982) and comes close to a recent upper bound of order $O((\log \log n)^2)$. Another way to approach this problem is by viewing $G$ as an ordered graph (where the vertices are ordered according to their position on the path $P$). From this point of view it is most natural to consider which ordered subgraphs need to be forbidden in order to force the existence of a long induced path. Focusing on the exclusion of ordered matchings, we improve or recover a number of existing results with much simpler proofs, in a unified way. We also show that if some forbidden ordered subgraph forces the existence of a long induced path in $G$, then this induced path has size at least $\Omega((\log \log \log n)^{1/3})$, and can be chosen to be increasing with respect to $P$.

Combinatorics,Discrete Mathematics
Path-factor critical covered graphs and path-factor uniform graphs

Jie Wu

DOI: https://doi.org/10.1051/ro/2022208

2022-12-22

Abstract:A path-factor in a graph G is a spanning subgraph F of G such that every component of F is a path. Let d and n be two nonnegative integers with dÂ â‰¥Â 2. A P â‰¥ d-factor of G is its spanning subgraph each of whose components is a path with at least d vertices. A graph G is called a P â‰¥ d-factor covered graph if for any eÂ âˆˆÂ E( G), G admits a P â‰¥ d-factor containing e. A graph G is called a ( P â‰¥ d,Â n)-factor critical covered graph if for any NÂ âŠ†Â V( G) with | N| = n, the graph GÂ âˆ’Â N is a P â‰¥ d-factor covered graph. A graph G is called a P â‰¥ d-factor uniform graph if for any eÂ âˆˆÂ E( G), the graph GÂ âˆ’Â e is a P â‰¥ d-factor covered graph. In this paper, we verify the following two results: (i) An ( nÂ +Â 1)-connected graph G of order at least nÂ +Â 3 is a ( P â‰¥3,Â n)-factor critical covered graph if G satisfies ; (ii) Every regular graph G with degree rÂ â‰¥Â 2 is a P â‰¥3-factor uniform graph.

Diameter and long paths in critical digraph

Diameters in Supercritical Random Graphs Via First Passage Percolation

On the length of directed paths in digraphs

Increasing paths in random temporal graphs

Geodesic Cycles in Random Graphs.

Packing and finding paths in sparse random graphs

First critical probability for a problem on random orientations in $G(n,p)$

Covering Random Digraphs with Hamilton Cycles

Long cycles in percolated expanders

Topological and spectral properties of random digraphs

The distribution of the length of the longest path in random acyclic orientations of a complete bipartite graph

Groups whose common divisor graph on $p$-regular classes has diameter three

Reconstructing random graphs from distance queries

Moderate deviations of triangle counts in sparse Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$

The diameter of random Schreier graphs

Mixing Time of Near-Critical Random Graphs

Diameter Reduction Via Flipping Arcs

Maximum Size of Digraphs with Some Parameters

Sandwiching Random Geometric Graphs and Erdos-Renyi with Applications: Sharp Thresholds, Robust Testing, and Enumeration

Long induced paths in sparse graphs and graphs with forbidden patterns

Path-factor critical covered graphs and path-factor uniform graphs