(of the general form $variance(f) \lesssim \mathbf{E}[||gradient(f)||^2]$, see here)

• Bounded differences inequality
• Tensorization of variance

See this video for simple derivation of the Poincare inequality for Boolean functions and also funcitons from the hypercube to the reals. This is like a discrete Isoperimetric inequality