SearcharxivSearch

arXiv subjects

Casey Tompkins

Publications and source records attributed to Casey Tompkins.

At least 19 recordsLinked to original sources

Crown-free families and forbidden subposets with $e(P)\in \{1,2\}$

The maximum size of a weak $P$-free family $\mathcal{F}\subseteq 2^{[n]}$ is denoted by $La(n,P)$. Let $e(P)$ denote the maximum integer $k$ such that the union of any $k$ consecutive layers of $2^{[n]}$ is weak $P$-free. In recent years, multiple examples of posets with $e(P)<\pi^-(P):=\liminf_{n\to\infty} \frac{La(n,P)}{\binom{n}{\lfloor \frac{n}{2}\rfloor}}$ have been found. We add several further posets with $e(P)=1$ to this list. We define a family $\mathcal{F}\subseteq 2^{[n]}$ of size at least $(1.22+o(1))\binom{n}{\lfloor \frac{n}{2}\rfloor}$ that is weak $O_6$-free, where $O_6$ is the six-element crown poset. We also show an infinite set of posets $P$ with $1=e(P)<\pi^-(P)$ that are minimal with respect to this property. Finally, we consider how far apart $e(P)$ and $\pi^-(P)$ can be. We prove that for every fixed finite poset $P$ with $e(P)=1$, there is a constant $\delta_P>0$ such that $La(n,P)\le(2-\delta_P+o(1))\binom{n}{\lfloor n/2\rfloor}$. The value 2 is optimal: explicit vertex-edge incidence posets with $e(P)=1$ have $\pi^-(P)$ values tending to $2$. In contrast, for every $K>0$ we construct a finite poset $P$ with $e(P)=2$ and lower density greater than $K$.

math.CO

An Improved Lower Bound for Diamond-Free Families

We construct a diamond-free family in the Boolean lattice whose size is asymptotically larger than the union of two middle layers. Denote the diamond poset by $Q_2$ and let $La(n,Q_2)$ be the maximum size of a family in $2^{[n]}$ containing no weak copy of $Q_2$. We prove $La(n,Q_2) \ge (c+o(1))\binom{n}{\lfloor n/2\rfloor}$, where $c \approx 2.147908$. In particular, this disproves the diamond conjecture.

math.CO

A note on the extremal number of Berge-$C_4$

We improve the known upper bound for the extremal number of Berge-$C_4$-free $3$-uniform hypergraphs. More precisely, we prove that every $n$-vertex $3$-uniform hypergraph with no Berge cycle of length four has at most \[ \frac{n^{3/2}}{2+\sqrt2}+O(n) \] hyperedges. This improves the previous best-known leading constant $1/\sqrt{10}$ to $1/(2+\sqrt2)$.

math.CO

An Erd\H{o}s-Ko-Rado Theorem for Tilings

We prove an Erd\H{o}s-Ko-Rado type extremal result for tilings of a $1 \times n$ chessboard by tiles whose lengths belong to a set $\Lambda$. Two tilings are said to intersect if they contain a tile spanning the same set of squares. We prove that if $1\in\Lambda$, then the maximum size of an intersecting family of tilings is attained by the set of all tilings containing a fixed singleton tile at one of its ends. This result generalizes a theorem of Butler, Horn and Tressler, which is equivalent to the case $\Lambda=\{1,2\}$.

math.CO

An Intersection-Weighted Erd\H{o}s-Ko-Rado Theorem

We consider an Erd\H{o}s-Ko-Rado type sum that weights each member of a uniform family according to its smallest intersection with the rest of the family. We prove that once the ground set is sufficiently large this sum is at most one, with equality exactly for stars. This simultaneously generalizes the usual Erd\H{o}s-Ko-Rado theorem for every intersection threshold $t$ and $n$ sufficiently large. As a consequence we also obtain an extension of Hilton's theorem on cross-intersecting families.

math.CO

Tur\'an-Type Extremal Results for Distance-$k$ Graphs

We study Tur\'an-type extremal problems for distance graphs, motivated by work of Csikv\'ari, Bollob\'as, Tyomkyn, and Uzzell. We determine the maximum number of vertex pairs at distance three in an $n$-vertex graph with no triangle formed by these pairs, resolving the first case of a conjecture of Tyomkyn and Uzzell. We also determine the maximum number of vertex pairs at distance two in an $n$-vertex graph with no triangle formed by these pairs and give a complete characterization of the extremal graphs, settling another problem of Tyomkyn and Uzzell.

math.CO

The Tur\'{a}n number of the Cartesian product of a star and an edge

Let $C_k$ denote the cycle of length $k$, $S_t$ be a star with $t$ edges. And let $B_t$ be the graph consisting of $t$ copies of $C_4$ sharing one fixed edge. Equivalently, $B_t=K_2 \mathbin{\square} S_t$, which is the Cartesian product of a star with $t$ edges and an edge. Recently, Gao, Janzer, Liu and Xu [\textit{Israel J. Math. 269(2025)}] proved that the Tur\'an number of $K_2\mathbin{\square} C_{2l}$ is $\Theta(n^{\frac{3}{2}})$ for every $l\ge 4$. In this paper, we obtain upper and lower estimates for the Tur\'an number of $B_t$ in both the general and bipartite settings for every $t\geq 2$. For the lower bound, we use random construction based on the extremal structure of $C_4$. These results imply that $\frac{1}{2\sqrt{2}}\leq \lim_{t\to \infty} \frac{\mathrm{ex}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2}$, and $\frac{1}{4}\leq \lim_{t\to \infty} \frac{\mathrm{ex}_{bip}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2\sqrt{2}}.$ In the case of $B_2$, we obtain sharper estimates. We show that the Tur\'an number of $B_2$ is approximately between $(0.518+o(1))n^{\frac{3}{2}}$ and $(0.603+o(1))n^{\frac{3}{2}}$. And in the bipartite setting, it is approximately between $(0.385+o(1))n^{\frac{3}{2}}$ and $(0.468+o(1))n^{\frac{3}{2}}$. Moreover, in the bipartite setting, we give a more general result, which shows that for every tree $T$ with $t$ edges, the bipartite Tur\'an number of $K_2\mathbin{\square}T$ is at most $\frac{\sqrt{t}}{2\sqrt{2}}(1+o(1))n^{\frac{3}{2}}$.

math.CO

The number of induced paths in outerplanar graphs

Let $P_k$ denote the path with $k$ vertices, and $\mathrm{ex}_{\mathcal{OP}}(n,H^{\mathrm{ind}},\emptyset)$ be the maximum number of induced copies of $H$ in an $n$-vertex outerplanar graph. In this paper, we determine the exact value of $\mathrm{ex}_{\mathcal{OP}}(n,P_3^{\mathrm{ind}},\emptyset)$ for all $n$, and give an asymptotic value of $\mathrm{ex}_{\mathcal{OP}}(n,P_4^{\mathrm{ind}},\emptyset)$. For general $k$, Matolcsi and Nagy proved that $\lim_{k\to \infty} {\left( \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1},\emptyset)\right)^{1/k}} =4$. In the induced case, we prove that \[ fib(k-1)\frac{{(n-2k+3)}^2}{4} \le \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1}^{\mathrm{ind}},\emptyset) \le fib(k+1) \binom{n}{2}, \] where $fib(k)$ is the Fibonacci number. This implies that $\lim_{k\to \infty} {\left( \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1}^{\mathrm{ind}},\emptyset)\right)^{1/k}} = \frac{\sqrt{5}+1}{2}\approx 1.618$.

math.CO

Sets avoiding a rainbow solution to the generalized Schur equation

A classical result in combinatorial number theory states that the largest subset of $[n]$ avoiding a solution to the equation $x+y=z$ is of size $\lceil n/2 \rceil$. For all integers $k>m$, we prove multicolored extensions of this result where we maximize the sum and product of the sizes of sets $A_1,A_2,\dots,A_k \subseteq [n]$ avoiding a rainbow solution to the Schur equation $x_1+x_2+\dots+x_m=x_{m+1}$. Moreover, we determine all the extremal families.

math.CO

Metric graphs of negative type

The negative type inequalities of a metric space are closely tied to embeddability. A result by Gupta, Newman, and Rabinovich implies that if a metric graph $G$ does not contain a theta submetric as an embedding, then $G$ has negative type. We show the converse: if a metric graph $G$ contains a theta, then it does not have negative type.

math.CO

On hypergraph Tur\'an problems with bounded matching number

Very recently, Alon and Frankl, and Gerbner studied the maximum number of edges in $n$-vertex $F$-free graphs with bounded matching number, respectively. We consider the analogous Tur\'{a}n problems on hypergraphs with bounded matching number, and we obtain some exact results.

