揭示控制项与噪声项比例关系对求解量子桥问题的关键作用
On the Hopf-Cole Transform for Control-affine Schrödinger Bridge
- 通过霍普夫-科尔变换分析控制-噪声系数关系
- 非比例时导出非线性耦合偏微分方程组
- 比例成立时可化为线性系统，适配动态Sinkhorn算法
本文澄清了在通过霍普夫-科尔变换求解控制-仿射薛定谔桥问题时，控制系数矩阵 \/boldsymbol{g} 与噪声系数矩阵 \/boldsymbol{σ} 满足 \/boldsymbol{gg}^\top \propto \boldsymbol{σσ}^\top 的重要性。若不作此假设，最优性条件经霍普夫-科尔变换后将生成一组既非线性也未解耦的前向-后向偏微分方程。这些方程可解释为含非线性对流-扩散-反应项的方程，其非线性源于涉及对数似然梯度（即得分）的附加漂移与反应项。当满足比例关系时，这些额外项消失，系统退化为边界耦合的线性偏微分方程组，可通过动态Sinkhorn迭代求解。本工作核心结论是：通用控制-仿射薛定谔桥的数值求解仍需算法创新，可能需推广动态Sinkhorn或采用其他方法。
原文摘要 · Abstract (English)
The purpose of this note is to clarify the importance of the relation $\boldsymbol{gg}^{\top}\propto \boldsymbol{σσ}^{\top}$ in solving control-affine Schrödinger bridge problems via the Hopf-Cole transform, where $\boldsymbol{g},\boldsymbolσ$ are the control and noise coefficients, respectively. We show that the Hopf-Cole transform applied to the conditions of optimality for generic control-affine Schrödinger bridge problems, i.e., without the assumption $\boldsymbol{gg}^{\top}\propto\boldsymbol{σσ}^{\top}$, gives a pair of forward-backward PDEs that are neither linear nor equation-level decoupled. We explain how the resulting PDEs can be interpreted as nonlinear forward-backward advection-diffusion-reaction equations, where the nonlinearity stem from additional drift and reaction terms involving the gradient of the log-likelihood a.k.a. the score. These additional drift and reaction vanish when $\boldsymbol{gg}^{\top}\propto\boldsymbol{σσ}^{\top}$, and the resulting boundary-coupled system of linear PDEs can then be solved by dynamic Sinkhorn recursions. A key takeaway of our work is that the numerical solution of the generic control-affine Schrödinger bridge requires further algorithmic development, possibly generalizing the dynamic Sinkhorn recursion or otherwise.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。