Measurable sets in [0,R]² avoiding upward right triangles of area 1/2 satisfy |A| = O_c(R²/(log R)^c) for c<1/4 with Ω(R log R) example; for fixed-area triangles the bound sharpens to c<1/2 using a hyperbolic trilinear smoothing inequality and scale induction.
A multidimensional Szemer\'{e}di theorem in integers
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
For any integer $n \geq 2$, let $(m_{1},\ldots,m_{n})$ be a strictly increasing $n$-tuple of positive integers. We show that any subset $A\subset [N]^n$ of density at least $(\log N)^{-c}$ contains a nontrivial configuration of the form \begin{equation*} \boldsymbol{x},\boldsymbol{x}+r^{m_{1}}\boldsymbol{e_{1}},\ldots,\boldsymbol{x}+r^{m_{n}}\boldsymbol{e_{n}}, \end{equation*} where $c=c(n,m_{1},\ldots,m_{n} )$ is a positive constant. This quantitative multidimensional Szemer\'{e}di theorem extends a recent two-dimensional result of Peluse, Prendiville, and Shao concerning the configuration of the form $(x,y),(x+r,y),\left(x,y+r^{2}\right)$. The theorem is obtained as a consequence of an effective ``popular'' version.
fields
math.CA 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
On hyperbolic corners and unit-area triangles in planar sets of large measure
Measurable sets in [0,R]² avoiding upward right triangles of area 1/2 satisfy |A| = O_c(R²/(log R)^c) for c<1/4 with Ω(R log R) example; for fixed-area triangles the bound sharpens to c<1/2 using a hyperbolic trilinear smoothing inequality and scale induction.