DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

arXiv2304.00068MaRDI QIDQ6509449FDOQ6509449

Abstract: For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category, and show it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a lattice

L s u b s e t e q m a t h b b R^{n}

satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebras

A

of operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric quantum cellular automata (QCA) to

e x t b f {A u t}_{b r} (e x t b f D H R (A))

, containing symmetric finite depth circuits in the kernel. For a spin chain with fusion categorical symmetry

m a t h c a l D

, we show the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center

m a t h c a l Z (m a t h c a l D)

. We use this to show that for the double spin flip action

m a t h b b Z / 2 m a t h b b Z i m e s m a t h b b Z / 2 m a t h b b Z c u r v e a r r o w r i g h t m a t h b b C^{2} o t i m e s m a t h b b C^{2}

, the group of symmetric QCA modulo symmetric finite depth circuits in 1D contains a copy of

S_{3}

, hence is non-abelian, in contrast to the case with no symmetry.

Mathematics Subject Classification ID

Subfactors and their classification (46L37) Operator algebra methods applied to problems in quantum theory (81R15) Fusion categories, modular tensor categories, modular functors (18M20)

This page was built for publication: DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6509449)