Related papers: Local Variables and Quantum Relational Hoare Logic
A correlation measure relating to measured and unmeasured local quantities in quantum mechanics is introduced, and is then applied to assess the locality implications for Bell/CHSH and similar set-ups. This leads to some interesting…
In the work it is shown that the principles "the objective local theory" and corollaries of the standard quantum mechanics are not in such antagonistic inconsistency as it is usually supposed. In the framework of algebraic approach, the…
As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. In classical computing, formal verification and sound static type systems prevent several classes…
We combine quantified differential dynamic logic (QdL) for reasoning about the possible behavior of distributed hybrid systems with temporal logic for reasoning about the temporal behavior during their operation. Our logic supports…
A recent proof, couched in the symbolic language of modal logic, shows that a well-defined formulation of the question posed in the title is answered affirmatively. In a paper with the same title Unruh has tried in various ways to translate…
We define criteria for a hidden variables theory to be Lorentz invariant and prove that it implies no signaling. As a result, we show that a Lorentz invariant and contextual theory (e.g., quantum field theory) must be genuinely stochastic,…
In the framework of the algebraic formulation, we discuss and analyse some new features of the local structure of a real scalar quantum field theory in a strongly causal spacetime. In particular we use the properties of the exponential map…
It is argued that local realism is a fundamental principle, which might be rejected only if experiments clearly show that it is untenable. A critical review is presented of the derivations of Bell's inequalities and the performed…
While all bipartite pure entangled states violate some Bell inequality, the relationship between entanglement and non-locality for mixed quantum states is not well understood. We introduce a simple and efficient algorithmic approach for the…
The principle of local covariance which was recently introduced admits a generally covariant formulation of quantum field theory. It allows a discussion of structural properties of quantum field theory as well as the perturbative…
A necessary and natural change in our application of quantum mechanics to separated systems is shown to reconcile quantum mechanics and local realism. An analysis of separation and localization justifies the proposed change in application…
Abstract interpretation, Hoare logic, and incorrectness (or reverse Hoare) logic are powerful techniques for static analysis of computer programs. All of them have been successfully extended to the quantum setting, but largely developed in…
The paper develops a version of modal logic that stays completely within the framework provided by quantum principles, and then proves, within the framework of quantum thinking, and in particular without invoking "hidden variables", a…
We present QBAL, an extension of Girard, Scedrov and Scott's bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables. This generalization makes bounded linear logic considerably more…
Determining whether an observed distribution of events generated in a quantum network is Bell local, i.e., if it admits an alternative realization in terms of independent local variables, is extremely challenging. Building upon…
Is quantum mechanics (QM) local or nonlocal? Different formulations/interpretations (FI) of QM, with or without hidden variables, suggest different answers. Different FI's can be viewed as different algorithms, which leads us to propose an…
Quantum Local Search (QLS) is a promising approach that employs small-scale quantum computers to tackle large combinatorial optimization problems through local search on quantum hardware, starting from an initial point. However, the random…
Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-wise behaviour of a system. Its quantified extensions allow…
Quantum mechanics stands in conflict with local realism only in its treatment of separated systems. A modification of quantum mechanics that changes the handling of separated systems is suggested that can reconcile quantum mechanics with…
Quantum Mechanics lacks an intuitive interpretation, which is the cause of a generally formalistic approach to its use. This in turn has led to a certain insensitivity to the actual meaning of many words used in its description and…