Custom Penalty QAOA via Walsh-Hadamard Transform
quant-ph
Submitted: 2026-10-04
Updated: 2026-10-04
Comments: 16 pages, 4 figures. Submission to QIP 27. Subject to major changes
License: http://creativecommons.org/licenses/by-nc-sa/4.0/
The gist: Inequality constraints in combinatorial optimization are conventionally handled by introducing slack variables and quadratic penalties, which increase the qubit count and distort the optimization
Abstract
Inequality constraints in combinatorial optimization are conventionally handled by introducing slack variables and quadratic penalties, which increase the qubit count and distort the optimization landscape. Slack-free formulations instead apply a nonlinear custom penalty function directly to the constraint, which are difficult to be implemented in quantum approximate optimization algorithm (QAOA). We show that the Walsh--Hadamard transform (WHT) removes this obstruction for any penalty function: a penalty applied to a linear constraint is exactly a weighted sum of Pauli- Z strings. We propose this framework as the Walsh custom penalty QAOA (WCP-QAOA). Truncating the expansion at Walsh degree k costs O(n k) Pauli terms and leaves the qubit count untouched. The truncation is the optimal degree- k approximation of the penalty in L squared, and we give a condition on the discarded Walsh coefficients under which the truncated Hamiltonian still ranks every feasible solution below every infeasible one. Since evaluating a Walsh coefficient from its definition requires all 2 n penalty values, we give an algorithm that returns any coefficient in sub-exponential time, so that the degree- k Hamiltonian is obtained in time polynomial in n for fixed k. We show that for the exponential penalty, there exists a closed product form of WHT, and hence a closed form expression to calculate the Walsh coefficients. We identify structural shortcuts that shorten the exact spectrum. We also tested WCP-QAOA in solving a 6-qubit knapsack problem.
Sources
- A Quantum Approximate Optimization Algorithm
- Solving Inequality-Constrained Binary Optimization Problems on Quantum Annealer
- CVaR-Assisted Custom Penalty Function for Constrained Optimization
- Addition on a Quantum Computer
- A new quantum ripple-carry addition circuit
- Hardware-Aware QUBO Reformulation of Constrained Binary Optimization via the Walsh-Fourier Transform
- Quantum Computation by Adiabatic Evolution
- Analysis of Boolean Functions
- Efficient Quantum Circuits for Non-Unitary and Unitary Diagonal Operators with Space-Time-Accuracy trade-offs
Related papers
- Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
- Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
- Polynomial-time classical and quantum simulation of quantum impurity models
- A quasiparticle-protected superconducting qubit
- Theory of quantum-enhanced interferometry with general Markovian light sources
- A convergent hierarchy of spectral gap certificates for qubit Hamiltonians