Since gauge-invariance comes from Physics, the first extension of this model would be a non-abelian gauge-invariant Quantum CA (QCA). An abelian gauge-invariant QCA was already provided in [1]}, whereas a non-abelian gauge-invariance has been studied in the one-particle sector of QCA, namely quantum walks [2]}: this extension is rather promising.
