The Erdős Similarity Conjecture for Two-Fold Sumsets with a Geometric Summand
We settle a major case in the two-set regime of the Erdős similarity conjecture: the sum of a geometric sequence and an arbitrary infinite set is never measure universal. Here a set $E\subset\R$ is measure universal if every measurable set of positive Lebesgue measure contains an affine copy of $E$. More precisely, if $A\subset\R$ is infinite, $a\neq 0$, and $0 0$, the stretched-exponential sumset \[ \{2^{-n^{α_1}}\}+\{2^{-n^{α_2}}\} \] is not measure universal whenever $1/α_1+1/α_2>1$; analogous conclusions hold for difference sets.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.03584
curl -X POST /api/v1/records/arxiv/2607.03584/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.03584/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'