Random triangle removal

The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. Begin with a complete graph on n vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random out of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph, and a longstanding open problem is to estimate the final number of edges, or equivalently the time it takes the process to conclude. The intuition that the edge distribution is roughly uniform at all times led to a folklore conjecture that the final number of edges is n 3/2+o(1) with high probability, whereas the best known upper bound is n 7/4+o(1) . It is no coincidence that various methods break precisely at the exponent 7/4 as it corresponds to the inherent barrier where co-degrees become comparable to the variations in their values that arose earlier in the process. In this work we significantly improve upon the previous bounds by establishing that w.h.p. the number of edges in the final graph is at most n 5/3+o(1) . Our approach relies on a system of martingales used to control key graph parameters, where the crucial new idea is to harness the self-correcting nature of the process in order to control these parameters well beyond the point where their early variation matches the order of their expectation.

Random graphs with latent geometric structure are popular models of social and biological networks, with applications ranging from network user profiling to circuit design. These graphs are also of purely theoretical interest within computer science, probability and statistics. A fundamental initial question regarding these models is: when are these random graphs affected by their latent geometry and when are they indistinguishable from simpler models without latent structure, such as the Erdős–Rényi graph $${\mathcal {G}}(n, p)$$ ? We address this question for two of the most well-studied models of random graphs with latent geometry—the random intersection and random geometric graph. Our results are as follows: (a) The random intersection graph is defined by sampling n random sets $$S_1, S_2, \ldots , S_n$$ by including each element of a set of size d in each $$S_i$$ independently with probability $$\delta $$ , and including the edge $$\{i, j\}$$ if $$S_i \cap S_j \ne \emptyset $$ . We prove that the random intersection graph converges in total variation to an Erdős–Rényi graph if $$d = {\tilde{\omega }}(n^3)$$ , and does not if $$d = o(n^3)$$ , for both dense and sparse edge densities p. This resolves an open problem in Fill et al. (Random Struct Algorithms 16(2):156–176, 2000), Rybarczyk (Random Struct Algorithms 38(1–2):205–234, 2011) and Kim et al. (Random Struct Algorithms 52(4):662–679, 2018). The same result was obtained simultaneously and independently by Bubeck et al. (When random intersection graphs lose geometry. Manuscript, 2019). (b) We strengthen the preceding argument to show that the matrix of random intersection sizes $$|S_i \cap S_j|$$ converges in total variation to a symmetric matrix with independent Poisson entries. This yields the first total variation convergence result for $$\tau $$ -random intersection graphs, where the edge $$\{i, j\}$$ is included if $$|S_i \cap S_j| \ge \tau $$ . More precisely, our results imply that, if p is bounded away from 1, then the $$\tau $$ -random intersection graph with edge density p converges to $${\mathcal {G}}(n, p)$$ if $$d = \omega (\tau ^3 n^3)$$ . (c) The random geometric graph on $${\mathbb {S}}^{d - 1}$$ is defined by sampling $$X_1, X_2, \dots , X_n$$ uniformly at random from $${\mathbb {S}}^{d - 1}$$ and including the edge $$\{i, j\}$$ if $$\Vert X_i - X_j \Vert _2 \le \tau $$ . A result of Bubeck et al. (Random Struct Algorithms 49:503–532, 2016) showed that this model converges to $${\mathcal {G}}(n, p)$$ in total variation, where p is chosen so that the models have matching edge densities, as long as $$d = \omega (n^3)$$ . It was conjectured in Bubeck et al. (2016) that this threshold decreases drastically for p small. We make the first progress towards this conjecture by showing convergence if $$d = {\tilde{\omega }}\left( \min \{ pn^3, p^2 n^{7/2} \} \right) $$ . Our proofs are a hybrid of combinatorial arguments, direct couplings and applications of information inequalities. Previous upper bounds on the total variation distance between random graphs with latent geometry and $${\mathcal {G}}(n, p)$$ have typically not been both combinatorial and information-theoretic, while this interplay is essential to the sharpness of our bounds.

Tuza’s Conjecture asserts that the minimum number $$\tau _{\varDelta }'(G)$$ of edges of a graph G whose deletion results in a triangle-free graph is at most 2 times the maximum number $$\nu _{\varDelta }'(G)$$ of edge-disjoint triangles of G. The complete graphs $$K_{4}$$ and $$K_{5}$$ show that the constant 2 would be best possible. Moreover, if true, the conjecture would be essentially tight even for $$K_{4}$$ -free graphs. In this paper, we consider several subclasses of $$K_{4}$$ -free graphs. We show that the constant 2 can be improved for them and we try to provide the optimal one. The classes we consider are of two kinds: graphs with edges in few triangles and graphs obtained by forbidding certain odd-wheels. We translate an approximate min-max relation for $$\tau _{\varDelta }'(G)$$ and $$\nu _{\varDelta }'(G)$$ into an equivalent one for the clique cover number and the independence number of the triangle graph of G and we provide $$\theta $$ -bounding functions for classes related to triangle graphs. In particular, we obtain optimal $$\theta $$ -bounding functions for the classes $${\textit{Free}}(K_{5}, \text{ claw, } \text{ diamond })$$ and $${\textit{Free}}(P_{5}, \text{ diamond }, K_{2,3})$$ and a $$\chi $$ -bounding function for the class $$(\text{ banner, } \text{ odd-hole }, \overline{K_{1, 4}})$$ .

In this paper, a bottom-up salient object detection method is proposed by modeling image as a random graph. The proposed method starts with portioning input image into superpixels and extracting color and spatial features for each superpixel. Then, a complete graph is constructed by employing superpixels as nodes. A high edge weight is assigned into a pair of superpixels if they have high similarity. Next, a random walk prior on nodes is assumed to generate the probability distribution on edges. On the other hand, a complete directed graph is created that each edge weight represents the probability for transmitting random walker from current node to next node. By considering a threshold and eliminating edges with higher probability than the threshold, a random graph is created to model input image. The inbound degree vector of a random graph is computed to determine the most salient nodes (regions). Finally, a propagation technique is used to form saliency map. Experimental results on two challenging datasets: MSRA10K and SED2 demonstrate the efficiency of the proposed unsupervised RG method in comparison with the state-of-the-art unsupervised methods.

We present upper bounds on the diameter of bipartite and triangle-free graphs with prescribed edge connectivity with respect to order and size. All bounds presented in this paper are asymptotically sharp.

We consider the problem of maximizing monotone submodular function over the bounded integer lattice with a cardinality constraint. Function [Formula: see text] is submodular over integer lattice if [Formula: see text], [Formula: see text], where ∨ and ∧ represent elementwise maximum and minimum, respectively. Let [Formula: see text], and [Formula: see text], we study the problem of maximizing submodular function [Formula: see text] with constraints [Formula: see text] and [Formula: see text]. A random greedy [Formula: see text]-approximation algorithm and a deterministic [Formula: see text]-approximation algorithm are proposed in this paper. Both algorithms work in value oracle model. In the random greedy algorithm, we assume the monotone submodular function satisfies diminishing return property, which is not an equivalent definition of submodularity on integer lattice. Additionally, our random greedy algorithm makes [Formula: see text] value oracle queries and deterministic algorithm makes [Formula: see text] value oracle queries.

A note on a triangle-free — complete graph induced Ramsey number

BackgroundIn recent years, an extensive characterization of network structures has been made in an effort to elucidate design principles of metabolic networks, providing valuable insights into the functional organization and the evolutionary history of organisms. However, previous analyses have not discussed the effects of environmental factors (i.e., exogenous forces) in shaping network structures. In this work, we investigate the effect of temperature, which is one of the environmental factors that may have contributed to shaping structures of metabolic networks.ResultsFor this, we investigate the correlations between several structural properties characterized by graph metrics like the edge density, the degree exponent, the clustering coefficient, and the subgraph concentration in the metabolic networks of 113 prokaryotes and optimal growth temperature. As a result, we find that these structural properties are correlated with the optimal growth temperature. With increasing temperature, the edge density, the clustering coefficient and the subgraph concentration decrease and the degree exponent becomes large.ConclusionThis result implies that the metabolic networks transit with temperature as follows. The density of chemical reactions becomes low, the connectivity of the networks becomes homogeneous such as random networks and both the network modularity, based on the graph-theoretic clustering coefficient, and the frequency of recurring subgraphs decay. In short, metabolic networks undergo a change from heterogeneous and high-modular structures to homogeneous and low-modular structures, such as random networks, with temperature. This finding may suggest that the temperature plays an important role in the design principles of metabolic networks.

Solid state drives (SSDs) have seen wide deployment in mobiles, desktops,and data centers due to their high I/O performance and low energy consumption. As SSDs write data out-of-place, garbage collection (GC) is required to erase and reclaim space with invalid data. However, GC poses additional writes that hinder the I/O performance, while SSD blocks can only endure a finite number of erasures. Thus, there is a performance-durability tradeoff on the design space of GC. To characterize the optimal tradeoff, this paper formulates an analytical model that explores the full optimal design space of any GC algorithm. We first present a stochastic Markov chain model that captures the I/O dynamics of large-scale SSDs, and adapt the mean-field approach to derive the asymptotic steady-state performance. We further prove the model convergence and generalize the model for all types of workload. Inspired by this model, we propose a randomized greedy algorithm (RGA) that can operate along the optimal tradeoff curve with a tunable parameter. Using trace-driven simulation on DiskSim with SSD add-ons, we demonstrate how RGA can be parameterized to realize the performance-durability tradeoff.

