Let T be a measure-preserving and mixing action of a countable abelian group G on a probability space (X,,μ) and A a locally compact second countable abelian group. A cocycle c: G × X → A for T disperses if $li{m}_{g\to \infty }c(g,·)-\alpha \left(g\right)=\infty$ in measure for every map α: G → A. We prove that such a cocycle c does not disperse if and only if there exists a compact subgroup A₀ ⊂ A such that the composition θ ∘ c: G × X → A/A₀ of c with the quotient map θ: A → A/A₀ is trivial (i.e. cohomologous to a homomorphism η: G → A/A₀). This...

Let X be a closed subspace of $L^p\left(\mu \right)$, where μ is an arbitrary measure and 1 < p < ∞. Let U be an invertible operator on X such that $su{p}_{n\in \mathbb{Z}}\left|\right|Uⁿ\left|\right|<\infty$. Motivated by applications in ergodic theory, we obtain (optimal) conditions for the convergence of series like ${\sum }_{n\ge 1}\left(Uⁿf\right)/n^{1-\alpha }$, 0 ≤ α < 1, in terms of $\left|\right|f+\cdots +U^{n-1}f{\left|\right|}_p$, generalizing results for unitary (or normal) operators in L²(μ). The proofs make use of the spectral integration initiated by Berkson and Gillespie and, more particularly, of results from a paper by Berkson-Bourgain-Gillespie. ...

We show that some results of Gaposhkin about a.e. convergence of series associated to a unitary operator U acting on L²(X,Σ,μ) (μ is a σ-finite measure) may be extended to the case where U is an invertible power-bounded operator acting on $L^p(X,\Sigma ,\mu )$, p > 1. The proofs make use of the spectral integration initiated by Berkson-Gillespie and, more specifically, of recent results of the author.

Let $f\in V_r\left(\right){\cup }_r\left(\right)$, where, for 1 ≤ r < ∞, $V_r\left(\right)$ (resp., ${}_r\left(\right)$) denotes the class of functions (resp., bounded functions) g: → ℂ such that g has bounded r-variation (resp., uniformly bounded r-variations) on (resp., on the dyadic arcs of ). In the author’s recent article [New York J. Math. 17 (2011)] it was shown that if is a super-reflexive space, and E(·): ℝ → () is the spectral decomposition of a trigonometrically well-bounded operator U ∈ (), then over a suitable non-void open interval of r-values,...

We establish the spectral gap property for dense subgroups of SU$\left(d\right)$ $(d\ge 2)$, generated by finitely many elements with algebraic entries; this result was announced in [BG3]. The method of proof differs, in several crucial aspects, from that used in [BG] in the case of SU$\left(2\right)$.

Relations between spectral synthesis in the Fourier algebra A(G) of a compact group G and the concept of operator synthesis due to Arveson have been studied in the literature. For an A(G)-submodule X of VN(G), X-synthesis in A(G) has been introduced by E. Kaniuth and A. Lau and studied recently by the present authors. To any such X we associate a $V^{\infty }\left(G\right)$-submodule X̂ of ℬ(L²(G)) (where $V^{\infty }\left(G\right)$ is the weak-* Haagerup tensor product $L^{\infty }\left(G\right){\otimes }_{w*h}{L}^{\infty }\left(G\right)$), define the concept of X̂-operator synthesis and prove that a...

Let n ≥ 1, d = 2n, and let (x,y) ∈ ℝⁿ × ℝⁿ be a generic point in ℝ²ⁿ. The twisted Laplacian $L=-1/2{\sum }_{j=1}^n[({\partial }_{x_j}+i{y}_j)²+({\partial }_{y_j}-i{x}_j)²]$ has the spectrum n + 2k = λ²: k a nonnegative integer. Let $P_{\lambda }$ be the spectral projection onto the (infinite-dimensional) eigenspace. We find the optimal exponent ϱ(p) in the estimate $\left|\right|P_{\lambda }{u\left|\right|}_{L^p\left({ℝ}^d\right)}\lesssim {\lambda }^{\varrho \left(p\right)}{\left|\right|u\left|\right|}_{L²\left({ℝ}^d\right)}$ for all p ∈ [2,∞], improving previous partial results by Ratnakumar, Rawat and Thangavelu, and by Stempak and Zienkiewicz. The expression for ϱ(p) is ϱ(p) = 1/p -1/2 if 2 ≤ p ≤ 2(d+1)/(d-1), ϱ(p) = (d-2)/2 - d/p...

