Abstract:Following their resolution of the Erdős $B+B+t$ problem, Kra Moreira, Richter, and Robertson posed a number of questions and conjectures related to infinite configurations in positive density subsets of the integers and other amenable groups. We give a negative answer to several of these questions and conjectures by producing families of counterexamples based on a construction of Ernst Straus.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence of infinite combinatorial structures in positive - density subsets. Specifically, the paper gives negative answers to a series of questions and conjectures proposed by Kra, Moreira, Richter, and Robertson in their previous work. These questions and conjectures mainly focus on whether positive - density subsets (whether in the set of integers or other metrizable groups) contain specific types of infinite combinatorial structures, such as infinite sum sets, product sets, and polynomial configurations, etc.
The paper proves by constructing counterexamples that under certain conditions, even if a set has a very high upper Banach density (close to 1), these sets may not contain certain specific infinite combinatorial structures. For example:
1. **Sum sets in Abelian groups**: The paper proves that when 2Γ is a subgroup of infinite index, there exists a set with an upper Banach density close to 1 that does not contain any infinite sum set \(\mathcal{A} \oplus \mathcal{A}+\alpha\).
2. **Product sets in the multiplicative semigroup of natural numbers**: The paper constructs a set with an upper Banach density close to 1 that does not contain any infinite product set \(\alpha \mathcal{A}^{\circ k}\).
3. **Polynomial configurations**: The paper proves that for any integer - valued polynomial \(P(n)\) with degree greater than or equal to 2, there exists a set with an upper Banach density close to 1 that does not contain any polynomial configuration of the form \(\{P(n_1)+n_2 +\alpha: n_1, n_2\in\mathcal{A}, n_1 < n_2\}\).
4. **Product - sum sets**: The paper also proves that there exists a set with an upper Banach density close to 1 that does not contain any product - sum set of the form \(\{n_1\cdot n_2 + n_3+\alpha: n_1, n_2, n_3\in\mathcal{A}, n_1 < n_2 < n_3\}\).
These results not only answer the specific questions raised by Kra et al., but also provide a new perspective for further research on the existence and properties of these combinatorial structures. The main contribution of the paper lies in showing that even in the case of high density, some specific infinite combinatorial structures may not exist, thus challenging the existing theories.