Discrete functional inequalities on lattice graphs | Synapse