Open Research Index

Extremal Sidon sets: Fourier uniformity and partition regularity

Tomas Ortega

Palomar Registrypalomar/PALOMAR-2026-10-29-000036Oct 29, 2026math.COscore 0

A Lean formalization of Ortega and Prendiville's results on Sidon sets in integer intervals. It proves Fourier bounds for near-maximal and largest Sidon sets, equidistribution in progressions and Bohr sets, and monochromatic solutions to partition regular linear equations in at least five variables. It also proves sharp obstruction constructions and records a correction to the paper's dimension-independent approximation claim.

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-29-000036
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-29-000036/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-29-000036/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'