arXiv論文メモ
新着一覧
cs.IT / cs.AI / math.IT · 査読状況未確認

リスクを考慮したSchrödinger橋はKL射影ではない

The Risk-Sensitive Schrödinger Bridge: Is Not a KL Projection

Hamidreza Behjoo

この論文をやさしく読む

ひとことで言うと

リスクを考慮したSchrödinger橋では、通常の固定基準測度へのKL射影という解き方が成り立たないと証明した。

何に役立つ?

リスク感応的な確率制御や橋問題の計算法を設計するとき、使える構造を見極める助けになる。

この研究の面白いところ

Gaussianの例で熱方程式への違反量を厳密にθ/2と計算し、射影ではなく固定点を基礎に置く。

どこまで分かった?

両端の周辺分布を厳密な制約に保つ設定と、要旨に記載された基準測度のクラスについての理論結果である。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

Schrödinger橋の計算上の力は、Girsanovの定理により、制御問題が固定された基準測度へのKullback–Leibler(KL)射影となり、交互射影で解けるという構造上の事実に由来する。本短報は、この性質がリスク感応的にすると成り立たないことを示す。経路費用の期待値をエントロピー的なリスク測度に置き換え、両端の周辺分布を厳密な制約として保つと、終端制約を満たす乗数における柔らかい問題の値である固定点橋の値Jθは、正則な終端分布を持つ固定の経路空間上の基準測度に対する、制約付きKL最小値として表せない。対象とする基準測度のクラスは一様楕円的な拡散の基準より広く、Markov性も必要とせず、初期周辺分布に依存する加法的な正規化も許している。さらに、リスクパラメータに沿う一パラメータ族全体を生む単一の基準測度も存在しない。障害は閉じた形で計算できる。Gaussian橋の値は、固定した終端密度をGaussianで平滑化したものが従うべき熱方程式に、厳密にθ/2だけ違反する。射影の代わりに、この理論は終端乗数の固定点と、後向きの因子のスコアエネルギーを罰する非対称な因子分解に基づく。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-23(UTC)
最新改訂
2026-09-23 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

The Schrödinger bridge owes its computational power to a single structural fact: by Girsanov's theorem the controlled problem is a Kullback--Leibler (KL) projection onto a fixed reference measure, solvable by alternating projections. This letter shows that the fact does not survive risk sensitivity. When the expected path cost is replaced by the entropic risk measure and both endpoint marginals are kept as hard constraints, the resulting fixed-point bridge value $J_\theta$ (the soft-problem value at the multiplier that enforces the terminal constraint) admits no representation as a constrained KL minimum against any fixed path-space reference with a regular endpoint law (a class strictly larger than the uniformly elliptic diffusion references: no Markov property is required), even allowing an additive normalisation depending on the initial marginal. Moreover, no single reference generates the one-parameter family in the risk parameter. The obstruction is computed in closed form: the Gaussian bridge value violates, by exactly $\theta/2$, a heat equation that any Gaussian smoothing of a fixed endpoint density must obey. In place of the projection, the theory rests on a terminal-multiplier fixed point and an asymmetric factorisation penalising the score energy of the backward factor.

arXiv ID: 2609.27250 / 要約の誤りについて