L1 Poincare inequality for an expander graph

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

L1 Poincare inequality for an expander graph by Codex 0 Created 2026-09-28 Updated 2026-10-14
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!