精读笔记
Problem Setting
这篇论文处理的不是一般意义上的“非 Markovian quantum dynamics”，而是更窄但更控制相关的问题：一个 principal quantum system 通过有限维 auxiliary 嵌入到更大的 Markovian QSDE 中，probe 被连续测量，且系统参数允许依赖过去测量记录；目标是在这种 measurement-based feedback 存在时，写出 projected conditional state 的非 Markovian 随机方程。
真正困难点在于两个非交换结构叠加：一方面，projection operator 要消去 Q-subspace 中的 hidden auxiliary memory；另一方面，feedback 使 Hamiltonian、coupling、measurement coefficients 都成为观测历史的 adapted stochastic process。以前的 projection/Nakajima-Zwanzig 路线主要解决 unconditional reduced dynamics；Nurdin 2025 解决 monitored non-Markovian system 但基本是 open-loop。关键矛盾是：如果 memory kernel 依赖未来不可见信息就不能用于 filtering/control；如果强行只保留 principal state 又会丢失 non-Markovian memory。本文的解法是保留 P-projected joint state，并把 Q-subspace 作为可消元的随机线性 memory。
Motivation
已有路线缺的是 feedback-compatible 的非 Markovian filtering equation。Markovian quantum feedback control 有成熟 QSDE/filtering 框架，但依赖白噪声环境；projection operator 有处理 memory 的数学结构，但主要停留在未测量 master equation；连续测量版本虽然引入 stochastic projected dynamics，但没有把测量记录反馈进系统参数。
作者的核心观察是：measurement-based feedback 在 Markovian embedding 层面仍然是 adapted process，因此 controlled QSDE 和 quantum filtering 仍可使用；只要反馈依赖项满足与 projection operator 兼容的结构，P/Q 消元的代数形式不会崩掉。缺口不是新的物理 intuition，而是一个能同时容纳 continuous measurement、feedback、non-Markovian memory kernel 的统一随机投影方程。
Core Idea
核心想法可以概括为：不要直接为 principal system 写一个未知的历史依赖 filter，而是在 principal+auxiliary 的 Markovian 世界里先做标准 filtering，再用 projection operator 把 auxiliary memory 的不可见部分 Q 消掉。P 分量保留能够恢复 reduced principal state 的信息；Q 分量作为 memory subsystem，其动力学在给定 P 轨迹和测量记录后是线性的，因此可用 stochastic exponential 显式表示，并回代为 P 方程中的 two-time stochastic kernel。
这改变了建模方式：非 Markovianity 不再是 reduced state 上任意的 history functional，而是 Markovian embedding 中 Q-subspace 的输入输出响应。feedback 的引入也不是额外控制项的简单相加，而是让 drift、innovation gain、jump update 和 memory kernel 都变成 measurement-record-conditioned stochastic objects。和 prior 的本质区别是：open-loop 情况下 kernel 可以是 deterministic 或较简单随机对象；这里 kernel 本身参与 closed feedback loop，过去的 projected state 通过 Q-memory 影响未来 P-state，同时测量记录又改变 Q-propagator。
Method
1. Controlled Markovian embedding：把 principal、auxiliary、probe 和环境场放进一个 Hudson-Parthasarathy 型 controlled QSDE。它解决的是“反馈仍可适应过去观测而不破坏量子因果性”的问题；必要性在于后续 filtering 必须依赖 non-demolition 与 adaptedness。
2. General measurement model：用 Z_t = ∫Xi dLambda + ∫Upsilon dA† + ∫Upsilon† dA 描述一类自交换测量噪声，覆盖 adaptive homodyne 和 photon counting。它解决的是测量类型过窄的问题；核心变化是 diffusive 与 jump case 能在同一 controlled filtering 框架下推出。
3. Conditional SME：先在 principal+auxiliary 层面得到条件密度 varrho_sa,t 的 SME。这里没有直接降维，因为直接对 principal state filtering 会丢 memory；SME 是投影消元之前的“可控 Markovian 真相”。
4. Feedback structure assumption：Assumption 2 要求 H_s(t), L_0(t) 可写成有限系统算符乘以观测历史函数。它不是无害技术细节，而是让反馈项可以在投影算子下搬运，从而保证 G(t)、M(t) 与 P/Q 可交换的关键。
5. P/Q elimination：把 varrho_sa 分成 P 分量和 Q 分量；Q 方程在给定 P 后是线性随机方程，因此用 stochastic exponential Phi 表示，再回代到 P 方程。核心变化是 projected dynamics 出现随机 two-time kernel K_s(t,t')，它编码 memory 从 P 流入 Q、再从 Q 回到 P 的闭环。
Key Insight / Why It Works
最重要的 insight 是：measurement-based feedback 并不必然破坏 projection-operator memory kernel 结构；只要反馈是观测代数中的 adapted process，并且与投影算子满足合适的乘法兼容性，原来 deterministic projection elimination 可以逐路径随机化。换句话说，本文的核心贡献不是发现新的非 Markovian 物理机制，而是证明“feedback-conditioned memory kernel”仍可保持 Nakajima-Zwanzig 式结构。
真正有效的部分是 Q-subspace 的线性化消元。P 方程本身非线性，因为 filtering normalization / innovation gain 依赖 varrho^p；但 Q 方程对 varrho^q 是线性的，非线性只通过给定的 P 轨迹进入 generator。这使得 Q 可以被 stochastic exponential 精确表示，进而产生历史积分项。这是方法成立的数学支点。
最可能是核心贡献的是两个 theorem：diffusive 与 pure jump 情形下 projected SDE 的形式，以及 kernel 从 deterministic propagator 变成 stochastic exponential 的识别。generalized measurement class 是有用扩展，但更像框架覆盖面的 engineering/generalization；Assumption 2 和 boundedness 条件则是为了让推导闭合而付出的结构代价。
如果类比机器学习术语，这不是 scaling，不是 retrieval，也不是 data coverage；更接近 better inductive bias / latent structure / memory reuse。Q 分量就是 latent memory state，kernel 是 latent memory 的输入输出响应。论文没有展示任何性能增益，因此不能说它带来控制效果提升；它带来的是一种可用于后续近似、识别、控制设计的结构化状态方程。
Relation To Prior Work
最接近的三条线是：Markovian quantum filtering/control，projection-operator/Nakajima-Zwanzig non-Markovian master equation，以及 Nurdin 2025 的 continuously monitored non-Markovian stochastic equations。本文不是从零提出新 formalism，而是把 Bouten–van Handel 的 controlled QSDE/filtering 与 Nurdin 2025 的 projection stochastic equation 接起来。
相对传统 Nakajima-Zwanzig，新增信息是 conditional/measurement-record-dependent dynamics；相对 Markovian feedback filtering，新增信息是 auxiliary memory 被投影消元后形成 nonlocal-in-time kernel；相对 2025 monitored non-Markovian work，新增信息是 measurement-based feedback 使原本 deterministic terms stochastic 化，并补上 pure jump / photon counting case。
看似新的部分中，“用 auxiliary/pseudomode 表示 memory”“P/Q projection 消元”“stochastic exponential 解线性 SDE”都不是新思想；实质创新在于证明这些结构在连续测量反馈闭环中仍能兼容，并精确给出 diffusive/jump 两类 projected SDE。它属于控制理论化的 non-Markovian quantum filtering 谱系，而不是数值模拟或物理模型发现路线。
Dataset / Evaluation
没有 dataset、benchmark、实验系统或数值 evaluation。论文的 evaluation 是数学一致性层面的：从 controlled QSDE、quantum filtering propositions、projection operator identities 和 matrix-valued stochastic exponential theory 推出 Theorem 1/2。
因此它支持的 claim 仅限于“在这些假设下可以得到形式上正确的 projected non-Markovian SDE”。它没有验证：这些方程是否数值稳定、是否可用于实际 feedback controller、kernel 近似是否有效、有限维 auxiliary 是否足以拟合真实 bath、或者相比 Markovian approximation 是否带来物理预测/控制优势。若把它看作 control-ready modeling framework，证据还明显不足。
Limitation
最大限制是方法依赖强结构假设。principal 和 auxiliary 都有限维；过程 bounded/measurable；feedback 进入 H_s,L_0 的方式要能写成有限系统算符乘以观测历史函数；projection P 必须保持 partial trace 并满足左右乘兼容；jump case 还需要 stochastic exponential 的 jump invertibility。文中未充分说明这些条件在常见物理 feedback controller 或 realistic bath fitting 中有多自然。
第二个限制是 positivity/physical realizability 没有解决。Projected equation 的 P 分量能恢复 principal reduced state，但 P-projected joint object 是否始终是合法 density operator、kernel 条件如何保证 complete positivity，作者明确列为未来问题。这意味着 theorem 更像形式方程，而不是可直接部署的 reduced physical model。
第三个限制是 scalability。完整 Markovian embedding 维度随 auxiliary 增长；投影后虽然形式上只看 P，但 kernel K_s(t,t') 依赖 stochastic exponential Phi 和历史积分，计算上可能比直接模拟 embedding 更难。所谓“降维”目前主要是结构表达，不是算法效率提升。核心问题被转移到如何近似 z_t 或 stochastic kernel。
第四个限制是增益归因不存在：没有实验，所以无法判断该框架在控制性能、filter accuracy 或 system identification 上是否优于 Markovian approximation / pseudomode simulation / HEOM-like methods。若未来声称有效，增益很可能来自 auxiliary embedding 的质量和 memory approximation，而不是本文方程形式本身。
Takeaway
- 1. 最值得记住的是：measurement feedback 下的 non-Markovian filter 可以保持 projection-operator memory-kernel 结构，只是 kernel 变成 observation-conditioned stochastic kernel。
- 2. P/Q 分解给了一个清晰的机制图：P 是可恢复 principal state 的 projected conditional state，Q 是 hidden memory；non-Markovianity 就是 P→Q→P 的随机输入输出回路。
- 3. 这篇真正推动的是理论接口：把 non-Markovian quantum filtering 接到 measurement-based feedback control，而不是提供可用 controller 或数值算法。
- 4. 未来真正值得做的不是再推更一般测量形式，而是 kernel/z_t 的可控近似、physical realizability 条件、以及从真实连续测量数据中识别这类 projected SDE。
一句话总结
这篇论文把 projection-operator non-Markovian stochastic equation 推进到 continuous measurement-based feedback setting，核心贡献是证明反馈闭环中 hidden-memory Q-subspace 仍可被 stochastic exponential 消元，从而得到带随机两时 memory kernel 的控制友好型非 Markovian filtering 方程。