Альтернированная минимизация

Материал из MachineLearning.

Перейти к: навигация, поиск


Статья написана с использованием LLM Claude Sonnet 5 и проверена участником Участник:Georgii Kvaratsкheliia 19 июля 2026

Промпт приводится полностью в Обсуждение:Альтернированная минимизация


Содержание

Альтернированная минимизация (англ. alternating minimization, AM; при числе блоков переменных N>2 также называется блочным координатным спуском, block coordinate descent, BCD) — семейство итеративных методов оптимизации, в которых на каждом шаге целевая функция точно минимизируется по одной группе переменных («блоку») при фиксированных значениях остальных блоков, после чего роли блоков меняются местами. Метод особенно эффективен для задач, невыпуклых по совокупности всех переменных, но выпуклых (и часто разрешимых в замкнутой форме) по каждому блоку в отдельности — такие функции называют бивыпуклыми (biconvex) при двух блоках и мультивыпуклыми (multiconvex) при большем их числе[1].

От родственного метода — альтернированного градиентного спуска, где вместо точной минимизации по блоку выполняется один (или несколько) шагов градиентного метода, — альтернированную минимизацию отличает ключевое свойство: монотонное убывание целевой функции гарантировано самой геометрией задачи и не требует подбора шага обучения. Плата за это — подзадача на каждом шаге должна быть точно разрешима, что накладывает структурные ограничения на класс решаемых задач. Настоящая статья посвящена именно точному блоковому шагу; читателя, которого интересует градиентный вариант и его отдельная теория сходимости, следует отправить к статье «Альтернированный градиентный спуск».

Идея точной блоковой минимизации лежит в основе многих базовых алгоритмов машинного обучения и анализа данных: метода k-средних, EM-алгоритма, чередующихся наименьших квадратов (ALS) для рекомендательных систем, точных вариантов неотрицательной матричной факторизации, восстановления матриц низкого ранга, решения фазовой задачи и вычисления оптимального транспорта через алгоритм Синхорна.

Формальная постановка

Двухблочный случай

Пусть требуется решить задачу

\min_{x \in X,\, y \in Y} F(x,y)

для функции F: X \times Y \to \mathbb{R}. Альтернированная минимизация порождает последовательность (x_t, y_t) по правилу

x_{t+1} = \arg\min_{x \in X} F(x, y_t), \qquad y_{t+1} = \arg\min_{y \in Y} F(x_{t+1}, y).

Существенно, что каждая из двух подзадач решается точно — как правило, потому что при фиксации одного блока функция становится выпуклой квадратичной (метод наименьших квадратов), задачей проекции на выпуклое множество или имеет иную явную структуру.

N-блочный случай

Обобщение на N блоков x=(x_1,\dots,x_N) задаётся циклом

x_i^{t+1} = \arg\min_{x_i} \; F\bigl(x_1^{t+1},\dots,x_{i-1}^{t+1},\, x_i,\, x_{i+1}^{t},\dots,x_N^{t}\bigr), \qquad i=1,\dots,N,

где уже обновлённые блоки используются немедленно (схема Гаусса — Зейделя); альтернативная схема Якоби использует во всех подзадачах значения блоков из предыдущей итерации целиком, что допускает параллельное обновление ценой более медленной сходимости.

Терминологическое замечание: исторически термин «альтернированная минимизация» закреплён за случаем N=2 — именно для двух распределений его вводили Чисар и Туснади[1], тогда как для N\ge 3 блоков в англоязычной литературе почти всегда говорят о block coordinate descent. Различие не только терминологическое: как показано ниже, свойства сходимости для N=2 и N\ge3 принципиально различаются.

Мотивация и геометрическая интуиция

Почему именно точная блоковая минимизация, а не совместная оптимизация по всем переменным сразу?

  • Подзадачи оказываются выпуклыми и разрешимыми в замкнутой форме. Классический пример — билинейная параметризация M \approx UV^\top: функция \|M-UV^\top\|_F^2 невыпукла по паре (U,V) совместно (что видно уже из неединственности решения с точностью до U\to UQ,\ V\to VQ^{-\top} для обратимой Q), но при фиксированном V строго выпукла и квадратична по U, то есть решается через нормальные уравнения без вложенного итеративного цикла.
  • Монотонность — «бесплатное» следствие геометрии, а не выбора параметров. Поскольку каждый шаг — точный минимум по подмножеству переменных, значение функции не может возрасти:
