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.

On the functional graph of the power map over finite groups

On Finite groups whose power graphs are line graphs

Digraphs of power maps over finite nilpotent groups

Functional graphs of generalized cyclotomic mappings of finite fields

Infinite groups with isomorphic power graph and commuting graph

The complement of enhanced power graph of a finite group

Critical classes of power graphs and reconstruction of directed power graphs

Forbidden subgraphs in enhanced power graphs of finite groups

On groups with chordal power graph, including a classification in the case of finite simple groups

Non-Isomorphic Groups with Isomorphic Power and Commuting Graphs

Line graph characterization of power graphs of finite nilpotent groups

On strongly chordal graphs that are not leaf powers

Some Properties of Proper Power Graphs in Finite Abelian Groups

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Super graphs on groups, II

On finite groups whose power graph is claw-free

Classification of non-solvable groups whose power graph is a cograph

Further study on forbidden subgraphs of power graph

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, I: Construction

Distance matrix of enhanced power graphs of finite groups

The full automorphism group of the power (di)graph of a finite group