Low-degree lower bounds via almost orthonormal bases
2509.09353v1
stat.ML, cs.LG
2025-09-13
Авторы:
Alexandra Carpentier, Simone Maria Giancola, Christophe Giraud, Nicolas Verzelen
Резюме на русском
## Контекст
Модели низкой степени появились как мощный инструмент для объяснения статистико-вычислительных лавин в различных высокомерных статистических моделях. Однако их применение в задачах распознавания и более сложных тестовых задач становится сложнее в случае, когда плаантидные структуры в $\mathbb{P}$ приводят к невозможности найти простое $\mathbb{L}^2(\mathbb{P})$-ортогональное подмножество полиномов. Это ограничение приводит к необходимости разработки более гибких методов, которые могут справиться с этими проблемами.
## Метод
В нашей работе мы предлагаем более прямую стратегию доказательства. Она основывается на построении базиса почти ортонормированных полиномов в режимах, где возникают статистико-вычислительные лавины. Это подходящее решение задачи в случае случайных графов, где мы определили базис, который почти ортонормирован под условиями, при которых возникают эти лавины. Это позволяет нам эффективно устанавливать нижние ограничения на степень полиномов и исследовать пользу сложности алгоритмов.
## Результаты
Мы применяем нашу методику для решения задач распознавания в графах, таких как скрытые подграфы, модели статистического блочного моделирования и сериатиона. Обнаруживаются новые нижние ограничения и подтверждаются существующие, что подтверждает точность и эффективность нашего метода.
## Значимость
Наши результаты могут быть применены в различных высокомерных статистических задачах, в том числе в моделях сигналов, данных и обработке информации. Они демонстрируют повышенную прозрачность в построении нижних ограничений на степень и дают понимание оптимальных полиномов, которые могут быть применены в алгоритмах. Это также открывает пути для будущих исследований в стратегиях низкой степени для сложных моделей.
## Выводы
Мы установили новые нижние ограничения на степень с помощью почти ортонормированных базисов в режимах, где возникают статистико-вычислительные лавины. Этот метод позволил нам не только установить новые ограничения, но и получить новые алгоритмы для распознавания в графах. Наше исследование открывает новые возможности для дальнейших исследований в этой области.
Abstract
Low-degree polynomials have emerged as a powerful paradigm for providing
evidence of statistical-computational gaps across a variety of high-dimensional
statistical models [Wein25]. For detection problems -- where the goal is to
test a planted distribution $\mathbb{P}'$ against a null distribution
$\mathbb{P}$ with independent components -- the standard approach is to bound
the advantage using an $\mathbb{L}^2(\mathbb{P})$-orthonormal family of
polynomials. However, this method breaks down for estimation tasks or more
complex testing problems where $\mathbb{P}$ has some planted structures, so
that no simple $\mathbb{L}^2(\mathbb{P})$-orthogonal polynomial family is
available. To address this challenge, several technical workarounds have been
proposed [SW22,SW25], though their implementation can be delicate. In this
work, we propose a more direct proof strategy. Focusing on random graph models,
we construct a basis of polynomials that is almost orthonormal under
$\mathbb{P}$, in precisely those regimes where statistical-computational gaps
arise. This almost orthonormal basis not only yields a direct route to
establishing low-degree lower bounds, but also allows us to explicitly identify
the polynomials that optimize the low-degree criterion. This, in turn, provides
insights into the design of optimal polynomial-time algorithms. We illustrate
the effectiveness of our approach by recovering known low-degree lower bounds,
and establishing new ones for problems such as hidden subcliques, stochastic
block models, and seriation models.
Ссылки и действия
Дополнительные ресурсы: