Uniform Convergence of Cesaro Averages for Uniquely Ergodic C^*-Dynamical Systems

Abstract

Consider a uniquely ergodic $C^{*}$-dynamical system based on a unital *-endomorphism $\Phi$ of a $C^{*}$-algebra. We prove the uniform convergence of Cesaro averages $\frac{1}{n}{\sum }_{k=0}^{n-1}{\lambda }^{-n}\Phi \left(a\right)$ for all values $\lambda$ in the unit circle, which are not eigenvalues corresponding to “measurable non-continuous” eigenfunctions. This result generalizes an analogous one, known in commutative ergodic theory, which turns out to be a combination of the Wiener–Wintner theorem and the uniformly convergent ergodic theorem of Krylov and Bogolioubov.

1. Introduction

Motivated by the question of justifying the thermodynamical laws with the microscopic principles of statistical mechanics (i.e., the so-called ergodic hypothesis), the investigation of the ergodic properties of classical (i.e., commutative) dynamical systems has a long history.

Indeed, given a classical dynamical system $(X,T,\mu )$, where X is a compact space, $T:X\to X$ a continuous map, and finally, $\mu$ an invariant probability measure under the natural action of T, the classical ergodic theory primarily deals with the long time behavior of the Cesaro means (ergodic averages)

$$M_n\left(f\right):=\frac{1}{n}\sum _{k=0}^{n-1}f\circ T^k,f\in C\left(X\right),n\in \mathbb{N},$$

of continuous functions, or more generally of any measurable function f w.r.t. the $\sigma$-algebra generated by the $\mu$-measurable sets.

Among the most famous classical ergodic theorems, we mention the Birkhoff individual ergodic theorem concerning the study of the point-wise limit ${lim}_{n\to +\infty }{M}_n\left(f\right)\left(x\right)$ and the von Neumann mean ergodic theorem concerning the limit ${\mathrm{L}}^2-{lim}_{n\to +\infty }{M}_n\left(f\right)$, whenever f is square-summable.

The quantity of results obtained in the commutative setting is too huge to summarize an exhaustive description. However, a standard reference, dealing mainly with the classical case, is [1]. We also mention several unconventional ergodic theorems (e.g., [2]), which play a fundamental role in number theory.

Most of the known ergodic results concern the so-called $W^{*}$-setting, which roughly speaking involve the functions in the commutative $W^{*}$-algebra $L^{\infty }(X,\mathrm{d}\mu )={\pi }_{\mu }{\left(C\left(X\right)\right)}^{″}$; see, e.g., Theorem III.1.2 in [3].

At the same way, also the investigation of the uniform convergence of ergodic averages (i.e., involving directly continuous functions in the commutative $C^{*}$-algebra $C\left(X\right)$) is of great interest.

Among such kind of results, we mention the following one relative to the so-called uniquely ergodic dynamical systems. The classical dynamical system $(X,T)$ is said to be uniquely ergodic if there exists a unique probability Radon measure $\mu$, which is invariant under the action of the transformation T. It was proven in [4] that $(X,T)$ is uniquely ergodic if and only if, for the Cesaro average of any $f\in C\left(X\right)$,

$$\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}f\circ T^k={\int }_{X}f\mathrm{d}\mu ,$$

uniformly. In [5], the last result was generalized to averages of the form

$$\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}{\lambda }^{-k}f\circ T^k,$$

for certain $\lambda$ in the unit circle $\mathbb{T}$.

With the impetuous growth of quantum physics, it was natural to address the systematic investigation of ergodic properties of quantum (i.e., noncommutative) dynamical systems. On the other hand, the situation in the quantum setting appears rather more complicated than the classical situation. Typically, one must provide all statements in terms of the dual concept of “functions” instead of “points”. Therefore, algebras of functions are replaced by general $C^{*}$ or $W^{*}$-algebras $\mathfrak{A}$, and the action on functions ${\Phi }_T\left(f\right):=f\circ T$ of the transformation T is replaced by that of a positive linear map $\Phi :\mathfrak{A}\to \mathfrak{A}$ acting directly on elements of $\mathfrak{A}$. Concerning some general ergodic properties of noncommutative dynamical systems, the reader is referred to [6] and the literature cited therein.

The systematic study of some natural generalizations of ergodic properties to the quantum case has been carried out in the seminal paper [7]. The reader is also referred to [8,9,10,11] for some quantum versions of unconventional (called also “entangled”) ergodic theorems and to [12,13,14] for the investigation of the strong ergodic properties of dynamical systems arising from free probability and generalizing the unique ergodicity. Some natural applications of ergodic results to quantum probability are also carried out; see [15] and the references cited therein.

