Lieb-Robinson bound

In plain terms

Here is the problem. Nothing in non-relativistic quantum mechanics obviously forbids an effect here from showing up arbitrarily fast over there. Yet matter behaves locally. Lieb and Robinson proved in 1972 that lattice systems with local interactions enforce their own speed limit: outside an effective cone, influence is not merely weak, it is exponentially negligible.

The corpus proves the finite-arena version from scratch, in stages that mirror the physics: influences commute exactly below the graph distance; the leading term decays like a power; the factorial strengthening makes the bound decay at every time; and the closing form extracts an explicit velocity -- outside the cone set by that velocity, the commutator is suppressed by an exponential in the distance.

A light cone, earned from coupling structure alone.

In CSD

The bound is load-bearing, not decorative: it is the mechanism behind the programme's locality story on the field arena. The record-layer bridge runs it through the arena: 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 hope.

The scope is honest: velocity bounded, not optimal; a finite mode graph, not a continuum; and the identification of this dynamical cone with the kinematic light rays of the dispersion analysis is explicitly NOT made.

Mathematically

The chain: nested commutators of edge-supported generators stay in the coupling graph's k-ball and vanish exactly below the graph distance; the flow remainder obeys a factorial estimate via an integral bound; hence the commutator of time-evolved and static observables is bounded by 2 norm(A) norm(B) (2 norm(S) t)^d / d!, and outside v t <= d with v = 2 e^2 norm(S) it is at most 2 norm(A) norm(B) e^(-d).

The name

Elliott Lieb, born 1932, is an American mathematical physicist at Princeton whose name attaches 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, 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; it waited three decades for its renaissance, then became the workhorse of quantum information theory's locality estimates.