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.

Ссылки и действия