arXiv subjects

Christian Reiher

Publications and source records attributed to Christian Reiher.

64 records · Page 4Linked to original sources

arXiv2017

On a generalisation of Mantel's theorem to uniformly dense hypergraphs

For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem in extremal combinatorics. While for $k=2$ this problem is well understood, due to the work of Turán and of Erdős and Stone, only very little is known for $k$-uniform hypergraphs for $k>2$. We focus on the case when $F$ is a $k$-uniform hypergraph with three edges on $k+1$ vertices. Already this very innocent (and maybe somewhat particular looking) problem is still wide open even for $k=3$. We consider a variant of the problem where the large hypergraph $H$ enjoys additional hereditary density conditions. Questions of this type were suggested by Erd\H os and Sós about 30 years ago. We show that every $k$-uniform hypergraph $H$ with density $>2^{1-k}$ with respect to every large collections of $k$-cliques induced by sets of $(k-2)$-tuples contains a copy of $F$. The required density $2^{1-k}$ is best possible as higher order tournament constructions show. Our result can be viewed as a common generalisation of the first extremal result in graph theory due to Mantel (when $k=2$ and the hereditary density condition reduces to a normal density condition) and a recent result of Glebov, Král', and Volec (when $k=3$ and large subsets of vertices of $H$ induce a subhypergraph of density $>1/4$). Our proof for arbitrary $k\geq 2$ utilises the regularity method for hypergraphs.

math.CO↗

arXiv2016

Formal duality and generalizations of the Poisson summation formula

We study the notion of formal duality introduced by Cohn, Kumar, and Schürmann in their computational study of energy-minimizing particle configurations in Euclidean space. In particular, using the Poisson summation formula we reformulate formal duality as a combinatorial phenomenon in finite abelian groups. We give new examples related to Gauss sums and make some progress towards classifying formally dual configurations.

math.NT↗

arXiv2016

The chromatic number of finite type-graphs

By a finite type-graph we mean a graph whose set of vertices is the set of all $k$-subsets of $[n]=\{1,2,\ldots, n\}$ for some integers $n\ge k\ge 1$, and in which two such sets are adjacent if and only if they realise a certain order type specified in advance. Examples of such graphs have been investigated in a great variety of contexts in the literature with particular attention being paid to their chromatic number. In recent joint work with Tomasz Łuczak, two of the authors embarked on a systematic study of the chromatic numbers of such type-graphs, formulated a general conjecture determining this number up to a multiplicative factor, and proved various results of this kind. In this article we fully prove this conjecture.

math.CO↗

arXiv2016

Embedding tetrahedra into quasirandom hypergraphs

We investigate extremal problems for quasirandom hypergraphs. We say that a $3$-uniform hypergraph $H=(V,E)$ is $(d,η)$-quasirandom if for any subset $X\subseteq V$ and every set of pairs $P\subseteq V\times V$ the number of pairs $(x,(y,z))\in X\times P$ with $\{x,y,z\}$ being a hyperedge of $H$ is in the interval $d|X||P|\pmη|V|^3$. We show that for any $\varepsilon>0$ there exists $η>0$ such that every sufficiently large $(1/2+\varepsilon,η)$-quasirandom hypergraph contains a tetrahedron, i.e., four vertices spanning all four hyperedges. A known random construction shows that the density $1/2$ is best possible. This result is closely related to a question of Erdős, whether every weakly quasirandom $3$-uniform hypergraph $H$ with density bigger than $1/2$, i.e., every large subset of vertices induces a hypergraph with density bigger than $1/2$, contains a tetrahedron.

math.CO↗

arXiv2016

Counting odd cycles in locally dense graphs

We prove that for any given $\varepsilon>0$ and $d\in [0,1]$, every sufficiently large $(\varepsilon, d)$-dense graph $G$ contains for each odd integer $r$ at least $(d^r-\varepsilon)|V(G)|^r$ cycles of length $r$. Here, $G$ being $(\varepsilon, d)$-dense means that every set $X$ containing at least~$\varepsilon\,|V(G)|$ vertices spans at least $\tfrac d2\, |X|^2$ edges, and what we really count is the number of homomorphisms from an $r$-cycle into $G$. The result adresses a question of Y. Kohayakawa, B. Nagle, V. Rödl, and M. Schacht.

