Related papers: A constructive commutative quantum Lovasz Local Le…
Promotion of quantum theory from a theory of measurement to a theory of reality requires an unambiguous specification of the ensemble of realizable states (and each state's probability of realization). Although not yet achieved within the…
The paper proves that quantum mechanics is compatible with the constructive realism of modern philosophy of science. The proof is based on the observation that properties of quantum systems that are uniquely determined by their preparations…
The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to…
According to Popescu's recent analysis [Phys. Rev. Lett. {\bf72}, 797 (1994)], {\it nonideal} measurements, rather than ideal ones, may be more sensitive to reveal nonlocal correlations between distant parts of composite quantum systems.…
We elucidate the close connection between the repulsive lattice gas in equilibrium statistical mechanics and the Lovasz local lemma in probabilistic combinatorics. We show that the conclusion of the Lovasz local lemma holds for dependency…
We initiate the study of quantum Locally Testable Codes (qLTCs). We provide a definition together with a simplification, denoted sLTCs, for the special case of stabilizer codes, together with some basic results using those definitions. The…
We study the properties of {\bf exact} (all level $k$) quantum coherent states in the context of string theory on a group manifold (WZWN models). Coherent states of WZWN models may help to solve the unitarity problem: Having positive norm,…
We explore the notion of spatial extent and structure, already alluded to in earlier literature, within the formulation of quantum mechanics on the noncommutative plane. Introducing the notion of average position and its measurement, we…
We show that, assuming that quantum mechanics holds locally, the finite speed of information is the principle that limits all possible correlations between distant parties to be quantum mechanical as well. Local quantum mechanics means that…
The quantum Lifshitz model provides an effective description of a quantum critical point. It has been shown that even though non--Lorentz invariant, the action admits a natural supersymmetrization. In this note we introduce a perturbative…
In this paper, we present two constructions of quantum locally testable codes (QLTC) with constant soundness. In the first approach, we introduce an operation called check product, and show how this operation gives rise to QLTCs of constant…
In this paper, we propose a concept to use a quantum speed limit (QSL) as a measure of robustness of states, defining that a state with bigger QSL is more robust. In this perspective, it is important to have an explicitly-computable QSL,…
Electromagnetism is the paradigm case of a theory that satisfies relativistic locality. This can be proven by demonstrating that, once the theory's laws are imposed, what is happening within a region fixes what will happen in the…
The Lieb-Schultz-Mattis (LSM) theorem and its generalizations forbids the existence of a unique gapped ground state in the presence of certain lattice and internal symmetries and thus imposes powerful constraints on the low energy…
Many problems in robotics require reasoning over a mix of continuous dynamics and discrete events, such as making and breaking contact in manipulation and locomotion. These problems are locally well modeled by linear complementarity…
This work exploits a framework whereby a graph (in the mathematical sense) serves to connect a classical system to a state space that we call `quantum-like' (QL). The QL states comprise arbitrary superpositions of states in a tensor product…
The collapse of a quantum state can be understood as a mathematical way to construct a joint probability density even for operators that do not commute. We can formalize that construction as a non-commutative, non-associative collapse…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
We formulate a relation between quantum-mechanical coherent states and complex-differentiable structures on the classical phase space ${\cal C}$ of a finite number of degrees of freedom. Locally-defined coherent states parametrised by the…
The outcomes of measurements on entangled quantum systems can be nonlocally correlated. However, while it is easy to write down toy theories allowing arbitrary nonlocal correlations, those allowed in quantum mechanics are limited. Quantum…