This book collects and explains the many theorems concerning the existence of certificates of positivity for polynomials that are positive globally or on semialgebraic sets. A certificate of positivity for a real polynomial is an algebraic identity that gives an immediate proof of a positivity condition for the polynomial. Certificates of positivity have their roots in fundamental work of David Hilbert from the late 19th century on positive polynomials and sums of squares. Because of the numerous applications of certificates of positivity in mathematics, applied mathematics, engineering, and other fields, it is desirable to have methods for finding, describing, and characterizing them. For many of the topics covered in this book, appropriate algorithms, computational methods, and applications are discussed. This volume contains a comprehensive, accessible, up-to-date treatment of certificates of positivity, written by an expert in the field. It provides an overview of both the theory and computational aspects of the subject, and includes many of the recent and exciting developments in the area. Background information is given so that beginning graduate students and researchers who are not specialists can learn about this fascinating subject. Furthermore, researchers who work on certificates of positivity or use them in applications will find this a useful reference for their work.

While it is well known that the Delian problems are impossible to solve with a straightedge and compass - for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments - the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s). This comes as no surprise, since with few exceptions paper folding was seldom considered as a mathematical practice, let alone as a mathematical procedure of inference or proof that could prompt novel mathematical discoveries. A few questions immediately arise: Why did paper folding become a non-instrument? What caused the marginalisation of this technique? And how was the mathematical knowledge, which was nevertheless transmitted and prompted by paper folding, later treated and conceptualised? Aiming to answer these questions, this volume provides, for the first time, an extensive historical study on the history of folding in mathematics, spanning from the 16th century to the 20th century, and offers a general study on the ways mathematical knowledge is marginalised, disappears, is ignored or becomes obsolete. In doing so, it makes a valuable contribution to the field of history and philosophy of science, particularly the history and philosophy of mathematics and is highly recommended for anyone interested in these topics.

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.

It isn't that they can't see the solution. It is Approach your problems from the right end and begin with the answers. Then one day, that they can't see the problem perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Oad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gu ik's The Chillese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.

The book serves as an introduction to holomorphic curves in symplectic manifolds, focusing on the case of four-dimensional symplectizations and symplectic cobordisms, and their applications to celestial mechanics. The authors study the restricted three-body problem using recent techniques coming from the theory of pseudo-holomorphic curves. The book starts with an introduction to relevant topics in symplectic topology and Hamiltonian dynamics before introducing some well-known systems from celestial mechanics, such as the Kepler problem and the restricted three-body problem. After an overview of different regularizations of these systems, the book continues with a discussion of periodic orbits and global surfaces of section for these and more general systems. The second half of the book is primarily dedicated to developing the theory of holomorphic curves - specifically the theory of fast finite energy planes - to elucidate the proofs of the existence results for global surfaces of section stated earlier. The book closes with a chapter summarizing the results of some numerical experiments related to finding periodic orbits and global surfaces of sections in the restricted three-body problem. This book is also part of the Virtual Series on Symplectic Geometry http://www.springer.com/series/16019

Several important aspects of moduli spaces and irreducible holomorphic symplectic manifolds were highlighted at the conference "Algebraic and Complex Geometry" held September 2012 in Hannover, Germany. These two subjects of recent ongoing progress belong to the most spectacular developments in Algebraic and Complex Geometry. Irreducible symplectic manifolds are of interest to algebraic and differential geometers alike, behaving similar to K3 surfaces and abelian varieties in certain ways, but being by far less well-understood. Moduli spaces, on the other hand, have been a rich source of open questions and discoveries for decades and still continue to be a hot topic in itself as well as with its interplay with neighbouring fields such as arithmetic geometry and string theory. Beyond the above focal topics this volume reflects the broad diversity of lectures at the conference and comprises 11 papers on current research from different areas of algebraic and complex geometry sorted in alphabetic order by the first author. It also includes a full list of speakers with all titles and abstracts.

