Abstract:In this note, we present some results on the classification of quantum cellular automata (QCA) in 1D under strong equivalence rather than stable equivalence. Under strong equivalence, we only allow adding ancillas carrying the original on-site representation of the symmetry, while under stable equivalence, we allow adding ancillas carrying any representation of the symmetry. The former may be more realistic, because in physical systems especially in AMO/quantum computing contexts, we would not expect additional spins carrying arbitrary representations of the symmetry to be present. Ref.~\onlinecite{mpu} proposed two kinds of symmetry-protected indices (SPIs) for QCA with discrete symmetries under strong equivalence. In this note, we show that the more refined of these SPIs still only has a one-to-one correspondence to equivalence classes of $\mathbb{Z}_N$ symmetric QCA when $N$ is prime. We show a counter-example for $N=4$. We show that QCA with $\mathbb{Z}_2$ symmetry under strong equivalence, for a given on-site representation, are classified by $\mathbb{Z}^{pq}$ where $p$ is the number of prime factors of the on-site Hilbert space dimension and $q$ is the number of prime factors of the trace of the nontrivial on-site $\mathbb{Z}_2$ element. Finally, we show that the GNVW index has a formulation in terms of a $\mathbb{Z}_2$ SPI in a doubled system, and we provide a direct connection between the SPI formulation of the GNVW index and a second Renyi version of the mutual information formula for the GNVW index.

An approximate equivalence for the GNS representation of the Haar state of $SU_{q}(2)$

Unitary Representations of Su_q(2) on the Plane for q in R+ or Generic q in S1

On some algebraic and geometric aspects of the quantum unitary group

Irreducible representations of the crystallization of the quantized function algebras $C(SU_{q}(n+1))$

Compact quantum group C^*-algebras as Hopf algebras with approximate unit

$q$-Analogue of the degree zero part of a rational Cherednik algebra

Quantum Invariant Measures

Isomorphism Of 2 Realizations Of Quantum Affine Algebra Uq(Gl(N))Over-Cap

The approximation property for locally compact quantum groups

Quantum $\frak {gl}_\infty$, infinite $q$-Schur algebras and their representations

Quantum Character Theory

Quaternionic Satake equivalence

On the Harish-Chandra Homomorphism for Quantum Superalgebras

Quantum Cellular Automata on Symmetric Subalgebras

The Quasi-Hopf Analogue of $\Mathrm{u}_q(\mathfrak{sl}_2)$

Representations of the Small Quasi-Quantum Group ${\Operatorname{q}}\mathbf{u}_{q}(\mathfrak{sl}_{2})$

On Unitary 2-Group Symmetries

Unitary Easy Quantum Groups Arising as Quantum Symmetries of Graph C*-algebras

Note on quantum cellular automata and strong equivalence