finding record / sidon-sets
recordedvf_e6443b35810cc321
Ruzsa covering lemma
Canonical assertion
if |A+B| <= K|A|, then B is contained in the sumset A - A translated by at most K elements; the engine of small-doubling structure theorems.
Notation is rendered from the stored source. The pinned checkout remains the exact record.
- published_paper
- theoretical
- 0 spans
- recorded
Scope and conditions
theoretical
Manually added finding; requires evidence review before scientific use.
Provenance summary
- Ruzsa covering lemma 1999
- published_paper
- May 9, 2026, 10:52 PM
- not recorded
- 0
Exact record identityFinding ID, frontier identity, and pinned Git source
- vf_e6443b35810cc321
- vfr_496956067dc5ad79
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- 091277487f92918f3a2016b5463b1a78579a4c9a
Exact source and rootsGit 825657d7e876 and content-addressed ledgers
Source identity
- Commit
- 825657d7e87618c0aa6fc9af7e3182e05f324750
- Tree
- 091277487f92918f3a2016b5463b1a78579a4c9a
- Committed
- 2026-07-20T19:17:24-04:00
- Repository
- Open source
Content roots
- Event log
- sha256:11a668d1cdd9caa18f6c3c78ac8c03431bd2ab9beb71f3c62c747d8a7b6571cd
- Snapshot
- sha256:0441baf3d3c0f7f58e51d8d0b54d2e20ee94c57cfe3fd52ec0ea6dde2ee0c92d
- Proposals
- sha256:c0908b306b5b6bc022ce4355f630215ea203a8c8b47072e62bc325e3de57ef22
- Actor registry
- sha256:56255ef713f476f7b5dbce3a52003d1a6e7d6eef92f4895c4e9edb545c173cfa
- Artifacts
- sha256:65318a8e8ff7dca020c07c5633855d14d24b92fcaed903e483134140cc32d632