Reducing QUBO Density by Factoring Out Semi-Symmetries

Quantum Approximate Optimization Algorithm (QAOA) and Quantum Annealing are prominent approaches for solving combinatorial optimization problems, such as those formulated as Quadratic Unconstrained Binary Optimization (QUBO). These algorithms aim to minimize the objective function $x^{T}Qx$, where $Q$ is a QUBO matrix. However, the number of two-qubit CNOT gates in QAOA circuits and the complexity of problem embeddings in Quantum Annealing scale linearly with the number of non-zero couplings in $Q$, contributing to significant computational and error-related challenges. To address this, we introduce the concept of $\mathit{\text{semi-symmetries}}$ in QUBO matrices and propose an algorithm for identifying and factoring these symmetries into ancilla qubits. $\mathit{\text{Semi-symmetries}}$ frequently arise in optimization problems such as $\mathit{\text{Maximum}}\mathit{\text{Clique}}$, $\mathit{\text{Hamilton}}\mathit{\text{Cycles}}$, $\mathit{\text{Graph}}\mathit{\text{Coloring}}$, and $\mathit{\text{Graph}}\mathit{\text{Isomorphism}}$. We theoretically demonstrate that the modified QUBO matrix $Q_{\text{mod}}$ retains the same energy spectrum as the original $Q$. Experimental evaluations on the aforementioned problems show that our algorithm reduces the number of couplings and QAOA circuit depth by up to $45\mathrm{\%}$. For Quantum Annealing, these reductions also lead to sparser problem embeddings, shorter qubit chains and better performance. This work highlights the utility of exploiting QUBO matrix structure to optimize quantum algorithms, advancing their scalability and practical applicability to real-world combinatorial problems.