Probabilistic modeling over permutations using quantum computers
This work addresses the computational bottleneck in machine learning for permutation-structured data, offering a quantum advantage for tasks in domains such as tracking and recommendations, though it is a foundational step with practical limitations.
The paper tackles the challenge of building probabilistic models over permutations, which is computationally intractable classically, by leveraging quantum computers to encode the exact model into quantum states using the Quantum Fourier Transform over the symmetric group, achieving a super-exponential speedup for spectral methods in applications like multi-object tracking and recommendation systems.
Quantum computers provide a super-exponential speedup for performing a Fourier transform over the symmetric group, an ability for which practical use cases have remained elusive so far. In this work, we leverage this ability to unlock spectral methods for machine learning over permutation-structured data, which appear in applications such as multi-object tracking and recommendation systems. It has been shown previously that a powerful way of building probabilistic models over permutations is to use the framework of non-Abelian harmonic analysis, as the model's group Fourier spectrum captures the interaction complexity: "low frequencies" correspond to low order correlations, and "high frequencies" to more complex ones. This can be used to construct a Markov chain model driven by alternating steps of diffusion (a group-equivariant convolution) and conditioning (a Bayesian update). However, this approach is computationally challenging and hence limited to simple approximations. Here we construct a quantum algorithm that encodes the exact probabilistic model -- a classically intractable object -- into the amplitudes of a quantum state by making use of the Quantum Fourier Transform (QFT) over the symmetric group. We discuss the scaling, limitations, and practical use of such an approach, which we envision to be a first step towards useful applications of non-Abelian QFTs.