Succinct QUBO formulations for permutation problems by sorting networks

TL;DR

This paper presents a novel, efficient QUBO formulation for permutations using compare-exchange networks, significantly reducing variables and enabling unbiased sampling, with applications in cryptography and combinatorial design.

Contribution

Introduces a new QUBO formulation for permutations based on compare-exchange networks, reducing variable count and enabling additional permutation operations.

Findings

Uses $O(n \, \log^2 n)$ variables, fewer than standard methods.

Supports permutation operations like multiplication, inversion, and order checking.

Enables unbiased sampling of permutations with constraints.

Abstract

Quadratic Unconstrained Binary Optimization (QUBO) is a standard NP-hard optimization problem. Recently, it has gained renewed interest through quantum computing, as QUBOs directly reduce to the Ising model, on which quantum annealing devices are based. We introduce a QUBO formulation for permutations using compare-exchange networks, with only $O(n \log^2 n)$ binary variables. This is a substantial improvement over the standard permutation matrix encoding, which requires $n^2$ variables and has a much denser interaction graph. A central feature of our approach is uniformity: each permutation corresponds to a unique variable assignment, enabling unbiased sampling. Our construction also allows additional constraints, including fixed points and parity. Moreover, it provides a representation of permutations that supports the operations multiplication and inversion, and also makes it possible to check the order of a permutation. This can be used to uniformly generate permutations of a given order or, for example, permutations that commute with a specified permutation. To our knowledge, this is the first result linking oblivious compare-exchange networks with QUBO encodings. While similar functionality can be achieved using permutation matrices, our method yields QUBOs that are both smaller and sparser. We expect this method to be practically useful in areas where unbiased sampling of constrained permutations is important, including cryptography and combinatorial design.