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 textbook is an introduction to the theory of Hilbert space and its applications. The notion of Hilbert space is central in functional analysis and is used in numerous branches of pure and applied mathematics. Dr Young has stressed applications of the theory, particularly to the solution of partial differential equations in mathematical physics and to the approximation of functions in complex analysis. Some basic familiarity with real analysis, linear algebra and metric spaces is assumed, but otherwise the book is self-contained. It is based on courses given at the University of Glasgow and contains numerous examples and exercises (many with solutions). Thus it will make an excellent first course in Hilbert space theory at either undergraduate or graduate level and will also be of interest to electrical engineers and physicists, particularly those involved in control theory and filter design.

This work has grown out of the lecture notes that were prepared for a series of seminars on some selected topics in quantum logic. The seminars were delivered during the first semester of the 1993/1994 academic year in the Unit for Foundations of Science of the Department of History and Foundations of Mathematics and Science, Faculty of Physics, Utrecht University, The Netherlands, while I was staying in that Unit on a European Community Research Grant, and in the Center for Philosophy of Science, University of Pittsburgh, U. S. A. , where I was staying during the 1994/1995 academic year as a Visiting Fellow on a Fulbright Research Grant, and where I also was supported by the Istvan Szechenyi Scholarship Foundation. The financial support provided by these foundations, by the Center for Philosophy of Science and by the European Community is greatly acknowledged, and I wish to thank D. Dieks, the professor of the Foundations Group in Utrecht and G. Massey, the director of the Center for Philosophy of Science in Pittsburgh for making my stay at the respective institutions possible. I also wish to thank both the members of the Foundations Group in Utrecht, especially D. Dieks, C. Lutz, F. Muller, J. Uffink and P. Vermaas and the participants in the seminars at the Center for Philosophy of Science in Pittsburgh, especially N. Belnap, J. Earman, A. Janis, J. Norton, and J.

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.

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.''

One of the most cited books in physics of all time, Quantum Computation and Quantum Information remains the best textbook in this exciting field of science. This 10th anniversary edition includes an introduction from the authors setting the work in context. This comprehensive textbook describes such remarkable effects as fast quantum algorithms, quantum teleportation, quantum cryptography and quantum error-correction. Quantum mechanics and computer science are introduced before moving on to describe what a quantum computer is, how it can be used to solve problems faster than 'classical' computers and its real-world implementation. It concludes with an in-depth treatment of quantum information. Containing a wealth of figures and exercises, this well-known textbook is ideal for courses on the subject, and will interest beginning graduate students and researchers in physics, computer science, mathematics, and electrical engineering.

This dissertation studies the logic behind quantum physics, using category theory as the principal tool and conceptual guide. To do so, principles of quantum mechanics are modeled categorically. These categorical quantum models are justified by an embedding into the category of Hilbert spaces, the traditional formalism of quantum physics. In particular, complex numbers emerge without having been prescribed explicitly. Interpreting logic in such categories results in orthomodular property lattices, and furthermore provides a natural setting to consider quantifiers. Finally, topos theory, incorporating categorical logic in a refined way, lets one study a quantum system as if it were classical, in particular leading to a novel mathematical notion of quantum-

This volume examines the logic, theory and mathematics of quantum mechanics in a clear and thorough way.

Suitable for advanced undergraduates and graduate students, this compact treatment examines linear space, functionals, and operators; diagonalizing operators; operator algebras; and equations of motion. 1969 edition.

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.