Open Research Index

Chang's theorem

Gabriel Dahia

Palomar Registrypalomar/PALOMAR-2026-10-27-000001Oct 27, 2026math.COscore 0

Formalization of Chang's polynomial form of Freiman's theorem, with a 2-proper progression P, one for which P + P is proper: a finite set X of integers with |X + X| = 7 * 10^7 kappa^2, then 2X - 2X contains a proper progression of dimension at most 3 * 10^5 kappa^2 with at least exp(-2 * 10^7 kappa^2) |X| points.

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-27-000001
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-27-000001/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-27-000001/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'