Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Rough shadow energy
A different attempted proof attached a rough-quotient shadow to each private endpoint and sought an averaged packing estimate. The earlier obstruction rules out bounded pointwise overlap. The construction below also rules out a uniform second-moment substitute, even with globally private positive witnesses and bounded total shadow measure.
Statement
There are finite distinct-modulus singleton families with globally private endpoints for which the rough shadows
obey
In the integral, each shadow denotes its full periodic congruence version; its natural density and pair intersection densities are unchanged by discarding the finite inactive part. Thus a uniform bound , or even a uniform bound on when is bounded, is false for this proposed shadow assignment.
A private fixed-rank family
Let be the odd primes at most , and put . For an integer , let be all products of exactly distinct primes of . Use and .
Every is odd, and is primitive. If belongs to the -cylinder, then , hence . Equal squarefree rank forces . The witnesses are therefore globally private, not just private relative to earlier moduli. Activation is exact at .
One shadow has density
The constants follow from the elementary Euler-product bounds.
Uniformly in and ,
Indeed, write for and use . The elementary symmetric sum is at most . For ,
Substitution bounds its integral by
For , put ; then , whose th power divided by has integral . This proves (3), and hence the bounded mean in (1).
Pair intersections remain large
Let , , , and . The two cylinders require . Their quotient variables in the shadows are respectively and . At the prime , both leading coefficients are odd, so the two forbidden roots coincide. At an odd prime at most , at most two roots are forbidden; at primes between the two cutoffs, at most one is forbidden. A zero leading coefficient gives the constant , and excludes nothing. CRT therefore yields
For detail, the conditional probability given is bounded below by
where the products are over primes. The first product is bounded below by an absolute positive constant times the square of , since the correction ratios form a convergent positive product. The displayed quantity is therefore , proving (4).
Selecting a rank with large gcd energy
Over all pairs of squarefree products of primes from , the sum of is
Normalize these weights to a probability law. At each prime the four states (neither product, first only, second only, both) have weights , independently between primes. If are the two ranks, their difference has independent symmetric increments, with probabilities each for and . Its characteristic function is
Every factor is positive for real . For and large , the product is at least an absolute positive constant. Fourier inversion consequently gives
Also , and the exponential-moment bound at parameter gives
The probability of rank zero for both products is , also negligible. Pigeonholing among the at most positive ranks up to supplies one with
Every member of satisfies . Equations (4)--(5) now give
Together with (2)--(3), this proves (1).
The residues are all the fixed signed center , a solved logarithmic density regime. The construction refutes this specific quadratic shadow charge; it does not refute endpoint nullity, the primitive-type reciprocal sum target, or a different fractional allocation of shadows.