math.CO↗

arXiv2016

Quickly proving the Andrásfai-Erdős-Sós-Theorem

Given an integer $r\gs 2$, an important theorem first proved by B. Andrásfai, P. Erdős, and V. T. Sós states that any $K_{r+1}$--free graph on $n$ vertices whose minimum degree is greater than $(3r-4)n/(3r-1)$ is $r$--colourable, and determines the graphs that are extremal in this context. The purpose of this note is to give an alternative proof of this result using a different idea.

math.CO↗

arXiv2016

The parity search problem

We prove that for any positive integers $n$ and $d$ there exists a collection consisting of $f=d\log n+O(1)$ subsets $A_1, A_2, \ldots, A_f$ of $[n]$ such that for any two distinct subsets $X$ and $Y$ of $[n]$ whose size is at most $d$ there is an index $i\in [f]$ for which $| A_i\cap X|$ and $|A_i\cap Y|$ have different parity. Here we think of $d$ as fixed whereas $n$ is thought of as tending to infinity, and the base of the logarithm is $2$. Translated into the language of combinatorial search theory, this tells us that \[ d \log n+O(1) \] queries suffice to identify up to $d$ marked items from a totality of $n$ items if the answers one gets are just whether an even or an odd number of marked elements has been queried, even if the search is performed non-adaptively. Since the entropy method easily yields a matching lower bound for the adaptive version of this problem, our result is asymptotically best possible. This answers a question posed by Dániel Gerbner and Balázs Patkós in Gyula O.H. Katona's Search Theory Seminar at the Rényi institute.

math.CO↗

arXiv2016

On Kemnitz' Conjecture Concerning Lattice Points in the Plane

In 1961, P. Erdős, A. Ginzburg, and A. Ziv proved a remarkable theorem stating that each set of $2n-1$ integers contains a subset of size $n$, the sum of whose elements is divisible by $n$. We will prove a similar result for pairs of integers, i.e., planar lattice points, usually referred to as Kemnitz' conjecture.

math.NT↗

arXiv2016

The Clique Density Theorem

Turán's theorem is a cornerstone of extremal graph theory. It asserts that for any integer $r \geq 2$ every graph on $n$ vertices with more than ${\tfrac{r-2}{2(r-1)}\cdot n^2}$ edges contains a clique of size $r$, i.e., $r$ mutually adjacent vertices. The corresponding extremal graphs are balanced $(r-1)$-partite graphs. The question as to how many such $r$-cliques appear at least in any $n$-vertex graph with $γn^2$ edges has been intensively studied in the literature. In particular, Lovász and Simonovits conjectured in the 1970s that asymptotically the best possible lower bound is given by the complete multipartite graph with $γn^2$ edges in which all but one vertex class is of the same size while the remaining one may be smaller. Their conjecture was recently resolved for $r=3$ by Razborov and for $r=4$ by Nikiforov. In this article, we prove the conjecture for all values of $r$.

math.CO↗

arXiv2014

Minimizing the regularity of maximal regular antichains of 2- and 3-sets

Let $n\geqslant 3$ be a natural number. We study the problem to find the smallest $r$ such that there is a family $\mathcal{A}$ of 2-subsets and 3-subsets of $[n]=\{1,2,...,n\}$ with the following properties: (1) $\mathcal{A}$ is an antichain, i.e. no member of $\mathcal A$ is a subset of any other member of $\mathcal A$, (2) $\mathcal A$ is maximal, i.e. for every $X\in 2^{[n]}\setminus\mathcal A$ there is an $A\in\mathcal A$ with $X\subseteq A$ or $A\subseteq X$, and (3) $\mathcal A$ is $r$-regular, i.e. every point $x\in[n]$ is contained in exactly $r$ members of $\mathcal A$. We prove lower bounds on $r$, and we describe constructions for regular maximal antichains with small regularity.

math.CO↗