Effective Choice and Boundedness Principles in Computable Analysis

In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice principles which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem and others. We also explore how existing classifications of the Hahn-Banach Theorem and Weak K"onig's Lemma fit into this picture. We compare the results of our classification with existing classifications in constructive and reverse mathematics and we claim that in a certain sense our classification is finer and sheds some new light on the computational content of the respective theorems. We develop a number of separation techniques based on a new parallelization principle, on certain invariance properties of Weihrauch reducibility, on the Low Basis Theorem of Jockusch and Soare and based on the Baire Category Theorem. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example

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

From rubber bands to rational maps: A research report

This research report outlines work, partially joint with Jeremy Kahn and Kevin Pilgrim, which gives parallel theories of elastic graphs and conformal surfaces with boundary. One one hand, this lets us tell when one rubber band network is looser than another, and on the other hand tell when one conformal surface embeds in another. We apply this to give a new characterization of hyperbolic critically finite rational maps among branched self-coverings of the sphere, by a positive criterion: a branched covering is equivalent to a hyperbolic rational map if and only if there is an elastic graph with a particular "self-embedding" property. This complements the earlier negative criterion of W. Thurston.Comment: 52 pages, numerous figures. v2: New example

Inversion symmetric 3-monopoles and the Atiyah-Hitchin manifold

We consider 3-monopoles symmetric under inversion symmetry. We show that the moduli space of these monopoles is an Atiyah-Hitchin submanifold of the 3-monopole moduli space. This allows what is known about 2-monopole dynamics to be translated into results about the dynamics of 3-monopoles. Using a numerical ADHMN construction we compute the monopole energy density at various points on two interesting geodesics. The first is a geodesic over the two-dimensional rounded cone submanifold corresponding to right angle scattering and the second is a closed geodesic for three orbiting monopoles.Comment: latex, 22 pages, 2 figures. To appear in Nonlinearit

The L^2 geometry of spaces of harmonic maps S^2 -> S^2 and RP^2 -> RP^2

Harmonic maps from S^2 to S^2 are all weakly conformal, and so are represented by rational maps. This paper presents a study of the L^2 metric gamma on M_n, the space of degree n harmonic maps S^2 -> S^2, or equivalently, the space of rational maps of degree n. It is proved that gamma is Kaehler with respect to a certain natural complex structure on M_n. The case n=1 is considered in detail: explicit formulae for gamma and its holomorphic sectional, Ricci and scalar curvatures are obtained, it is shown that the space has finite volume and diameter and codimension 2 boundary at infinity, and a certain class of Hamiltonian flows on M_1 is analyzed. It is proved that \tilde{M}_n, the space of absolute degree n (an odd positive integer) harmonic maps RP^2 -> RP^2, is a totally geodesic Lagrangian submanifold of M_n, and that for all n>1, \tilde{M}_n is geodesically incomplete. Possible generalizations and the relevance of these results to theoretical physics are briefly discussed.Comment: 27 pages, 2 figure