Lieb-Robinson bound

In plain terms

Nothing in ordinary, non-relativistic quantum mechanics obviously forbids an effect here from showing up arbitrarily fast over there, yet matter behaves locally. In 1972 Lieb and Robinson proved that systems built from many pieces on a lattice, each interacting only with its neighbours, enforce their own speed limit. There's an effective velocity, and outside the cone it defines, the region a signal travelling at that velocity could reach, influence isn't merely weak but exponentially small in the distance.

CSD's field arena is a finite version of such a system, a finite collection of modes, the elementary degrees of freedom, linked by a coupling graph in which an edge joins two modes that interact directly. The corpus proves the finite-arena version of the bound from scratch, in stages that mirror the physics. An operation and a distant observable have no effect on each other at all until enough steps of interaction have passed to bridge the graph distance between them, the smallest number of edges connecting them. Beyond that point the leading term of the influence, measured by what mathematicians call the commutator, the difference made by the order in which two operations are applied, decays like a power, and a factorial strengthening then makes the bound decay at every time. Finally the closing form extracts an explicit velocity, so outside the cone it sets the commutator is suppressed by an exponential in the distance.

The result is a light cone earned from the structure of the couplings alone.

In CSD

The bound is load-bearing rather than decorative, as it's the mechanism behind the programme's account of locality on the field arena. The record layer, CSD's account of how measurement outcomes are written into the arena, runs the bound through a bridge to the arena with its fibre attached, so a record cell in the fibre can be steered from outside the cone by no more than a bound that collapses factorially with distance, which is what makes records stable against distant meddling by theorem rather than by hope.

The scope is stated plainly. The velocity obtained is a bound and not the best possible one, the setting is a finite graph of modes and not a continuum, and the corpus explicitly doesn't identify this dynamical cone with the kinematic light rays of its dispersion analysis.

Mathematically

The proof runs as a chain. Nested commutators of edge-supported generators stay in the coupling graph's k-ball and vanish exactly below the graph distance, and the flow remainder obeys a factorial estimate via an integral bound.

Hence the commutator of a time-evolved observable A and a static observable B at graph distance d is bounded by 2 norm(A) norm(B) (2 norm(S) t)^d / d!, and the closing theorem norm_commutator_velocity_le gives, for v t <= d with v = 2 e^2 norm(S), the bound 2 norm(A) norm(B) e^(-d).

The name

Elliott Lieb was born in 1932. An American mathematical physicist at Princeton, he has attached his name to an improbable number of sharp inequalities across analysis and quantum theory. Derek Robinson (1935-2021) was a British-Australian mathematical physicist, long at the Australian National University, and co-author of the standard operator-algebra treatment of quantum statistical mechanics. Their 1972 paper in Communications in Mathematical Physics proved the group velocity bound for lattice spin systems, and it waited three decades for its renaissance and then became the workhorse of the locality estimates of quantum information theory.

Related entries

• Field arenaTake finitely many field modes, cap the number of quanta each can hold, and the whole toolbox of quantum field theory, propagators, light cones, Wick's theorem and thermal states, reappears as exact theorems on one finite arena.
• Record light coneRecords are safe from distant meddling by theorem, as anything that happens outside the light cone can shift the outcome written into the arena's fibre by no more than a bound that collapses factorially with distance.
• Interaction priceSwitching on an interaction between field modes makes local quantities spread at a rate proportional to the coupling, and the corpus proves the rate is exact, at most twice the coupling times the elapsed time, and at least a fixed fraction of it.
• IsolationBeing isolated isn't scene-setting, as it's the variable the whole theory turns on, and quantum mechanics is what isolated pieces of the arena look like from outside.
• Wick's theoremThe bookkeeping rule at the heart of quantum field theory, which reduces any correlation of field operators to a sum over pairings, survives a finite cutoff exactly, and the threshold at which it fails is part of the theorem.