The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational Algebra. Topics covered include basic models and questions of complexity theory, the Blum-Shub-Smale model of computation, probability theory applied to algorithmics (randomized alogrithms), parametric complexity, Kolmogorov complexity of finite strings, computational group theory, counting problems, and canonical models of ZFC providing a solution to continuum hypothesis. The text addresses students in computer science or mathematics, and professionals in these areas who seek a complete, but gentle introduction to a wide range of techniques, concepts, and research horizons in the area of computational complexity in a broad sense.

This book is an outcome of two Conferences on Ulam Type Stability (CUTS) organized in 2016 (July 4-9, Cluj-Napoca, Romania) and in 2018 (October 8-13, 2018, Timisoara, Romania). It presents up-to-date insightful perspective and very resent research results on Ulam type stability of various classes of linear and nonlinear operators; in particular on the stability of many functional equations in a single and several variables (also in the lattice environments, Orlicz spaces, quasi-b-Banach spaces, and 2-Banach spaces) and some orthogonality relations (e.g., of Birkhoff-James). A variety of approaches are presented, but a particular emphasis is given to that of fixed points, with some new fixed point results and their applications provided. Besides these several other topics are considered that are somehow related to the Ulam stability such as: invariant means, geometry of Banach function modules, queueing systems, semi-inner products and parapreseminorms, subdominant eigenvalue location of a bordered diagonal matrix and optimal forward contract design for inventory. New directions and several open problems regarding stability and non-stability concepts are included. Ideal for use as a reference or in a seminar, this book is aimed toward graduate students, scientists and engineers working in functional equations, difference equations, operator theory, functional analysis, approximation theory, optimization theory, and fixed point theory who wish to be introduced to a wide spectrum of relevant theories, methods and applications leading to interdisciplinary research. It advances the possibilities for future research through an extensive bibliography and a large spectrum of techniques, methods and applications.

This book is the result of a meeting on Topology and Functional Analysis, and is dedicated to Professor Manuel Lopez-Pellicer's mathematical research. Covering topics in descriptive topology and functional analysis, including topological groups and Banach space theory, fuzzy topology, differentiability and renorming, tensor products of Banach spaces and aspects of Cp-theory, this volume is particularly useful to young researchers wanting to learn about the latest developments in these areas.

In the early 1920s M. Morse discovered that the number of critical points of a smooth function on a manifold is closely related to the topology of the manifold. This became a starting point of the Morse theory which is now one of the basic parts of differential topology. Circle-valued Morse theory originated from a problem in hydrodynamics studied by S. P. Novikov in the early 1980s. Nowadays, it is a constantly growing field of contemporary mathematics with applications and connections to many geometrical problems such as Arnold's conjecture in the theory of Lagrangian intersections, fibrations of manifolds over the circle, dynamical zeta functions, and the theory of knots and links in the three-dimensional sphere. The aim of the book is to give a systematic treatment of geometric foundations of the subject and recent research results. The book is accessible to first year graduate students specializing in geometry and topology.

A survey of current knowledge about Hamiltonian systems with three or more degrees of freedom and related topics. The Hamiltonian systems appearing in most of the applications are non-integrable. Hence methods to prove non-integrability results are presented and the different meaning attributed to non-integrability are discussed. For systems near an integrable one, it can be shown that, under suitable conditions, some parts of the integrable structure, most of the invariant tori, survive. Many of the papers discuss near-integrable systems. From a topological point of view, some singularities must appear in different problems, either caustics, geodesics, moving wavefronts, etc. This is also related to singularities in the projections of invariant objects, and can be used as a signature of these objects. Hyperbolic dynamics appear as a source on unpredictable behaviour and several mechanisms of hyperbolicity are presented. The destruction of tori leads to Aubrey-Mather objects, and this is touched on for a related class of systems. Examples without periodic orbits are constructed, against a classical conjecture. Other topics concern higher dimensional systems, either finite (networks and localised vibrations on them) or infinite, like the quasiperiodic SchrAdinger operator or nonlinear hyperbolic PDE displaying quasiperiodic solutions. Most of the applications presented concern celestial mechanics problems, like the asteroid problem, the design of spacecraft orbits, and methods to compute periodic solutions.

This monograph presents a new model of mathematical structures called weak n-categories. These structures find their motivation in a wide range of fields, from algebraic topology to mathematical physics, algebraic geometry and mathematical logic. While strict n-categories are easily defined in terms associative and unital composition operations they are of limited use in applications, which often call for weakened variants of these laws. The author proposes a new approach to this weakening, whose generality arises not from a weakening of such laws but from the very geometric structure of its cells; a geometry dubbed weak globularity. The new model, called weakly globular n-fold categories, is one of the simplest known algebraic structures yielding a model of weak n-categories. The central result is the equivalence of this model to one of the existing models, due to Tamsamani and further studied by Simpson. This theory has intended applications to homotopy theory, mathematical physics and to long-standing open questions in category theory. As the theory is described in elementary terms and the book is largely self-contained, it is accessible to beginning graduate students and to mathematicians from a wide range of disciplines well beyond higher category theory. The new model makes a transparent connection between higher category theory and homotopy theory, rendering it particularly suitable for category theorists and algebraic topologists. Although the results are complex, readers are guided with an intuitive explanation before each concept is introduced, and with diagrams showing the interconnections between the main ideas and results.

