The time has now come when graph theory should be part of the education of every serious student of mathematics and computer science, both for its own sake and to enhance the appreciation of mathematics as a whole. This book is an in-depth account of graph theory, written with such a student in mind; it reflects the current state of the subject and emphasizes connections with other branches of pure mathematics. The volume grew out of the author's earlier book, Graph Theory -- An Introductory Course, but its length is well over twice that of its predecessor, allowing it to reveal many exciting new developments in the subject. Recognizing that graph theory is one of several courses competing for the attention of a student, the book contains extensive descriptive passages designed to convey the flavor of the subject and to arouse interest. In addition to a modern treatment of the classical areas of graph theory such as coloring, matching, extremal theory, and algebraic graph theory, the book presents a detailed account of newer topics, including Szemer\'edi's Regularity Lemma and its use, Shelah's extension of the Hales-Jewett Theorem, the precise nature of the phase transition in a random graph process, the connection between electrical networks and random walks on graphs, and the Tutte polynomial and its cousins in knot theory. In no other branch of mathematics is it as vital to tackle and solve challenging exercises in order to master the subject. To this end, the book contains an unusually large number of well thought-out exercises: over 600 in total. Although some are straightforward, most of them are substantial, and others will stretch even the most able reader.

The book gathers the lectures given at the C.I.M.E. summer school "Quantum Cohomology" held in Cetraro (Italy) from June 30th to July 8th, 1997. The lectures and the subsequent updating cover a large spectrum of the subject on the field, from the algebro-geometric point of view, to the symplectic approach, including recent developments of string-branes theories and q-hypergeometric functions.

The book provides an introduction to stratification theory leading the reader up to modern research topics in the field. The first part presents the basics of stratification theory, in particular the Whitney conditions and Mather's control theory, and introduces the notion of a smooth structure. Moreover, it explains how one can use smooth structures to transfer differential geometric and analytic methods from the arena of manifolds to stratified spaces. In the second part the methods established in the first part are applied to particular classes of stratified spaces like for example orbit spaces. Then a new de Rham theory for stratified spaces is established and finally the Hochschild (co)homology theory of smooth functions on certain classes of stratified spaces is studied. The book should be accessible to readers acquainted with the basics of topology, analysis and differential geometry.

This book consists essentially of notes which were written for an Advanced Course on Classifying Spaces and Cohomology of Groups. The course took place at the Centre de Recerca Mathematica (CRM) in Bellaterra from May 27 to June 2, 1998 and was part of an emphasis semester on Algebraic Topology. It consisted of two parallel series of 6 lectures of 90 minutes each and was intended as an introduction to new homotopy theoretic methods in group cohomology. The first part of the book is concerned with methods of decomposing the classifying space of a finite group into pieces made of classifying spaces of appropriate subgroups. Such decompositions have been used with great success in the last 10-15 years in the homotopy theory of classifying spaces of compact Lie groups and p-compact groups in the sense of Dwyer and Wilkerson. For simplicity the emphasis here is on finite groups and on homological properties of various decompositions known as centralizer resp. normalizer resp. subgroup decomposition. A unified treatment of the various decompositions is given and the relations between them are explored. This is preceeded by a detailed discussion of basic notions such as classifying spaces, simplicial complexes and homotopy colimits.

Infinite dimensional manifolds, Lie groups and algebras arise naturally in many areas of mathematics and physics. Having been used mainly as a tool for the study of finite dimensional objects, the emphasis has changed and they are now frequently studied for their own independent interest. On the one hand this is a collection of closely related articles on infinite dimensional Kahler manifolds and associated group actions which grew out of a DMV-Seminar on the same subject. On the other hand it covers significantly more ground than was possible during the seminar in Oberwolfach and is in a certain sense intended as a systematic approach which ranges from the foundations of the subject to recent developments. It should be accessible to doctoral students and as well researchers coming from a wide range of areas. The initial chapters are devoted to a rather selfcontained introduction to group actions on complex and symplectic manifolds and to Borel-Weil theory in finite dimensions. These are followed by a treatment of the basics of infinite dimensional Lie groups, their actions and their representations. Finally, a number of more specialized and advanced topics are discussed, e.g., Borel-Weil theory for loop groups, aspects of the Virasoro algebra, (gauge) group actions and determinant bundles, and second quantization and the geometry of the infinite dimensional Grassmann manifold.

Recent research has repeatedly led to connections between important rigidity questions and bounded cohomology. However, the latter has remained by and large intractable. This monograph introduces the functorial study of the continuous bounded cohomology for topological groups, with coefficients in Banach modules. The powerful techniques of this more general theory have successfully solved a number of the original problems in bounded cohomology. As applications, one obtains, in particular, rigidity results for actions on the circle, for representations on complex hyperbolic spaces and on Teichm ller spaces. A special effort has been made to provide detailed proofs or references in quite some generality.

