Math RefereeOn the Fourier-Walsh spectrum of the Moebius function
Jean Bourgain · Human-authored comparison
The proposed argument
The argument assumes appreciable low-level Walsh mass, applies a noise operator and a low-degree truncation, and transfers this to a correlation of ordinary exponential sums. Minor-arc bounds and major-arc estimates for nonexceptional characters are combined with a separate digit-block analysis of a possible exceptional character. Parameter choices close the contradiction; a monotone-function Fourier concentration input supplies the corollary.
Human-authored longer control. Source-role annotations are attributed source interpretations, not external theorem checks or human mathematical grades.
Reading order
- 01
Main statements and external context
Read the support of the Walsh spectrum and the monotone-function consequence.
- 02
Noise operator and truncation
Track the assumed low-level mass and the decomposition into a bounded-degree part and an error.
- 03
Minor arcs
Use the ordinary exponential-sum bound and the L1 estimate of the truncated Walsh polynomial.
- 04
Major arcs: nonexceptional contributions
Separate the imported character estimates and sieve estimate from the reduction to the exceptional term.
- 05
Major arcs: exceptional character
Trace the binary-block estimates for small and large odd conductor parts, then check the final parameter balance.
Follow the dependencies
Open the full map ↗Select a claim to see its prerequisites and consumers. Edge labels distinguish proof inputs, source references, background and exclusions.
Your independent assessment
Trace the noise decomposition, minor arcs, major-arc imports, exceptional-character argument and parameter balance. Keep standard omitted details, actual gaps, and unverified imported hypotheses distinct.