Seminário de Computação e Informação Quântica 

02/09/2005, 14:00 — 15:00 — Sala P4.35, Pavilhão de Matemática
Elham Kashefi, IQC, U Waterloo

Measurement Calculus

We develop a notation for patterns of correlated measurements and local corrections together with a set of equations, which we call the measurement calculus. We show that patterns can be put in a standard form, where entanglement is done first, then measurement, then corrections. Various consequences are compositional proofs of universality for both the 1-qubit and the 2-qubit measurement based models, with robust and parsimonious generators, compositional embeddings between these models, and a proof that patterns without correlations may only implement Clifford operators. Joint work with V. Danos and P. Panangaden.