Historically, nonclassical physics developed in three stages. First came a collection of ad hoc assumptions and then a cookbook of equations known as "quantum mechanics". The equations and their philosophical underpinnings were then collected into a model based on the mathematics of Hilbert space. From the Hilbert space model came the abstaction of "quantum logics". This book explores all three stages, but not in historical order. Instead, in an effort to illustrate how physics and abstract mathematics influence each other we hop back and forth between a purely mathematical development of Hilbert space, and a physically motivated definition of a logic, partially linking the two throughout, and then bringing them together at the deepest level in the last two chapters. This book should be accessible to undergraduate and beginning graduate students in both mathematics and physics. The only strict prerequisites are calculus and linear algebra, but the level of mathematical sophistication assumes at least one or two intermediate courses, for example in mathematical analysis or advanced calculus. No background in physics is assumed.

This book gives a comprehensive introduction to modern quantum mechanics, emphasising the underlying Hilbert space theory and generalised function theory. All the major modern techniques and approaches used in quantum mechanics are introduced, such as Berry phase, coherent and squeezed states, quantum computing, solitons and quantum mechanics. Audience: The book is suitable for graduate students in physics and mathematics.

Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition, and a conceptual way to understand many high-level quantum phenomena. This text lays the foundation for this categorical quantum mechanics, with an emphasis on the graphical calculus which makes computation intuitive. Biproducts and dual objects are introduced and used to model superposition and entanglement, with quantum teleportation studied abstractly using these structures. Monoids, Frobenius structures and Hopf algebras are described, and it is shown how they can be used to model classical information and complementary observables. The CP construction, a categorical tool to describe probabilistic quantum systems, is also investigated. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Prior knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text links with many other areas are highlighted, such as representation theory, topology, quantum algebra, knot theory, and probability theory, and nonstandard models are presented, such as sets and relations. All results are stated rigorously, and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook.

The topics of this book are the mathematical foundations of non-relativistic quantum mechanics and the mathematical theory they require. The main characteristic of the book is that the mathematics is developed assuming familiarity with elementary analysis only. Moreover, all the proofs are carried out in detail. These features make the book easily accessible to readers with only the mathematical training offered by undergraduate education in mathematics or in physics, and also ideal for individual study. The principles of quantum mechanics are discussed with complete mathematical accuracy and an effort is made to always trace them back to the experimental reality that lies at their root. The treatment of quantum mechanics is axiomatic, with definitions followed by propositions proved in a mathematical fashion. No previous knowledge of quantum mechanics is required. This book is designed so that parts of it can be easily used for various courses in mathematics and mathematical physics, as suggested in the Preface.The book is of interest to researchers and graduate students in functional analysis, who can see how closely an important part of their chosen field is linked with quantum mechanics, and also to physicists, who can see how the abstract language of functional analysis brings unity to the apparently distinct approaches employed in quantum theory.

The notion of a Hilbert space is a central idea in functional analysis and this text demonstrates its applications in numerous branches of pure and applied mathematics.

From the Preface: ``This textbook has evolved from a set of lecture notes ... In both the course and the book, I have in mind first- or second-year graduate students in Mathematics and related fields such as Physics ... It is necessary for the reader to have a foundation in advanced calculus which includes familiarity with: least upper bound (LUB) and greatest lower bound (GLB), the concept of function, $\epsilon$'s and their companion $\delta$'s, and basic properties of sequences of real and complex numbers (convergence, Cauchy's criterion, the Weierstrass-Bolzano theorem). It is not presupposed that the reader is acquainted with vector spaces ... , matrices ... , or determinants ... There are over four hundred exercises, most of them easy ... It is my hope that this book, aside from being an exposition of certain basic material on Hilbert space, may also serve as an introduction to other areas of functional analysis.''

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics quantum logic, i.e. the logical investigation of quantum mechanics, has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results.Quantum logic is a heterogeneous field of research ranging from investigations which may be termed logical in the traditional sense to studies focusing on structures which are on the border between algebra and logic. For the latter structures the term quantum structures is appropriate. The chapters of this Handbook, which are authored by the most eminent scholars in the field, constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic and quantum structures. Much of the material presented is of recent origin representing the frontier of the subject. The present volume focuses on quantum structures. Among the structures studied extensively in this volume are, just to name a few, Hilbert lattices, D-posets, effect algebras MV algebras, partially ordered Abelian groups and those structures underlying quantum probability.- Written by eminent scholars in the field of logic- A comprehensive presentation of the theory, approaches and results in the field of quantum logic- Volume focuses on quantum structures

The authors provide an introduction to quantum computing. Aimed at advanced undergraduate and beginning graduate students in these disciplines, this text is illustrated with diagrams and exercises.

This book offers an essential introduction to the theory of Hilbert space, a fundamental tool for non-relativistic quantum mechanics. Linear, topological, metric, and normed spaces are all addressed in detail, in a rigorous but reader-friendly fashion. The rationale for providing an introduction to the theory of Hilbert space, rather than a detailed study of Hilbert space theory itself, lies in the strenuous mathematics demands that even the simplest physical cases entail. Graduate courses in physics rarely offer enough time to cover the theory of Hilbert space and operators, as well as distribution theory, with sufficient mathematical rigor. Accordingly, compromises must be found between full rigor and the practical use of the instruments. Based on one of the authors’s lectures on functional analysis for graduate students in physics, the book will equip readers to approach Hilbert space and, subsequently, rigged Hilbert space, with a more practical attitude. It also includes a brief introduction to topological groups, and to other mathematical structures akin to Hilbert space. Exercises and solved problems accompany the main text, offering readers opportunities to deepen their understanding. The topics and their presentation have been chosen with the goal of quickly, yet rigorously and effectively, preparing readers for the intricacies of Hilbert space. Consequently, some topics, e.g., the Lebesgue integral, are treated in a somewhat unorthodox manner. The book is ideally suited for use in upper undergraduate and lower graduate courses, both in Physics and in Mathematics.

The new edition of this book detailing the theory of linear-Hilbert space operators and their use in quantum physics contains two new chapters devoted to properties of quantum waveguides and quantum graphs. The bibliography contains 130 new items.