Bücher der Reihe SpringerBriefs in Mathematics

Inverse limits with set-valued functions are quickly becoming a popular topic of research due to their potential applications in dynamical systems and economics. This brief provides a concise introduction dedicated specifically to such inverse limits. The theory is presented along with detailed examples which form the distinguishing feature of this work. The major differences between the theory of inverse limits with mappings and the theory with set-valued functions are featured prominently in this book in a positive light.   The reader is assumed to have taken a senior level course in analysis and a basic course in topology. Advanced undergraduate and graduate students, and researchers working in this area will find this brief useful.  ¿

This book introduces the theory of enveloping semigroups¿an important tool in the field of topological dynamics¿introduced by Robert Ellis. The book deals with the basic theory of topological dynamics and touches on the advanced concepts of the dynamics of induced systems and their enveloping semigroups. All the chapters in the book are well organized and systematically dealing with introductory topics through advanced research topics. The basic concepts give the motivation to begin with, then the theory, and finally the new research-oriented topics. The results are presented with detailed proof, plenty of examples and several open questions are put forward to motivate for future research. Some of the results, related to the enveloping semigroup, are new to the existing literature. The enveloping semigroups of the induced systems is considered for the first time in the literature, and some new results are obtained. The book has a research-oriented flavour in the field of topological dynamics.

This book provides a comprehensive survey of the Sharkovsky ordering, its different aspects and its role in dynamical systems theory and applications. It addresses the coexistence of cycles for continuous interval maps and one-dimensional spaces, combinatorial dynamics on the interval and multidimensional dynamical systems. Also featured is a short chapter of personal remarks by O.M. Sharkovsky on the history of the Sharkovsky ordering, the discovery of which almost 60 years ago led to the inception of combinatorial dynamics. Now one of cornerstones of dynamics, bifurcation theory and chaos theory, the Sharkovsky ordering is an important tool for the investigation of dynamical processes in nature. Assuming only a basic mathematical background, the book will appeal to students, researchers and anyone who is interested in the subject.

This book offers a structured algebraic and geometric approach to the classification and construction of quantum codes for topological quantum computation. It combines key concepts in linear algebra, algebraic topology, hyperbolic geometry, group theory, quantum mechanics, and classical and quantum coding theory to help readers understand and develop quantum codes for topological quantum computation.One possible approach to building a quantum computer is based on surface codes, operated as stabilizer codes. The surface codes evolved from Kitaev's toric codes, as a means to developing models for topological order by using qubits distributed on the surface of a toroid. A significant advantage of surface codes is their relative tolerance to local errors. A second approach is based on color codes, which are topological stabilizer codes defined on a tessellation with geometrically local stabilizer generators. This book provides basic geometric concepts, like surface geometry, hyperbolic geometry and tessellation, as well as basic algebraic concepts, like stabilizer formalism, for the construction of the most promising classes of quantum error-correcting codes such as surfaces codes and color codes.The book is intended for senior undergraduate and graduate students in Electrical Engineering and Mathematics with an understanding of the basic concepts of linear algebra and quantum mechanics.

This book focuses on linear time eigenvalue location algorithms for graphs. This subject relates to spectral graph theory, a field that combines tools and concepts of linear algebra and combinatorics, with applications ranging from image processing and data analysis to molecular descriptors and random walks. It has attracted a lot of attention and has since emerged as an area on its own.Studies in spectral graph theory seek to determine properties of a graph through matrices associated with it. It turns out that eigenvalues and eigenvectors have surprisingly many connections with the structure of a graph. This book approaches this subject under the perspective of eigenvalue location algorithms. These are algorithms that, given a symmetric graph matrix M and a real interval I, return the number of eigenvalues of M that lie in I. Since the algorithms described here are typically very fast, they allow one to quickly approximate the value of any eigenvalue, which is a basic step in most applications of spectral graph theory. Moreover, these algorithms are convenient theoretical tools for proving bounds on eigenvalues and their multiplicities, which was quite useful to solve longstanding open problems in the area. This book brings these algorithms together, revealing how similar they are in spirit, and presents some of their main applications.This work can be of special interest to graduate students and researchers in spectral graph theory, and to any mathematician who wishes to know more about eigenvalues associated with graphs. It can also serve as a compact textbook for short courses on the topic.

