Matthew Leifer, profile picture

Matthew Leifer

Sort by
Imperial20101215
Separations of probabilistic theories via their information processing capabilities
Unentangled Bit Commitment and the Clifton-Bub-Halvorson (CBH) Theorem
Quantum Causal Networks
The Church of the Smaller Hilbert Space
Do we need a logic of quantum computation?
Quantum Logic
Nondeterministic testing of Sequential Quantum Logic Propositions on a Quantum Computer
Measuring Multi-particle Entanglement
Multi-particle Entanglement in Quantum States and Evolutions