Inequalities continue to play an essential role in mathematics. The subject is per haps the last field that is comprehended and used by mathematicians working in all the areas of the discipline of mathematics. Since the seminal work Inequalities (1934) of Hardy, Littlewood and P6lya mathematicians have laboured to extend and sharpen the earlier classical inequalities. New inequalities are discovered ev ery year, some for their intrinsic interest whilst others flow from results obtained in various branches of mathematics. So extensive are these developments that a new mathematical periodical devoted exclusively to inequalities will soon appear; this is the Journal of Inequalities and Applications, to be edited by R. P. Agar wal. Nowadays it is difficult to follow all these developments and because of lack of communication between different groups of specialists many results are often rediscovered several times. Surveys of the present state of the art are therefore in dispensable not only to mathematicians but to the scientific community at large. The study of inequalities reflects the many and various aspects of mathemat ics. There is on the one hand the systematic search for the basic principles and the study of inequalities for their own sake. On the other hand the subject is a source of ingenious ideas and methods that give rise to seemingly elementary but nevertheless serious and challenging problems. There are many applications in a wide variety of fields from mathematical physics to biology and economics."

This book addresses Birkhoff and Mal'cev's problem of describing subquasivariety lattices. The text begins by developing the basics of atomic theories and implicational theories in languages that may, or may not, contain equality. Subquasivariety lattices are represented as lattices of closed algebraic subsets of a lattice with operators, which yields new restrictions on the equaclosure operator. As an application of this new approach, it is shown that completely distributive lattices with a dually compact least element are subquasivariety lattices. The book contains many examples to illustrate these principles, as well as open problems. Ultimately this new approach gives readers a set of tools to investigate classes of lattices that can be represented as subquasivariety lattices.

This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task - a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers.The content focuses on the modeling of a class of dynamic systems usually called "discrete event systems" where the timing of the events is crucial. Events are viewed as sudden changes in a process which is, essentially, a man-made system, such as automated manufacturing lines or transportation systems. Its main advantage is its formalism which allows us to clearly describe complex notions and the possibilities to transpose theoretical results between dioids and practical applications.

Chapter 1 The algebraic prerequisites for the book are covered here and in the appendix. This chapter should be used as reference material and should be consulted as needed. A systematic treatment of algebras, coalgebras, bialgebras, Hopf algebras, and represen tations of these objects to the extent needed for the book is given. The material here not specifically cited can be found for the most part in Sweedler, 1969] in one form or another, with a few exceptions. A great deal of emphasis is placed on the coalgebra which is the dual of n x n matrices over a field. This is the most basic example of a coalgebra for our purposes and is at the heart of most algebraic constructions described in this book. We have found pointed bialgebras useful in connection with solving the quantum Yang-Baxter equation. For this reason we develop their theory in some detail. The class of examples described in Chapter 6 in connection with the quantum double consists of pointed Hopf algebras. We note the quantized enveloping algebras described Hopf algebras. Thus for many reasons pointed bialgebras are elsewhere are pointed of fundamental interest in the study of the quantum Yang-Baxter equation and objects quantum groups."

This book presents an account of recent results on the theory of representations and the harmonic analysis of free groups. It emphasizes the analogy with the theory of representations of noncompact semisimple Lie groups and restricts the focus to a class of irreducible unitary representations.

This book offers an up-to-date, comprehensive account of determinantal rings and varieties, presenting a multitude of methods used in their study, with tools from combinatorics, algebra, representation theory and geometry. After a concise introduction to Groebner and Sagbi bases, determinantal ideals are studied via the standard monomial theory and the straightening law. This opens the door for representation theoretic methods, such as the Robinson-Schensted-Knuth correspondence, which provide a description of the Groebner bases of determinantal ideals, yielding homological and enumerative theorems on determinantal rings. Sagbi bases then lead to the introduction of toric methods. In positive characteristic, the Frobenius functor is used to study properties of singularities, such as F-regularity and F-rationality. Castelnuovo-Mumford regularity, an important complexity measure in commutative algebra and algebraic geometry, is introduced in the general setting of a Noetherian base ring and then applied to powers and products of ideals. The remainder of the book focuses on algebraic geometry, where general vanishing results for the cohomology of line bundles on flag varieties are presented and used to obtain asymptotic values of the regularity of symbolic powers of determinantal ideals. In characteristic zero, the Borel-Weil-Bott theorem provides sharper results for GL-invariant ideals. The book concludes with a computation of cohomology with support in determinantal ideals and a survey of their free resolutions. Determinants, Groebner Bases and Cohomology provides a unique reference for the theory of determinantal ideals and varieties, as well as an introduction to the beautiful mathematics developed in their study. Accessible to graduate students with basic grounding in commutative algebra and algebraic geometry, it can be used alongside general texts to illustrate the theory with a particularly interesting and important class of varieties.