This book covers methods of Mathematical Morphology to model and simulate random sets and functions (scalar and multivariate). The introduced models concern many physical situations in heterogeneous media, where a probabilistic approach is required, like fracture statistics of materials, scaling up of permeability in porous media, electron microscopy images (including multispectral images), rough surfaces, multi-component composites, biological tissues, textures for image coding and synthesis. The common feature of these random structures is their domain of definition in n dimensions, requiring more general models than standard Stochastic Processes.The main topics of the book cover an introduction to the theory of random sets, random space tessellations, Boolean random sets and functions, space-time random sets and functions (Dead Leaves, Sequential Alternate models, Reaction-Diffusion), prediction of effective properties of random media, and probabilistic fracture theories.

The focus of this book is on providing students with insights into geometry that can help them understand deep learning from a unified perspective. Rather than describing deep learning as an implementation technique, as is usually the case in many existing deep learning books, here, deep learning is explained as an ultimate form of signal processing techniques that can be imagined. To support this claim, an overview of classical kernel machine learning approaches is presented, and their advantages and limitations are explained. Following a detailed explanation of the basic building blocks of deep neural networks from a biological and algorithmic point of view, the latest tools such as attention, normalization, Transformer, BERT, GPT-3, and others are described. Here, too, the focus is on the fact that in these heuristic approaches, there is an important, beautiful geometric structure behind the intuition that enables a systematic understanding. A unified geometric analysis to understand the working mechanism of deep learning from high-dimensional geometry is offered. Then, different forms of generative models like GAN, VAE, normalizing flows, optimal transport, and so on are described from a unified geometric perspective, showing that they actually come from statistical distance-minimization problems. Because this book contains up-to-date information from both a practical and theoretical point of view, it can be used as an advanced deep learning textbook in universities or as a reference source for researchers interested in acquiring the latest deep learning algorithms and their underlying principles. In addition, the book has been prepared for a codeshare course for both engineering and mathematics students, thus much of the content is interdisciplinary and will appeal to students from both disciplines.

This volume presents lectures given at the Wisla 19 Summer School: Differential Geometry, Differential Equations, and Mathematical Physics, which took place from August 19 - 29th, 2019 in Wisla, Poland, and was organized by the Baltic Institute of Mathematics. The lectures were dedicated to symplectic and Poisson geometry, tractor calculus, and the integration of ordinary differential equations, and are included here as lecture notes comprising the first three chapters. Following this, chapters combine theoretical and applied perspectives to explore topics at the intersection of differential geometry, differential equations, and mathematical physics. Specific topics covered include: Parabolic geometry Geometric methods for solving PDEs in physics, mathematical biology, and mathematical finance Darcy and Euler flows of real gases Differential invariants for fluid and gas flow Differential Geometry, Differential Equations, and Mathematical Physics is ideal for graduate students and researchers working in these areas. A basic understanding of differential geometry is assumed.

The theory of elliptic curves involves a pleasing blend of algebra, geometry, analysis, and number theory. "Rational Points on Elliptic Curves" streses this interplay as it develops the basic theory, thereby providing an opportunity for advance undergraduates to appreciate the unity of modern mathematics. At the same time, every effort has been made to use only methods and results commonly included in the undergraduate curriculum. This accessibility, the informal writing style, and a wealth of exercises make "Rational Points on Elliptic Curves" an ideal introduction for students at all levels who are interested in learning about Diophantine equations and arithmetic geometry.

The book consists of a presentation from scratch of cycle space methodology in complex geometry. Applications in various contexts are given. A significant portion of the book is devoted to material which is important in the general area of complex analysis. In this regard, a geometric approach is used to obtain fundamental results such as the local parameterization theorem, Lelong' s Theorem and Remmert's direct image theorem. Methods involving cycle spaces have been used in complex geometry for some forty years. The purpose of the book is to systematically explain these methods in a way which is accessible to graduate students in mathematics as well as to research mathematicians. After the background material which is presented in the initial chapters, families of cycles are treated in the last most important part of the book. Their topological aspects are developed in a systematic way and some basic, important applications of analytic families of cycles are given. The construction of the cycle space as a complex space, along with numerous important applications, is given in the second volume. The present book is a translation of the French version that was published in 2014 by the French Mathematical Society.

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.

