No Arabic abstract
In this paper we give an answer to Furstenbergs problem on topological disjointness. Namely, we show that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if $(X,T)$ is weakly mixing and there is some countable dense subset $D$ of $X$ such that for any minimal system $(Y,S)$, any point $yin Y$ and any open neighbourhood $V$ of $y$, and for any nonempty open subset $Usubset X$, there is $xin Dcap U$ satisfying that ${nin{ mathbb Z}_+: T^nxin U, S^nyin V}$ is syndetic. Some characterization for the general case is also described. As applications we show that if a transitive system $(X,T)$ is disjoint from all minimal systems, then so are $(X^n,T^{(n)})$ and $(X, T^n)$ for any $nin { mathbb N}$. It turns out that a transitive system $(X,T)$ is disjoint from all minimal systems if and only if the hyperspace system $(K(X),T_K)$ is disjoint from all minimal systems.
We provide a criterion for a point satisfying the required disjointness condition in Sarnaks Mobius Disjointness Conjecture. As a direct application, we have that the conjecture holds for any topological model of an ergodic system with discrete spectrum.
We present a definition of stochastic Hamiltonian process on finite graph via its corresponding density dynamics in Wasserstein manifold. We demonstrate the existence of stochastic Hamiltonian process in many classical discrete problems, such as the optimal transport problem, Schrodinger equation and Schrodinger bridge problem (SBP). The stationary and periodic properties of Hamiltonian processes are also investigated in the framework of SBP.
We study the spectral disjointness of the powers of a rank-one transformation. For a large class of rank-one constructions, including those for which the cutting and stacking parameters are bounded, and other examples such as rigid generalized Chacons maps and Katoks map, we prove that different positive powers of the transformation are pairwise spectrally disjoint on the continuous part of the spectrum. Our proof involves the existence, in the weak closure of {U_T^k: k in Z}, of sufficiently many analytic functions of the operator U_T. Then we apply these disjointness results to prove Sarnaks conjecture for the (possibly non-uniquely ergodic) symbolic models associated to these rank-one constructions: All sequences realized in these models are orthogonal to the Mobius function.
We prove that every $mathbb{Z}^{k}$-action $(X,mathbb{Z}^{k},T)$ of mean dimension less than $D/2$ admitting a factor $(Y,mathbb{Z}^{k},S)$ of Rokhlin dimension not greater than $L$ embeds in $(([0,1]^{(L+1)D})^{mathbb{Z}^{k}}times Y,sigmatimes S)$, where $Dinmathbb{N}$, $Linmathbb{N}cup{0}$ and $sigma$ is the shift on the Hilbert cube $([0,1]^{(L+1)D})^{mathbb{Z}^{k}}$; in particular, when $(Y,mathbb{Z}^{k},S)$ is an irrational $mathbb{Z}^{k}$-rotation on the $k$-torus, $(X,mathbb{Z}^{k},T)$ embeds in $(([0,1]^{2^kD+1})^{mathbb{Z}^k},sigma)$, which is compared to a previous result by the first named author, Lindenstrauss and Tsukamoto. Moreover, we give a complete and detailed proof of Takens embedding theorem with a continuous observable for $mathbb{Z}$-actions and deduce the analogous result for $mathbb{Z}^{k}$-actions. Lastly, we show that the Lindenstrauss--Tsukamoto conjecture for $mathbb{Z}$-actions holds generically, discuss an analogous conjecture for $mathbb{Z}^{k}$-actions appearing in a forthcoming paper by the first two authors and Tsukamoto and verify it for $mathbb{Z}^{k}$-actions on finite dimensional spaces.
For a general subcritical second-order elliptic operator $P$ in a domain $Omega subset mathbb{R}^n$ (or noncompact manifold), we construct Hardy-weight $W$ which is optimal in the following sense. The operator $P - lambda W$ is subcritical in $Omega$ for all $lambda < 1$, null-critical in $Omega$ for $lambda = 1$, and supercritical near any neighborhood of infinity in $Omega$ for any $lambda > 1$. Moreover, if $P$ is symmetric and $W>0$, then the spectrum and the essential spectrum of $W^{-1}P$ are equal to $[1,infty)$, and the corresponding Agmon metric is complete. Our method is based on the theory of positive solutions and applies to both symmetric and nonsymmetric operators. The constructed Hardy-weight is given by an explicit simple formula involving two distinct positive solutions of the equation $Pu=0$, the existence of which depends on the subcriticality of $P$ in $Omega$.