The revealing of the phenomenon of superhydrophobicity (the "lotus-effect") has stimulated an interest in wetting of real (rough and chemically heterogeneous) surfaces. In spite of the fact that wetting has been exposed to intensive research for more than 200 years, there still is a broad field open for theoretical and experimental research, including recently revealed superhydrophobic, superoleophobic and superhydrophilic surfaces, so-called liquid marbles, wetting transitions, etc. This book integrates all these aspects within a general framework of wetting of real surfaces, where physical and chemical heterogeneity is essential. Wetting of rough/heterogeneous surfaces is discussed through the use of the variational approach developed recently by the author. It allows natural and elegant grounding of main equations describing wetting of solid surfaces, i.e. Young, Wenzel and Cassie-Baxter equations. The problems of superhydrophobicity, wetting transitions and contact angle hysteresis are discussed in much detail, in view of novel models and new experimental data. The second edition surveys the last achievements in the field of wetting of real surfaces, including new chapters devoted to the wetting of lubricated and gradient surfaces and reactive wetting, which have seen the rapid progress in the last decade. Additional reading, surveying the progress across the entire field of wetting of real surfaces, is suggested to the reader. Contents What is surface tension? Wetting of ideal surfaces Contact angle hysteresis Dynamics of wetting Wetting of rough and chemically heterogeneous surfaces: the Wenzel and Cassie Models Superhydrophobicity, superhydrophilicity, and the rose petal effect Wetting transitions on rough surfaces Electrowetting and wetting in the presence of external fields Nonstick droplets Wetting of lubricated surfaces

Linear algebra is growing in importance. 3D entertainment, animations in movies and video games are developed using linear algebra. Animated characters are generated using equations straight out of this book. Linear algebra is used to extract knowledge from the massive amounts of data generated from modern technology. The Fourth Edition of this popular text introduces linear algebra in a comprehensive, geometric, and algorithmic way. The authors start with the fundamentals in 2D and 3D, then move on to higher dimensions, expanding on the fundamentals and introducing new topics, which are necessary for many real-life applications and the development of abstract thought. Applications are introduced to motivate topics. The subtitle, A Geometry Toolbox, hints at the book's geometric approach, which is supported by many sketches and figures. Furthermore, the book covers applications of triangles, polygons, conics, and curves. Examples demonstrate each topic in action. This practical approach to a linear algebra course, whether through classroom instruction or self-study, is unique to this book. New to the Fourth Edition: Ten new application sections. A new section on change of basis. This concept now appears in several places. Chapters 14-16 on higher dimensions are notably revised. A deeper look at polynomials in the gallery of spaces. Introduces the QR decomposition and its relevance to least squares. Similarity and diagonalization are given more attention, as are eigenfunctions. A longer thread on least squares, running from orthogonal projections to a solution via SVD and the pseudoinverse. More applications for PCA have been added. More examples, exercises, and more on the kernel and general linear spaces. A list of applications has been added in Appendix A. The book gives instructors the option of tailoring the course for the primary interests of their students: mathematics, engineering, science, computer graphics, and geometric modeling.

The book is devoted to recent developments in the theory of fractional calculus and its applications. Particular attention is paid to the applicability of this currently popular research field in various branches of pure and applied mathematics. In particular, the book focuses on the more recent results in mathematical physics, engineering applications, theoretical and applied physics as quantum mechanics, signal analysis, and in those relevant research fields where nonlinear dynamics occurs and several tools of nonlinear analysis are required. Dynamical processes and dynamical systems of fractional order attract researchers from many areas of sciences and technologies, ranging from mathematics and physics to computer science.

This proceedings volume documents the contributions presented at the CONIAPS XXVII international Conference on Recent Advances in Pure and Applied Algebra. The entries focus on modern trends and techniques in various branches of pure and applied Algebra and highlight their applications in coding theory, cryptography, graph theory, and fuzzy theory.

