English
Related papers

Related papers: New classes of reversible cellular automata

200 papers

Function classes are collections of Boolean functions on a finite set, which are fundamental objects of study in theoretical computer science. We study algebraic properties of ideals associated to function classes previously defined by the…

Commutative Algebra · Mathematics 2020-06-18 Justin Chen , Christopher Eur , Greg Yang , Mengyuan Zhang

We demonstrate that a local mapping f in a space of bisequences over {0,1} which conserves the number of nonzero sites can be viewed as a deterministic particle system evolving according to a local mapping in a space of increasing…

Cellular Automata and Lattice Gases · Physics 2023-12-18 Henryk Fuks

We address the problem of finding optimal strategies for computing Boolean symmetric functions. We consider a collocated network, where each node's transmissions can be heard by every other node. Each node has a Boolean measurement and we…

Information Theory · Computer Science 2009-11-18 Hemant Kowshik , P. R. Kumar

Given a continuous function $f(x)$, suppose that the sign of $f$ only has finitely many discontinuous points in the interval $[0,1]$. We show how to use a sequence of one dimensional deterministic binary cellular automata to determine the…

Cellular Automata and Lattice Gases · Physics 2009-11-07 H. F. Chau , H. Xu , K. M. Lee , L. W. Siu , K. K. Yan

Let L:= Z^D be the D-dimensional lattice and let A^L be the Cantor space of L-indexed configurations in some finite alphabet A, with the natural L-action by shifts. A `cellular automaton' is a continuous, shift-commuting self-map F of A^L,…

Dynamical Systems · Mathematics 2009-09-29 Marcus Pivato

We exhibit a way of "forcing a functional to be an effective operation" for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones for some fixed functional, where the new partial functions can…

Logic · Mathematics 2014-08-22 Eric Faber , Jaap van Oosten

Activation functions (AF) are necessary components of neural networks that allow approximation of functions, but AFs in current use are usually simple monotonically increasing functions. In this paper, we propose trainable compound AF (TCA)…

Machine Learning · Computer Science 2022-04-28 Paul M. Baggenstoss

The invertibility of integral linear operators is a major problem of both theoretical and practical importance. In this paper we investigate the relation between an operator invertibility and the rank of its integral kernel to develop a…

Functional Analysis · Mathematics 2011-05-27 Nikolay Balov

In this paper, we will extend the falling and rising factorial transforms \cite{ref. 1} which in this case every arbitrary function can be applied. Then, the properties of these transforms will be investigated and some corollaries will be…

Classical Analysis and ODEs · Mathematics 2023-12-19 Parham Zarghami

Rotation symmetric Boolean functions represent an interesting class of Boolean functions as they are relatively rare compared to general Boolean functions. At the same time, the functions in this class can have excellent properties, making…

Neural and Evolutionary Computing · Computer Science 2023-11-21 Claude Carlet , Marko Ðurasevic , Bruno Gašperov , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

The algebraic degree of Boolean functions (or vectorial Boolean functions) is an important cryptographic parameter that should be computed by fast algorithms. They work in two main ways: (1) by computing the algebraic normal form and then…

Cryptography and Security · Computer Science 2020-07-03 Valentin Bakoev

A new class of automata networks is defined. Their evolution rules are determined by a probability measure p on the set of all integers Z and an indicator function I_A on the interval [0,1]. It is shown that any cellular automaton rule can…

chao-dyn · Physics 2009-10-28 N. Boccara , H. Fuks , S. Geurten

We consider a new family of operators for reinforcement learning with the goal of alleviating the negative effects and becoming more robust to approximation or estimation errors. Various theoretical results are established, which include…

Machine Learning · Statistics 2019-05-29 Yingdong Lu , Mark S. Squillante , Chai Wah Wu

Let $G$ be a group and $A$ a set. A cellular automaton (CA) $\tau$ over $A^G$ is von Neumann regular (vN-regular) if there exists a CA $\sigma$ over $A^G$ such that $\tau \sigma\tau = \tau$, and in such case, $\sigma$ is called a…

Group Theory · Mathematics 2020-11-17 Alonso Castillo-Ramirez , Maximilien Gadouleau

Let $\mathcal{P}$ be the set of the primes. We consider a class of random multiplicative functions $f$ supported on the squarefree integers, such that $\{f(p)\}_{p\in\mathcal{P}}$ form a sequence of $\pm1$ valued independent random…

Number Theory · Mathematics 2019-11-22 Marco Aymone , Vladas Sidoravicius

A Boolean function of n bits is balanced if it takes the value 1 with probability 1/2. We exhibit a balanced Boolean function with a randomized evaluation procedure (with probability 0 of making a mistake) so that on uniformly random…

Probability · Mathematics 2012-06-21 Itai Benjamini , Oded Schramm , David B. Wilson

In this note we compare two measures of the complexity of a class $\mathcal F$ of Boolean functions studied in (unconditional) pseudorandomness: $\mathcal F$'s ability to distinguish between biased and uniform coins (the coin problem), and…

Computational Complexity · Computer Science 2020-09-01 Rohit Agrawal

We show that a Hilbert space bounded linear operator has an $m$-isometric lifting for some integer $m\ge 1$ if and only if the norms of its powers grow polynomially. In analogy with unitary dilations of contractions, we prove that such…

Functional Analysis · Mathematics 2020-08-25 Catalin Badea , Vladimir Müller , Laurian Suciu

The area of Smart Power Grids needs to constantly improve its efficiency and resilience, to pro-vide high quality electrical power, in a resistant grid, managing faults and avoiding failures. Achieving this requires high component…

Machine Learning · Computer Science 2021-02-03 Pedro J. Rivera Torres , Carlos Gershenson García , Samir Kanaan Izquierdo

A class of languages C is perfect if it is closed under Boolean operations and the emptiness problem is decidable. Perfect language classes are the basis for the automata-theoretic approach to model checking: a system is correct if the…

Formal Languages and Automata Theory · Computer Science 2012-08-28 Javier Esparza , Pierre Ganty , Rupak Majumdar