A family of four-variable expanders with quadratic growth (Q2420494): Difference between revisions

Let \(g(x,y)\) be a polynomial of degree \(d\), that is not a polynomial of only \(y\) and \(A\subset \mathbb{R}\) be a finite set. Then the author proves that \(|\{(g(a_1,b_1)-g(a_2,b_2))/(b_2-b_1) : a_1,a_2,b_1,b_2\in A\}|\gg_d |A|^2\). The assumption that \(g(x,y)\) is not a polynomial of only \(y\) cannot be removed as it is shown by taking \(g(x,y)=y^2\) and \(A=\{1,2,\dots,n\}\). The proof generalizes the method used by \textit{B. Murphy} et al. [SIAM J. Discrete Math. 31, No. 3, 1878--1894 (2017; Zbl 1370.11022)]. The author notices that a stronger version of this result, with a multiplicative constant 1, follows from an earlier geometric result of \textit{P. Ungar} [J. Comb. Theory, Ser. A 33, 343--347 (1982; Zbl 0496.05001)].