Pith. sign in

REVIEW 3 cited by

Corners with polynomial side length

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.08637 v2 pith:IQRQXMIB submitted 2024-07-11 math.CO math.NT

Corners with polynomial side length

classification math.CO math.NT
keywords polynomialresultcornersmathbbsetsabsoluteargumentarithmetic
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

A $P$-polynomial corner, for $P \in \mathbb{Z}[z]$ a polynomial, is a triple of points $(x,y),\; (x+P(z),y),\; (x,y+P(z))$ for $x,y,z \in \mathbb{Z}$. In the case where $P$ has an integer root of multiplicity $1$, we show that if $A \subseteq [N]^2$ does not contain any nontrivial $P$-polynomial corners, then $$|A| \ll_P \frac{N^2}{(\log\log\log N)^c}$$ for some absolute constant $c>0$. This simultaneously generalizes a result of Shkredov about corner-free sets and a recent result of Peluse, Sah, and Sawhney about sets without $3$-term arithmetic progressions of common difference $z^2-1$. The main ingredients in our proof are a multidimensional quantitative concatenation result from our companion paper arXiv:2407.08636 and a novel degree-lowering argument for box norms.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. On hyperbolic corners and unit-area triangles in planar sets of large measure

    math.CA 2026-05 unverdicted novelty 7.0

    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 trilinea...

  2. A multidimensional Szemer\'{e}di theorem in integers

    math.NT 2026-05 unverdicted novelty 7.0

    Dense subsets of [N]^n contain configurations x, x + r^{m1}e1, ..., x + r^{mn}en for any fixed n and increasing exponents m_i, with density threshold (log N)^{-c}.

  3. Polynomial Corners Over finite Fields

    math.NT 2026-06 unverdicted novelty 6.0

    In (F_p)^2, any set avoiding the polynomial corner configuration has density o(1) as p grows, with a bound stronger than the corresponding integer result under stated conditions on P.