Let (X,,μ,τ) be an ergodic dynamical system and φ be a measurable map from X to a locally compact second countable group G with left Haar measure $m_G$. We consider the map ${\tau }_{\phi }$ defined on X × G by ${\tau }_{\phi }:(x,g)\mapsto (\tau x,\phi \left(x\right)g)$ and the cocycle ${\left(\phi ₙ\right)}_{n\in \mathbb{Z}}$ generated by φ. Using a characterization of the ergodic invariant measures for ${\tau }_{\phi }$, we give the form of the ergodic decomposition of $\mu \left(dx\right)\otimes m_G\left(dg\right)$ or more generally of the ${\tau }_{\phi }$-invariant measures ${\mu }_{\chi }\left(dx\right)\otimes \chi \left(g\right)m_G\left(dg\right)$, where ${\mu }_{\chi }\left(dx\right)$ is χ∘φ-conformal for an exponential χ on G.

We prove that for the spectral radius of a weighted composition operator $a{T}_{\alpha }$, acting in the space $L^p(X,,\mu )$, the following variational principle holds: $lnr\left(a{T}_{\alpha }\right)=ma{x}_{\nu \in M{¹}_{\alpha ,e}}{\int }_{X}ln\left|a\right|d\nu$, where X is a Hausdorff compact space, α: X → X is a continuous mapping preserving a Borel measure μ with suppμ = X, $M{¹}_{\alpha ,e}$ is the set of all α-invariant ergodic probability measures on X, and a: X → ℝ is a continuous and ${}_{\infty }$-measurable function, where ${}_{\infty }={\bigcap }_{n=0}^{\infty }{\alpha }^{-n}\left(\right)$. This considerably extends the range of validity of the above formula, which was previously known...

The existence of a strong spectral gap for quotients $\Gamma \setminus G$ of noncompact connected semisimple Lie groups is crucial in many applications. For congruence lattices there are uniform and very good bounds for the spectral gap coming from the known bounds towards the Ramanujan–Selberg conjectures. If $G$ has no compact factors then for general lattices a spectral gap can still be established, but there is no uniformity and no effective bounds are known. This note is concerned with the spectral...

We consider the wave and Schrödinger equations on a bounded open connected subset $\Omega$ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $\omega$ of $\Omega$ during a time interval $[0,T]$ with $T>0$. It is well known that, if the pair $(\omega ,T)$ satisfies the Geometric Control Condition ($\omega$ being an open set), then an observability inequality holds guaranteeing that the total energy of solutions...

We study shadowing properties of continuous actions of the groups ${\mathbb{Z}}^p$ and ${\mathbb{Z}}^p\times {ℝ}^p$. Necessary and sufficient conditions are given under which a linear action of ${\mathbb{Z}}^p$ on ${ℂ}^m$ has a Lipschitz shadowing property.

The rate of growth of an operator T satisfying the mean ergodic theorem (MET) cannot be faster than linear. It was recently shown (Kornfeld-Kosek, Colloq. Math. 98 (2003)) that for every γ > 0, there are positive L¹[0,1] operators T satisfying MET with $li{m}_{n\to \infty }\left|\right|Tⁿ\left|\right|/n^{1-\gamma }=\infty$. In the class of positive L¹ operators this is the most one can hope for in the sense that for every such operator T, there exists a γ₀ > 0 such that $limsup\left|\right|Tⁿ\left|\right|/n^{1-\gamma ₀}=0.$ In this note we construct an example of a nonpositive L¹ operator with the...

We give a negative answer to a question put by Nadkarni: Let S be an ergodic, conservative and nonsingular automorphism on $(X̃{,}_{X̃},m)$. Consider the associated unitary operators on $L²(X̃{,}_{X̃},m)$ given by $U{̃}_{S}f=\surd (d\left(m\circ S\right)/dm)·\left(f\circ S\right)$ and $\phi ·U{̃}_S$, where φ is a cocycle of modulus one. Does spectral isomorphism of these two operators imply that φ is a coboundary? To answer it negatively, we give an example which arises from an infinite measure-preserving transformation with countable Lebesgue spectrum.

