Related papers: On certain one-counter shifts
In this work we characterize those shift spaces which can support a 1-block quasi-group operation and show the analogous of Kitchens result: any such shift is conjugated to a product of a full shift with a finite shift. Moreover, we prove…
We characterize nonstandard models of ZF (of arbitrary cardinality) that can be expanded to Goedel-Bernays class theory plus $\Delta^1_1$-Comprehension. We also characterize countable nonstandard models of ZFC that can be expanded to…
Let X be a subshift satisfy non-uniform structure. In this paper, we give quantitative estimate of the recurrence sets. These results can be applied to a large class of symbolic systems, including beta-shifts, S-gap shifts and their…
We offer a classification of a broad and practically relevant class of symmetric double saddle-point system. At the core of the paper is the division of the associated matrices into ``block-arrow'' and ``block-tridiagonal'' forms. We…
This paper applies the recently developed theory of discrete nonholonomic mechanics to the study of discrete nonholonomic left-invariant dynamics on Lie groups. The theory is illustrated with the discrete versions of two classical…
The Fischer, Krieger, and fiber product covers of sofic beta-shifts are constructed and used to show that every strictly sofic beta-shift is $2$-sofic. Flow invariants based on the covers are computed, and shown to only depend on an single…
Results of research of possibility of transformation of a difference equation into a system of the first-order difference equation are presented. In contrast to the method used previously, an unknown grid function is split into two new…
We derive the Dirac brackets for the O(N) nonlinear sigma model in the lightfront description with and without the constraint. We bring out various subtleties that arise including the fact that anti-periodic boundary condition seems to be…
Given a homomorphism from a link group to a group, we introduce a $K_1$-class in another way, which is a generalization of the 1-variable Alexander polynomial. We compare the $K_1$-class with $K_1$-classes in \cite{Nos} and with…
It is shown how to model any automorphism of a totally disconnected, locally compact group by a symbolic dynamical system. The model is an inverse limit of a product of a full-shift, on a finite number of symbols, with one of two types of…
In this article, we study classes of multidimensional subshifts defined by multihead finite automata, in particular the hierarchy of classes of subshifts defined as the number of heads grows. The hierarchy collapses on the third level,…
We answer a question of Downey and Kurtz on left-orderable groups by showing that there is a computable left-orderable group which is not classically isomorphic to a computable group with a computable left-order.
We propose two new dependent type systems. The first, is a dependent graded/linear type system where a graded dependent type system is connected via modal operators to a linear type system in the style of Linear/Non-linear logic. We then…
We undertake a detailed investigation into the structure of permutations in monotone grid classes whose row-column graphs do not contain components with more than one cycle. Central to this investigation is a new decomposition, called the…
Critical behavior of three-dimensional classical frustrated antiferromagnets with a collinear spin ordering and with an additional twofold degeneracy of the ground state is studied. We consider two lattice models, whose continuous limit…
In our previous work, Hopf cyclic cohomology in braided monoidal categories, we extended the formalism of Hopf cyclic cohomology due to Connes and Moscovici and the more general case of Hopf cyclic cohomology with coefficients to the…
A new anticyclic operad Mould is introduced, on spaces of functions in several variables. It is proved that the Dendriform operad is an anticyclic suboperad of this operad. Many operations on the free Mould algebra on one generator are…
Given a one-sided subshift $X$ on a finite alphabet, we consider the semigroup $S_X =L_X \cup \{0\}$, where $L_X $ is the language of $X $, equipped with the multiplication operation given by concatenation, when allowed, and set to vanish…
The category of flows is not cartesian closed. We construct a closed symmetric monoidal structure which has moreover a satisfactory behavior from the computer scientific viewpoint.
C Croke and B Kleiner have constructed an example of a CAT(0) group with more than one visual boundary. J Wilson has proven that this same group has uncountably many distinct boundaries. In this article we prove that the knot group of any…