English
Related papers

Related papers: A Finite-State Symbolic Automaton Model for the Co…

200 papers

The Collatz process is defined on natural numbers by iterating the map $T(x) = T_0(x) = x/2$ when $x\in\mathbb{N}$ is even and $T(x)=T_1(x) =(3x+1)/2$ when $x$ is odd. In an effort to understand its dynamics, and since Generalised Collatz…

Discrete Mathematics · Computer Science 2022-03-01 Tristan Stérin , Damien Woods

We investigate the structure of Collatz path sequences $\{F^k(n)\}_{k=0}^{\infty}$ for positive integers $n$, where $F$ denotes the standard Collatz map. By classifying natural numbers into residue classes modulo~4, we establish that the…

General Mathematics · Mathematics 2026-03-31 Sawon Pratiher

The Collatz iteration is governed by two distinct update rules, depending on the parity of the current iterate: n(i+1)=3n(i)+1 for odd n(i), and n(i+1)=n(i)/2 for even n(i). We show that these rules can be written equivalently as a single…

Dynamical Systems · Mathematics 2026-04-23 Katharina Lodders

We give new Turing machines that simulate the iteration of the Collatz 3x+1 function. First, a never halting Turing machine with 3 states and 4 symbols, improving the known 3x5 and 4x4 Turing machines. Second, Turing machines that halt on…

Logic · Mathematics 2014-09-26 Pascal Michel

The Collatz, or 3x+1, Conjecture claims that for every positive integer n, there exists some k such that T^k(n)=1, where T is the Collatz map. We present three cellular automata (CA) that transform the global problem of mimicking the…

Number Theory · Mathematics 2013-01-15 Sitan Chen

In a recent paper [arXiv:1506.06649 [nlin.CG]], we presented an example of a 3-state cellular automaton which exhibits behaviour analogous to degenerate hyperbolicity often observed in finite-dimensional dynamical systems. We also…

Cellular Automata and Lattice Gases · Physics 2017-04-04 Henryk Fukś , Joel Midgley-Volpato

We study a class of maps having the Collatz function (famously related to the Collatz Conjecture) as an example, under the topological and ergodic perspectives, including an approach with thermodynamic formalism. By introducing a key…

Dynamical Systems · Mathematics 2026-03-20 Eduardo Santana

We explore the Collatz conjecture and its variants through the lens of termination of string rewriting. We construct a rewriting system that simulates the iterated application of the Collatz function on strings corresponding to mixed…

Logic in Computer Science · Computer Science 2023-01-03 Emre Yolcu , Scott Aaronson , Marijn J. H. Heule

We develop a fully diagrammatic approach to finite-state automata, based on reinterpreting their usual state-transition graphical representation as a two-dimensional syntax of string diagrams. In this setting, we are able to provide a…

Logic in Computer Science · Computer Science 2023-06-22 Robin Piedeleu , Fabio Zanasi

We present a comprehensive structural analysis of the Collatz conjecture through ~1014 computational experiments yielding 630 formal results. By systematically deploying 29 distinct mathematical paradigms--including transfer operator…

Dynamical Systems · Mathematics 2026-04-24 Edward Y. Chang

Every language recognized by a non-deterministic finite automaton can be recognized by a deterministic automaton, at the cost of a potential increase of the number of states, which in the worst case can go from $n$ states to $2^n$ states.…

Formal Languages and Automata Theory · Computer Science 2025-02-05 Arnaud Carayol , Philippe Duchon , Florent Koechlin , Cyril Nicaud

In this paper, we study abstract dynamical systems with discrete phase spaces. One example of such a system is induced by the $3 x{+}1$-map on the set of all natural numbers, also known as the Collatz map. Our main focus is on dynamical…

Operator Algebras · Mathematics 2025-12-01 Takehiko Mori

We here elaborate on a quantitative argument to support the validity of the Collatz conjecture, also known as the (3x + 1) or Syracuse conjecture. The analysis is structured as follows. First, three distinct fixed points are found for the…

Dynamical Systems · Mathematics 2016-12-28 Timoteo Carletti , Duccio Fanelli

In the paper we develop the $p$-adic theory of discrete automata. Every automaton $\mathfrak A$ (transducer) whose input/output alphabets consist of $p$ symbols can be associated to a continuous (in fact, 1-Lipschitz) map from $p$-adic…

Formal Languages and Automata Theory · Computer Science 2012-05-10 Vladimir Anashin

Reduplication, a central instance of prosodic morphology, is particularly challenging for state-of-the-art computational morphology, since it involves copying of some part of a phonological string. In this paper I advocate a finite-state…

Computation and Language · Computer Science 2007-05-23 Markus Walther

We introduce an explicit logarithmic transformation $T(x) = \{\log_6(x + 1/5)\}$ under which the Collatz map becomes a rigid circle rotation by the irrational angle \(\alpha = \log_6 3\), perturbed by a uniformly bounded error term. We…

General Mathematics · Mathematics 2026-01-09 Barmak Honarvar Shakibaei Asli

There are few known universality classes of absorbing phase transitions in one dimension and most models fall in the well-known directed percolation (DP) class. Synchronization is a transition to an absorbing state and this transition is…

Statistical Mechanics · Physics 2024-11-25 Divya D. Joshi , Prashant M. Gade

The Collatz conjecture, which posits that any positive integer will eventually reach 1 through a specific iterative process, is a classic unsolved problem in mathematics. This research focuses on designing an efficient algorithm to compute…

Mathematical Software · Computer Science 2025-07-02 Eyob Solomon Getachew , Beakal Gizachew Assefa

We present a new classification of elementary cellular automata. It is based on the structure of the network of states, connected with the transitions between them; the latter are determined by the automaton rule. Recently an algorithm has…

Cellular Automata and Lattice Gases · Physics 2013-04-23 Malgorzata J. Krawczyk

Consider nondeterministic finite automata recognizing base-k positional notation of numbers. Assume that numbers are read starting from their least significant digits. It is proved that if two sets of numbers S and T are represented by…

Formal Languages and Automata Theory · Computer Science 2009-07-30 Galina Jirásková , Alexander Okhotin
‹ Prev 1 2 3 10 Next ›