Related papers: Local Variables and Quantum Relational Hoare Logic
The key approaches for machine learning, especially learning in unknown probabilistic environments are new representations and computation mechanisms. In this paper, a novel quantum reinforcement learning (QRL) method is proposed by…
We give a necessary and sufficient condition for the existence of a local solution of the inverse problem of calculus of variations in terms of the identical vanishing of the variation of a functional on an extended space (with the number…
We present computable criterion for completely classifying multi-qubit quantum states under local unitary operations. The criterion can be used to detect whether two quantum states in multi-qubit systems are local unitary equivalent or not.…
Subsystems of entangled quantum systems are not traditionally described in a local way. This paper begins to address the issue by constructing an explicit local hidden variable theory for quantum subsystems. The interpretation is based on a…
For performance and verification in machine learning, new methods have recently been proposed that optimise learning systems to satisfy formally expressed logical properties. Among these methods, differentiable logics (DLs) are used to…
Bell's theorem, stating that quantum predictions are incompatible with a local hidden variable description, is a cornerstone of quantum theory and at the center of many quantum information processing protocols. Over the years, different…
Various reconstructions of finite-dimensional quantum mechanics result in a formally real Jordan algebra A and a last step remains to conclude that A is the self-adjoint part of a C*-algebra. Using a quantum logical setting, it is shown…
In this note we improve the parameter $q$ that appears in Theorem 1 obtained by the author in [Math. Ineq. \& appl., Vol 19 (3) (2016), 1013-1030].
Many security- and performance-critical domains, such as cryptography, rely on low-level verification to minimize the trusted computing surface and allow code to be written directly in assembly. However, verifying assembly code against a…
Quantum nonlocality can be revealed "via local contextuality" in qudit-qudit entangled systems with $d > 2$, that is, through the violation of inequalities containing Alice-Bob correlations that admit a local description, and Alice-Alice…
In 1948, Schwinger developed a local Lorentz covariant formulation of relativistic quantum electrodynamics in space-time which is fundamentally inconsistent with any delocalized interpretation of quantum mechanics. An interpretation…
The problem of causality is analyzed in the context of Local Quantum Field Theory. Contrary to recent claims, it is shown that apparent noncausal behaviour is due to a lack of the notion of sharp localizability for a relativistic quantum…
Defeasible rules are used in providing computable representations of legal documents and, more recently, have been suggested as a basis for explainable AI. Such applications draw attention to the scalability of implementations. The…
The quantum mechanical measurement process is considered. A hypothetical concept of irrational dynamical variables is proposed. A possible definition of measurement is discussed along with a mathematical method to calculate experimental…
A semantic embedding of (constant domain) quantified conditional logic in classical higher-order logic is presented.
In this paper, we establish a local limit theorem for linear fields of random variables constructed from independent and identically distributed innovations each with finite second moment. When the coefficients are absolutely summable we do…
Nonlocality is arguably one of the most fundamental and counterintuitive aspects of quantum theory. Nonlocal correlations could, however, be even more nonlocal than quantum theory allows, while still complying with basic physical principles…
The framework of locally covariant quantum field theory is discussed, motivated in part using "ignorance principles". It is shown how theories can be represented by suitable functors, so that physical equivalence of theories may be…
We consider quantum computer architectures where interactions are mediated between hot qubits that are not in their mechanical ground state. Such situations occur, e.g., when not cooling ideally, or when moving ions or atoms around. We…
We introduce the local composite quantile regression (LCQR) to causal inference in regression discontinuity (RD) designs. Kai et al. (2010) study the efficiency property of LCQR, while we show that its nice boundary performance translates…