Showing 1–9 of 9 results for author: Kopra, J

Multiplication cubes and multiplication automata

Authors: Johan Kopra

Abstract: We extend previously known two-dimensional multiplication tiling systems that simulate multiplication by two natural numbers $p$ and $q$ in base $pq$ to higher dimensional multiplication tessellation systems. We develop the theory of these systems and link different multiplication tessellation systems with each other via macrotile operations that glue cubes in one tessellation system into larger c… ▽ More We extend previously known two-dimensional multiplication tiling systems that simulate multiplication by two natural numbers $p$ and $q$ in base $pq$ to higher dimensional multiplication tessellation systems. We develop the theory of these systems and link different multiplication tessellation systems with each other via macrotile operations that glue cubes in one tessellation system into larger cubes of another tessellation system. The macrotile operations yield topological conjugacies and factor maps between cellular automata performing multiplication by positive numbers in various bases. △ Less

Submitted 21 February, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 40 pages, 6 figures. The part from the end of Example 4.21 to the start of Subsection 4.4 is new. Additionally, added Propositions 4.30, 4.37, 5.8, Corollary 4.39, Theorem 5.14. Augmented statements for Lemmas 4.29, 4.36, Theorems 5.9, 5.12, Corollaries 5.10, 5.13. A different, shorter proof given for Theorem 4.40. Other minor improvements

MSC Class: 37B15 (Primary) 37B10; 37B51; 37B52 (Secondary)

Journal ref: Ergod. Th. Dynam. Sys. 45 (2025) 526-565

A natural class of cellular automata containing fractional multiplication automata, Rule 30, and others

Authors: Johan Kopra

Abstract: We define the class of rapidly left expansive cellular automata, which contains fractional multiplication automata, Wolfram's Rule 30, and many others. The definition has been shaped by a proposition of Jen on aperiodicity of columns in space-time diagrams of certain cellular automata, which generalizes to this new class. We also present results that originate from the theory of distribution modul… ▽ More We define the class of rapidly left expansive cellular automata, which contains fractional multiplication automata, Wolfram's Rule 30, and many others. The definition has been shaped by a proposition of Jen on aperiodicity of columns in space-time diagrams of certain cellular automata, which generalizes to this new class. We also present results that originate from the theory of distribution modulo 1. △ Less

Submitted 28 February, 2022; originally announced February 2022.

Comments: 12 pages, 4 figures

MSC Class: 37B15 (Primary) 11J71; 37B10 (Secondary)

Sofically presented dynamical systems

Authors: Johan Kopra, Ville Salo

Abstract: 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 sofically presented. Generalizing an observation of Fried, for all discrete countable monoids M, we show that M-subshift/SFT systems are precisely the expansive dynam… ▽ More 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 sofically presented. Generalizing an observation of Fried, for all discrete countable monoids M, we show that M-subshift/SFT systems are precisely the expansive dynamical M-systems, where S_1/S_2 denotes the class of systems obtained by quotienting subshifts in S_1 by (relative) subshifts in S_2. We show that for all finitely generated infinite monoids M, M-SFT \subsetneq M-sofic \subsetneq M-SFT/SFT = M-sofic/SFT \subsetneq M-SFT/sofic = M-sofic/sofic, and that Mañé's theorem about the dimension of expansive systems characterizes the virtually cyclic groups. In the case of one-dimensional actions, Mañe's theorem generalizes to sofically presented systems, which also have finite topological dimension. The basis of this is the construction of an explicit metric for a sofically presented system. We show that any finite connected simplicial complex is a connected component of a finitely presented system, and prove that conjugacy of one-dimensional sofically presented dynamical systems is undecidable. A key idea is the introduction of so-called automatic spaces. We also study the automorphism groups and periodic points of sofically presented systems. We also perform two case studies. First, in the context of $β$-shifts, we define the $β$-kernel -- the least subshift relation that identifies $1$ with its orbit. We give a classification of the $β$-shift/$β$-kernel pair as a function of $β$. Second, we revisit the classical study of toral automorphisms in our framework, and in particular for the classical "golden mean" toral automorphism we explicitly compute the kernel of the standard presentation. △ Less

Submitted 14 May, 2021; originally announced May 2021.

Comments: 56+5 pages, 4 figures

Direct Prime Subshifts and Canonical Covers

Authors: Johan Kopra

Abstract: We present a new sufficient criterion to prove that a non-sofic half-synchronized subshift is direct prime. The criterion is based on conjugacy invariant properties of Fischer graphs of half-synchronized shifts. We use this criterion to show as a new result that all n-Dyck shifts are direct prime, and we also give new proofs of direct primeness of non-sofic beta-shifts and non-sofic S-gap shifts.… ▽ More We present a new sufficient criterion to prove that a non-sofic half-synchronized subshift is direct prime. The criterion is based on conjugacy invariant properties of Fischer graphs of half-synchronized shifts. We use this criterion to show as a new result that all n-Dyck shifts are direct prime, and we also give new proofs of direct primeness of non-sofic beta-shifts and non-sofic S-gap shifts. We also construct a class of non-sofic synchronized direct prime subshifts which additionally admit reversible cellular automata with all directions sensitive. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 18 pages, 3 figures

MSC Class: 37B10 (Primary) 37B15 (Secondary)

On the Trace Subshifts of Fractional Multiplication Automata

Authors: Johan Kopra

