Related papers: Topos-Based Logic for Quantum Systems and Bi-Heyti…
The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental…
The Heisenberg double of a Hopf algebra may be regarded as a quantum analogue of the cotangent bundle of a Lie group. Quantum duality principle describes relations between a Hopf algebra, its dual, and their Heisenberg double in a way which…
In quantum systems with infinitely many degrees of freedom, states can be infinitely entangled across a pair of subsystems, but are there different forms of infinite entanglement? To understand entanglement in such systems, we use a…
In this work we advance a generalization of quantum computational logics capable of dealing with some important examples of quantum algorithms. We outline an algebraic axiomatization of these structures.
In complete analogy with the classical situation (which is briefly reviewed) it is possible to define bi-Hamiltonian descriptions for Quantum systems. We also analyze compatible Hermitian structures in full analogy with compatible Poisson…
An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theory. The main technical tool in this theory is an orthoalgebra of history propositions that serves as a generalised…
We discuss the dynamical quantum systems which turn out to be bi-unitary with respect to the same alternative Hermitian structures in a infinite-dimensional complex Hilbert space. We give a necessary and sufficient condition so that the…
Starting from a recently-introduced algebraic structure on spin foam models, we define a Hopf algebra by dividing with an appropriate quotient. The structure, thus defined, naturally allows for a mirror analysis of spin foam models with…
We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schr\"odinger duality of finite-dimensional quantum theory. Proofs of formulas with positive logical polarity correspond to CPTP…
We discuss the alternative algebraic structures on the manifold of quantum states arising from alternative Hermitian structures associated with quantum bi-Hamiltonian systems. We also consider the consequences at the level of the Heisenberg…
The problem of "what is 'system'?" is in the very foundations of modern quantum mechanics. Here, we point out the interest in this topic in the information-theoretic context. E.g., we point out the possibility to manipulate a pair of…
A formulation of quantum mechanics, which begins by postulating assertions for individual physical systems, is given. The statistical predictions of quantum mechanics for infinite ensembles are then derived from its assertions for…
In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these…
An algebraic formalism for quantum decoherence in systems with continuous evolution spectrum is introduced. A certain subalgebra, dense in the characteristic algebra of the system, is defined in such a way that Riemann-Lebesgue theorem can…
Lie algebroids provide a natural medium to discuss classical systems, however, quantum systems have not been considered. In aim of this paper is to attempt to rectify this situation. Lie algebroids are reviewed and their use in classical…
In this work we present an intuitive construction of the quantum logical axiomatic system provided by George Mackey. The goal of this work is a detailed discussion of the results from the paper 'Physical justification for using the tensor…
This paper presents the theory of Bohr-Sommerfeld-Heisenberg quantization of a completely integrable Hamiltonian system in the context of geometric quantization. The theory is illustrated with several examples.
We propose the necessary and sufficient condition for the presence of quantum entanglement in arbitrary symmetric pure states of two-level atomic systems. We introduce a parameter to quantify quantum entanglement in such systems. We express…
Within the Hamiltonian framework, the propositions about a classical physical system are described in the Borel {\sigma}-algebra of a symplectic manifold (the phase space) where logical connectives are the standard set operations.…
All possible Lie bialgebra structures on the harmonic oscillator algebra are explicitly derived and it is shown that all of them are of the coboundary type. A non-standard quantum oscillator is introduced as a quantization of a triangular…