The number of triple systems without even cycles

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Mubayi, Dhruv, Wang, Lujia
Format: Preprint
Published: 2017
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909467155628032
author Mubayi, Dhruv
Wang, Lujia
author_facet Mubayi, Dhruv
Wang, Lujia
contents For $k \ge 4$, a loose $k$-cycle $C_k$ is a hypergraph with distinct edges $e_1, e_2, \ldots, e_k$ such that consecutive edges (modulo $k$) intersect in exactly one vertex and all other pairs of edges are disjoint. Our main result is that for every even integer $k \ge 4$, there exists $c>0$ such that the number of triple systems with vertex set $[n]$ containing no $C_{k}$ is at most $2^{cn^2}$. An easy construction shows that the exponent is sharp in order of magnitude. This may be viewed as a hypergraph extension of the work of Morris and Saxton, who proved the analogous result for graphs which was a longstanding problem. For $r$-uniform hypergraphs with $r>3$, we improve the trivial upper bound but fall short of obtaining the order of magnitude in the exponent, which we conjecture is $n^{r-1}$. Our proof method is different than that used for most recent results of a similar flavor about enumerating discrete structures, since it does not use hypergraph containers. One novel ingredient is the use of some (new) quantitative estimates for an asymmetric version of the bipartite canonical Ramsey theorem.
format Preprint
id arxiv_https___arxiv_org_abs_1701_00269
institution arXiv
publishDate 2017
record_format arxiv
spellingShingle The number of triple systems without even cycles
Mubayi, Dhruv
Wang, Lujia
Combinatorics
For $k \ge 4$, a loose $k$-cycle $C_k$ is a hypergraph with distinct edges $e_1, e_2, \ldots, e_k$ such that consecutive edges (modulo $k$) intersect in exactly one vertex and all other pairs of edges are disjoint. Our main result is that for every even integer $k \ge 4$, there exists $c>0$ such that the number of triple systems with vertex set $[n]$ containing no $C_{k}$ is at most $2^{cn^2}$. An easy construction shows that the exponent is sharp in order of magnitude. This may be viewed as a hypergraph extension of the work of Morris and Saxton, who proved the analogous result for graphs which was a longstanding problem. For $r$-uniform hypergraphs with $r>3$, we improve the trivial upper bound but fall short of obtaining the order of magnitude in the exponent, which we conjecture is $n^{r-1}$. Our proof method is different than that used for most recent results of a similar flavor about enumerating discrete structures, since it does not use hypergraph containers. One novel ingredient is the use of some (new) quantitative estimates for an asymmetric version of the bipartite canonical Ramsey theorem.
title The number of triple systems without even cycles
topic Combinatorics
url https://arxiv.org/abs/1701.00269