This volume covers many diverse topics related in varying degrees to mathematics in mind including the mathematical and topological structures of thought and communication. It examines mathematics in mind from the perspective of the spiral, cyclic and hyperlinked structures of the human mind in terms of its language, its thoughts and its various modes of communication in science, philosophy, literature and the arts including a chapter devoted to the spiral structure of the thought of Marshall McLuhan. In it, the authors examine the topological structures of hypertext, hyperlinking, and hypermedia made possible by the Internet and the hyperlinked structures that existed before its emergence. It also explores the cognitive origins of mathematical thinking of the human mind and its relation to the emergence of spoken language, and studies the emergence of mathematical notation and its impact on education. Topics addressed include: * The historical context of any topic that involves how mathematical thinking emerged, focusing on archaeological and philological evidence. * Connection between math cognition and symbolism, annotation and other semiotic processes. * Interrelationships between mathematical discovery and cultural processes, including technological systems that guide the thrust of cognitive and social evolution. * Whether mathematics is an innate faculty or forged in cultural-historical context * What, if any, structures are shared between mathematics and language

Cuts and metrics are well-known objects that arise - independently, but with many deep and fascinating connections - in diverse fields: in graph theory, combinatorial optimization, geometry of numbers, combinatorial matrix theory, statistical physics, VLSI design etc. This book offers a comprehensive summary together with a global view, establishing both old and new links. Its treatment ranges from classical theorems of Menger and Schoenberg to recent developments such as approximation results for multicommodity flow and max-cut problems, metric aspects of Delaunay polytopes, isometric graph embeddings, and matrix completion problems. The discussion leads to many interesting subjects that cannot be found elsewhere, providing a unique and invaluable source for researchers and graduate students.

A systematic and integrated approach to Cantor Sets and their applications to various branches of mathematics The Elements of Cantor Sets: With Applications features a thorough introduction to Cantor Sets and applies these sets as a bridge between real analysis, probability, topology, and algebra. The author fills a gap in the current literature by providing an introductory and integrated perspective, thereby preparing readers for further study and building a deeper understanding of analysis, topology, set theory, number theory, and algebra. The Elements of Cantor Sets provides coverage of: * Basic definitions and background theorems as well as comprehensive mathematical details * A biography of Georg Ferdinand Ludwig Philipp Cantor, one of the most significant mathematicians of the last century * Chapter coverage of fractals and self-similar sets, sums of Cantor Sets, the role of Cantor Sets in creating pathological functions, p-adic numbers, and several generalizations of Cantor Sets * A wide spectrum of topics from measure theory to the Monty Hall Problem An ideal text for courses in real analysis, topology, algebra, and set theory for undergraduate and graduate-level courses within mathematics, computer science, engineering, and physics departments, The Elements of Cantor Sets is also appropriate as a useful reference for researchers and secondary mathematics education majors.

The present monograph develops a unified theory of Steinberg groups, independent of matrix representations, based on the theory of Jordan pairs and the theory of 3-graded locally finite root systems. The development of this approach occurs over six chapters, progressing from groups with commutator relations and their Steinberg groups, then on to Jordan pairs, 3-graded locally finite root systems, and groups associated with Jordan pairs graded by root systems, before exploring the volume's main focus: the definition of the Steinberg group of a root graded Jordan pair by a small set of relations, and its central closedness. Several original concepts, such as the notions of Jordan graphs and Weyl elements, provide readers with the necessary tools from combinatorics and group theory. Steinberg Groups for Jordan Pairs is ideal for PhD students and researchers in the fields of elementary groups, Steinberg groups, Jordan algebras, and Jordan pairs. By adopting a unified approach, anybody interested in this area who seeks an alternative to case-by-case arguments and explicit matrix calculations will find this book essential.

This book is a significant companion text to the existing literature on continuum theory. It opens with background information of continuum theory, so often missing from the preceding publications, and then explores the following topics: inverse limits, the Jones set function T, homogenous continua, and n-fold hyperspaces. In this new edition of the book, the author builds on the aforementioned topics, including the unprecedented presentation of n-fold hyperspace suspensions and induced maps on n-fold hyperspaces. The first edition of the book has had a remarkable impact on the continuum theory community. After twelve years, this updated version will also prove to be an excellent resource within the field of topology.

