10.9k citations
- Centre National de la Recherche ScientifiqueFR292 papers
- Rutherford Appleton LaboratoryGB217 papers
- University College LondonGB212 papers
- University of LiverpoolGB196 papers
- Sorbonne UniversitéFR194 papers
- University of GlasgowGB188 papers
- University of BolognaIT184 papers
- University of CambridgeGB179 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR172 papers
- Lawrence Berkeley National LaboratoryUS170 papers
- Sapienza University of RomeIT168 papers
- University of Wisconsin–MadisonUS168 papers
16 papers · 2 filters
The ZX-calculus is complete for the single-qubit Clifford+T group
Miriam Backens
The ZX-calculus is a graphical calculus for reasoning about pure state qubit quantum mechanics. It is complete for pure qubit stabilizer quantum mechanics, meaning any equality inv…
Reflections on the PBR Theorem: Reality Criteria & Preparation Independence
Shane Mansfield
This paper contains initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of mo…
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures
Yoshihiro Maruyama
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order an…
Fibred Coalgebraic Logic and Quantum Protocols
Daniel Marsden
Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate liftin…
Non-locality in theories without the no-restriction hypothesis
Peter Janotta, Raymond Lal
The framework of generalized probabilistic theories (GPT) is a widely-used approach for studying the physical foundations of quantum theory. The standard GPT framework assumes the…
No-Signalling Is Equivalent To Free Choice of Measurements
Samson Abramsky, Adam Brandenburger, Andrei Savochkin
No-Signalling is a fundamental constraint on the probabilistic predictions made by physical theories. It is usually justified in terms of the constraints imposed by special relativ…