A bilinear Bogolyubov theorem

Pierre-Yves Bienvenu, Thái Hoàng Lê

The purpose of this note is to prove the existence of a remarkable structure in an iterated sumset derived from a set $P$ in a Cartesian square ${\mathbb{F}}_p^n\times {\mathbb{F}}_p^n$…