The measurement calculus

We propose a calculus of local equations over one-way measurement patterns [1], which preserves interpretations, and allows the rewriting of any pattern to a standard form where entanglement is done first, then measurements, then local corrections. We infer from this that patterns with no dependencies, or using only Pauli measurements, can only realise unitaries belonging to the Clifford group.

• Type: Journal
• Year: 2007
• Where: JACM
• Authors: Vincent Danos, Elham Kashefi, Prakash Panangaden
• Keywords: JACM 2007, Local Equations, Measurements, One-way Measurement Patterns