Abstract: The aim of this book is to show that the probabilistic formalisms of classical statistical mechanics and quantum mechanics can be unified on the basis of a general contextual probabilistic model. By taking into account the dependence of (classical) probabilities on contexts (i.e. complexes of physical conditions), one can reproduce all distinct features of quantum probabilities such as the interference of probabilities and the violation of Bells inequality. Moreover, by starting with a formula for the interference of probabilities (which generalizes the well known classical formula of total probability), one can construct the representation of contextual probabilities by complex probability amplitudes or, in the abstract formalism, by normalized vectors of the complex Hilbert space or its hyperbolic generalization. Thus the Hilbert space representation of probabilities can be naturally derived from classical probabilistic assumptions. An important chapter of the book critically reviews known no-go theorems: the impossibility to establish a finer description of micro-phenomena than provided by quantum mechanics; and, in particular, the commonly accepted consequences of Bells theorem (including quantum non-locality). Also, possible applications of the contextual probabilistic model and its quantum-like representation in complex Hilbert spaces in other fields (e.g. in cognitive science and psychology) are discussed.

Abstract: I General theory.- The Stochastic Schr#x00F6 dinger Equation.- The Stochastic Master Equation: Part I.- Continuous Measurements and Instruments.- The Stochastic Master Equation: Part II.- Mutual Entropies and Information Gain in Quantum Continuous Measurements.- II Physical applications.- Quantum Optical Systems.- A Two-Level Atom: General Setup.- A Two-Level Atom: Heterodyne and Homodyne Spectra.- Feedback.

Abstract: Starting from the famous Pauli problem on the possibility of associating quantum states with probabilities, the formulation of quantum mechanics in which quantum states are described by fair probability distributions (tomograms, i.e. tomographic probabilities) is reviewed in a pedagogical style. The relation between the quantum state description and the classical state description is elucidated. The difference between those sets of tomograms is described by inequalities equivalent to a complete set of uncertainty relations for the quantum domain and to non-negativity of probability density on phase space in the classical domain. The intersection of such sets is studied. The mathematical mechanism that allows us to construct different kinds of tomographic probabilities like symplectic tomograms, spin tomograms, photon number tomograms, etc is clarified and a connection with abstract Hilbert space properties is established. The superposition rule and uncertainty relations in terms of probabilities as well as quantum basic equations like quantum evolution and energy spectra equations are given in an explicit form. A method to check experimentally the uncertainty relations is suggested using optical tomograms. Entanglement phenomena and the connection with semigroups acting on simplexes are studied in detail for spin states in the case of two-qubits. The star-product formalism is associated with the tomographic probability formulation of quantum mechanics.

Abstract: Classical Physics.- Symmetry.- Chance.- Brownian motion.- The Beginning of Quantum Theory.- Schrodinger's Equation.- Bohmian Mechanics.- The Macroscopic World.- Nonlocality.- The Wave Function and Quantum Equilibrium.- From Physics to Mathematics.- Hilbert Space.- The Schrodinger Operator.- Measures and Operators.- Bohmian Mechanics on Scattering Theory.- Epilogue.

Abstract: The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Moti- vated by Bohr's idea that the empirical content of quantum physics is accessible only through classical physics, we show how a noncommutative C*-algebra of observables A induces a topos T (A) in which the amalgamation of all of its commutative subalgebras comprises a single commutative C*-algebra A. According to the constructive Gelfand duality theorem of Banaschewski and Mulvey, the latter has an internal spectrum � (A) in T (A), which in our approach plays the role of the quantum phase space of the sys- tem. Thus we associate a locale (which is the topos-theoretical notion of a space and which intrinsically carries the intuitionistic logical structure of a Heyting algebra) to a C*-algebra (which is the noncommutative notion of a space). In this setting, states on A become probability measures (more precisely, valuations) on � , and self-adjoint elements of A define continuous functions (more precisely, locale maps) fromto Scott's interval domain. Noting that open subsets of � (A) correspond to propositions about the system, the pairing map that assigns a (generalized) truth value to a state and a proposition assumes an extremely simple categorical form. Formulated in this way, the quantum theory defined by A is essentially turned into a classical theory, internal to the topos T (A). These results were inspired by the topos-theoretic approach to quantum physics pro- posed by Butterfield and Isham, as recently generalized by Doring and Isham.