Following this advice, we should look over the big questions, then doodle and sketch out some approaches. If you are an expert, then this is easy to do, but most people do not want to wait to become an expert before looking at interesting problems. Graph theory, our area of expertise, has many hard-to-solve questions. Some hark back to the recreational roots of the area yet still keep their mystery. These ‘‘acorns’’ can be planted on the backs of envelopes, on a blackboard, and over a coffee. Our goal is to collect some of these conjectures—arguably some of the most intriguing—in one place. We present ten conjectures in graph theory, and you can read about each one in at most ten minutes. As we live in the era of Twitter, all the conjectures we state are 140 characters or fewer (so ‘‘minute’’ here has a double meaning). We might even call these sketchy tweets, as we present examples for each conjecture that you can doodle on as you read. Hamming also references ambiguity: good researchers can work both on proving and disproving the same statement, so we approach the conjectures with an open mind. He also mentions that a good approach is to reframe the problem, and change the point of view. One example from Vizing’s Conjecture (which is discussed as our second-to-last conjecture in the following text), is the three-page paper [2] which, with a new way of thinking, reduced most of the published work of twenty years to a corollary of its main result! Given the size of modern graph theory, with its many smaller subfields (such as structural graph theory, random graphs, topological graph theory, graph algorithms, spectral graph theory, graph minors, and graph homomorphisms, to name a few), it would be impossible to list all, or even the bulk of the conjectures in the field. We are content instead to focus on a few family jewels, which have an intrinsic beauty and have provided some challenges for graph-theorists for at least two decades. There is something for everyone here, from undergraduate students taking their first course in graph theory, to seasoned researchers in the field. For additional reading on problems and conjectures in graph theory and other fields, see the Open Problem Garden maintained by IRMACS at Simon Fraser University [24]. We consider only finite and undirected graphs, with no multiple edges or loops (unless otherwise stated). We assume the reader has some basic familiarity with graphs and their terminology, including notions such as cycles, paths, complete graphs, complete bipartite graphs, vertex degrees, and connected graphs. We use the notation Cn for the cycle with n vertices, Pn for the path with n vertices, and Kn for the complete graph with n vertices. The complete bipartite graph with m and n vertices of the respective colors is denoted by Km,n. All the background we need can be found in any text in graph theory, such as those of Diestel [9] and West [41], or online (see for example [42]).

The H-free process, for some fixed graph H, is the random graph process defined by starting with an empty graph on n vertices and then adding edges one at a time, chosen uniformly at random subject to the constraint that no H subgraph is formed. Let G be the random maximal H-free graph obtained at the end of the process. When H is strictly 2-balanced, we show that for some c>0, with high probability as n→∞, the minimum degree in G is at least \(cn^{1-(v_{H}-2)/(e_{H}-1)}(\log n)^{1/(e_{H}-1)}\). This gives new lower bounds for the Turán numbers of certain bipartite graphs, such as the complete bipartite graphs K r,r with r≥5. When H is a complete graph K s with s≥5 we show that for some C>0, with high probability the independence number of G is at most \(Cn^{2/(s+1)}(\log n)^{1-1/(e_{H}-1)}\). This gives new lower bounds for Ramsey numbers R(s,t) for fixed s≥5 and t large. We also obtain new bounds for the independence number of G for other graphs H, including the case when H is a cycle. Our proofs use the differential equations method for random graph processes to analyse the evolution of the process, and give further information about the structure of the graphs obtained, including asymptotic formulae for a broad class of subgraph extension variables.

Denote by $${\user1{\mathcal{T}}}{\left( {{\user2{n}}{\user2{, m}}} \right)}$$ the class of all triangle-free graphs on n vertices and m edges. Our main result is the following sharp threshold, which answers the question for which densities a typical triangle-free graph is bipartite. Fix e > 0 and let $$t_{3} = t_{3} {\left( n \right)}\frac{{{\sqrt 3 }}} {4}n^{{3/2}} {\sqrt {\log {\kern 1pt} {\kern 1pt} n} }$$. If n/2 ≤ m ≤ (1 − e) t3, then almost all graphs in $${\user1{\mathcal{T}}}{\left( {{\user2{n}}{\user2{, m}}} \right)}$$ are not bipartite, whereas if m ≥ (1 + e)t3, then almost all of them are bipartite. For m ≥ (1 + e)t3, this allows us to determine asymptotically the number of graphs in $${\user1{\mathcal{T}}}{\left( {{\user2{n}}{\user2{, m}}} \right)}$$. We also obtain corresponding results for Cl-free graphs, for any cycle Cl of fixed odd length.