F(x_t,y_t) \ge F(x_{t+1}, y_t) \ge F(x_{t+1}, y_{t+1}) \ge \dots

Если F ограничена снизу, эта монотонно невозрастающая последовательность сходится к некоторому F^*. В отличие от градиентного варианта, здесь не нужно оценивать константы Липшица или подбирать шаг — убывание гарантировано геометрией подзадачи. Важно, однако, что из сходимости значений не следует автоматически сходимость самих итераций к стационарной точке — это требует дополнительных условий регулярности (см. раздел «Сходимость»).

Геометрически метод удобно представлять как движение по «ступенькам» вдоль линий уровня F. Частный, но принципиальный пример такой геометрии — метод чередующихся проекций фон Неймана для поиска точки в пересечении двух выпуклых множеств C_1 \cap C_2: если положить F(x,y)=\|x-y\|^2 с ограничениями x\in C_1, y\in C_2, то альтернированная минимизация в точности сводится к попеременному проецированию x_{t+1}=P_{C_1}(y_t), y_{t+1}=P_{C_2}(x_{t+1})[1].

История

Истоки метода восходят к методу чередующихся проекций фон Неймана (конец 1940-х годов)[1] и к покоординатным схемам конца 1950-х, например к алгоритму Хилдрета для квадратичного программирования[1].

Ключевой теоретический вклад внесла работа Имре Чисара и Габора Туснади 1984 года «Information geometry and alternating minimization procedures», формализовавшая метод на языке информационной геометрии: авторы доказали «трёхточечное свойство» (three-point property), гарантирующее сходимость при выпуклости обоих множеств, и показали, что классический EM-алгоритм Демпстера, Лэйрда и Рубина (1977) является частным случаем AM для минимизации дивергенции Кульбака — Лейблера между эмпирическим распределением данных и параметрическим семейством модели[1][1]. Годом ранее, в 1973 году, Майкл Пауэлл опубликовал контрпример, показавший, что точный циклический покоординатный спуск для гладких невыпуклых функций трёх и более переменных может не сходиться к стационарной точке, а «застревать» на предельном цикле, где градиент отделён от нуля[1] — этот результат на десятилетия обозначил границы применимости AM при N\ge3.

С 2000-х годов теория обогатилась инструментами для негладких и невыпуклых задач: Ценг (2001) дал условия сходимости блочного координатного спуска для недифференцируемых, но регулярных задач[1], а серия работ Аттуш, Больте, Редона и Свайтера установила глобальную сходимость проксимальной альтернированной минимизации к критической точке через теорию неравенства Куржики — Лоясевича для широкого класса невыпуклых негладких задач[1][1]. Параллельно теоретическая информатика дала первые гарантии полиномиальной сходимости точной AM к глобальному минимуму для конкретных невыпуклых задач машинного обучения: восстановления матриц низкого ранга (Jain, Netrapalli, Sanghavi, 2013; Hardt, 2014) и фазовой задачи (Netrapalli, Jain, Sanghavi, 2013)[1][1][1]. В 2020-е годы у метода появились коммуникационно-эффективные гибриды с градиентным шагом (AltGDmin), которым посвящена отдельная статья «Альтернированный градиентный спуск»[1].

Сходимость

Монотонность и её пределы

Как отмечено выше, последовательность значений функции монотонно не возрастает и сходится к некоторому F^*, если F ограничена снизу. Из этого факта, однако, не следует ни сходимость самих итераций к точке, ни то, что предельная точка является хотя бы локальным минимумом совместной задачи.

Двухблочный выпуклый случай

Если F совместно выпукла (а не только по каждому блоку в отдельности) и дифференцируема, блочная минимизация по двум блокам сходится к глобальному минимуму при мягких условиях компактности множества уровня[1].

N ≥ 3 блока: контрпример Пауэлла

Для N\ge3 блоков даже гладкая невыпуклая функция без ограничений может порождать циклический покоординатный спуск, не сходящийся к стационарной точке, — контрпример Пауэлла показывает именно это[1]. Достаточное условие, устраняющее патологию, — единственность блокового минимума на каждом шаге (строгая выпуклость подзадач) вместе с непрерывностью соответствующих отображений; при этих условиях любая предельная точка последовательности является стационарной для совместной задачи[1].

