Intersections of sumsets in additive number theory

Melvyn B. Nathanson

arxiv: 2512.23574 · v3 · pith:U2Z4XUTXnew · submitted 2025-12-29 · 🧮 math.NT

Intersections of sumsets in additive number theory

Melvyn B. Nathanson This is my paper

Pith reviewed 2026-05-16 19:13 UTC · model grok-4.3

classification 🧮 math.NT

keywords sumsetsintersectionsadditive semigroupsh-fold sumsadditive number theorydecreasing sequences

0 comments

The pith

In an additive abelian semigroup, the h-fold sumset of the intersection of a strictly decreasing sequence of sets equals the intersection of the h-fold sumsets only under certain conditions on the sequence.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper considers a strictly decreasing sequence of subsets A_q in an additive abelian semigroup S whose intersection is A. It asks when the h-fold sumset operation commutes with the intersection, that is, when hA equals the intersection over q of hA_q for some or all h at least 2. A reader would care because this determines whether additive structure survives under infinite intersections, which controls how sumsets behave in limits of sets. The work explores the conditions under which the equality holds or fails in this setting.

Core claim

Let S be an additive abelian semigroup. Let (A_q) be a strictly decreasing sequence of subsets of S with intersection A. Then hA equals the intersection of the sets hA_q for some or all integers h greater than or equal to 2 precisely when the sequence satisfies additional compatibility conditions with the semigroup operation that the paper investigates.

What carries the argument

The commutation relation hA = intersection of hA_q, where A is the intersection of a strictly decreasing sequence A_q and hA denotes the h-fold sumset.

Load-bearing premise

The sequence of sets is strictly decreasing and S is an additive abelian semigroup with no further restrictions placed on the sets or the operation.

What would settle it

An explicit strictly decreasing sequence of subsets of the integers whose intersection A satisfies 2A properly contained in the intersection of the 2A_q for h equal to 2.

read the original abstract

Let $A$ be a subset of an additive abelian semigroup $S$ and let $hA$ be the $h$-fold sumset of $A$. The following question is considered: Let $(A_q)_{q=1}^{\infty}$ be a strictly decreasing sequence of sets in $S$ and let $A = \bigcap_{q=1}^{\infty} A_q$. When does one have \[ hA = \bigcap_{q=1}^{\infty} hA_q \] for some or all $h \geq 2$?

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Nathanson raises a precise question on sumset intersections for decreasing sequences but offers no answers or examples.

read the letter

The main thing to know is that this paper poses an open question about when h-fold sumsets commute with intersections for strictly decreasing sequences of sets in an additive abelian semigroup, but it provides no theorems, proofs, or examples to address it. What is new here is the specific formulation involving strictly decreasing chains and the equality hA = intersection hA_q. This seems like a precise technical point that prior work on sumsets may not have covered directly. The paper does well by stating the question clearly and concisely. It highlights a potential property of sumsets that could be interesting to explore in concrete cases, such as in the integers under addition. Given Nathanson's expertise in the area, this is likely a motivated question. The main limitation is that there is no further development. The manuscript appears to be just this question without any partial results or counterexamples. This makes it more of a research prompt than a completed piece of work. This would be of interest to researchers in additive number theory who are familiar with sumset problems and might want to investigate the question themselves. A reader expecting new theorems or techniques will find little to engage with. I would not recommend sending this for peer review as a full research article. It might fit better as a short problem statement in a suitable journal or as an internal note to spark discussion among specialists.

Referee Report

1 major / 0 minor

Summary. The manuscript poses the question: Let (A_q)_{q=1}^∞ be a strictly decreasing sequence of subsets of an additive abelian semigroup S with A = ∩ A_q. When does hA = ∩ hA_q hold for some or all h ≥ 2?

Significance. The question concerns commutation of sumset operations with infinite intersections in semigroups and is potentially relevant to additive combinatorics. However, the manuscript supplies no theorems, proofs, counterexamples, or even illustrative examples, so it contributes only the formulation of an open problem rather than any resolved result.

