Abstract:We consider the random number partitioning problem (\texttt{NPP}): given a list $X\sim \mathcal{N}(0,I_n)$ of numbers, find a partition $\sigma\in\{-1,1\}^n$ with a small objective value $H(\sigma)=\frac{1}{\sqrt{n}}\left|\langle \sigma,X\rangle\right|$. The \texttt{NPP} is widely studied in computer science; it is also closely related to the design of randomized controlled trials. In this paper, we propose a planted version of the \texttt{NPP}: fix a $\sigma^*$ and generate $X\sim \mathcal{N}(0,I_n)$ conditional on $H(\sigma^*)\le 3^{-n}$. The \texttt{NPP} and its planted counterpart are statistically distinguishable as the smallest objective value under the former is $\Theta(\sqrt{n}2^{-n})$ w.h.p. Our first focus is on the values of $H(\sigma)$. We show that, perhaps surprisingly, planting does not induce partitions with an objective value substantially smaller than $2^{-n}$: $\min_{\sigma \ne \pm \sigma^*}H(\sigma) = \widetilde{\Theta}(2^{-n})$ w.h.p. Furthermore, we completely characterize the smallest $H(\sigma)$ achieved at any fixed distance from $\sigma^*$. Our second focus is on the algorithmic problem of efficiently finding a partition $\sigma$, not necessarily equal to $\pm\sigma^*$, with a small $H(\sigma)$. We show that planted \texttt{NPP} exhibits an intricate geometrical property known as the multi Overlap Gap Property ($m$-OGP) for values $2^{-\Theta(n)}$. We then leverage the $m$-OGP to show that stable algorithms satisfying a certain anti-concentration property fail to find a $\sigma$ with $H(\sigma)=2^{-\Theta(n)}$. Our results are the first instance of the $m$-OGP being established and leveraged to rule out stable algorithms for a planted model. More importantly, they show that the $m$-OGP framework can also apply to planted models, if the algorithmic goal is to return a solution with a small objective value.

Topologically protected Grover's oracle for the partition problem

A Decomposition Method for the Hybrid Quantum-Classical Solution of the Number Partitioning Problem

Nondeterministic Quantum Computation Via Ground State Cooling and Ultrafast Grover Algorithm

Optical experimental solution for the multiway number partitioning problem and its application to computing power scheduling

Achieving quantum advantage in a search for a minimal Goldbach partition with driven atoms in tailored potentials

Solving various NP-Hard problems using exponentially fewer qubits on a Quantum Computer

Decomposition algorithms for solving NP-hard problems on a quantum annealer

Accelerated quantum search using partial oracles and Grover's algorithm

Partitioning Problems with Splittings and Interval Targets

Quantum annealing for nearest neighbour compliance problem

Efficient Implementation of a Quantum Search Algorithm for Arbitrary N

Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy

Topological obstructions to quantum computation with unitary oracles

Bioinspired Quantum Oracle Circuits for Biomolecular Solutions of the Maximum Cut Problem

A polynomial-time solution to the parity problem on an NMR quantum computer

Oracle Separations for the Quantum-Classical Polynomial Hierarchy

Efficient partition of integer optimization problems with one-hot encoding

Planted Random Number Partitioning Problem

Circuit optimization of Grover quantum search algorithm

Quantum combinatorial optimization beyond the variational paradigm: simple schedules for hard problems

Partition function estimation with a quantum coin toss