シュレディンガー問題に対する,McKean-Vlasov型確率制御問題による数値解法を開発し,その厳密な収束を証明した. さらに,現在,画像生成モデルとして広く普及している拡散生成モデルの理論解析の研究を行った. 具体的には,ノイズ除去拡散確率モデル(Denoising Diffusion Probabilistic Models)による生成分布が目標分布に収束するための十分条件を明らかにした. 既存研究で知られている収束証明では,順時間過程のパラメータがどのような条件を満たせば生成が成功するのか,不明瞭だったが,本研究では,このパラメータに対する適当な漸近挙動の十分条件を導出した.
|