Abstract: Since their introduction in the 80’s, quantum circuits are ubiquitous in quantum computing. Transforming quantum circuits is crucial, for instance for resource optimisation, hardware-constraint satisfaction or fault-tolerant quantum computing. Circuit transformations are usually performed by means of local transformations, relying on a set of equations, called an equational theory, which describe how a piece of quantum circuit can be replaced by an equivalent one. An equational theory is complete when any circuit can be transformed into any equivalent circuit. I will present the first complete equational theory for quantum circuits. The completeness relies on the properties of multi-controlled gates — that are defined using elementary gates — together with an encoding of quantum circuits into linear optical circuits, for which we have recently introduced a complete axiomatisation.

Access 

The seminar will take place in room 406 of the IMAG building on the campus. Access to the floor is badged, so someone will wait in the entrance to take attendees up, but please arrive on time to ensure we can let you in.

Zoom link + details:

https://univ-grenoble-alpes-fr.zoom.us/j/98515512137?pwd=NWUxZkx0bnQ4dmZobnhrSllLeWFiQT09
Meeting ID: 985 1551 2137
Passcode: 436965