A Recovery Theory for Diffusion Priors: Deterministic Analysis of the Implicit Prior Algorithm

2509.20511v1 cs.LG, eess.SP, math.OC 2025-09-27
Авторы:

Oscar Leong, Yann Traonmilin

Резюме на русском

## Контекст Реконструкция высокомерных сигналов из поврежденных измерений является центральной проблемой в области вычислительных приемов. Несмотря на то, что в условиях неинвазивного мониторинга (например, при использовании ЭКГ, ЭЭГ, магнитного резонанса изображения) данные часто повреждаются шумом, существуют технологии, которые позволяют восстановить информацию с меньшим количеством данных. Одним из таких подходов является использование генерируемых моделей, которые дают оптимальные решения в области инверсных задач. Однако, несмотря на их эмпирический успех, существуют ограниченные теоретические гарантии восстановления. Наша работа построена на основе работы Kadkhodaie & Simoncelli \cite{kadkhodaie2021stochastic}, где мы развиваем теоретическую модель для анализа детерминированных методов основанных на модели диффузии. Мы стремимся раскрыть теоретические причины успеха этих моделей в отношении инверсных задач. ## Метод Мы предлагаем новую теоретическую модель, основывающуюся на генерируемой модели диффузии для решения инверсных задач. Наша методология включает в себя определение детерминированного алгоритма, связанного с генерируемой моделью диффузии, который используется для восстановления высокомерных сигналов. Мы развиваем анализ нового типа проекционных методов, опираясь на идею генерируемых моделей диффузии. В свою очередь, мы используем теорию разложения векторов в нормальных распределениях, чтобы построить новый подход к решению инверсных задач. Модель алгоритма основывается на оптимизации задачи, приближенной к проекционному методу, но с динамическими изменениями проектов. Была разработана архитектура алгоритма, включающая в себя моделирование сигнала и шума, которая позволяет анализировать свойства этого метода. ## Результаты Мы проводим эксперименты на двух основных типах данных: 1) равномерные распределения в низкомерных компактных множествах и 2) низкоранговые гауссовые смеси. Наши эксперименты показывают, что алгоритм позволяет достичь высокой точности восстановления в случае, когда множество сигналов может быть описано низкоранговыми моделями. Были получены квантитативные оценки на различных типах данных, которые подтверждают эффективность алгоритма в случае условий ограниченности модели. Мы также демонстрируем свойство метода в случае высокого ранга модели, показывая, что алгоритм способен восстановить сигнал, даже при высокой ранговой структуре данных. ## Значимость Мы применили нашу модель в двух ключевых областях: 1) восстановлении данных в условиях низ

Abstract

Recovering high-dimensional signals from corrupted measurements is a central challenge in inverse problems. Recent advances in generative diffusion models have shown remarkable empirical success in providing strong data-driven priors, but rigorous recovery guarantees remain limited. In this work, we develop a theoretical framework for analyzing deterministic diffusion-based algorithms for inverse problems, focusing on a deterministic version of the algorithm proposed by Kadkhodaie \& Simoncelli \cite{kadkhodaie2021stochastic}. First, we show that when the underlying data distribution concentrates on a low-dimensional model set, the associated noise-convolved scores can be interpreted as time-varying projections onto such a set. This leads to interpreting previous algorithms using diffusion priors for inverse problems as generalized projected gradient descent methods with varying projections. When the sensing matrix satisfies a restricted isometry property over the model set, we can derive quantitative convergence rates that depend explicitly on the noise schedule. We apply our framework to two instructive data distributions: uniform distributions over low-dimensional compact, convex sets and low-rank Gaussian mixture models. In the latter setting, we can establish global convergence guarantees despite the nonconvexity of the underlying model set.

Ссылки и действия