Over the past 30 years numerous algorithms have been designed for symmetry breaking problems in the LOCAL model, such as maximal matching, MIS, vertex coloring, and edge-coloring. For most problems the best randomized algorithm is at least exponentially faster than the best deterministic algorithm. In this paper we prove that these exponential gaps are necessary and establish numerous connections between the deterministic and randomized complexities in the LOCAL model. Each of our results has a very compelling take-away message: Fast Δ-coloring of trees requires random bits. Building on the recent randomized lower bounds of Brandt et al. [6], we prove that the randomized complexity of Δ-coloring a tree with maximum degree Δ is θ(logΔ log n), for any Δ ≥ 55, whereas its deterministic complexity is θ(logΔn) for any Δ ≥ 3. This also establishes a large separation between the deterministic complexity of Δ-coloring and (Δ+1)-coloring trees.Randomized lower bounds imply deterministic lower bounds. We prove that any deterministic algorithm for a natural class of problems that runs in O(1) + o(logΔn) rounds can be transformed to run in O(log* n -- log*Δ + 1) rounds. If the transformed algorithm violates a lower bound (even allowing randomization), then one can conclude that the problem requires Ω(logΔn) time deterministically. (This gives an alternate proof that deterministically Δ-coloring a tree with small Δ takes Ω(logΔn) rounds.)Deterministic lower bounds imply randomized lower bounds. We prove that the randomized complexity of any natural problem on instances of size n is at least its deterministic complexity on instances of size √log n}. This shows that a deterministic Ω(logΔn) lower bound for any problem (Δ-coloring a tree, for example) implies a randomized Ω(logΔ log n) lower bound. It also illustrates that the graph shattering technique employed in recent randomized symmetry breaking algorithms is absolutely essential to the LOCAL model. For example, it is provably impossible to improve the 2O(√log log n) terms in the complexities of the best MIS and (Δ+1)-coloring algorithms without also improving the 2O(√log n})-round Panconesi-Srinivasan algorithms.

We present a new approach to showing that random graphs are nearly optimal expanders. This approach is based on recent deep results in combinatorial group theory. It applies to both regular and irregular random graphs. Let G be a random d-regular graph on n vertices, and let \lambda be the largest absolute value of a non-trivial eigenvalue of its adjacency matrix. It was conjectured by Alon [86'] that a random d-regular graph is almost Ramanujan, in the following sense: for every e>0, \lambda<2\sqrt{d-1} + e asymptotically almost surely. Friedman famously presented a proof of this conjecture in [08']. Here we suggest a new, substantially simpler proof of a nearly-optimal result: we show that a random d-regular graph satisfies \lambda < 2\sqrt{d-1} + 1 a.a.s. A main advantage of our approach is that it is applicable to a generalized conjecture: For d even, a d-regular graph on n vertices is an n-covering space of a bouquet of d/2 loops. More generally, fixing an arbitrary base graph H, we study the spectrum of G, a random n-covering of H. Let \lambda be the largest absolute value of a non-trivial eigenvalue of G. Extending Alon's conjecture to this more general model, Friedman [03'] conjectured that for every e>0, a.a.s. \lambda < \rho+e, where \rho is the spectral radius of the universal cover of H. When H is regular we get a bound of \rho+0.84, and for an arbitrary H, we prove a nearly optimal upper bound of \sqrt{3}\rho. This is a substantial improvement upon all known results (by Friedman, Linial-Puder, Lubetzky-Sudakov-Vu and Addario-Berry-Griffiths).

We construct efficiently computable sequences of random-looking graphs that preserve properties of the canonical random graphs G (2n,p(n)). We focus on first-order graph properties, namely properties that can be expressed by a formula φ in the language where variables stand for vertices and the only relations are equality and adjacency (e.g. having an isolated vertex is a first-order property ∃x∀y(¬EDGE(x, y))). Random graphs are known to have remarkable structure w.r.t. first order properties, as indicated by the following 0/1 law: for a variety of choices of p(n), any fixed first-order property φ holds for G (2n,p(n)) with probability tending either to 0 or to 1 as n grows to infinity. We first observe that similar 0/1 laws are satisfied by G (2n,p(n)) even w.r.t. sequences of formulas {φn}n∈ℕ with bounded quantifier depth, ${\it depth}(\phi_{n}) \leq {\frac {1}{{\rm lg} (1/p(n))}}$. We also demonstrate that 0/1 laws do not hold for random graphs w.r.t. properties of significantly larger quantifier depth. For most choices of p(n), we present efficient constructions of huge graphs with edge density nearly p(n) that emulate G (2n,p(n)) by satisfying ${\it \Theta} ({\frac {1}{{\rm lg} (1/p(n))}})-0/1$ laws. We show both probabilistic constructions (which also have other properties such as K-wise independence and being computationally indistinguishable from G (N,p(n)) ), and deterministic constructions where for each graph size we provide a specific graph that captures the properties of G (2n,p(n)) for slightly smaller quantifier depths.