Our paper "Optimal Partitioning of Quantum Circuits Using Gate Cuts and Wire Cuts" that appeared in the IEEE Transactions on Quantum Engineering in 2024 has received one of the ten Publication Prizes of the University (one for each Faculty). The Prize was presented during the University's Day of Research on July 8.
The paper was a result of the research stay of then-PhD student Sebastian Brandhofer at IBM Quantum US. We applied formal models and satisifiability modulo theory (SMT) solving to partitioning of quantum circuits. The question considered is: how can we run a quantum computation on a platform with less qubits than is actually needed? To this end, so-called gate and wire cuts were previously known, but we were the first to consider them together within a single formal SMT model. Our - provably optimal - results have improved previous approaches by ~40%, and we proposed numerous improvements, including a new circuit to communicate between partitions. Sebastian is now working for IBM in Boeblingen on, among other things, distributed quantum computing that can be seen as building up on his results from the prize-receiving paper.
More information on the 10 Publication Prizes
Link to the paper (IEEEXplore)
Link to the paper (arxiv)
