Related papers: Local Variables and Quantum Relational Hoare Logic
One of the most striking non-classical features of quantum mechanics is in the correlations it predicts between spatially separated measurements. In local hidden variable theories, correlations are constrained by Bell inequalities, but…
We consider systems of rational agents who act and interact in pursuit of their individual and collective objectives. We study and formalise the reasoning of an agent, or of an external observer, about the expected choices of action of the…
I discuss how to perform fault-tolerant quantum computation with concatenated codes using local gates in small numbers of dimensions. I show that a threshold result still exists in three, two, or one dimensions when next-to-nearest-neighbor…
This paper is aimed to dissociate nonlocality from quantum theory. We demonstrate that the tests on violation of the Bell type inequalities are simply statistical tests of local incompatibility of observables. In fact, these are tests on…
The notion of nonlocality implicitly implies there might be some kind of spooky action at a distance in nature, however, the validity of quantum mechanics has been well tested up to now. In this work it is argued that the notion of…
In this brief paper, we complete the analysis presented previously in [RMF 64 (2018) 662-670, arXiv:1803.02426] regarding the quantifiers of the classical correlations and the so-called local available quantum correlations for Bell Diagonal…
We justify generalisations of weak values from a tentatively relational perspective by deriving them from a generalisation of Bayes' rule. We also argue that these generalisations have implications of quantum nonlocality and may form a…
The information-theoretic approach to Bell's theorem is developed with use of the conditional $q$-entropies. The $q$-entropic measures fulfill many similar properties to the standard Shannon entropy. In general, both the locality and…
A large number of physicists now admit that quantum mechanics is a non local theory. The EPR argument and the many experiments (including recent loop-hole free tests) showing the violation of Bell's inequalities seem to have confirmed…
An extension of QPTL is considered where functional dependencies among the quantified variables can be restricted in such a way that their current values are independent of the future values of the other variables. This restriction is…
In this article we are willing to give some first steps to quantum mechanics and a motivation of quantum mechanics and its interpretation for undergraduate students not from physics. After a short historical review in the development we…
We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a common subset of quantum programs. Our applications include…
Causal quantum theory is an umbrella term for ordinary quantum theory modified by two hypotheses: state vector reduction is a well-defined process, and strict local causality applies. The first of these holds in some versions of Copenhagen…
It is currently widely accepted, as a result of Bell's theorem and related experiments, that quantum mechanics is inconsistent with local realism and there is the so called quantum non-locality. We show that such a claim can be justified…
The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous work on a complete quantum dynamic logic for single systems.…
The amount of nonlocality in quantum theory is limited compared to that allowed in generalized no-signaling theory [Found. Phys. 24, 379 (1994)]. This feature, for example, gets manifested in the amount of Bell inequality violation as well…
We demonstrate how to construct a lorentz-invariant, hidden-variable interpretation of relativistic quantum mechanics based on particle trajectories. The covariant theory that we propose employs a multi-time formalism and a…
A recent paper by two of us and co-workers, based on an extended Wigner's friend scenario, demonstrated that certain empirical correlations predicted by quantum theory (QT) violate inequalities derived from a set of metaphysical assumptions…
Game theory is a well established branch of mathematics whose formalism has a vast range of applications from the social sciences, biology, to economics. Motivated by quantum information science, there has been a leap in the formulation of…
The local H theorem is shown to hold for the Enskog equation with a modified Enskog factor proposed by the authors [Phys. Rev. E 111, 065108 (2025)]. This is a stronger statement than the global one in the same paper and has been obtained…