Related papers: Classical vs. quantum satisfiability in linear con…
The fact that not all measurements can be carried out simultaneously is a peculiar feature of quantum mechanics and responsible for many key phenomena in the theory, such as complementarity or uncertainty relations. For the special case of…
Any quasi-probability representation of a no-signaling system -- including quantum systems -- can be simulated via a purely classical scheme by allowing signed events and a cancellation procedure. This raises a fundamental question: What…
Quantified constraints and Quantified Boolean Formulae are typically much more difficult to reason with than classical constraints, because quantifier alternation makes the usual notion of solution inappropriate. As a consequence, basic…
The problem of deciding whether a set of quantum measurements is jointly measurable is known to be equivalent to determining whether a quantum assemblage is unsteerable. This problem can be formulated as a semidefinite program (SDP).…
An effective formalism for quantum constrained systems is presented which allows manageable derivations of solutions and observables, including a treatment of physical reality conditions without requiring full knowledge of the physical…
The correspondence principle suggests that quantum systems grow classical when large. Classical systems cannot violate Bell inequalities. Yet agents given substantial control can violate Bell inequalities proven for large-scale systems. We…
In this article we study a class of generalised linear systems of difference equations with given non-consistent initial conditions and infinite many solutions. We take into consideration the case that the coefficients are square constant…
The notion of incompatibility of measurements in quantum theory is in stark contrast with the corresponding classical perspective, where all physical observables are jointly measurable. It is of interest to examine if the results of two or…
We analyse how the standard reductions between constraint satisfaction problems affect their proof complexity. We show that, for the most studied propositional, algebraic, and semi-algebraic proof systems, the classical constructions of…
The correspondence between the integrability of classical mechanical systems and their quantum counterparts is not a 1-1, although some close correspondencies exist. If a classical mechanical system is integrable with invariants that are…
Measurement incompatibility is one of the basic aspects of quantum theory. Here we study the structure of the set of compatible -- i.e. jointly measurable -- measurements. We are interested in whether or not there exist compatible…
We provide some new necessary and sufficient conditions which guarantee arbitrary pole placement of a particular linear system over the complex numbers. We exhibit a non-trivial real linear system which is not controllable by real static…
Motivated by a recent paper of Louko and Molgado, we consider a simple system with a single classical constraint R(q)=0. If q_l denotes a generic solution to R(q)=0, our examples include cases where R'(q_l)\ne 0 (regular constraint) and…
The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker…
We demonstrate the simple and deep equivalence between quantum coherence and nonclassicality and the definite way in which they determine metrological resolution. Moreover, we define a coherence observable consistent with a classical…
A new proof of the impossibility of a universal quantum-classical dynamics is given. It has at least two consequences. The standard paradigm ``quantum system is measured by a classical apparatus" is untenable, while a quantum matter can be…
A number of phenomena generally believed characteristic of quantum mechanics and seen as interpretively problematic--the incompatibility and value-indeterminacy of variables, the non-existence of dispersion-free states, the failure of the…
We consider two celebrated criteria for defining the non-classicality of bipartite bosonic quantum systems, the first stemming from information theoretic concepts and the second from physical constraints on the quantum phase-space.…
Quantum theory provides a significant example of two intermingling hallmarks of science: the ability to consistently combine physical systems and study them compositely, and the power to extract predictions in the form of correlations. A…
Mixtures of coherent states are commonly regarded as classical. Here we show that there is a quantum advantage in discriminating between coherent states in a mixture, implying the presence of quantum properties in the mixture, which are…