Computing approximate roots of monotone functions

We are given a value-oracle for a d-dimensional function f that satisfies the conditions of Miranda's theorem, and therefore has a root. Our goal is to compute an approximate root using a number of evaluations that is polynomial in the number of accuracy digits. For d=1 this is always possible using the bisection method, but for d≥2 this is impossible in general. We show that, if d=2 and f satisfies a single monotonicity condition, then the number of required evaluations is polynomial in the accuracy. The same holds if d≥3 and f satisfies some particular d²−d monotonicity conditions. We show that, if d=2 and f satisfies a single monotonicity condition, then the number of required evaluations is polynomial in the accuracy. The same holds if d≥3 and f satisfies some particular d²−d monotonicity conditions. In contrast, if even two of these monotonicity conditions are missing, then the required number of evaluations might be exponential. As an example application, we show that approximate roots of monotone functions can be used for approximate envy-free cake-cutting.