aiqbench analysis
This paper establishes rigorous theoretical bounds for Matrix Product Operator Born Machines, proving that approximating arbitrary continuous distributions is NP-hard while identifying specific conditions under which polynomial-bond representations are feasible. The work advances the understanding of tensor-network models in probabilistic modeling by linking approximation complexity to log-Sobolev inequalities and spectral gaps.
On the Approximation Complexity of Matrix Product Operator (MPO) Born Machines
arXiv:2605.11471v2 Announce Type: replace Abstract: Matrix product operator Born machines (MPO-BMs) are tractable tensor-network models for probabilistic modeling, yet their approximation capabilities remain poorly understood in theory. In this paper, we characterize these capabilities from both negative and positive perspectives. As a negative result, we prove that constructing a polynomial-bond MPO-BM approximation to an arbitrary continuous target with bounded KL error is NP-hard. On the positive side, for score-based variational inference, we prove that targets satisfying a log-Sobolev inequality admit polynomial-bond MPO-BM approximations with provable KL guarantees when the loss-induced Hamiltonian is local and has a constant spectral gap. Furthermore, under the same conditions, we construct local importance-sampling estimators and prove that polynomially many local score queries suffice to preserve the KL guarantees.
Abstract:Matrix product operator Born machines (MPO-BMs) are tractable tensor-network models for probabilistic modeling, yet their approximation capabilities remain poorly understood in theory. In this paper, we characterize these capabilities from both negative and positive perspectives. As a negative result, we prove that constructing a polynomial-bond MPO-BM approximation to an arbitrary continuous target with bounded KL error is NP-hard. On the positive side, for score-based variational inference, we prove that targets satisfying a log-Sobolev inequality admit polynomial-bond MPO-BM approximations with provable KL guarantees when the loss-induced Hamiltonian is local and has a constant spectral gap. Furthermore, under the same conditions, we construct local importance-sampling estimators and prove that polynomially many local score queries suffice to preserve the KL guarantees.
Machine Learning (cs.LG)
arXiv:2605.11471 [cs.LG]
(or arXiv:2605.11471v2 [cs.LG] for this version)
https://doi.org/10.48550/arXiv.2605.11471 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 210 words
Related coverage
Running Variational Quantum Eigensolver with Qiskit Aer on AMD Instinct
AMD · May 29, 2026

Lattice-Based Cryptography Explained
Quantum Zeitgeist · Aug 15, 2026

A brief history of quantum vs classical computational advantage
Quantum Journal · Sep 1, 2026

News
Quantum Computing Report · Jun 7, 2026