Related papers: Sofic-Dyck shifts

We study zeta-functions for a one parameter family of quintic threefolds defined over finite fields and for their mirror manifolds and comment on their structure. The zeta-function for the quintic family involves factors that correspond to…

Systems obtained by quotienting a subshift of finite type (SFT) by another SFT are called finitely presented in the literature. Analogously, if a sofic shift is quotiented by a sofic equivalence relation, we call the resulting system…

This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results…

Two different Markov jump processes driven out of equilibrium by constant thermodynamic forces may have identical current fluctuations in the stationary state. The concept of dynamical equivalence classes emerges from this statement as…

In this paper we give explicit characterizations, based on the cutting and spacer parameters, of (a) which rank-one transformations factor onto a given finite cyclic permutation, (b) which rank-one transformations factor onto a given…

We consider the dynamical zeta functions of Selberg and Ruelle associated with the geodesic flow on a compact odd-dimensional hyperbolic manifold. These dynamical zeta functions are defined for a complex variable $s$ in some right-half…

We introduce "puzzles of quasi-finite type" which are the counterparts of our subshifts of quasi-finite type (Invent. Math. 159 (2005)) in the setting of combinatorial puzzles as defined in complex dynamics. We are able to analyze these…

This paper introduces an abstract notion of fragments of monadic second-order logic. This concept is based on purely syntactic closure properties. We show that over finite words, every logical fragment defines a lattice of languages with…

Using tools from computable analysis we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural…

We define a new class of shift spaces which contains a number of classes of interest, like Sturmian shifts used in discrete geometry. We show that this class is closed under two natural transformations. The first one is called conjugacy and…

We construct two new classes of topological dynamical systems; one is a factor of a one-sided shift of finite type while the second is a factor of the two-sided shift. The data is a finite graph which presents the shift of finite type, a…

This paper considers the general question of when a topological action of a countable group can be factored into a direct product of a nontrivial actions. In the early 1980's D. Lind considered such questions for $\mathbb{Z}$-shifts of…

The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…

We classify dynamical twists in group algebras of finite groups. Namely, we set up a bijective correspondence between gauge equivalence classes of dynamical twists (which are solutions of a certain non-linear functional equation) and…

The Smirnov class for the classical Hardy space is the set of ratios of bounded analytic functions on the open complex unit disk with outer denominators. This definition extends naturally to the commutative and non-commutative…

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…

We prove that if two Calabi-Yau invertible pencils have the same dual weights, then they share a common factor in their zeta functions. By using Dwork cohomology, we demonstrate that this common factor is related to a hypergeometric…

Delta finite-type invariants are defined analogously to finite-type invariants, using delta moves instead of crossing changes. We show that they are closely related to the lower central series of the commutator subgroup of the pure braid…

We deal with first-order definability in the substructure ordering $(\mathcal{D}; \sqsubseteq)$ of finite directed graphs. In two papers, the author has already investigated the first-order language of the embeddability ordering $(…

We study the computational and structural aspects of countable two-dimensional SFTs and other subshifts. Our main focus is on the topological derivatives and subpattern posets of these objects, and our main results are constructions of…