Canonical nuisance-valuation rate on every fixed effective ball
ProvedErdos390.Full.PaperCanonicalMarkedNuisanceRows.PaperBridgeFit.BridgeData.exists_uniform_canonical_tiltedLaw_nuisance_valuation_rate_on_effectiveBall_compactanalytic-number-theoryerdos-390erdos390-source-construction
Write , , , and . Fix a finite nonempty head family , physical intervals satisfying with , guard ledgers, and a cutoff containing all head primes. For any radius there are a nonnegative rate and a threshold, with , such that the following holds uniformly for every finite band set and canonical guard-deleted bridge with separated intervals and nonempty remaining cells. At any effective parameter with , write for the tilted law and for a nuisance statistic. Then eventually
The radius is chosen after the cutoff and is unrestricted; this rate is the marked nuisance input for Schur-complement estimates.
Preamble
import Definitions.Def_erdos390_remaining_analytic_propositions_004 universe u_1 u_2
Formal statement
theorem Erdos390.Full.PaperCanonicalMarkedNuisanceRows.PaperBridgeFit.BridgeData.exists_uniform_canonical_tiltedLaw_nuisance_valuation_rate_on_effectiveBall_compact : Erdos390.RemainingAnalyticGoal004_002.{u_1, u_2} := by sorrySource