Related papers: On Sidorenko exponents of hypergraphs

An $r$-uniform graph $G$ is dense if and only if every proper subgraph $G'$ of $G$ satisfies $\lambda (G') < \lambda (G)$, where $\lambda (G)$ is the Lagrangian of a hypergraph $G$. In 1980's, Sidorenko showed that $\pi(F)$, the Tur\'an…

A well-known theorem of R\"odl says that for every graph $H$, and every $\epsilon>0$, there exists $\delta>0$ such that if $G$ does not contain an induced copy of $H$, then there exists $X\subseteq V(G)$ with $|X|\ge \delta|G|$ such that…

The conjecture of Brown, Erd\H{o}s and S\'os from 1973 states that, for any $k \ge 3$, if a $3$-uniform hypergraph $H$ with $n$ vertices does not contain a set of $k+3$ vertices spanning at least $k$ edges then it has $o(n^2)$ edges. The…

We prove a Sidorenko-type inequality for directed trees: for every oriented tree $T$ on $k$ vertices and every finite directed graph $G$, the homomorphism count hom$(T,G)$ is bounded above by the maximum of the two pure star counts…

An edge colored graph is said to contain rainbow-$F$ if $F$ is a subgraph and every edge receives a different color. In 2007, Keevash, Mubayi, Sudakov, and Verstra\"ete introduced the \emph{rainbow extremal number} $\mathrm{ex}^*(n,F)$, a…

The following sharpening of Tur\'an's theorem is proved. Let $T_{n,p}$ denote the complete $p$--partite graph of order $n$ having the maximum number of edges. If $G$ is an $n$-vertex $K_{p+1}$-free graph with $e(T_{n,p})-t$ edges then there…

The famous Erd\H{o}s-S\'os conjecture states that every graph of average degree more than $t-1$ must contain every tree on $t+1$ vertices. In this paper, we study a spectral version of this conjecture. For $n>k$, let $S_{n,k}$ be the join…

A rational number $r$ is a \textbf{realizable exponent} for a graph $H$ if there exists a finite family of graphs $\mathcal{F}$ such that $\mathrm{ex}(n,H,\mathcal{F})=\Theta(n^r)$, where $\mathrm{ex}(n,H,\mathcal{F})$ denotes the maximum…

Given a 2-edge-coloring $f : E(K_n) \rightarrow \{\pm 1\}$, the discrepancy of a subgraph $F \subseteq K_n$ is defined as $\left| \sum_{e \in E(F)} f(e) \right|$. Erd\H{o}s, F\"uredi, Loebl and S\'os showed that if $F$ is an $n$-vertex tree…

Tur\'an's Theorem says that an extremal $K_{r+1}$-free graph is $r$-partite. The Stability Theorem of Erd\H{o}s and Simonovits shows that if a $K_{r+1}$-free graph with $n$ vertices has close to the maximal $t_r(n)$ edges, then it is close…

Let $S^r(n)$ be the $r$-graph on $n$ vertices with parts $A$ and $B$, where the edges consist of all $r$-tuples with $1$ vertex in $A$ and $r-1$ vertices in $B$, and the sizes of $A$ and $B$ are chosen to maximise the number of edges. Let…

The extremal number of a graph $H$, denoted by $\mbox{ex}(n,H)$, is the maximum number of edges in a graph on $n$ vertices that does not contain $H$. The celebrated K\H{o}v\'ari-S\'os-Tur\'an theorem says that for a complete bipartite graph…

We give a simple proof of a generalization of an inequality for homomorphism counts by Sidorenko (1994). A special case of our inequality says that if $d_v$ denotes the degree of a vertex $v$ in a graph $G$ and $\textrm{Hom}_\Delta(H, G)$…

The inducibility of a graph $H$ measures the maximum number of induced copies of $H$ a large graph $G$ can have. Generalizing this notion, we study how many induced subgraphs of fixed order $k$ and size $\ell$ a large graph $G$ on $n$…

Given a graph $H$, we denote by ${\cal M}(H)$ all graphs that can be contracted to $H$. The following extension of the Erd\H{o}s-P\'osa Theorem holds: for every $h$-vertex planar graph $H$, there exists a function $f_{H}$ such that every…

A keyring is a graph obtained from a cycle by appending $r\ge0$ leaves to one of its vertices. Sidorenko proved an Erd\H{o}s-Gallai-type theorem: Every graph of order $n$ and size more than $\frac{(k-1)n}{2}$ contains a keyring of size at…

A graph $H$ is common if its Ramsey multiplicity, i.e., the minimum number of monochromatic copies of $H$ contained in any $2$-edge-coloring of $K_n$, is asymptotically the same as the number of monochromatic copies in the random…

We say that a hypergraph $\mathcal{H}$ contains a graph $H$ as a trace if there exists some set $S\subset V(\mathcal{H})$ such that $\mathcal{H}|_S=\{h\cap S: h\in E(\mathcal{H})\}$ contains a subhypergraph isomorphic to $H$. We study the…

The classical extremal function for a graph $H$, $ex(K_n, H)$ is the largest number of edges in a subgraph of $K_n$ that contains no subgraph isomorphic to $H$. Note that defining $ex(K_n, H-ind)$ by forbidding induced subgraphs isomorphic…

For an ordered graph $F$, denote the Tur\'an density by $\vec{\pi}(F)$. The relative Tur\'an density, denoted by $\rho(F)$, is the supremum over $\alpha \in [0,1]$ such that every ordered graph $G$ contains an $F$-free subgraph $G'$ with…