We extend the circuit model of quantum comuptation so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipulated and put into superpositions. This aims at capturing indefinite causal orders, as well as making their geometrical layout explicit. We show how to implement the quantum switch and the polarizing beam splitter within our model. One difficulty is that the names used as addresses should not matter beyond the wiring they describe, i.e. the evolution should commute with renamings. Yet, the evolution may act nontrivially on these names. Our main technical contribution is a full characterization of such nameblind matrices.
Download