Related papers: Quantifier Extensions of Multidimensional Sofic Sh…

We study the behavior of a general gravitational action, including quadratic terms in the curvature, supplemented by a compact scalar field in 4+1 dimensions. The generalized Einstein equation for this system admits solutions which are…

Let $X$ be a compact metric space and let $f:X\rightarrow X$ be a homeomorphism on $X$. We show that if $f$ is both pointwise recurrent and expansive, then the dynamical system $(X, f)$ is topologically conjugate to a subshift of some…

Sofic shifts are symbolic dynamical systems defined by the set of bi-infinite sequences on an edge-labeled directed graph, called a presentation. We study the computational complexity of an array of natural decision problems about…

We consider some special type extensions of an arbitrary Lie algebra, which we call universal extensions. We show that these extensions are in one-to-one correspondence with finite dimensional associative commutative algebras. We also…

We show that in the category of effective $Z$ dynamical systems there is a universal system, i.e. one that factors onto every other effective system. In particular, for d $\geq 3$ there exist d-dimensional shifts of finite type which are…

We refine two results in the paper entitled "Sofic mean dimension" by Hanfeng Li, improving two inequalities with two equalities, respectively, for sofic mean dimension of typical actions. On the one hand, we study sofic mean dimension of…

We generalize the concept of a field by allowing addition to be a partial operation. We show that elements of such a "partially additive field" share many similarities with physical quantities. In particular, they form subsets of mutually…

We investigate generic properties (i.e. properties corresponding to residual sets) in the space of subshifts with the Hausdorff metric. Our results deal with four spaces: the space $\mathbf{S}$ of all subshifts, the space…

We prove that every $\mathcal{C}^{r}$ diffeomorphism with $r>1$ on a three-dimensional manifold admits symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. This answers positively a conjecture of…

A combinatorial substitution is a map over tilings which allows to define sets of tilings with a strong hierarchical structure. In this paper, we show that such sets of tilings are sofic, that is, can be enforced by finitely many local…

We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable…

We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces. In this setting not only morphisms, but also objects may have distinct…

The main purpose of this paper is to strengthen our understanding of sofic mean dimension of two typical classes of sofic group actions. First, we study finite group actions. We prove that sofic mean dimension of any amenable group action…

Let $A$ be an amenable separable \CA and $B$ be a non-unital but $\sigma$-unital simple \CA with continuous scale. We show that two essential extensions $\tau_1$ and $\tau_2$ of $A$ by $B$ are approximately unitarily equivalent if and only…

We show that every partially hyperbolic diffeomorphism with a 1-dimensional center bundle has a principal symbolic extension. On the other hand, we show there are no symbolic extensions $C^1$-generically among diffeomorphisms containing…

Let $G$ be a group and $H\leqslant G$ a subgroup. The free extension of an $H$-subshift $X$ to $G$ is the $G$-subshift $\widetilde{X}$ whose configurations are those for which the restriction to every coset of $H$ is a configuration from…

Many generalizations of continued fractions, where the reciprocal function has been replaced by a more general function, have been studied, and it is often asked whether such generalized expansions can have nice properties. For instance, we…

Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…

The problem is considered as to whether a monotone function defined on a subset P of a Euclidean space can be strictly monotonically extended to the whole space. It is proved that this is the case if and only if the function is {\em…

A zero-dimensional (resp. symbolic) flow is a suspension flow over a zero-dimensional system (resp. a subshift). We show that any topological flow admits a principal extension by a zero-dimensional flow. Following [Bur19] we deduce that any…