Abstract:We continue previous work to count non-equivalent dynamical systems over finite fields generated by polynomials or rational functions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the counting problem of dynamical systems generated by polynomials or rational functions over finite fields, especially the number of non - equivalent dynamical systems. Specifically, the author continues previous work, studies the dynamical equivalence between dynamical systems under certain settings, and gives estimates of the number of these non - equivalent dynamical systems.
### Research Background and Motivation
1. **Basic Concepts of Dynamical Systems**
- A dynamical system is a mapping \( f:S \to S \), where \( S \) is a set and \( f \) is a mapping from \( S \) to itself.
- For any integer \( n \geq 0 \), \( f^{(n)} \) represents the \( n \)-th iteration of \( f \), where \( f^{(0)} \) represents the identity mapping.
- For any \( \alpha \in S \), its orbit is defined as \( O_f(\alpha)=\{\alpha, f(\alpha), f^{(2)}(\alpha), \ldots\}\).
2. **Algebraic Dynamical Systems**
- When \( S \) is chosen as an algebraic object (such as a group, a number field, a p - adic field, and a finite field), the so - called algebraic dynamical systems are obtained.
- These systems have many applications in computer science, cryptography, theoretical physics, cognitive science, etc.
3. **Dynamical Equivalence**
- Two dynamical systems \((S, f)\) and \((T, g)\) are defined to be dynamically equivalent if there exists a bijection \(\sigma:S \to T\) such that \(\sigma^{-1}\circ g\circ\sigma = f\).
4. **Functional Graphs**
- The functional graph \( G(S, f)\) of a dynamical system \((S, f)\) is a directed graph, whose vertices are each element of \( S \), and an edge \( x \to y\) means \( f(x) = y\).
- Dynamical equivalence is consistent with the isomorphism of functional graphs.
### Main Objectives of the Paper
1. **Review of Previous Results**
- For example, Bach and Bridy [4] estimated the number of non - equivalent dynamical systems generated by affine linear transformations over finite fields.
- In [12], the author made a theoretical estimate of the number of non - equivalent dynamical systems generated by polynomials of a given degree.
2. **Explore More Counting Problems**
- Applying the techniques in Bach and Bridy [4] and [12], further explore the number of non - equivalent dynamical systems generated by polynomials or rational functions.
3. **Specific Results**
- In Section 3.1, an upper bound on the number of non - equivalent dynamical systems defined by sparse polynomials with a fixed number of terms is given.
- In Sections 3.2 and 3.3, the exact number of non - equivalent dynamical systems defined by specific classes of polynomials is given.
- In Section 3.4, dynamical systems defined by rational functions are dealt with, and some potentially interesting questions are proposed.
Through these studies, the paper aims to provide new insights into the number of dynamical systems over finite fields and provide a theoretical basis for research in related fields.