This book highlights new developments in the wide and growing field of partial differential equations (PDE)-constrained optimization. Optimization problems where the dynamics evolve according to a system of PDEs arise in science, engineering, and economic applications and they can take the form of inverse problems, optimal control problems or optimal design problems. This book covers new theoretical, computational as well as implementation aspects for PDE-constrained optimization problems under uncertainty, in shape optimization, and in feedback control, and it illustrates the new developments on representative problems from a variety of applications.

Through three editions, Cryptography: Theory and Practice, has been embraced by instructors and students alike. It offers a comprehensive primer for the subject's fundamentals while presenting the most current advances in cryptography. The authors offer comprehensive, in-depth treatment of the methods and protocols that are vital to safeguarding the seemingly infinite and increasing amount of information circulating around the world. Key Features of the Fourth Edition: New chapter on the exciting, emerging new area of post-quantum cryptography (Chapter 9). New high-level, nontechnical overview of the goals and tools of cryptography (Chapter 1). New mathematical appendix that summarizes definitions and main results on number theory and algebra (Appendix A). An expanded treatment of stream ciphers, including common design techniques along with coverage of Trivium. Interesting attacks on cryptosystems, including: padding oracle attack correlation attacks and algebraic attacks on stream ciphers attack on the DUAL-EC random bit generator that makes use of a trapdoor. A treatment of the sponge construction for hash functions and its use in the new SHA-3 hash standard. Methods of key distribution in sensor networks. The basics of visual cryptography, allowing a secure method to split a secret visual message into pieces (shares) that can later be combined to reconstruct the secret. The fundamental techniques cryptocurrencies, as used in Bitcoin and blockchain. The basics of the new methods employed in messaging protocols such as Signal, including deniability and Diffie-Hellman key ratcheting.

The term "stereotype space" was introduced in 1995 and denotes a category of locally convex spaces with surprisingly elegant properties. Its study gives an unexpected point of view on functional analysis that brings this fi eld closer to other main branches of mathematics, namely, to algebra and geometry. This volume contains the foundations of the theory of stereotype spaces, with accurate definitions, formulations, proofs, and numerous examples illustrating the interaction of this discipline with the category theory, the theory of Hopf algebras, and the four big geometric disciplines: topology, differential geometry, complex geometry, and algebraic geometry.

0.1. General remarks. For any algebraic system A, the set SubA of all subsystems of A partially ordered by inclusion forms a lattice. This is the subsystem lattice of A. (In certain cases, such as that of semigroups, in order to have the right always to say that SubA is a lattice, we have to treat the empty set as a subsystem.) The study of various inter-relationships between systems and their subsystem lattices is a rather large field of investigation developed over many years. This trend was formed first in group theory; basic relevant information up to the early seventies is contained in the book [Suz] and the surveys [K Pek St], [Sad 2], [Ar Sad], there is also a quite recent book [Schm 2]. As another inspiring source, one should point out a branch of mathematics to which the book [Baer] was devoted. One of the key objects of examination in this branch is the subspace lattice of a vector space over a skew field. A more general approach deals with modules and their submodule lattices. Examining subsystem lattices for the case of modules as well as for rings and algebras (both associative and non-associative, in particular, Lie algebras) began more than thirty years ago; there are results on this subject also for lattices, Boolean algebras and some other types of algebraic systems, both concrete and general. A lot of works including several surveys have been published here.

This book furnishes a comprehensive treatment of differential graded Lie algebras, L-infinity algebras, and their use in deformation theory. We believe it is the first textbook devoted to this subject, although the first chapters are also covered in other sources with a different perspective. Deformation theory is an important subject in algebra and algebraic geometry, with an origin that dates back to Kodaira, Spencer, Kuranishi, Gerstenhaber, and Grothendieck. In the last 30 years, a new approach, based on ideas from rational homotopy theory, has made it possible not only to solve long-standing open problems, but also to clarify the general theory and to relate apparently different features. This approach works over a field of characteristic 0, and the central role is played by the notions of differential graded Lie algebra, L-infinity algebra, and Maurer-Cartan equations. The book is written keeping in mind graduate students with a basic knowledge of homological algebra and complex algebraic geometry as utilized, for instance, in the book by K. Kodaira, Complex Manifolds and Deformation of Complex Structures. Although the main applications in this book concern deformation theory of complex manifolds, vector bundles, and holomorphic maps, the underlying algebraic theory also applies to a wider class of deformation problems, and it is a prerequisite for anyone interested in derived deformation theory. Researchers in algebra, algebraic geometry, algebraic topology, deformation theory, and noncommutative geometry are the major targets for the book.

