English
Related papers

Related papers: New classes of reversible cellular automata

200 papers

A new fast (real time) sorter of binary numbers by one-dimensional cellular automata is proposed. It sorts a list of n numbers represented by k-bits each in exactly nk steps. This is only one step more than a lower bound.

Cellular Automata and Lattice Gases · Physics 2010-12-06 Thomas Worsch , Hidenosuke Nishio

An interesting thread in the research of Boolean functions for cryptography and coding theory is the study of secondary constructions: given a known function with a good cryptographic profile, the aim is to extend it to a (usually larger)…

Cryptography and Security · Computer Science 2021-11-29 Luca Mariot , Martina Saletta , Alberto Leporati , Luca Manzoni

We show that, for a fairly large class of reversible, one-dimensional cellular automata, the set of additive invariants exhibits an algebraic structure. More precisely, if $f$ and $g$ are one-dimensional, reversible cellular automata of the…

Cellular Automata and Lattice Gases · Physics 2008-07-22 Gianluca Caterina , Bruce M. Boghosian

In this paper we propose a rule-independent description of applications of cellular automata rules for one-dimensional additive cellular automata on cylinders of finite sizes. This description is shown to be a useful tool for for answering…

Dynamical Systems · Mathematics 2007-05-23 Valeriy K. Bulitko

The process of replacing an arbitrary Boolean function by a bijective one, a fundamental tool in reversible computing and in cryptography, is interpreted algebraically as a particular instance of a certain group homomorphism from the X-fold…

Category Theory · Mathematics 2022-08-25 Laurent Poinsot , Hans-E Porst

Global dynamics of a non-linear Cellular Automata is, in general irregular, asymmetric and unpredictable as opposed to that of a linear CA, which is highly systematic and tractable. In the past efforts have been made to systematize…

Computational Complexity · Computer Science 2008-08-13 Sudhakar Sahoo , Pabitra Pal Choudhury , Mithun Chakraborty

We present a one dimensional reversible block cellular automaton, where the time evolution is dictated by a period 3 cycle of update rules. At each time step a subset of the cells is updated using a four site rule with two control bits and…

Statistical Mechanics · Physics 2021-09-22 Balázs Pozsgay

A Boolean function f over n variables is said to be q-locally correctable if, given a black-box access to a function g which is "close" to an isomorphism f_sigma of f, we can compute f_sigma(x) for any x in Z_2^n with good probability using…

Computational Complexity · Computer Science 2011-12-30 Noga Alon , Amit Weinstein

It is shown that for the N-neighbor and K-state cellular automata, the class II, class III and class IV patterns coexist at least in the range $\frac{1}{K} \le \lambda \le 1-\frac{1}{K} $. The mechanism which determines the difference…

Cellular Automata and Lattice Gases · Physics 2007-05-23 Sunao Sakai , Megumi Kanno

The clones of Boolean functions are classified in regard to set-reconstructibility via a strong dichotomy result: the clones containing only affine functions, conjunctions, disjunctions or constant functions are set-reconstructible, whereas…

Combinatorics · Mathematics 2016-11-22 Miguel Couceiro , Erkko Lehtonen , Karsten Schölzel

A two-state, three-dimensional, deterministic, reversible cellular automaton is shown to be capable of approximately circular orbits, wavelike undulations, and particle-like configurations that decay in accordance with a half-life law.

Cellular Automata and Lattice Gases · Physics 2012-06-12 Daniel B. Miller , Edward Fredkin

Many underlying structural and functional factors that determine the fault behavior of a combinational network, are not yet fully understood. In this paper, we show that there exists a large class of Boolean functions, called root…

Other Computer Science · Computer Science 2013-09-17 Debesh K. Das , Debabani Chowdhury , Bhargab B. Bhattacharya , Tsutomu Sasao

We introduce Reverse Derivative Ascent: a categorical analogue of gradient based methods for machine learning. Our algorithm is defined at the level of so-called reverse differential categories. It can be used to learn the parameters of…

Logic in Computer Science · Computer Science 2021-01-27 Paul Wilson , Fabio Zanasi

We show that if $\mathcal{F}$ is any "well-behaved" subset of the Borel functions and we assume the Axiom of Determinacy then the hierarchy of degrees on $\pow(\mathbb{R})$ induced by $\mathcal{F}$ turns out to look like the Wadge hierarchy…

Logic · Mathematics 2010-03-25 Luca Motto Ros

A cellular automaton with $n$ states may be used for construction of reversible second-order cellular automaton with $n^2$ states. Reversible cellular automata with hidden parameters discussed in this paper are generalization of such…

Cellular Automata and Lattice Gases · Physics 2014-03-25 Alexander Yu. Vlasov

Complexity has been a recurrent research topic in cellular automata because they represent systems where complex behaviors emerge from simple local interactions. A significant amount of previous research has been conducted proposing…

We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $\sigma=(\sigma_1,\dots,\sigma_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map…

Classical Analysis and ODEs · Mathematics 2021-04-13 Adam Parusiński , Armin Rainer

Let $n>1$ be an integer, $\alpha\in{\mathbb C}^n$, $b\in{\mathbb C}$, and $V$ a $\mathfrak{gl}_n$-module. We define a class of weight modules $F^\alpha_{b}(V)$ over $\sl_{n+1}$ using the restriction of modules of tensor fields over the Lie…

Representation Theory · Mathematics 2019-08-08 Vyacheslav Futorny , Genqiang Liu , Rencai Lu , Kaiming Zhao

We describe a novel family of models of multi- layer feedforward neural networks in which the activation functions are encoded via penalties in the training problem. Our approach is based on representing a non-decreasing activation function…

Machine Learning · Computer Science 2018-06-22 Armin Askari , Geoffrey Negiar , Rajiv Sambharya , Laurent El Ghaoui

We consider backward filtrations generated by processes coming from deterministic and probabilistic cellular automata. We prove that these filtrations are standard in the classical sense of Vershik's theory, but we also study them from…

Dynamical Systems · Mathematics 2021-06-18 Paul Lanthier , Thierry de la Rue