Source author record

Caroline Terry

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
2topics
1close collaborators

Published work

3 publications

preprint2016arXiv

Extremal theory of locally sparse multigraphs

An (n,s,q)(n,s,q)-graph is an nn-vertex multigraph where every set of ss vertices spans at most qq edges. In this paper, we determine the maximum product of the edge multiplicities in (n,s,q)(n,s,q)-graphs if the congruence class of qq modulo (s2){s\choose 2} is in a certain interval of length about 3s/23s/2. The smallest case that falls outside this range is (s,q)=(4,15)(s,q)=(4,15), and here the answer is an2+o(n2)a^{n^2+o(n^2)} where aa is transcendental assuming Schanuel's conjecture. This could indicate the difficulty of solving the problem in full generality. Many of our results can be seen as extending work by Bondy-Tuza and Füredi-Kündgen about sums of edge multiplicities to the product setting. We also prove a variety of other extremal results for (n,s,q)(n,s,q)-graphs, including product-stability theorems. These results are of additional interest because they can be used to enumerate and to prove logical 0-1 laws for (n,s,q)(n,s,q)-graphs. Our work therefore extends many classical enumerative results in extremal graph theory beginning with the Erdős-Kleitman-Rothschild theorem to multigraphs.

preprint2016arXiv

Structure and enumeration theorems for hereditary properties in finite relational languages

Given a finite relational language $\calL$, a hereditary $\calL$-property is a class of finite $\calL$-structures which is closed under isomorphism and model theoretic substructure. This notion encompasses many objects of study in extremal combinatorics, including (but not limited to) hereditary properties of graphs, hypergraphs, and oriented graphs. In this paper, we generalize certain definitions, tools, and results form the study of hereditary properties in combinatorics to the setting of hereditary $\calL$-properties, where $\calL$ is any finite relational language with maximum arity at least two. In particular, the goal of this paper is to generalize how extremal results and stability theorems can be combined with standard techniques and tools to yield approximate enumeration and structure theorems. We accomplish this by generalizing the notions of extremal graphs, asymptotic density, and graph stability theorems using structures in an auxiliary language associated to a hereditary $\calL$-property. Given a hereditary $\calL$-property $\calH$, we prove an approximate asymptotic enumeration theorem for $\calH$ in terms of its generalized asymptotic density. Further we prove an approximate structure theorem for $\calH$, under the assumption of that $\calH$ has a stability theorem. The tools we use include a new application of the hypergraph containers theorem (Balogh-Morris-Samotij, Saxton-Thomason) to the setting of $\calL$-structures, a general supersaturation theorem for hereditary $\calL$-properties (also new), and a general graph removal lemma for $\calL$-structures proved by Aroskar and Cummings.

preprint2015arXiv

Discrete metric spaces: structure, enumeration, and 00-11 laws

Fix an integer r≥3r\geq 3. We consider metric spaces on nn points such that the distance between any two points lies in {1,...,r}\{1,..., r\}. Our main result describes their approximate structure for large nn. As a consequence, we show that the number of these metric spaces is ⌈r+12⌉(n2)+o(n2)\lceil \frac{r+1}{2}\rceil ^{{n\choose 2} + o(n^2)}. Related results in the continuous setting have recently been proved by Kozma, Meyerovitch, Peled, and Samotij. When rr is even, our structural characterization is more precise, and implies that almost all such metric spaces have all distances at least r/2r/2. As an easy consequence, when rr is even we improve the error term above from o(n2)o(n^2) to o(1)o(1), and also show a labeled first-order 00-11 law in the language Lr\mathcal{L}_r, consisting of rr binary relations, one for each element of [r][r]. In particular, we show the almost sure theory TT is the theory of the Fraïssé limit of the class of all finite simple complete edge-colored graphs with edge colors in {r/2,...,r}\{r/2,..., r\}. Our work can be viewed as an extension of a long line of research in extremal combinatorics to the colored setting, as well as an addition to the collection of known structures that admit logical 00-11 laws.

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.