Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Divisor cover obstruction
This is an obstruction to one proposed finite harmonic upper sieve, not a counterexample to Problem 25. The construction has zero residues, so its actual logarithmic density is already understood.
For a finite modulus set , consider nonnegative weights with
For a coherent center , a hit of an active modulus also hits each divisor , actively, since . Thus (1) gives the pointwise majorant
The exact delayed progression inequality bounds its normalized harmonic mass by . The question was whether small full footprint always permits such a cover of small cost.
Proposition. There are finite distinct primitive sets with , but
Only divisors of generators need receive weight, so this is a finite optimization problem.
The spanning-tree family
Let . To each edge of the complete graph on vertices assign a finite prime set , with all these sets disjoint and all primes greater than , such that
Successively taking unused primes until their reciprocal sum first reaches constructs the blocks, by divergence of the prime reciprocal sum.
For every spanning tree, choose one prime from each of its edges and include their product in . Distinct choices give distinct products, since each prime identifies its edge. All products are squarefree of rank , so the family is primitive.
For a Haar integer, declare an edge present when at least one of its assigned primes divides the integer. These are independent edge events, of probabilities
The integer belongs to exactly when this random graph is connected.
Let indicate that vertex is isolated and let . For ,
For distinct vertices , direct cancellation of the shared edge gives
Hence and . Chebyshev's inequality gives
A probability certificate for the cover cost
Sample a uniform spanning tree . Independently on each of its edges , choose with probability . Let be the resulting product. We claim that
The probability is zero unless is squarefree, uses at most one prime from each edge, and its selected edges form a forest. For such a forest with edges and component sizes , including isolated vertices, the uniform-tree inclusion probability is
For completeness, collapsing the forest components leaves a tree on vertices. Each intercomponent edge has choices of endpoints. The Prüfer-code identity $\sum_{T'}\prod_i s_i^{\deg_{T'}(i)} =(\prod_i s_i)(\sum_i s_i)^{c-2}$ therefore counts extensions of . Dividing by gives (5); the case is immediate. Finally and prove its inequality.
Multiplying (5) by the probabilities of choosing the prescribed edge primes, and using , yields
This proves (4), including .
Averaging (1) against this random now gives
The choice attains equality, proving (2).
Scope
The obstruction allows arbitrary positive combinations of divisor subcertificates, not just a fixed-rank or a single-prime sieve. The missing arithmetic bound cannot be obtained solely by optimizing this positive majorant and then applying individual progression bounds. The construction does not estimate the actual shifted harmonic trace and does not refute a universal finite bound by a different method.
A different pointwise majorant is also too restrictive
Allowing arbitrary cylinders contained in the full union, rather than only divisor subcertificates, does not fix every positive majorant strategy. Let , using prime moduli, and attempt to majorize every activated deletion pointwise by nonnegative multiples of delayed cylinders , at cost .
Any full cylinder contained in this must itself be contained in some . Otherwise CRT, choosing a nonzero residue at each selected prime not already fixed by , gives a point of the cylinder outside . At the active endpoint , a contributing cylinder must have and contain . Its containing zero prime class must therefore be , forcing and . Thus its weight must be at least one for every selected prime. The total cost is at least , which diverges, although and the actual zero-residue harmonic bound has constant one. This particular pointwise, activation-preserving cover is therefore too strong even in a solved case; a valid dual may need to transport weights rather than cover every point at unit height.