{"id":"arxiv/2609.09740","url":"https://arxiv.org/abs/2609.09740","tags":["math.CA"],"score":0,"title":"Mockenhaupt's Three-Term Hardy-Littlewood Majorant Conjecture","domain":"math.CA","source":"arxiv","authors":["Guancheng Pan","Chengsong You","Hengyu Wang","Junwei Zhou","Wenjun Zhang","Yongchao Chen"],"reviews":0,"subject":"math.CA","summary":"For an integer $k \\ge 0$, let $f_k(x) = 1 + e(x) + e((k+2)x)$ and $g_k(x) = 1 + e(x) - e((k+2)x)$ on $\\mathbb{T} = \\mathbb{R}/\\mathbb{Z}$, where $e(x) = e^{2πi x}$. Mockenhaupt conjectured that $\\|g_k\\|_{L^p(\\mathbb{T})} > \\|f_k\\|_{L^p(\\mathbb{T})}$ whenever $2k < p < 2k+2$. The conjecture was previously known for $k \\le 5$. We give a single analytic proof valid for every $k \\ge 4$; in particular, this settles all previously open cases $k \\ge 6$ and establishes the conjecture for every $k \\ge 0$. The proof reduces the norm comparison to resonant Fourier coefficients on the two-torus and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}