arXiv++ Combinatorics

For a graph $H$, let $\operatorname{ex}(Q_n, H)$ be the largest number of edges in a subgraph of the hypercube $Q_n$ of dimension $n$ that contains no subgraph isomorphic to $H$. We define $π_\square(H)=\lim_{n\to\infty}\operatorname{ex}(Q_n,H)/|E(Q_n)|$ as the Turán density of $H$ in the hypercube. Although determining $π_\square(H)$ for general $H$ remains widely open, Conlon found a large class of graphs with zero Turán density in a hypercube. In this note, we address the case when $π_{\square} (H)>0$. If a graph $H$ cannot be embedded in an edge layer of a hypercube, then $π_{\square} (H)\geq 1/2$, as can be seen by taking every other edge layer of $Q_n$. Previously known examples of layered graphs of positive Turán density in a hypercube include graphs containing cycles of length $6$ or $10$, as well as examples of girth $8$. Also, to the best of our knowledge, all previously known examples of graphs with Turán densities arbitrarily close to one are not layered. We show that for every $g \geq 3$, there are layered graphs of girth greater than $g$ whose Turán densities in a hypercube are arbitrarily close to one. Moreover, these graphs have an induced embedding into an edge layer of a hypercube.

The $n$-dimensional hypercube $Q_n$ is the graph with vertex set $\{0,1\}^n$ in which two vertices are adjacent if they differ in exactly one coordinate. For a graph $H$, let $\operatorname{ex}(Q_n,H)$ be the maximum number of edges in an $H$-free subgraph of $Q_n$. The hypercube Turán density of $H$ is defined by $π_{\square}(H) = \lim_{n \rightarrow \infty} \operatorname{ex}(Q_n,H)/|E(Q_n)|$. In this short note, we prove \[ π_{\square}(C_{10})\leq π_{\square}(C_6). \] Combined with Baber's upper bound on $π_{\square}(C_6)$, this yields $π_{\square}(C_{10})\leq 0.36577$. Our proof first bounds the number of copies of $C_6$ in $C_{10}$-free subgraphs of $Q_n$, and then applies an averaging argument over the subcubes of $Q_n$.