L1 Poincare inequality for an expander graph

ID: l1-poincare-inequality-for-an-expander-graph

If has adjacency matrix and expansion , then every -valued map on its vertices satisfies
For scalar functions this follows from the layer-cake formula applied above and below a median; integration over the coordinate proves the vector-valued form.

New to topics? Read the docs here!