Related papers: Tower power for $S$-adics
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
This article reviews a generous sampling of both classical and more recent results on the interplay between measurable and topological dynamics. In the first part we have surveyed the strong analogies between ergodic theory and topological…
Let $X$ be a full-shift on the alphabet $[0, 1]^a$ and let $(Y, S)$ be an arbitrary dynamical system. We prove that any equivariant continuous map from $X$ to $Y$ has conditional metric mean dimension not less than $a-\mathrm{mdim}(Y, S)$.…
In this paper, we apply results of \cite{Va3} and use towers to transfer symmetry from $\mu^+$ down to $\mu$ in superstable abstract elementary classes without using extra set-theoretic assumptions or tameness. Theorem. Suppose…
This paper is a contribution to the search for efficient and high-level mathematical tools to specify and reason about (abstract) programming languages or calculi. Generalising the reduction monads of Ahrens et al., we introduce transition…
Various metrics for comparing diffusion tensors have been recently proposed in the literature. We consider a broad family of metrics which is indexed by a single power parameter. A likelihood-based procedure is developed for choosing the…
An error in the proof of Lemma 2 (ii) in [I. Werner, Math. Proc. Camb. Phil. Soc. 140(2) 333-347 (2006)], which claims the absolute continuity of dynamically defined measures (DDM), is identified. This undermines the assertion of the…
For topologically mixing locally conformal semigroup actions generated by a finite collection of $C^{1+\alpha}$ conformal local diffeomorphisms, we provide a countable Markov partition satisfying the finite images and the finite cycle…
In this paper, for a discontinuous skew-product transformation with the integrable observation function, we obtain uniform ergodic theorem and semi-uniform ergodic theorem. The main assumptions are that discontinuity sets of transformation…
In this article, we pay attention to transitive dynamical systems having the shadowing property and the entropy functions are upper semicontinuous. As for these dynamical systems, when we consider ergodic optimization restricted on the…
Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. The Dyck and Motzkin shifts are well-known examples of transitive subshifts over a finite alphabet that are not…
Let $(X,T)$ and $(Y,S)$ be two subshifts so that $Y$ is a factor of $X$. For any asymptotically sub-additive potential $\Phi$ on $X$ and $\ba=(a,b)\in\R^2$ with $a>0$, $b\geq 0$, we introduce the notions of $\ba$-weighted topological…
We prove that for every tower $\mathcal T$ there are $\aleph_1$-dense $A$ and $B$ so that any ``reasonable" forcing notion $\mathbb{P}$ -- an adjective that includes all known ones -- for making $A$ and $B$ isomorphic will add a…
We prove a multidimensional ergodic theorem with weighted averages for the action of the group $\mathbb{Z}^d$ on a probability space. At level $n$ weights are of the form $n^{-d} \psi(j/n)$, $ j\in \mathbb{Z}^d$, for real functions $\psi$…
We use world-line methods for pseudo-supersymmetry to construct $sl(2|1)$-invariant actions for the $(2,2,0)$ chiral and ($1,2,1)$ real supermultiplets of the twisted $D$-module representations of the $sl(2|1)$ superalgebra. The derived…
We consider ergodic $\mathrm{Sym}(\mathbb{N})$-invariant probability measures on the space of $L$-structures with domain $\mathbb{N}$ (for $L$ a countable relational language), and call such a measure a properly ergodic structure when no…
This paper deals with (globally) random substitutions on a finite set of prototiles. Using renormalization tools applied to objects from operator algebras we establish upper and lower bounds on the rate of deviations of ergodic averages for…
Let $\lambda$ be a probability measure on $\mathbb T^{n-1}$ where $n=2$ or 3. Suppose $\lambda$ is invariant, ergodic and has positive entropy with respect to the linear transformation defined by a hyperbolic matrix. We get a measure $\mu $…
We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of $S^1 \times S^3$. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other…
We generalize a result of Lindenstrauss on the interplay between measurable and topological dynamics which shows that every separable ergodic measurably distal dynamical system has a minimal distal model. We show that such a model can, in…