Hypoelliptic functional inequalities | Synapse