This interdisciplinary volume collects contributions from experts in their respective fields with as common theme diagrams. Diagrams play a fundamental role in the mathematical visualization and philosophical analysis of forms in space. Some of the most interesting and profound recent developments in contemporary sciences, whether in topology, geometry, dynamic systems theory, quantum field theory or string theory, have been made possible by the introduction of new types of diagrams, which, in addition to their essential role in the discovery of new classes of spaces and phenomena, have contributed to enriching and clarifying the meaning of the operations, structures and properties that are at the heart of these spaces and phenomena. The volume gives a closer look at the scope and the nature of diagrams as constituents of mathematical and physical thought, their function in contemporary artistic work, and appraise, in particular, the actual importance of the diagrams of knots, of braids, of fields, of interaction, of strings in topology and geometry, in quantum physics and in cosmology, but also in theory of perception, in plastic arts and in philosophy. The editors carefully curated this volume to be an inspiration to students and researchers in philosophy, phenomenology, mathematics and the sciences, as well as artists, musicians and the general interested audience.

Professor Atiyah is one of the greatest living mathematicians and is well known throughout the mathematical world. He is a recipient of the Fields Medal, the mathematical equivalent of the Nobel Prize, and is still at the peak of his career. His huge number of published papers, focusing on the areas of algebraic geometry and topology, have here been collected into six volumes, divided thematically for easy reference by individuals interested in a particular subject.
This sixth volume in Michael Atiyah's collected works contains a selection of his publications since 1987, including his work on skyrmions, "Atiyah's axioms" for topological quantum field theories, monopoles, knots, K-theory, equivariant problems, point particles, and M-theory.

Tamari lattices originated from weakenings or reinterpretations of the familar associativity law. This has been the subject of Dov Tamari's thesis at the Sorbonne in Paris in 1951 and the central theme of his subsequent mathematical work. Tamari lattices can be realized in terms of polytopes called associahedra, which in fact also appeared first in Tamari's thesis.

By now these beautiful structures have made their appearance in many different areas of pure and applied mathematics, such as algebra, combinatorics, computer science, category theory, geometry, topology, and also in physics. Their interdisciplinary nature provides much fascination and value.

On the occasion of Dov Tamari's centennial birthday, this book provides an introduction to topical research related to Tamari's work and ideas. Most of the articles collected in it are written in a way accessible to a wide audience of students and researchers in mathematics and mathematical physics and are accompanied by high quality illustrations.

Signal processing is the discipline of extracting information from collections of measurements. To be effective, the measurements must be organized and then filtered, detected, or transformed to expose the desired information. Distortions caused by uncertainty, noise, and clutter degrade the performance of practical signal processing systems.

In aggressively uncertain situations, the full truth about an underlying signal cannot be known. This book develops the theory and practice of signal processing systems for these situations that extract useful, qualitative information using the mathematics of topology -- the study of spaces under continuous transformations. Since the collection of continuous transformations is large and varied, tools which are topologically-motivated are automatically insensitive to substantial distortion. The target audience comprises practitioners as well as researchers, but the book may also be beneficial for graduate students.

Visualization research aims to provide insight into large, complicated data sets and the phenomena behind them. While there are di?erent methods of reaching this goal, topological methods stand out for their solid mathem- ical foundation, which guides the algorithmic analysis and its presentation. Topology-based methods in visualization have been around since the beg- ning of visualization as a scienti?c discipline, but they initially played only a minor role. In recent years,interest in topology-basedvisualization has grown andsigni?cantinnovationhasledto newconceptsandsuccessfulapplications. The latest trends adapt basic topological concepts to precisely express user interests in topological properties of the data. This book is the outcome of the second workshop on Topological Methods in Visualization, which was held March 4-6, 2007 in Kloster Nimbschen near Leipzig,Germany.Theworkshopbroughttogethermorethan40international researchers to present and discuss the state of the art and new trends in the ?eld of topology-based visualization. Two inspiring invited talks by George Haller, MIT, and Nelson Max, LLNL, were accompanied by 14 presentations by participants and two panel discussions on current and future trends in visualization research. This book contains thirteen research papers that have been peer-reviewed in a two-stage review process. In the ?rst phase, submitted papers where peer-reviewed by the international program committee. After the workshop accepted papers went through a revision and a second review process taking into account comments from the ?rst round and discussions at the workshop. Abouthalfthepapersconcerntopology-basedanalysisandvisualizationof ?uid?owsimulations;twopapersconcernmoregeneraltopologicalalgorithms, while the remaining papers discuss topology-based visualization methods in application areas like biology, medical imaging and electromagnetism.

