-
Triangle-free triple systems
Authors:
Peter Frankl,
Zoltán Füredi,
Ido Goorevitch,
Ron Holzman,
Gábor Simonyi
Abstract:
There are four non-isomorphic configurations of triples that can form a triangle in a $3$-uniform hypergraph. Forbidding different combinations of these four configurations, fifteen extremal problems can be defined, several of which already appeared in the literature in some different context. Here we systematically study all of these problems solving the new cases exactly or asymptotically. In ma…
▽ More
There are four non-isomorphic configurations of triples that can form a triangle in a $3$-uniform hypergraph. Forbidding different combinations of these four configurations, fifteen extremal problems can be defined, several of which already appeared in the literature in some different context. Here we systematically study all of these problems solving the new cases exactly or asymptotically. In many cases we also characterize the extremal constructions.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
Tur\' an number for bushes
Authors:
Zoltán Füredi,
Alexandr Kostochka
Abstract:
Let $ a,b \in {\bf Z}^+$, $r=a + b$, and let $T$ be a tree with parts $U = \{u_1,u_2,\dots,u_s\}$ and $V = \{v_1,v_2,\dots,v_t\}$. Let $U_1, \dots ,U_s$ and $V_1, \dots, V_t$ be disjoint sets, such that {$|U_i|=a$ and $|V_j|=b$ for all $i,j$}. The {\em $(a,b)$-blowup} of $T$ is the $r$-uniform hypergraph with edge set $ {\{U_i \cup V_j : u_iv_j \in E(T)\}.}$ We use the $Δ$-systems method to prove…
▽ More
Let $ a,b \in {\bf Z}^+$, $r=a + b$, and let $T$ be a tree with parts $U = \{u_1,u_2,\dots,u_s\}$ and $V = \{v_1,v_2,\dots,v_t\}$. Let $U_1, \dots ,U_s$ and $V_1, \dots, V_t$ be disjoint sets, such that {$|U_i|=a$ and $|V_j|=b$ for all $i,j$}. The {\em $(a,b)$-blowup} of $T$ is the $r$-uniform hypergraph with edge set $ {\{U_i \cup V_j : u_iv_j \in E(T)\}.}$ We use the $Δ$-systems method to prove the following Tur\' an-type result. Suppose $a,b,s \in {\bf Z}^+$, $r=a+b\geq 3$,{ $a\geq 2$,} and $T$ is a fixed tree of diameter $4$ in which the degree of the center vertex is $s $. Then there exists a $C=C(r,s ,T)>0$ such that $ |\mathcal{H}|\leq (s -1){n\choose r-1} +Cn^{r-2}$ for every $n$-vertex $r$-uniform hypergraph $\mathcal{H}$ {not containing an $(a,b)$-blowup of $T$}. This is {asymptotically exact} when $s \leq |V(T)|/2$. A stability result is also presented.
△ Less
Submitted 10 December, 2023; v1 submitted 10 July, 2023;
originally announced July 2023.
-
An upper bound on the size of Sidon sets
Authors:
József Balogh,
Zoltán Füredi,
Souktik Roy
Abstract:
In this entry point into the subject, combining two elementary proofs, we decrease the gap between the upper and lower bounds by $0.2\%$ in a classical combinatorial number theory problem. We show that the maximum size of a Sidon set of $\{ 1, 2, \ldots, n\}$ is at most $\sqrt{n}+ 0.998n^{1/4}$ for sufficiently large $n$.
In this entry point into the subject, combining two elementary proofs, we decrease the gap between the upper and lower bounds by $0.2\%$ in a classical combinatorial number theory problem. We show that the maximum size of a Sidon set of $\{ 1, 2, \ldots, n\}$ is at most $\sqrt{n}+ 0.998n^{1/4}$ for sufficiently large $n$.
△ Less
Submitted 16 June, 2021; v1 submitted 29 March, 2021;
originally announced March 2021.
-
Shadows of 3-uniform hypergraphs under a minimum degree condition
Authors:
Zoltán Füredi,
Yi Zhao
Abstract:
We prove a minimum degree version of the Kruskal--Katona theorem: given $d\ge 1/4$ and a triple system $F$ on $n$ vertices with minimum degree at least $d\binom n2$, we obtain asymptotically tight lower bounds for the size of its shadow. Equivalently, for $t\ge n/2-1$, we asymptotically determine the minimum size of a graph on $n$ vertices, in which every vertex is contained in at least…
▽ More
We prove a minimum degree version of the Kruskal--Katona theorem: given $d\ge 1/4$ and a triple system $F$ on $n$ vertices with minimum degree at least $d\binom n2$, we obtain asymptotically tight lower bounds for the size of its shadow. Equivalently, for $t\ge n/2-1$, we asymptotically determine the minimum size of a graph on $n$ vertices, in which every vertex is contained in at least $\binom t2$ triangles. This can be viewed as a variant of the Rademacher--Turán problem.
△ Less
Submitted 16 July, 2022; v1 submitted 24 March, 2021;
originally announced March 2021.
-
Turán number of special four cycles in triple systems
Authors:
Zoltán Füredi,
András Gyárfás,
Attila Sali
Abstract:
A {\em special four-cycle } $F$ in a triple system consists of four triples {\em inducing } a $C_4$. This means that $F$ has four special vertices $v_1,v_2,v_3,v_4$ and four triples in the form $w_iv_iv_{i+1}$ (indices are understood $\pmod 4$) where the $w_j$s are not necessarily distinct but disjoint from $\{v_1,v_2,v_3,v_4\}$. There are seven non-isomorphic special four-cycles, their family is…
▽ More
A {\em special four-cycle } $F$ in a triple system consists of four triples {\em inducing } a $C_4$. This means that $F$ has four special vertices $v_1,v_2,v_3,v_4$ and four triples in the form $w_iv_iv_{i+1}$ (indices are understood $\pmod 4$) where the $w_j$s are not necessarily distinct but disjoint from $\{v_1,v_2,v_3,v_4\}$. There are seven non-isomorphic special four-cycles, their family is denoted by $\cal{F}$. Our main result implies that the Turán number $\text{ex}(n,{\cal{F}})=Θ(n^{3/2})$. In fact, we prove more, $\text{ex}(n,\{F_1,F_2,F_3\})=Θ(n^{3/2})$, where the $F_i$-s are specific members of $\cal{F}$. This extends previous bounds for the Turán number of triple systems containing no Berge four cycles.
We also study $\text{ex}(n,{\cal{A}})$ for all ${\cal{A}}\subseteq {\cal{F}}$. For 16 choices of $\cal{A}$ we show that $\text{ex}(n,{\cal{A}})=Θ(n^{3/2})$, for 92 choices of $\cal{A}$ we find that $\text{ex}(n,{\cal{A}})=Θ(n^2)$ and the other 18 cases remain unsolved.
△ Less
Submitted 25 September, 2021; v1 submitted 17 March, 2021;
originally announced March 2021.
-
Extremal problems for pairs of triangles
Authors:
Zoltán Füredi,
Dhruv Mubayi,
Jason O'Neill,
Jacques Verstraëte
Abstract:
A convex geometric hypergraph or cgh consists of a family of subsets of a strictly convex set of points in the plane. There are eight pairwise nonisomorphic cgh's consisting of two disjoint triples. These were studied at length by Braß (2004) and by Aronov, Dujmović, Morin, Ooms, and da Silveira (2019). We determine the extremal functions exactly for seven of the eight configurations.
The above…
▽ More
A convex geometric hypergraph or cgh consists of a family of subsets of a strictly convex set of points in the plane. There are eight pairwise nonisomorphic cgh's consisting of two disjoint triples. These were studied at length by Braß (2004) and by Aronov, Dujmović, Morin, Ooms, and da Silveira (2019). We determine the extremal functions exactly for seven of the eight configurations.
The above results are about cyclically ordered hypergraphs. We extend some of them for triangle systems with vertices from a non-convex set. We also solve problems posed by P. Frankl, Holmsen and Kupavskii (2020), in particular, we determine the exact maximum size of an intersecting family of triangles whose vertices come from a set of $n$ points in the plane.
△ Less
Submitted 21 December, 2020; v1 submitted 21 October, 2020;
originally announced October 2020.
-
Large monochromatic components in almost complete graphs and bipartite graphs
Authors:
Zoltan Furedi,
Ruth Luo
Abstract:
Gyárfas proved that every coloring of the edges of $K_n$ with $t+1$ colors contains a monochromatic connected component of size at least $n/t$. Later, Gyárfás and Sárközy asked for which values of $γ=γ(t)$ does the following strengthening for almost complete graphs hold: if $G$ is an $n$-vertex graph with minimum degree at least $(1-γ)n$, then every $(t+1)$-edge coloring of $G$ contains a monochro…
▽ More
Gyárfas proved that every coloring of the edges of $K_n$ with $t+1$ colors contains a monochromatic connected component of size at least $n/t$. Later, Gyárfás and Sárközy asked for which values of $γ=γ(t)$ does the following strengthening for almost complete graphs hold: if $G$ is an $n$-vertex graph with minimum degree at least $(1-γ)n$, then every $(t+1)$-edge coloring of $G$ contains a monochromatic component of size at least $n/t$. We show $γ= 1/(6t^3)$ suffices, improving a result of DeBiasio, Krueger, and Sárközy.
△ Less
Submitted 27 August, 2020;
originally announced August 2020.
-
Extremal problems for hypergraph blowups of trees
Authors:
Zoltán Füredi,
Tao Jiang,
Alexandr Kostochka,
Dhruv Mubayi,
Jacques Verstraëte
Abstract:
In this paper we present a novel approach in extremal set theory which may be viewed as an asymmetric version of Katona's permutation method. We use it to find more Turán numbers of hypergraphs in the Erdős--Ko--Rado range.
An $(a,b)$-path $P$ of length $2k-1$ consists of $2k-1$ sets of size $r=a+b$ as follows. Take $k$ pairwise disjoint $a$-element sets $A_0, A_2, \dots, A_{2k-2}$ and other…
▽ More
In this paper we present a novel approach in extremal set theory which may be viewed as an asymmetric version of Katona's permutation method. We use it to find more Turán numbers of hypergraphs in the Erdős--Ko--Rado range.
An $(a,b)$-path $P$ of length $2k-1$ consists of $2k-1$ sets of size $r=a+b$ as follows. Take $k$ pairwise disjoint $a$-element sets $A_0, A_2, \dots, A_{2k-2}$ and other $k$ pairwise disjoint $b$-element sets $B_1, B_3, \dots, B_{2k-1}$ and order them linearly as $A_0, B_1, A_2, B_3, A_4\dots$. Define the (hyper)edges of $P_{2k-1}(a,b)$ as the sets of the form $A_i\cup B_{i+1}$ and $B_j\cup A_{j+1}$. The members of $P$ can be represented as $r$-element intervals of the $ak+bk$ element underlying set.
Our main result is about hypergraphs that are blowups of trees, and implies that for fixed $k,a,b$, as $n\to \infty$ \[ {\rm ex}_r(n,P_{2k-1}(a,b)) = (k - 1){n \choose r - 1} + o(n^{r - 1}).\]
This generalizes the Erdős--Gallai theorem for graphs which is the case of $a=b=1$. We also determine the asymptotics when $a+b$ is even; the remaining cases are still open.
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
Induced Turán problems and traces of hypergraphs
Authors:
Zoltan Furedi,
Ruth Luo
Abstract:
Let $F$ be a graph. We say that a hypergraph $H$ contains an induced Berge $F$ if the vertices of $F$ can be embedded to $H$ (e.g., $V(F)\subseteq V(H)$) and there exists an injective map** $f$ from the edges of $F$ to the hyperedges of $H$ such that $f(xy) \cap V(F) = \{x,y\}$ holds for each edge $xy$ of $F$. In other words, $H$ contains $F$ as a trace.
Let $ex_{r}(n,B_{ind} F)$ denote the ma…
▽ More
Let $F$ be a graph. We say that a hypergraph $H$ contains an induced Berge $F$ if the vertices of $F$ can be embedded to $H$ (e.g., $V(F)\subseteq V(H)$) and there exists an injective map** $f$ from the edges of $F$ to the hyperedges of $H$ such that $f(xy) \cap V(F) = \{x,y\}$ holds for each edge $xy$ of $F$. In other words, $H$ contains $F$ as a trace.
Let $ex_{r}(n,B_{ind} F)$ denote the maximum number of edges in an $r$-uniform hypergraph with no induced Berge $F$. Let $ex(n,K_r, F)$ denote the maximum number of $K_r$'s in an $F$-free graph on $n$ vertices. We show that these two Turán type functions are strongly related.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Berge cycles in non-uniform hypergraphs
Authors:
Zoltan Furedi,
Alexandr Kostochka,
Ruth Luo
Abstract:
We consider two extremal problems for set systems without long Berge cycles. First we give Dirac-type minimum degree conditions that force long Berge cycles. Next we give an upper bound for the number of hyperedges in a hypergraph with bounded circumference. Both results are best possible in infinitely many cases.
We consider two extremal problems for set systems without long Berge cycles. First we give Dirac-type minimum degree conditions that force long Berge cycles. Next we give an upper bound for the number of hyperedges in a hypergraph with bounded circumference. Both results are best possible in infinitely many cases.
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Problems and results on 1-cross intersecting set pair systems
Authors:
Zoltán Füredi,
András Gyárfás,
Zoltán Király
Abstract:
The notion of cross intersecting set pair system of size $m$, $\Big(\{A_i\}_{i=1}^m, \{B_i\}_{i=1}^m\Big)$ with $A_i\cap B_i=\emptyset$ and $A_i\cap B_j\ne\emptyset$, was introduced by Bollobás and it became an important tool of extremal combinatorics. His classical result states that $m\le {a+b\choose a}$ if $|A_i|\le a$ and $|B_i|\le b$ for each $i$.
Our central problem is to see how this boun…
▽ More
The notion of cross intersecting set pair system of size $m$, $\Big(\{A_i\}_{i=1}^m, \{B_i\}_{i=1}^m\Big)$ with $A_i\cap B_i=\emptyset$ and $A_i\cap B_j\ne\emptyset$, was introduced by Bollobás and it became an important tool of extremal combinatorics. His classical result states that $m\le {a+b\choose a}$ if $|A_i|\le a$ and $|B_i|\le b$ for each $i$.
Our central problem is to see how this bound changes with the additional condition $|A_i\cap B_j|=1$ for $i\ne j$. Such a system is called $1$-cross intersecting. We show that the maximum size of a $1$-cross intersecting set pair system is
-- at least $5^{n/2}$ for $n$ even, $a=b=n$,
-- equal to $\bigl(\lfloor\frac{n}{2}\rfloor+1\bigr)\bigl(\lceil\frac{n}{2}\rceil+1\bigr)$ if $a=2$ and $b=n\ge 4$,
-- at most $|\cup_{i=1}^m A_i|$,
-- asymptotically $n^2$ if $\{A_i\}$ is a linear hypergraph ($|A_i\cap A_j|\le 1$ for $i\ne j$),
-- asymptotically ${1\over 2}n^2$ if $\{A_i\}$ and $\{B_i\}$ are both linear hypergraphs.
△ Less
Submitted 24 July, 2022; v1 submitted 8 November, 2019;
originally announced November 2019.
-
Hypergraphs without exponents
Authors:
Zoltán Füredi,
Dániel Gerbner
Abstract:
Here we give a short, concise proof for the following result. There exists a $k$-uniform hypergraph $H$ (for $k\geq 5$) without exponent, i.e., when the Turán function is not polynomial in $n$. More precisely, we have $ex(n,H)=o(n^{k-1})$ but it exceeds $n^{k-1-c}$ for any positive $c$ for $n> n_0(k,c)$.
This is an extension (and simplification) of a result of Frankl and the first author from 19…
▽ More
Here we give a short, concise proof for the following result. There exists a $k$-uniform hypergraph $H$ (for $k\geq 5$) without exponent, i.e., when the Turán function is not polynomial in $n$. More precisely, we have $ex(n,H)=o(n^{k-1})$ but it exceeds $n^{k-1-c}$ for any positive $c$ for $n> n_0(k,c)$.
This is an extension (and simplification) of a result of Frankl and the first author from 1987 where the case $k=5$ was proven. We conjecture that it is true for $k\in \{3, 4\}$ as well.
△ Less
Submitted 16 June, 2019;
originally announced June 2019.
-
On 2-connected hypergraphs with no long cycles
Authors:
Zoltan Furedi,
Alexandr Kostochka,
Ruth Luo
Abstract:
We give an upper bound for the maximum number of edges in an $n$-vertex 2-connected $r$-uniform hypergraph with no Berge cycle of length $k$ or greater, where $n\geq k \geq 4r\geq 12$. For $n$ large with respect to $r$ and $k$, this bound is sharp and is significantly stronger than the bound without restrictions on connectivity. It turned out that it is simpler to prove the bound for the broader c…
▽ More
We give an upper bound for the maximum number of edges in an $n$-vertex 2-connected $r$-uniform hypergraph with no Berge cycle of length $k$ or greater, where $n\geq k \geq 4r\geq 12$. For $n$ large with respect to $r$ and $k$, this bound is sharp and is significantly stronger than the bound without restrictions on connectivity. It turned out that it is simpler to prove the bound for the broader class of Sperner families where the size of each set is at most $r$. For such families, our bound is sharp for all $n\geq k\geq r\geq 3$.
△ Less
Submitted 1 February, 2019; v1 submitted 30 January, 2019;
originally announced January 2019.
-
Ordered and convex geometric trees with linear extremal function
Authors:
Zoltán Füredi,
Alexandr Kostochka,
Dhruv Mubayi,
Jacques Verstraëte
Abstract:
The extremal functions $ex_{\rightarrow}(n,F)$ and $ex_{\cir}(n,F)$ for ordered and convex geometric acyclic graphs $F$ have been extensively investigated by a number of researchers. Basic questions are to determine when $ex_{\rightarrow}(n,F)$ and $ex_{\cir}(n,F)$ are linear in $n$, the latter posed by Braß-Károlyi-Valtr in 2003. In this paper, we answer both these questions for every tree $F$.…
▽ More
The extremal functions $ex_{\rightarrow}(n,F)$ and $ex_{\cir}(n,F)$ for ordered and convex geometric acyclic graphs $F$ have been extensively investigated by a number of researchers. Basic questions are to determine when $ex_{\rightarrow}(n,F)$ and $ex_{\cir}(n,F)$ are linear in $n$, the latter posed by Braß-Károlyi-Valtr in 2003. In this paper, we answer both these questions for every tree $F$.
We give a forbidden subgraph characterization for a family $\cal T$ of ordered trees with $k$ edges, and show that $ex_{\rightarrow}(n,T) = (k - 1)n - {k \choose 2}$ for all $n \geq k + 1$ when $T \in {\cal T}$ and $ex_{\rightarrow}(n,T) = Ω(n\log n)$ for $T \not\in {\cal T}$. We also describe the family of the convex geometric trees with linear Tur\' an number and show that for every convex geometric tree $F$ not in this family, $ex_{\cir}(n,F)= Ω(n\log \log n)$.
△ Less
Submitted 1 February, 2019; v1 submitted 13 December, 2018;
originally announced December 2018.
-
Nearly subadditive sequences
Authors:
Zoltan Furedi,
Imre Z. Ruzsa
Abstract:
We show that the de Bruijn-Erdős condition for the error term in their improvement of Fekete's Lemma is not only sufficient but also necessary in the following strong sense. Suppose that given a sequence $0\leq f(1)\leq f(2)\leq f(3)\leq \dots $ such that \begin{equation}\sum_{ n=1}^{\infty} f(n)/n^2 = \infty.
\end{equation} Then, there exists a sequence $\{b(n)\}_{n=1,2,\dots}$ satisfying \begi…
▽ More
We show that the de Bruijn-Erdős condition for the error term in their improvement of Fekete's Lemma is not only sufficient but also necessary in the following strong sense. Suppose that given a sequence $0\leq f(1)\leq f(2)\leq f(3)\leq \dots $ such that \begin{equation}\sum_{ n=1}^{\infty} f(n)/n^2 = \infty.
\end{equation} Then, there exists a sequence $\{b(n)\}_{n=1,2,\dots}$ satisfying \begin{equation}\label{eq1} b(n+m) \leq b(n) + b(m) + f(n+m)
\end{equation} such that the sequence of slopes $\{ b(n)/n\}_{n=1,2,\dots}$ takes every rational number.
When the series is bounded we improve their result as follows. If there exist $N$ and real $μ>1$ such that near $f$-subadditivity holds for all pairs $(n,m)$ with $N\leq n\leq m \leq μn$, then $\lim_n b(n)/n $ exists.
△ Less
Submitted 27 October, 2018;
originally announced October 2018.
-
Hypergraphs not containing a tight tree with a bounded trunk ~II: 3-trees with a trunk of size 2
Authors:
Zoltán Füredi,
Tao Jiang,
Alexandr Kostochka,
Dhruv Mubayi,
Jacques Verstraëte
Abstract:
A tight $r$-tree $T$ is an $r$-uniform hypergraph that has an edge-ordering $e_1, e_2, \dots, e_t$ such that for each $i\geq 2$, $e_i$ has a vertex $v_i$ that does not belong to any previous edge and $e_i-v_i$ is contained in $e_j$ for some $j<i$. Kalai conjectured in 1984 that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r}\binom{n}{r-1}$ edges contains every tight $r$-tree…
▽ More
A tight $r$-tree $T$ is an $r$-uniform hypergraph that has an edge-ordering $e_1, e_2, \dots, e_t$ such that for each $i\geq 2$, $e_i$ has a vertex $v_i$ that does not belong to any previous edge and $e_i-v_i$ is contained in $e_j$ for some $j<i$. Kalai conjectured in 1984 that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r}\binom{n}{r-1}$ edges contains every tight $r$-tree $T$ with $t$ edges.
A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree $T'$ of $T$ such that vertices in $V(T)\setminus V(T')$ are leaves in $T$. Kalai's Conjecture was proved in 1987 for tight $r$-trees that have a trunk of size one. In a previous paper we proved an asymptotic version of Kalai's Conjecture for all tight $r$-trees that have a trunk of bounded size. In this paper we continue that work to establish the exact form of Kalai's Conjecture for all tight $3$-trees with at least $20$ edges that have a trunk of size two.
△ Less
Submitted 1 February, 2019; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Avoiding long Berge cycles II, exact bounds for all $n$
Authors:
Zoltan Furedi,
Alexandr Kostochka,
Ruth Luo
Abstract:
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 a…
▽ More
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$.
△ Less
Submitted 16 July, 2018;
originally announced July 2018.
-
Extremal problems on ordered and convex geometric hypergraphs
Authors:
Zoltán Füredi,
Tao Jiang,
Alexandr Kostochka,
Dhruv Mubayi,
Jacques Verstraëte
Abstract:
An ordered hypergraph is a hypergraph whose vertex set is linearly ordered, and a convex geometric hypergraph is a hypergraph whose vertex set is cyclically ordered. Extremal problems for ordered and convex geometric graphs have a rich history with applications to a variety of problems in combinatorial geometry. In this paper, we consider analogous extremal problems for uniform hypergraphs, and di…
▽ More
An ordered hypergraph is a hypergraph whose vertex set is linearly ordered, and a convex geometric hypergraph is a hypergraph whose vertex set is cyclically ordered. Extremal problems for ordered and convex geometric graphs have a rich history with applications to a variety of problems in combinatorial geometry. In this paper, we consider analogous extremal problems for uniform hypergraphs, and discover a general partitioning phenomenon which allows us to determine the order of magnitude of the extremal function for various ordered and convex geometric hypergraphs. A special case is the ordered $n$-vertex $r$-graph $F$ consisting of two disjoint sets $e$ and $f$ whose vertices alternate in the ordering. We show that for all $n \geq 2r + 1$, the maximum number of edges in an ordered $n$-vertex $r$-graph not containing $F$ is exactly \[ {n \choose r} - {n - r \choose r}.\] This could be considered as an ordered version of the Erdős-Ko-Rado Theorem, and generalizes earlier results of Capoyleas and Pach and Aronov-Dujmovič-Morin-Ooms-da Silveira.
△ Less
Submitted 16 July, 2018; v1 submitted 13 July, 2018;
originally announced July 2018.
-
Avoiding long Berge cycles
Authors:
Zoltan Furedi,
Alexandr Kostochka,
Ruth Luo
Abstract:
Let $n\geq k\geq r+3$ and $\mathcal H$ be an $n$-vertex $r$-uniform hypergraph. We show that if $|\mathcal H|> \frac{n-1}{k-2}\binom{k-1}{r}$ then $\mathcal H$ contains a Berge cycle of length at least $k$. This bound is tight when $k-2$ divides $n-1$. We also show that the bound is attained only for connected $r$-uniform hypergraphs in which every block is the complete hypergraph $K^{(r)}_{k-1}$.…
▽ More
Let $n\geq k\geq r+3$ and $\mathcal H$ be an $n$-vertex $r$-uniform hypergraph. We show that if $|\mathcal H|> \frac{n-1}{k-2}\binom{k-1}{r}$ then $\mathcal H$ contains a Berge cycle of length at least $k$. This bound is tight when $k-2$ divides $n-1$. We also show that the bound is attained only for connected $r$-uniform hypergraphs in which every block is the complete hypergraph $K^{(r)}_{k-1}$. We conjecture that our bound also holds in the case $k=r+2$, but the case of short cycles, $k\leq r+1$, is different.
△ Less
Submitted 14 May, 2018; v1 submitted 10 May, 2018;
originally announced May 2018.
-
Almost similar configurations
Authors:
Imre Bárány,
Zoltán Füredi
Abstract:
Let $h(n)$ denote the maximum number of triangles with angles between $59^\circ$ and $61^\circ$ in any $n$-element planar set. Our main result is an exact formula for $h(n)$. We also prove $h(n)= n^3/24+ O(n \log n)$ as $n\to \infty$. However, there are triangles $T$ and $n$-point sets $P$ showing that the number of $\varepsilon$-similar copies of $T$ in $P$ can exceed $n^3/15$ for any…
▽ More
Let $h(n)$ denote the maximum number of triangles with angles between $59^\circ$ and $61^\circ$ in any $n$-element planar set. Our main result is an exact formula for $h(n)$. We also prove $h(n)= n^3/24+ O(n \log n)$ as $n\to \infty$. However, there are triangles $T$ and $n$-point sets $P$ showing that the number of $\varepsilon$-similar copies of $T$ in $P$ can exceed $n^3/15$ for any $\varepsilon>0$.
△ Less
Submitted 10 May, 2019; v1 submitted 5 May, 2018;
originally announced May 2018.
-
A variation of a theorem by Pósa
Authors:
Zoltan Furedi,
Alexandr Kostochka,
Ruth Luo
Abstract:
A graph $G$ is $\ell$-hamiltonian if for any linear forest $F$ of $G$ with $\ell$ edges, $F$ can be extended to a hamiltonian cycle of $G$. We give a sharp upper bound for the maximum number of cliques of a fixed size in a non-$\ell$-hamiltonian graph. Furthermore, we prove stability for the bound: if a non-$\ell$-hamiltonian graph contains almost the maximum number of cliques, then it must be a s…
▽ More
A graph $G$ is $\ell$-hamiltonian if for any linear forest $F$ of $G$ with $\ell$ edges, $F$ can be extended to a hamiltonian cycle of $G$. We give a sharp upper bound for the maximum number of cliques of a fixed size in a non-$\ell$-hamiltonian graph. Furthermore, we prove stability for the bound: if a non-$\ell$-hamiltonian graph contains almost the maximum number of cliques, then it must be a subgraph of one of two examples.
△ Less
Submitted 17 April, 2018; v1 submitted 16 April, 2018;
originally announced April 2018.
-
Hypergraphs not containing a tight tree with a bounded trunk
Authors:
Zoltán Füredi,
Tao Jiang,
Alexandr Kostochka,
Dhruv Mubayi,
Jacques Verstraëte
Abstract:
An $r$-uniform hypergraph is a tight $r$-tree if its edges can be ordered so that every edge $e$ contains a vertex $v$ that does not belong to any preceding edge and the set $e-v$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erdős-Sós Conjecture for trees, asserts that if $T$ is a tight $r$-tree with $t$ edges and $G$ is an $n$-vertex $r$-uniform hypergraph containi…
▽ More
An $r$-uniform hypergraph is a tight $r$-tree if its edges can be ordered so that every edge $e$ contains a vertex $v$ that does not belong to any preceding edge and the set $e-v$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erdős-Sós Conjecture for trees, asserts that if $T$ is a tight $r$-tree with $t$ edges and $G$ is an $n$-vertex $r$-uniform hypergraph containing no copy of $T$ then $G$ has at most $\frac{t-1}{r}\binom{n}{r-1}$ edges.
A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree such that every edge of $T-T'$ has $r-1$ vertices in some edge of $T'$ and a vertex outside $T'$. For $r\ge 3$, the only nontrivial family of tight $r$-trees for which this conjecture has been proved is the family of $r$-trees with trunk size one in [FF] from 1987. Our main result is an asymptotic version of Kalai's conjecture for all tight trees $T$ of bounded trunk size. This follows from our upper bound on the size of a $T$-free $r$-uniform hypergraph $G$ in terms of the size of its shadow. We also give a short proof of Kalai's conjecture for tight $r$-trees with at most four edges. In particular, for $3$-uniform hypergraphs, our result on the tight path of length $4$ implies the intersection shadow theorem of Katona [Katona].
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
The linear Turán number of the k-fan
Authors:
Zoltán Füredi,
András Gyárfás
Abstract:
A hypergraph is linear if any two edges intersect in at most one vertex. For a fixed $k$-uniform family ${\cal{F}}$ of hypergraphs, the linear Turán number ${\rm ex}_{\rm lin}(n,{\cal{F}})$ is the maximum number of edges in a $k$-uniform linear hypergraph $\mathcal H$ on $n$ vertices that does not contain any member of ${\cal{F}}$ as a subhypergraph.
For $k\ge 2$ the $k$-fan $F^k$ is the $k$-uni…
▽ More
A hypergraph is linear if any two edges intersect in at most one vertex. For a fixed $k$-uniform family ${\cal{F}}$ of hypergraphs, the linear Turán number ${\rm ex}_{\rm lin}(n,{\cal{F}})$ is the maximum number of edges in a $k$-uniform linear hypergraph $\mathcal H$ on $n$ vertices that does not contain any member of ${\cal{F}}$ as a subhypergraph.
For $k\ge 2$ the $k$-fan $F^k$ is the $k$-uniform linear hypergraph having $k$ edges $f_1,\dots,f_k$ pairwise intersecting in the same vertex $v$ and an additional edge $g$ intersecting all $f_i$ in a vertex different from $v$. We prove the following extension of Mantel's theorem $${\rm ex}_{\rm lin}(n,F^k)\le {n^2 / k^2}.$$ Moreover, $|{\mathcal H}|=n^2/k^2$ holds if and only if $n\equiv 0\pmod k$ and $\mathcal H$ is a transversal design on $n$ points with $k$ groups.
We also study ${\rm ex}_{\rm lin}(n,{\cal{F}})$ where $\cal{F}$ is any subset of the three linear triple systems with four triples on at most seven points.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
List-Distinguishing Cartesian Products of Cliques
Authors:
Michael Ferrara,
Zoltan Furedi,
Sogol Jahanbekam,
Paul Wenger
Abstract:
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a co…
▽ More
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a color from $L(v)$. The list distinguishing number of $G$, denoted $D_{\ell}(G)$ is the minimum $k$ such that every list assignment $L$ that assigns a list of size at least $k$ to every vertex permits a distinguishing $L$-coloring. In this paper, we prove that when and $n$ is large enough, the distinguishing and list-distinguishing numbers of $K_n\Box K_m$ agree for almost all $m>n$, and otherwise differ by at most one. As a part of our proof, we give (to our knowledge) the first application of the Combinatorial Nullstellensatz to the graph distinguishing problem and also prove an inequality for the binomial distribution that may be of independent interest.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
Stability in the Erdős--Gallai Theorem on cycles and paths, II
Authors:
Zoltán Füredi,
Alexandr Kostochka,
Ruth Luo,
Jacques Verstraëte
Abstract:
The Erdős--Gallai Theorem states that for $k \geq 3$, any $n$-vertex graph with no cycle of length at least $k$ has at most $\frac{1}{2}(k-1)(n-1)$ edges. A stronger version of the Erdős--Gallai Theorem was given by Kopylov: If $G$ is a 2-connected $n$-vertex graph with no cycle of length at least $k$, then $e(G) \leq \max\{h(n,k,2),h(n,k,\lfloor \frac{k-1}{2}\rfloor)\}$, where…
▽ More
The Erdős--Gallai Theorem states that for $k \geq 3$, any $n$-vertex graph with no cycle of length at least $k$ has at most $\frac{1}{2}(k-1)(n-1)$ edges. A stronger version of the Erdős--Gallai Theorem was given by Kopylov: If $G$ is a 2-connected $n$-vertex graph with no cycle of length at least $k$, then $e(G) \leq \max\{h(n,k,2),h(n,k,\lfloor \frac{k-1}{2}\rfloor)\}$, where $h(n,k,a) := {k - a \choose 2} + a(n - k + a)$. Furthermore, Kopylov presented the two possible extremal graphs, one with $h(n,k,2)$ edges and one with $h(n,k,\lfloor \frac{k-1}{2}\rfloor)$ edges.
In this paper, we complete a stability theorem which strengthens Kopylov's result. In particular, we show that for $k \geq 3$ odd and all $n \geq k$, every $n$-vertex $2$-connected graph $G$ with no cycle of length at least $k$ is a subgraph of one of the two extremal graphs or $e(G) \leq \max\{h(n,k,3),h(n,k,\frac{k-3}{2})\}$. The upper bound for $e(G)$ here is tight.
△ Less
Submitted 10 April, 2017;
originally announced April 2017.
-
Extensions of a theorem of Erdős on nonhamiltonian graphs
Authors:
Zoltán Füredi,
Alexandr Kostochka,
Ruth Luo
Abstract:
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$. Erdős proved that when $n \geq 6d$, each nonhamiltonian graph $G$ on $n$ vertices with minimum degree $δ(G) \geq d$ has at most $h(n,d)$ edges. He also provides a sharpness example $H_{n,d}$ for all such pairs $n,d$. Previously, we showed a stability version of this resu…
▽ More
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$. Erdős proved that when $n \geq 6d$, each nonhamiltonian graph $G$ on $n$ vertices with minimum degree $δ(G) \geq d$ has at most $h(n,d)$ edges. He also provides a sharpness example $H_{n,d}$ for all such pairs $n,d$. Previously, we showed a stability version of this result: for $n$ large enough, every nonhamiltonian graph $G$ on $n$ vertices with $δ(G) \geq d$ and more than $h(n,d+1)$ edges is a subgraph of $H_{n,d}$.
In this paper, we show that not only does the graph $H_{n,d}$ maximize the number of edges among nonhamiltonian graphs with $n$ vertices and minimum degree at least $d$, but in fact it maximizes the number of copies of any fixed graph $F$ when $n$ is sufficiently large in comparison with $d$ and $|F|$. We also show a stronger stability theorem, that is, we classify all nonhamiltonian $n$-graphs with $δ(G) \geq d$ and more than $h(n,d+2)$ edges. We show this by proving a more general theorem: we describe all such graphs with more than ${n-(d+2) \choose k} + (d+2){d+2 \choose k-1}$ copies of $K_k$ for any $k$.
△ Less
Submitted 5 April, 2017; v1 submitted 29 March, 2017;
originally announced March 2017.
-
Kneser ranks of random graphs and minimum difference representations
Authors:
Zoltán Füredi,
Ida Kantor
Abstract:
Every graph $G=(V,E)$ is an induced subgraph of some Kneser graph of rank $k$, i.e., there is an assignment of (distinct) $k$-sets $v \mapsto A_v$ to the vertices $v\in V$ such that $A_u$ and $A_v$ are disjoint if and only if $uv\in E$. The smallest such $k$ is called the Kneser rank of $G$ and denoted by $f_{\rm Kneser}(G)$. As an application of a result of Frieze and Reed concerning the clique c…
▽ More
Every graph $G=(V,E)$ is an induced subgraph of some Kneser graph of rank $k$, i.e., there is an assignment of (distinct) $k$-sets $v \mapsto A_v$ to the vertices $v\in V$ such that $A_u$ and $A_v$ are disjoint if and only if $uv\in E$. The smallest such $k$ is called the Kneser rank of $G$ and denoted by $f_{\rm Kneser}(G)$. As an application of a result of Frieze and Reed concerning the clique cover number of random graphs we show that for constant $0< p< 1$ there exist constants $c_i=c_i(p)>0$, $i=1,2$ such that with high probability \[ c_1 n/(\log n)< f_{\rm Kneser}(G) < c_2 n/(\log n). \] We apply this for other graph representations defined by Boros, Gurvich and Meshulam. A {\em $k$-min-difference representation} of a graph $G$ is an assignment of a set $A_i$ to each vertex $i\in V(G)$ such that \[ ij\in E(G) \,\, \Leftrightarrow \, \, \min \{|A_i\setminus A_j|,|A_j\setminus A_i| \}\geq k. \] The smallest $k$ such that there exists a $k$-min-difference representation of $G$ is denoted by $f_{\min}(G)$. Balogh and Prince proved in 2009 that for every $k$ there is a graph $G$ with $f_{\min}(G)\geq k$. We prove that there are constants $c''_1, c''_2>0$ such that $c''_1 n/(\log n)< f_{\min}(G) < c''_2n/(\log n)$ holds for almost all bipartite graphs $G$ on $n+n$ vertices.
△ Less
Submitted 28 January, 2017;
originally announced January 2017.
-
A stability version for a theorem of Erdős on nonhamiltonian graphs
Authors:
Zoltán Füredi,
Alexandr Kostochka,
Ruth Luo
Abstract:
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$ and $e(n,d):= \max\{h(n,d),h(n, \left \lfloor \frac{n-1}{2} \right \rfloor)\}$. Because $h(n,d)$ is quadratic in $d$, there exists a $d_0(n)=(n/6)+O(1)$ such that $e(n,1)> e(n, 2)> \dots >e(n,d_0)=e(n, d_0+1)=\dots = e(n,\left \lfloor \frac{n-1}{2} \right \rfloor)$. A the…
▽ More
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$ and $e(n,d):= \max\{h(n,d),h(n, \left \lfloor \frac{n-1}{2} \right \rfloor)\}$. Because $h(n,d)$ is quadratic in $d$, there exists a $d_0(n)=(n/6)+O(1)$ such that $e(n,1)> e(n, 2)> \dots >e(n,d_0)=e(n, d_0+1)=\dots = e(n,\left \lfloor \frac{n-1}{2} \right \rfloor)$. A theorem by Erdős states that for $d\leq \left \lfloor \frac{n-1}{2} \right \rfloor$, any $n$-vertex nonhamiltonian graph $G$ with minimum degree $δ(G) \geq d$ has at most $e(n,d)$ edges, and for $d > d_0(n)$ the unique sharpness example is simply the graph $K_n-E(K_{\lceil (n+1)/2\rceil})$. Erdős also presented a sharpness example $H_{n,d}$ for each $1\leq d \leq d_0(n)$. We show that if $d< d_0(n)$ and a $2$-connected, nonhamiltonian $n$-vertex graph $G$ with $δ(G) \geq d$ has more than $e(n,d+1)$ edges, then $G$ is a subgraph of $H_{n,d}$. Note that $e(n,d) - e(n, d+1) = n - 3d - 2 \geq n/2$ whenever $d< d_0(n)-1$.
△ Less
Submitted 5 April, 2017; v1 submitted 19 August, 2016;
originally announced August 2016.
-
Stability in the Erdos--Gallai Theorem on cycles and paths
Authors:
Zoltán Füredi,
Alexandr Kostochka,
Jacques Verstraëte
Abstract:
The Erdős-Gallai Theorem states that for $k \geq 2$, every graph of average degree more than $k - 2$ contains a $k$-vertex path. This result is a consequence of a stronger result of Kopylov: if $k$ is odd, $k=2t+1\geq 5$, $n \geq (5t-3)/2$, and $G$ is an $n$-vertex $2$-connected graph with at least $h(n,k,t) := {k-t \choose 2} + t(n -k+ t)$ edges, then $G$ contains a cycle of length at least $k$ u…
▽ More
The Erdős-Gallai Theorem states that for $k \geq 2$, every graph of average degree more than $k - 2$ contains a $k$-vertex path. This result is a consequence of a stronger result of Kopylov: if $k$ is odd, $k=2t+1\geq 5$, $n \geq (5t-3)/2$, and $G$ is an $n$-vertex $2$-connected graph with at least $h(n,k,t) := {k-t \choose 2} + t(n -k+ t)$ edges, then $G$ contains a cycle of length at least $k$ unless $G = H_{n,k,t} := K_n - E(K_{n - t})$.
In this paper we prove a stability version of the Erdős-Gallai Theorem: we show that for all $n \geq 3t > 3$, and $k \in \{2t+1,2t + 2\}$, every $n$-vertex 2-connected graph $G$ with $e(G) > h(n,k,t-1)$ either contains a cycle of length at least $k$ or contains a set of $t$ vertices whose removal gives a star forest. In particular, if $k = 2t + 1 \neq 7$, we show $G \subseteq H_{n,k,t}$. The lower bound $e(G) > h(n,k,t-1)$ in these results is tight and is smaller than Kopylov's bound $h(n,k,t)$ by a term of $n-t-O(1)$.
△ Less
Submitted 11 May, 2016; v1 submitted 19 July, 2015;
originally announced July 2015.
-
Turán numbers of hypergraph trees
Authors:
Zoltán Füredi,
Tao Jiang
Abstract:
An $r$-graph is an $r$-uniform hypergraph tree (or $r$-tree) if its edges can be ordered as $E_1,\ldots, E_m$ such that $\forall i>1 \, \exists α(i)<i$ such that $E_i\cap (\bigcup_{j=1}^{i-1} E_j)\subseteq E_{α(i)}$. The Turán number $ex(n,{\cal H})$ of an $r$-graph ${\cal H}$ is the largest size of an $n$-vertex $r$-graph that does not contain ${\cal H}$. A cross-cut of ${\cal H}$ is a set of ver…
▽ More
An $r$-graph is an $r$-uniform hypergraph tree (or $r$-tree) if its edges can be ordered as $E_1,\ldots, E_m$ such that $\forall i>1 \, \exists α(i)<i$ such that $E_i\cap (\bigcup_{j=1}^{i-1} E_j)\subseteq E_{α(i)}$. The Turán number $ex(n,{\cal H})$ of an $r$-graph ${\cal H}$ is the largest size of an $n$-vertex $r$-graph that does not contain ${\cal H}$. A cross-cut of ${\cal H}$ is a set of vertices in ${\cal H}$ that contains exactly one vertex of each edge of ${\cal H}$. The cross-cut number $σ({\cal H})$ of ${\cal H}$ is the minimum size of a cross-cut of ${\cal H}$. We show that for a large family of $r$-graphs (largest within a certain scope) that are embeddable in $r$-trees, $ex(n,{\cal H})=(σ-1)\binom{n}{r-1}+o(n^{r-1})$ holds, and we establish structural stability of near extremal graphs. From stability, we establish exact results for some subfamilies.
△ Less
Submitted 12 May, 2015;
originally announced May 2015.
-
Subtended Angles
Authors:
Paul Balister,
Béla Bollobás,
Zoltán Füredi,
Imre Leader,
Mark Walters
Abstract:
We consider the following question. Suppose that $d\ge2$ and $n$ are fixed, and that $θ_1,θ_2,\dots,θ_n$ are $n$ specified angles. How many points do we need to place in $\mathbb{R}^d$ to realise all of these angles?
A simple degrees of freedom argument shows that $m$ points in $\mathbb{R}^2$ cannot realise more than $2m-4$ general angles. We give a construction to show that this bound is sharp…
▽ More
We consider the following question. Suppose that $d\ge2$ and $n$ are fixed, and that $θ_1,θ_2,\dots,θ_n$ are $n$ specified angles. How many points do we need to place in $\mathbb{R}^d$ to realise all of these angles?
A simple degrees of freedom argument shows that $m$ points in $\mathbb{R}^2$ cannot realise more than $2m-4$ general angles. We give a construction to show that this bound is sharp when $m\ge 5$.
In $d$ dimensions the degrees of freedom argument gives an upper bound of $dm-\binom{d+1}{2}-1$ general angles. However, the above result does not generalise to this case; surprisingly, the bound of $2m-4$ from two dimensions cannot be improved at all. Indeed, our main result is that there are sets of $2m-3$ of angles that cannot be realised by $m$ points in any dimension.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
A proof of the stability of extremal graphs, Simonovits' stability from Szemerédi's regularity
Authors:
Zoltán Füredi
Abstract:
The following sharpening of Turán's theorem is proved. Let $T_{n,p}$ denote the complete $p$--partite graph of order $n$ having the maximum number of edges. If $G$ is an $n$-vertex $K_{p+1}$-free graph with $e(T_{n,p})-t$ edges then there exists an (at most) $p$-chromatic subgraph $H_0$ such that $e(H_0)\geq e(G)-t$.
Using this result we present a concise, contemporary proof (i.e., one applying…
▽ More
The following sharpening of Turán's theorem is proved. Let $T_{n,p}$ denote the complete $p$--partite graph of order $n$ having the maximum number of edges. If $G$ is an $n$-vertex $K_{p+1}$-free graph with $e(T_{n,p})-t$ edges then there exists an (at most) $p$-chromatic subgraph $H_0$ such that $e(H_0)\geq e(G)-t$.
Using this result we present a concise, contemporary proof (i.e., one applying Szemerédi's regularity lemma) for the classical stability result of Simonovits.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
On 3-uniform hypergraphs without a cycle of a given length
Authors:
Zoltán Füredi,
Lale Özkahya
Abstract:
We study the maximum number of hyperedges in a 3-uniform hypergraph on $n$ vertices that does not contain a Berge cycle of a given length $\ell$. In particular we prove that the upper bound for $C_{2k+1}$-free hypergraphs is of the order $O(k^2n^{1+1/k})$, improving the upper bound of Györi and Lemons by a factor of $Θ(k^2)$. Similar bounds are shown for linear hypergraphs.
We study the maximum number of hyperedges in a 3-uniform hypergraph on $n$ vertices that does not contain a Berge cycle of a given length $\ell$. In particular we prove that the upper bound for $C_{2k+1}$-free hypergraphs is of the order $O(k^2n^{1+1/k})$, improving the upper bound of Györi and Lemons by a factor of $Θ(k^2)$. Similar bounds are shown for linear hypergraphs.
△ Less
Submitted 30 December, 2014; v1 submitted 27 December, 2014;
originally announced December 2014.
-
The minimum number of triangular edges and a symmetrization method for multiple graphs
Authors:
Zoltán Füredi,
Zeinab Maleki
Abstract:
We give an asymptotic formula for the minimum number of edges contained in triangles in a graph having n vertices and e edges. Our main tool is a generalization of Zykov's symmetrization method that can be applied for several graphs simultaneously.
We give an asymptotic formula for the minimum number of edges contained in triangles in a graph having n vertices and e edges. Our main tool is a generalization of Zykov's symmetrization method that can be applied for several graphs simultaneously.
△ Less
Submitted 3 June, 2016; v1 submitted 3 November, 2014;
originally announced November 2014.
-
A coding problem for pairs of subsets
Authors:
Bela Bollobas,
Zoltan Furedi,
Ida Kantor,
G. O. H. Katona,
Imre Leader
Abstract:
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of…
▽ More
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of elements of $A_1\cup A_2$ one has to move to obtain the other pair $\{B_1,B_2\}$. Let $C(n,k,d)$ be the maximum size of a family of pairs of disjoint subsets, such that the distance of any two pairs is at least $d$.
Here we establish a conjecture of Brightwell and Katona concerning an asymptotic formula for $C(n,k,d)$ for $k,d$ are fixed and $n\to \infty$. Also, we find the exact value of $C(n,k,d)$ in an infinite number of cases, by using special difference sets of integers. Finally, the questions discussed above are put into a more general context and a number of coding theory type problems are proposed.
△ Less
Submitted 12 May, 2014; v1 submitted 15 March, 2014;
originally announced March 2014.
-
Extremal numbers for odd cycles
Authors:
Zoltan Füredi,
David S. Gunderson
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
On a theorem of Erdős and Simonovits on graphs not containing the cube
Authors:
Zoltán Füredi
Abstract:
The cube Q is the usual 8-vertex graph with 12 edges. Here we give a new proof for a theorem of Erdős and Simonovits concerning the Turán number of the cube. Namely, it is shown that e(G) < n^{8/5}+(2n)^{3/2} holds for any n-vertex cube-free graph G. Our aim is to give a self-contained exposition. We also point out the best known results and supply bipartite versions.
The cube Q is the usual 8-vertex graph with 12 edges. Here we give a new proof for a theorem of Erdős and Simonovits concerning the Turán number of the cube. Namely, it is shown that e(G) < n^{8/5}+(2n)^{3/2} holds for any n-vertex cube-free graph G. Our aim is to give a self-contained exposition. We also point out the best known results and supply bipartite versions.
△ Less
Submitted 3 July, 2013;
originally announced July 2013.
-
The history of degenerate (bipartite) extremal graph problems
Authors:
Zoltán Füredi,
Miklós Simonovits
Abstract:
This paper is a survey on Extremal Graph Theory, primarily focusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions.
This paper is a survey on Extremal Graph Theory, primarily focusing on the case when one of the excluded graphs is bipartite. On one hand we give an introduction to this field and also describe many important results, methods, problems, and constructions.
△ Less
Submitted 29 June, 2013; v1 submitted 21 June, 2013;
originally announced June 2013.
-
Minimal symmetric differences of lines in projective planes
Authors:
Paul Balister,
Béla Bollobás,
Zoltán Füredi,
John Thompson
Abstract:
Let q be an odd prime power and let f(r) be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane PG(2,q). We prove some results about the function f(r), in particular showing that there exists a constant C>0 such that f(r)=O(q) for Cq^{3/2}<r<q^2 - Cq^{3/2}.
Let q be an odd prime power and let f(r) be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane PG(2,q). We prove some results about the function f(r), in particular showing that there exists a constant C>0 such that f(r)=O(q) for Cq^{3/2}<r<q^2 - Cq^{3/2}.
△ Less
Submitted 28 October, 2013; v1 submitted 17 March, 2013;
originally announced March 2013.
-
Minimal abundant packings and choosability with separation
Authors:
Zoltan Furedi,
Alexandr Kostochka,
Mohit Kumbhat
Abstract:
A $(v,k,t)$ packing of size $b$ is a system of $b$ subsets (blocks) of a $v$-element underlying set such that each block has $k$ elements and every $t$-set is contained in at most one block. $P(v,k,t)$ stands for the maximum possible $b$. A packing is called abundant if $b> v$. We give new estimates for $P(v,k,t)$ around the critical range, slightly improving the Johnson bound and asymptotically d…
▽ More
A $(v,k,t)$ packing of size $b$ is a system of $b$ subsets (blocks) of a $v$-element underlying set such that each block has $k$ elements and every $t$-set is contained in at most one block. $P(v,k,t)$ stands for the maximum possible $b$. A packing is called abundant if $b> v$. We give new estimates for $P(v,k,t)$ around the critical range, slightly improving the Johnson bound and asymptotically determine the minimum $v=v_0(k,t)$ when abundant packings exist.
For a graph $G$ and a positive integer $c$, let $χ_\ell(G,c)$ be the minimum value of $k$ such that one can properly color the vertices of $G$ from any assignment of lists $L(v)$ such that $|L(v)|=k$ for all $v\in V(G)$ and $|L(u)\cap L(v)|\leq c$ for all $uv\in E(G)$. Kratochvíl, Tuza and Voigt in 1998 asked to determine $\lim_{n\rightarrow \infty} χ_\ell(K_n,c)/\sqrt{cn}$ (if exists). Using our bound on $v_0(k,t)$, we prove that the limit exists and equals $1$. Given $c$, we find the exact value of $χ_\ell(K_n,c)$ for infinitely many $n$.
△ Less
Submitted 10 January, 2024; v1 submitted 16 March, 2013;
originally announced March 2013.
-
Hypergraph Turan numbers of linear cycles
Authors:
Zoltan Furedi,
Tao Jiang
Abstract:
A k-uniform linear cycle of length s is a cyclic list of k-sets A_1,..., A_s such that consecutive sets intersect in exactly one element and nonconsecutive sets are disjoint. For all k at least 5 and s at least 3 and sufficiently large n we determine the largest size of a k-uniform set family on [n] not containing a linear cycle of length s. For odd s=2t+1 the unique extremal family F_S consists o…
▽ More
A k-uniform linear cycle of length s is a cyclic list of k-sets A_1,..., A_s such that consecutive sets intersect in exactly one element and nonconsecutive sets are disjoint. For all k at least 5 and s at least 3 and sufficiently large n we determine the largest size of a k-uniform set family on [n] not containing a linear cycle of length s. For odd s=2t+1 the unique extremal family F_S consists of all k-sets in [n] intersecting a fixed t-set S in [n]. For even s=2t+2, the unique extremal family consists of F_S plus all the k-sets outside S containing some fixed two elements.
For k at least 4 and large n we also establish an exact result for so-called minimal cycles. For all k at least 4 our results substantially extend Erdos' result on largest k-uniform families without t+1 pairwise disjoint members and confirm, in a stronger form, a conjecture of Mubayi and Verstraete. Our main method is the delta system method.
△ Less
Submitted 10 February, 2013;
originally announced February 2013.
-
A discrete isodiametric result: the Erdős-Ko-Rado theorem for multisets
Authors:
Zoltán Füredi,
Dániel Gerbner,
Máté Vizer
Abstract:
There are many generalizations of the Erdős-Ko-Rado theorem. We give new results (and problems) concerning families of $t$-intersecting $k$-element multisets of an $n$-set and point out connections to coding theory and classical geometry. We establish the conjecture that for $n \geq t(k-t)+2$ such a family can have at most ${n+k-t-1\choose k-t}$ members.
There are many generalizations of the Erdős-Ko-Rado theorem. We give new results (and problems) concerning families of $t$-intersecting $k$-element multisets of an $n$-set and point out connections to coding theory and classical geometry. We establish the conjecture that for $n \geq t(k-t)+2$ such a family can have at most ${n+k-t-1\choose k-t}$ members.
△ Less
Submitted 8 March, 2014; v1 submitted 5 December, 2012;
originally announced December 2012.
-
The number of graphs of given diameter
Authors:
Zoltan Furedi,
Youn** Kim
Abstract:
In this paper it is proved that there are constants 0< c_2< c_1 such that an asymptotic formula can be given for the the number of (labeled) n-vertex graphs of diameter d whenever n tends to infinity and 2 < d < n - c_1 (log n). A typical graph of diameter d consists of a combination of an induced path of length d and a highly connected block of size n-d+3. In the case d > n- c_2(log n) another as…
▽ More
In this paper it is proved that there are constants 0< c_2< c_1 such that an asymptotic formula can be given for the the number of (labeled) n-vertex graphs of diameter d whenever n tends to infinity and 2 < d < n - c_1 (log n). A typical graph of diameter d consists of a combination of an induced path of length d and a highly connected block of size n-d+3. In the case d > n- c_2(log n) another asymptotic formula is calculated and the typical graph has a completely different snakelike structure.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
Linear trees in uniform hypergraphs
Authors:
Zoltan Furedi
Abstract:
Given a tree T on v vertices and an integer k exceeding one. One can define the k-expansion T^k as a k-uniform linear hypergraph by enlarging each edge with a new, distinct set of (k-2) vertices. Then T^k has v+ (v-1)(k-2) vertices. The aim of this paper is to show that using the delta-system method one can easily determine asymptotically the size of the largest T^k-free n-vertex hypergraph, i.e.,…
▽ More
Given a tree T on v vertices and an integer k exceeding one. One can define the k-expansion T^k as a k-uniform linear hypergraph by enlarging each edge with a new, distinct set of (k-2) vertices. Then T^k has v+ (v-1)(k-2) vertices. The aim of this paper is to show that using the delta-system method one can easily determine asymptotically the size of the largest T^k-free n-vertex hypergraph, i.e., the Turan number of T^k.
△ Less
Submitted 30 May, 2013; v1 submitted 9 April, 2012;
originally announced April 2012.
-
List colorings with distinct list sizes, the case of complete bipartite graphs
Authors:
Zoltán Füredi,
Ida Kantor
Abstract:
Let $f:V \rightarrow \mathbb{N}$ be a function on the vertex set of the graph $G=(V,E)$. The graph $G$ is {\em $f$-choosable} if for every collection of lists with list sizes specified by $f$ there is a proper coloring using colors from the lists. The sum choice number, $χ_{sc}(G)$, is the minimum of $\sum f(v)$, over all functions $f$ such that $G$ is $f$-choosable. It is known (Alon 1993, 2000)…
▽ More
Let $f:V \rightarrow \mathbb{N}$ be a function on the vertex set of the graph $G=(V,E)$. The graph $G$ is {\em $f$-choosable} if for every collection of lists with list sizes specified by $f$ there is a proper coloring using colors from the lists. The sum choice number, $χ_{sc}(G)$, is the minimum of $\sum f(v)$, over all functions $f$ such that $G$ is $f$-choosable. It is known (Alon 1993, 2000) that if $G$ has average degree $d$, then the usual choice number $χ_\ell(G)$ is at least $Ω(\log d)$, so they grow simultaneously.
In this paper we show that $χ_{sc}(G)/|V(G)|$ can be bounded while the minimum degree $δ_{\min}(G)\rightarrow \infty$. Our main tool is to give tight estimates for the sum choice number of the unbalanced complete bipartite graph $K_{a,q}$.
△ Less
Submitted 1 November, 2011;
originally announced November 2011.
-
Choosability with separation of complete multipartite graphs and hypergraphs
Authors:
Zoltán Füredi,
Alexandr Kostochka,
Mohit Kumbhat
Abstract:
For a hypergraph G and a positive integer s, let χ_{\ell} (G,s) be the minimum value of l such that G is L-colorable from every list L with |L(v)|=l for each v\in V(G) and |L(u)\cap L(v)|\leq s for all u, v\in e\in E(G). This parameter was studied by Kratochvíl, Tuza and Voigt for various kinds of graphs. Using randomized constructions we find the asymptotics of χ_{\ell} (G,s) for balanced complet…
▽ More
For a hypergraph G and a positive integer s, let χ_{\ell} (G,s) be the minimum value of l such that G is L-colorable from every list L with |L(v)|=l for each v\in V(G) and |L(u)\cap L(v)|\leq s for all u, v\in e\in E(G). This parameter was studied by Kratochvíl, Tuza and Voigt for various kinds of graphs. Using randomized constructions we find the asymptotics of χ_{\ell} (G,s) for balanced complete multipartite graphs and for complete k-partite k-uniform hypergraphs.
△ Less
Submitted 13 September, 2011;
originally announced September 2011.
-
Optimal Multivalued Shattering
Authors:
Zoltán Füredi,
Attila Sali
Abstract:
We have found the most general extension of the celebrated Sauer, Perles and Shelah, Vapnik and Chervonenkis result from 0-1 sequences to $k$-ary codes still giving a polynomial bound. Let $\mathcal{C}\subseteq \{0,1,..., k-1}^n$ be a $k$-ary code of length $n$. For a subset of coordinates $S\subset{1,2,...,n}$ the projection of $\mathcal{C}$ to $S$ is denoted by $\mathcal{C}|_S$. We say that…
▽ More
We have found the most general extension of the celebrated Sauer, Perles and Shelah, Vapnik and Chervonenkis result from 0-1 sequences to $k$-ary codes still giving a polynomial bound. Let $\mathcal{C}\subseteq \{0,1,..., k-1}^n$ be a $k$-ary code of length $n$. For a subset of coordinates $S\subset{1,2,...,n}$ the projection of $\mathcal{C}$ to $S$ is denoted by $\mathcal{C}|_S$. We say that $\mathcal{C}$ $(i,j)$-{\em shatters} $S$ if $\mathcal{C}|_S$ contains all the $2^{|S|}$ distinct vectors (codewords) with coordinates $i$ and $j$. Suppose that $\mathcal{C}$ does not $(i,j)$-shatter any coordinate set of size $s_{i,j}\geq 1$ for every $1\leq i< j\leq q$ and let $p=\sum (s_{i,j}-1)$. Using a natural induction we prove that $$ |{\mathcal C}|\leq O(n^p)$$ for any given $p$ as $n\to \infty$ and give a construction showing that this exponent is the best possible. Several open problems are mentioned.
△ Less
Submitted 8 September, 2011;
originally announced September 2011.
-
A new short proof of the EKR theorem
Authors:
Peter Frankl,
Zoltan Furedi
Abstract:
A family F is intersecting if any two members have a nonempty intersection. Erdos, Ko, and Rado showed that |F|\leq {n-1\choose k-1} holds for an intersecting family of k-subsets of [n]:={1,2,3,...,n}, n\geq 2k. For n> 2k the only extremal family consists of all k-subsets containing a fixed element. Here a new proof is presented. It is even shorter than the classical proof of Katona using cyclic p…
▽ More
A family F is intersecting if any two members have a nonempty intersection. Erdos, Ko, and Rado showed that |F|\leq {n-1\choose k-1} holds for an intersecting family of k-subsets of [n]:={1,2,3,...,n}, n\geq 2k. For n> 2k the only extremal family consists of all k-subsets containing a fixed element. Here a new proof is presented. It is even shorter than the classical proof of Katona using cyclic permutations, or the one found by Daykin applying the Kruskal-Katona theorem.
△ Less
Submitted 10 August, 2011;
originally announced August 2011.
-
Exact solution of the hypergraph Turán problem for $k$-uniform linear paths
Authors:
Zoltan Furedi,
Tao Jiang,
Robert Seiver
Abstract:
A $k$-uniform linear path of length $\ell$, denoted by $P^{(k)}_\ell$, is a family of $k$-sets $\{F_1,..., F_\ell\}$ such that $|F_i\cap F_{i+1}|=1$ for each $i$ and $F_i\cap F_j=\emptyset$ whenever $|i-j|>1$.
Given a $k$-uniform hypergraph $H$ and a positive integer $n$, the {\it $k$-uniform hypergraph Turán number} of $H$, denoted by $\ex_k(n,H)$, is the maximum number of edges in a $k$-unifor…
▽ More
A $k$-uniform linear path of length $\ell$, denoted by $P^{(k)}_\ell$, is a family of $k$-sets $\{F_1,..., F_\ell\}$ such that $|F_i\cap F_{i+1}|=1$ for each $i$ and $F_i\cap F_j=\emptyset$ whenever $|i-j|>1$.
Given a $k$-uniform hypergraph $H$ and a positive integer $n$, the {\it $k$-uniform hypergraph Turán number} of $H$, denoted by $\ex_k(n,H)$, is the maximum number of edges in a $k$-uniform hypergraph $\cF$ on $n$ vertices that does not contain $H$ as a subhypergraph. With an intensive use of the delta-system method, we determine $\ex_k(n,P^{(k)}_\ell)$ exactly for all fixed $\ell\geq 1, k\geq 4$, and sufficiently large $n$.
We show that $$\ex_k(n,P^{(k)}_{2t+1})={n-1\choose k-1}+{n-2\choose k-1}+...+{n-t\choose k-1}.$$ The only extremal family consists of all the $k$-sets in $[n]$ that meet some fixed set of $t$ vertices. We also show that $$\ex(n, P^{(k)}_{2t+2})={n-1\choose k-1}+{n-2\choose k-1}+...+{n-t\choose k-1}+{n-t-2\choose k-2},$$ and describe the unique extremal family. Stability results on these bounds and some related results are also established.
△ Less
Submitted 5 August, 2011;
originally announced August 2011.
-
Large chromatic number and Ramsey graphs
Authors:
Csaba Biró,
Zoltán Füredi,
Sogol Jahanbekam
Abstract:
Let Q(n,c) denote the minimum clique size an n-vertex graph can have if its chromatic number is c. Using Ramsey graphs we give an exact, albeit implicit, formula for the case c is at least (n+3)/2.
Let Q(n,c) denote the minimum clique size an n-vertex graph can have if its chromatic number is c. Using Ramsey graphs we give an exact, albeit implicit, formula for the case c is at least (n+3)/2.
△ Less
Submitted 10 April, 2012; v1 submitted 21 March, 2011;
originally announced March 2011.
