Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Profinite residue endpoints
The results here concern bounded-quotient first kills, not the full delayed union. They do not resolve Problem 25. They prove logarithmic nullity whenever the normalized residues have countable profinite closure, and give a necessary distributional condition in general.
Relative compression: proved
Let be -periodic, and suppose a finite or countable family satisfies
where is one integer. Then
Distinctness of the moduli is not needed for this lemma.
For a finite family work modulo and use CRT. Fix a prime , all other prime coordinates, and the low digits , where . A cylinder with is either empty or the entire remaining fiber; replacing its center by at this prime changes neither possibility. When , the cylinder meets only the low fiber . Inside that fiber its restriction is a -adic ball. Moving all the remaining centers to makes these balls nested, so their union has measure equal to the largest ball and cannot increase. An entire-fiber restriction, if present, also causes no problem. Since is constant on each fixed -residue, the same comparison holds after intersection with . Integrate and repeat over all prime coordinates. This proves (1) for finite families; monotone convergence proves the countable case.
Multiples unions intersected with a periodic set
For arbitrary and a periodic set , the set has logarithmic density
Here denotes the positive multiples union or its Haar version, according to the ambient space.
Indeed, the exact multiples theorem gives . For finite , put . Subtracting the finite periodic harmonic sum gives
The periodic sets thus approximate in upper logarithmic density. Their densities converge to the right side of (2) by Haar monotone convergence. This proves (2); no natural-density assertion for the infinite multiples union is being made.
A residue-cylinder bound for first endpoints
Use strictly increasing moduli , normalized residues , and notation
Fix , write , and define
Every point in has a unique witnessing index and an integer quotient .
For a prefix , put
For every residue ,
The coefficient does not depend on the old period.
To prove this, discard the finitely many points with and write and . Every remaining first kill lies in : at , all old congruences are active. For each , let consist of the moduli of points under consideration. Then and . Distinctness makes injective, so
By (2), each right-hand term has logarithmic density equal to its Haar measure. Since , translation and (1) give
Here is stronger than the compatibility hypothesis of (1). Summing (4) proves (3), with the original activation rule unchanged.
Diffuse limiting residues and a logarithmic-nullity criterion
For define a finite measure on by
Every weak limit along of these measures is nonatomic. Their masses are bounded and is compact metrizable. For a weak limit , residue-cylinder indicators are continuous, so (3) gives
For any ,
The periods need not exhaust all finite moduli for this deduction.
Corollary. If the normalized residues have countable closure in , then
In particular, this holds if converges profinitely.
Every measure (5), and hence every weak limit, is supported on that closed countable set. A nonatomic measure supported there is zero. If the masses did not tend to zero, compactness would give a weak limit with positive mass, a contradiction. A convergent sequence together with its limit has countable closure, proving the last assertion.
For arbitrary residues the closure may be uncountable, and diffuse limits are possible in principle. Nothing here controls that case or first kills with unbounded quotient. In particular, (6) alone does not give logarithmic density for the original survivor set.
The binary-colored private-witness construction shows a further limitation of purely profinite endpoint arguments. Even locally -colored idempotent congruences can have private profinite witnesses, a modulus set of natural density , and positive survivor density . Its actual delayed union does have natural density. Short positive integer witnesses, not merely profinite privacy or a bounded local color alphabet, remain essential.