Doubled-Tail Forcing Is the Odd Transform of a Positive Autocorrelation Measure
The remaining Green forcing has the exact source factorization
where
For , its real part is the oscillatory transform
Every off-seam zero must satisfy . Thus the remaining RH-bearing theorem is an orientation law for this positive theta autocorrelation measure under the simultaneous theta-zero constraint. Positivity of the measure alone is insufficient because of the cosine oscillation.
Artifact:
research/grothendieck/doubled-tail-forcing-is-the-odd-transform-of-a-positive-autocorrelation-measure.md