This book contains the proceedings of the conference "Fractals in Graz 2001 - Analysis, Dynamics, Geometry, Stochastics" that was held in the second week of June 2001 at Graz University of Technology, in the capital of Styria, southeastern province of Austria. The scientific committee of the meeting consisted of M. Barlow (Vancouver), R. Strichartz (Ithaca), P. Grabner and W. Woess (both Graz), the latter two being the local organizers and editors of this volume. We made an effort to unite in the conference as well as in the present pro ceedings a multitude of different directions of active current work, and to bring together researchers from various countries as well as research fields that all are linked in some way with the modern theory of fractal structures. Although (or because) in Graz there is only a very small group working on fractal structures, consisting of "non-insiders", we hope to have been successful with this program of wide horizons. All papers were written upon explicit invitation by the editors, and we are happy to be able to present this representative panorama of recent work on poten tial theory, random walks, spectral theory, fractal groups, dynamic systems, fractal geometry, and more. The papers presented here underwent a refereeing process.

Lie theory is a mathematical framework for encoding the concept of symmetries of a problem, and was the central theme of an INdAM intensive research period at the Centro de Giorgi in Pisa, Italy, in the academic year 2014-2015. This book gathers the key outcomes of this period, addressing topics such as: structure and representation theory of vertex algebras, Lie algebras and superalgebras, as well as hyperplane arrangements with different approaches, ranging from geometry and topology to combinatorics.

This fourth volume in Vladimir Tkachuk's series on Cp-theory gives reasonably complete coverage of the theory of functional equivalencies through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory, the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research. The book presents complete and up-to-date information on the preservation of topological properties by homeomorphisms of function spaces. An exhaustive theory of t-equivalent, u-equivalent and l-equivalent spaces is developed from scratch. The reader will also find introductions to the theory of uniform spaces, the theory of locally convex spaces, as well as the theory of inverse systems and dimension theory. Moreover, the inclusion of Kolmogorov's solution of Hilbert's Problem 13 is included as it is needed for the presentation of the theory of l-equivalent spaces. This volume contains the most important classical results on functional equivalencies, in particular, Gul'ko and Khmyleva's example of non-preservation of compactness by t-equivalence, Okunev's method of constructing l-equivalent spaces and the theorem of Marciszewski and Pelant on u-invariance of absolute Borel sets.

One service mathematics has rendered the 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point aile.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded n- sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Matht"natics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics seNe as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

Topology is a large subject with several branches, broadly categorized as algebraic topology, point-set topology, and geometric topology. Point-set topology is the main language for a broad range of mathematical disciplines, while algebraic topology offers as a powerful tool for studying problems in geometry and numerous other areas of mathematics. This book presents the basic concepts of topology, including virtually all of the traditional topics in point-set topology, as well as elementary topics in algebraic topology such as fundamental groups and covering spaces. It also discusses topological groups and transformation groups. When combined with a working knowledge of analysis and algebra, this book offers a valuable resource for advanced undergraduate and beginning graduate students of mathematics specializing in algebraic topology and harmonic analysis.

This up-to-date survey of the whole field of topology is the flagship of the topology subseries of the Encyclopaedia. The book gives an overview of various subfields, beginning with the elements and proceeding right up to the present frontiers of research.

Algebraic Topology is a system and strategy of partial translations, aiming to reduce difficult topological problems to algebraic facts that can be more easily solved. The main subject of this book is singular homology, the simplest of these translations. Studying this theory and its applications, we also investigate its underlying structural layout - the topics of Homological Algebra, Homotopy Theory and Category Theory which occur in its foundation.This book is an introduction to a complex domain, with references to its advanced parts and ramifications. It is written with a moderate amount of prerequisites - basic general topology and little else - and a moderate progression starting from a very elementary beginning. A consistent part of the exposition is organised in the form of exercises, with suitable hints and solutions.It can be used as a textbook for a semester course or self-study, and a guidebook for further study.

Combining concepts from topology and algorithms, this book delivers what its title promises: an introduction to the field of computational topology. Starting with motivating problems in both mathematics and computer science and building up from classic topics in geometric and algebraic topology, the third part of the text advances to persistent homology. This point of view is critically important in turning a mostly theoretical field of mathematics into one that is relevant to a multitude of disciplines in the sciences and engineering. The main approach is the discovery of topology through algorithms. The book is ideal for teaching a graduate or advanced undergraduate course in computational topology, as it develops all the background of both the mathematical and algorithmic aspects of the subject from first principles. Thus the text could serve equally well in a course taught in a mathematics department or computer science department.

Fixed Point Results in W-Distance Spaces is a self-contained and comprehensive reference for advanced fixed-point theory and can serve as a useful guide for related research. The book can be used as a teaching resource for advanced courses on fixed-point theory, which is a modern and important field in mathematics. It would be especially valuable for graduate and postgraduate courses and seminars. Features Written in a concise and fluent style, covers a broad range of topics and includes related topics from research. Suitable for researchers and postgraduates. Contains brand new results not published elsewhere.