Möbius disjointness conjecture for Furstenberg's flow on ${\mathbb{T}}^{\omega }$ in short intervals

Furstenberg’s flow on the infinite-dimensional torus ${\mathbb{T}}^{\omega }$ is defined by $$T(x_1,x_2,\dots ,x_{\nu },\dots )=(x_1+\alpha ,x_2+h(x_1),\dots ,x_{\nu }+h(x_1+(\nu -2)\beta ),\dots )$$ with $\alpha \in \mathbb{R}$ satisfying certain diophantine conditions, $\beta \in \mathbb{R}\mathrm{\backslash }\mathbb{Q},$ and $h:\mathbb{R}\to \mathbb{R}$ being $1$-periodic and analytic. This flow is irregular in the sense that its Birkhoff average does not exist for some $x\in {\mathbb{T}}^{\omega }$, and it is a generalization of Furstenberg’s irregular flow on ${\mathbb{T}}^2$. The main result of this paper is that the Möbius Disjointness Conjecture of Sarnak holds for the above flow $({\mathbb{T}}^{\omega },T)$ in short intervals $(N-M,N]$ with $N^{5\mathrm{/}8+\epsilon }⩽M⩽N$.