Dedicated to the memory of Wolfgang Classical Intersection Theory (see for example Wei! [Wei]) treats the case of proper intersections, where geometrical objects (usually subvarieties of a non singular variety) intersect with the expected dimension. In 1984, two books appeared which surveyed and developed work by the individual authors, co workers and others on a refined version of Intersection Theory, treating the case of possibly improper intersections, where the intersection could have ex cess dimension. The first, by W. Fulton [Full] (recently revised in updated form), used a geometrical theory of deformation to the normal cone, more specifically, deformation to the normal bundle followed by moving the zero section to make the intersection proper; this theory was due to the author together with R. MacPherson and worked generally for intersections on algeb raic manifolds. It represents nowadays the standard approach to Intersection Theory. The second, by W. Vogel [Vogl], employed an algebraic approach to inter sections; although restricted to intersections in projective space it produced an intersection cycle by a simple and natural algorithm, thus leading to a Bezout theorem for improper intersections. It was developed together with J. Stiickrad and involved a refined version of the classical technique ofreduc tion to the diagonal: here one starts with the join variety and intersects with successive hyperplanes in general position, laying aside components which fall into the diagonal and intersecting the residual scheme with the next hyperplane; since all the hyperplanes intersect in the diagonal, the process terminates.

This book brings together the impact of Prof. John Horton Conway, the playful and legendary mathematician's wide range of contributions in science which includes research areas-Game of Life in cellular automata, theory of finite groups, knot theory, number theory, combinatorial game theory, and coding theory. It contains transcripts where some eminent scientists have shared their first-hand experience of interacting with Conway, as well as some invited research articles from the experts focusing on Game of Life, cellular automata, and the diverse research directions that started with Conway's Game of Life. The book paints a portrait of Conway's research life and philosophical direction in mathematics and is of interest to whoever wants to explore his contribution to the history and philosophy of mathematics and computer science. It is designed as a small tribute to Prof. Conway whom we lost on April 11, 2020.

This contributed volume is a follow-up to the 2013 volume of the same title, published in honor of noted Algebraist David Eisenbud's 65th birthday. It brings together the highest quality expository papers written by leaders and talented junior mathematicians in the field of Commutative Algebra. Contributions cover a very wide range of topics, including core areas in Commutative Algebra and also relations to Algebraic Geometry, Category Theory, Combinatorics, Computational Algebra, Homological Algebra, Hyperplane Arrangements, and Non-commutative Algebra. The book aims to showcase the area and aid junior mathematicians and researchers who are new to the field in broadening their background and gaining a deeper understanding of the current research in this area. Exciting developments are surveyed and many open problems are discussed with the aspiration to inspire the readers and foster further research.

This book presents a guide to the extensive literature on the topic of semirings and includes a complete bibliography. It serves as a complement to the existing monographs and a point of reference to researchers and students on this topic. The literature on semirings has evolved over many years, in a variety of languages, by authors representing different schools of mathematics and working in various related fields. Recently, semiring theory has experienced rapid development, although publications are widely scattered. This survey also covers those newly emerged areas of semiring applications that have not received sufficient treatment in widely accessible monographs, as well as many lesser-known or forgotten' works.

The author has been collecting the bibliographic data for this book since 1985. Over the years, it has proved very useful for specialists. For example, J.S. Golan wrote he owed ... a special debt to Kazimierz Glazek, whose bibliography proved to be an invaluable guide to the bewildering maze of literature on semirings'. U. Hebisch and H.J. Weinert also mentioned his collection of literature had been of great assistance to them. Now updated to include publications up to the beginning of 2002, this work is available to a wide readership.

Audience: This volume is the first single reference that can guide the interested scholar or student to the relevant publications in semirings, semifields, algebraic theory of languages and automata, positive matrices and other generalisations, and ordered semigroups and groups.

