Interaction graphs of isomorphic automata networks I: complete digraph and minimum in-degree

01/05/2023

∙

by   Florian Bridoux, et al.

∙

0

∙

share

An automata network with n components over a finite alphabet Q of size q is a discrete dynamical system described by the successive iterations of a function f:Q^n→ Q^n. In most applications, the main parameter is the interaction graph of f: the digraph with vertex set [n] that contains an arc from j to i if f_i depends on input j. What can be said on the set 𝔾(f) of the interaction graphs of the automata networks isomorphic to f? It seems that this simple question has never been studied. Here, we report some basic facts. First, we prove that if n≥ 5 or q≥ 3 and f is neither the identity nor constant, then 𝔾(f) always contains the complete digraph K_n, with n^2 arcs. Then, we prove that 𝔾(f) always contains a digraph whose minimum in-degree is bounded as a function of q. Hence, if n is large with respect to q, then 𝔾(f) cannot only contain K_n. However, we prove that 𝔾(f) can contain only dense digraphs, with at least ⌊ n^2/4 ⌋ arcs.