\section{Introduction}

In 1953 Roth \cite{Roth} proved his theorem on $3$-term arithmetic progressions in dense sets.
It states that a subset $\mathcal{A} \subset \{1,2,\ldots,N\}$ with no arithmetic
progresions of the form $x,x+h,x+2h$ with $h \geq 1$ cannot be too large. His theorem 
gives the bound $|\mathcal{A}| \leq CN (\log \log N)^{-1}$ for some constant $C \geq 1$.
In other words, it is not possible to avoid $3$-term arithmetic progressions as long as the density 
of the set $\mathcal{A}$ is big enough.

Arithmetic progressions can also be described as solutions to translation invariant 
equations (see explanation at the end of the introduction). 
In the case of $3$-term progressions we have the equation $x_1-2x_2+x_3 = 0$.
Roth \cite{Roth2} went on to prove a version of his theorem for solutions to translation invariant 
linear systems in $k$ equations with at least $2k+1$ variables. 
By recent work of Gowers \cite{Gow} we can now solve 
translation invariant systems with as few as $k + 2$ variables in sets $\mathcal{A}$ of cardinality 
at least $C_kN (\log\log N)^{-c_k}$ for some $C_k,c_k > 0$.

The aim of this work is to combine the ideas of Gowers \cite{Gow}, Green \cite{Gr},
Liu \cite{Liu}, Roth \cite{Roth} and the previous work of the author \cite{Keil} to give 
a version of Roth's theorem for quadratic forms.

\begin{thm} \label{Thm1}
Let $\xv^TQ\xv = 0$ be a translation invariant quadratic equation in $s \geq 17$ variables. 
Assume that it has a non-singular real solution, but only trivial solutions when the variables
are restricted to $\mathcal{A} \subset \{1,2,\ldots,N\}$. 
Then $|\mathcal{A}| \leq C_Q N (\log\log N)^{-c}$
for some $c,C_Q > 0$.
\end{thm}