The goal of the present note is to provide the quantum generalization of the interesting result proven in [5] involving the uniform convergence of Cesaro averages relative to uniquely ergodic quantum dynamical systems “continuous” eigenfunctions. This result can be considered a combination of the Wiener–Wintner theorem (cf. [16]) and the uniformly convergent ergodic theorem of Krylov and Bogolioubov (cf. [4]).

More precisely, let $(\mathfrak{A},\Phi ,\phi )$ be a uniquely ergodic $C^{*}$-dynamical system based on a unital $C^{*}$-algebra and a unital *-homomorphism $\Phi :\mathfrak{A}\to \mathfrak{A}$ with $\phi \in \mathcal{S}\left(\mathfrak{A}\right)$ as the unique invariant state. Consider the covariant Gelfand–Naimark–Segal representation $\left({\mathcal{H}}_{\phi },{\pi }_{\phi },V_{\phi ,\Phi },{\xi }_{\phi }\right)$ associated with the state $\phi$, together with the peripheral pure-point spectra (see below for the definition) ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$ and ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$ of $\Phi$ and the isometry $V_{\phi ,\Phi }\in \mathcal{B}\left({\mathcal{H}}_{\phi }\right)$, respectively. We see that ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )\subset {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$, but in general, they are different. Put for $a\in \mathfrak{A}$ and $\lambda \in \mathbb{T}$,

$$M_{a,\lambda }\left(n\right):=\frac{1}{n}\sum _{k=0}^{n-1}{\lambda }^{-k}{\Phi }^k\left(a\right),n\in \mathbb{N}.$$

(1)

We show that, in the norm topology of $\mathfrak{A}$ (compare with Proposition 3.2 in [7]),

(i)

if $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$, then $M_{a,\lambda }\left(n\right)\to \phi \left(u_{\lambda }^{*}a\right)u_{\lambda }$, where $u_{\lambda }\in \mathfrak{A}$ is a unitary eigenvector (i.e., a “continuous eigenfunction” in the language of [5]) corresponding to $\lambda$, which is uniquely determined up to a phase-factor;

(ii)

if $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}{\left(V_{\phi ,\Phi }\right)}^{\mathrm{c}}$ (i.e., $\lambda$ does not admit any nontrivial “measurable eigenfunction” in the language of [5]), then $M_{a,\lambda }\left(n\right)\to 0$.

