Hofstadter's ab-1 problem starts with a deceptively simple rule. Take the set containing just the numbers 2 and 3, then keep adding new numbers using this operation: whenever you have two different numbers already in your set, multiply them together and subtract 1, and add the result to your set. So for example, 2 and 3 give you 5, then 2 and 5 give you 9, then 3 and 5 give you 14, and so on. The question, posed by Erdos and attributed to Hofstadter, is how "dense" this ever-growing set of numbers eventually becomes among all positive integers.
Density here means roughly what fraction of all numbers end up in the set. A set has "positive lower density" if, no matter how far out along the number line you look, at least some fixed minimum percentage of numbers up to that point are always in the set. The concern is that the set might become increasingly sparse, with larger and larger gaps, so that it essentially misses almost all numbers eventually. Proving positive lower density rules that out and guarantees the set remains robustly populated throughout the integers.
The main result of this paper is a proof that the set generated by Hofstadter's rule does indeed have positive lower density. This means there is a genuine constant, greater than zero, such that the set always contains at least that fraction of integers, no matter how large a range you examine. This resolves the open problem in the affirmative and shows the repeated application of the multiply-and-subtract-one rule is surprisingly powerful at generating numbers, spreading them densely enough through the integers that they never become negligibly rare.