major comments (1)

[Abstract] Abstract: the manuscript states the question but contains no theorems, derivations, or supporting evidence (such as conditions on S or the sequence (A_q)) under which the equality is claimed to hold or fail; this leaves the central question without any mathematical content that could be verified.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. The manuscript is a concise formulation of an open question on the commutation of sumset operations with infinite intersections in additive abelian semigroups, rather than a theorem-proving article. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the manuscript states the question but contains no theorems, derivations, or supporting evidence (such as conditions on S or the sequence (A_q)) under which the equality is claimed to hold or fail; this leaves the central question without any mathematical content that could be verified.

Authors: The manuscript deliberately poses the question without asserting any specific conditions or theorems under which the equality holds or fails; its contribution is the identification of this commutation property as an open problem in additive combinatorics. No claims are made that require verification beyond the well-posedness of the question itself. We can revise the abstract and introduction to explicitly label the work as an open-problem proposal and add one or two elementary illustrative examples (e.g., in the integers or in finite semigroups) to make the question more concrete, but we do not intend to supply general theorems or proofs at this stage. revision: partial

Circularity Check

0 steps flagged

No circularity: open question with no derivation or proof

full rationale

The paper poses an open question on whether hA equals the intersection of hA_q for strictly decreasing sequences (A_q) in an additive abelian semigroup S, with A their intersection. No theorems, proofs, parameter fittings, self-citations, or ansatzes are present; the text is purely interrogative and definitional. No load-bearing step reduces to its own inputs by construction, so the circularity score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The setting relies on standard definitions of additive abelian semigroups and h-fold sumsets; no free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)

domain assumption S is an additive abelian semigroup
Explicitly stated as the ambient structure in the abstract.

pith-pipeline@v0.9.0 · 5379 in / 1033 out tokens · 30293 ms · 2026-05-16T19:13:22.689247+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Let (A_q) be a strictly decreasing sequence ... When does hA = ∩ hA_q hold?

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Global Product Intersection Sets in Semigroups
math.CO 2026-04 accept novelty 8.0 full

Any subset of the natural numbers that contains 1 can be realized as a product intersection set for any family of at least two subsets of a semigroup, and the paper gives the full classification for both arbitrary and...
Problems and results on intersections of product sets and sumsets in semigroups
math.CO 2026-04 unverdicted novelty 6.0

Introduces the product intersection set H(A_q) in semigroups to characterize heights h where the h-fold product of the intersection equals the intersection of the h-fold products.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers

[1]

Erd˝ os and M

P. Erd˝ os and M. B. Nathanson, Maximal asymptotic nonbases, Proc. Amer. Math. Soc. 48 (1975), 57–60

work page 1975
[2]

J. Fox, N. Kravitz, and S. Zhang, Finer control on relative sizes of iterated sumsets, arXiv: 2506.05691

work page arXiv
[3]

Kravitz, Relative sizes of iterated sumsets, J

N. Kravitz, Relative sizes of iterated sumsets, J. Number Theory 272 (2025), 113–128,

work page 2025
[4]

M. B. Nathanson, Minimal bases and maximal nonbases in additive number theory, J. Number Theory 6 (1974), 324–333

work page 1974
[5]

M. B. Nathanson, Inverse problems for sumset sizes of finite sets of integers, Fibonacci Quar- terly (2025), to appear. arXiv:2411.02365

work page arXiv 2025
[6]

M. B. Nathanson, Problems in additive number theory, VI: Sizes of sumsets of finite sets, Acta Math. Hungar. 176 (2025), 498–521. doi.org/10.1007/s10474-025-01559-7

work page doi:10.1007/s10474-025-01559-7 2025
[7]

M. B. Nathanson, Explicit sumset sizes in additive number theory, Canad. Math. Bull. (2025), 1–12. doi.org/10.4153/S0008439525101549

work page doi:10.4153/s0008439525101549 2025
[8]

M. B. Nathanson, Compression and complexity for sumset sizes in additive number theory, J. Number Theory 281 (2026), 321–343. doi.org/10.1016/j.jnt.2025.09.025

work page doi:10.1016/j.jnt.2025.09.025 2026
[9]

M. B. Nathanson, Triangular and tetrahedral number differences of sumset sizes in additive number theory, Integers, to appear. arXiv:2506.15015

work page arXiv
[10]

O’Bryant, On Nathanson’s triangular number phenomenon, arXiv:2506.20836

K. O’Bryant, On Nathanson’s triangular number phenomenon, arXiv:2506.20836

work page arXiv
[11]

P´ eringuey and A

P. P´ eringuey and A. de Roton, A note on iterated sumsets races, arXiv:2505.11233

work page arXiv
[12]

Rajagopal, Possible sizes of sumsets, arXiv: 2510.23022

I. Rajagopal, Possible sizes of sumsets, arXiv: 2510.23022

work page arXiv
[13]

Schinina, On the sums of sets of sizek, arXiv:2505.07679

V. Schinina, On the sumset of sets of sizek, arXiv:2505.07679. Department of Mathematics, Lehman College (CUNY), Bronx, NY 10468 Email address:melvyn.nathanson@lehman.cuny.edu

work page arXiv

[1] [1]

Erd˝ os and M

P. Erd˝ os and M. B. Nathanson, Maximal asymptotic nonbases, Proc. Amer. Math. Soc. 48 (1975), 57–60

work page 1975

[2] [2]

J. Fox, N. Kravitz, and S. Zhang, Finer control on relative sizes of iterated sumsets, arXiv: 2506.05691

work page arXiv

[3] [3]

Kravitz, Relative sizes of iterated sumsets, J

N. Kravitz, Relative sizes of iterated sumsets, J. Number Theory 272 (2025), 113–128,

work page 2025

[4] [4]

M. B. Nathanson, Minimal bases and maximal nonbases in additive number theory, J. Number Theory 6 (1974), 324–333

work page 1974

[5] [5]

M. B. Nathanson, Inverse problems for sumset sizes of finite sets of integers, Fibonacci Quar- terly (2025), to appear. arXiv:2411.02365

work page arXiv 2025

[6] [6]

M. B. Nathanson, Problems in additive number theory, VI: Sizes of sumsets of finite sets, Acta Math. Hungar. 176 (2025), 498–521. doi.org/10.1007/s10474-025-01559-7

work page doi:10.1007/s10474-025-01559-7 2025

[7] [7]

M. B. Nathanson, Explicit sumset sizes in additive number theory, Canad. Math. Bull. (2025), 1–12. doi.org/10.4153/S0008439525101549

work page doi:10.4153/s0008439525101549 2025

[8] [8]

M. B. Nathanson, Compression and complexity for sumset sizes in additive number theory, J. Number Theory 281 (2026), 321–343. doi.org/10.1016/j.jnt.2025.09.025

work page doi:10.1016/j.jnt.2025.09.025 2026

[9] [9]

M. B. Nathanson, Triangular and tetrahedral number differences of sumset sizes in additive number theory, Integers, to appear. arXiv:2506.15015

work page arXiv

[10] [10]

O’Bryant, On Nathanson’s triangular number phenomenon, arXiv:2506.20836

K. O’Bryant, On Nathanson’s triangular number phenomenon, arXiv:2506.20836

work page arXiv

[11] [11]

P´ eringuey and A

P. P´ eringuey and A. de Roton, A note on iterated sumsets races, arXiv:2505.11233

work page arXiv

[12] [12]

Rajagopal, Possible sizes of sumsets, arXiv: 2510.23022

I. Rajagopal, Possible sizes of sumsets, arXiv: 2510.23022

work page arXiv

[13] [13]

Schinina, On the sums of sets of sizek, arXiv:2505.07679

V. Schinina, On the sumset of sets of sizek, arXiv:2505.07679. Department of Mathematics, Lehman College (CUNY), Bronx, NY 10468 Email address:melvyn.nathanson@lehman.cuny.edu

work page arXiv