[論文レビュー] On the Optimal Rate for the Convergence Problem in Mean Field Control

Samuel Daudin, François Delarue+1 more|arXiv (Cornell University)|May 15, 2023

Bone and Joint DiseasesMedicine被引用数 3

ひとこと要約

本稿は、制限値関数が完全に滑らかでない—特に微分可能でない、または一意でない場合—における平均場制御系の最適収束速度を確立する。著者らは、フーリエモードのヒルバート空間における上畳み込みを用いた新規な滑らか化技術を導入し、鋭い収束速度を導出する：高正則性下では $N^{-1/2}$、リプシッツおよび準凸条件下では $N^{-2/(3d+6)}$ であり、これは同程度の正則性下での非制御系の既知の最適速度と定数因子を除いて一致する。

ABSTRACT

The goal of this work is to obtain optimal rates for the convergence problem in mean field control. Our analysis covers cases where the solutions to the limiting problem may not be unique nor stable. Equivalently the value function of the limiting problem might not be differentiable on the entire space. Our main result is then to derive sharp rates of convergence in two distinct regimes. When the data is sufficiently regular, we obtain rates proportional to $N^{-1/2}$, with $N$ being the number of particles. When the data is merely Lipschitz and semi-concave with respect to the first Wasserstein distance, we obtain rates proportional to $N^{-2/(3d+6)}$. Noticeably, the exponent $2/(3d+6)$ is close to $1/d$, which is the optimal rate of convergence for uncontrolled particle systems driven by data with a similar regularity. The key argument in our approach consists in mollifying the value function of the limiting problem in order to produce functions that are almost classical sub-solutions to the limiting Hamilton-Jacobi equation (which is a PDE set on the space of probability measures). These sub-solutions can be projected onto finite dimensional spaces and then compared with the value functions associated with the particle systems. In the end, this comparison is used to prove the most demanding bound in the estimates. The key challenge therein is thus to exhibit an appropriate form of mollification. We do so by employing sup-convolution within a convenient functional Hilbert space. To make the whole easier, we limit ourselves to the periodic setting. We also provide some examples to show that our results are sharp up to some extent.

研究の動機と目的

• 制限値関数が微分可能でない、または一意でない場合の平均場制御における収束問題を解決すること。
• 最小限の正則性仮定の下で、平均場極限を近似する粒子系に対する鋭い、最適な収束速度を導出すること。
• Wasserstein空間上でのハミルトニアン・ジャコビ・ベルマン方程式の非古典的解を滑らか化可能な新しい滑らか化手法を開発すること。
• 導出された速度 $N^{-2/(3d+6)}$ がほぼ最適であり、類似した正則性下での非制御系の既知の最適速度と一致することを示すこと。
• 明示的な例と古典的推定値との比較を通じて、結果の鋭さを検証すること。

提案手法

• 著者らは、フーリエ係数の関数的ヒルバート空間内での上畳み込みを用いて、制限平均場制御問題の値関数を滑らか化する。
• この滑らか化により、確率測度空間上の無限次元ハミルトニアン・ジャコビ方程式のほぼ古典的下解が得られる。
• 滑らか化された関数は、フーリエ切断を用いて有限次元部分空間に射影され、粒子系の値関数と比較可能になる。
• この比較を用いて、収束推定における最も困難なバインディングを導出する。この過程では、滑らか化された下解の正則性と安定性に依存する。
• 関数解析的枠組みを簡素化し、良好に振る舞うフーリエ表現を保証するため、トーラス $\mathbb{T}^d$ 上の周期的設定に制限する。
• 重要な技術的道具として、$\mathcal{B}_n$ 内で compact 支持を持つ滑らかなカーネル $\rho_n$ を用い、$\Phi^{\eta,n}$ が無限回微分可能かつ $m$ に関して連続的微分可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 制限値関数が微分可能でない場合の平均場制御における最適収束速度は何か？
• RQ2 平均場設定下で、ハミルトニアン・ジャコビ・ベルマン方程式の非滑らか解を滑らか化可能な滑らか化技術を設計できるか？
• RQ3 収束速度は、特に第一 Wasserstein 距離に関してリプシッツおよび準凸条件が成り立つ場合のデータの正則性にどのように依存するか？
• RQ4 導出された速度 $N^{-2/(3d+6)}$ は鋭いか？類似した正則性下での非制御系における既知の速度と比較するとどうなるか？
• RQ5 ハミルトニアン・ジャコビ方程式の構造を保ちつつ、有限粒子系と効果的に比較可能な方法で滑らか化手法を構築できるか？

主な発見

• データの高正則性下では収束速度が $N^{-1/2}$ となり、滑らかな問題における古典的レートと一致する。
• データが第一 Wasserstein 距離に関してのみリプシッツ的かつ準凸的である場合、収束速度は $N^{-2/(3d+6)}$ である。
• 指数 $2/(3d+6)$ は、$1/d$ に漸近的に近く、これは類似した正則性下での非制御粒子系における既知の最適レートに一致する。
• フーリエ＝ヒルバート空間フレームワーク上での上畳み込みによる滑らか化により、正則化された値関数が滑らかになり、有限次元粒子系値関数と効果的に比較可能になる。
• この方法により、収束推定における最も困難なバインディングが確立され、ほぼ古典的下解の構築に依存する。
• 本稿は、導出されたレートが定数因子を除いて鋭いことを示す明示的例を提供しており、与えられた仮定下での結果の最適性を確認する。