For a continuous $\mathbb {N}^d$ or $\mathbb {Z}^d$ action on a compact space, we introduce the notion of Bohr chaoticity, which is an invariant of topological conjugacy and which is proved stronger than having positive entropy. We prove that all principal algebraic $\mathbb {Z}$ actions of positive entropy are Bohr chaotic. The same is proved for principal algebraic actions of $\mathbb {Z}^d$ with positive entropy under the condition of existence of summable homoclinic points.

The following question is proposed by Martino, Tointon, Valiunas and Ventura in [4, question 1·20]:

Let G be a compact group, and suppose that

\[\mathcal{N}_k(G) = \{(x_1,\dots,x_{k+1}) \in G^{k+1} \;|\; [x_1,\dots, x_{k+1}] = 1\}\]

$G^{k+1}$

We give a positive answer for $k = 2$ .

In this paper, we extend the study of fixed point properties of semitopological semigroups of continuous mappings in locally convex spaces to the setting of completely regular topological spaces. As applications, we establish a general fixed point theorem, a convergence theorem and an application to amenable locally compact groups.

In this paper we characterize the Fourier transformability of strongly almost periodic measures in terms of an integrability condition for their Fourier–Bohr series. We also provide a necessary and sufficient condition for a strongly almost periodic measure to be the Fourier transform of a measure. We discuss the Fourier transformability of a measure on $\mathbb{R}^{d}$ in terms of its Fourier transform as a tempered distribution. We conclude by looking at a large class of such measures coming from the cut and project formalism.

Uniformization transforms a pseudo-Poisson process with unequal intensities (leaving rates) into one with uniform intensity. Self-transitions is the price to pay. Two intensities arise when one considers an absorbing barrier of a Markov process as a body in its own right: a pair of Markov processes intertwined by an extended Chapman–Kolmogorov equation naturally arises. We show that Sauer's two-state space empathy theory handles such intertwined processes. The price of self-transitions is also avoided.

A set is shy or Haar null (in the sense of Christensen) if there exists a Borel set and a Borel probability measure μ on C[0, 1] such that and for all f ∈ C[0, 1]. The complement of a shy set is called a prevalent set. We say that a set is Haar ambivalent if it is neither shy nor prevalent.

The main goal of the paper is to answer the following question: what can we say about the topological properties of the level sets of the prevalent/non-shy many f ∈ C[0, 1]?

The classical Bruckner–Garg theorem characterizes the level sets of the generic (in the sense of Baire category) f ∈ C[0, 1] from the topological point of view. We prove that the functions f ∈ C[0, 1] for which the same characterization holds form a Haar ambivalent set.

In an earlier paper, Balka et al. proved that the functions f ∈ C[0, 1] for which positively many level sets with respect to the Lebesgue measure λ are singletons form a non-shy set in C[0, 1]. The above result yields that this set is actually Haar ambivalent. Now we prove that the functions f ∈ C[0, 1] for which positively many level sets with respect to the occupation measure λ ◦ f –1 are not perfect form a Haar ambivalent set in C[0, 1].

We show that for the prevalent f ∈ C[0, 1] for the generic y ∈ f([0, 1]) the level set f –1(y) is perfect. Finally, we answer a question of Darji and White by showing that the set of functions f ∈ C[0, 1] for which there exists a perfect set Pf ⊂ [0, 1] such that fʹ(x) = ∞ for all x ∈ Pf is Haar ambivalent.

In this paperwe present a fixed point property for amenable hypergroups that is analogous to Rickert’s fixed point theorem for semigroups. It equates the existence of a left invariant mean on the space of weakly right uniformly continuous functions to the existence of a fixed point for any action of the hypergroup. Using this fixed point property, certain hypergroups are shown to have a left Haar measure.

We set up a framework for computing the spectral dimension of a class of one-dimensional self-similar measures that are defined by iterated function systems with overlaps and satisfy a family of second-order self-similar identities. As applications of our result we obtain the spectral dimension of important measures such as the infinite Bernoulli convolution associated with the golden ratio and convolutions of Cantor-type measures. The main novelty of our result is that the iterated function systems we consider are not post-critically finite and do not satisfy the well-known open set condition.

In the dual object of an infinite compact, connected group, every infinite Sidon set contains an infinite subset on which full interpolation can be performed using very small classes of measures (discrete measures on arbitrarily small sets or nonnegative discrete measures). In particular, the Figà-Talamanca–Rider subset of an infinite product of compact, connected, simple Lie groups has these kinds of interpolation. This substantially improves previous interpolation results.

