analysis / Harmonic analysis

Unit-Area Triangles in Planar Sets of Large Measure

How large can a measurable $A \subseteq [0,R]^2$ be while avoiding the vertices of upward-oriented axis-aligned right triangles of area $1/2$? At most $O_c(R^2/(\log R)^c)$, with a matching-shaped lower bound construction.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisMay 28, 2026Significance 15/100Registry: unreviewed

Unit-Area Triangles in Planar Sets of Large Measure

Prior state unknownproved

How large can a measurable $A \subseteq [0,R]^2$ be while avoiding the vertices of upward-oriented axis-aligned right triangles of area $1/2$? At most $O_c(R^2/(\log R)^c)$, with a matching-shaped lower bound construction.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

How large can a measurable $A \subseteq [0,R]^2$ be while avoiding the vertices of upward-oriented axis-aligned right triangles of area $1/2$? At most $O_c(R^2/(\log R)^c)$, with a matching-shaped lower bound construction.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.