A Framework to Formulate Pathfinding Problems for Quantum Computing

Damian Rovara,Nils Quetschlich,Robert Wille

2024-04-17

Abstract:With the applications of quantum computing becoming more and more widespread, finding ways that allow end users without experience in the field to apply quantum computers to solve their individual problems is becoming a crucial task. However, current optimization algorithms require problem instances to be posed in complex formats that are challenging to formulate, even for experts. In particular, the Quadratic Unconstrained Binary Optimization (QUBO) formalism employed by many quantum optimization algorithms, such as the Quantum Approximate Optimization Algorithm (QAOA), involves the mathematical rewriting of constraints under strict conditions. To facilitate this process, we propose a framework to automatically generate QUBO formulations for pathfinding problems. This framework allows users to translate their specific problem instances into formulations that can be passed directly to quantum algorithms for optimization without requiring any expertise in the field of quantum computing. It supports three different encoding schemes that can easily be compared without requiring manual reformulation efforts. The resulting QUBO formulations are robust and efficient, reducing the previously tedious and error-prone reformulation process to a task that can be completed in a matter of seconds. In addition to an open-source Python package available on

Quantum Physics

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is how to enable users without quantum computing experience to easily transform the path - finding problem into a QUBO (Quadratic Unconstrained Binary Optimization) problem suitable for solution by quantum computers. Specifically, current quantum optimization algorithms require complex mathematical rewrites to represent problem instances, which is a challenging task even for experts. Therefore, this paper proposes a framework that can automatically generate QUBO formulations for path - finding problems, thereby greatly simplifying this process.

### Main Problems and Challenges

1. **Complexity**: Path - finding problems usually contain multiple independent constraint conditions and are associated with specific graph structures. These constraint conditions make the QUBO formulation very complex, making it difficult for users without in - depth background knowledge to apply.
2. **Many Manual Rewriting Errors**: Although existing quantum optimization tools can help users complete some tasks, they still require users to have certain professional knowledge for mathematical rewrites, which is prone to errors and time - consuming.
3. **Difficulty in Comparing Different Encoding Formats**: Evaluating different encoding schemes usually requires reformulating the QUBO formulation from scratch, which is an additional burden for users.

### Proposed Solutions

To solve the above problems, this paper proposes a new framework that allows users to automatically generate QUBO formulations by describing the conceptual definitions of their constraint conditions. The main features of this framework include:

- **Natural Input Interface**: Supports multiple input methods, such as text descriptions, existing formats (such as JSON, TSPLib, etc.), and graphical user interfaces (GUI), to facilitate users in defining problem instances.
- **Automatic Constraint Conversion**: Provides an automatic and mathematically correct conversion method to convert a given problem into a QUBO formulation, regardless of the number of constraint conditions and the complexity brought by their combinations.
- **Multiple Output Formats**: Supports multiple output formats, including fully prepared quantum circuits to mathematical formulations of cost functions, for easy optimization using classical tools or quantum algorithms.

In this way, this framework significantly lowers the threshold for users to apply quantum computing in path - finding problems, enabling non - professionals to also efficiently use quantum computers to solve problems.

### Mathematical Formula Representation

The QUBO problem is based on a binary variable vector \( \mathbf{x} \), and its cost function \( C(\mathbf{x}) \) can be expressed as:
\[ C(\mathbf{x})=\sum_{i} c_{i} x_{i}+\sum_{i < j} c_{ij} x_{i} x_{j} \]

Or expressed in matrix form as:
\[ C(\mathbf{x})=\mathbf{x}^{T} Q \mathbf{x} \]
where \( Q \) is the QUBO matrix.

For specific path - finding problems, such as the Traveling Salesman Problem (TSP), it can be transformed into a QUBO problem through the following steps:

1. **Select Appropriate Encoding**: For example, use One - Hot encoding, Domain Wall encoding, or Binary encoding.
2. **Define Constraint Conditions**: Each constraint condition can be transformed into the corresponding QUBO cost function \( C_{i}(\mathbf{x}) \).
3. **Construct Total Cost Function**: Combine the cost functions of all constraint conditions into a total QUBO cost function \( C(\mathbf{x})=\sum_{i} P_{i} C_{i}(\mathbf{x}) \), where \( P_{i} \) is the penalty factor.

This automated framework not only improves efficiency but also reduces the possibility of human error, enabling more users to benefit from the powerful functions of quantum computing.