Balanced blow-ups, subdivisions, and box products of Sidorenko graphs are shown to be forcing, so cubes are forcing.
Sidorenko Hypergraphs and Random Tur\'an Numbers
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
Let $\mathrm{ex}(G_{n,p}^r,F)$ denote the maximum number of edges in an $F$-free subgraph of the random $r$-uniform hypergraph $G_{n,p}^r$, and let $s(F):=\sup\{s: \exists H,\ t_F(H)=t_{K_r^r}(H)^{s+e(F)}>0\}$. Following recent work of Conlon, Lee, and Sidorenko, we prove non-trivial lower bounds on $\mathrm{ex}(G_{n,p}^r,F)$ whenever $s(F)>0$, i.e. $F$ is not Sidorenko. This connection between Sidorenko's conjecture and random Tur\'an problems gives new lower bounds on $\mathrm{ex}(G_{n,p}^r,F)$ whenever $s(F)>0$, and further allows us to establish upper bounds for $s(F)$ whenever upper bounds for $\mathrm{ex}(G_{n,p}^r,F)$ are known. As a consequence, we prove that $s(\mathrm{E}^r(K_{k+1}^k))=\frac{1}{r-k}$ where $\mathrm{E}^r(K_{k+1}^k)$ is the $r$-expansion of $K_{k+1}^k$.
citation-role summary
citation-polarity summary
fields
math.CO 1years
2024 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Forcing Graphs to be Forcing
Balanced blow-ups, subdivisions, and box products of Sidorenko graphs are shown to be forcing, so cubes are forcing.