Abstract: Quantum theory makes the most accurate empirical predictions and yet it lacks simple, comprehensible physical principles from which the theory can be uniquely derived. A broad class of probabilistic theories exist which all share some features with quantum theory, such as probabilistic predictions for individual outcomes (indeterminism), the impossibility of information transfer faster than speed of light (no-signaling) or the impossibility of copying of unknown states (no-cloning). A vast majority of attempts to find physical principles behind quantum theory either fall short of deriving the theory uniquely from the principles or are based on abstract mathematical assumptions that require themselves a more conclusive physical motivation. Here, we show that classical probability theory and quantum theory can be reconstructed from three reasonable axioms: (1) (Information capacity) All systems with information carrying capacity of one bit are equivalent. (2) (Locality) The state of a composite system is completely determined by measurements on its subsystems. (3) (Reversibility) Between any two pure states there exists a reversible transformation. If one requires the transformation from the last axiom to be continuous, one separates quantum theory from the classical probabilistic one. A remarkable result following from our reconstruction is that no probability theory other than quantum theory can exhibit entanglement without contradicting one or more axioms.

Abstract: We discuss experimental situations that consist of multiple preparation and measurement stages. This leads us to an alternative approach to quantum mechanics. In particular, we introduce the idea of multitime quantum states which are the appropriate tools for describing these experimental situations. We also describe multitime measurements and discuss their relation to multitime states. A consequence of our formalism is to put states and operators on an equal footing. Finally we discuss the implications of our approach to quantum mechanics for the problem of the flow of time.

Abstract: The engineering and control of devices at the quantum mechanical level—such as those consisting of small numbers of atoms and photons—is a delicate business The fundamental uncertainty that is inherently present at this scale manifests itself in the unavoidable presence of noise, making this a novel field of application for stochastic estimation and control theory In this expository paper we demonstrate estimation and feedback control of quantum mechanical systems in what is essentially a noncommutative version of the binomial model that is popular in mathematical finance The model is extremely rich and allows a full development of the theory while remaining completely within the setting of finite-dimensional Hilbert spaces (thus avoiding the technical complications of the continuous theory) We introduce discretized models of an atom in interaction with the electromagnetic field, obtain filtering equations for photon counting and homodyne detection, and solve a stochastic control problem using dynamic programming and Lyapunov function methods

Abstract: We show that the state-independent violation of inequalities for noncontextual hidden variable theories introduced in [Phys. Rev. Lett. 101, 210401 (2008)] is universal, i.e., occurs for any quantum mechanical system in which noncontextuality is meaningful. We describe a method to obtain state-independent violations for any system of dimension $d\ensuremath{\ge}3$. This universality proves that, according to quantum mechanics, there are no ``classical'' states.

Abstract: Building on earlier work, we further develop a formalism based on the mathematical theory of frames that defines a set of possible phase-space or quasi-probability representations of finite-dimensional quantum systems. We prove that an alternate approach to defining a set of quasi-probability representations, based on a more natural generalization of a classical representation, is equivalent to our earlier approach based on frames, and therefore is also subject to our no-go theorem for a non-negative representation. Furthermore, we clarify the relationship between the contextuality of quantum theory and the necessity of negativity in quasi-probability representations and discuss their relevance as criteria for non-classicality. We also provide a comprehensive overview of known quasi-probability representations and their expression within the frame formalism.

Abstract: Schroedinger's first proposal for the interpretation of quantum mechanics was based on a postulate relating the wave function on configuration space to charge density in physical space. Schroedinger apparently later thought that his proposal was empirically wrong. We argue here that this is not the case, at least for a very similar proposal with charge density replaced by mass density. We argue that when analyzed carefully this theory is seen to be an empirically adequate many-worlds theory and not an empirically inadequate theory describing a single world. Moreover, this formulation--Schroedinger's first quantum theory--can be regarded as a formulation of the many-worlds view of quantum mechanics that is ontologically clearer than Everett's.

Abstract: Semi-Markov processes represent a well-known and widely used class of random processes in classical probability theory. Here, we develop an extension of this type of non-Markovian dynamics to the quantum regime. This extension is demonstrated to yield quantum master equations with memory kernels which allow the formulation of explicit conditions for the complete positivity of the corresponding quantum dynamical maps, thus leading to important insights into the structural characterization of the non-Markovian quantum dynamics of open systems. Explicit examples are analyzed in detail.

