149 research outputs found
Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
We study the computational difficulty of the problem of finding fixed points
of nonexpansive mappings in uniformly convex Banach spaces. We show that the
fixed point sets of computable nonexpansive self-maps of a nonempty, computably
weakly closed, convex and bounded subset of a computable real Hilbert space are
precisely the nonempty, co-r.e. weakly closed, convex subsets of the domain. A
uniform version of this result allows us to determine the Weihrauch degree of
the Browder-Goehde-Kirk theorem in computable real Hilbert space: it is
equivalent to a closed choice principle, which receives as input a closed,
convex and bounded set via negative information in the weak topology and
outputs a point in the set, represented in the strong topology. While in finite
dimensional uniformly convex Banach spaces, computable nonexpansive mappings
always have computable fixed points, on the unit ball in infinite-dimensional
separable Hilbert space the Browder-Goehde-Kirk theorem becomes
Weihrauch-equivalent to the limit operator, and on the Hilbert cube it is
equivalent to Weak Koenig's Lemma. In particular, computable nonexpansive
mappings may not have any computable fixed points in infinite dimension. We
also study the computational difficulty of the problem of finding rates of
convergence for a large class of fixed point iterations, which generalise both
Halpern- and Mann-iterations, and prove that the problem of finding rates of
convergence already on the unit interval is equivalent to the limit operator.Comment: 44 page
The descriptive theory of represented spaces
This is a survey on the ongoing development of a descriptive theory of
represented spaces, which is intended as an extension of both classical and
effective descriptive set theory to deal with both sets and functions between
represented spaces. Most material is from work-in-progress, and thus there may
be a stronger focus on projects involving the author than an objective survey
would merit.Comment: survey of work-in-progres
Bounded time computation on metric spaces and Banach spaces
We extend the framework by Kawamura and Cook for investigating computational
complexity for operators occurring in analysis. This model is based on
second-order complexity theory for functions on the Baire space, which is
lifted to metric spaces by means of representations. Time is measured in terms
of the length of the input encodings and the required output precision. We
propose the notions of a complete representation and of a regular
representation. We show that complete representations ensure that any
computable function has a time bound. Regular representations generalize
Kawamura and Cook's more restrictive notion of a second-order representation,
while still guaranteeing fast computability of the length of the encodings.
Applying these notions, we investigate the relationship between purely metric
properties of a metric space and the existence of a representation such that
the metric is computable within bounded time. We show that a bound on the
running time of the metric can be straightforwardly translated into size bounds
of compact subsets of the metric space. Conversely, for compact spaces and for
Banach spaces we construct a family of admissible, complete, regular
representations that allow for fast computation of the metric and provide short
encodings. Here it is necessary to trade the time bound off against the length
of encodings
- …