Kolmogorov's Heritage in Mathematics


Book Description

In this book, several world experts present (one part of) the mathematical heritage of Kolmogorov. Each chapter treats one of his research themes or a subject invented as a consequence of his discoveries. The authors present his contributions, his methods, the perspectives he opened to us, and the way in which this research has evolved up to now. Coverage also includes examples of recent applications and a presentation of the modern prospects.




Introduction to Arnold’s Proof of the Kolmogorov–Arnold–Moser Theorem


Book Description

INTRODUCTION TO ARNOLD’S PROOF OF THE KOLMOGOROV–ARNOLD–MOSER THEOREM This book provides an accessible step-by-step account of Arnold’s classical proof of the Kolmogorov–Arnold–Moser (KAM) Theorem. It begins with a general background of the theorem, proves the famous Liouville–Arnold theorem for integrable systems and introduces Kneser’s tori in four-dimensional phase space. It then introduces and discusses the ideas and techniques used in Arnold’s proof, before the second half of the book walks the reader through a detailed account of Arnold’s proof with all the required steps. It will be a useful guide for advanced students of mathematical physics, in addition to researchers and professionals. Features • Applies concepts and theorems from real and complex analysis (e.g., Fourier series and implicit function theorem) and topology in the framework of this key theorem from mathematical physics. • Covers all aspects of Arnold’s proof, including those often left out in more general or simplifi ed presentations. • Discusses in detail the ideas used in the proof of the KAM theorem and puts them in historical context (e.g., mapping degree from algebraic topology).




Constructivity and Computability in Historical and Philosophical Perspective


Book Description

Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the developments following Turing’s ground-breaking linkage of computation and the machine, the resulting birth of complexity theory, the innovations of Kolmogorov complexity and resolving the dissonances between proof theoretical semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of recursive functions is needed for a rigorous development of constructive mathematics. This volume contributes to the unity of science by overcoming disunities rather than offering an overarching framework. It posits that computability’s adoption of a classical, ontological point of view kept these imperatives separated. In studying the relationship between the two, it is a vital step forward in overcoming the disagreements and misunderstandings which stand in the way of a unifying view of logic.







The Splendors and Miseries of Martingales


Book Description

Over the past eighty years, martingales have become central in the mathematics of randomness. They appear in the general theory of stochastic processes, in the algorithmic theory of randomness, and in some branches of mathematical statistics. Yet little has been written about the history of this evolution. This book explores some of the territory that the history of the concept of martingales has transformed. The historian of martingales faces an immense task. We can find traces of martingale thinking at the very beginning of probability theory, because this theory was related to gambling, and the evolution of a gambler’s holdings as a result of following a particular strategy can always be understood as a martingale. More recently, in the second half of the twentieth century, martingales became important in the theory of stochastic processes at the very same time that stochastic processes were becoming increasingly important in probability, statistics and more generally in various applied situations. Moreover, a history of martingales, like a history of any other branch of mathematics, must go far beyond an account of mathematical ideas and techniques. It must explore the context in which the evolution of ideas took place: the broader intellectual milieux of the actors, the networks that already existed or were created by the research, even the social and political conditions that favored or hampered the circulation and adoption of certain ideas. This books presents a stroll through this history, in part a guided tour, in part a random walk. First, historical studies on the period from 1920 to 1950 are presented, when martingales emerged as a distinct mathematical concept. Then insights on the period from 1950 into the 1980s are offered, when the concept showed its value in stochastic processes, mathematical statistics, algorithmic randomness and various applications.




Complexity and Evolution of Dissipative Systems


Book Description

This book focuses on the dynamic complexity of neural, genetic networks, and reaction diffusion systems. The author shows that all robust attractors can be realized in dynamics of such systems. In particular, a positive solution of the Ruelle-Takens hypothesis for on chaos existence for large class of reaction-diffusion systems is given. The book considers viability problems for such systems - viability under extreme random perturbations - and discusses an interesting hypothesis of M. Gromov and A. Carbone on biological evolution. There appears a connection with the Kolmogorov complexity theory. As applications, transcription-factors-microRNA networks are considered, patterning in biology, a new approach to estimate the computational power of neural and genetic networks, social and economical networks, and a connection with the hard combinatorial problems.




Commutative Algebra: Constructive Methods


Book Description

Translated from the popular French edition, this book offers a detailed introduction to various basic concepts, methods, principles, and results of commutative algebra. It takes a constructive viewpoint in commutative algebra and studies algorithmic approaches alongside several abstract classical theories. Indeed, it revisits these traditional topics with a new and simplifying manner, making the subject both accessible and innovative. The algorithmic aspects of such naturally abstract topics as Galois theory, Dedekind rings, Prüfer rings, finitely generated projective modules, dimension theory of commutative rings, and others in the current treatise, are all analysed in the spirit of the great developers of constructive algebra in the nineteenth century. This updated and revised edition contains over 350 well-arranged exercises, together with their helpful hints for solution. A basic knowledge of linear algebra, group theory, elementary number theory as well as the fundamentals of ring and module theory is required. Commutative Algebra: Constructive Methods will be useful for graduate students, and also researchers, instructors and theoretical computer scientists.




A Random Walk in Physics


Book Description

This book offers an informal, easy-to-understand account of topics in modern physics and mathematics. The focus is, in particular, on statistical mechanics, soft matter, probability, chaos, complexity, and models, as well as their interplay. The book features 28 key entries and it is carefully structured so as to allow readers to pursue different paths that reflect their interests and priorities, thereby avoiding an excessively systematic presentation that might stifle interest. While the majority of the entries concern specific topics and arguments, some relate to important protagonists of science, highlighting and explaining their contributions. Advanced mathematics is avoided, and formulas are introduced in only a few cases. The book is a user-friendly tool that nevertheless avoids scientific compromise. It is of interest to all who seek a better grasp of the world that surrounds us and of the ideas that have changed our perceptions.




Reaction Kinetics: Exercises, Programs and Theorems


Book Description

Fifty years ago, a new approach to reaction kinetics began to emerge: one based on mathematical models of reaction kinetics, or formal reaction kinetics. Since then, there has been a rapid and accelerated development in both deterministic and stochastic kinetics, primarily because mathematicians studying differential equations and algebraic geometry have taken an interest in the nonlinear differential equations of kinetics, which are relatively simple, yet capable of depicting complex behavior such as oscillation, chaos, and pattern formation. The development of stochastic models was triggered by the fact that novel methods made it possible to measure molecules individually. Now it is high time to make the results of the last half-century available to a larger audience: students of chemistry, chemical engineering and biochemistry, not to mention applied mathematics. Based on recent papers, this book presents the most important concepts and results, together with a wealth of solved exercises. The book is accompanied by the authors’ Mathematica package, ReactionKinetics, which helps both students and scholars in their everyday work, and which can be downloaded from http://extras.springer.com/ and also from the authors’ websites. Further, the large set of unsolved problems provided may serve as a springboard for individual research.




Physics beyond catching a mouse in the dark: From Big Science to Deep Science


Book Description

The Higgs particle has been detected a few years ago, that is what newspapers tell us. For many physicists, the Standard Model of particle physics has accomplished all the jobs. Or to put it simply: The game is over. Is it true? Then some physicists began to ask: can go beyond the Standard Model? Because the supersymmetric extension of the Standard Model has failed. If you feel that theoretical physics is becoming boring, you are not alone. Fortunately, there is good news: a new generation of physicists are doing table-top experiments in their basements. Can we expect new results later? If so, what will the future of physics look like? This article discusses this question, starting with a blunt look at the relationship between mathematics and physical reality, written from the perspectives of a mathematician and a cosmologist.