The Yang-Mills theory of gauge interactions is a prime example of interdisciplinary mathematics and advanced physics. Its historical development is a fascinating window into the ongoing struggle of mankind to understand nature. The discovery of gauge fields and their properties is the most formidable landmark of modern physics. The expression of the gauge field strength as the curvature associated to a given connection, places quantum field theory in the same geometrical footing as the gravitational field of general relativity which is naturally written in geometrical terms. The understanding of such geometrical property may help one day to write a unified field theory starting from symmetry principles. Of course, there are remarkable differences between the standard gauge fields and the gravitational field, which must be understood by mathematicians and physicists before attempting such unification. In particular, it is important to understand why gravitation is not a standard gauge field. This book presents an account of the geometrical properties of gauge field theory, while trying to keep the equilibrium between mathematics and physics. At the end we will introduce a similar approach to the gravitational field.

The field of theoretical ecology has expanded dramatically in the last few years. This volume gives detailed coverage of the main developing areas in spatial ecological theory, and is written by world experts in the field. Integrating the perspective from field ecology with novel methods for simplifying spatial complexity, it offers a didactical treatment with a gradual increase in mathematical sophistication from beginning to end. In addition, the volume features introductions to those fundamental phenomena in spatial ecology where emerging spatial patterns influence ecological outcomes quantitatively. An appreciation of the consequences of this is required if ecological theory is to move on in the 21st century. Written for reseachers and graduate students in theoretical, evolutionary and spatial ecology, applied mathematics and spatial statistics, it will be seen as a ground breaking treatment of modern spatial ecological theory.

This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory of monoidal categories and corresponding graphical calculi, Girard’s linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are very prominent in computer science; the chapters here are tailored towards an audience of physicists.

The collection of papers forming this volume is intended to provide a deeper study of some mathematical and physical subjects which are at the core of recent developments in the natural and living sciences. The book explores some far-reaching interfaces where mathematics, theoretical physics, and natural sciences seem to interact profoundly. The main goal is to show that an accomplished movement of geometrisation has enabled the discovery of a great variety of amazing structures and behaviors in physical reality and in living matter. The diverse group of expert mathematicians, physicists and natural scientists present numerous new results and original ideas, methods and techniques. Both academic and interdisciplinary, the book investigates a number of important connections between mathematics, theoretical physics and natural sciences including biology.

This volume's papers present work at the cutting edge of current research in algebraic geometry, commutative algebra, numerical analysis, and other related fields, with an emphasis on the breadth of these areas and the beneficial results obtained by the interactions between these fields. This collection of two survey articles and sixteen refereed research papers, written by experts in these fields, gives the reader a greater sense of some of the directions in which this research is moving, as well as a better idea of how these fields interact with each other and with other applied areas. The topics include blowup algebras, linkage theory, Hilbert functions, divisors, vector bundles, determinantal varieties, (square-free) monomial ideals, multiplicities and cohomological degrees, and computer vision.

Geocomputation with R is for people who want to analyze, visualize and model geographic data with open source software. It is based on R, a statistical programming language that has powerful data processing, visualization, and geospatial capabilities. The book equips you with the knowledge and skills to tackle a wide range of issues manifested in geographic data, including those with scientific, societal, and environmental implications. This book will interest people from many backgrounds, especially Geographic Information Systems (GIS) users interested in applying their domain-specific knowledge in a powerful open source language for data science, and R users interested in extending their skills to handle spatial data. The book is divided into three parts: (I) Foundations, aimed at getting you up-to-speed with geographic data in R, (II) extensions, which covers advanced techniques, and (III) applications to real-world problems. The chapters cover progressively more advanced topics, with early chapters providing strong foundations on which the later chapters build. Part I describes the nature of spatial datasets in R and methods for manipulating them. It also covers geographic data import/export and transforming coordinate reference systems. Part II represents methods that build on these foundations. It covers advanced map making (including web mapping), "bridges" to GIS, sharing reproducible code, and how to do cross-validation in the presence of spatial autocorrelation. Part III applies the knowledge gained to tackle real-world problems, including representing and modeling transport systems, finding optimal locations for stores or services, and ecological modeling. Exercises at the end of each chapter give you the skills needed to tackle a range of geospatial problems. Solutions for each chapter and supplementary materials providing extended examples are available at https://geocompr.github.io/geocompkg/articles/.

The theory of persistence modules originated in topological data analysis and became an active area of research in algebraic topology. This book provides a concise and self-contained introduction to persistence modules and focuses on their interactions with pure mathematics, bringing the reader to the cutting edge of current research. In particular, the authors present applications of persistence to symplectic topology, including the geometry of symplectomorphism groups and embedding problems. Furthermore, they discuss topological function theory, which provides new insight into oscillation of functions. The book is accessible to readers with a basic background in algebraic and differential topology.

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Over the last few years, multi-touch mobile devices have become increasingly common. However, very few applications in the context of 3D geometry learning can be found in app stores. Manipulating a 3D scene with a 2D device is the main difficulty of such applications. Throughout this book, the author focuses on allowing young students to manipulate, observe and modify 3D scenes using new technologies brought about by digital tablets. Through a user-centered approach, the author proposes a grammar of interactions adapted to young learners, and then evaluates acceptability, ease of use and ease of learning of the interactions proposed. Finally, the author studies in situ the pedagogic benefits of the use of tablets with an app based on the suggested grammar. The results show that students are able to manipulate, observe and modify 3D scenes using an adapted set of interactions. Moreover, in the context of 3D geometry learning, a significant contribution has been observed in two classes when students use such an application. The approach here focuses on interactions with digital tablets to increase learning rather than on technology. First, defining which interactions allow pupils to realize tasks needed in the learning process, then, evaluating the impact of these interactions on the learning process. This is the first time that both interactions and the learning process have been taken into account at the same time.