Sharp distinction between expansive and abelian expansive networks

Let qq be an alphabet size, and let E[D,q]E[D,q] denote the set of expansive networks on a digraph DD over an alphabet of size qq, while EA[D,q]EA[D,q] denotes the set of abelian expansive networks on DD over that alphabet. Sharp distinction conjecture. For all qq, there exists a digraph DD such that

E[D,q]butEA[D,q]=.E[D,q] \ne \emptyset \quad\text{but}\quad EA[D,q] = \emptyset.

The conjecture asserts that expansive networks can exist on some digraphs even when no abelian expansive network exists, despite the proved bounds for complete graphs and the corresponding polynomial bound for linear networks. Whether such a distinction holds for every alphabet size remains open.

Sources & referencesView supporting material

Primary source

Florian Bridoux, Maximilien Gadouleau and Guillaume Theyssier, “Expansive Automata Networks”, arXiv:1902.08007 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.