Submission date: 5 January 2017

Abstract:

Given a set A ⊆ N, we consider the relationship between stability of the structure (Z,+,0,A) and sparsity assumptions on the set A. We first show that a strong enough sparsity assumption on A yields stability of (Z,+,0,A). Specifically, if there is a function f:A → R^+ such that sup_{a\in A}|a-f(a)|<∞ and {s/t : s,t in f(A), ¬ (t ≤ s)} is closed and discrete, then (Z,+,0,A) is superstable (of U-rank ω if A is infinite).
Such sets encompass many classical examples of linear recurrence sequences (e.g. the Fibonaccci numbers) as well as sets for which the limit of ratios of consecutive elements diverges. In particular, this includes examples previously considered in work of Palacín-Sklinos and Poizat. Finally, we show that stability of (Z,+,0,A) implies a fair amount of sparsity for A. We use a result of Erdös, Nathanson, and Sárközy to show that if (Z,+,0,A) does not define the ordering on Z, then the lower asymptotic density of any finitary sumset of A is zero. We then show that stability of (Z,+,0,A) implies certain restrictions on the behavior of finite arithmetic progressions in finitary sumsets of A.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1701.01387: pdf, ps.