Performance Guarantees for Quantum Neural Estimation of Entropies
Sreejith Sreekumar, Ziv Goldfeld, Mark M. Wilde
TL;DR
The paper develops a theoretical foundation for quantum neural estimators (QNE) to estimate measured relative entropies and their Rényi variants from quantum samples. It presents non-asymptotic risk bounds and sub-Gaussian concentration results, with copy complexity bounds that depend on the classical-quantum circuit parameters and system dimension, and improves dimension dependence under permutation invariance via Schur-Weyl duality. The framework integrates neural network approximation of eigenvalues with PQC-driven eigenvectors, under assumptions on covering entropies and embedding schemes, and explicit results for shallow and deep networks. This work provides principled guidance for hyperparameter tuning and delineates regimes where QNE is minimax-optimal in $n$ and where symmetry can dramatically reduce resource demands, thereby informing practical deployment in quantum entropy estimation tasks.
Abstract
Estimating quantum entropies and divergences is an important problem in quantum physics, information theory, and machine learning. Quantum neural estimators (QNEs), which utilize a hybrid classical-quantum architecture, have recently emerged as an appealing computational framework for estimating these measures. Such estimators combine classical neural networks with parametrized quantum circuits, and their deployment typically entails tedious tuning of hyperparameters controlling the sample size, network architecture, and circuit topology. This work initiates the study of formal guarantees for QNEs of measured (Rényi) relative entropies in the form of non-asymptotic error risk bounds. We further establish exponential tail bounds showing that the error is sub-Gaussian, and thus sharply concentrates about the ground truth value. For an appropriate sub-class of density operator pairs on a space of dimension $d$ with bounded Thompson metric, our theory establishes a copy complexity of $O(|Θ(\mathcal{U})|d/ε^2)$ for QNE with a quantum circuit parameter set $Θ(\mathcal{U})$, which has minimax optimal dependence on the accuracy $ε$. Additionally, if the density operator pairs are permutation invariant, we improve the dimension dependence above to $O(|Θ(\mathcal{U})|\mathrm{polylog}(d)/ε^2)$. Our theory aims to facilitate principled implementation of QNEs for measured relative entropies and guide hyperparameter tuning in practice.
