Related papers: Quantum Logics that are Symmetric-difference-close…
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…
Quantum entanglement is a phenomenon in which two physical systems are correlated in such a way that they appear to instantaneously affect one another, regardless of the distance between them. As commonly understood, Bell's Theorem famously…
In this paper we present a study of the quantum phase estimation problem employing continuous-variable, entangled squeezed coherent (quasi-Bell) states as probe states. We show that their inherent squeezing and entanglement properties might…
Unlike the standard Quantum Computational Logic (QCL), where the carrier of information (target) is conventionally assumed to be only the last qubit over a sequence of many qubits, here we propose an extended version of the QCL (we call…
In quantum resource theories (QRTs) certain quantum states and operations are deemed more valuable than others. While the determination of the ``free'' elements is usually guided by the constraints of some experimental setup, this can make…
Basing on states and channels isomorphism we point out that semidefinite programming can be used as a quick test for nonzero one-way quantum channel capacity. This can be achieved by search of symmetric extensions of states isomorphic to a…
We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an…
We present an algebraic framework for interacting extended quantum systems to study complex phenomena characterized by the coexistence and competition of different states of matter. We start by showing how to connect different…
The Exel-Loring formula asserts that two topological invariants associated to a pair of almost commuting unitary matrices coincide. Such a pair can be viewed as a quasi-representation of $\mathbb{Z}^2$. We give a generalization of this…
I discuss a set of strong, but probabilistically intelligible, axioms from which one can {\em almost} derive the appratus of finite dimensional quantum theory. Stated informally, these require that systems appear completely classical as…
Quantum discord (QD) reveals the nonclassical nature of correlations in bipartite quantum states, going beyond the entanglement-separability paradigm. In this article we discuss the suitability of QD in what concern its possible asymmetry…
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
Entanglement is a non local property of quantum states which has no classical counterpart and plays a decisive role in quantum information theory. Several protocols, like the teleportation, are based on quantum entangled states. Moreover,…
This PHD thesis is concerned with uncertainty relations in quantum probability theory, state estimation in quantum stochastics, and natural bundles in differential geometry. After some comments on the nature and necessity of decoherence in…
Although classical mechanics and quantum mechanics are separate disciplines, we live in a world where Planck's constant \hbar>0, meaning that the classical and quantum world views must actually {\it coexist}. Traditionally, canonical…
Quantum state separation is a probabilistic map that transforms a given set of pure states into another set of more distinguishable ones. Here we investigate such a map acting onto uniparametric families of symmetric linearly dependent or…
We connect partition logic with Generative Logic by translating finite partition logics into Prolog-based Simple Generative Logic Grammars. As a proof of concept, we use the five-atom V-logic L_{12} to generate a modular visual artifact,…
Uncertainty in Logic Programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause…
We compare predictions of the quantum loop expansion to (essentially) infinite orders with (essentially) exact results in a simple quantum mechanical model.We find that there are exponentially small corrections to the loop expansion, which…
Starting from a simple estimation problem, here we propose a general approach for decoding quantum measurements from the perspective of information extraction. By virtue of the estimation fidelity only, we provide surprisingly simple…