We show that for any irrational number α and a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $li{m}_{l\to \infty }\left|\right||m_l\alpha \left|\right||=0$, there exists a continuous measure μ on the circle such that $li{m}_{l\to \infty }{\int }_{}\left|\right||m_l\theta \left|\right||d\mu \left(\theta \right)=0$. This implies that any rigidity sequence of any ergodic transformation is a rigidity sequence for some weakly mixing dynamical system. On the other hand, we show that for any α ∈ ℝ - ℚ, there exists a sequence ${m_l}_{l\in \mathbb{N}}$ of integers such that $\left|\right||m_l\alpha \left|\right||\to 0$ and such that $m_l\theta \left[1\right]$ is dense on the circle if and only if θ ∉ ℚα + ℚ.

In topological dynamics a theory of recurrence properties via (Furstenberg) families was established in the recent years. In the current paper we aim to establish a corresponding theory of ergodicity via families in measurable dynamical systems (MDS). For a family ℱ (of subsets of ℤ₊) and a MDS (X,,μ,T), several notions of ergodicity related to ℱ are introduced, and characterized via the weak topology in the induced Hilbert space L²(μ). T is ℱ-convergence ergodic of order k if for any...

On reflexive spaces trigonometrically well-bounded operators have an operator-ergodic-theory characterization as the invertible operators U such that $su{p}_{n\in \mathbb{N},z\in }\left|\right|{\sum }_{0<\left|k\right|\le n}(1-|k|/(n+1))k^{-1}{z}^k{U}^k\left|\right|<\infty$. (*) Trigonometrically well-bounded operators permeate many settings of modern analysis, and this note highlights the advances in both their spectral theory and operator ergodic theory made possible by a recent rekindling of interest in the R. C. James inequalities for super-reflexive spaces. When the James inequalities are combined with...

We show that, whenever $\Gamma$ is a countable abelian group and $\Delta$ is a finitely-generated subgroup of $\Gamma$, a generic measure-preserving action of $\Delta$ on a standard atomless probability space $(X,\mu )$ extends to a free measure-preserving action of $\Gamma$ on $(X,\mu )$. This extends a result of Ageev, corresponding to the case when $\Delta$ is infinite cyclic.

For a real central arrangement $𝒜$, Salvetti introduced a construction of a finite complex Sal$\left(𝒜\right)$ which is homotopy equivalent to the complement of the complexified arrangement in [Sal87]. For the braid arrangement ${𝒜}_{k-1}$, the Salvetti complex Sal$\left({𝒜}_{k-1}\right)$ serves as a good combinatorial model for the homotopy type of the configuration space $F(ℂ,k)$ of $k$ points in $C$, which is homotopy equivalent to the space $C_2\left(k\right)$ of k little $2$-cubes. Motivated by the importance of little cubes in homotopy theory, especially in...

We consider operators acting in the space C(X) (X is a compact topological space) of the form $Au\left(x\right)=\left({\sum }_{k=1}^N{e}^{{\phi }_k}{T}_{{\alpha }_k}\right)u\left(x\right)={\sum }_{k=1}^N{e}^{{\phi }_k\left(x\right)}u\left({\alpha }_k\left(x\right)\right)$, u ∈ C(X), where ${\phi }_k\in C\left(X\right)$ and ${\alpha }_k:X\to X$ are given continuous mappings (1 ≤ k ≤ N). A new formula on the logarithm of the spectral radius r(A) is obtained. The logarithm of r(A) is defined as a nonlinear functional λ depending on the vector of functions $\phi ={\left({\phi }_k\right)}_{k=1}^N$. We prove that $ln\left(r\left(A\right)\right)=\lambda \left(\phi \right)=ma{x}_{\nu \in Mes}{\sum }_{k=1}^N{\int }_X{\phi }_{k}d{\nu }_k-\lambda *\left(\nu \right)$, where Mes is the set of all probability vectors of measures $\nu ={\left({\nu }_k\right)}_{k=1}^N$ on X × 1,..., N and λ* is some convex lower-semicontinuous functional on...

