Open Research Index

A Sharp Bound for Additive Complements

Zihan Zhang

arXivarxiv/2610.29963Oct 21, 2026math.NTscore 0

Let $A$ and $B$ be infinite sets of nonnegative integers whose sum contains all sufficiently large integers, and let $A(x)$ and $B(x)$ be their counting functions. We give a discrete proof of the sharp implication \[ \limsup_{x\to\infty}\frac{A(x)B(x)}{x}<\frac32 \quad\Longrightarrow\quad A(x)B(x)-x\longrightarrow+\infty. \] The constant $3/2$ is best possible. Using finite convolution sums, we show that a long gap in one set forces a gap in the other. We then compare the counting functions before and after the gap to obtain the sharp bound.

SourceJSON

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/arxiv/2610.29963
curl -X POST /api/v1/records/arxiv/2610.29963/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.29963/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'