Problems and results on intersections of product sets and sumsets in semigroups

Abstract: For every subset $A$ of a semigroup $S$, let $A^h$ be the set of all products of $h$ elements of $S$. If $(A){q\in Q}$ is a family of subsets of $S$, then $A = \bigcap{q \in Q} A_q$ satisfies $A^h \subseteq \bigcap_{q \in Q} A_q^h$. The product intersection set $H(A_q) = \left{h \in \mathbf{N}: A^h = \bigcap_{q \in Q} A_q^h \right}$ is investigated.

• The paper presents a framework for h-fold intersections of product and sum sets by establishing when A^h equals the intersection of the A_q^h.
• It uses explicit constructions and representation functions to reveal the arithmetic structure and differences in both additive and multiplicative settings.
• The work demonstrates Cartesian product closure properties and poses open problems that bridge combinatorial number theory with semigroup and group theory.

Detailed Summary of "Problems and results on intersections of product sets and sumsets in semigroups" (2604.04781)

---

Introduction and Motivation

The paper addresses the structure and computation of the intersection of $h$-fold product sets and sumsets within the framework of semigroups, particularly focusing on situations where such intersections coincide or differ from their constituent sets. The work formalizes the concept of product (and sum) intersection sets—sets of integers $h$ for which the equality $A^h = \cap_{q \in Q} A_q^h$ (or $hA = \cap_{q \in Q} hA_q$ in the additive case) holds, where each $A_q$ is a subset of a semigroup $S$ and $A = \cap_{q \in Q} A_q$. This study is situated in additive and combinatorial number theory, extending previous research on sumsets and their intersections, and formulating a general theory in both multiplicative and additive nonabelian settings.

---

Definitions and Foundational Problems

Intersection Sets

For a family of subsets $(A_q)_{q\in Q}$ of a semigroup $S$ and their intersection $A$, define

$h$0

for product sets, and analogously in the additive context.

The paper formalizes several structured problems:

• Determining $h$1 for specific families.
• Describing global "master sets" $h$2 of all intersection sets across $h$3 and $h$4.
• Characterizing possible and impossible intersection sets $h$5, especially those containing $h$6 for which there may not exist any associated family in the ambient semigroup.

The investigation further considers sequences of strictly decreasing subsets and the particularities arising when intersections are taken over such sequences, establishing connections with the co-finiteness or co-infiniteness of set complements.

---

Constructive Examples and Explicit Computation

Basic and Extremal Cases

Explicit constructions demonstrate that in many canonical situations, the intersection set $h$7 is either the set of all positive integers (the full semigroup powers coincide at all levels), or the singleton $h$8 (intersections coincide only at the base layer, with strict inclusions for all $h$9).

For example, for $A^h = \cap_{q \in Q} A_q^h$0 and $A^h = \cap_{q \in Q} A_q^h$1, $A^h = \cap_{q \in Q} A_q^h$2 and $A^h = \cap_{q \in Q} A_q^h$3 for all $A^h = \cap_{q \in Q} A_q^h$4; thus $A^h = \cap_{q \in Q} A_q^h$5.

Nontrivial Intersection Sets

Stronger results, citing Marques and Nathanson (Marques et al., 15 Mar 2026), establish that for every $A^h = \cap_{q \in Q} A_q^h$6 and $A^h = \cap_{q \in Q} A_q^h$7, there exist asymptotically strictly decreasing sequences $A^h = \cap_{q \in Q} A_q^h$8 such that

• $A^h = \cap_{q \in Q} A_q^h$9
• $hA = \cap_{q \in Q} hA_q$0

Thus, sum (and product) intersection sets can possess substantial arithmetic structure, contra any expectation of them being only trivial or classical sets.

---

Representation Functions and Finiteness Criteria

The $hA = \cap_{q \in Q} hA_q$1-fold representation function $hA = \cap_{q \in Q} hA_q$2, counting multiplicities for $hA = \cap_{q \in Q} hA_q$3 as a product/sum of $hA = \cap_{q \in Q} hA_q$4 elements from $hA = \cap_{q \in Q} hA_q$5, is invoked as a crucial tool. The finiteness (or infinitude) of representation numbers constrains the possible intersection behaviors. For semigroups (e.g., nonnegative integers under addition or $hA = \cap_{q \in Q} hA_q$6), representation numbers are always finite, implying that strictly decreasing intersection patterns are prevalent, whereas for $hA = \cap_{q \in Q} hA_q$7 or $hA = \cap_{q \in Q} hA_q$8, infinite representation leads to the possibility of nontrivial intersections at higher foldings that are not reflected in the initial sets.

---

Algebraic and Geometric Constructions

Semigroup and Group Structures

Results on infinite groups leverage the existence of infinite proper subgroups. For an infinite group $hA = \cap_{q \in Q} hA_q$9 and such a subgroup $A_q$0, strictly decreasing sequences $A_q$1 are constructed yielding $A_q$2 by augmenting $A_q$3 with shifted coset tails that do not belong to $A_q$4, breaking possible reconstructions for $A_q$5.

Module Symmetries and Transformations

In any $A_q$6-module, affine transformations preserve intersection sets: if $A_q$7 for a unit $A_q$8 and vector $A_q$9, then $S$0. The paper abstracts this to equivalence classes under module automorphisms, yielding symmetries in the landscape of possible intersection sets.

---

Cartesian Product Closure and Intersections

A central theoretical result is that the collection of all product intersection sets (over all semigroups, all $S$1) is closed under intersection, via Cartesian product constructions: for semigroups $S$2, $S$3 and families $S$4, the intersection $S$5 is equal to $S$6, ensured by elementary properties of product set formation in direct product semigroups.

---

Advanced Constructions

Real and Rational Settings

The paper constructs asymptotically strictly decreasing sequences $S$7 in the rational and real numbers (formed, e.g., from rational or real neighborhood "clouds" clustering around increasing isolated points), for which $S$8. These show that even dense sets in analytic settings can have intersection set structures similar to those in discrete algebraic settings.

Lattice Points

An explicit geometric argument shows that for finite sets of lattice points $S$9, strictly decreasing sequences $A = \cap_{q \in Q} A_q$0 can be constructed so that $A = \cap_{q \in Q} A_q$1 for all $A = \cap_{q \in Q} A_q$2, combining modular residue classes or norm-based shells with finiteness arguments, and exploiting Euclidean norm inequalities.

---

Open Problems and Implications

The paper poses a variety of open problems, many of which are genuinely nontrivial. For example:

• Does there exist, for given $A = \cap_{q \in Q} A_q$3, a set $A = \cap_{q \in Q} A_q$4 with $A = \cap_{q \in Q} A_q$5 such that $A = \cap_{q \in Q} A_q$6 does not arise as any $A = \cap_{q \in Q} A_q$7 in the global class?
• Is the union of intersection sets closed under union?
• For infinite torsion groups, can intersection sets other than $A = \cap_{q \in Q} A_q$8 or $A = \cap_{q \in Q} A_q$9 exist?

These problems indicate significant theoretical gaps in understanding the spectrum of intersection sets, with implications for both algebraic combinatorics and the structure theory of semigroups and groups.

---

Conclusion

This paper substantially generalizes and systematizes the study of intersections of product and sumsets in semigroups, introducing detailed frameworks for the computation and classification of intersection sets. The results unify settings from discrete additive number theory, nonabelian group theory, and analytic semigroup theory, and provide both constructive and non-existence results. The work links intersection set properties to underlying representation functions, co-finiteness, and algebraic module structure, and establishes robust closure properties. The explicit constructions and new families of open problems pave the way for further exploration of the interplay between combinatorial, algebraic, and analytic properties of sets in semigroups and their powers, with potential ramifications for additive bases, group theory, and even geometric group theory. Future advances may uncover deeper structure in the arithmetic of intersection sets and resolve the fundamental open questions articulated here.