It is because mathematics is often misunderstood, it is commonly believed it has nothing to say about politics. The high school experience with mathematics, for so many the lasting impression of the subject, suggests that mathematics is the study of numbers, operations, formulas, and manipulations of symbols. Those believing this is the extent of mathematics might conclude mathematics has no relevance to politics. This book counters this impression. The second edition of this popular book focuses on mathematical reasoning about politics. In the search for ideal ways to make certain kinds of decisions, a lot of wasted effort can be averted if mathematics can determine that finding such an ideal is actually impossible in the first place. In the first three parts of this book, we address the following three political questions: (1) Is there a good way to choose winners of elections? (2) Is there a good way to apportion congressional seats? (3) Is there a good way to make decisions in situations of conflict and uncertainty? In the fourth and final part of this book, we examine the Electoral College system that is used in the United States to select a president. There we bring together ideas that are introduced in each of the three earlier parts of the book.

The first systematic, self-contained presentation of a theory of arbitrary order ODEs with unbounded operator coefficients in a Hilbert or Banach space. Developed over the last 10 years by the authors, it deals with conditions of solvability, classes of uniqueness, estimates for solutions and asymptotic representations of solutions at infinity.

Just suppose, for a moment, that all rings of integers in algebraic number fields were unique factorization domains, then it would be fairly easy to produce a proof of Fermat's Last Theorem, fitting, say, in the margin of this page. Unfortunately however, rings of integers are not that nice in general, so that, for centuries, math ematicians had to search for alternative proofs, a quest which culminated finally in Wiles' marvelous results - but this is history. The fact remains that modern algebraic number theory really started off with in vestigating the problem which rings of integers actually are unique factorization domains. The best approach to this question is, of course, through the general the ory of Dedekind rings, using the full power of their class group, whose vanishing is, by its very definition, equivalent to the unique factorization property. Using the fact that a Dedekind ring is essentially just a one-dimensional global version of discrete valuation rings, one easily verifies that the class group of a Dedekind ring coincides with its Picard group, thus making it into a nice, functorial invariant, which may be studied and calculated through algebraic, geometric and co homological methods. In view of the success of the use of the class group within the framework of Dedekind rings, one may wonder whether it may be applied in other contexts as well. However, for more general rings, even the definition of the class group itself causes problems."

This volume contains selected papers presented at the Second Workshop on Clifford Algebras and their Applications in Mathematical Physics. These papers range from various algebraic and analytic aspects of Clifford algebras to applications in, for example, gauge fields, relativity theory, supersymmetry and supergravity, and condensed phase physics. Included is a biography and list of publications of Mario Schenberg, who, next to Marcel Riesz, has made valuable contributions to these topics. This volume will be of interest to mathematicians working in the fields of algebra, geometry or special functions, to physicists working on quantum mechanics or supersymmetry, and to historians of mathematical physics. "

This volume offers English translations of three early works by Ernst Schroeder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. The works translated record Schroeder's journey out of algebra into algebraic logic and document his transformation of George Boole's opaque and unwieldy logical calculus into what we now recognize as Boolean algebra. Readers interested in algebraic logic and abstract algebra can look forward to a tour of the early history of those fields with a guide who was exceptionally thorough, unfailingly honest, and deeply reflective.

This volume began as the last part of a one-term graduate course given at the Fields Institute for Research in the Mathematical Sciences in the Autumn of 1993. The course was one of four associated with the 1993-94 Fields Institute programme, which I helped to organise, entitled "Artin L-functions". Published as [132]' the final chapter of the course introduced a manner in which to construct class-group valued invariants from Galois actions on the algebraic K-groups, in dimensions two and three, of number rings. These invariants were inspired by the analogous Chin burg invariants of [34], which correspond to dimensions zero and one. The classical Chinburg invariants measure the Galois structure of classical objects such as units in rings of algebraic integers. However, at the "Galois Module Structure" workshop in February 1994, discussions about my invariant (0,1 (L/ K, 3) in the notation of Chapter 5) after my lecture revealed that a number of other higher-dimensional co homological and motivic invariants of a similar nature were beginning to surface in the work of several authors. Encouraged by this trend and convinced that K-theory is the archetypical motivic cohomology theory, I gratefully took the opportunity of collaboration on computing and generalizing these K-theoretic invariants. These generalizations took several forms - local and global, for example - as I followed part of number theory and the prevalent trends in the "Galois Module Structure" arithmetic geometry.