Sublinear Time Quantum Sensitivity Sampling
2509.16801v1
cs.DS, cs.LG, quant-ph
2025-09-24
Авторы:
Zhao Song, David P. Woodruff, Lichen Zhang
Резюме на русском
#### Контекст
Область квантовых вычислений постоянно развивается, и одним из перспективных направлений является использование квантовых методов для стохастических задач. Одна из таких задач — сенситивность семплинга, которая находит применение в кластеризации, регрессии, низкоранговой аппроксимации и других классических задачах вычислительной линейной алгебры. Существующие классические подходы часто требуют полного просмотра данных, что становится неэффективным при работе с большими выборками. Квантовые алгоритмы могут решить эти проблемы, обеспечивая более эффективные алгоритмы для построения ядер (coresets), а также существенно сокращая время выполнения. Наше исследование сосредотачивается на развитии квантовой сенситивности семплинга, которая может значительно улучшить производительность решения классических задач.
#### Метод
Мы предлагаем унифицированный квантовый подход для сенситивности семплинга, который может быть применен к широкому классу задач классического вычисления. Наша методология основывается на построении ядер (coresets), которые являются сжатыми представлениями исходных данных, сохраняющими их ключевые свойства для последующего анализа. Используя квантовую методологию, мы достигаем значительного сокращения времени работы сравнительно с классическими методами. Алгоритмы представлены в рамках квантовой аппараты, использующей суперпозицию состояний и хромодинамические меры, что позволяет эффективно обрабатывать большие данные. Для применения к задачам кластеризации, регрессии и низкоранговой аппроксимации, мы разработали специальные алгоритмы, которые используют квантовые ускорения и позволяют сократить время работы до подлинейного уровня.
#### Результаты
Мы провели эксперименты для $k$-median и $k$-means кластеризации, $\ell_p$-регрессии и низкоранговой аппроксимации. Для $k$-median и $k$-means кластеризации, мы построили эффективные ядра (coresets) для $n$ точек в $d$-мерном пространстве Евклида, которые позволили сократить время работы до $\widetilde O(n^{0.5}dk^{2.5}~\mathrm{poly}(\epsilon^{-1}))$. Для $\ell_p$-регрессии мы построили ядра размера $\widetilde O_p(d^{\max\{1, p/2\}}\epsilon^{-2})$ во времени $\widetilde O_p(n^{0.5}d^{\max\{0.5, p/4\}+1}(\epsilon^{-3}+d^{0.5}))$, что значительно улучшило показатели существующих алгоритмов. Для низкоранговой аппроксимации, мы предложили алгоритм с временем $\widetilde O(nd^{0.5}k^{0.5}\epsilon^{-1})$ для построения ядер, что является первым квантовым подходом не зависящим от данных. Также мы рассмотрели квантовые методы для низкоранговой аппроксимации в рамках линейной алгебры и тензорного вычисления.
#### Значимо
Abstract
We present a unified framework for quantum sensitivity sampling, extending
the advantages of quantum computing to a broad class of classical approximation
problems. Our unified framework provides a streamlined approach for
constructing coresets and offers significant runtime improvements in
applications such as clustering, regression, and low-rank approximation. Our
contributions include:
* $k$-median and $k$-means clustering: For $n$ points in $d$-dimensional
Euclidean space, we give an algorithm that constructs an $\epsilon$-coreset in
time $\widetilde O(n^{0.5}dk^{2.5}~\mathrm{poly}(\epsilon^{-1}))$ for
$k$-median and $k$-means clustering. Our approach achieves a better dependence
on $d$ and constructs smaller coresets that only consist of points in the
dataset, compared to recent results of [Xue, Chen, Li and Jiang, ICML'23].
* $\ell_p$ regression: For $\ell_p$ regression problems, we construct an
$\epsilon$-coreset of size $\widetilde O_p(d^{\max\{1, p/2\}}\epsilon^{-2})$ in
time $\widetilde O_p(n^{0.5}d^{\max\{0.5, p/4\}+1}(\epsilon^{-3}+d^{0.5}))$,
improving upon the prior best quantum sampling approach of [Apers and Gribling,
QIP'24] for all $p\in (0, 2)\cup (2, 22]$, including the widely studied least
absolute deviation regression ($\ell_1$ regression).
* Low-rank approximation with Frobenius norm error: We introduce the first
quantum sublinear-time algorithm for low-rank approximation that does not rely
on data-dependent parameters, and runs in $\widetilde
O(nd^{0.5}k^{0.5}\epsilon^{-1})$ time. Additionally, we present quantum
sublinear algorithms for kernel low-rank approximation and tensor low-rank
approximation, broadening the range of achievable sublinear time algorithms in
randomized numerical linear algebra.
Ссылки и действия
Дополнительные ресурсы: