Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper establishes that commutative semigroups whose sets intersect all difference subsets exhibit local Bohr structure, generalizing prior work on integers to arbitrary commutative semigroups. This is achieved by leveraging the equivalence of the regionally proximal relation for minimal actions of commutative semigroups and by introducing a novel DeMorgan-type algebra on Furstenberg families for computational efficiency. The core finding connects combinatorial difference set properties to the dynamical structure of group rotations.
A new algebra on Furstenberg families unlocks local Bohr structure in difference sets across all commutative semigroups, extending classical results.
In this paper, we strengthen the connection between the combinatorics of difference sets and the dynamics of group rotations. Our main result shows that sets which have non-empty intersection with all difference subsets of a commutative semigroup possess local Bohr structure. This generalizes results of Bergelson, Furstenberg, and Weiss and Host and Kra from the integers to arbitrary commutative semigroups. We accomplish this by A) utilizing a recent result showing that the regionally proximal relation is an equivalence relation for minimal actions of commutative semigroups and by B) describing a new, DeMorgan-type algebra on Furstenberg families that allows for efficient manipulation and computation. We formally verify all of the results in this paper in Lean. The main results are verified in a Palomar submission, and we link to a Github repository containing code for the complete verification.