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.

Parameters of Quotient-Polynomial Graphs

Parameters of Quotient-Polynomial Graphs

Quotients of graph operators by symmetry representations

On Enumeration of Polynomial Equivalence Classes

Functional graphs of generalized cyclotomic mappings of finite fields

The critical polynomial of a graph

A Family of Symmetric Graphs with Complete Quotients.

Polynomial correspondences expressible as maps of $d$-tuples

Bivariate $P$-polynomial association schemes

On a Characterization of the Bilinear Forms Graphs Bil q ( d × d )

Graph parameters, implicit representations and factorial properties

$Q$-polynomial distance-regular graphs and a double affine Hecke algebra of rank one

Some graph theoretical characterizations of positive definite symmetric quasi-Cartan matrices

On the $Q$-polynomial property of the full bipartite graph of a Hamming graph

Multivariate P- and/or Q-polynomial association schemes

A parametrization of nonassociative cyclic algebras of prime degree

Integral Cayley graphs over a finite symmetric algebra

On distance graphs in rational spaces

Symbol length in positive characteristic

Geometric Combinatorics of Polynomials I: The Case of a Single Polynomial

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs