number-theory / Analytic number theory; correlations of multiplicative functions

The two-point Chowla conjecture (ordinary averages)

There is an absolute c>0c>0 such that for all fixed integers a1,a2≥1a_1,a_2\ge1, b1,b2≥0b_1,b_2\ge0 with a1b2≠a2b1a_1b_2\ne a_2b_1, ∣∑n≤Xλ(a1n+b1)λ(a2n+b2)∣≤Ca,bX/(log⁡X)c\left|\sum_{n\le X}\lambda(a_1n+b_1)\lambda(a_2n+b_2)\right|\le C_{a,b}X/(\log X)^c for every real X≥3X\ge3. With a1=a2=1a_1=a_2=1, b1=0b_1=0, b2=hb_2=h this is the ordinary two-point Chowla conjecture with a power-of-log saving. Constants are ineffective, and coefficients may not grow with XX. Nothing is proved for three or more points.

58Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theorySep 24, 2026Significance 58/100Registry: lean checked

The two-point Chowla conjecture (ordinary averages)

Prior state unknown→proved

There is an absolute c>0c>0 such that for all fixed integers a1,a2≥1a_1,a_2\ge1, b1,b2≥0b_1,b_2\ge0 with a1b2≠a2b1a_1b_2\ne a_2b_1, ∣∑n≤Xλ(a1n+b1)λ(a2n+b2)∣≤Ca,bX/(log⁡X)c\left|\sum_{n\le X}\lambda(a_1n+b_1)\lambda(a_2n+b_2)\right|\le C_{a,b}X/(\log X)^c for every real X≥3X\ge3. With a1=a2=1a_1=a_2=1, b1=0b_1=0, b2=hb_2=h this is the ordinary two-point Chowla conjecture with a power-of-log saving. Constants are ineffective, and coefficients may not grow with XX. Nothing is prove…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

There is an absolute c>0c>0 such that for all fixed integers a1,a2≥1a_1,a_2\ge1, b1,b2≥0b_1,b_2\ge0 with a1b2≠a2b1a_1b_2\ne a_2b_1, ∣∑n≤Xλ(a1n+b1)λ(a2n+b2)∣≤Ca,bX/(log⁡X)c\left|\sum_{n\le X}\lambda(a_1n+b_1)\lambda(a_2n+b_2)\right|\le C_{a,b}X/(\log X)^c for every real X≥3X\ge3. With a1=a2=1a_1=a_2=1, b1=0b_1=0, b2=hb_2=h this is the ordinary two-point Chowla conjecture with a power-of-log saving. Constants are ineffective, and coefficients may not grow with XX. Nothing is proved for three or more points.

There is an absolute c>0c>0 such that for all fixed integers a1,a2≥1a_1,a_2\ge1, b1,b2≥0b_1,b_2\ge0 with a1b2≠a2b1a_1b_2\ne a_2b_1, ∣∑n≤Xλ(a1n+b1)λ(a2n+b2)∣≤Ca,bX/(log⁡X)c\left|\sum_{n\le X}\lambda(a_1n+b_1)\lambda(a_2n+b_2)\right|\le C_{a,b}X/(\log X)^c for every real X≥3X\ge3. With a1=a2=1a_1=a_2=1, b1=0b_1=0, b2=hb_2=h this is the ordinary two-point Chowla conjecture with a power-of-log saving. Constants are ineffective, and coefficients may not grow with XX. Nothing is proved for three or more points.

Recorded attempts

Evidence graph

Connected research record

The two-point Chowla conjecture (ordinary averages) — Mathematical Frontier Network