Abstract:The functional graph of a function $g:X\rightarrow X$ is the directed graph with vertex set $X$ the edges of which are of the form $x\rightarrow g(x)$ for $x\in X$. Functional graphs are heavily studied because they allow one to understand the behavior of $g$ under iteration (i.e., to understand the discrete dynamical system $(X,g)$), which has various applications, especially when $X$ is a finite field $\mathbb{F}_q$. This paper is an extensive study of the functional graphs of so-called index $d$ generalized cyclotomic mappings of $\mathbb{F}_q$, which are a natural and manageable generalization of monomial functions. We provide both theoretical results on the structure of their functional graphs and Las Vegas algorithms for solving fundamental problems, such as parametrizing the connected components of the functional graph by representative vertices, or describing the structure of a connected component given by a representative vertex. The complexity of these algorithms is analyzed in detail, and we make the point that for fixed index $d$ and most prime powers $q$ (in the sense of asymptotic density), suitable implementations of these algorithms have an expected runtime that is polynomial in $\log{q}$ on quantum computers, whereas their expected runtime is subexponential in $\log{q}$ on a classical computer. We also discuss four special cases in which one can devise Las Vegas algorithms with this kind of complexity behavior over most finite fields that solve the graph isomorphism problem for functional graphs of generalized cyclotomic mappings.

Isomorphic gcd-graphs over polynomial rings

On the gcd graphs over polynomial rings and related topics

Topological Indices of Total Graph and Zero Divisor Graph of Commutative Ring: A Polynomial Approach

The critical polynomial of a graph

On determining number and metric dimension of zero-divisor graphs

Functional graphs of generalized cyclotomic mappings of finite fields

A Polynomial Ring Connecting Central Binomial Coefficients and Gould's Sequence

Eccentricity Spectra and Integral Eigenvalues of Zero Divisor Graphs

Unity Product Graph of Some Commutative Rings

Exploring the zero-divisor graph over commutative ring: topological examine of algebraic structure

A remark on sequentially Cohen-Macaulay monomial ideals

Integer Programming with GCD Constraints

Quantifying Algebraic Connectivity: Sombor Index and Polynomial in Some Graphs of Commutative Ring Zp

The Annihilating-Ideal Graph of a Ring

A Note on the Isomorphism Problem for Monomial Digraphs

Characteristic Polynomial of Power Graphs on Direct Product of Any Two Finite Cyclic Groups

On cubic polynomials with the cyclic Galois group

A graph-theoretic approach to ring analysis: Dominant metric dimensions in zero-divisor graphs

Some familiar graphs on the rings of measurable functions

Integral Cayley graphs over a finite symmetric algebra

Generalized non-coprime graphs of groups