σ Models on Quantum Computers

We formulate a discretization of σ models suitable for simulation by quantum computers. Space is substituted with a lattice, as usually done in lattice field theory, while the target space (a sphere) is replaced by the "fuzzy sphere", a construction well known from noncommutative geometry. Contrary to more naive discretizations of the sphere, in this construction the exact O(3) symmetry is maintained, which suggests that the discretized model is in the same universality class as the continuum model. That would allow for continuum results to be obtained for very rough discretizations of the target space as long as the space discretization is made fine enough. The cost of performing time evolution, measured as the number of controlled-not operations necessary, is 12LT/Δt, where L is the number of spatial sites, T the maximum time extent, and Δt the time spacing.