Related papers: The Uniqueness Problem of Sequence Product on Oper…
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden. But our general understanding of effect systems is limited primarily to systems where the order of…
This paper presents some of the basic properties of conditioned observables in finite-dimensional quantum mechanics. We begin by defining the sequential product of quantum effects and use this to define the sequential product of two…
We consider the semiclassical operator $\hat{H}(\epsilon,h):=H_{0}(hD_{x})+\epsilon \tilde{P}_{0}$ on $L^{2}(\mathbb{R}^{l})$, where the symbol of $\hat{H}(\epsilon,h)$ corresponds to a perturbed classical Hamiltonian of the form:…
Standard quantum mechanics employs complex Hilbert spaces, but whether complex numbers are fundamental or merely convenient has long been debated. For decades, real-valued equivalents were considered mathematically possible but cumbersome.…
In this paper, we prove that if $\mathcal{A}=\{E_i\}_{i=1}^{n}$ is a finite commutative quantum measurement, then the fixed points set of L\"{u}ders operation $L_{{\cal A}}$ is the commutant ${\cal A}'$ of ${\cal A}$, the result answers an…
An observable on a quantum structure is any $\sigma$-homomorphism of quantum structures from the Borel $\sigma$-algebra into the quantum structure. We show that our partial information on an observable known only for all intervals of the…
On finite dimensional spaces, it is apparent that an operator is the product of two positive operators if and only if it is similar to a positive operator. Here, the class ${\mathcal L}^{+2}$ of bounded operators on separable infinite…
Consider in $L^2 (\R^l)$ the operator family $H(\epsilon):=P_0(\hbar,\omega)+\epsilon Q_0$. $P_0$ is the quantum harmonic oscillator with diophantine frequency vector $\om$, $Q_0$ a bounded pseudodifferential operator with symbol…
We consider a recursive scheme for defining the coefficients in the operator product expansion (OPE) of an arbitrary number of composite operators in the context of perturbative, Euclidean quantum field theory in four dimensions. Our…
A formulation of quaternionic quantum mechanics ($\mathbb{H}$QM) is presented in terms of a real Hilbert space. Using a physically motivated scalar product, we prove the spectral theorem and obtain a novel quaternionic Fourier series. After…
We propose an exercise in which one attempts to deduce the formalism of quantum mechanics solely from phenomenological observations. The only assumed inputs are obtained through sequential probing of quantum systems; no presuppositions…
We consider elliptic differential operators on either the entire Euclidean space $\mathbb{R}^d$ or on subsets consisting of a cube $\Lambda_L$ of integer length $L$. For eigenfunctions of the operator, and more general solutions of elliptic…
Quantum computation is based on tensor products and entangled states. We discuss an alternative to the quantum framework where tensor products are replaced by geometric products and entangled states by multivectors. The resulting theory is…
A general `quantum history theory' can be characterised by the space of histories and by the space of decoherence functionals. In this note we consider the situation where the space of histories is given by the lattice of projection…
Let G be a group and let A be the algebra of complex functions on G with finite support. The product in G gives rise to a coproduct on A making it a multiplier Hopf algebra. In fact, because there exist integrals, we get an algebraic…
We study the sequential product, the operation $p * q = \sqrt{p} q \sqrt{p}$ on the set of effects of a von Neumann algebra that represents sequential measurement of first $p$ and then $q$. We give four axioms which completely determine the…
The quon algebra is an approach to particle statistics in order to provide a theory in which the Pauli exclusion principle and Bose statistics are violated by a small amount. The quons are particles whose annihilation and creation operators…
In this paper we study the problem of a possibility to use quantum observables to describe a possible combination of the order effect with sequential reproducibility for quantum measurements. By the order effect we mean a dependence of…
A ring with effects (e-ring) is a generalization of the ring of bounded linear operators on a Hilbert space and the subsystem of effect operators (positive Hermitian operators dominated by the identity operator). The POV-measures…
Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…