math.CO

Connected Tur\'{a}n numbers for Berge paths in hypergraphs

Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. Denote by $\ex^{\mathrm{conn}}_r(n,\mathcal{F})$ the maximum number of hyperedges in an $n$-vertex connected $r$-uniform hypergraph which contains no member of $\mathcal{F}$ as a subhypergraph. Denote by $\mathcal{B}C_k$ the Berge cycle of length $k$, and by $\mathcal{B}P_k$ the Berge path of length $k$. F\"{u}redi, Kostochka and Luo, and independently Gy\H{o}ri, Salia and Zamora determined $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ provided $k$ is large enough compared to $r$ and $n$ is sufficiently large. For the case $k\le r$, Kostochka and Luo obtained an upper bound for $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$. In this paper, we continue investigating the case $k\le r$. We precisely determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ when $n$ is sufficiently large and $n$ is not a multiple of~$r$. For the case $k=r+1$, we determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ asymptotically.

math.CO

On graphs without cycles of length 0 modulo 4

Bollob\'as proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.

math.CO

A note on universal graphs for spanning trees

Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$.

math.CO

The maximum Wiener index of a uniform hypergraph

The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index.

math.CO

On the rainbow planar Tur\'an number of paths

An edge-colored graph is said to contain a rainbow-$F$ if it contains $F$ as a subgraph and every edge of $F$ is a distinct color. The problem of maximizing edges among $n$-vertex properly edge-colored graphs not containing a rainbow-$F$, known as the rainbow Tur\'an problem, was initiated by Keevash, Mubayi, Sudakov and Verstra\"ete. We investigate a variation of this problem with the additional restriction that the graph is planar, and we denote the corresponding extremal number by $\ex_{\p}^*(n,F)$. In particular, we determine $\ex_{\p}^*(n,P_5)$, where $P_5$ denotes the $5$-vertex path.

math.CO

Rainbow saturation for complete graphs

We call an edge-colored graph rainbow if all of its edges receive distinct colors. An edge-colored graph $\Gamma$ is called $H$-rainbow saturated if $\Gamma$ does not contain a rainbow copy of $H$ and adding an edge of any color to $\Gamma$ creates a rainbow copy of $H$. The rainbow saturation number $sat(n,{R}(H))$ is the minimum number of edges in an $n$-vertex $H$-rainbow saturated graph. Gir\~{a}o, Lewis, and Popielarz conjectured that $sat(n,{R}(K_r))=2(r-2)n+O(1)$ for fixed $r\geq 3$. Disproving this conjecture, we establish that for every $r\geq 3$, there exists a constant $\alpha_r$ such that $$r + \Omega\left(r^{1/3}\right) \le \alpha_r \le r + r^{1/2} \qquad \text{and} \qquad sat(n,{R}(K_r)) = \alpha_r n + O(1).$$ Recently, Behague, Johnston, Letzter, Morrison, and Ogden independently gave a slightly weaker upper bound which was sufficient to disprove the conjecture. They also introduced the weak rainbow saturation number, and asked whether this is equal to the rainbow saturation number of $K_r$, since the standard weak saturation number of complete graphs equals the standard saturation number. Surprisingly, our lower bound separates the rainbow saturation number from the weak rainbow saturation number, answering this question in the negative. The existence of the constant $\alpha_r$ resolves another of their questions in the affirmative for complete graphs. Furthermore, we show that the conjecture of Gir\~{a}o, Lewis, and Popielarz is true if we have an additional assumption that the edge-colored $K_r$-rainbow saturated graph must be rainbow. As an ingredient of the proof, we study graphs which are $K_r$-saturated with respect to the operation of deleting one edge and adding two edges.

math.CO

Generalized Turan number for the edge blow-up graph

Let $H$ be a graph and $p$ be an integer. The edge blow-up $H^p$ of $H$ is the graph obtained from replacing each edge in $H$ by a copy of $K_p$ where the new vertices of the cliques are all distinct. Let $C_k$ and $P_k$ denote the cycle and path of length $k$, respectively. In this paper, we find sharp upper bounds for $ex(n,K_3,C_3^3)$ and the exact value for $ ex(n,K_3,P_3^3)$ and determine the graphs attaining these bounds.

math.CO