We present a generalization of quantum error correction to infinite-dimensional Hilbert spaces. We find that, under relatively mild conditions, much of the structure known from systems in finite-dimensional Hilbert spaces carries straightforwardly over to infinite dimensions. We also find that, at least in principle, there exist qualitatively new classes of quantum error correcting codes that have no finite-dimensional counterparts. We begin with a shift of focus from states to algebras of observables. Standard subspace codes and subsystem codes are seen as the special case of algebras of observables given by finite-dimensional von Neumann factors of type I. The new classes of codes that arise in infinite dimensions are shown to be characterized by von Neumann algebras of types II and III, for which we give in-principle physical examples.
A simple formalism is introduced for describing the quantum phase of a single-mode field (or, equivalently, a harmonic oscillator) using a particular infinite-dimensional Hilbert space
Hsym. This space is spanned by vectors which represent states of the single field mode containing non-negative numbers of photons. It has a symmetry in the sense that it contains vectors in the neighborhood of both the vacuum state and the infinite photon number state. A striking property of
Hsym is that it supports Hermitian and unitary phase operators. Indeed the Pegg-Barnett unitary phase operators are shown to converge strongly on the Hilbert space
Hsym and so the correponding limit points are ordinary operators on
Hsym. This can be compared with the situation for the infinite-dimensional Hilbert space H conventionally used in quantum optics on which the Pegg-Barnett unitary phase operators converge weakly, in general.