For a given linear operator T in a complex Banach space X and α ∈ ℂ with ℜ (α) > 0, we define the nth Cesàro mean of order α of the powers of T by $M{ₙ}^{\alpha }={\left(A{ₙ}^{\alpha }\right)}^{-1}{\sum }_{k=0}^n{A}_{n-k}^{\alpha -1}{T}^k$. For α = 1, we find $Mₙ¹={(n+1)}^{-1}{\sum }_{k=0}^n{T}^k$, the usual Cesàro mean. We give necessary and sufficient conditions for a (C,α) bounded operator to be (C,α) strongly (weakly) ergodic.

Let $G:=\mathrm{SO}{(n,1)}^{\circ }$ and $\Gamma (n-1)/2$ for $n=2,3$ and when $\delta >n-2$ for $n\ge 4$, we obtain an effective archimedean counting result for a discrete orbit of $\Gamma$ in a homogeneous space $H\setminus G$ where $H$ is the trivial group, a symmetric subgroup or a horospherical subgroup. More precisely, we show that for any effectively well-rounded family $\{{ℬ}_T\subset H\setminus G\}$ of compact subsets, there exists $\eta >0$ such that $\#\left[e\right]\Gamma \cap {ℬ}_T=ℳ\left({ℬ}_T\right)+O\left(ℳ{\left({ℬ}_T\right)}^{1-\eta }\right)$ for an explicit measure $ℳ$ on $H\setminus G$ which depends on $\Gamma$. We also apply the affine sieve and describe the distribution of almost primes on orbits of $\Gamma$ in arithmetic...

Let B be a complex topological unital algebra. The left joint spectrum of a set S ⊂ B is defined by the formula ${\sigma }_l\left(S\right)$ = ${\left(\lambda \left(s\right)\right)}_{s\in S}\in {ℂ}^S|{s-\lambda \left(s\right)}_{s\in S}$ generates a proper left ideal$.$Using the Schur lemma and the Gelfand-Mazur theorem we prove that ${\sigma }_l\left(S\right)$ has the spectral mapping property for sets S of pairwise commuting elements if (i) B is an m-convex algebra with all maximal left ideals closed, or (ii) B is a locally convex Waelbroeck algebra. The right ideal version of this result is also valid.

This paper is a proceedings version of the ongoing work [20], and has been the object of the talk of the second author at Journées EDP in 2012. In this work we investigate optimal observability properties for wave and Schrödinger equations considered in a bounded open set $\Omega \subset {ℝ}^n$, with Dirichlet boundary conditions. The observation is done on a subset $\omega$ of Lebesgue measure $\left|\omega \right|=L\left|\Omega \right|$, where $L\in (0,1)$ is fixed. We denote...

For any $2\le n\le \infty$, we construct a concrete 1-parameter family of non-orbit equivalent actions of the free group ${𝔽}_n$. These actions arise as diagonal products between a generalized Bernoulli action and the action ${𝔽}_n\curvearrowright ({𝕋}^2,{\lambda }^2)$, where ${𝔽}_n$ is seen as a subgroup of ${\mathrm{SL}}_2\left(\mathbb{Z}\right)$.

For every finite Abelian group Γ and for all $g,a₁,...,a_k\in \Gamma$, if there exists a solution of the equation ${\sum }_{i=1}^k{a}_i{x}_i=g$ in non-negative integers $x_i\le b_i$, where $b_i$ are positive integers, then the number of such solutions is estimated from below in the best possible way.

We study sets of non-typical points under the map $f_{\beta }\mapsto \beta x$ mod 1 for non-integer β and extend our results from [Fund. Math. 209 (2010)] in several directions. In particular, we prove that sets of points whose forward orbit avoid certain Cantor sets, and the set of points for which ergodic averages diverge, have large intersection properties. We observe that the technical condition β > 1.541 found in the above paper can be removed.

By using the notion of contraction of Lie groups, we transfer $L^p-L²$ estimates for joint spectral projectors from the unit complex sphere $S^{2n+1}$ in ${ℂ}^{n+1}$ to the reduced Heisenberg group hⁿ. In particular, we deduce some estimates recently obtained by H. Koch and F. Ricci on hⁿ. As a consequence, we prove, in the spirit of Sogge’s work, a discrete restriction theorem for the sub-Laplacian L on hⁿ.

