A tight cycle in an $r$-uniform hypergraph $\mathcal{H}$ is a sequence of $\ell\geq r+1$ vertices $x_1,\dots,x_{\ell}$ such that all $r$-tuples $\{x_{i},x_{i+1},\dots,x_{i+r-1}\}$ (with subscripts modulo $\ell$) are edges of $\mathcal{H}$.
An old problem of V. Sós, also posed independently by J. Verstraëte, asks for the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices which has no tight cycle. Although this is a very basic question, until recently, no good upper bounds were known for this problem for $r\geq 3$. Here we prove that the answer is at most $n^{r-1+o(1)}$, which is tight up to the $o(1)$ error term.
Our proof is based on finding robust expanders in the line graph of $\mathcal{H}$ together with certain density increment type arguments.
We study sufficient conditions for Hamiltonian cycles in hypergraphs, and obtain both Turán- and Dirac-type results. While the Turán-type result gives an exact threshold for the appearance of a Hamiltonian cycle in a hypergraph depending only on the extremal number of a certain path, the Dirac-type result yields a sufficient condition relying solely on the minimum vertex degree.
We give a simple geometric interpretation of an algebraic construction of Wenger that yields $n$-vertex graphs with no cycle of length $4$, $6$ or $10$ and close to the maximum number of edges.
We determine the maximum number of edges in a $K_4$-minor-free $n$-vertex graph of girth $g$, when $g = 5$ or $g$ is even. We argue that there are many different $n$-vertex extremal graphs, if $n$ is even and $g$ is odd.
Let $ρ(G)$ denote the number of convex cycles of a simple graph G of order n, size m, and girth 3 <= g <=n. It is proved that $ρ(G) \leq \frac{n}{g}(m-n+1)$ and that equality holds if and only if G is an even cycle or a Moore graph. The equality also holds for a possible Moore graph of diameter 2 and degree 57 thus giving a new characterization of Moore graphs.
The \emph{blow-up} of a graph $H$ is the graph obtained from replacing each edge in $H$ by a clique of the same size where the new vertices of the cliques are all different. Erdős et al. and Chen et al. determined the extremal number of blow-ups of stars. Glebov determined the extremal number and found all extremal graphs for blow-ups of paths. We determined the extremal number and found the extremal graphs for the blow-ups of cycles and a large class of trees, when $n$ is sufficiently large. This generalizes their results. The additional aim of our note is to draw attention to a powerful tool…
An extremal graph for a graph $H$ on $n$ vertices is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $T_{n,r}$ be the Turán graph, which is the complete $r$-partite graph on $n$ vertices with part sizes that differ by at most one. The well-known Turán Theorem states that $T_{n,r}$ is the only extremal graph for complete graph $K_{r+1}$. Erdös et al. (1995) determined the extremal graphs for intersecting triangles and Chen et al. (2003) determined the maximum number of edges of the extremal graphs for intersecting cliques. In this paper, we dete…
In the 1960s, Erdős and his cooperators initiated the research of the maximum numbers of edges in a graph or a planar graph on $n$ vertices without $k$ edge-disjoint cycles. This problem had been solved for $k\leq4$. As pointed out by Bollobás, it is very difficult for general $k$. Recently, Tait and Tobin [J. Combin. Theory Ser. B, 2017] confirmed a famous conjecture on maximum spectral radius of $n$-vertex planar graphs. Motivated by the above results, we consider two extremal problems on planar graphs without $k$ edge-disjoint cycles. We first determine the maximum number of edges in a plan…
We prove an upper bound for the number of edges a C4-free graph on q^2 + q vertices can contain for q even. This upper bound is achieved whenever there is an orthogonal polarity graph of a plane of even order q.
In this paper, we prove $\text{ex}(n, C_{2k})\le (16\sqrt{5}\sqrt{k\log k} + o(1))\cdot n^{1+1/k}$. We improved on Bukh--Jiang's method used in their 2017 publication, thereby reducing the best known upper bound by a factor of $\sqrt{5\log k}$.
We determine the maximum number of copies of $K_{s,s}$ in a $C_{2s+2}$-free $n$-vertex graph for all integers $s \ge 2$ and sufficiently large $n$. Moreover, for $s\in\{2,3\}$ and any integer $n$ we obtain the maximum number of cycles of length $2s$ in an $n$-vertex $C_{2s+2}$-free bipartite graph.
We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a disproof of a conjecture of Erdős from 1970s which asserts that $f(n)=\frac12 n^{3/2}+\frac14 n+o(n)$.
We describe the C_{2k+1}-free graphs on n vertices with maximum number of edges. The extremal graphs are unique except for n = 3k-1, 3k, 4k-2, or 4k-1. The value of ex(n,C_{2k+1}) can be read out from the works of Bondy, Woodall, and Bollobas, but here we give a new streamlined proof. The complete determination of the extremal graphs is also new. We obtain that the bound for n_0(C_{2k+1}) is 4k in the classical theorem of Simonovits, from which the unique extremal graph is the bipartite Turan graph.
Let $ex(Q_n, H)$ be the largest number of edges in a subgraph $G$ of a hypercube $Q_n$ such that there is no subgraph of $G$ isomorphic to $H$. We show that for any integer $k\geq 3$, $$ex(Q_n, C_{4k+2})= O(n^{\frac{5}{6} + \frac{1}{3(2k-2)}} 2^n).$$
As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness. These concepts and other recent techniques have led to the solution of several long-standing problems in the area. New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs. We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approac…
In this paper we estimate the planar Turán number $\mathrm{ex}_\mathcal{P}(n,H)$ of some graphs $H$, i.e., the maximum number of edges in a planar graph $G$ of $n$ vertices not containing $H$ as a subgraph. We give a new, short proof when $H=C_5$, and study the cases when $G$ is bipartite or triangle-free and $H$ is a short even cycle. The proofs are mostly new applications or variants of the "contribution method" introduced by Ghosh, Győri, Martin, Paulos and Xiao in arXiv:2004.14094.
For a family $\mathcal{F}$ of graphs, let $ex(n,\mathcal{F})$ denote the maximum number of edges in an $n$-vertex graph which contains none of the members of $\mathcal{F}$ as a subgraph. A longstanding problem in extremal graph theory asks to determine the function $ex(n,\{C_3,C_4\})$. Here we give a new construction for dense graphs of girth at least five with arbitrary number of vertices, providing the first improvement on the lower bound of $ex(n,\{C_3,C_4\})$ since 1976. As a corollary, this yields a negative answer to a problem in Chung-Graham [3].
In this paper we define cycle-star graph CSk,n-k to be a graph on n vertices consisting of the cycle of length k and n-k leafs appended to the same vertex of the cycle. Also, we define cycle-path graph CPk,n-k to be a graph on n vertices consisting of the cycle of length k and of path on n-k vertices whose one end is linked to a vertex on a cycle. We establish that cycle-star graph CS3,n-3 is the only maximal graph with respect to additively weighted Harary index among all unicyclic graphs on n vertices, while cycle-path graph CP3,n-3 is the only minimal unicyclic graph (here n must be at leas…
Denote by $tC_\ell$ the disjoint union of $t$ cycles of length $\ell$. Let $ex(n,F)$ and $spex(n,F)$ be the maximum size and spectral radius over all $n$-vertex $F$-free graphs, respectively. In this paper, we shall pay attention to the study of both $ex(n,tC_\ell)$ and $spex(n,tC_\ell)$. On the one hand, we determine $ex(n,tC_{2\ell+1})$ and characterize the extremal graph for any integers $t,\ell$ and $n\ge f(t,\ell)$, where $f(t,\ell)=O(t\ell^2)$. This generalizes the result on $ex(n,tC_3)$ of Erdős [Arch. Math. 13 (1962) 222--227] as well as the research on $ex(n,C_{2\ell+1})$ of Füredi an…
Given graphs $G$ and $H$, the generalized Turán number ${\rm ex}(G,H)$ is the maximum number of edges in an $H$-free subgraph of $G$. In this paper, we obtain an asymptotic upper bound on ${\rm ex}(CT_n,C_{2l})$ for any $n \ge 3$ and $l\geq2$, where $C_{2l}$ is the cycle of length $2l$ and $CT_n$ is the complete transposition graph which is defined as the Cayley graph on the symmetric group ${\rm S}_n$ with respect to the set of all transpositions of ${\rm S}_n$.
The Turán type numbers for graphs without 3-cycles and 4-cycles are determined for vertex numbers from 40 to 49 inclusive. Hence, now, 43 of the first 50 numbers of OEIS A006856 are known. Estimates for the remaining seven numbers are presented.
Let $\overrightarrow{P_k}$ and $\overrightarrow{C_k}$ denote the directed path and the directed cycle of order $k$, respectively. In this paper, we determine the precise maximum size of $\overrightarrow{P_k}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size for large $n$. For all $n$, we also determine the precise maximum size of $\overrightarrow{C_k}$-free digraphs of order $n$ as well as the extremal digraphs attaining the maximum size. In addition, Huang and Lyu [\textit{Discrete Math. 343(5) 2020}] characterized the extremal digraphs avoiding an orient…
In this note, we show that for any $m \in \{1,2, \dots , q +1 \}$, if $G$ is a polarity graph of a projective plane of order $q$ that has an oval, then $G$ contains a subgraph on $m + \binom{m}{2}$ vertices with $m^2+\frac{m^4}{8q} - O ( \frac{m^4}{q^{3/2} } +m )$ edges. As an application, we give the best known lower bounds on the Turán number $\mathrm{ex}(n, C_4)$ for certain values of $n$. In particular, we disprove a conjecture of Abreu, Balbuena, and Labbate concerning $\mathrm{ex}(q^2-q-2, C_4)$ where $q$ is a power of $2$.
We consider extremal problems for subgraphs of pseudorandom graphs. For graphs $F$ and $Γ$ the generalized Turán density $π_F(Γ)$ denotes the density of a maximum subgraph of $Γ$, which contains no copy of~$F$. Extending classical Turán type results for odd cycles, we show that $π_{F}(Γ)=1/2$ provided $F$ is an odd cycle and $Γ$ is a sufficiently pseudorandom graph. In particular, for $(n,d,λ)$-graphs $Γ$, i.e., $n$-vertex, $d$-regular graphs with all non-trivial eigenvalues in the interval $[-λ,λ]$, our result holds for odd cycles of length $\ell$, provided \[ λ^{\ell-2}\ll \frac{d^{\ell-1}}n…
Burr and Erdős conjectured that for each $k,\ell \in \mathbb Z^+$ such that $k \mathbb Z + \ell$ contains even integers, there exists $c_k(\ell)$ such that any graph of average degree at least $c_k(\ell)$ contains a cycle of length $\ell$ mod $k$. This conjecture was proved by Bollobás, and many successive improvements of upper bounds on $c_k(\ell)$ appear in the literature. In this short note, for $1 \leq \ell \leq k$, we show that $c_k(\ell)$ is proportional to the largest average degree of a $C_{\ell}$-free graph on $k$ vertices, which determines $c_k(\ell)$ up to an absolute constant. In p…
Let $G$ be a graph on $n$ vertices, labeled $v_1,\ldots,v_n$ and $π$ be a permutation on $[n]:=\{1,2,\cdots, n\}$. Suppose that each pebble $p_i$ is placed at vertex $v_{π(i)}$ and has destination $v_i$. During each step, a disjoint set of edges is selected and the pebbles on each edge are swapped. Let $rt(G, π)$, the routing number for $π$, be the minimum number of steps necessary for the pebbles to reach their destinations. Li, Lu, and Yang prove that $rt(C_n, π)\le n-1$ for any permutation on $n$-cycle $C_n$ and conjecture that for $n \geq 5$, if $rt(C_n, π) = n-1$, then $π= (123\cdots n)$ …
An embedding of a graph in $3$-space is linkless if for every two disjoint cycles there exists an embedded ball that contains one of the cycles and is disjoint from the other. We prove that every bipartite linklessly embeddable (simple) graph on $n\ge5$ vertices has at most $3n-10$ edges, unless it is isomorphic to the complete bipartite graph $K_{3,n-3}$.
The Erdős--Gallai Theorem states that for $k\geq 3$ every graph on $n$ vertices with more than $\frac{1}{2}(k-1)(n-1)$ edges contains a cycle of length at least $k$. Kopylov proved a strengthening of this result for 2-connected graphs with extremal examples $H_{n,k,t}$ and $H_{n,k,2}$. In this note, we generalize the result of Kopylov to bound the number of $s$-cliques in a graph with circumference less than $k$. Furthermore, we show that the same extremal examples that maximize the number of edges also maximize the number of cliques of any fixed size. Finally, we obtain the extremal number of…
National University of Singapore（新加坡国立大学）；University of Science and Technology of China（中国科学技术大学）；Tsinghua University（清华大学）；Georgia Institute of Technology（佐治亚理工学院）
The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring. We begin by introducing the notion of $Δ$-regressive and almost $Δ$-regressive colourings and studying the structures that must appear as monochromatic subgraphs for such colourings. We also consider …
We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.
Let $G$ be a non-bipartite graph which does not contain any odd cycle of length at most $2k+1$. In this paper, we determine the maximum $Q$-index of $G$ if its order is fixed, and the corresponding extremal graph is uniquely characterized. Moreover, if the size of $G$ is given, the maximum $Q$-index of $G$ and the unique extremal graph are also proved.
In this paper we show that $e/n$ is the sharp threshold for the existence of tight Hamilton cycles in random $k$-uniform hypergraphs, for all $k\ge 4$. When $k=3$ we show that $1/n$ is an asymptotic threshold. We also determine thresholds for the existence of other types of Hamilton cycles.
A set $W\subseteq V(G)$ is called a resolving set for $G$, if for each two distinct vertices $u,v\in V(G)$ there exists $w\in W$ such that $d(u,w)\neq d(v,w)$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The minimum cardinality of a resolving set for $G$ is called the metric dimension of $G$, and denoted by $β(G)$. In this paper, it is proved that in a connected graph $G$ of order $n$ which has a cycle, $β(G)\leq n-g(G)+2$, where $g(G)$ is the length of a shortest cycle in $G$, and the equality holds if and only if $G$ is a cycle, a complete graph or a complete bipartite g…
We employ the absorbing-path method in order to prove two results regarding the emergence of tight Hamilton cycles in the so called {\em two-path} or {\em cherry}-quasirandom $3$-graphs. Our first result asserts that for any fixed real $α>0$, cherry-quasirandom $3$-graphs of sufficiently large order $n$ having minimum $2$-degree at least $α(n-2)$ have a tight Hamilton cycle. Our second result concerns the minimum $1$-degree sufficient for such $3$-graphs to have a tight Hamilton cycle. Roughly speaking, we prove that for every $d,α>0$ satisfying $d + α>1$, any sufficiently large $n$-vertex suc…
A $k$-uniform tight cycle is a $k$-uniform hypergraph with a cyclic ordering of its vertices such that its edges are all the sets of size $k$ formed by $k$ consecutive vertices in the ordering. We prove that every red-blue edge-coloured $K_n^{(4)}$ contains a red and a blue tight cycle that are vertex-disjoint and together cover $n-o(n)$ vertices. Moreover, we prove that every red-blue edge-coloured $K_n^{(5)}$ contains four monochromatic tight cycles that are vertex-disjoint and together cover $n-o(n)$ vertices.
Let $EG_r(n,k)$ denote the maximum number of edges in an $n$-vertex $r$-uniform hypergraph with no Berge cycles of length $k$ or longer. In the first part of this work, we have found exact values of $EG_r(n,k)$ and described the structure of extremal hypergraphs for the case when $k-2$ divides $n-1$ and $k\geq r+3$. In this paper we determine $EG_r(n,k)$ and describe the extremal hypergraphs for all $n$ when $k\geq r+4$.
A tight $k$-uniform $\ell$-cycle, denoted by $TC_\ell^k$, is a $k$-uniform hypergraph whose vertex set is $v_0, \cdots, v_{\ell-1}$, and the edges are all the $k$-tuples $\{v_i, v_{i+1}, \cdots, v_{i+k-1}\}$, with subscripts modulo $\ell$. Motivated by a classic result in graph theory that every $n$-vertex cycle-free graph has at most $n-1$ edges, Sós and, independently, Verstraëte asked whether for every integer $k$, a $k$-uniform $n$-vertex hypergraph without any tight $k$-uniform cycles has at most $\binom{n-1}{k-1}$ edges. In this paper, we answer this question in negative.
We prove that any $3$-uniform hypergraph whose minimum vertex degree is at least $\left(\frac{5}{9} + o(1) \right)\binom{n}{2}$ admits an almost-spanning tight cycle, that is, a tight cycle leaving $o(n)$ vertices uncovered. The bound on the vertex degree is asymptotically best possible. Our proof uses the hypergraph regularity method, and in particular a recent version of the hypergraph regularity lemma proved by Allen, Böttcher, Cooley and Mycroft.
In 2006, Kühn and Osthus showed that if a 3-graph H on n vertices has minimum co-degree at least (1/4 +o(1))n and n is even then H has a loose Hamilton cycle. In this paper, we prove that the minimum co-degree of n/4 suffices. The result is tight.
We study the game of Cops and Robbers, where cops try to capture a robber on the vertices of a graph. Meyniel's conjecture states that for every connected graph $G$ on $n$ vertices, the cop number of $G$ is upper bounded by $O(\sqrt{n})$, i.e., that $O(\sqrt{n})$ suffice to catch the robber. We present several families of abelian Cayley graphs that are Meyniel extremal, i.e., graphs whose cop number is $O(\sqrt{n})$. This proves that the $O(\sqrt{n})$ upper bound for Cayley graphs proved by Bradshaw is tight up to a multiplicative constant. In particular, this shows that Meyniel's conjecture, …
Given $α>0$ and an integer $\ell\geq5$, we prove that every sufficiently large $3$-uniform hypergraph $H$ on $n$ vertices in which every two vertices are contained in at least $αn$ edges contains a copy of $C_\ell^{-}$, a tight cycle on $\ell$ vertices minus one edge. This improves a previous result by Balogh, Clemen, and Lidický.
An extremal graph for a given graph $H$ is a graph on $n$ vertices with maximum number of edges that does not contain $H$ as a subgraph. Let $s,t$ be integers and let $H_{s,t}$ be a graph consisting of $s$ triangles and $t$ cycles of odd lengths at least 5 which intersect in exactly one common vertex. Erdős et al. (1995) determined the extremal graphs for $H_{s,0}$. Recently, Hou et al. (2016) determined the extremal graphs for $H_{0,t}$, where the $t$ cycles have the same odd length $q$ with $q\ge 5$. In this paper, we further determine the extremal graphs for $H_{s,t}$ with $s\ge 0$ and $t\g…
We show that every 4-uniform hypergraph with $n$ vertices and minimum pair degree at least $(5/9+o(1))n^2/2$ contains a tight Hamiltonian cycle. This degree condition is asymptotically optimal.
We show that every $r$-uniform hypergraph on $n$ vertices which does not contain a tight cycle has at most $O(n^{r-1} (\log n)^5)$ edges. This is an improvement on the previously best-known bound, of $n^{r-1} e^{O(\sqrt{\log n})}$, due to Sudakov and Tomon, and our proof builds up on their work. A recent construction of B. Janzer implies that our bound is tight up to an $O((\log n)^4 \log \log n)$ factor.
We give an algorithmic proof for the existence of tight Hamilton cycles in a random r-uniform hypergraph with edge probability p=n^{-1+eps} for every eps>0. This partly answers a question of Dudek and Frieze [Random Structures Algorithms], who used a second moment method to show that tight Hamilton cycles exist even for p=omega(n)/n (r>2) where omega(n) tends to infinity arbitrary slowly, and for p=(e+o(1))/n (r>3). The method we develop for proving our result applies to related problems as well.