An instant New York Times Bestseller! "Unreasonably entertaining . . . reveals how geometric thinking can allow for everything from fairer American elections to better pandemic planning." -The New York Times From the New York Times-bestselling author of How Not to Be Wrong-himself a world-class geometer-a far-ranging exploration of the power of geometry, which turns out to help us think better about practically everything. How should a democracy choose its representatives? How can you stop a pandemic from sweeping the world? How do computers learn to play Go, and why is learning Go so much easier for them than learning to read a sentence? Can ancient Greek proportions predict the stock market? (Sorry, no.) What should your kids learn in school if they really want to learn to think? All these are questions about geometry. For real. If you're like most people, geometry is a sterile and dimly remembered exercise you gladly left behind in the dust of ninth grade, along with your braces and active romantic interest in pop singers. If you recall any of it, it's plodding through a series of miniscule steps only to prove some fact about triangles that was obvious to you in the first place. That's not geometry. Okay, it is geometry, but only a tiny part, which has as much to do with geometry in all its flush modern richness as conjugating a verb has to do with a great novel. Shape reveals the geometry underneath some of the most important scientific, political, and philosophical problems we face. Geometry asks: Where are things? Which things are near each other? How can you get from one thing to another thing? Those are important questions. The word "geometry"comes from the Greek for "measuring the world." If anything, that's an undersell. Geometry doesn't just measure the world-it explains it. Shape shows us how.

In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpensive computers, has sparked a minor revolution in the study and practice of algebraic geometry. These algorithmic methods have also given rise to some exciting new applications of algebraic geometry. This book illustrates the many uses of algebraic geometry, highlighting some of the more recent applications of Grobner bases and resultants. In order to do this, the authors provide an introduction to some algebraic objects and techniques which are more advanced than one typically encounters in a first course, but nonetheless of great utility. The book is written for nonspecialists and for readers with a diverse range of backgrounds. It assumes knowledge of the material covered in a standard undergraduate course in abstract algebra, and it would help to have some previous exposure to Grobner bases. The book does not assume the reader is familiar with more advanced concepts such as modules. For this new edition the authors added two new sections and a new chapter, updated the references and made numerous minor improvements throughout the text."

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 traces the development of Kepler's ideas along with his unsteady wanderings in a world dominated by religious turmoil. Johannes Kepler, like Galileo, was a supporter of the Copernican heliocentric world model. From an early stage, his principal objective was to discover "the world behind the world", i.e. to identify the underlying order and the secrets that make the world function as it does: the hidden world harmony. Kepler was driven both by his religious belief and Greek mysticism, which he found in ancient mathematics. His urge to find a construct encompassing the harmony of every possible aspect of the world - including astronomy, geometry and music - is seen as a manifestation of a deep human desire to bring order to the apparent chaos surrounding our existence. This desire continues to this day as we search for a theory that will finally unify and harmonise the forces of nature.

The Greek astronomer and geometrician Apollonius of Perga (c.262-c.190 BCE) produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg (1854-1928), a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of the first four books of Apollonius' treatise together with a facing-page Latin translation. (The fifth, sixth and seventh books survive only in Arabic translation, while the eighth is lost entirely.) Volume 1 contains the first three books, with the editor's introductory matter in Latin.

The Greek astronomer and geometrician Apollonius of Perga (c.262-c.190 BCE) produced pioneering written work on conic sections in which he demonstrated mathematically the generation of curves and their fundamental properties. His innovative terminology gave us the terms 'ellipse', 'hyperbola' and 'parabola'. The Danish scholar Johan Ludvig Heiberg (1854-1928), a professor of classical philology at the University of Copenhagen, prepared important editions of works by Euclid, Archimedes and Ptolemy, among others. Published between 1891 and 1893, this two-volume work contains the definitive Greek text of the first four books of Apollonius' treatise together with a facing-page Latin translation. (The fifth, sixth and seventh books survive only in Arabic translation, while the eighth is lost entirely.) Volume 2 contains the fourth book in addition to other Greek fragments and ancient commentaries, notably that of Eutocius, as well as the editor's Latin prolegomena comparing the various manuscript sources.

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Although not so well known today, Book 4 of Pappus Collection is one of the most important and influential mathematical texts from antiquity. The mathematical vignettes form a portrait of mathematics during the Hellenistic "Golden Age," illustrating central problems for example, squaring the circle; doubling the cube; and trisecting an angle varying solution strategies, and the different mathematical styles within ancient geometry.