Abstract: We address the dynamics of the cellular automaton (CA) that multiplies by $p/q$ in base $pq$ (for coprime $p>q>1$) by studying its trace subshift. We present a conjugacy of the trace to a previously studied base-$p/q$ numeration system. We also show that the trace subshift is not synchronizing and in particular not sofic. As a byproduct we compute its complexity function and we conclude by present… ▽ More We address the dynamics of the cellular automaton (CA) that multiplies by $p/q$ in base $pq$ (for coprime $p>q>1$) by studying its trace subshift. We present a conjugacy of the trace to a previously studied base-$p/q$ numeration system. We also show that the trace subshift is not synchronizing and in particular not sofic. As a byproduct we compute its complexity function and we conclude by presenting an example of a sofic shift with the same complexity function. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 25 pages, 7 figures, submitted to Theoretical Computer Science

MSC Class: 37B15 (Primary) 37B10 (Secondary)

Glider automata on all transitive sofic shifts

Authors: Johan Kopra

Abstract: For any infinite transitive sofic shift $X$ we construct a reversible cellular automaton (i.e. an automorphism of the shift $X$) which breaks any given finite point of the subshift into a finite collection of gliders traveling into opposing directions. This shows in addition that every infinite transitive sofic shift has a reversible CA which is sensitive with respect to all directions. As another… ▽ More For any infinite transitive sofic shift $X$ we construct a reversible cellular automaton (i.e. an automorphism of the shift $X$) which breaks any given finite point of the subshift into a finite collection of gliders traveling into opposing directions. This shows in addition that every infinite transitive sofic shift has a reversible CA which is sensitive with respect to all directions. As another application we prove a finitary Ryan's theorem: the automorphism group aut$(X)$ contains a two-element subset whose centralizer consists only of shift maps. We also show that in the class of $S$-gap shifts these results do not extend beyond the sofic case. △ Less

Submitted 14 February, 2020; originally announced February 2020.

Comments: 29 pages, 4 figures, submitted to Ergodic Theory and Dynamical Systems

MSC Class: 37B10 (Primary); 37B15 (Secondary)

Dynamics of cellular automata on beta-shifts and direct topological factorizations

Authors: Johan Kopra

Abstract: We consider the range of possible dynamics of cellular automata (CA) on two-sided beta-shifts $S_β$. We show that any reversible CA $F:S_β\to S_β$ has an almost equicontinuous direction whenever $S_β$ is not sofic. This has the corollary that non-sofic beta-shifts are topologically direct prime. We also make some preliminary observations on direct topological factorizations of beta-shifts that are… ▽ More We consider the range of possible dynamics of cellular automata (CA) on two-sided beta-shifts $S_β$. We show that any reversible CA $F:S_β\to S_β$ has an almost equicontinuous direction whenever $S_β$ is not sofic. This has the corollary that non-sofic beta-shifts are topologically direct prime. We also make some preliminary observations on direct topological factorizations of beta-shifts that are subshifts of finite type. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Comments: 12 pages, 3 figures, submitted to DLT 2020

MSC Class: 37B10 (Primary) 37B15 (Secondary)

On computing the Lyapunov exponents of reversible cellular automata

Authors: Johan Kopra

Abstract: We consider the problem of computing the Lyapunov exponents of reversible cellular automata (CA). We show that the class of reversible CA with right Lyapunov exponent $2$ cannot be separated algorithmically from the class of reversible CA whose right Lyapunov exponents are at most $2-δ$ for some absolute constant $δ>0$. Therefore there is no algorithm that, given as an input a description of an ar… ▽ More We consider the problem of computing the Lyapunov exponents of reversible cellular automata (CA). We show that the class of reversible CA with right Lyapunov exponent $2$ cannot be separated algorithmically from the class of reversible CA whose right Lyapunov exponents are at most $2-δ$ for some absolute constant $δ>0$. Therefore there is no algorithm that, given as an input a description of an arbitrary reversible CA $F$ and a positive rational number $ε>0$, outputs the Lyapunov exponents of $F$ with accuracy $ε$. We also compute the average Lyapunov exponents (with respect to the uniform measure) of the CA that perform multiplication by $p$ in base $pq$ for coprime $p,q>1$. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Comments: 19 pages, 6 figures, submitted to Natural Computing

MSC Class: 37B15

Cellular Automata and Powers of $p/q$

Authors: Jarkko Kari, Johan Kopra

Abstract: We consider one-dimensional cellular automata $F_{p,q}$ which multiply numbers by $p/q$ in base $pq$ for relatively prime integers $p$ and $q$. By studying the structure of traces with respect to $F_{p,q}$ we show that for $p\geq 2q-1$ (and then as a simple corollary for $p>q>1$) there are arbitrarily small finite unions of intervals which contain the fractional parts of the sequence $ξ(p/q)^n$, (… ▽ More We consider one-dimensional cellular automata $F_{p,q}$ which multiply numbers by $p/q$ in base $pq$ for relatively prime integers $p$ and $q$. By studying the structure of traces with respect to $F_{p,q}$ we show that for $p\geq 2q-1$ (and then as a simple corollary for $p>q>1$) there are arbitrarily small finite unions of intervals which contain the fractional parts of the sequence $ξ(p/q)^n$, ($n=0,1,2,\dots$) for some $ξ>0$. To the other direction, by studying the measure theoretical properties of $F_{p,q}$, we show that for $p>q>1$ there are finite unions of intervals approximating the unit interval arbitrarily well which don't contain the fractional parts of the whole sequence $ξ(p/q)^n$ for any $ξ>0$. △ Less

Submitted 16 October, 2017; originally announced October 2017.

Comments: 15 pages, 8 figures. Accepted for publication in RAIRO-ITA

MSC Class: 11J71; 37A25; 68Q80