This textbook presents in a concise and self-contained way the advanced fundamental mathematical structures in quantum theory. It is based on lectures prepared for a 6 months course for MSc students. The reader is introduced to the beautiful interconnection between logic, lattice theory, general probability theory, and general spectral theory including the basic theory of von Neumann algebras and of the algebraic formulation, naturally arising in the study of the mathematical machinery of quantum theories. Some general results concerning hidden-variable interpretations of QM such as Gleason's and the Kochen-Specker theorems and the related notions of realism and non-contextuality are carefully discussed. This is done also in relation with the famous Bell (BCHSH) inequality concerning local causality. Written in a didactic style, this book includes many examples and solved exercises. The work is organized as follows. Chapter 1 reviews some elementary facts and properties of quantum systems. Chapter 2 and 3 present the main results of spectral analysis in complex Hilbert spaces. Chapter 4 introduces the point of view of the orthomodular lattices' theory. Quantum theory form this perspective turns out to the probability measure theory on the non-Boolean lattice of elementary observables and Gleason's theorem characterizes all these measures. Chapter 5 deals with some philosophical and interpretative aspects of quantum theory like hidden-variable formulations of QM. The Kochen-Specker theorem and its implications are analyzed also in relation BCHSH inequality, entanglement, realism, locality, and non-contextuality. Chapter 6 focuses on the algebra of observables also in the presence of superselection rules introducing the notion of von Neumann algebra. Chapter 7 offers the idea of (groups of) quantum symmetry, in particular, illustrated in terms of Wigner and Kadison theorems. Chapter 8 deals with the elementary ideas and results of the so called algebraic formulation of quantum theories in terms of both *-algebras and C*-algebras. This book should appeal to a dual readership: on one hand mathematicians that wish to acquire the tools that unlock the physical aspects of quantum theories; on the other physicists eager to solidify their understanding of the mathematical scaffolding of quantum theories.

This book provides a rather self-contained survey of the construction of Hadamard states for scalar field theories in a large class of notable spacetimes, possessing a (conformal) light-like boundary. The first two sections focus on explaining a few introductory aspects of this topic and on providing the relevant geometric background material. The notions of asymptotically flat spacetimes and of expanding universes with a cosmological horizon are analysed in detail, devoting special attention to the characterization of asymptotic symmetries. In the central part of the book, the quantization of a real scalar field theory on such class of backgrounds is discussed within the framework of algebraic quantum field theory. Subsequently it is explained how it is possible to encode the information of the observables of the theory in a second, ancillary counterpart, which is built directly on the conformal (null) boundary. This procedure, dubbed bulk-to-boundary correspondence, has the net advantage of allowing the identification of a distinguished state for the theory on the boundary, which admits a counterpart in the bulk spacetime which is automatically of Hadamard form. In the last part of the book, some applications of these states are discussed, in particular the construction of the algebra of Wick polynomials. This book is aimed mainly, but not exclusively, at a readership with interest in the mathematical formulation of quantum field theory on curved backgrounds.

This textbook presents in a concise and self-contained way the advanced fundamental mathematical structures in quantum theory. It is based on lectures prepared for a 6 months course for MSc students. The reader is introduced to the beautiful interconnection between logic, lattice theory, general probability theory, and general spectral theory including the basic theory of von Neumann algebras and of the algebraic formulation, naturally arising in the study of the mathematical machinery of quantum theories. Some general results concerning hidden-variable interpretations of QM such as Gleason's and the Kochen-Specker theorems and the related notions of realism and non-contextuality are carefully discussed. This is done also in relation with the famous Bell (BCHSH) inequality concerning local causality. Written in a didactic style, this book includes many examples and solved exercises. The work is organized as follows. Chapter 1 reviews some elementary facts and properties of quantum systems. Chapter 2 and 3 present the main results of spectral analysis in complex Hilbert spaces. Chapter 4 introduces the point of view of the orthomodular lattices' theory. Quantum theory form this perspective turns out to the probability measure theory on the non-Boolean lattice of elementary observables and Gleason's theorem characterizes all these measures. Chapter 5 deals with some philosophical and interpretative aspects of quantum theory like hidden-variable formulations of QM. The Kochen-Specker theorem and its implications are analyzed also in relation BCHSH inequality, entanglement, realism, locality, and non-contextuality. Chapter 6 focuses on the algebra of observables also in the presence of superselection rules introducing the notion of von Neumann algebra. Chapter 7 offers the idea of (groups of) quantum symmetry, in particular, illustrated in terms of Wigner and Kadison theorems. Chapter 8 deals with the elementary ideas and results of the so called algebraic formulation of quantum theories in terms of both *-algebras and C*-algebras. This book should appeal to a dual readership: on one hand mathematicians that wish to acquire the tools that unlock the physical aspects of quantum theories; on the other physicists eager to solidify their understanding of the mathematical scaffolding of quantum theories.

