PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 16:40 - 17:00 at Copenhagen - Session 4

The quantum backtracking algorithm proposed by Ashley Montanaro raised considerable interest, as it provides a quantum speed-up for a large class of classical optimization algorithms. It does not suffer from Barren-Plateaus and transfers well into the fault-tolerant era, as it requires only a limited number of arbitrary angle gates. Despite its potential, the algorithm has seen limited implementation efforts, presumably due to its abstract formulation. In this work, we provide a detailed instruction on implementing the quantum step operator for arbitrary backtracking instances. For a single controlled diffuser of a binary backtracking tree with depth n, our implementation requires only 6n + 14 CX gates. We detail the process of constructing accept and reject oracles for Sudoku problems using our interface to quantum backtracking. The presented code is written using Qrisp, a high-level quantum programming language, making it executable on most current physical backends and simulators. Subsequently, we perform several simulator based experiments and demonstrate solving 4x4 Sudoku instances with up to 9 empty fields. This is, to the best of our knowledge, the first instance of a compilable implementation of this generality, marking a significant and exciting step forward in quantum software engineering.

Mon 24 Jun

Displayed time zone: Windhoek change

16:00 - 18:00
Session 4WQS at Copenhagen
16:00
40m
Keynote
Mitiq, a toolbox for quantum error mitigation and error suppression
WQS
Nathan Shammah Unitary Fund
16:40
20m
Talk
Quantum Backtracking in Qrisp Applied to Sudoku Problems
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems, Zander René , Matic Petrič , Niklas Steinmann , David Liu , Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin
17:00
20m
Talk
Classical Shadows for Property-Based Testing of Quantum Programs
WQS
Gabriel Joseph Pontolillo King's College London, Connor Lenihan King's College London, Mohammad Reza Mousavi King's College London, George Booth King's College London
17:20
20m
Talk
Hybrid Quantum-Classical Machine Learning with String Diagrams
WQS
Alexander Koziell-Pipe University of Oxford, Aleks Kissinger University of Oxford
17:40
20m
Talk
Classical Simulation of Quantum Circuits with Partial Interference Effects
WQS
Sinan Pehlivanoglu Indiana University, Amr Sabry Indiana University