Dynamic Coherent Diffractive Imaging Using Only a Support Constraint in the Complex Plane

技术摘要：仅利用复平面支撑约束的动态相干衍射成像

问题陈述
对薄型、透明且随时间变化的样品进行定量表征是计量学中长期存在的挑战。传统干涉测量法需要稳定的环境和多次曝光，而标准的相干衍射成像（CDI）通常假设物体是静止的。将 CDI 扩展到动态样品通常需要复杂的先验信息，例如设计的参考结构、显式的运动模型或学习得到的数据驱动约束。本文旨在解决仅利用最小先验信息（特别是避免显式相位解缠，即使累积相位远超 $2\pi$）从近场衍射视频重建随时间变化的相位物体的问题。

方法论
作者提出了一种基于样品动力学有界时间增量先验的框架，该框架在空间相干照明和薄层近似下运行。

1. 帧间乘法参数化：
   不再独立重建每一帧 $\psi(x, y, t)$，而是通过乘法帧间更新因子 $\Delta\psi(x, y, t)$ 对场演化进行参数化。$t + \Delta t$ 时刻的场表示为 $\psi(t + \Delta t) = \psi(t) \cdot \Delta\psi(t)$。这将重建问题转化为因子序列 $\Delta\psi$ 的可行性问题。

2. 扇形约束（物体域）：
   核心先验是对样品光程（OPL）变化率的有界约束。这一物理约束转化为对帧间相位增量的约束，即 $|\Delta\phi| \leq \alpha/2$。结合无源性条件（样品无法放大场，因此 $|\Delta\psi| \leq 1$），$\Delta\psi$ 每个像素的允许值被限制在复平面的一个扇形区域内。

   • 该约束推广了经典的非负性约束（实轴上的退化扇形）。
   • 关键在于，由于每个增量被限制在 $(-\pi, \pi)$ 范围内，完整相位轨迹是通过对这些微小增量进行顺序积分恢复的，从而自动解决相位缠绕问题，无需显式的解缠算法。

3. 测量域约束：
   第二个约束强制与记录的衍射强度视频保持一致。测量域投影器将传播场的计算振幅替换为测量振幅，同时保留相位（Gerchberg–Saxton–Fienup 幅度投影）。

4. 重建算法：
   该问题被作为可行性问题求解，采用带有反射的交替投影方法（松弛 - 反射 - 反射和松弛平均交替反射）来处理测量约束的非凸性。

   • 阶段 1： 从第一帧重建静态探测场（初始条件）。
   • 阶段 2： 在前向传递（从 $t=0$ 积分）和后向传递（从 $t=J$ 积分）中重建帧间因子 $\Delta\psi$。最终估计结合前向和后向传递，以平衡方向性误差累积。

主要贡献

• 极简先验： 本文证明，单一且基于物理的先验（有界时间增量）足以重建动态相位物体，无需空间正则化项（如全变分、光流）或学习得到的先验。
• 自动相位解缠： 通过积分有界增量来恢复轨迹，该方法固有地处理跨越多个 $2\pi$ 周期的累积相位，消除了对显式相位解缠的需求。
• 通用性： 该框架无需修改即可应用于校准的合成动力学（SLM）以及现实世界中未知的光化学过程。

实验结果
该方法在三种不同场景下进行了验证：

1. 反应 - 扩散动力学（SLM）： 重建了空间扩展的相位图案。恢复的帧间增量和积分相位轨迹与真实值吻合良好，成功解析了化学物种的传播前沿。
2. 纯增长动力学（SLM）： 重建了固定空间支撑且相位单调增长至 $10\pi$ 的情况。该方法成功恢复了相位值和空间图案，证实了其无需解缠即可处理大累积相位的能力。由于随时间的误差累积，观察到轻微的同心圆环伪影。
3. 原位光聚合 3D 打印： 将该框架应用于监测图案化蓝光下的光聚合过程。代表折射率时空演化的相位轨迹被定量恢复。结果追踪了聚合区域的扩展和相位幅度的增长，为打印过程提供了直接的可观测指标。

意义与主张
作者声称，空间耦合（由菲涅尔衍射前向模型处理）与时间耦合（由帧间参数化和扇形约束处理）的分离，使得仅凭极少的先验信息即可实现有效重建。

本文提出，该方法为光化学系统辨识提供了一种实用工具。恢复的相位轨迹作为折射率时空演化的定量可观测量，可用于拟合控制聚合反应的反应 - 扩散方程的动力学参数。作者指出，虽然长序列中的误差累积是一个局限性，但该方法为动态成像提供了一个稳健的基线，无需复杂的训练数据或设计的参考结构。这项工作表明，复平面中的有界支撑约束本身即可为动态 CDI 提供足够的时域正则化。