重い尾を持つ確率的凸最適化に対する、純粋{}-微分プライバシーでの最適レート

arXiv cs.LG / 2026/4/9

📰 ニュースIdeas & Deep AnalysisModels & Research

要点

  • 本論文は、重い尾を持つ勾配の下で確率的凸最適化を扱い、純粋-微分プライバシーを課すことで、最悪の場合のLipschitz仮定を置き換えて、k次モーメントが有界であるという条件のみを用いる。
  • 未解決問題を解決し、純粋-DPの重い尾を持つSCOにおける最小最大(minimax)最適な超過リスク率を(対数因子まで)特徴付け、当該設定で知られている近似(,)-DPのレートと一致させる。
  • 著者らは、高確率で最適レートを達成する多項式時間のアルゴリズムを提案し、さらに追加の条件(最悪ケースLipschitzパラメータが多項式的に有界であることなど)を仮定すると、確率1で多項式時間で実行できる。
  • いくつかの構造化された損失クラス(例:ヒンジ/ReLU型およびユークリッド球/楕円体/多面体上での絶対値損失)に対して、最悪ケースのLipschitz定数が無限であっても、確率1で多項式時間の計算量で同じ超過リスク保証が得られる。
  • 本手法は、経験的損失のLipschitz拡張をプライベートに最適化するための新しい枠組みに基づいており、さらに高確率で成立する超過リスクに関する下界によって支えられている。

Abstract

本研究では、純粋なε-微分プライバシー(DP)下で、裾の重い(heavy-tailed)勾配を伴う確率的凸最適化(SCO)を扱う。損失の最悪ケースのリプシッツ定数パラメータに対する上界を仮定する代わりに、有界なk次モーメントのみを仮定する。この仮定により、無界で裾の重い確率的勾配分布が許容され、より鋭い過剰リスク(excess risk)の評価(境界)を得ることができる。この設定における、近似(ε, δ)-DPのSCOに対するミニマックス最適レートは既知であるが、純粋なε-DPの場合は未解決のままであった。本研究では、対数因子までを除いて、純粋なε-DP下での裾の重いSCOにおけるミニマックス最適な過剰リスクレートを特徴づける。提案アルゴリズムは、高い確率で多項式時間内にこのレートを達成する。さらに、最悪ケースのリプシッツ定数パラメータが多項式的に有界であるときには、確率1で多項式時間で動作する。重要な構造化問題クラス、すなわちユークリッド球、楕円体、ポリトープ上でのヒンジ/ReLU型および絶対値損失を含む場合において、最悪ケースのリプシッツ定数が無限であっても、確率1で多項式時間内に同じ過剰リスク保証を達成する。我々のアプローチは、経験損失のリプシッツ拡張をプライベートに最適化するための新しい枠組みに基づく。加えて、過剰リスクの上界を、新たな高確率下界によって補完する。