Source author record

Casey Tompkins

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

16works
4topics
4close collaborators

Published work

16 publications

preprint2022arXiv

Generalized Turán densities in the hypercube

A classical extremal, or Turán-type problem asks to determine ex(G,H){\rm ex}(G, H), the largest number of edges in a subgraph of a graph GG which does not contain a subgraph isomorphic to HH. Alon and Shikhelman introduced the so-called generalized extremal number ex(G,T,H){\rm ex}(G,T,H), defined to be the maximum number of subgraphs isomorphic to TT in a subgraph of GG that contains no subgraphs isomorphic to HH. In this paper we investigate the case when G=QnG = Q_n, the hypercube of dimension nn, and TT and HH are smaller hypercubes or cycles.

preprint2021arXiv

Inverse Turán numbers

For given graphs GG and FF, the Turán number ex(G,F)ex(G,F) is defined to be the maximum number of edges in an FF-free subgraph of GG. Foucaud, Krivelevich and Perarnau and later independently Briggs and Cox introduced a dual version of this problem wherein for a given number kk, one maximizes the number of edges in a host graph GG for which ex(G,H)<kex(G,H) < k. Addressing a problem of Briggs and Cox, we determine the asymptotic value of the inverse Turán number of the paths of length 44 and 55 and provide an improved lower bound for all paths of even length. Moreover, we obtain bounds on the inverse Turán number of even cycles giving improved bounds on the leading coefficient in the case of C4C_4. Finally, we give multiple conjectures concerning the asymptotic value of the inverse Turán number of C4C_4 and PℓP_{\ell}, suggesting that in the latter problem the asymptotic behavior depends heavily on the parity of ℓ\ell.

preprint2021arXiv

Long path and cycle decompositions of even hypercubes

We consider edge decompositions of the nn-dimensional hypercube QnQ_n into isomorphic copies of a given graph HH. While a number of results are known about decomposing QnQ_n into graphs from various classes, the simplest cases of paths and cycles of a given length are far from being understood. A conjecture of Erde asserts that if nn is even, ℓ<2n\ell < 2^n and ℓ\ell divides the number of edges of QnQ_n, then the path of length ℓ\ell decomposes QnQ_n. Tapadia et al.\ proved that any path of length 2mn2^mn, where 2m<n2^m<n, satisfying these conditions decomposes QnQ_n. Here, we make progress toward resolving Erde's conjecture by showing that cycles of certain lengths up to 2n+1/n2^{n+1}/n decompose QnQ_n. As a consequence, we show that QnQ_n can be decomposed into copies of any path of length at most 2n/n2^{n}/n dividing the number of edges of QnQ_n, thereby settling Erde's conjecture up to a linear factor.

preprint2020arXiv

Generalized Planar Turán Numbers

In a generalized Turán problem, we are given graphs HH and FF and seek to maximize the number of copies of HH in an FF-free graph of order nn. We consider generalized Turán problems where the host graph is planar. In particular we obtain the order of magnitude of the maximum number of copies of a fixed tree in a planar graph containing no even cycle of length at most 2ℓ2\ell, for all ℓ\ell, ℓ≥1\ell \geq 1. We obtain the order of magnitude of the maximum number of cycles of a given length in a planar C4C_4-free graph. An exact result is given for the maximum number of 55-cycles in a C4C_4-free planar graph. Multiple conjectures are also introduced.

preprint2020arXiv

Saturation problems in the Ramsey theory of graphs, posets and point sets

In 1964, Erdős, Hajnal and Moon introduced a saturation version of Turán's classical theorem in extremal graph theory. In particular, they determined the minimum number of edges in a KrK_r-free, nn-vertex graph with the property that the addition of any further edge yields a copy of KrK_r. We consider analogues of this problem in other settings. We prove a saturation version of the Erdős-Szekeres theorem about monotone subsequences and saturation versions of some Ramsey-type theorems on graphs and Dilworth-type theorems on posets. We also consider semisaturation problems, wherein we allow the family to have the forbidden configuration, but insist that any addition to the family yields a new copy of the forbidden configuration. In this setting, we prove a semisaturation version of the Erdős-Szekeres theorem on convex kk-gons, as well as multiple semisaturation theorems for sequences and posets.

preprint2020arXiv

Turán numbers of Berge trees

