An abstract approach to entanglement

Event: 
IICQI 2007
Speaker(s): 
Talk type: 
Contributed
Abstract: 

Reasoning about quantum entanglement is fundamental to understanding many quantum systems and, in particular, measurement-based models of quantum computation. I demonstrate how entangled systems can be represented in a high level categorical setting and use a graphical representation of this language to prove the equivalence of some one-way programs to quantum circuit.

Docs|Slides: