A note on increasing paths in countable hypergraphs
Valentino Vito
备注：
7 pages, 1 figure; minor revisions due to referee comments. Changed $β$-cycles to Berge cycles, a simpler and more well-known notion, with little impact on the main proof
An old result of Müller and Rödl states that a countable graph $G$ has a subgraph whose vertices all have infinite degree if and only if for any vertex labeling of $G$ by positive integers, an infinite increasing path can be found. They asked whether an analogous equivalence holds for edge labelings, which Reiterman answered in the affirmative. Recently, Arman, Elliott, and Rödl extended this problem to linear $k$-uniform hypergraphs $H$ and generalized the original equivalence for vertex labelings. They asked whether Reiterman's result for edge labelings can similarly be extended. We confirm this for the case where $H$ admits only finitely many Berge cycles.
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some finite hypergraph whose hyperedges are no larger than those in the infinite hypergraph. This answers a question of Bonato, Brown, Kemkes, and Prałat about independence densities of graphs. Furthermore, w…
In this paper we study variations of an old result by Müller, Reiterman, and the last author stating that a countable graph has a subgraph with infinite degrees if and only if in any labeling of the vertices (or edges) of this graph by positive integers we can always find an infinite increasing path. We study corresponding questions for hypergraphs and directed graphs. For example we show that the condition that a hypergraph contains a subhypergraph with infinite degrees is equivalent to the condition that any vertex labeling contains an infinite increasing loose path. We also find an equivale…
We characterise digraphs of directed treewidth one in terms of forbidden butterfly minors. Moreover, we show that there is a linear relation between the hypertree-width of the dual of the cycle hypergraph of D, i. e. the hypergraph with vertices V (D) where every hyperedge corresponds to a directed cycle in D, and the directed treewidth of D. Based on this we show that a digraph has directed treewidth one if and only if its cycle hypergraph is a hypertree.
Let $t\geqslant 2$ and $s\geqslant 1$ be two integers. Define a $(t,s)$-coloring of a hypergraph to be a coloring of its vertices using $t$ colors such that each color appears on each edge at least $s$ times. In this note, we provide a sufficient condition for the existence of a $(t,s)$-coloring of a hypergraph by using the symmetric lopsided version of Lovász Local Lemma. Our result generalizes several known results on hypergraph colorings.
In this paper, we consider maximum possible value for the sum of cardinalities of hyperedges of a hypergraph without a Berge $4$-cycle. We significantly improve the previous upper bound provided by Gerbner and Palmer. Furthermore, we provide a construction that slightly improves the previous lower bound.
We give a construction of r-partite r-uniform intersecting hypergraphs with cover number at least r-4 for all but finitely many r. This answers a question of Abu-Khazneh, Barat, Pokrovskiy and Szabo, and shows that a long-standing unsolved conjecture due to Ryser is close to being best possible for every value of r.
We determine the \emph{exact} minimum $\ell$-degree threshold for perfect matchings in $k$-uniform hypergraphs when the corresponding threshold for perfect fractional matchings is significantly less than $\frac{1}{2} \binom{n}{k- \ell}$. This extends our previous results that determine the minimum $\ell$-degree thresholds for perfect matchings in $k$-uniform hypergraphs for all $\ell\ge k/2$ and provides two new (exact) thresholds: $(k,\ell)=(5,2)$ and $(7,3)$.
A packing of two $k$-uniform hypergraphs $H_1$ and $H_2$ is a set $\{H_1', H_2'\}$ of edge-disjoint sub-hypergraphs of the complete $k$-uniform hypergraph $K_n^{(k)}$ such that $H_1'\cong H_1$ and $H_2'\cong H_2$. Whilst the problem of packing of graphs (i.e. 2-uniform hypergraphs) has been studied extensively since seventies with many sharp results, much less is known about packing of general hypergraphs. In this paper we attempt to find the minimum possible sum of sizes $m(n,k)$ of two $k$-uniform, $n$-vertex hypergaphs which do not pack. We also prove a sufficient condition on the product o…
For a hypergraph $H$, let $q(H)$ denote the expected number of monochromatic edges when the color of each vertex in $H$ is sampled uniformly at random from the set of size 2. Let $s_{\min}(H)$ denote the minimum size of an edge in $H$. Erdős asked in 1963 whether there exists an unbounded function $g(k)$ such that any hypergraph $H$ with $s_{\min}(H) \geq k$ and $q(H) \leq g(k)$ is two colorable. Beck in 1978 answered this question in the affirmative for a function $g(k) = Θ(\log^* k)$. We improve this result by showing that, for an absolute constant $δ>0$, a version of random greedy coloring …
For a graph G, a hypergraph H is called Berge-G if there is a hypergraph H', isomorphic to H, containing all vertices of G, so that e is contained in f(e) for each edge e of G, where f is a bijection between E(G) and E(H'). The set of all Berge-G hypergraphs is denoted B(G). A hypergraph H is called Berge-G saturated if it does not contain any subhypergraph from B(G), but adding any new hyperedge of size at least 2 to H creates such a subhypergraph. Each Berge-G saturated hypergraph has at least |E(G)|-1 hyperedges. We show that for each graph G that is not a certain star and for any n at leas…
We show that there is an absolute constant $c>0$ such that the following holds. For every $n > 1$, there is a 5-uniform hypergraph on at least $2^{2^{cn^{1/4}}}$ vertices with independence number at most $n$, where every set of 6 vertices induces at most 3 edges. The double exponential growth rate for the number of vertices is sharp. By applying a stepping-up lemma established by the first two authors, analogous sharp results are proved for $k$-uniform hypergraphs. This answers the penultimate open case of a conjecture in Ramsey theory posed by Erdős and Hajnal in 1972.
Let $\mathcal{H}$ be an $r$-uniform hypergraph and $F$ be a graph. We say $\mathcal{H}$ contains $F$ as a trace if there exists some set $S\subseteq V(\mathcal{H})$ such that $\mathcal{H}|_{S}:=\{E\cap S: E\in E(\mathcal{H})\}$ contains a subgraph isomorphic to $F.$ Let $ex_r(n,Tr(F))$ denote the maximum number of edges of an $n$-vertex $r$-uniform hypergraph $\mathcal{H}$ which does not contain $F$ as a trace. In this paper, we improve the lower bounds of $ex_r(n,Tr(F))$ when $F$ is a star, and give some optimal cases. We also improve the upper bound for the case when $\mathcal{H}$ is $3$-uni…
A Berge copy of a graph is a hypergraph obtained by enlarging the edges arbitrarily. Grósz, Methuku and Tompkins in 2020 showed that for any graph $F$, there is an integer $r_0=r_0(F)$, such that for any $r\ge r_0$, any $r$-uniform hypergraph without a Berge copy of $F$ has $o(n^2)$ hyperedges. The smallest such $r_0$ is called the uniformity threshold of $F$ and is denoted by $th(F)$. They showed that $th(F)\le R(F,F')$, where $R$ denotes the off-diagonal Ramsey number and $F'$ is any graph obtained form $F$ by deleting an edge. We improve this bound to $th(F)\le R(K_{χ(F)},F')$, and use the …
A hypergraph $\mathcal{F}$ is non-trivial intersecting if every two edges in it have a nonempty intersection but no vertex is contained in all edges of $\mathcal{F}$. Mubayi and Verstraëte showed that for every $k \ge d+1 \ge 3$ and $n \ge (d+1)n/d$ every $k$-graph $\mathcal{H}$ on $n$ vertices without a non-trivial intersecting subgraph of size $d+1$ contains at most $\binom{n-1}{k-1}$ edges. They conjectured that the same conclusion holds for all $d \ge k \ge 4$ and sufficiently large $n$. We confirm their conjecture by proving a stronger statement. They also conjectured that for $m \ge 4$ a…
Let the crown $C_{13}$ be the linear $3$-graph on $9$ vertices $\{a,b,c,d,e,f,g,h,i\}$ with edges $$E = \{\{a,b,c\}, \{a, d,e\}, \{b, f, g\}, \{c, h,i\}\}.$$ Proving a conjecture of Gyárfás et. al., we show that for any crown-free linear $3$-graph $G$ on $n$ vertices, its number of edges satisfy $$\lvert E(G) \rvert \leq \frac{3(n - s)}{2}$$ where $s$ is the number of vertices in $G$ with degree at least $6$. This result, combined with previous work, essentially completes the determination of linear Turán number for linear $3$-graphs with at most $4$ edges.
Let $k,a,b$ be positive integers with $a+b=k$. A $k$-uniform hypergraph is called an $(a,b)$-cycle if there is a partition $(A_0,B_0,A_1,B_1,\ldots,A_{t-1},B_{t-1})$ of the vertex set with $|A_i|=a$, $|B_i|=b$ such that $A_i\cup B_i$ and $B_i\cup A_{i+1}$ (subscripts module $t$) are edges for all $i=0,1,\ldots,t-1$. Let $\mathcal{H}$ be a $k$-uniform $n$-vertex hypergraph with $n\geq 5k$ and $n$ divisible by $k$. By applying the concentration inequality for intersections of a uniform hypergraph with a random matching developed by Frankl and Kupavskii, we show that if there exists $α\in (0,1)$ …
An oriented $k$-uniform hypergraph is said to have Property O if for every linear order of the vertex set, there is some edge oriented consistently with the linear order. Recently Duffus, Kay and Rödl investigated the minimum number $f(k)$ of edges in a $k$-uniform hypergaph with Property O. They proved that $k! \leq f(k) \leq (k^2 \ln k) k!$, where the upper bound holds for $k$ sufficiently large. In this short note we improve their upper bound by a factor of $k \ln k$, showing that $f(k) \le \left(\lfloor \frac{k}{2} \rfloor +1 \right) k! - \lfloor \frac{k}{2} \rfloor (k-1)!$ for every $k\ge…
The induced Ramsey number $r_{\mathrm{ind}}(F)$ of a $k$-uniform hypergraph $F$ is the smallest natural number $n$ for which there exists a $k$-uniform hypergraph $G$ on $n$ vertices such that every two-coloring of the edges of $G$ contains an induced monochromatic copy of $F$. We study this function, showing that $r_{\mathrm{ind}}(F)$ is bounded above by a reasonable power of $r(F)$. In particular, our result implies that $r_{\mathrm{ind}}(F) \leq 2^{2^{ct}}$ for any $3$-uniform hypergraph $F$ with $t$ vertices, mirroring the best known bound for the usual Ramsey number. The proof relies on a…
In this note we show that the maximum number of edges in a $3$-uniform hypergraph without a Berge cycle of length four is at most $(1+o(1))\frac{n^{3/2}}{\sqrt{10}}$. This improves earlier estimates by Győri and Lemons and by Füredi and Özkahya.
In this note we asymptotically determine the maximum number of hyperedges possible in an $r$-uniform, connected $n$-vertex hypergraph without a Berge path of length $k$, as $n$ and $k$ tend to infinity. We show that, unlike in the graph case, the multiplicative constant is smaller with the assumption of connectivity.
A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove the correctness of the conjecture for a new infinite class of $n$-quasiclusters using a specific edge coloring of the complete graph.
Consider a graph $G$ and a $k$-uniform hypergraph $\mathcal{H}$ on common vertex set $[n]$. We say that $\mathcal{H}$ is $G$-intersecting if for every pair of edges in $X,Y \in \mathcal{H}$ there are vertices $x \in X$ and $y \in Y$ such that $x = y$ or $x$ and $y$ are joined by an edge in $G$. This notion was introduced by Bohman, Frieze, Ruszinkó and Thoma who proved a natural generalization of the Erdős-Ko-Rado Theorem for $G$-intersecting $k$-uniform hypergraphs for $G$ sparse and $k = O( n^{1/4} )$. In this note, we extend this result to $k = O\left( \sqrt{n} \right)$.
In this note, we prove that there exists a universal constant $c=\frac{43}{50}$ such that for every $k\in \mathbb{N}$ and every $d<k/2$, every $k$-uniform hypergraph on $n$ vertices and with minimum $d$-degree at least $(c+o_n(1))\binom{n-d}{k-d}$ contains a perfect matching. This is the first such bound which is independent of $k$, and therefore, improves all previously known bounds when $k$ is large. Our approach is based on combining the seminal work of Alon et al. with known bounds on a conjectured probabilistic inequality due to Feige.
An $r$-uniform graph $G$ is dense if and only if every proper subgraph $G'$ of $G$ satisfies $λ(G') < λ(G)$, where $λ(G)$ is the Lagrangian of a hypergraph $G$. In 1980's, Sidorenko showed that $π(F)$, the Turán density of an $r$-uniform hypergraph $F$ is $r!$ multiplying the supremum of the Lagrangians of all dense $F$-hom-free $r$-uniform hypergraphs. This connection has been applied in estimating Turán density of hypergraphs. When $r=2$, the result of Motzkin and Straus shows that a graph is dense if and only if it is a complete graph. However, when $r\ge 3$, it becomes much harder to estim…
For a graph G=(V,E), a hypergraph H is called Berge-G if there is a bijection f from E(G) to E(H) such that for each e in E(G), e is a subset of f(e). The set of all Berge-G hypergraphs is denoted B(G). For integers k>1, r>1, and a graph G, let the Ramsey number R_r(B(G), k) be the smallest integer n such that no matter how the edges of a complete r-uniform n-vertex hypergraph are colored with k colors, there is a copy of a monochromatic Berge-G subhypergraph. Furthermore, let R(B(G),k) be the smallest integer n such that no matter how all subsets an n-element set are colored with k colors, th…
In this paper a hypergraph will be identified with the family of its edges. A hypergraph $\mathcal E$ possesses property $C(k,ρ)$ iff $|\bigcap \mathcal E'|<ρ$ for each $\mathcal E'\in {[\mathcal E]}^{k}$. A vertex set $Y\subset \bigcup\mathcal E$ is a "vertex cover" of $\mathcal E$ iff $E\cap Y\ne \emptyset$ for each $E\in \mathcal E$. A vertex cover $Y$ is "minimal" iff no proper subset of $Y$ is vertex cover. If $A$ is a set and $S$ is a set of cardinals, write $$ {[A]}^{S}=\{B\subset A: |B|\in S\}. $$ If $λ$ and $ρ$ are cardinals, $S$ is a set of cardinals, $k\in ω$, then we write $$\mathb…
This paper studies the quantity $p(n,r)$, that is the minimal number of edges of an $n$-uniform hypergraph without panchromatic coloring (it means that every edge meets every color) in $r$ colors. If $r \leq c \frac{n}{\ln n}$ then all bounds have a type $A_1(n, \ln n, r)(\frac{r}{r-1})^n \leq p(n, r) \leq A_2(n, r, \ln r) (\frac{r}{r-1})^n$, where $A_1$, $A_2$ are some algebraic fractions. The main result is a new lower bound on $p(n,r)$ when $r$ is at least $c \sqrt n$; we improve an upper bound on $p(n,r)$ if $n = o(r^{3/2})$. Also we show that $p(n,r)$ has upper and lower bounds depend onl…
