134 citations
- McGill UniversityCA3 papers
- Association of Research LibrariesUS1 paper
- California State University SystemUS1 paper
- Center for Astrophysics Harvard & SmithsonianUS1 paper
- Centrum Wiskunde & InformaticaNL1 paper
- European Southern ObservatoryCL1 paper
- Lakehead UniversityCA1 paper
- Los Alamos National LaboratoryUS1 paper
- Perimeter InstituteCA1 paper
- Royal Observatory of BelgiumBE1 paper
- Syracuse UniversityUS1 paper
- Toronto Metropolitan UniversityCA1 paper
6 papers · 1 filter
On Superselection Rules in Bohm-Bell Theories
Samuel Colin, Thomas Durt, Roderich Tumulka
The meaning of superselection rules in Bohm-Bell theories (i.e., quantum theories with particle trajectories) is different from that in orthodox quantum theory. More precisely, the…
Reasoning about quantum knowledge
Ellie D'Hondt, Prakash Panangaden
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum computation. While we rely on structures developed earlier, w…
Necessity of Combining Mutually Incompatible Perspectives in the Construction of a Global View: Quantum Probability and Signal Analysis
Sven Aerts, Diederik Aerts, Franklin E. Schroeck
The scientific fields of quantum mechanics and signal-analysis originated within different settings, aimed at different goals and started from different scientific paradigms. Yet t…
Quantum Weakest Preconditions
Ellie D'Hondt, Prakash Panangaden
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between t…
The Computational Power of the W and GHZ states
Ellie D'Hondt, Prakash Panangaden
It is well understood that the use of quantum entanglement significantly enhances the computational power of systems. Much of the attention has focused on Bell states and their mul…
Classicality and connectedness for state property systems and closure spaces
Diederik Aerts, Didier Deses, Ann Van der Voorde
It has been shown that there is a categorical equivalence between the category SPS of state property systems and the category Cl of closure spaces. In this note we prove, using thi…