Abstract
Let F ∈ C[x, y, s, t] be an irreducible constant-degree polynomial, and let A,B,C,D ⊂ C be finite sets of size n. We show that F vanishes on at most O(n8/3) points of the Cartesian product A × B × C × D, unless F has a special group-related form. A similar statement holds for A,B,C,D of unequal sizes, with a suitably modified bound on the number of zeros. This is a four-dimensional extension of our recent improved analysis of the original Elekes–Szabó theorem in three dimensions. We give three applications: an expansion bound for three-variable real polynomials that do not have a special form, a bound on the number of coplanar quadruples on a space curve that is neither planar nor quartic, and a bound on the number of four-point circles on a plane curve that has degree at least five.
Similar content being viewed by others
References
S. Ball, On sets defining few ordinary planes, Discrete & Computational Geometry, to appear, available at arXiv:1606.02138 (2016).
M. Charalambides, Distinct distances on curves via rigidity, Discrete & Computational Geometry 51 (2014), 666–701.
G. Elekes and L. Rónyai, A combinatorial problem on polynomials and rational functions, Journal of Combinatorial Theory. Series A 89 (2000), 1–20.
G. Elekes and E. Szabó, How to find groups? (And how to use them in Erdős geometry?), Combinatorica 32 (2012), 537–571.
J. Harris, Algebraic Geometry: A First Course, Graduate Texts inMathematics, Vol. 133, Springer-Verlag, New York, 1992.
R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Vol. 52, Springer-Verlag, New York–Heidelberg, 1977.
D. Husemöller, Elliptic Curves, Graduate Texts in Mathematics, Vol. 111, Springer-Verlag, New York, 2004.
G. Károlyi, Incidence geometry in combinatorial arithmetic, Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Mathematica 52 (2009), 37–43.
A. Lin, M. Makhul, H. Nassajian Mojarrad, J. Schicho, K. Swanepoel and F. de Zeeuw, On sets defining few ordinary circles, Discrete & Computational Geometry 59 (2018), 59–87.
G. Muntingh, Topics in Polynomial Interpolation Theory, Ph.D. dissertation, University of Oslo, 2010.
B. Murphy, O. Roche-Newton and I. Shkredov, Variations on the sum-product problem, SIAM Journal on Discrete Mathematics 29 (2015), 514–540.
H. Nassajian Mojarrad, T. Pham, C. Valculescu and F. de Zeeuw, Schwartz–Zippel bounds for two-dimensional products, Discrete Analysis (2017), paper no. 20.
J. Pach and M. Sharir, On the number of incidences between points and curves, Combinatorics, Probability and Computing 7 (1998), 121–127.
O. E. Raz, M. Sharir and J. Solymosi, Polynomials vanishing on grids: The Elekes–Rónyai problem revisited, American Journal of Mathematics 138 (2016), 1029–1065.
O. E. Raz, M. Sharir and F. de Zeeuw, Polynomials vanishing on Cartesian products: The Elekes–Szabó Theorem revisited, Duke Mathematical Journal 165 (18) (2016), 3517–3566.
O. Roche-Newton, A new expander and improved bounds for A(A + A), available at arXiv:1603.06827 (2016).
J. Schwartz, Fast probabilistic algorithms for verification of polynomial identities, Journal of the Association for Computing Machinery 27 (1980), 701–717.
R. Schwartz, J. Solymosi and F. de Zeeuw, Extensions of a result of Elekes and Rónyai, Journal of Combinatorial Theory. Series A 120 (2013), 1695–1713.
J. Silverman, The Arithmetic of Elliptic Curves, Graduate Texts in Mathematics, Vol. 106, Springer-Verlag, Dordrecht, 2009.
J. Solymosi and F. de Zeeuw, Incidence bounds for complex algebraic curves on Cartesian products, in New Trends in Intuitive Geometry, Bolyai Society Mathematical Studies, Vol. 27, Springer, Berlin–Heidelberg, to appear.
T. Tao and V. Vu, Additive Combinatorics, Cambridge Studies in Advanced Mathematics, Vol. 105, Cambridge University Press, Cambridge, 2006.
F. de Zeeuw, A survey of Elekes–Rónyai-type problems, in New Trends in Intuitive Geometry, Bolyai Society Mathematical Studies, Vol. 27, Springer, Berlin–Heidelberg, to appear.
R. Zippel, An explicit separation of relativised random polynomial time and relativised deterministic polynomial time, Information Processing Letters 33 (1989), 207–212.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Raz, O.E., Sharir, M. & de Zeeuw, F. The Elekes–Szabó Theorem in four dimensions. Isr. J. Math. 227, 663–690 (2018). https://doi.org/10.1007/s11856-018-1728-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-018-1728-7