1: \begin{abstract}

2:     This paper explores the connection between classical isoperimetric inequalities, their directed

3:     analogues, and monotonicity testing. We study the setting of real-valued functions $f :

4:     \closedInt^d \to \bR$ on the solid unit cube, where the goal is to test with respect to the

5:     $L^p$ distance. Our goals are twofold: to further understand the relationship between classical

6:     and directed isoperimetry, and to give a monotonicity tester with sublinear query complexity in

7:     this setting.

8: 

9:     Our main results are 1)~an $L^2$ monotonicity tester for $M$-Lipschitz functions with query

10:     complexity $\widetilde O(\sqrt{d} M^2 / \epsilon^2)$ and, behind this result, 2)~the directed

11:     Poincaré inequality $\dist^\mono_2(f)^2 \le C\, \Ex{|\grad^- f|^2}$, where the ``directed

12:     gradient'' operator $\grad^-$ measures the local violations of monotonicity of $f$.

13: 

14:     To prove the second result, we introduce a partial differential equation (PDE), the

15:     \emph{directed heat equation}, which takes a one-dimensional function $f$ into a monotone

16:     function $f^*$ over time and enjoys many desirable analytic properties. We obtain the directed

17:     Poincaré inequality by combining convergence aspects of this PDE with the theory of optimal

18:     transport. Crucially for our conceptual motivation, this proof is in complete analogy with the

19:     mathematical physics perspective on the classical Poincaré inequality, namely as characterizing

20:     the convergence of the standard heat equation toward equilibrium.

21: \end{abstract}

22: