Generalized orthogonality of polynomial correlation sequences

About 1 year old · traced to

Let k∈Nk\in\mathbb{N}, let (X,μ,T)(X,\mu,T) be an invertible measure-preserving system, let P={p1,…,pr}P=\{p_1,\ldots,p_r\} be a set of essentially distinct integral polynomials, let hh be an integral polynomial with h∉WP(P)h\notin \textup{\textsf{{WP}}}(P), and let α∈R∖Q\alpha\in\mathbb{R}\setminus\mathbb{Q}. If g:T→Cg:\mathbb{T}\to\mathbb{C} is Riemann integrable and f0,f1,…,fr∈L∞(μ)f_0,f_1,\ldots,f_r\in L^\infty(\mu), then

Generalized orthogonality conjecture.

lim⁡N→∞1N∑n=1N(g(h(n)α)−∫Tg dλ)∫f0Tp1(n)f1⋯Tpr(n)fr dμ=0.\lim_{N\to\infty}\frac{1}{N}\sum_{n=1}^N\left(g(h(n)\alpha)-\int_{\mathbb{T}}g\,d\lambda\right)\int f_0T^{p_1(n)}f_1\cdots T^{p_r(n)}f_r\,d\mu=0.

The conjecture seeks to extend the Weyl-system orthogonality result to arbitrary invertible measure-preserving systems; the source notes technical complications in lifting the result to nilsystems. The source does not state whether it has been resolved.

References

Primary source

Felipe Hernández, “Multiple Polynomial Recurrence in Weyl Systems”, arXiv:2504.19899 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.