Suppose that X is a bounded-degree polynomial with nonnegative coefficients on the p-biased discrete hypercube. Our main result gives sharp estimates on the logarithmic upper tail probability of X whenever an associated extremal problem satisfies a certain entropic stability property. We apply this result to solve two long-standing open problems in probabilistic combinatorics: the upper tail problem for the number of arithmetic progressions of a fixed length in the p-random subset of the integers and the upper tail problem for the number of cliques of a fixed size in the random graph Gn,p. We also make significant progress on the upper tail problem for the number of copies of a fixed regular graph H in Gn,p. To accommodate readers who are interested in learning the basic method, we include a short, self-contained solution to the upper tail problem for the number of triangles in Gn,p for all p = p(n) satisfying n −1 log n p 1. Contents 42 8. The Poisson regime 50 9. Beyond polynomials with nonnegative coefficients 58 10. Concluding remarks 59 References 61
Let G be a separable family of graphs. Then for all positive constants ǫ and ∆ and for every sufficiently large integer n, every sequence G 1 , . . . , G t ∈ G of graphs of order n and maximum degree at most ∆ such that e(G 1 )+· · ·+e(G t ) ≤ (1−ǫ) n 2 packs into K n . This improves results of Böttcher, Hladký, Piguet, and Taraz when G is the class of trees and of Messuti, Rödl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gyárfás and Lehel (1976) for the case that all trees have maximum degree at most ∆.The proof uses the local resilience of random graphs and a special multi-stage packing procedure.
We consider collaborative graph exploration with a set of k agents. All agents start at a common vertex of an initially unknown graph and need to collectively visit all other vertices. We assume agents are deterministic, vertices are distinguishable, moves are simultaneous, and we allow agents to communicate globally. For this setting, we give the first non-trivial lower bounds that bridge the gap between small (k ≤ √ n) and large (k ≥ n) teams of agents. Remarkably, our bounds tightly connect to existing results in both domains. First, we significantly extend a lower bound of Ω(log k/ log log k) by Dynia et al. on the competitive ratio of a collaborative tree exploration strategy to the range k ≤ n log c n for any c ∈ N. Second, we provide a tight lower bound on the number of agents needed for any competitive exploration algorithm. In particular, we show that any collaborative tree exploration algorithm with k = Dn 1+o(1) agents has a competitive ratio of ω(1), while Dereniowski et al. gave an algorithm with k = Dn 1+ε agents and competitive ratio O(1), for any ε > 0 and with D denoting the diameter of the graph. Lastly, we show that, for any exploration algorithm using k = n agents, there exist trees of arbitrarily large height D that require Ω(D 2 ) rounds, and we provide a simple algorithm that matches this bound for all trees.
In 1996 Kouider and Lonc proved the following natural generalization of Dirac's Theorem: for any integer $k\geq 2$, if $G$ is an $n$-vertex graph with minimum degree at least $n/k$, then there are $k-1$ cycles in $G$ that together cover all the vertices.This is tight in the sense that there are $n$-vertex graphs that have minimum degree $n/k-1$ and that do not contain $k-1$ cycles with this property. A concrete example is given by $I_{n,k} = K_n\setminus K_{(k-1)n/k+1}$ (an edge-maximal graph on $n$ vertices with an independent set of size $(k-1)n/k+1$). This graph has minimum degree $n/k-1$ and cannot be covered with fewer than $k$ cycles. More generally, given positive integers $k_1,\dotsc,k_r$ summing to $k$, the disjoint union $I_{k_1n/k,k_1}+ \dotsb + I_{k_rn/k,k_r}$ is an $n$-vertex graph with the same properties.In this paper, we show that there are no extremal examples that differ substantially from the ones given by this construction. More precisely, we obtain the following stability result: if a graph $G$ has $n$ vertices and minimum degree nearly $n/k$, then it either contains $k-1$ cycles covering all vertices, or else it must be close (in ‘edit distance') to a subgraph of $I_{k_1n/k,k_1}+ \dotsb + I_{k_rn/k,k_r}$, for some sequence $k_1,\dotsc,k_r$ of positive integers that sum to $k$.Our proof uses Szemerédi's Regularity Lemma and the related machinery.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.