Stephen Semmes - Böcker

This book proposes new notions of coherent geometric structure. Fractal patterns have emerged in many contexts, but what exactly is a "pattern" and what is not? How can one make precise the structures lying within objects and the relationships between them? The foundations laid herein provide a fresh approach to a familiar field. From this emerges a wide range of open problems, large and small, and a variety of examples with diverse connections to other parts of mathematics.One of the main features of the present text is that the basic framework is completely new. This makes it easier for people to get into the field. There are many open problems, with plenty of opportunities that are likely to be close at hand, particularly as concerns the exploration of examples. On the other hand the general framework is quite broad and provides the possibility for future discoveries of some magnitude.Fractual geometries can arise in many different ways mathematically, but there is not so much general language for making comparisons. This book provides some tools for doing this, and a place where researchers in different areas can find common ground and basic information.

The present book brings into focus the contrast between explicit and implicit algorithmic descriptions of objects. These themes are considered in a variety of settings, sometimes crossing traditional boundaries. Special emphasis is given to moderate complexity - exponential or polynomial - but objects with multi-exponential complexity also fit in. Among the items under consideration are graphs, formal proofs, languages, automata, groups, circuits, some connections with geometry of metric spaces, and complexity classes (P, NP, co-NP).