Jeudi 15 octobre 2026, 14:00 à 15:00

salle des séminaires du département d'informatique

Colin Blake

(INRIA, Université de Nancy-Lorraine)

When do two circuits represent the same operation? Starting with qubits, I will introduce quantum circuits and explain how string diagrams and categorical semantics allow us to reason about them by equations. I will then turn to qudits, the higher-dimensional generalisation of qubits. Their study is motivated by physical implementations, but also reveals which familiar circuit identities depend specifically on binary arithmetic. I will present a complete equational theory for unitary qudit circuits, with control treated as a circuit constructor, these constructions could also be used in other kinds of circuits such as boolean circuits.