Multidimensional Szemerédi Theorem for Pairwise Independent Jointly Intersective Polynomials
Abstract
We develop a new approach to the Joint Intersectivity Conjecture of Bergelson, Leibman, and Lesigne for commuting transformations. The conjecture asserts that the necessary divisibility condition is the only obstruction to polynomial multiple recurrence and, consequently, to the multidimensional polynomial Szemerédi theorem. We establish the conjecture for pairwise independent polynomials, obtaining the first general result for sequences of arbitrary length beyond the classical one-transformation setting. Our argument is inspired by the Furstenberg-Katznelson approach and its polynomial enhancement due to Bergelson-Leibman. Its main novelty, however, lies in the development of new techniques that allow us to bypass the use of the polynomial van der Waerden theorem, on which these methods traditionally rely, and for which no suitable analogue is currently available in our setting. In particular, we prove a Nil-Bohr returns theorem for compact extensions in systems with nilpotent structure, as well as a nil-plus-null decomposition for polynomial multicorrelation sequences that preserves joint intersectivity and positivity.
Related
- Intersective Polynomials and Universal Separation of Divosor Profiles
- Uniform comparison of multiplier and test ideals for polynomials with affinely independent support
- Convergence for Small-Order Derivatives of Random Polynomials with Independent Roots
- A Hajnal-Szemerédi Theorem for Skewed Colorings
- Further bounds in the polynomial Szemerédi theorem
BibTeX
@misc{frantzikinakis2026multidimensional,
title = {{Multidimensional Szemerédi Theorem for Pairwise Independent Jointly Intersective Polynomials}},
author = {Nikos Frantzikinakis and Davide Sclosa},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.18657},
eprint = {2610.18657},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.18657},
}
RIS
TY - UNPB
TI - Multidimensional Szemerédi Theorem for Pairwise Independent Jointly Intersective Polynomials
AU - Nikos Frantzikinakis
AU - Davide Sclosa
PY - 2026
DA - 2026/10/13
PB - arXiv
DO - 10.48550/arxiv.2610.18657
UR - https://arxiv.org/abs/2610.18657
AB - We develop a new approach to the Joint Intersectivity Conjecture of Bergelson, Leibman, and Lesigne for commuting transformations. The conjecture asserts that the necessary divisibility condition is the only obstruction to polynomial multiple recurrence and, consequently, to the multidimensional polynomial Szemerédi theorem. We establish the conjecture for pairwise independent polynomials, obtaining the first general result for sequences of arbitrary length beyond the classical one-transformation setting. Our argument is inspired by the Furstenberg-Katznelson approach and its polynomial enhancement due to Bergelson-Leibman. Its main novelty, however, lies in the development of new techniques that allow us to bypass the use of the polynomial van der Waerden theorem, on which these methods traditionally rely, and for which no suitable analogue is currently available in our setting. In particular, we prove a Nil-Bohr returns theorem for compact extensions in systems with nilpotent structure, as well as a nil-plus-null decomposition for polynomial multicorrelation sequences that preserves joint intersectivity and positivity.
ER -