58 research outputs found

    An extremal construction for (5,24)-multigraphs

    No full text
    In the mid 1900s the area of extremal graph theory took its first propersteps with the proof of Turán’s theorem. In 1963 Pál Erdős asked for an extension of this fundamental result regarding (n, s, q)-graphs; graphs on n vertices in which any s-set of vertices spans at most q edges, and multiple edges are allowed; and raised the question of determining ex(n, s, q), the maximum number of edges spanning such a graph. More recently, Mubayi and Terry looked at the problem of determining the maximum productof the edges in (n, s, q)-graphs. Their proof was further investigated by Day, Falgas-Ravry and Treglown who, in particular, settled a conjecture of Mubayi and Terry regarding the case (s, q) = (4, 6a+3), for a ∈ Z≥2. In this thesis we look at the case (s, q) = (5, 24), which is mentioned as an open problem at the end of the paper by Day, Falgas-Ravry and Treglown. A hypothetical extremal construction was provided by Victor Falgas-Ravry, and we prove it to be asymptotically optimal

    On an extremal problem for locally sparse multigraphs

    No full text
    A multigraph GG is an (s,q)(s,q)-graph if every ss-set of vertices in GG supports at most qq edges of GG, counting multiplicities. Mubayi and Terry posed the problem of determining the maximum of the product of the edge-multiplicities in an (s,q)(s,q)-graph on nn vertices. We give an asymptotic solution to this problem for the family (s,q)=(2r,a(2r2)+ex(2r,Kr+1)1)(s,q)=(2r, a\binom{2r}{2}+\mathrm{ex}(2r, K_{r+1})-1 ) with r,aZ2r, a\in \mathbb{Z}_{\geq 2}. This greatly generalises previous results on the problem due to Mubayi and Terry and to Day, Treglown and the author, who between them had resolved the special case r=2r=2. Our result asymptotically confirms an infinite family of cases in (and overcomes a major obstacle to a resolution of) a conjecture of Day, Treglown and the author.Comment: 26 pages, minor revisions following two referees' helpful comment

    Turan H-densities for 3-graphs

    No full text
    Given an r-graph H on h vertices, and a family F of forbidden subgraphs, we define ex H (n, F) to be the maximum number of induced copies of H in an F-free r-graph on n vertices. Then the Turan H-density of F is the limit pi(H)(F) = (lim)(n ->infinity) ex(H)(n, F)/((n)(h)) This generalises the notions of Turan-density (when H is an r-edge), and inducibility (when F is empty). Although problems of this kind have received some attention, very few results are known. We use Razborov's semi-definite method to investigate Turan H-densities for 3-graphs. In particular, we show that pi(-)(K4)(K-4) = 16/27, with Turans construction being optimal. We prove a result in a similar flavour for K-5 and make a general conjecture on the value of pi(Kt)-(K-t). We also establish that pi(4.2)(empty set) = 3/4, where 4: 2 denotes the 3-graph on 4 vertices with exactly 2 edges. The lower bound in this case comes from a random geometric construction strikingly different from previous known extremal examples in 3-graph theory. We give a number of other results and conjectures for 3-graphs, and in addition consider the inducibility of certain directed graphs. Let (S) over right arrow (k) be the out-star on k vertices; i.e. the star on k vertices with all k 1 edges oriented away from the centre. We show that pi((S) over right arrow3)(empty set) = 2 root 3 - 3, with an iterated blow-up construction being extremal. This is related to a conjecture of Mubayi and Rodl on the Turan density of the 3-graph C-5. We also determine pi((S) over right arrowk) (empty set) when k = 4, 5, and conjecture its value for general k

    1-independent percolation on ℤ2×Kn

    No full text
    A random graph model on a host graph (Formula presented.) is said to be 1-independent if for every pair of vertex-disjoint subsets (Formula presented.) of (Formula presented.), the state of edges (absent or present) in (Formula presented.) is independent of the state of edges in (Formula presented.). For an infinite connected graph (Formula presented.), the 1-independent critical percolation probability (Formula presented.) is the infimum of the (Formula presented.) such that every 1-independent random graph model on (Formula presented.) in which each edge is present with probability at least (Formula presented.) almost surely contains an infinite connected component. Balister and Bollobás observed in 2012 that (Formula presented.) tends to a limit in (Formula presented.) as (Formula presented.), and they asked for the value of this limit. We make progress on a related problem by showing that (Formula presented.) In fact, we show that the equality above remains true if the sequence of complete graphs (Formula presented.) is replaced by a sequence of weakly pseudorandom graphs on (Formula presented.) vertices with average degree (Formula presented.). We conjecture the answer to Balister and Bollobás's question is also (Formula presented.)

    Random subcube intersection graphs I : cliques and covering

    No full text
    We study random subcube intersection graphs, that is, graphs obtained by selecting a random collection of subcubes of a fixed hypercube Qd to serve as the vertices of the graph, and setting an edge between a pair of subcubes if their intersection is non-empty. Our motivation for considering such graphs is to model 'random compatibility' between vertices in a large network. For both of the models considered in this paper, we determine the thresholds for covering the underlying hypercube Qd and for the appearance of s-cliques. In addition we pose a number of open problems

    Sperner's Problem for G-Independent Families

    No full text

    Sperner’s problem for G-independent families

    No full text
    a

    Subgraphs with large minimum ℓ-degree in hypergraphs where almost all ℓ-degrees are large

    No full text
    Let G be an r-uniform hypergraph on n vertices such that all but at most ε(n ℓ) ℓ-subsets of vertices have degree at least p(n-ℓ r-ℓ). We show that G contains a large subgraph with high minimum ℓ-degree

    Codegree Thresholds for Covering 3-Uniform Hypergraphs

    No full text
    Given two 3-uniform hypergraphs F and G = (V, E), we say that G has an F-covering if we can cover V with copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V is contained in at least d triples from E. Define c(2)(n, F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. Determining c(2)(n, F) is a natural problem intermediate (but distinct) from the well-studied Turan problems and tiling problems. In this paper, we determine c(2)(n, K-4) (for n &gt; 98) and the associated extremal configurations (for n &gt; 998), where K-4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c(2)(n, F) which are apart by at most 2 in the cases where F is K-4(-) (K-4 with one edge removed), K-5(-), and the tight cycle C-5 on 5 vertices.</p

    The Maker-Breaker percolation game on a random board

    No full text
    The (m,b)(m,b) Maker-Breaker percolation game on (Z2)p(\mathbb{Z}^2)_p, introduced by Day and Falgas-Ravry, is played in the following way. Before the game starts, each edge of Z2\mathbb{Z}^2 is removed independently with probability 1p1-p. After that, Maker chooses a vertex v0v_0 to protect. Then, in each round Maker and Breaker claim respectively mm and bb unclaimed edges of GG. Breaker wins if after the removal of the edges claimed by him the component of v0v_0 becomes finite, and Maker wins if she can indefinitely prevent Breaker from winning. We show that for any p<1p < 1, Breaker almost surely has a wining strategy for the (1,1)(1,1) game on (Z2)p(\mathbb{Z}^2)_p. This fully answers a question of Day and Falgas-Ravry, who showed that for p=1p = 1 Maker has a winning strategy for the (1,1)(1,1) game. Further, we show that in the (2,1)(2,1) game on (Z2)p(\mathbb{Z}^2)_p Maker almost surely has a winning strategy whenever p>0.9402p > 0.9402, while Breaker almost surely has a winning strategy whenever p<0.5278p < 0.5278. This shows that the threshold value of pp above which Maker has a winning strategy for the (2,1)(2,1) game on Z2\mathbb{Z}^2 is non-trivial. In fact, we prove similar results in various settings, including other lattices and biases (m,b)(m,b). These results extend also to the most general case, which we introduce, where each edge is given to Maker with probability α\alpha and to Breaker with probability β\beta before the game starts.Comment: 34 pages, 6 figure
    corecore