English

Sumset size races for measurable sets

Number Theory 2026-01-19 v1

Abstract

Let GG be a locally compact abelian group with Haar measure μ\mu. For integers n2n \geq 2 and H2H \geq 2 and for any nn-tuples u1,,uHNn\mathbf{u}_1,\ldots, \mathbf{u}_H \in \mathbf{N}^n, there exist measurable subsets A1,,AnA_1,\ldots, A_n of GG such that the nn-tuple (μ(hA1),,μ(hAn))\left( \mu(hA_1),\ldots, \mu(hA_n) \right) has the same relative order as the nn-tuple uh\mathbf{u}_h for all h=1,,Hh = 1,\ldots, H. For integers mi,hm_{i,h} for i=1,,n1i =1,\ldots, n-1 and h=1,,Hh = 1,\ldots, H, there are Lebesgue measurable sets A1,,AnA_1,\ldots, A_n in R\mathbf{R} such that μ(hAi+1)μ(hAi)=mi,h\mu(hA_{i+1}) - \mu(hA_i) = m_{i,h} for all ii and hh.

Keywords

Cite

@article{arxiv.2601.11490,
  title  = {Sumset size races for measurable sets},
  author = {Melvyn B. Nathanson},
  journal= {arXiv preprint arXiv:2601.11490},
  year   = {2026}
}

Comments

12 pages

R2 v1 2026-07-01T09:07:55.595Z