We end the paper with some example based on the tensor product, which is however nontrivial, of an Anzai skew product (cf. [17]) and a uniquely mixing noncommutative dynamical system, for which the sequence ${\left\{M_{a,\lambda }\left(n\right)\right\}}_{n\in \mathbb{N}}$ does not converge for some $a\in \mathfrak{A}$ and $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)\backslash {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$.

2. Preliminaries

With $\mathbb{T}:=\{\lambda \in \mathbb{C}\mid |\lambda |=1\}$, we denote the unit circle of the complex plane. It is homeomorphic to the interval $[0,2\pi )$ by $\theta \in [0,2\pi )\mapsto e^{-ı\theta }$, after identifying the end-points zero and $2\pi$.

A (discrete) $C^{*}$-dynamical system is a triplet $(\mathfrak{A},\Phi ,\phi )$ consisting of a $C^{*}$-algebra, a positive map $\Phi :\mathfrak{A}\to \mathfrak{A}$, and a state $\phi \in \mathcal{S}\left(\mathfrak{A}\right)$ such that $\phi \circ \Phi =\phi$. Consider the Gelfand–Naimark–Segal (GNS for short) representation $\left({\mathcal{H}}_{\phi },{\pi }_{\phi },{\xi }_{\phi }\right)$; see, e.g., [3]. If in addition

$$\phi \left(\Phi {\left(a\right)}^{*}\Phi \left(a\right)\right)\le \phi \left(a^{*}a\right),a\in \mathfrak{A},$$

then there exists a unique linear contraction $V_{\phi ,\Phi }\in \mathcal{B}\left({\mathcal{H}}_{\phi }\right)$ such that $V_{\phi ,\Phi }{\xi }_{\phi }={\xi }_{\phi }$ and

$$V_{\phi ,\Phi }{\pi }_{\phi }\left(a\right){\xi }_{\phi }={\pi }_{\phi }(\Phi \left(a\right)){\xi }_{\phi },a\in \mathfrak{A}.$$

The quadruple $\left({\mathcal{H}}_{\phi },{\pi }_{\phi },V_{\phi ,\Phi },{\xi }_{\phi }\right)$ is called the covariant GNS representation associated with the triplet $(\mathfrak{A},\Phi ,\phi )$.

If $\Phi$ is multiplicative, hence a *-homomorphism, then $V_{\phi ,\Phi }$ is an isometry with final range $V_{\phi ,\Phi }{V}_{\phi ,\Phi }^{*}$, the orthogonal projection onto the subspace $\overline{{\pi }_{\phi }(\Phi \left(\mathfrak{A}\right)){\xi }_{\phi }}$; see, e.g., Lemma 2.1 of [7].

For the $C^{*}$-dynamical system $(\mathfrak{A},\Phi ,\phi )$, the case when $\mathfrak{A}$ is a unital $C^{*}$-algebra with unity $1\mathrm{I}\equiv 1{\mathrm{I}}_{\mathfrak{A}}$, and $\Phi$ is multiplicative and identity-preserving, i.e., a unital *-homomorphism, is of primary importance. Indeed, denote by ${\mathfrak{A}}^{\Phi }:=\left\{a\in \mathfrak{A}\mid \Phi \left(a\right)=a\right\}$ the fixed-point subalgebra, and

$${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi ):=\left\{\lambda \in \mathbb{T}\mid \lambda \mathrm{is}\mathrm{an}\mathrm{eigenvalue}\mathrm{of}\Phi \right\}$$

the set of the peripheral eigenvalues of $\Phi$ (i.e., the peripheral pure-point spectrum), with ${\mathfrak{A}}_{\lambda }$ the relative eigenspaces. Obviously, $1\mathrm{I}\in {\mathfrak{A}}^{\Phi }={\mathfrak{A}}_1$.

For $\xi \in {\mathcal{H}}_{\phi }$ and $n\in \mathbb{Z}$, consider the sequence

$$\widehat{{\mu }_{\xi }}\left(n\right):=\{\begin{array}{cc}\langle V_{\phi ,\Phi }^n\xi ,\xi \rangle \hfill & \mathrm{if}n\ge 0,\hfill \\ \overline{\langle V_{\phi ,\Phi }^n\xi ,\xi \rangle }& \mathrm{if}n<0.\end{array}$$

Proposition 1.

For each $\xi \in {\mathcal{H}}_{\phi }$, the sequence ${\left\{\widehat{{\mu }_{\xi }}\left(n\right)\right\}}_{n\in \mathbb{Z}}$ is positive definite, and therefore, it is the Fourier transform of a positive bounded Radon measure ${\mu }_{\xi }$ on the unit circle $\mathbb{T}$.

Proof. 

Since $\Phi$ is multiplicative, $V_{\phi ,\Phi }$ is an isometry. Consider its Sz-Nagy dilation (cf. [18])

$$V=\left(\begin{array}{cc}{V}_{\phi ,\Phi }& I_{{\mathcal{H}}_{\phi }}-V_{\phi ,\Phi }{V}_{\phi ,\Phi }^{*}\\ 0& -V_{\phi ,\Phi }^{*}\end{array}\right)$$

acting on the direct sum ${\mathcal{H}}_{\phi }\oplus {\mathcal{H}}_{\phi }$, together with its spectral resolution (e.g., [19])

$$V={\int }_0^{2\pi }{e}^{-ın\theta }\mathrm{d}E\left(\theta \right),$$

and finally the vector

$${\eta }_{\xi }=\left(\begin{array}{c}\xi \\ 0\end{array}\right)\in {\mathcal{H}}_{\phi }\oplus {\mathcal{H}}_{\phi }.$$

Notice that

$$\widehat{{\mu }_{\xi }}\left(n\right)={\int }_0^{2\pi }{e}^{-ın\theta }\mathrm{d}\langle E\left(\theta \right){\eta }_{\xi },{\eta }_{\xi }\rangle ,$$

and therefore, $\widehat{{\mu }_{\xi }}\left(n\right)$ is the Fourier transform of the positive bounded Radon measure ${\mu }_{\xi }=\mathrm{d}\langle E\left(\theta \right){\eta }_{\xi },{\eta }_{\xi }\rangle$ on the unit circle. □

Consider the pure-point peripheral spectrum

$${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right):=\left\{\lambda \in \mathbb{T}\mid \lambda \mathrm{is}\mathrm{an}\mathrm{eigenvalue}\mathrm{of}{V}_{\phi ,\Phi }\right\}$$

of $V_{\phi ,\Phi }$. Denote with $P_{\lambda }\in \mathcal{B}\left({\mathcal{H}}_{\phi }\right)$ the orthogonal projection onto the eigenspace generated by the eigenvectors associated with $\lambda \in \mathbb{T}$, with the convention $P_{\lambda }=0$ if $\lambda \notin {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$.

With an abuse of language, ${\mu }_{\xi }$ is the spectral measure of $V_{\phi ,\Phi }$ relative to $\xi \in {\mathcal{H}}_{\phi }$. Therefore, if $\lambda =e^{-ı\theta }\in \mathbb{T}$, then ${\mu }_{\xi }\left(\left\{\theta \right\}\right)={\parallel P_{\lambda }\xi \parallel }^2$.

The $C^{*}$-dynamical system $(\mathfrak{A},\Phi )$ made of a unital $C^{*}$-algebra $\mathfrak{A}$ and an identity-preserving completely positive map $\Phi :\mathfrak{A}\to \mathfrak{A}$ is said to be uniquely ergodic if there exists only one invariant state $\phi$ for the dynamics induced by $\Phi$. For a uniquely ergodic $C^{*}$-dynamical system, we simply write $(\mathfrak{A},\Phi ,\phi )$ by pointing out that $\phi \in \mathcal{S}\left(\mathfrak{A}\right)$ is the unique invariant state.

From now on, we specialize the situation to the case when $\Phi$ is a unital *-homomorphism of the unital $C^{*}$-algebra $\mathfrak{A}$.

For the sake of completeness, we collect some standard results, which are probably known to the experts.

Proposition 2.

Let the $C^{*}$-dynamical system $(\mathfrak{A},\Phi ,\phi )$ be uniquely ergodic. Then, ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$ is a subgroup of $\mathbb{T}$, and all corresponding eigenspaces ${\mathfrak{A}}_{\lambda }$, $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$, have dimension one and are generated by a single unitary $u_{\lambda }$.

Proof. 

Since $(\mathfrak{A},\Phi ,\phi )$ is uniquely ergodic, we have for the ergodic average,

$$\frac{1}{n}\sum _{k=0}^{n-1}{\Phi }^k\left(a\right)⟶\phi \left(a\right)1\mathrm{I},a\in \mathfrak{A},$$

uniformly, where $\phi$ is the unique invariant state. Suppose $a\in {\mathfrak{A}}^{\Phi }$. We get $a=\frac{1}{n}{\sum }_{k=0}^{n-1}{\Phi }^k\left(a\right)⟶\phi \left(a\right)1\mathrm{I}$, and thus, a is a multiple of the identity.

Fix now $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$ and $a,b\in {\mathfrak{A}}_{\lambda }\backslash \left\{0\right\}$. Then, $a^{*}b=\alpha 1\mathrm{I}$ and $b{a}^{*}=\beta 1\mathrm{I}$ for some numbers $\alpha ,\beta$. Suppose $\alpha =0$. Since $a{a}^{*}$ is a non-null multiple, say c, of the identity, we have $a{a}^{*}b=0$, which means $b=0$, a contradiction. At the same way, we verify $b{a}^{*}\ne 0$. Now, ${\alpha }^{-1}{a}^{*}$ and ${\beta }^{-1}{a}^{*}$ are left and right inverses of b. This means that b is invertible and $b^{-1}={\alpha }^{-1}{a}^{*}$. At the same way, a is invertible, as well. Moreover, $a{b}^{-1}={\alpha }^{-1}a{a}^{*}={\alpha }^{-1}cI$. This means $a={\alpha }^{-1}cb$, that is a is a multiple of b. Since $a{a}^{*}=cI$, we argue that ${\mathfrak{A}}_{\lambda }=\mathbb{C}{u}_{\lambda }$ for the unitary $u_{\lambda }=c^{-1/2}a$.

Let now ${\lambda }_j\in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$ with $u_{{\lambda }_j}$ unitaries in ${\mathfrak{A}}_{{\lambda }_j}$, $j=1,2$. First, $u_{{\lambda }_j}^{*}$ is a unitary eigenvector corresponding to ${\lambda }_j^{-1}$ because $\Phi$ is a real map. Second, $u_{{\lambda }_1}{u}_{{\lambda }_2}$ is a unitary eigenvector corresponding to ${\lambda }_1{\lambda }_2$ because $\Phi$ is multiplicative. □

Corollary 1.

Let the $C^{*}$-dynamical system $(\mathfrak{A},\Phi ,\phi )$ be uniquely ergodic. Then, ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )\subset {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$.

Proof. 

Fix $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$, together with a unitary eigenvector $u_{\lambda }\in {\mathfrak{A}}_{\lambda }$, which exists by the previous proposition. For ${\eta }_{\lambda }:={\pi }_{\phi }\left(u_{\lambda }\right){\xi }_{\phi }\in {\mathcal{H}}_{\phi }$, first, we get $V_{\phi ,\Phi }{\eta }_{\lambda }=\lambda {\eta }_{\lambda }$, and second, $\parallel {\eta }_{\lambda }{\parallel }^2=\phi \left(u_{\lambda }^{*}{u}_{\lambda }\right)=1$. □

The key-point of our analysis is the following result, which is nothing but the noncommutative version of Lemma 2.1 in [5].

Lemma 1.

Consider the uniquely ergodic $C^{*}$-dynamical system $(\mathfrak{A},\Phi ,\phi )$, together with a sequence of states ${\left\{{\omega }_n\right\}}_{n\in \mathbb{N}}\subset \mathcal{S}\left(\mathfrak{A}\right)$. Then, for each $a\in \mathfrak{A}$ and $\lambda =e^{-ı\theta }$,

$${\mu }_{{\pi }_{\phi }\left(a\right){\xi }_{\phi }}{\left(\left\{\theta \right\}\right)}^{1/2}\ge \underset{n}{lim\; sup}\frac{1}{n}\left|\sum _{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|.$$

Proof. 

With $\lambda =e^{-ı\theta }$, consider the $C^{*}$-tensor product $C\left(T\right)\otimes \mathfrak{A}\equiv C(T;\mathfrak{A})$ together with the *-homomorphism $\tilde{\Phi }:C(\mathbb{T};\mathfrak{A})\to C(T;\mathfrak{A})$ given by

$$\tilde{\Phi }\left(f\right)\left(s\right):=\Phi \left(f(s+\theta )\right),f\in C(\mathbb{T};\mathfrak{A}),\theta \in [0,2\pi ).$$

For ${\left\{{\omega }_n\right\}}_{n\in \mathbb{N}}\subset \mathcal{S}\left(\mathfrak{A}\right)$, let ${\left\{\widetilde{{\omega }_n}\right\}}_{n\in \mathbb{N}}\subset \mathcal{S}\left(C(\mathbb{T};\mathfrak{A})\right)$ be the sequence of states given by

$$\begin{array}{cc}\hfill \widetilde{{\omega }_n}\left(f\right):=& \left(\frac{1}{n}\sum _{k=0}^{n-1}({\delta }_0\otimes {\omega }_n)\circ {\tilde{\Phi }}^k\right)\left(f\right)\hfill \\ \hfill =& \left(\frac{1}{n}\sum _{k=0}^{n-1}{\delta }_{k\theta }\otimes \left({\omega }_n\circ {\Phi }^k\right)\right)\left(f\right)\hfill \\ \hfill =& \frac{1}{n}\sum _{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(f\left(k\theta \right)\right)\right).\hfill \end{array}$$

Notice that for the function $f\left(s\right):=a{e}^{ıs}\in C(\mathbb{T};\mathfrak{A})$,

$$\widetilde{{\omega }_n}\left(f\right)=\frac{1}{n}\sum _{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}.$$

Let ${\left\{n_j\right\}}_{j\in \mathbb{N}}\subset \mathbb{N}$ be a subsequence such that

$$\underset{n}{lim\; sup}\frac{1}{n}\left|\sum _{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|=\underset{j}{lim}\frac{1}{n_j}\left|\sum _{k=0}^{n_j-1}{\omega }_{n_j}\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|,$$

and consider any *-weak limit point $\tilde{\omega }$ of the sequence ${\left\{\widetilde{{\omega }_{n_j}}\right\}}_{j\in \mathbb{N}}$, which exists by the Banach Alaoglu theorem, see, e.g., [19], Theorem 4.21. By passing to a subsequence if necessary, we get

$$|\tilde{\omega }\left(f\right)|=\underset{j}{lim}\frac{1}{n_j}\left|\sum _{k=0}^{n_j-1}{\omega }_{n_j}\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|.$$

Let $\omega \in \mathcal{S}\left(\mathfrak{A}\right)$ be the marginal of $\tilde{\omega }$ defined on constant functions $f_a\left(s\right):=a$ by

$$\omega \left(a\right):=\tilde{\omega }\left(f_a\right),a\in \mathfrak{A}.$$

By construction, $\tilde{\omega }$ is invariant under $\tilde{\Phi }$. Therefore, $\omega$ is invariant under $\Phi$, as well, which means $\omega =\phi$ because $(\mathfrak{A},\Phi ,\phi )$ is uniquely ergodic.

Let $\left({\mathcal{H}}_{\tilde{\omega }},{\pi }_{\tilde{\omega }},V_{\tilde{\omega },\tilde{\Phi }},{\xi }_{\tilde{\omega }}\right)$ be the covariant GNS representation associated with $\tilde{\omega }$. By computing as in Lemma 2.1 of [5], we then conclude for the spectral measures associated with $V_{\tilde{\omega },\tilde{\Phi }}$ and $V_{\phi ,\Phi }$,

$${\mu }_{{\pi }_{\tilde{\omega }}\left(f\right){\xi }_{\tilde{\omega }}}\left(\left\{0\right\}\right)={\mu }_{{\pi }_{\phi }\left(a\right){\xi }_{\phi }}\left(\left\{\theta \right\}\right).$$

Therefore, with $P_{\mathrm{const}}\in \mathcal{B}\left({\mathcal{H}}_{\tilde{\omega }}\right)$, the orthogonal projection onto the one-dimensional subspace $\mathbb{C}1{\mathrm{I}}_{C(T;\mathfrak{A})}=\mathbb{C}\otimes 1{\mathrm{I}}_{\mathfrak{A}}$,

$$\begin{array}{cc}\hfill {\mu }_{{\pi }_{\phi }\left(a\right){\xi }_{\phi }}{\left(\left\{\theta \right\}\right)}^{1/2}=& {\mu }_{{\pi }_{\tilde{\omega }}\left(f\right){\xi }_{\tilde{\omega }}}{\left(\left\{0\right\}\right)}^{1/2}=\parallel P_1\left(f\right)\parallel \ge \parallel P_{\mathrm{const}}\left(f\right)\parallel \hfill \\ \hfill =& |\tilde{\omega }\left(f\right)|=\underset{n}{lim\; sup}\frac{1}{n}\left|\sum _{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|.\hfill \end{array}$$

 □

3. The Main Result

The present section is devoted to the following ergodic result we want to prove. Denote with ${\chi }_S$ the characteristic function of the subset $S\subset X$ by

$${\chi }_S\left(x\right):=\left\{\begin{array}{cc}1\hfill & \mathrm{if}x\in S,\hfill \\ 0\hfill & \mathrm{if}x\in S^c:=X\backslash S.\hfill \end{array}\right.$$

Theorem 1.

Let $(\mathfrak{A},\Phi ,\phi )$ be a uniquely ergodic $C^{*}$-dynamical system. Fix $\lambda \in X:={\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )\bigcup \left(\mathbb{T}\backslash {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)\right)$. Then, for each $a\in \mathfrak{A}$,

$$\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}{\Phi }^k\left(a\right){\lambda }^{-k}={\chi }_{{\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )}\left(\lambda \right)\phi \left(u_{\lambda }^{*}a\right)u_{\lambda },$$

uniformly for $n\to +\infty$, where $u_{\lambda }\in {\mathfrak{A}}_{\lambda }$ is any unitary eigenvalue corresponding to $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$.

Proof. 

First consider the case $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$, and take a unitary eigenvector $u_{\lambda }\in {\mathfrak{A}}_{\lambda }$. Since $\Phi$ is multiplicative, we have

$$\phi \left(u_{\lambda }^{*}a\right)u_{\lambda }=u_{\lambda }\underset{n}{lim}\left(\frac{1}{n}\sum _{k=0}^{n-1}{\Phi }^k\left(u_{\lambda }^{*}a\right)\right)=\underset{n}{lim}\left(\frac{1}{n}\sum _{k=0}^{n-1}{\Phi }^k\left(a\right){\lambda }^{-k}\right).$$

Let now $\lambda \notin {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$, and suppose $\frac{1}{n}{\sum }_{k=0}^{n-1}{\Phi }^k\left(a\right){\lambda }^{-k}\nrightarrow 0$ uniformly. Then, there would exist a sequence of states states ${\left\{{\omega }_n\right\}}_{n\in \mathbb{N}}\subset \mathcal{S}\left(\mathfrak{A}\right)$ such that for $\lambda =e^{-ı\theta }$, ${lim\; sup}_n\frac{1}{n}\left|{\sum }_{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|>0$. By Lemma 1,

$${\mu }_{{\pi }_{\phi }\left(a\right){\xi }_{\phi }}{\left(\left\{\theta \right\}\right)}^{1/2}\ge \underset{n}{lim\; sup}\frac{1}{n}\left|\sum _{k=0}^{n-1}{\omega }_n\left({\Phi }^k\left(a\right)\right){\lambda }^{-k}\right|>0$$

which contradicts $\lambda \notin {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$. □

We end by constructing simple noncommutative examples for which ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )⊊{\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)$ by tensoring a uniquely mixing (see [12]) noncommutative $C^{*}$-dynamical system $(\mathfrak{B},\gamma ,\omega )$ based on the *-automorphism $\gamma :\mathfrak{B}\to \mathfrak{B}$, with some Anzai skew product (cf. [17]) as those described in Section 3 of [5].

Consider the free group ${\mathbb{F}}_{\mathbb{Z}}$ on infinitely many generators ${\left\{g_j\right\}}_{j\in \mathbb{Z}}$, together with the one-step shift $g_j\mapsto g_{j+1}$ acting on the generators. Such a shift induces an action of the group of the integers $\mathbb{Z}$ on the reduced group $C^{*}$-algebra $C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right)$ generated by all powers of the corresponding *-automorphism $\gamma \left(\lambda \left(g_j\right)\right):=\lambda \left(g_{j+1}\right)$, ${\left\{\lambda \left(g_j\right)\right\}}_{j\in \mathbb{Z}}\subset C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right)$ being the unitary generators of the reduced group $C^{*}$-algebra. Here, we have denoted by "$\lambda$" the left regular representation of the discrete group ${\mathbb{F}}_{\mathbb{Z}}$ on ${\ell }^2\left({\mathbb{F}}_{\mathbb{Z}}\right)$. The left regular representation also realises, up to unitary equivalence, the GNS representation of the reduced group $C^{*}$-algebra associated to the canonical trace.

It was shown in Corollary 3.3 of [12] that the $C^{*}$-dynamical system $\left(C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right),\gamma \right)$ is uniquely mixing, and thus uniquely ergodic with the canonical trace $\tau$ as the unique invariant state.

Denote by $\left({\mathcal{H}}_{\tau },{\pi }_{\tau },V_{\tau ,\gamma },{\xi }_{\tau }\right)$ the GNS covariant representation associated with $\left(C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right),\gamma ,\tau \right)$. In particular, we have ${\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\tau ,\gamma }\right)=\left\{1\right\}$ (Here, we have denoted by “$\lambda$” the left regular representation of the discrete group ${\mathbb{F}}_{\mathbb{Z}}$ on ${\ell }^2\left({\mathbb{F}}_{\mathbb{Z}}\right)$. The left regular representation also realizes, up to unitary equivalence, the GNS representation of the reduced group $C^{*}$-algebra associated with the canonical trace.).

Let $(\mathfrak{A},\alpha ,\phi )$ be the tensor product $C^{*}$-dynamical system, where

$$\mathfrak{A}:=C\left({\mathbb{T}}^2;C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right)\right)\sim C\left({\mathbb{T}}^2\right)\otimes C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right),$$

$$\alpha \left(f\right)\left(\mathbf{s}\right):=\gamma \left(f\left(T\mathbf{s}\right)\right),\mathbf{s}=(s_1,s_2)\in {\mathbb{T}}^2,f\in C\left({\mathbb{T}}^2;C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right)\right),$$