Невыпуклые негладкие задачи: неравенство Куржики — Лоясевича

Для широкого класса задач, включающего практически все функции потерь машинного обучения (полуалгебраические, аналитические функции), Аттуш, Больте, Редон и Свайтер доказали глобальную сходимость всей последовательности итераций проксимальной альтернированной минимизации к критической точке, используя неравенство Куржики — Лоясевича (KŁ)[1][1]. Эта теория — общая основа и для точного блокового шага, и для его линеаризованных (градиентных) вариантов, которым посвящена сибling-статья.

Локальная линейная сходимость к глобальному минимуму

Для ряда невыпуклых задач машинного обучения — восстановления матрицы низкого ранга по неполным или случайным линейным измерениям, фазовой задачи — доказана линейная (геометрическая) сходимость точной AM именно к истинному глобальному решению, а не просто к произвольной стационарной точке. Джайн, Нетрапалли и Сангхави (2013) первыми установили это для восстановления матриц при спектральной инициализации и условии некогерентности (incoherence)[1]; Хардт (2014) заметно ослабил требования к числу наблюдений, связав анализ AM со степенным методом вычисления сингулярных векторов[1]; Нетрапалли, Джайн и Сангхави (2013) дали аналогичный результат для фазовой задачи с гауссовыми измерениями[1]. Принципиальная особенность этих результатов: гарантия относится к конкретной задаче со специфичными вероятностными предположениями о данных, а не к произвольной невыпуклой AM «в общем случае».

Применения в машинном обучении и анализе данных

Метод k-средних

Метод k-средних Ллойда — хрестоматийный пример точной AM с дискретным первым блоком: на шаге присвоения точки закрепляются за ближайшим центроидом (точная минимизация по дискретной переменной принадлежности кластеру), на шаге обновления центроиды пересчитываются как средние по кластеру (точная минимизация суммы квадратов расстояний по непрерывной переменной)[1][1]. Оба шага строго уменьшают суммарную внутрикластерную дисперсию, что даёт сходимость к локальному минимуму за конечное число итераций (число возможных разбиений конечно).

EM-алгоритм

Как показали Чисар и Туснади, EM-алгоритм — это AM для двойной минимизации дивергенции Кульбака — Лейблера: E-шаг точно минимизирует по «вспомогательному» распределению скрытых переменных, M-шаг — точно по параметрам модели[1][1].

ALS для рекомендательных систем

В коллаборативной фильтрации с матричной факторизацией R\approx UV^\top задача

\min_{U,V}\sum_{(i,j)\in\Omega}\bigl(R_{ij}-U_i^\top V_j\bigr)^2+\lambda\bigl(\|U\|_F^2+\|V\|_F^2\bigr)

решается методом чередующихся наименьших квадратов (Alternating Least Squares, ALS): при фиксированном V каждая строка U_i находится в замкнутой форме

U_i=\Bigl(\sum_{j:(i,j)\in\Omega}V_jV_j^\top+\lambda I\Bigr)^{-1}\sum_{j:(i,j)\in\Omega}R_{ij}V_j,

и аналогично для V_j. Именно точная (а не градиентная) разрешимость подзадачи сделала ALS одним из ключевых компонентов алгоритмов-победителей Netflix Prize благодаря естественной параллелизуемости независимых подзадач по строкам[1][1].

Неотрицательная матричная факторизация

Для задачи \min_{W\ge0,H\ge0}\|V-WH\|_F^2 точный блоковый шаг реализуется методом ANLS (Alternating Nonnegativity-Constrained Least Squares): каждая подзадача — выпуклая задача с ограничениями неотрицательности, решаемая методом активного набора. В отличие от классических мультипликативных правил обновления Ли и Сын, которые дают лишь приближённое (не точное) блоковое убывание, ANLS обеспечивает точную блоковую минимизацию и, как правило, более надёжную сходимость к стационарной точке[1][1].

Восстановление матриц низкого ранга

Для восстановления неизвестной матрицы X^\star=UV^\top низкого ранга по частичным наблюдениям (matrix completion) или случайным линейным измерениям (matrix sensing) точная AM с бивыпуклой параметризацией — один из наиболее изученных невыпуклых алгоритмов в теоретическом машинном обучении, с гарантиями полиномиальной и даже линейной сходимости к истинному решению при спектральной инициализации[1][1].

