Related papers: The Expectation Monad in Quantum Foundations
In earlier work, we introduced quantum blobs as minimum-uncertainty symplectic ellipsoids in phase space. These objects may be viewed as geometric monads in the Leibnizian sense, representing the elementary units of phase-space structure…
Wadler and Thiemann unified type-and-effect systems with monadic semantics via a syntactic correspondence and soundness results with respect to an operational semantics. They conjecture that a general, "coherent" denotational semantics can…
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and graded monads do this in a modular way. Here, instead, we equip…
The notion of effectus from categorical logic is relevant in the emerging field of categorical probability theory. In some cases, stochastic maps are represented by maps in the Kleisli category of some probability monad. Quantum…
In quantum mechanics, the selfadjoint Hilbert space operators play a triple role as observables, generators of the dynamical groups and statistical operators defining the mixed states. One might expect that this is typical of Hilbert space…
Modal interpretations have the ambition to construe quantum mechanics as an objective, man-independent description of physical reality. Their second leading idea is probabilism: quantum mechanics does not completely fix physical reality but…
This paper demonstrates that random, independently chosen equi-dimensional subspaces with a unitarily invariant distribution in a real Hilbert space provide nearly tight, nearly equiangular fusion frames. The angle between a pair of…
As an appropriate analog of the Euclidean short-time Fourier transform, we study a windowed version of the Helgason-Fourier transform on the complex unit ball and translate the theory of modulation/coorbit spaces. As a result, atomic…
We present a heuristic derivation of Born's rule and unitary transforms in Quantum Mechanics, from a simple set of axioms built upon a physical phenomenology of quantization. This approach naturally leads to the usual quantum formalism,…
Gleason's theorem asserts the equivalence of von Neumann's density operator formalism of quantum mechanics and frame functions, which are functions on the pure states that sum to 1 on any orthonormal basis of Hilbert space of dimension at…
The interplay between the algebraic structure (operator algebras) for the quantum observables and the convex structure of the state space has been explored for a long time and most advanced results are due to Alfsen and Shultz. Here we…
In operator algebra theory, a conditional expectation is usually assumed to be a projection map onto a sub-algebra. In the paper, a further type of conditional expectation and an extension of the Lueders - von Neumann measurement to…
Quantum mechanics is formulated as a geometric theory on a Hilbert manifold. Images of charts on the manifold are allowed to belong to arbitrary Hilbert spaces of functions including spaces of generalized functions. Tensor equations in this…
We present a mathematical framework for quantum mechanics in which the basic entities and operations have physical significance. In this framework the primitive concepts are states and effects and the resulting mathematical structure is a…
In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or…
Quantum embedding is an appealing route to fragment a large interacting quantum system into several smaller auxiliary `cluster' problems to exploit the locality of the correlated physics. In this work we critically review approaches to…
Recent works have shown that defining a behavioural equivalence that matches the observational properties of a quantum-capable, concurrent, non-deterministic system is a surprisingly difficult task. We explore coalgebras over distributions…
We generalize the notion of Gelfand triples (also called Banach-Gelfand triples or rigged Hilbert spaces) by dropping the necessity of a continuous embedding. This means in our setting we lack of a chain inclusion. We replace the continuous…
The main goal of these lectures -- introduction to Quantum Mechanics for mathematically-minded readers. The second goal is to discuss the mathematical interpretation of the main quantum postulates: transitions between quantum stationary…
We generalize the concept of mutually unbiased bases (MUB) to measurements which are not necessarily described by rank one projectors. As such, these measurements can be a useful tool to study the long standing problem of the existence of…