Abstract: We present a general theory of quantum information processing devices, that can be applied to human decision makers, to atomic multimode registers, or to molecular high-spin registers. Our quantum decision theory is a generalization of the quantum theory of measurement, endowed with an action ring, a prospect lattice and a probability operator measure. The algebra of probability operators plays the role of the algebra of local observables. Because of the composite nature of prospects and of the entangling properties of the probability operators, quantum interference terms appear, which make actions noncommutative and the prospect probabilities non-additive. The theory provides the basis for explaining a variety of paradoxes typical of the application of classical utility theory to real human decision making. The principal advantage of our approach is that it is formulated as a self-consistent mathematical theory, which allows us to explain not just one effect but actually all known paradoxes in human decision making. Being general, the approach can serve as a tool for characterizing quantum information processing by means of atomic, molecular, and condensed-matter systems.

Abstract: In this article we continue our study of chiral fermions on a quantum curve. This system is embedded in string theory as an I-brane configuration, which consists of D4 and D6-branes intersecting along a holomorphic curve in a complex surface, together with a B-field. Mathematically, it is described by a holonomic -module. Here we focus on spectral curves, which play a prominent role in the theory of (quantum) integrable hierarchies. We show how to associate a quantum state to the I-brane system, and subsequently how to compute quantum invariants. As a first example, this yields an insightful formulation of (double scaled as well as general Hermitian) matrix models. Secondly, we formulate c = 1 string theory in this language. Finally, our formalism elegantly reconstructs the complete dual Nekrasov-Okounkov partition function from a quantum Seiberg-Witten curve.

Abstract: We study sequences of noncommutative random variables which are invariant under "quantum transformations" coming from an orthogonal quantum group satisfying the "easiness" condition axiomatized in our previous paper. For 10 easy quantum groups, we obtain de Finetti type theorems characterizing the joint distribution of any infinite quantum invariant sequence. In particular, we give a new and unified proof of the classical results of de Finetti and Freedman for the easy groups S_n, O_n, which is based on the combinatorial theory of cumulants. We also recover the free de Finetti theorem of K\"ostler and Speicher, and the characterization of operator-valued free semicircular families due to Curran. We consider also finite sequences, and prove an approximation result in the spirit of Diaconis and Freedman.

Abstract: This paper studies a quantum risk-sensitive estimation problem and investigates robustness properties of the filter. This is a direct extension to the quantum case of analogous classical results. All investigations are based on a discrete approximation model of the quantum system under consideration. This allows us to study the problem in a simple mathematical setting. We close the paper with some examples that demonstrate the robustness of the risk-sensitive estimator.

Abstract: We introduce an algebra qCCS of pure quantum processes in which communications by moving quantum states physically are allowed and computations are modeled by super-operators, but no classical data is explicitly involved. An operational semantics of qCCS is presented in terms of (nonprobabilistic) labeled transition systems. Strong bisimulation between processes modeled in qCCS is defined, and its fundamental algebraic properties are established, including uniqueness of the solutions of recursive equations. To model sequential computation in qCCS, a reduction relation between processes is defined. By combining reduction relation and strong bisimulation we introduce the notion of strong reduction-bisimulation, which is a device for observing interaction of computation and communication in quantum systems. Finally, a notion of strong approximate bisimulation (equivalently, strong bisimulation distance) and its reduction counterpart are introduced. It is proved that both approximate bisimilarity and approximate reduction-bisimilarity are preserved by various constructors of quantum processes. This provides us with a formal tool for observing robustness of quantum processes against inaccuracy in the implementation of its elementary gates.

Abstract: We present filtering equations for single shot parameter estimation using continuous quantum measurement. By embedding parameter estimation in the standard quantum filtering formalism, we derive the optimal Bayesian filter for cases when the parameter takes on a finite range of values. Leveraging recent convergence results [van Handel, arXiv:0709.2216 (2008)], we give a condition which determines the asymptotic convergence of the estimator. For cases when the parameter is continuous valued, we develop quantum particle filters as a practical computational method for quantum parameter estimation.

Abstract: While the Probability Ranking Principle for Information Retrieval provides the basis for formal models, it makes a very strong assumption regarding the dependence between documents. However, it has been observed that in real situations this assumption does not always hold. In this paper we propose a reformulation of the Probability Ranking Principle based on quantum theory. Quantum probability theory naturally includes interference effects between events. We posit that this interference captures the dependency between the judgement of document relevance. The outcome is a more sophisticated principle, the Quantum Probability Ranking Principle, that provides a more sensitive ranking which caters for interference/dependence between documents' relevance.