and finally

$$\phi \left(f\right):=\left(\int \otimes \tau \right)\left(f\right)={\int }_{{\mathbb{T}}^2}\tau \left(f\left(\mathbf{s}\right)\right)\mathrm{d}{}^2\mathbf{s}/4{\pi }^2,f\in C\left({\mathbb{T}}^2;C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right)\right).$$

Here, $\mathit{s}=(s_1,s_2)\in {[0,2\pi )}^2\sim {\mathbb{T}}^2$, and $T(s_1,s_2)=(R_{\theta }{s}_1,h\left(s_1\right)+s_2)$ is the Anzai skew product corresponding to the rotation $R_{\theta }$ of the angle $\theta \in [0,2\pi )$ such that $\theta /2\pi$ is irrational, and to the continuous function $h:\mathbb{T}\to \mathbb{T}$.

Proposition 3.

If the Anzai skew product T is uniquely ergodic, then the above $C^{*}$-dynamical system $(\mathfrak{A},\alpha ,\phi )$ is uniquely ergodic, as well.

In addition, there exist Anzai skew products T such that ${\sigma }_{\mathrm{pp}}\left(\alpha \right)⊊{\sigma }_{\mathrm{pp}}\left(V_{\phi ,\alpha }\right)$, and the limit

$$\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}{\alpha }^k\left(a\right){\lambda }^{-k}$$