Let $U₁,...,U_d$ be a non-periodic collection of commuting measure preserving transformations on a probability space (Ω,Σ,μ). Also let Γ be a nonempty subset of $\mathbb{Z}{₊}^d$ and the associated collection of rectangular parallelepipeds in ${ℝ}^d$ with sides parallel to the axes and dimensions of the form $n₁\times \cdots \times n_d$ with $(n₁,...,n_d)\in \Gamma .$ The associated multiparameter geometric and ergodic maximal operators $M_{}$ and $M_{\Gamma }$ are defined respectively on $L¹\left({ℝ}^d\right)$ and L¹(Ω) by $M_{}g\left(x\right)=su{p}_{x\in R\in }1/\left|R\right|{\int }_R\left|g\left(y\right)\right|dy$ and $M_{\Gamma }f\left(\omega \right)=su{p}_{(n₁,...,n_d)\in \Gamma }1/n₁\cdots n_d{\sum }_{j₁=0}^{n₁-1}\cdots {\sum }_{j_d=0}^{n_d-1}\left|f\left(U{₁}^{j₁}\cdots U_d^{j_d}\omega \right)\right|$. Given a Young function Φ, it is shown that $M_{}$ satisfies the weak type estimate ...

We consider a hierarchy of notions of largeness for subsets of ℤ (such as thick sets, syndetic sets, IP-sets, etc., as well as some new classes) and study them in conjunction with recurrence in topological dynamics and ergodic theory. We use topological dynamics and topological algebra in βℤ to establish connections between various notions of largeness and apply those results to the study of the sets $R_{A,B}^{\epsilon }=n\in \mathbb{Z}:\mu \left(A\cap TⁿB\right)>\mu \left(A\right)\mu \left(B\right)-\epsilon$ of times of “fat intersection”. Among other things we show that the sets $R_{A,B}^{\epsilon }$ allow one...

Net (X,ℱ,ν) be a σ-finite measure space. Associated with k Lamperti operators on $L^p\left(\nu \right)$, $T₁,...,T_k$, $n̅=(n₁,...,n_k)\in {\mathbb{N}}^k$ and $\alpha ̅=(\alpha ₁,...,{\alpha }_k)$ with $0<{\alpha }_j\le 1$, we define the ergodic Cesàro-α̅ averages ${}_{n̅,\alpha ̅}f=1/\left({\prod }_{j=1}^k{A}_{n_j}^{{\alpha }_j}\right){\sum }_{i_k=0}^{n_k}\cdots {\sum }_{i₁=0}^{n₁}{\prod }_{j=1}^k{A}_{n_j-i_j}^{{\alpha }_j-1}{T}_k^{i_k}\cdots T{₁}^{i₁}f$. For these averages we prove the almost everywhere convergence on X and the convergence in the $L^p\left(\nu \right)$ norm, when $n₁,...,n_k\to \infty$ independently, for all $f\in L^p\left(d\nu \right)$ with p > 1/α⁎ where $\alpha ⁎=mi{n}_{1\le j\le k}{\alpha }_j$. In the limit case p = 1/α⁎, we prove that the averages ${}_{n̅,\alpha ̅}f$ converge almost everywhere on X for all f in the Orlicz-Lorentz space $\Lambda (1/\alpha ⁎,{\phi }_{m-1})$ with $\phi ₘ\left(t\right)=t{(1+log⁺t)}^m$. To obtain the result in the limit case we need...

We consider the quantization of inversion in commutative p-normed quasi-Banach algebras with unit. The standard questions considered for such an algebra A with unit e and Gelfand transform x ↦ x̂ are: (i) Is $K_{\nu }=sup{\left|\right|(e-x)}^{-1}{\left|\right|}_p{:x\in A,\left|\right|x\left|\right|}_p\le 1,max\left|x̂\right|\le \nu$ bounded, where ν ∈ (0,1)? (ii) For which δ ∈ (0,1) is $C_{\delta }=sup\left|\right|x^{-1}{\left|\right|}_p{:x\in A,\left|\right|x\left|\right|}_p\le 1,min\left|x̂\right|\ge \delta$ bounded? Both questions are related to a “uniform spectral radius” of the algebra, $r_{\infty }\left(A\right)$, introduced by Björk. Question (i) has an affirmative answer if and only if $r_{\infty }\left(A\right)<1$, and this result is extended to more general nonlinear extremal...