Ramsey properties of algebraic graphs and hypergraphs
Say that an $r$-uniform hypergraph $\mathcal{H}$ is algebraic of complexity $(n,d,m)$ if the vertices of $\mathcal{H}$ are elements of $\mathbb{F}^{n}$ for some field $\mathbb{F}$, and there exist $m$ polynomials $f_1,\dots,f_m:(\mathbb{F}^{n})^{r}\rightarrow \mathbb{F}$ of degree at most $d$ such that the edges of $\mathcal{H}$ are determined by the zero-patterns of $f_1,\dots,f_m$. The aim of this talk is to discuss Ramsey properties of such graphs.
In 2001, Ronyai, Babai and Ganapathy considered the bipartite variant of the Ramsey problem and proved that if $G$ is an algebraic graph of complexity $(n,d,m)$ on $N$ vertices, then either $G$ or its complement contains a complete balanced bipartite graph of size $\Omega_{n,d,m}(N^{1/(n+1)})$. We extend this result by showing that such $G$ contains either a clique or an independent set of size $N^{\Omega(1/ndm)}$ and prove similar results for algebraic hypergraphs of constant complexity.
This is based on a joint work with Benny Sudakov.