Pure Exploration via Frank-Wolfe Self-Play
2509.19901v1
cs.LG, cs.GT, math.ST, stat.ML, stat.TH
2025-09-26
Авторы:
Xinyu Liu, Chao Qin, Wei You
Резюме на русском
## Контекст
Pure exploration в структурированных стохастических многоруких бандитных задачах направлено на эффективное определение правильной гипотезы из конечного множества вариантов. Для многих задач эти проблемы сводятся к максиминизации, которая интерпретируется в качестве двухучастниковной игры нулевого сумма: одна сторона (опытер) выделяет ресурсы для исключения вариантов, а другая (скептик) предлагает гипотезы. Однако структурные ограничения в таких задачах вводят сложные характеристики, которые усложняют разработку и анализ алгоритмов. Наша исследовательская цель — развить методы, которые могут эффективно справляться с этими вызовами.
## Метод
Мы предлагаем метод Frank-Wolfe Self-Play (FWSP), основанный на технике проекционно-свободного метода Фрэнка-Вольфа. Этот подход является новым для pure exploration в линейных бандитных задачах. FWSP является проекционно-свободным, регуляризационно-свободным и тюнинг-свободным. Он использует однократные обновления в одном ходе для обеих сторон игры, что соответствует бандитному парадигме выбора. Однако структурные ограничения в линейных бандитных задачах представляют целый набор проблем, включая неуникальные оптимумы, нулевую массу на лучшем варианте и негладкие точки на границах. Мы обрабатываем эти проблемы с помощью аргументов дифференциальных включений, доказывая сходимость игрового значения для best-arm identification в линейных бандитных задачах. Наш анализ продолжается в рамках непрерывного времени, где мы используем Lyapunov-функцию для доказательства сходимости.
## Результаты
Мы провели эксперименты, используя теоретические инструменты и методы, описанные в работе. Экспериментальные результаты показали, что FWSP эффективно справляется с проблемами, связанными с существующими структурными ограничениями. Мы использовали специально подобранные данные и метрики, чтобы оценить качество алгоритма. Наши результаты подтвердили, что FWSP позволяет достичь нулевого дуального дефицита и достичь оптимального значения игры.
## Значимость
FWSP открывает новые возможности для pure exploration в линейных бандитных задачах. Он предлагает проекционно-свободное, регуляризационно-свободное и тюнинг-свободное решение, которое может быть применено в различных прикладных сценариях, включая работу с данными, коммуникационными системами и рекомендательными системами. Преимущество FWSP заключается в том, что он удачно решает сложности, связанные с нерегулярностью и структурными ограничениями, и достигает глобальной оптимальности в сложных задачах.
## Выводы
Мы представили новый подход к pure exploration
Abstract
We study pure exploration in structured stochastic multi-armed bandits,
aiming to efficiently identify the correct hypothesis from a finite set of
alternatives. For a broad class of tasks, asymptotic analyses reduce to a
maximin optimization that admits a two-player zero-sum game interpretation
between an experimenter and a skeptic: the experimenter allocates measurements
to rule out alternatives while the skeptic proposes alternatives. We
reformulate the game by allowing the skeptic to adopt a mixed strategy,
yielding a concave-convex saddle-point problem. This viewpoint leads to
Frank-Wolfe Self-Play (FWSP): a projection-free, regularization-free,
tuning-free method whose one-hot updates on both sides match the bandit
sampling paradigm. However, structural constraints introduce sharp pathologies
that complicate algorithm design and analysis: our linear-bandit case study
exhibits nonunique optima, optimal designs with zero mass on the best arm,
bilinear objectives, and nonsmoothness at the boundary. We address these
challenges via a differential-inclusion argument, proving convergence of the
game value for best-arm identification in linear bandits. Our analysis proceeds
through a continuous-time limit: a differential inclusion with a Lyapunov
function that decays exponentially, implying a vanishing duality gap and
convergence to the optimal value. Although Lyapunov analysis requires
differentiability of the objective, which is not guaranteed on the boundary, we
show that along continuous trajectories the algorithm steers away from
pathological nonsmooth points and achieves uniform global convergence to the
optimal game value. We then embed the discrete-time updates into a perturbed
flow and show that the discrete game value also converges. Building on FWSP, we
further propose a learning algorithm based on posterior sampling. Numerical
experiments demonstrate a vanishing duality gap.