
1 Introduction
Locality is of fundamental importance in theoretical
physics. The observable physics of quantum dynamics
is local if the Hamiltonian is geometrically local1,
i.e. if the Hamiltonian is a sum of local operators.
An operator (other than the Hamiltonian) is said to
be local if it only acts on a small region of space.
But locality is not explicit in the Schr¨odinger picture
because the wavefunction is global in the sense that it
can not be associated with any local region of space,
and the time dynamics of the wavefunction globally
depends on all Hamiltonian terms. On the other
hand, locality is explicit in the Heisenberg picture,
for which the time dynamics of local operators
only depends on nearby local operators (when the
Hamiltonian is local). [1] This motivates us to ask: Is
it possible to modify the Schr¨odinger picture to make
locality explicit in the equations of motion?
Gauge theory is another fundamental concept in
theoretical physics. Gauge theory is the foundation
of the Standard Model of particle physics and is also
used to describe exotic phases of condensed matter
[2,3]. An important tool that gauge theory provides
is the gauging process, in which one promotes a
global symmetry into a local gauge symmetry by
coupling the original model to gauge fields. For
example, a scalar field theory L=1
2(∂µϕ)2is invariant
under a global U(1) symmetry ϕ(x)→ϕ(x) + λ.
By coupling ϕto a gauge field Aµas in
Lgauged =1
2(∂µϕ−Aµ)2, the global symmetry
is promoted to a local gauge symmetry where
ϕ(x)→ϕ(x) + λ(x)and Aµ(x)→Aµ(x) + ∂µλ(x).
Gauging more exotic symmetries leads to more
exotic physics; e.g. gauging spatial symmetries can
lead to gravity and gauging fractal symmetries can
result in fracton topological order [4]. In quantum
mechanics, expectation values ⟨ψ|A|ψ⟩are invariant
under a global unitary transformation acting on the
wavefunction |ψ⟩ → U|ψ⟩and operators A→UAU†.
Although this transformation is typically viewed as a
global invariance rather than a global symmetry, we
can still ask: Is it possible to gauge the global unitary
invariance in quantum mechanics? And what are the
consequences of doing so?
We find that the answer to both questions is
yes, and that one consequence of gauging the global
unitary invariance is that locality becomes explicit
in the equations of motion. In order to achieve
this, we introduce a collection of local wavefunctions
|ψI⟩, each associated with a local patch of space.
Each local wavefunction is an element of the same
Hilbert space as the usual wavefunction. The local
wavefunction associated with nearby patches are
related by unitary transformations UIJ , which are
1Geometric locality is not to be confused with the weaker
notion of k-locality, for which an operator is k-local if it acts
on at most kqubits anywhere in space.
also dynamical. Locality is explicit in the sense that
the equations of motion [Eq. (19)] for the dynamical
variables (|ψI⟩and UIJ ) only depends on nearby
Hamiltonian terms and nearby dynamical variables.
(Note that locality is not explicit in Schr¨odinger’s
picture in this way.)
The Schr¨odinger and Heisenberg pictures are
related by a time-dependant unitary transformation
that acts on the wavefunctions and operators. Our
new picture of quantum dynamics is related to the
Schr¨odinger and Heisenberg pictures via a local gauge
transformation. We describe these derivations in
detail in Sec. 2and Sec. 3. The new local equations
of motion are given in Eq. (19), and the local gauge
transformation is given in Eq. (22).
In Sec. 4, we show that the gauge picture local
wavefunction associated with a patch is equivalent
to the interaction picture wavefunction when the
interaction Hamiltonian is the sum over Hamiltonian
terms that have some support on that patch. To
gain intuition, in Sec. 5we consider the example
of a quantum circuit in the gauge picture. In
Sec. 6, we describe the measurement process in the
gauge picture. Although local unitary dynamics are
explicitly local in the gauge picture, the affect of
local measurement is not explicitly local in the gauge
picture (similar to the Schr¨odinger picture). In Sec. 7,
we generalize spatial locality in the gauge picture to
e.g. locality in local particle number or local energy
density.
2 Schr¨
odinger to Heisenberg Picture
To warm up, we first derive the Heisenberg picture
from the Schr¨odinger picture. In the Schr¨odinger
picture, the wavefunction evolves according to
∂tψS(t)=−iHS(t)ψS(t)(1)
where HS(t)is the Hamiltonian (and we set ℏ= 1).
We use superscripts “S” and “H” to respectively
label time-dependent variables in the Schr¨odinger and
Heisenberg pictures.
To derive the Heisenberg picture, consider applying
a time-dependent unitary transformation to the
wavefunction and operators:
ψH(t)=U†(t)ψS(t)
AH(t) = U†(t)AS(t)U(t)(2)
Equation (2)defines the meaning of the “H”
superscript for all operators and wavefunctions. This
unitary transformation has the essential property that
it does not affect expectation values:
ψH(t)AH(t)ψH(t)=ψS(t)AS(t)ψS(t)(3)
Since U(t)does not affect the physics, the unitary
transformation U(t)could therefore be viewed as a
Accepted in Quantum 2024-03-13, click title to verify. Published under CC-BY 4.0. 2