A proof of Kahane's conjecture in the Wiener algebra
Abstract
We prove Kahane's conjecture: if a continuous unimodular function F on the circle satisfies |Fn|A(𝕋)=o(log|n|) as |n|→∞, n∈ℤ, then F(x)=ei(mx+b) for some m∈ℤ and b∈ℝ. The main step is a logarithmic lower bound for averages: for every nonconstant real-valued φ∈ A(𝕋), 1/T∫aa+T|eitφ|A(𝕋)dt ≥ cφlog T (a∈ℝ, T≥ Tφ), where cφ>0 and Tφ>1 are independent of a. The proof uses exact sampling on finite subgroups of the circle, uniformly bounded localized modulations, and the weighted non-harmonic Littlewood inequality of Jaming--Kellay--Saba. A suitable cutoff and a small linear perturbation of the phase ensure that a fixed positive proportion of the coefficients at the beginning of the frequency ordering have modulus one. Passing to integer powers and removing the degree of the circle map yield Kahane's conjecture without any additional smoothness assumptions. We also give equivalent phase, convolution, and operator formulations, and derive consequences for homomorphisms of weighted Wiener algebras and for higher-dimensional tori.
Related
- A closed form for the block-statistic generating function of the 2× n rectangle: the two-row case of Kahane's conjecture
- A Bootstrap Proof of the Abstract Wiener Space Theorem for Fréchet Spaces
- Improved Bounds on the Szeged-Wiener Gap and the BKLPS Conjecture
- A proof of Frenkel's bound for the hyperbolic Kac-Moody Lie Algebra A_1^++
- An odd version of the Grothendieck--Teichmüller Lie algebra and the odd Deligne--Drinfeld conjecture
BibTeX
@misc{ohrysko2026proof,
title = {{A proof of Kahane's conjecture in the Wiener algebra}},
author = {Przemysław Ohrysko},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.14981},
eprint = {2610.14981},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.14981},
}
RIS
TY - UNPB
TI - A proof of Kahane's conjecture in the Wiener algebra
AU - Przemysław Ohrysko
PY - 2026
DA - 2026/10/10
PB - arXiv
DO - 10.48550/arxiv.2610.14981
UR - https://arxiv.org/abs/2610.14981
AB - We prove Kahane's conjecture: if a continuous unimodular function F on the circle satisfies |F^n|_A(𝕋)=o(log|n|) as |n|→∞, n∈ℤ, then F(x)=e^i(mx+b) for some m∈ℤ and b∈ℝ. The main step is a logarithmic lower bound for averages: for every nonconstant real-valued φ∈ A(𝕋), 1/T∫_a^a+T|e^itφ|_A(𝕋)dt ≥ c_φlog T (a∈ℝ, T≥ T_φ), where c_φ>0 and T_φ>1 are independent of a. The proof uses exact sampling on finite subgroups of the circle, uniformly bounded localized modulations, and the weighted non-harmonic Littlewood inequality of Jaming--Kellay--Saba. A suitable cutoff and a small linear perturbation of the phase ensure that a fixed positive proportion of the coefficients at the beginning of the frequency ordering have modulus one. Passing to integer powers and removing the degree of the circle map yield Kahane's conjecture without any additional smoothness assumptions. We also give equivalent phase, convolution, and operator formulations, and derive consequences for homomorphisms of weighted Wiener algebras and for higher-dimensional tori.
ER -