“…Indeed, the features of this example are common in quantum optics, in which sending a photon in a superposition of trajectories, and applying operations which do not modify the number of photons (such as waveplates) are standard protocols. This point has, in particular, been encountered in different guises in the literature discussing the possibility of coherently controlling unknown unitaries [15,17,18,19] or quantum channels [11,12,13,14,20,23,24,21]: no-go theorems forbid such coherent control in standard quantum circuits, yet it is achievable in 2 In technical terms, this means that they cannot be adequately described using the categories FHilb or CPM [FHilb]. In Appendix B, we extend this discussion to the case of other standard categorical constructions such as CP* [FHilb] and the Karoubi envelope of CPM [FHilb].…”