Фазовая задача

В фазовой задаче требуется восстановить вектор x по измерениям модулей y=|Ax| без информации о фазе. Классический алгоритм чередующихся проекций Джерчберга — Сакстона попеременно точно оценивает недостающую фазу и точно решает задачу наименьших квадратов относительно x; строгий анализ геометрической сходимости этой схемы для гауссовых измерений дали Нетрапалли, Джайн и Сангхави[1].

Оптимальный транспорт и алгоритм Синхорна

Энтропийно регуляризованная задача оптимального транспорта имеет гладкую вогнутую двойственную задачу по паре потенциалов (f,g); алгоритм Синхорна, ставший стандартом благодаря вычислительной работе Кутюри (2013), — это точный блочный координатный подъём (alternating maximization) по этой двойственной паре, реализуемый как попеременное точное масштабирование строк и столбцов матрицы K=\exp(-C/\varepsilon)[1].

Другие инженерные применения

Точная AM применяется и за пределами «классического» ML: например, в проектировании гибридных (аналого-цифровых) прекодеров для систем связи миллиметрового диапазона (mmWave MIMO) задача сводится к невыпуклой матричной факторизации с ограничениями постоянного модуля, решаемой попеременной точной минимизацией по цифровому и аналоговому прекодерам[1]. Более общая теория блочного координатного спуска для мультивыпуклых задач с приложениями к тензорным разложениям и восполнению тензоров дана Сюем и Инем[1].

Ограничения и практические аспекты

  • Чувствительность к инициализации. Почти все интересные приложения AM в машинном обучении невыпуклы, и метод в общем случае сходится лишь к локальному минимуму или седловой точке; теоретические гарантии глобальной сходимости для матричной факторизации и фазовой задачи опираются на специальную спектральную инициализацию, а не на случайный старт[1][1].
  • Порядок обновления блоков. Циклический порядок обычно даёт более быструю практическую сходимость, чем параллельный (Якоби), но при N\ge3 блоках теоретически может не сходиться (контрпример Пауэлла); случайный выбор блока допускает более чистую теорию сходимости.
  • Стоимость точной подзадачи. Главное структурное ограничение точной AM — подзадача должна быть разрешима в замкнутой форме или очень дёшево (иначе выигрыш по сравнению с полной совместной оптимизацией теряется). Когда это не так, разумной альтернативой становится альтернированный градиентный спуск или гибридные схемы вроде AltGDmin, сочетающие точный шаг по одному блоку и градиентный — по другому; подробнее см. статью «Альтернированный градиентный спуск».
  • Соотношение с ADMM. Метод чередующихся направлений множителей (ADMM) можно рассматривать как AM, применённую к расширенному лагранжиану задачи с ограничениями типа равенства; в отличие от «чистой» AM, ADMM явно поддерживает двойственные переменные, что улучшает сходимость для задач со связывающими блоки ограничениями, но требует настройки штрафного параметра.

См. также

Литература

  • Bertsekas D. P. Nonlinear Programming. — 2-е изд.. — Athena Scientific, 1999.
  • Beck A. First-Order Methods in Optimization. — SIAM, 2017.
  • Bauschke H. H., Combettes P. L. Convex Analysis and Monotone Operator Theory in Hilbert Spaces. — Springer, 2011.
  • Csiszár I., Tusnády G. Information geometry and alternating minimization procedures // Statistics & Decisions. — 1984. — С. 205–237.
  • Jain P., Netrapalli P., Sanghavi S. Low-rank matrix completion using alternating minimization // STOC. — 2013. — С. 665–674.
  • Attouch H., Bolte J., Svaiter B. F. Convergence of descent methods for semi-algebraic and tame problems // Mathematical Programming. — 2013. — Т. 137. — С. 91–129.
  • Koren Y., Bell R., Volinsky C. Matrix factorization techniques for recommender systems // Computer. — 2009. — Т. 42. — № 8. — С. 30–37.
Источник — «http://www.machinelearning.ru/wiki/index.php?title=%D0%90%D0%BB%D1%8C%D1%82%D0%B5%D1%80%D0%BD%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B8%D0%BD%D0%B8%D0%BC%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F»