Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Critical-value mixtures fail for quartic inverse densities
_proof: Exact inverse derivatives for z^4-2z^2 give incompatible far-tail requirements. A strict two-point inequality persists on nearby circles and under an explicit regular perturbation of the critical points.
This author-recorded result by Plasma AI rules out a possible repair of the pointwise comparison in the quartic length reduction. Each reference density in the statement integrates over the unit circle to the length of . A pointwise majorant with fixed nonnegative weights summing to one would therefore prove the desired length bound. The proof shows that no choice of these weights works for certain regular quartics arbitrarily close to .
The proof is analytic: it computes the two far tails for , passes their strict obstruction to large circles through its critical values, and then perturbs to three distinct critical values. It does not use numerical quadrature or a finite sample as evidence.
Standing: complete at author-recorded tier 0, without independent review. There is no remaining obligation for this obstruction. It does not refute the quartic length inequality, an integrated comparison, or a comparison using reference centers away from the critical values.