This book collects independent contributions on current developments in quantum information theory, a very interdisciplinary field at the intersection of physics, computer science and mathematics. Making intense use of the most advanced concepts from each discipline, the authors give in each contribution pedagogical introductions to the main concepts underlying their present research and present a personal perspective on some of the most exciting open problems. Keeping this diverse audience in mind, special efforts have been made to ensure that the basic concepts underlying quantum information are covered in an understandable way for mathematical readers, who can find there new open challenges for their research. At the same time, the volume can also be of use to physicists wishing to learn advanced mathematical tools, especially of differential and algebraic geometric nature.

Il testo parte da una rivisitazione teorica della meccanica classica newtoniana e del suo linguaggio matematico che si conclude con un'analisi critica della meccanica classica newtoniana. Si passa quindi alle formulazioni lagrangiane e hamiltoniane della meccanica classica, discutendo in particolare il rapporto tra simmetrie e costanti del moto all'interno di varie versioni del teorema di Noether e analoghi risultati. I capitoli sulla meccanica hamiltoniana, oltre al materiale standard come le parentesi di Poisson, la geometria simplettica, la formulazione di Hamilton-Jacobi e principi variazionali, includono alcuni risultati teorici importanti come il teorema di Liouville e il teorema di ricorrenza di Poincare. La teoria della stabilita e introdotta e discussa nell'approccio di Liapunov. Il linguaggio adottato in tutto il testo e quello della geometria differenziale, che in ogni caso viene introdotta gradualmente. Un complemento finale include la teoria di base dei sistemi di equazioni differenziali ordinarie e dei sistemi con alcune generalizzazioni alla teoria sulle varieta. Diverse appendici introducono alcuni strumenti matematici come la teoria delle forme differenziali, la derivata di Lie e la teoria dell'integrazione su varieta. Il libro include diversi esercizi risolti. Il libro si rivolge agli studenti di Matematica e Fisica per i corsi di Meccanica Razionale e Meccanica Analitica.

This book collects an extended version of the lectures delivered by the authors at the Fall Workshop on Geometry and Physics in the years 2014, 2015, 2016.It aims at introducing advanced graduate and PhD students, as well as young researchers, to current research in mathematics and physics. In particular, it fills the gap between the more physical-oriented and the more mathematical-oriented literature on quantum theory. It introduces various approaches to methods of quantization, along with their impact on modern mathematical methods.

This textbook aims at introducing readers, primarily students enrolled in undergraduate Mathematics or Physics courses, to the topics and methods of classical Mathematical Physics, including Classical Mechanics, its Lagrangian and Hamiltonian formulations, Lyapunov stability, plus the Liouville theorem and the Poincaré recurrence theorem among others. The material also rigorously covers the theory of Special Relativity. The logical-mathematical structure of the physical theories of concern is introduced in an axiomatic way, starting from a limited number of physical assumptions. Special attention is paid to themes with a major impact on Theoretical and Mathematical Physics beyond Analytical Mechanics, such as the Galilean symmetry of classical Dynamics and the Poincaré symmetry of relativistic Dynamics, the far-fetching relationship between symmetries and constants of motion, the coordinate-free nature of the underpinning mathematical objects, or the possibility of describing Dynamics in a global way while still working in local coordinates. Based on the author’s established teaching experience, the text was conceived to be flexible and thus adapt to different curricula and to the needs of a wide range of students and instructors.