fails to exist in the weak topology, for some $a\in \mathfrak{A}$ and $\lambda \in {\sigma }_{\mathrm{pp}}\left(V_{\phi ,\alpha }\right)\backslash {\sigma }_{\mathrm{pp}}\left(\alpha \right)$.

Proof. 

Since $\left(C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right),\gamma ,\tau \right)$ is uniquely mixing and the Anzai skew product $({\mathbb{T}}^2,T,\mathrm{d}{}^2\mathit{s}/4{\pi }^2)$ is supposed to be uniquely ergodic, by Theorem 3.7 of [20], we argue that $(\mathfrak{A},\alpha ,\phi )$ is uniquely ergodic.

Notice that ${\sigma }_{\mathrm{pp}}\left(\gamma \right)=\left\{1\right\}={\sigma }_{\mathrm{pp}}\left(V_{\tau ,\gamma }\right)$. Therefore, by Lemma 4.17 of [21], each eigenvector ${\eta }_{\lambda }\in {\mathcal{H}}_{\phi }=L^2\left({\mathbb{T}}^2,\mathrm{d}{}^2\mathit{s}/4{\pi }^2;{\mathcal{H}}_{\tau }\right)$ corresponding to the eigenvalue $\lambda \in {\sigma }_{\mathrm{pp}}\left(V_{\phi ,\alpha }\right)$ is of the form $u_{\lambda }\left(\mathit{s}\right){\xi }_{\tau }$ for some unitary function $u_{\lambda }\in L^2\left({\mathbb{T}}^2,\mathrm{d}{}^2\mathit{s}/4{\pi }^2\right)$ (i.e., a measurable eigenvector in the language of [5]), which is an eigenvector of the Anzai skew-product (i.e., $u_{\lambda }\left(T\mathit{s}\right)=\lambda u_{\lambda }\left(\mathit{s}\right)$) corresponding to the same value of $\lambda$. If moreover, $u_{\lambda }\in C\left({\mathbb{T}}^2\right)$ (i.e., a continuous eigenvector in the language of [5]), then $\lambda \in {\sigma }_{\mathrm{pp}}\left({\beta }_T\right)$, ${\beta }_T$ being the dual action of T on functions: ${\beta }_T\left(f\right)\left(\mathit{s}\right)=f\left(T\mathit{s}\right)$. Summarizing, we have