Computational engineering is the treatment of engineering tasks with computers. It is based on computational mathematics, which is presented here in a comprehensive handbook. Engineers and scientists who deal with engineering tasks have to handle large amounts of information, which must be created and structured in a systematic manner. This demands a high level of abstraction and therefore knowledge of the mathematical foundations. From the existing rich repertoire of mathematical theories and methods, the fundamentals of engineering computation are selected and presented in a coherent fashion. They are brought into a suitable order for specific engineering purposes, and their significance for typical applications is shown. The relevant definitions, notations and theories are presented in a durable form which is independent of the fast development of information and communication technology.

This book gives a streamlined introduction to the theory of Seiberg-Witten invariants suitable for second-year graduate students. These invariants can be used to prove that there are many compact topological four-manifolds which have more than one smooth structure, and that others have no smooth structure at all. This topic provides an excellent example of how global analysis techniques, which have been developed to study nonlinear partial differential equations, can be applied to the solution of interesting geometrical problems. In the second edition, some material has been expanded for better comprehension.

This work presents a general theory as well as constructive methodology in order to solve "observation problems," namely, those problems that pertain to reconstructing the full information about a dynamical process on the basis of partial observed data. A general methodology to control processes on the basis of the observations is also developed. Illustrative but practical applications in the chemical and petroleum industries are shown.

This is the first attempt of a systematic study of real Enriques surfaces culminating in their classification up to deformation. Simple explicit topological invariants are elaborated for identifying the deformation classes of real Enriques surfaces. Some of theses are new and can be applied to other classes of surfaces or higher-dimensional varieties. Intended for researchers and graduate students in real algebraic geometry it may also interest others who want to become familiar with the field and its techniques. The study relies on topology of involutions, arithmetics of integral quadratic forms, algebraic geometry of surfaces, and the hyperk hler structure of K3-surfaces. A comprehensive summary of the necessary results and techniques from each of these fields is included. Some results are developed further, e.g., a detailed study of lattices with a pair of commuting involutions and a certain class of rational complex surfaces.

The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based on which effective algorithms are implemented and applied to diverse problems in science and engineering. In the last decade, both theorists and practitioners have more and more realized the significance and power of elimination methods and their underlying theories. Active and extensive research has contributed a great deal of new developments on algorithms and soft ware tools to the subject, that have been widely acknowledged. Their applications have taken place from pure and applied mathematics to geometric modeling and robotics, and to artificial neural networks. This book provides a systematic and uniform treatment of elimination algo rithms that compute various zero decompositions for systems of multivariate poly nomials. The central concepts are triangular sets and systems of different kinds, in terms of which the decompositions are represented. The prerequisites for the concepts and algorithms are results from basic algebra and some knowledge of algorithmic mathematics."

This book is mainly devoted to the combinatorics of quadratic holomorphic dynamics. The conceptual kernel is a self-contained abstract counterpart of connected quadratic Julia sets which is built on Thurston's concept of a quadratic invariant lamination and on symbolic descriptions of the angle-doubling map. The theory obtained is illustrated in the complex plane. It is used to give rigorous proofs of some well-known and some partially new statements on the structure of the Mandelbrot set. The text is intended for graduate students and researchers. Some elementary knowledge in topology and in functions of one complex variable is assumed.

In September 1997, the Working Week on Resolution of Singularities was held at Obergurgl in the Tyrolean Alps. Its objective was to manifest the state of the art in the field and to formulate major questions for future research. The four courses given during this week were written up by the speakers and make up part I of this volume. They are complemented in part II by fifteen selected contributions on specific topics and resolution theories. The volume is intended to provide a broad and accessible introduction to resolution of singularities leading the reader directly to concrete research problems.

Using harmonic maps, non-linear PDE and techniques from algebraic geometry this book enables the reader to study the relation between fundamental groups and algebraic geometry invariants of algebraic varieties. The reader should have a basic knowledge of algebraic geometry and non-linear analysis. This book can form the basis for graduate level seminars in the area of topology of algebraic varieties. It also contains present new techniques for researchers working in this area.

Based on a lecture course, this text gives a rigorous introduction to nonlinear analysis, dynamical systems and bifurcation theory including catastrophe theory. Wherever appropriate it emphasizes a geometrical or coordinate-free approach allowing a clear focus on the essential mathematical structures. It brings out features common to different branches of the subject while giving ample references for more advanced or technical developments.

The book lays algebraic foundations for real geometry through a systematic investigation of partially ordered rings of semi-algebraic functions. Real spectra serve as primary geometric objects, the maps between them are determined by rings of functions associated with the spectra. The many different possible choices for these rings of functions are studied via reflections of partially ordered rings. Readers should feel comfortable using basic algebraic and categorical concepts. As motivational background some familiarity with real geometry will be helpful. The book aims at researchers and graduate students with an interest in real algebra and geometry, ordered algebraic structures, topology and rings of continuous functions.

Historically, science has strived to reduced complex problems to its simplest components, but more recently, it has recognized the merit of studying complex phenomena in situ. Fractal geometry is one such appealing approach, and this book discusses their application to complex problems in molecular biophysics. It provides a detailed, unified treatment of fractal aspects of protein and structure dynamics, fractal reaction kinetics in biochemical systems, sequence correlations in DNA and proteins, and descriptors of chaos in enzymatic systems. In an area that has been slow to acknowledge the use of fractals, this is an important addition to the literature, offering a glimpse of the wealth of possible applications. application to complex problems

This book is an introduction to the theory of shadowing of approximate trajectories in dynamical systems by exact ones. This is the first book completely devoted to the theory of shadowing. It shows the importance of shadowing theory for both the qualitative theory of dynamical systems and the theory of numerical methods. Shadowing Methods allow us to estimate differences between exact and approximate solutions on infinite time intervals and to understand the influence of error terms. The book is intended for specialists in dynamical systems, for researchers and graduate students in the theory of numerical methods.

This volume contains a re-edition of Max Koecher's famous Minnesota Notes. The main objects are homogeneous, but not necessarily convex, cones. They are described in terms of Jordan algebras. The central point is a correspondence between semisimple real Jordan algebras and so-called omega-domains. This leads to a construction of half-spaces which give an essential part of all bounded symmetric domains. The theory is presented in a concise manner, with only elementary prerequisites. The editors have added notes on each chapter containing an account of the relevant developments of the theory since these notes were first written.

This monograph deals with two aspects of the theory of elliptic genus: its topological aspect involving elliptic functions, and its representation theoretic aspect involving vertex operator super-algebras. For the second aspect, elliptic genera are shown to have the structure of modules over certain vertex operator super-algebras. The vertex operators corresponding to parallel tensor fields on closed Riemannian Spin K hler manifolds such as Riemannian tensors and K hler forms are shown to give rise to Virasoro algebras and affine Lie algebras. This monograph is chiefly intended for topologists and it includes accounts on topics outside of topology such as vertex operator algebras.

A substantially revised edition of the UTM volume, with a view to making the book far more accessible to undergraduates. It contains a larger number of detailed explanations and exercises, together with fully worked solutions to the essential problems and a new chapter on the historical aspects.

These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee. The domains of discrete geometry and computer imagery are closely related. Discrete geometry provides both theoretical and algorithmic models for the p- cessing, analysis and synthesis of images; in return computer imagery, in its variety of applications, constitutes a remarkable experimentational eld and is a source of challenging problems. The number of returning participants, the arrival each year of contributions from new laboratories and new researchers, as well as the quality and originality of the results have contributed to the success of the conference and are an - dication of the dynamism of this eld. The DGCI has become one of the major conferences related to this topic, including participating researchers and la- ratories from all over the world. Of the 41 papers received this year, 24 have been selected for presentation and 7 for poster sessions. In addition to these, four invited speakers have contributed to the conference. The site of Marne-la-Vall ee, just 20 min away from Paris, is particularly we- suited to hold the conference. Indeed, as a newly built city, it showcases a great amount of modern creative architecture, whose pure lines and original shapes o er a favorable context for the topic of Geometry.

This book is about toric topology, a new area of mathematics that emerged at the end of the 1990s on the border of equivariant topology, algebraic and symplectic geometry, combinatorics, and commutative algebra. It has quickly grown into a very active area with many links to other areas of mathematics, and continues to attract experts from different fields. The key players in toric topology are moment-angle manifolds, a class of manifolds with torus actions defined in combinatorial terms. Construction of moment-angle manifolds relates to combinatorial geometry and algebraic geometry of toric varieties via the notion of a quasitoric manifold. Discovery of remarkable geometric structures on moment-angle manifolds led to important connections with classical and modern areas of symplectic, Lagrangian, and non-Kaehler complex geometry. A related categorical construction of moment-angle complexes and polyhedral products provides for a universal framework for many fundamental constructions of homotopical topology. The study of polyhedral products is now evolving into a separate subject of homotopy theory. A new perspective on torus actions has also contributed to the development of classical areas of algebraic topology, such as complex cobordism. This book includes many open problems and is addressed to experts interested in new ideas linking all the subjects involved, as well as to graduate students and young researchers ready to enter this beautiful new area.

The main purpose of this book is to present the basic theory and some recent de velopments concerning the Cauchy problem for higher order abstract differential equations u(n)(t) + ~ AiU(i)(t) = 0, t ~ 0, { U(k)(O) = Uk, 0 ~ k ~ n-l. where AQ, Ab . . . , A - are linear operators in a topological vector space E. n 1 Many problems in nature can be modeled as (ACP ). For example, many n initial value or initial-boundary value problems for partial differential equations, stemmed from mechanics, physics, engineering, control theory, etc. , can be trans lated into this form by regarding the partial differential operators in the space variables as operators Ai (0 ~ i ~ n - 1) in some function space E and letting the boundary conditions (if any) be absorbed into the definition of the space E or of the domain of Ai (this idea of treating initial value or initial-boundary value problems was discovered independently by E. Hille and K. Yosida in the forties). The theory of (ACP ) is closely connected with many other branches of n mathematics. Therefore, the study of (ACPn) is important for both theoretical investigations and practical applications. Over the past half a century, (ACP ) has been studied extensively.