Wiki
Wiki

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 DD, consider nonnegative weights cdc_d with

∑d∣qcd≥1(q∈D).(1)\sum_{d\mid q}c_d\ge1\qquad(q\in D). \tag{1}

For a coherent center α\alpha, a hit of an active modulus qq also hits each divisor d∣qd\mid q, actively, since n≥q≥dn\ge q\ge d. Thus (1) gives the pointwise majorant

1BD,α(n)≤∑dcd1{n≥d, n≡α (d)}.\mathbf1_{B_{D,\alpha}}(n) \le\sum_d c_d\mathbf1_{\{n\ge d,\ n\equiv\alpha\ (d)\}}.

The exact delayed progression inequality bounds its normalized harmonic mass by ∑dcd/d\sum_d c_d/d. The question was whether small full footprint always permits such a cover of small cost.

Proposition. There are finite distinct primitive sets DmD_m with βm=μ(M(Dm))→0\beta_m=\mu(M(D_m))\to0, but

inf⁡cd≥0 satisfying (1)∑dcdd=1.(2)\inf_{c_d\ge0\text{ satisfying (1)}}\sum_d\frac{c_d}{d}=1. \tag{2}

Only divisors of generators need receive weight, so this is a finite optimization problem.

The spanning-tree family

Let m≥6m\ge6. To each edge ee of the complete graph on mm vertices assign a finite prime set PeP_e, with all these sets disjoint and all primes greater than mm, such that

2m≤λe:=∑p∈Pe1p<3m.\frac2m\le\lambda_e:=\sum_{p\in P_e}\frac1p<\frac3m.

Successively taking unused primes until their reciprocal sum first reaches 2/m2/m 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 DmD_m. Distinct choices give distinct products, since each prime identifies its edge. All products are squarefree of rank m−1m-1, 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

te=1−∏p∈Pe(1−1/p)≤λe<3/m.t_e=1-\prod_{p\in P_e}(1-1/p)\le\lambda_e<3/m.

The integer belongs to M(Dm)M(D_m) exactly when this random graph is connected.

Let IvI_v indicate that vertex vv is isolated and let Z=∑vIvZ=\sum_v I_v. For m≥6m\ge6,

EIv≥(1−3/m)m−1≥e−6.\mathbb E I_v\ge(1-3/m)^{m-1}\ge e^{-6}.

For distinct vertices v,wv,w, direct cancellation of the shared edge gives

Cov⁡(Iv,Iw)=EIv EIwtvw1−tvw≤6m.\operatorname{Cov}(I_v,I_w) =\mathbb E I_v\,\mathbb E I_w \frac{t_{vw}}{1-t_{vw}}\le\frac6m.

Hence EZ≫m\mathbb EZ\gg m and Var⁡Z=O(m)\operatorname{Var}Z=O(m). Chebyshev's inequality gives

βm≤Pr⁡(Z=0)=O(1/m).(3)\beta_m\le\Pr(Z=0)=O(1/m). \tag{3}

A probability certificate for the cover cost

Sample a uniform spanning tree TT. Independently on each of its edges ee, choose p∈Pep\in P_e with probability (1/p)/λe(1/p)/\lambda_e. Let Q∈DmQ\in D_m be the resulting product. We claim that

Pr⁡(d∣Q)≤1/d(d≥1).(4)\Pr(d\mid Q)\le1/d\qquad(d\ge1). \tag{4}

The probability is zero unless dd is squarefree, uses at most one prime from each edge, and its selected edges form a forest. For such a forest FF with kk edges and component sizes s1,…,scs_1,\ldots,s_c, including isolated vertices, the uniform-tree inclusion probability is

Pr⁡(F⊆T)=m−k∏i=1csi≤(2/m)k.(5)\Pr(F\subseteq T)=m^{-k}\prod_{i=1}^c s_i\le(2/m)^k. \tag{5}

For completeness, collapsing the forest components leaves a tree on cc vertices. Each intercomponent edge has sisjs_i s_j 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 mc−2∏isim^{c-2}\prod_i s_i extensions of FF. Dividing by mm−2m^{m-2} gives (5); the case c=1c=1 is immediate. Finally si≤2si−1s_i\le2^{s_i-1} and ∑i(si−1)=k\sum_i(s_i-1)=k prove its inequality.

Multiplying (5) by the probabilities of choosing the prescribed edge primes, and using λe≥2/m\lambda_e\ge2/m, yields

Pr⁡(d∣Q)≤(2/m)k∏p∣dm2p=1/d.\Pr(d\mid Q) \le(2/m)^k\prod_{p\mid d}\frac{m}{2p}=1/d.

This proves (4), including d=1d=1.

Averaging (1) against this random QQ now gives

1≤E∑d∣Qcd=∑dcdPr⁡(d∣Q)≤∑dcd/d.1\le\mathbb E\sum_{d\mid Q}c_d =\sum_d c_d\Pr(d\mid Q)\le\sum_d c_d/d.

The choice c1=1c_1=1 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 HB(X)/HX≤f(β)H_B(X)/H_X\le f(\beta) 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 U=⋃p≤X[0]pU=\bigcup_{p\le X}[0]_p, using prime moduli, and attempt to majorize every activated deletion pointwise by nonnegative multiples of delayed cylinders [b]d⊆U[b]_d\subseteq U, at cost ∑wd,b/d\sum w_{d,b}/d.

Any full cylinder contained in this UU must itself be contained in some [0]p[0]_p. Otherwise CRT, choosing a nonzero residue at each selected prime not already fixed by dd, gives a point of the cylinder outside UU. At the active endpoint n=pn=p, a contributing cylinder must have d≤pd\le p and contain pp. Its containing zero prime class must therefore be [0]p[0]_p, forcing d=pd=p and b=0b=0. Thus its weight must be at least one for every selected prime. The total cost is at least ∑p≤X1/p\sum_{p\le X}1/p, which diverges, although μ(U)≤1\mu(U)\le1 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.