A classical conjecture of Erdős and Sós asks to determine the Turán number of a tree. We consider variants of this problem in the settings of hypergraphs and multi-hypergraphs. In particular, for all kk and rr, with r≥k(k−2)r \ge k (k-2), we show that any rr-uniform hypergraph H\mathcal{H} with more than n(k−1)r+1\frac{n(k-1)}{r+1} hyperedges contains a Berge copy of any tree with kk edges different from the kk-edge star. This bound is sharp when r+1r+1 divides nn and for such values of nn we determine the extremal hypergraphs.

preprint2016arXiv

An improvement of the general bound on the largest family of subsets avoiding a subposet

Let La(n,P)La(n,P) be the maximum size of a family of subsets of [n]={1,2,...,n}[n]= \{1,2, ..., n \} not containing PP as a (weak) subposet, and let h(P)h(P) be the length of a longest chain in PP. The best known upper bound for La(n,P)La(n,P) in terms of ∣P∣|P| and h(P)h(P) is due to Chen and Li, who showed that La(n,P)≤1m+1(∣P∣+12(m2+3m−2)(h(P)−1)−1)(n⌊n/2⌋)La(n,P) \le \frac{1}{m+1} \left(|P| + \frac{1}{2}(m^2 +3m-2)(h(P)-1) -1 \right) {\binom {n} {\lfloor n/2 \rfloor}} for any fixed m≥1m \ge 1. In this paper we show that La(n,P)≤12k−1(∣P∣+(3k−5)2k−2(h(P)−1)−1)(n⌊n/2⌋)La(n,P) \le \frac{1}{2^{k-1}} (|P| + (3k-5)2^{k-2}(h(P)-1) - 1 ) {n \choose {\lfloor n/2\rfloor} } for any fixed k≥2k \ge 2, improving the best known upper bound. By choosing kk appropriately, we obtain that La(n,P)=O(h(P)log⁡2(∣P∣h(P)+2))(n⌊n/2⌋)La(n,P) = O\left( h(P) \log_2\left(\frac{|P|}{h(P)}+2\right) \right) {n \choose \lfloor n/2 \rfloor } as a corollary, which we show is best possible for general PP. We also give a different proof of this corollary by using bounds for generalized diamonds. We also show that the Lubell function of a family of subsets of [n][n] not containing PP as an induced subposet is O(nc)O(n^c) for every c>12c>\frac{1}{2}.

preprint2016arXiv

Intersection Graphs of Rays and Grounded Segments

We consider several classes of intersection graphs of line segments in the plane and prove new equality and separation results between those classes. In particular, we show that: (1) intersection graphs of grounded segments and intersection graphs of downward rays form the same graph class, (2) not every intersection graph of rays is an intersection graph of downward rays, and (3) not every intersection graph of rays is an outer segment graph. The first result answers an open problem posed by Cabello and Jejčič. The third result confirms a conjecture by Cabello. We thereby completely elucidate the remaining open questions on the containment relations between these classes of segment graphs. We further characterize the complexity of the recognition problems for the classes of outer segment, grounded segment, and ray intersection graphs. We prove that these recognition problems are complete for the existential theory of the reals. This holds even if a 1-string realization is given as additional input.

preprint2016arXiv

The Optimal Pebbling Number of Staircase Graphs

Let G be a graph with a distribution of pebbles on its vertices. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The optimal pebbling number of G is the smallest number of pebbles which can placed on the vertices of G such that, for any vertex v of G, there is a sequence of pebbling moves resulting in at least one pebble on v. We determine the optimal pebbling number for several classes of induced subgraphs of the square grid, which we call staircase graphs.

preprint2015arXiv

De Bruijn-Erdős type theorems for graphs and posets

A classical theorem of De Bruijn and Erdős asserts that any noncollinear set of n points in the plane determines at least n distinct lines. We prove that an analogue of this theorem holds for graphs. Restricting our attention to comparability graphs, we obtain a version of the De Bruijn-Erdős theorem for partially ordered sets (posets). Moreover, in this case, we have an improved bound on the number of lines depending on the height of the poset. The extremal configurations are also determined.

preprint2014arXiv

Exact forbidden subposet results using Chain decompositions of the Cycle

We introduce a method of decomposing the family of intervals along a cyclic permutation into chains to determine the size of the largest family of subsets of [n]:={1,2,...,n}[n]:= \{1,2,...,n\} not containing one or more given posets as a subposet. De Bonis, Katona and Swanepoel determined the size of the largest butterfly-free family. We strengthen this result by showing that, for certain posets containing the butterfly poset as a subposet, the same bound holds. We also obtain the corresponding LYM-type inequalities.

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.