Quantum relational indeterminacy

Relational Quantum Mechanics

Quantum Relational Hoare Logic

We present a logic for reasoning about pairs of interactive quantum programs – quantum relational Hoare logic (qRHL). This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs. Probabilistic RHL was used extensively for computer-verified security proo...

Relational Quantum Mechanics

In this internship report, we present Carlo Rovelli’s relational interpretation of quantum mechanics, focusing on its historical and conceptual roots. A critical analysis of the Einstein-Podolsky-Rosen argument is then put forward, which suggests that the phenomenon of ‘quantum non-locality’ is an artifact of the orthodox interpretation, and not a physical effect. A speculative discussion of th...

Quantum Relational Databases

Following the early suggestion by Deutsch [6], there has been considerable discussion in the literature of the possibility of building quantum computing machines. This has moved from basic discussion about the concept of such machines through studies of the mathematical properties of logic gates that might be adequate to build them[7] [10] [8][16], to discussions of practical algorithms that mi...

Quantum Indeterminacy & the Case for Freedom in Nature

Hawking and Mlodinow affirm that quantum indeterminacy is not a departure from natural law. Indeterminacy leads us to redefine natural law as meaning that nature does not determine outcomes, but rather determines a range of probable outcomes. They unfortunately do not apply this to human beings. In contrast, we ought to explore the possibility that while most structures in nature statistically ...