Source author record

Emil R. Vaughan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
1topics
2close collaborators

Published work

3 publications

preprint2012arXiv

On applications of Razborov's flag algebra calculus to extremal 3-graph theory

In this paper, we prove several new Turán density results for 3-graphs with independent neighbourhoods. We show: π(K_4^-, C_5, F_{3,2})=12/49, π(K_4^-, F_{3,2})=5/18, and π(J_4, F_{3,2})=π(J_5, F_{3,2})=3/8, where J_t is the 3-graph consisting of a single vertex x together with a disjoint set A of size t and all (∣A∣2)\binom{|A|}{2} 3-edges containing x. We also prove two Turán density results where we forbid certain induced subgraphs: π(F_{3,2}, induced K_4^-)=3/8 and π(K_5, 5-set spanning 8 edges)=3/4. The latter result is an analogue for K_5 of Razborov's result that π(K_4, 4-set spanning 1 edge)=5/9. We give several new constructions, conjectures and bounds for Turán densities of 3-graphs which should be of interest to researchers in the area. Our main tool is `Flagmatic', an implementation of Razborov's flag algebra calculus, which we are making publicly available. In a bid to make the power of Razborov's method more widely accessible, we have tried to make Flagmatic as user-friendly as possible, hoping to remove thereby the major hurdle that needs to be cleared before using the flag algebra calculus. Finally, we spend some time reflecting on the limitations of our approach, and in particular on which problems we may be unable to solve. Our discussion of the `complexity barrier' for the flag algebra calculus may be of general interest.

preprint2012arXiv

Turán H-densities for 3-graphs

Given an rr-graph HH on hh vertices, and a family F\mathcal{F} of forbidden subgraphs, we define $\ex_{H}(n, \mathcal{F})$ to be the maximum number of induced copies of HH in an F\mathcal{F}-free rr-graph on nn vertices. Then the \emph{Turán HH-density} of F\mathcal{F} is the limit \[π_{H}(\mathcal{F})= \lim_{n\rightarrow \infty}\ex_{H}(n, \mathcal{F})/\binom{n}{h}. \] This generalises the notions of \emph{Turán density} (when HH is an rr-edge), and \emph{inducibility} (when F\mathcal{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 Turán HH-densities for 3-graphs. In particular, we show that πK4−(K4)=16/27,π_{K_4^-}(K_4) = 16/27, with Turán's construction being optimal. We prove a result in a similar flavour for K5K_5 and make a general conjecture on the value of πKt−(Kt)π_{K_t^-}(K_t). We also establish that π4.2(∅)=3/4,π_{4.2}(\emptyset)=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⃗k\vec{S}_k be the \emph{out-star} on kk vertices; i.e{.} the star on kk vertices with all k−1k-1 edges oriented away from the centre. We show that πS⃗3(∅)=23−3,π_{\vec{S}_3}(\emptyset)=2\sqrt3-3, with an iterated blow-up construction being extremal. This is related to a conjecture of Mubayi and Rödl on the Turán density of the 3-graph C5C_5. We also determine πS⃗k(∅)π_{\vec{S}_k}(\emptyset) when k=4k=4, and conjecture its value for general kk.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.