Quantum Tree Generator Solver

[koalamitice]

Goal of this issue is the implementation of a sophisticated quantum 0-1 knapsack solver and its integration with out Quantum Circuit Execution Mask (#133).

Task 1: Integrate the 0-1 knapsack Solver into the ProvideQ API (Server)

• Solver Code: https://github.com/Quantum-Optimization-Solver-Kit/Quantum_Tree_Generator_Qiskit
• Solver Paper: https://www.nature.com/articles/s41534-025-01097-8
• Server Repo: https://github.com/ProvideQ/toolbox-server

What to do?

• Create a new Solver class in Java Code
• Add Solver class to the KnapsackConfiguration
• Implement Solver class (can orientate on other Knapsack Solvers)
• Deal with Wrapping the Python Script
• Design Virtual Environment for Python Script
• Implement a Testcase for the Solver

Task 2: Adjust Knapsack Solver for the Quantum Circuit Execution Mask

• Quantum Circuit Execution Mask is currently part of PR Circuit processing #133

What to do?

• Adjust Python Script of the Knapsack Solver so that it returns an OpenQASM Circuit instead of a Knapsack Solution
• Make the OpenQASM Circuit Solveable with the Circuit Execution Mask
• Handle Variable : Qubit Mapping so that Parsing of the Solution is Possible
• Can orientate on other Solver with Subroutines (VRP Clustering or SAT with Exact Grover)

Task 3: Adjust Knapsack Solver for the Quantum Circuit Execution Mask

• Make it possible to check circuits for equivalenz with the Circuit Execution Mask

What to do?

• Create a new Equivalenz Checking Endpoint in the API
• Integrate tools like PyZX (https://pyzx.readthedocs.io/en/latest/) or QCEC (https://www.cda.cit.tum.de/research/quantum/quantum_verification/) into the Toolbox. They will be called inside this Endpoint.
• Propose a visualization that allows to check the equivalence in the frontend. (https://github.com/ProvideQ/toolbox-web)