Abstract: A new law of physics is proposed, defined on the cosmological scale but with significant implications for the microscale. Motivated by nonlinear dynamical systems theory and black-hole thermodynamics, the Invariant Set Postulate proposes that cosmological states of physical reality belong to a non-computable fractal state-space geometry I , invariant under the action of some subordinate deterministic causal dynamics D I . An exploratory analysis is made of a possible causal realistic framework for quantum physics based on key properties of I . For example, sparseness is used to relate generic counterfactual states to points p ∈ I of unreality, thus providing a geometric basis for the essential contextuality of quantum physics and the role of the abstract Hilbert Space in quantum theory. Also, self-similarity, described in a symbolic setting, provides a possible realistic perspective on the essential role of complex numbers and quaternions in quantum theory. A new interpretation is given to the standard ‘mysteries’ of quantum theory: superposition, measurement, non-locality, emergence of classicality and so on. It is proposed that heterogeneities in the fractal geometry of I are manifestations of the phenomenon of gravity. Since quantum theory is inherently blind to the existence of such state-space geometries, the analysis here suggests that attempts to formulate unified theories of physics within a conventional quantum-theoretic framework are misguided, and that a successful quantum theory of gravity should unify the causal non-Euclidean geometry of space–time with the atemporal fractal geometry of state space. The task is not to make sense of the quantum axioms by heaping more structure, more definitions, more science fiction imagery on top of them, but to throw them away wholesale and start afresh. We should be relentless in asking ourselves: From what deep physical principles might we derive this exquisite structure? These principles should be crisp, they should be compelling. They should stir the soul. Chris Fuchs (Gilder 2008, p. 335)

Abstract: We analyze, from the point of view of quantum probability, statistical data from two interesting experiments, done by Shafir and Tversky [1, 2] in the domain of cognitive psychology. These are gambling experiments of Prisoner Dilemma type. They have important consequences for economics, especially for the justification of the Savage "Sure Thing Principle" [3] (implying that agents of the market behave rationally). Data from these experiments were astonishing, both from the viewpoint of cognitive psychology and economics and probability theory. Players behaved irrationally. Moreover, all attempts to generate these data by using classical Markov model were unsuccessful. In this note we show (by inventing a simple statistical test — generalized detailed balance condition) that these data are non-Kolmogorovian. We also show that it is neither quantum (i.e., it cannot be described by Dirac-von Neumann model). We proceed towards a quantum Markov model for these data.

Abstract: This is a historical note. In 1981 we constructed a discrete version of quantum nonlinear Schroedinger equation. This led to our discovery of quantum determinant: it appeared in construction of anti-pod (11). Later these became important in quantum groups: it describes the center of Yang-Baxter algebra. Our paper was published in Doklady Akademii Nauk vol 259, page 76 (July l981) in Russian language.

Abstract: A general approach describing quantum decision procedures is developed. The approach can be applied to quantum information processing, quantum computing, creation of artificial quantum intelligence, as well as to analyzing decision processes of human decision makers. Our basic point is to consider an active quantum system possessing its own strategic state. Processing information by such a system is analogous to the cognitive processes associated to decision making by humans. The algebra of probability operators, associated with the possible options available to the decision maker, plays the role of the algebra of observables in quantum theory of measurements. A scheme is advanced for a practical realization of decision procedures by thinking quantum systems. Such thinking quantum systems can be realized by using spin lattices, systems of magnetic molecules, cold atoms trapped in optical lattices, ensembles of quantum dots, or multilevel atomic systems interacting with electromagnetic field.

Abstract: A non-Markovian model of quantum repeated interactions between a small quantum system and an infinite chain of quantum systems is presented. By adapting and applying usual projection operator techniques in this context, discrete versions of the integro-differential and time-convolutionless master equations for the reduced system are derived. Next, an intuitive and rigorous description of the indirect quantum measurement principle is developed and a discrete non-Markovian stochastic master equation for the open system is obtained. Finally, the question of unravelling in a particular model of non-Markovian quantum interactions is discussed.

Abstract: In this contribution I review rigorous formulations of a variety of lim- itations of measurability in quantum mechanics. To this end I begin with a brief presentation of the conceptual tools of modern measurement theory. I will make precise the notion that quantum measurements necessarily alter the system under investigation and elucidate its connection with the complementarity and uncertainty principles.

Abstract: Topos theory, a branch of category theory, has been proposed as mathematical basis for the formulation of physical theories. In this article, we give a brief introduction to this approach, emphasizing the logical aspects. Each topos serves as a ‘mathematical universe’ with an internal logic, which is used to assign truth-values to all propositions about a physical system. We show in detail how this works for (algebraic) quantum theory.