Related papers: Characterization of the Sequential Product on Quan…
This survey gives a comprehensive account of quantum correlations understood as a phenomenon stemming from the rules of quantization. Centered on quantum probability it describes the physical concepts related to correlations (both classical…
We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a full quantum programming language in which entanglement, duplication, and recursion are all available. Our model comes with a…
If the block universe view is correct, the future and the past have similar status and one would expect physical theories to involve final as well as initial boundary conditions. A plausible consistency condition between the initial and…
Sequential effect systems are a class of effect system that exploits information about program order, rather than discarding it as traditional commutative effect systems do. This extra expressive power allows effect systems to reason about…
Sequential measurements of non-commuting observables produce order effects that are well-known in quantum physics. But their conceptual basis, a significant measurement interaction, is relevant for far more general situations. We argue that…
It is argued that the partition of a quantum system into subsystems is dictated by the set of operationally accessible interactions and measurements. The emergence of a multi-partite tensor product structure of the state-space and the…
We review canonical experiments on systems that have pushed the boundary between the quantum and classical worlds towards much larger scales, and discuss their unique features that enable quantum coherence to survive. Because the types of…
A series of successive quantizations is considered, starting with the quantization of a non relativistic or relativistic point particle: 1) quantization of a particle's position, 2) quantization of wave function, 3) quantization of wave…
The basic notions related to coherence phenomena are formulated. Two types of coherence are described, state coherence and transition coherence. Useful characteristics for quantifying coherence are defined, such as coherence functions,…
Incompatibility between conjugate variables and complementary pictures comes in two kinds, exclusive of one another. The first kind is unconditional, and the second conditional on quantum's indivisibility. We employ this distinction to…
The question of quantifying the sharpness (or unsharpness) of a quantum mechanical effect is investigated. Apart from sharpness, another property, bias, is found to be relevant for the joint measurability or coexistence of two effects.…
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…
We present two possible criteria quantifying the degree of classicality of an arbitrary (finite dimensional) dynamical system. The inputs for these criteria are the classical dynamical structure of the system together with the quantum and…
An assessment is given as to the extent to which pure unitary evolution, as distinct from environmental decohering interaction, can provide the transition necessary for an observer to interpret perceived quantum dynamics as classical. This…
X states are a broad class of two-qubit density matrices that generalize many states of interest in the literature. In this work, we give a comprehensive account of various quantum properties of these states, such as entanglement,…
We show that the principles of a ''complete physical theory'' and the conclusions of the standard quantum mechanics do not irreconcilably contradict each other as is commonly believed. In the algebraic approach, we formulate axioms that…
A new quantum-stochastic differential calculus is derived for representing continuous quantum measurement of the position operator. Closed nonlinear quantum-stochastic differential equation is given for the quantum state of the observed…
As computability implies value definiteness, certain sequences of quantum outcomes cannot be computable.
The kind of information provided by a measurement is determined in terms of the correlation established between observables of the apparatus and the measured system. Using the framework of quantum measurement theory, necessary and…
Quantum coherence is a fundamental property of quantum systems, separating quantum from classical physics. Recently, there has been significant interest in the characterization of quantum coherence as a resource, investigating how coherence…