Let $G$ be a locally compact group and $\pi $ a representation of $G$ by weakly* continuous isometries acting in a dual Banach space $E$. Given a probability measure $\mu $ on $G$, we study the Choquet–Deny equation $\pi (\mu )x\,=\,x,\,x\,\in \,E$. We prove that the solutions of this equation form the range of a projection of norm 1 and can be represented by means of a “Poisson formula” on the same boundary space that is used to represent the bounded harmonic functions of the random walk of law $\mu $. The relation between the space of solutions of the Choquet–Deny equation in $E$ and the space of bounded harmonic functions can be understood in terms of a construction resembling the ${{W}^{*}}$-crossed product and coinciding precisely with the crossed product in the special case of the Choquet–Deny equation in the space $E\,=\,B({{L}^{2}}(G))$ of bounded linear operators on ${{L}^{2}}(G)$. Other general properties of the Choquet–Deny equation in a Banach space are also discussed.

A class of harmonic function spaces is introduced and studied, namely the spaces $H^p_\sigma(G)$ of $\sigma$-harmonic $L^p$ functions on a locally compact group $G$, for $1\leq p \leq \infty$ and a given complex measure $\sigma$ on $G$ of unit norm. It is shown that there is a contractive projection from $L^p(G)$ onto $H^p_\sigma(G)$, for $1\lt p\leq \infty$, and structural results for $H^p_\sigma (G)$ are deduced. Given an adapted probability measure $\sigma$ on $G$, a uniqueness result is proved, that the space $H^p_\sigma(G)$ contains only constant functions, for $1\leq p\,{\lt}\,\infty$. For any $\sigma$, a result on the dimension of $H^1_\sigma (G)$ is proved.

A discrete group $G$ is called identity excluding if the only irreducible unitary representation of $G$ which weakly contains the 1-dimensional identity representation is the 1-dimensional identity representation itself. Given a unitary representation $\pi $ of $G$ and a probability measure $\mu $ on $G$, let ${{P}_{\mu }}$ denote the $\mu $-average $\int{\pi (g)\mu (dg)}$. The goal of this article is twofold: (1) to study the asymptotic behaviour of the powers $P_{\mu }^{n}$, and (2) to provide a characterization of countable amenable identity excluding groups. We prove that for every adapted probability measure $\mu $ on an identity excluding group and every unitary representation $\pi $ there exists and orthogonal projection ${{E}_{\mu }}$ onto a $\pi $-invariant subspace such that $s-{{\lim }_{n\to \infty }}\,(P_{\mu }^{n}\,-\,\pi {{(a)}^{n}}\,{{E}_{\mu }})\,\,=\,0$ for every $a\,\in $ supp $\mu $. This also remains true for suitably defined identity excluding locally compact groups. We show that the class of countable amenable identity excluding groups coincides with the class of $\text{FC}$-hypercentral groups; in the finitely generated case this is precisely the class of groups of polynomial growth. We also establish that every adapted random walk on a countable amenable identity excluding group is ergodic.

Let $\sigma$ be a non-degenerate positive $M_n$-valued measure on a locally compact group $G$ with $\|\sigma\|\,{=}\,1$. An $M_n$-valued Borel function $f$ on $G$ is called $\sigma$-harmonic if $f(x) = \int_G f(xy^{-1})\,d\sigma(y)$ for all $x\,{\in}\,G$. Given such a function $f$ which is bounded and left uniformly continuous on $G$, it is shown that every central element in $G$ is a period of $f$. Further, it is shown that $f$ is constant if $G$ is nilpotent or central.

A Dirac comb of point measures in Euclidean space with bounded complex weights that is supported on a lattice $\Gamma$ inherits certain general properties from the lattice structure. In particular, its autocorrelation admits a factorization into a continuous function and the uniformlattice Dirac comb, and its diffraction measure is periodic, with the dual lattice ${{\Gamma }^{*}}$ as lattice of periods. This statement remains true in the setting of a locally compact Abelian group whose topology has a countable base.

Let G be a connected amenable locally compact group with left Haar measure λ. In an earlier work Jenkins claimed that exponential boundedness of G is equivalent to each of the following conditions: (a) every open subsemigroup S ⊆ G is amenable; (b) given and a compact K ⊆ G with nonempty interior there exists an integer n such that (c) given a signed measure of compact support and nonnegative nonzero f ∈ L∞(G), the condition v * f ≥ 0 implies v(G) ≥ 0. However, Jenkins‚ proof of this equivalence is not complete. We give a complete proof. The crucial part of the argument relies on the following two results: (1) an open σ-compact subsemigroup S ⊆ G is amenable if and only if there exists an absolutely continuous probability measure μ on S such that lim for every s ∈ S; (2) G is exponentially bounded if and only if for every nonempty open subset U ⊆ G.

We give a lower estimate for the central value μ*n(e) of the nth convolution power μ*···*μ of a symmetric probability measure μ on a polycyclic group G of exponential growth whose support is finite and generates G. We also give a similar large time diagonal estimate for the fundamendal solution of the equation (∂/∂t + L)u = 0, where L is a left invariant sub-Laplacian on a unimodular amenable Lie group G of exponential growth.