Convergence of Probability Measures. By P. Billingsley. Chichester, Sussex, Wiley, 1968. xii, 253 p. 9 1/4“. 117s.

Convergence of Probability Measures

Advances in atomic physics, such as cooling and trapping of atoms and molecules and developments in frequency metrology, have added orders of magnitude to the precision of atom-based clocks and sensors. Applications extend beyond atomic physics and this article reviews using these new techniques to address important challenges in physics and to look for variations in the fundamental constants, search for interactions beyond the standard model of particle physics, and test the principles of general relativity.

Search for New Physics with Atoms and Molecules

This largely self-contained book on the theory of quantum information focuses on precise mathematical formulations and proofs of fundamental facts that form the foundation of the subject. It is intended for graduate students and researchers in mathematics, computer science, and theoretical physics seeking to develop a thorough understanding of key results, proof techniques, and methodologies that are relevant to a wide range of research topics within the theory of quantum information and computation. The book is accessible to readers with an understanding of basic mathematics, including linear algebra, mathematical analysis, and probability theory. An introductory chapter summarizes these necessary mathematical prerequisites, and starting from this foundation, the book includes clear and complete proofs of all results it presents. Each subsequent chapter includes challenging exercises intended to help readers to develop their own skills for discovering proofs concerning the theory of quantum information.

The Theory of Quantum Information

https://hal-supelec.archives-ouvertes.fr/hal-00610053/document

Reliability engineering: Old problems and new challenges

Quantum theory of open systems

Sequential products on effect algebras

Quantum operations frequently occur in quantum measurement theory, quantum probability, quantum computation, and quantum information theory. If an operator A is invariant under a quantum operation φ, we call A a φ-fixed point. Physically, the φ-fixed points are the operators that are not disturbed by the action of φ. Our main purpose is to answer the following question. If A is a φ-fixed point, is A compatible with the operation elements of φ? We shall show in general that the answer is no and we shall give some sufficient conditions under which the answer is yes. Our results will follow from some general theorems concerning completely positive maps and injectivity of operator systems and von Neumann algebras.

Fixed points of quantum operations

A quantum effect is an operator A on a complex Hilbert space H that satisfies 0⩽A⩽I. We denote the set of quantum effects by E(H). The set of self-adjoint projection operators on H corresponds to sharp effects and is denoted by P(H). We define the sequential product of A,B∈E(H) by A∘B=A1/2BA1/2. The main purpose of this article is to study some of the algebraic properties of the sequential product. Many of our results show that algebraic conditions on A∘B imply that A and B commute for the usual operator product. For example, if A∘B satisfies certain distributive or associative laws, then AB=BA. Moreover, if A∘B∈P(H), then AB=BA and A∘B=B or B∘A=B if and only if AB=BA=B. A natural definition of stochastic independence is introduced and briefly studied.

Sequential quantum measurements

A quantum computational logic is constructed by employing density operators on spaces of qubits and quantum gates represented by unitary operators. It is shown that this quantum computational logic is isomorphic to the basic sequential effect algebra [0, 1].

Quantum Computational Logic

We present a mathematical theory for a new type of quantum computer called a duality quantum computer that has recently been proposed. We discuss the nonunitarity of certain circuits of a duality quantum computer and point out a paradoxical situation that occurs when mixed states are considered. It is shown that a duality quantum computer can measure itself without needing a separate measurement apparatus to determine its final state.

Stan Gudder

Papers

Sequential products on effect algebras

Fixed points of quantum operations

Sequential quantum measurements

Quantum Computational Logic

Mathematical Theory of Duality Quantum Computers