2023/06/05 by Carolyn Zhang, Zhang, Carolyn
Computer Science · Mathematics · Physics and Astronomy · #Cellular Automata and Applications #Combinatorics #Connection (principal bundle) #Dimension (graph theory) #Discrete mathematics #Equivalence (formal languages) #Equivalence class (music) #FOS: Physical sciences #Geometry #Hilbert space #Mathematical Physics (math-ph) #Mathematics #Prime (order theory) #Pure mathematics #Quantum Physics (quant-ph) #Quantum and electron transport phenomena #Quantum-Dot Cellular Automata #Strongly Correlated Electrons (cond-mat.str-el)
paper · pdf · doi:10.48550/arxiv.2306.03171
published in arXiv (Cornell University) (Cornell University)
openalex publication_date 2023/06/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.~\onlinecitempu 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 ℤN symmetric QCA when N is prime. We show a counter-example for N=4. We show that QCA with ℤ2 symmetry under strong equivalence, for a given on-site representation, are classified by ℤ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 ℤ2 element. Finally, we show that the GNVW index has a formulation in terms of a ℤ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.