Related papers: Local Variables and Quantum Relational Hoare Logic
This paper concerns the relation between process algebra and Hoare logic. We investigate the question whether and how a Hoare logic can be used for reasoning about how data change in the course of a process when reasoning equationally about…
In relational verification, judicious alignment of computational steps facilitates proof of relations between programs using simple relational assertions. Relational Hoare logics (RHL) provide compositional rules that embody various…
The auxiliary q-rules of quantum mechanics developed in other papers are applied to the problem of the location of material objects, both macroscopic and microscopic. All objects tend to expand in space due to the uncertainty in their…
When training automated systems, it has been shown to be beneficial to adapt the representation of data by learning a problem-specific metric. This metric is global. We extend this idea and, for the widely used family of k nearest neighbors…
The interpretation of quantum mechanics continues to be debated, and quantum nonlocality accentuates the puzzle. Quantum interpretations can be classified broadly into two types: realist interpretations, which assert that quantum states…
We study in this short comment the analogies and the differences that exist between several local hidden variable models.
The experimentally verified violation of Bell's inequalities apparently implies that at least one of two intuitive beliefs must be false: that effects propagating at infinite velocity do not exist, and that natural phenomena occur…
We investigate the applicability of the formalism of quantum mechanics to everyday life. It seems to be directly relevant for situations in which the very act of coming to a conclusion or decision on one issue affects one's confidence about…
We propose an entanglement criterion based on local uncertainty relations (LURs) in a stronger form than the original LUR criterion introduced in [H. F. Hofmann and S. Takeuchi, Phys. Rev. A \textbf{68}, 032103 (2003)]. Using arbitrarily…
We criticize Colbeck and Renner's (CR's) statement that "any hidden variable model can only be compatible with quantum mechanics if its local part is trivial" [Phys. Rev. Lett. 101, 050403 (2008)]. We note that CR's attempt to divide a…
Probabilistic Hoare logic (PHL) is an extension of Hoare logic and is specifically useful in verifying randomized programs. It allows researchers to formally reason about the behavior of programs with stochastic elements, ensuring the…
We investigate an unsuspected connection between logical connectives with non-harmonious deduction rules, such as Prior's tonk, and quantum computing. We argue that these connectives model the information-erasure, the non-reversibility, and…
Quantum Mechanics (QM) is one of the pillars of modern physics: an impressive amount of experiments have confirmed this theory and many technological applications are based on it. Nevertheless, at one century since its development, various…
Estimating causal effects from nonexperimental data is a fundamental problem in many fields of science. A key component of this task is selecting an appropriate set of covariates for confounding adjustment to avoid bias. Most existing…
This paper claims that local space-time curvature can non-trivially contribute to the properties of orbital angular momentum in quantum mechanics. Of key importance is the demonstration that an extended orbital angular momentum operator due…
We study counting propositional logic as an extension of propositional logic with counting quantifiers. We prove that the complexity of the underlying decision problem perfectly matches the appropriate level of Wagner's counting hierarchy,…
A standard approach in the foundations of quantum mechanics studies local realism and hidden variables models exclusively in terms of violations of Bell-like inequalities. Thus quantum nonlocality is tied to the celebrated no-go theorems,…
We introduce the concept of quantum locally recoverable codes (qLRCs) with intersecting recovery sets. We derive a singleton-like bound for these codes by leveraging the additional information provided by the intersecting recovery sets.…
In [Phys. Rev. A 58, 1833 (1998)] a family of polynomial invariants which separate the orbits of multi-qubit density operators $\rho$ under the action of the local unitary group was presented. We consider this family of invariants for the…
Depending on the way one measures, quantum nonlocality might manifest more visibly. Using basis transformations and interactions on a particle pair, Hardy logically argued that any local hidden variable theory leads to a paradox. Extended…