The focus of this book is on the further development of the classical achievements in analysis of several complex variables, the analytic continuation and the analytic structure of sets, to settings in which the  q-pseudoconvexity in the sense of Rothstein and the q-convexity in the sense of Grauert play a crucial role. After giving a brief survey of notions of generalized convexity and their most important results, the authors present recent statements on analytic continuation related to them. Rothstein (1955) first introduced q-pseudoconvexity using generalized Hartogs figures. SA odkowski (1986) defined q-pseudoconvex sets by means of the existence of exhaustion functions which are q-plurisubharmonic in the sense of Hunt and Murray (1978). Examples of q-pseudoconvex sets appear as complements of  analytic sets. Here, the relation of the analytic structure of graphs of continuous surfaces whose complements are q-pseudoconvex is investigated. As an outcome, the authors generalize results by Hartogs (1909), Shcherbina (1993), and Chirka (2001) on the existence of foliations of pseudoconcave continuous real hypersurfaces by smooth complex ones. A similar generalization is obtained by a completely different approach using Lmethods in the setting of q-convex spaces. The notion of q-convexity was developed by Rothstein (1955) and Grauert (1959) and extended to q-convex spaces by Andreotti and Grauert (1962). Andreotti-Grauert's finiteness theorem was applied by Andreotti and Norguet (1966-1971) to extend Grauert's solution of the Levi problem to q-convex spaces. A consequence is that the sets of (q-1)-cycles of q-convex domains with smooth boundaries in projective algebraic manifolds, which are equipped with complex structures as open subsets of Chow varieties, are in fact holomorphically convex. Complements of analytic curves are studied, and the relation of q-convexity and cycle spaces is explained. Finally, results for q-convex domains in projective spaces are shown and the q-convexity in analytic families is investigated.

This volume is devoted to the study of hyperbolic free boundary problems possessing variational structure. Such problems can be used to model, among others, oscillatory motion of a droplet on a surface or bouncing of an elastic body against a rigid obstacle. In the case of the droplet, for example, the membrane surrounding the fluid in general forms a positive contact angle with the obstacle, and therefore the second derivative is only a measure at the contact free boundary set. We will show how to derive the mathematical problem for a few physical systems starting from the action functional, discuss the mathematical theory, and introduce methods for its numerical solution. The mathematical theory and numerical methods depart from the classical approaches in that they are based on semi-discretization in time, which facilitates the application of the modern theory of calculus of variations. 

This brief research monograph uses modern mathematical methods to investigate partial differential equations with nonlinear convolution terms, enabling readers to understand the concept of a solution and its asymptotic behavior. In their full generality, these inequalities display a non-local structure. Classical methods, such as maximum principle or sub- and super-solution methods, do not apply to this context. This work discusses partial differential inequalities (instead of differential equations) for which there is no variational setting.This current work brings forward other methods that prove to be useful in understanding the concept of a solution and its asymptotic behavior related to partial differential inequalities with nonlinear convolution terms. It promotes and illustrates the use of a priori estimates, Harnack inequalities, and integral representation of solutions. One of the first monographs on this rapidly expanding field, the presentwork appeals to graduate and postgraduate students as well as to researchers in the field of partial differential equations and nonlinear analysis.

This brief presents a global perspective on the geometry of spaces of polynomials. Its particular focus is on polynomial spaces of dimension 3, providing, in that case, a graphical representation of the unit ball. Also, the extreme points in the unit ball of several polynomial spaces are characterized. Finally, a number of applications to obtain sharp classical polynomial inequalities are presented.The study performed is the first ever complete account on the geometry of the unit ball of polynomial spaces. Nowadays there are hundreds of research papers on this topic and our work gathers the state of the art of the main and/or relevant results up to now. This book is intended for a broad audience, including undergraduate and graduate students, junior and senior researchers and it also serves as a source book for consultation. In addition to that, we made this work visually attractive by including in it over 50 original figures in order to help in the understanding of allthe results and techniques included in the book.

The question of reconstructing a geometric shape from spectra of operators (such as the Laplace operator) is decades old and an active area of research in mathematics and mathematical physics. This book focusses on the case of compact Riemannian manifolds, and, in particular, the question whether one can find finitely many natural operators that determine whether two such manifolds are isometric (coverings).The methods outlined in the book fit into the tradition of the famous work of Sunada on the construction of isospectral, non-isometric manifolds, and thus do not focus on analytic techniques, but rather on algebraic methods: in particular, the analogy with constructions in number theory, methods from representation theory, and from algebraic topology.The main goal of the book is to present the construction of finitely many ¿twisted¿ Laplace operators whose spectrum determines covering equivalence of two Riemannian manifolds.The book has a leisure pace and presents details and examples that are hard to find in the literature, concerning: fiber products of manifolds and orbifolds, the distinction between the spectrum and the spectral zeta function for general operators, strong isospectrality, twisted Laplacians, the action of isometry groups on homology groups, monomial structures on group representations, geometric and group-theoretical realisation of coverings with wreath products as covering groups, and ¿class field theory¿ for manifolds. The book contains a wealth of worked examples and open problems. After perusing the book, the reader will have a comfortable working knowledge of the algebraic approach to isospectrality. This is an open access book.

This text is a comprehensive survey of the literature surrounding star-critical Ramsey numbers. First defined by Jonelle Hook in her 2010 dissertation, these numbers aim to measure the sharpness of the corresponding Ramsey numbers by determining the minimum number of edges needed to be added to a critical graph for the Ramsey property to hold. Despite being in its infancy, the topic has gained significant attention among Ramsey theorists.This work provides researchers and students with a resource for studying known results and their complete proofs. It covers typical results, including multicolor star-critical Ramsey numbers for complete graphs, trees, cycles, wheels, and n-good graphs, among others. The proofs are streamlined and, in some cases, simplified, with a few new results included. The book also explores the connection between star-critical Ramsey numbers and deleted edge numbers, which focus on destroying the Ramsey property by removing edges.The book concludes with open problems and conjectures for researchers to consider, making it a valuable resource for those studying the field of star-critical Ramsey numbers.

This book offers an in-depth verification of numerical solutions for differential equations modeling heat transfer phenomena, where the smoothed particle hydrodynamics (SPH) method is used to discretize the mathematical models. Techniques described in this book aim to speed up the convergence of numerical solutions and increase their accuracy by significantly reducing the discretization error.In their quest, the authors shed light on new sources of numerical error that are specific to the SPH method and, through them, they identify the characteristics of the solutions influenced by such errors. The accuracy of numerical solutions is also improved with the application of advanced tools like the repeated Richardson extrapolation (RRE) in quadruple precision, which was adapted to consider fixed or moving particles. The book finishes with the conclusion that the qualitative and quantitative verification of numerical solutions through coherence tests andmetrics are currently a methodology of excellence to treat computational heat transfer problems.Mathematicians in applied fields and engineers modelling and solving real physical phenomena can greatly benefit from this work, as well as any reader interested in numerical methods for differential equations.

This book develops limit theorems for a natural class of long range random walks on finitely generated torsion free nilpotent groups. The limits in these limit theorems are Lévy processes on some simply connected nilpotent Lie groups. Both the limit Lévy process and the limit Lie group carrying this process are determined by and depend on the law of the original random walk. The book offers the first systematic study of such limit theorems involving stable-like random walks and stable limit Lévy processes in the context of (non-commutative) nilpotent groups.

This book presents the reader with a streamlined exposition of the notions and results leading to the construction of normal forms and, ultimately, to the construction of smooth conjugacies for the perturbations of tempered exponential dichotomies. These are exponential dichotomies for which the exponential growth rates of the underlying linear dynamics never vanish. In other words, its Lyapunov exponents are all nonzero. The authors consider mostly difference equations, although they also briefly consider the case of differential equations. The content is self-contained and all proofs have been simplified or even rewritten on purpose for the book so that all is as streamlined as possible. Moreover, all chapters are supplemented by detailed notes discussing the origins of the notions and results as well as their proofs, together with the discussion of the proper context, also with references to precursor results and further developments. A useful chapter dependence chart is included in the Preface. The book is aimed at researchers and graduate students who wish to have a sufficiently broad view of the area, without the discussion of accessory material. It can also be used as a basis for graduate courses on spectra, normal forms, and smooth conjugacies.The main components of the exposition are tempered spectra, normal forms, and smooth conjugacies. The first two lie at the core of the theory and have an importance that undoubtedly surpasses the construction of conjugacies. Indeed, the theory is very rich and developed in various directions that are also of interest by themselves. This includes the study of dynamics with discrete and continuous time, of dynamics in finite and infinite-dimensional spaces, as well as of dynamics depending on a parameter. This led the authors to make an exposition not only of tempered spectra and subsequently of normal forms, but also briefly of some important developments in those other directions. Afterwards the discussion continues with the construction of stable and unstable invariant manifolds and, consequently, of smooth conjugacies, while using most of the former material.The notion of tempered spectrum is naturally adapted to the study of nonautonomous dynamics. The reason for this is that any autonomous linear dynamics with a tempered exponential dichotomy has automatically a uniform exponential dichotomy. Most notably, the spectra defined in terms of tempered exponential dichotomies and uniform exponential dichotomies are distinct in general. More precisely, the tempered spectrum may be smaller, which causes that it may lead to less resonances and thus to simpler normal forms. Another important aspect is the need for Lyapunov norms in the study of exponentially decaying perturbations and in the study of parameter-dependent dynamics. Other characteristics are the need for a spectral gap to obtain the regularity of the normal forms on a parameter and the need for a careful control ofthe small exponential terms in the construction of invariant manifolds and of smooth conjugacies.