$${\sigma }_{\mathrm{pp}}\left({\beta }_T\right)={\sigma }_{\mathrm{pp}}\left(\alpha \right)\subset {\sigma }_{\mathrm{pp}}\left(V_{\phi ,\alpha }\right)={\sigma }_{\mathrm{pp}}\left(V_{\int ,{\beta }_T}\right).$$

In order to check the latter assertion, it is enough to consider an Anzai skew product and a continuous function $f\in C\left({\mathbb{T}}^2\right)$ as in Proposition 3.1 of [5], such that

$$\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}f\left(T^k\mathbf{t}\right){\lambda }^{-k}$$

fails to exist for the point $\mathit{t}\in {\mathbb{T}}^2$ and $\lambda \in \mathbb{T}$. Therefore, for the element $F\left(\mathit{s}\right):=f\left(\mathit{s}\right)1{\mathrm{I}}_{C_{\mathrm{red}}^{*}\left({\mathbb{F}}_{\mathbb{Z}}\right)}\in \mathfrak{A}$ and state $\omega :={\delta }_{\mathit{t}}\otimes \tau \in \mathcal{S}\left(\mathfrak{A}\right)$, we get

$$\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}\omega \left(\alpha \left(F\right)\right){\lambda }^{-k}=\underset{n}{lim}\frac{1}{n}\sum _{k=0}^{n-1}f\left(T^k\mathbf{t}\right){\lambda }^{-k}$$

which fails to exist. □

4. Conclusions

The possibility to address various generalizations of ergodic results to the quantum case is usually an improbate task. Concerning the present argument, it was still possible to extend the classical result mutatis-mutandis to the quantum situation. However, the following (stimulating in the opinion of the author) problems remain open:

• investigate under which conditions the average (1) still converge, even for $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)\backslash {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$;
• extend our main result (i.e., Theorem 1) to general positive maps $\Phi :\mathfrak{A}\to \mathfrak{A}$ acting on the $C^{*}$-algebra $\mathfrak{A}$;
• provide more complex (i.e., which do not merely come from a tensor product construction) examples for which the average (1) does not converge for some $\lambda \in {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}\left(V_{\phi ,\Phi }\right)\backslash {\sigma }_{\mathrm{pp}}^{\mathrm{ph}}(\Phi )$.