Related papers: On images of sofic systems

This article connects the theory of extremal doubly stochastic measures to the geometry and topology of optimal transportation. We begin by reviewing an old question (# 111) of Birkhoff in probability and statistics [4], which is to give a…

Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct…

We give a sufficient condition for the existence of a holomorphic tubular neighborhood of a compact Riemann surface holomorphically embedded in a non-singular complex surface. Our sufficient condition is described by an arithmetical…

This paper is dedicated to the problem of infinite transitivity for algebraically generated automorphism groups of the affine plane. We provide a necessary and sufficient condition of infinite transitivity for a large family of subgroups…

Let $X$ be a two-sided subshift on a finite alphabet endowed with a mixing probability measure which is positive on all cylinders in $X$. We show that there exist arbitrarily small finite overlapping union of shifted cylinders which…

The topological complexity ${\sf TC}(X)$ is a homotopy invariant of a topological space $X$, motivated by robotics, and providing a measure of the navigational complexity of $X$. The topological complexity of a connected sum of real…

Necessary and sufficient conditions for the exactness (in the algebraic sense) of certain sequences of continuous group homomorphisms are established.

The collection of all topologies on a set X forms a complete lattice with respect to the inclusion order, which have been investigated by many researchers. Sobriety is one of the core and extensively studied properties in non-Hausdorff…

We study boundary conditions of topological sigma models with the goal of generalizing the concepts of anomalous symmetry and symmetry protected topological order. We find a version of 't Hooft's anomaly matching conditions on the…

We give a necessary and sufficient condition for the fundamental group of a finite graph of groups with infinite cyclic edge groups to be acylindrically hyperbolic, from which it follows that a finitely generated group splitting over Z…

Let X be a compact topological space, and let D be a subset of X. Let Y be a Hausdorff topological space. Let f be a continuous map of the closure of D to Y such that f(D) is open. Let E be any connected subset of the complement (to Y) of…

For any $C\in[0,\infty]$ a compact group automorphism $T:X\to X$ is constructed with the property that $$ \frac{1}{n}\log|\{x\in X\mid T^n(x)=x\}|\longrightarrow C. $$ This may be interpreted as a combinatorial analogue of the (still open)…

Our context is Filippov systems defined on two-dimensional manifolds having a finite number of tangency points. We prove that topological transitivity is a necessary and sufficient condition for the occurrence of non-deterministic chaos…

An embedding of a graph on a translation surface is said to be \emph{systolic} if each vertex of the graph corresponds to a singular point (or marked point) and each edge corresponds to a shortest saddle connection on the translation…

A quasi-continuous dynamical system is a pair $(X,f)$ consisting of a topological space $X$ and a mapping $f: X\to X$ such that $f^n$ is quasi-continuous for all $n \in \mathbb N$, where $\mathbb N$ is the set of non-negative integers. In…

Let $(X,T)$ be a topological dynamical system. We define the measure-theoretical lower and upper entropies $\underline{h}_\mu(T)$, $\bar{h}_\mu(T)$ for any $\mu\in M(X)$, where $M(X)$ denotes the collection of all Borel probability measures…

Let $\phi \in {\rm Mod}(\Sigma)$ be an arbitrary element of the mapping class group of a closed orientable surface $\Sigma$ of genus at least $2$. For any characteristic cover $\widetilde{\Sigma} \to \Sigma$ one can consider the linear…

Let $X$ be a complex space and $H$ a positive homogeneous plurisubharmonic function $H$ on $X\times\C^m$. Consider the Hartogs-type domain $\Omega_{H}(X):=\{(z,w)\in X\times \C^m:H(z,w)<1 \}$. Let $S$ be an analytic subset of $X$. We give…

We obtain the following embedding theorem for symbolic dynamical systems. Let $G$ be a countable amenable group with the comparison property. Let $X$ be a strongly aperiodic subshift over $G$. Let $Y$ be a strongly irreducible shift of…

The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of…