Complexity Bounds for Smooth Convex Multiobjective Optimization

#### Контекст Многоцелевой оптимизация (МО) — это ключевая область исследований, применяемая в различных науках и технологиях, включая инженерию, экономику и машинное обучение. В МО необходимо оптимизировать несколько функций-целей, что приводит к сложности из-за конфликта интересов. Одной из основных проблем в МО является поиск эффективных методов для нахождения решений с близкими к оптимальности показателями. Несмотря на развитие теории и практики МО, существуют ограничения в скорости и точности поиска оптимальных решений. Эти ограничения могут быть связаны с алгоритмическими ограничениями, сложностью анализа пространства решений и спецификой задач МО. #### Метод Мы исследуем оракульную сложность нахождения $\varepsilon$-Pareto-стационарных точек в многоцелевой оптимизации с $m$ целевыми функциями, где каждая функция является гладкой и сильно выпуклой. Основной показатель — Pareto-стационарный гэп $\mathcal{G}(x)$, измеряемый как норма оптимального конвексного сочетания градиентов. Используются методы, основанные на градиентах, в том числе акселеророванные методы. Одним из главных аспектов метода является рассмотрение span-методов, в которых итерации лежат в пространстве прошлых градиентов. Это позволяет устанавливать обобщенные нижние и верхние оценки для скорости сходимости в зависимости от условий задачи. #### Результаты Мы доказываем нижние оценки для скорости сходимости в задачах многоцелевой оптимизации. Например, для сильно выпуклых целей существует линейная сходимость с скоростью $\exp(-\Theta(T/\sqrt{\kappa}))$, где $\kappa$ — условие целей. Для конкретного класса методов, таких как обязательственные одношаговые методы, мы устанавливаем верхнюю оценку для нормы градиента в зависимости от $T$ — числа итераций. Даже при использовании акселеророванных методов, которые не входят в указанный класс, мы доказываем что они также достигают этих оценок. Более того, для общего класса span-методов с адаптивными скаляризациями доказывается нижняя оценка $\mathcal{O}(1/T^2)$ для нормы градиента после $T$ шагов. Эти результаты позволяют выявлять разрывы между теоретическими верхними оценками и нижними гарантиями в реальных условиях. #### Значимость Результаты имеют применимость в различных областях, связанных с многоцелевой оптимизацией, включая экономические модели, распределение ресурсов и машинное обучение. Например, решения подобных задач могут применяться для оптимизации системных процессов, где несколько функций-целей должны быть оптимально сбалансированы. Наши результаты показывают преимущества и огранич