Exponential lower bounds for finding Brouwer fixed points

From MaRDI portal





The authors consider algorithms for computing fixed points which use only function evaluations. In one dimension, the bisection algorithm can compute an approximate fixed-point of a map \(f\) (i.e. a point x, such that \(| x-f(x)| \leq 2^{-p})\) in essentially \(O(p)\) steps. No such algorithm exists in two or more dimensions. This is demonstrated by explicitly constructing a map \(f\) for any algorithm such that the number of steps will be exponential in \(p\) and in the dimension of the space. These lower bounds are compared to known upper bounds and are shown to be of the same or similar order.




Cited in
(41)


Describes a project that uses

Uses Software






This page was built for publication: Exponential lower bounds for finding Brouwer fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911230)