Maximal Length Cellular Automata : A Survey

Sumit Adak,Sukanta Das

2024-10-08

Abstract:This article surveys some theoretical aspects of Cellular Automata (CAs) research. In particular, we discuss on maximal length CA. An n-cell CA is a maximal length CA, if all the configurations except one form a single cycle. There is a bonding between maximal length CA and primitive polynomial. So, primitive polynomials occupy a good amount of space in this survey. The main goal of this survey is to provide a tutorial on maximal length CA theory to researchers with classical and new results on maximality. We also give a compact collection of known results with references to their proofs, and to suggest some open problems. Additionally, some new theorems and corollaries are added to bridge the gaps among several known results.

Formal Languages and Automata Theory,Computational Complexity

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the theoretical research on maximal length Cellular Automata (CAs) in Cellular Automata. Specifically, the main objective of the paper is to provide researchers with a tutorial on the theory of maximal length CAs, covering both classical and new research findings, summarizing the known results and citing their proofs, and at the same time proposing some open problems.

### Core Problems of the Paper
1. **Definition and Characteristics**:
- What is a maximal length Cellular Automaton? An n - ary Cellular Automaton is a maximal length Cellular Automaton if all configurations, except for one, form a single cycle.
- What is the relationship between maximal length Cellular Automata and primitive polynomials?

2. **Theoretical Framework**:
- Provide the algebraic framework for linear maximal length Cellular Automata, including how to characterize these automata through matrix algebra.
- Explore the performance of different types of Cellular Automata (linear, complementary, and nonlinear) in terms of the maximal length property.

3. **Synthesis Methods**:
- How to generate maximal length Cellular Automata from a given primitive polynomial?
- Strategies for synthesizing primitive polynomials using Cellular Automata as tools.

4. **Dependence on Boundary Conditions**:
- The existence and characteristics of maximal length Cellular Automata under different boundary conditions (such as zero - boundary conditions, periodic - boundary conditions, intermediate - boundary conditions).

5. **Application Areas**:
- The applications of maximal length Cellular Automata in areas such as Pseudo - Random Number Generators (PRNG) and cryptography.

6. **Open Problems**:
- Propose some open problems that need to be solved in future research, especially the unsolved problems regarding maximal length Cellular Automata.

### Formula Representation
- **Characteristic Polynomial**: Let \(T\) be an \(n\times n\) characteristic matrix, then the characteristic polynomial \(P(x)=\det(xI + T)\bmod 2\).
- **Recurrence Formula**: The recurrence formula for the characteristic polynomial is:
\[
\Delta_{-1} = 1,\quad\Delta_0=(x + d_0)
\]
\[
\Delta_k=(x + d_k)\Delta_{k - 1}+b_{k - 1}a_k\Delta_{k - 2}
\]

### Conclusion
Through in - depth exploration of maximal length Cellular Automata, the paper not only provides a theoretical basis but also shows the possibility of practical applications and points out the direction for future research.