7–11 Apr 2025
Lecture and Conference Centre
Europe/Warsaw timezone

Global Solver based on the Sperner-Lemma and Mazurkewicz-Knaster-Kuratowski-Lemma based proof of the Brouwer Fixed-Point theorem

10 Apr 2025, 17:50
20m
Room 3

Room 3

Speaker

Thilo Moshagen

Description

A fixed-point solver for mappings from a simplex into itself that is gradient-free, global, and requires d function evaluations for halving the error is presented, where d is the dimension. It is based on topological arguments and uses the constructive proof of the Mazurkewicz-Knaster-Kuratowski lemma when used as part of the proof for Brouwer's Fixed-Point theorem. Its explorative placing of evaluations and the low number of required function evaluations make this solver suitable for computationally expensive or even experimental problems.

Primary author

Presentation materials

There are no materials yet.