Hybrid simplification rules for boundaries of quantum circuits

Michael Epping

We describe rules to simplify quantum circuits at their boundaries, i.e. at state preparation and measurement. There, any strictly incoherent operation may be pushed into a pre- or…