This volume provides an English translation of Collection 4, in full, for the first time, including: a new edition of the Greek text, based on a fresh transcription from the main manuscript and offering an alternative to Hultsch 's standard edition, notes to facilitate understanding of the steps in the mathematical argument, a commentary highlighting aspects of the work that have so far been neglected, and supporting the reconstruction of a coherent plan and vision within the work, bibliographical references for further study.

Torsors, also known as principal bundles or principal homogeneous spaces, are ubiquitous in mathematics. The purpose of this book is to present expository lecture notes and cutting-edge research papers on the theory and applications of torsors and etale homotopy, all written from different perspectives by leading experts. Part one of the book contains lecture notes on recent uses of torsors in geometric invariant theory and representation theory, plus an introduction to the etale homotopy theory of Artin and Mazur. Part two of the book features a milestone paper on the etale homotopy approach to the arithmetic of rational points. Furthermore, the reader will find a collection of research articles on algebraic groups and homogeneous spaces, rational and K3 surfaces, geometric invariant theory, rational points, descent and the Brauer-Manin obstruction. Together, these give a state-of-the-art view of a broad area at the crossroads of number theory and algebraic geometry.

As senior wrangler in 1854, Edward John Routh (1831-1907) was the man who beat James Clerk Maxwell in the Cambridge mathematics tripos. He went on to become a highly successful coach in mathematics at Cambridge, producing a total of twenty-seven senior wranglers during his career - an unrivalled achievement. In addition to his considerable teaching commitments, Routh was also a very able and productive researcher who contributed to the foundations of control theory and to the modern treatment of mechanics. First published in one volume in 1860, this textbook helped disseminate Routh's investigations into stability. This revised fifth edition was published in two volumes between 1891 and 1892. The second part develops the extensive coverage of dynamics, providing formulae and examples throughout. While the growth of modern physics and mathematics may have forced out the problem-based mechanics of Routh's textbooks from the undergraduate syllabus, the utility and importance of his work is undiminished.

The book provides an introduction of very recent results about the tensors and mainly focuses on the authors' work and perspective. A systematic description about how to extend the numerical linear algebra to the numerical multi-linear algebra is also delivered in this book. The authors design the neural network model for the computation of the rank-one approximation of real tensors, a normalization algorithm to convert some nonnegative tensors to plane stochastic tensors and a probabilistic algorithm for locating a positive diagonal in a nonnegative tensors, adaptive randomized algorithms for computing the approximate tensor decompositions, and the QR type method for computing U-eigenpairs of complex tensors. This book could be used for the Graduate course, such as Introduction to Tensor. Researchers may also find it helpful as a reference in tensor research.

This collection of contributions originates from the well-established conference series "Fractal Geometry and Stochastics" which brings together researchers from different fields using concepts and methods from fractal geometry. Carefully selected papers from keynote and invited speakers are included, both discussing exciting new trends and results and giving a gentle introduction to some recent developments. The topics covered include Assouad dimensions and their connection to analysis, multifractal properties of functions and measures, renewal theorems in dynamics, dimensions and topology of random discrete structures, self-similar trees, p-hyperbolicity, phase transitions from continuous to discrete scale invariance, scaling limits of stochastic processes, stemi-stable distributions and fractional differential equations, and diffusion limited aggregation. Representing a rich source of ideas and a good starting point for more advanced topics in fractal geometry, the volume will appeal to both established experts and newcomers.