Manuscript Psy02-A@1 · Psy02-A.tex · section · d92ce402
Sequential measurement requires instruments
Input, preparation, and measurement budgets › Sequential measurement requires instruments · lines 1519–1525
An instrument with finite outcomes is a family of completely positive trace-nonincreasing maps whose sum is trace preserving DaviesLewis.