Какой вопрос решают
Нужно получить случайную точку из плотности, пропорциональной exp(−V(x)). Доступны точные значения V и её градиента. Как зависит необходимое число обращений к этому оракулу от размерности?
В идеально обусловленном гладком классе заявлена субполиномиальная по размерности верхняя граница числа запросов и логарифмическая нижняя граница. Время вычислений между запросами не ограничивается.
Почему выбрано: Защищает от особенно частой маркетинговой подмены query complexity временем программы.
До и после
Введение сравнивает число оракульных запросов существующих методов с новым оптимальным степенным показателем ноль. Сравнение в этой модели не ранжирует реальное время Langevin, MALA или HMC. Обозначение ε в d^ε — показатель сложности, а не запрошенная точность распределения.
Это сопоставление по введению рукописи. Независимый исчерпывающий обзор приоритета не выполнен.
Точное утверждение и условия
139-01, теорема 1.1, PDF с. 2 и модель с. 1: d≥2, V∈C², V(0)=0, ∇V(0)=0, I≼∇²V(x)≼2I для всех x. Алгоритмы адаптивны, имеют точный value-and-gradient oracle и неограниченные вещественные вычисления между запросами. Требуется TV≤0,1. Для каждого ε>0 есть Cε с Q(d)≤Cεd^ε; при больших d также Q(d)≥c log d. Это не доказанная полилогарифмическая верхняя оценка.
Источник: указанные теоремы в локальных PDF ниже. Формулировка пересказана, но ключевые кванторы, модель и оговорки сохранены.
Три уровня объяснения
Следующие аналогии и объяснения — наша интерпретация, не дополнительные теоремы.
Архитектура доказательства
Пересказ вводного обзора, а не построчная проверка доказательства.
Сгладить условные распределения, не предполагая исходной гладкости выше C².
Построить высокопорядковую транспортную аппроксимацию с малым числом оракульных обращений и контролем ошибки распределения.
Отдельно построить семейство, на котором требуется логарифмическое число запросов. Эти две границы оставляют существенный зазор.
Что известно о проверке
В описании охвата подчёркнута оракульная модель: ограничения арифметического времени нет. Даже формальное подтверждение этой теоремы не удостоверяло бы вычислительную эффективность реализации.
Читать локальное описание формального охвата
Наличие PDF, извлечение текста, успешный маленький эксперимент и внешний результат-предшественник — разные виды свидетельств. Ни один из них здесь не отмечен как независимое подтверждение всей новой теоремы.
Практика: наш вывод, не обещание автора
Инструмент аудита модели сложности и разделённого профилирования сэмплеров. Прямое внедрение нового метода без оценки вычислений между запросами не обосновано.
Ограничения переноса
Точный оракул и неограниченные вещественные вычисления идеализированы. Обусловленность фиксирована, минимизатор нормирован к нулю, точность TV фиксирована. Нет общего результата для многомодальных или негладких распределений.
Исходники и реальный охват чтения
Номера страниц относятся к физическим страницам PDF, начиная с 1. Ссылки на GitHub не закреплены на текущем commit; воспроизводимый источник — локальный путь и SHA-256.
139-01 · Subpolynomial query complexity for well-conditioned log-concave sampling
Реальный охват: Просмотрены PDF с. 1–4: Оракульная модель, главные границы и архитектура. Полный объём PDF: 55 с.
math_sources/math_research_07_of_08/preprints/Subpolynomial-query-complexity-for-well-conditioned-log-concave-sampling-September-26-2026/article.pdfSHA-256: 9e9a41553023f95e18b673f130c2086def56ba2b7a4cd851337a39eb114bf679Каталог: context/CONTENTS.md, строка 3341. Путь и хеш относятся к загруженной версии.
Семейство в CONTENTS.md, строка 3334. Структурированные заметки · Журнал внешней сверки.