平均场量子滤波的动态中心极限定理

中文摘要 AI 辅助

我们研究Kolokoltsov的综述《开放量子系统的量子滤波与混沌传播》(2026)中的开放问题3，该问题设定在$H=\mathbb{C}^d$（$2\le d<\infty$固定）上：关于$N$个平均场耦合量子粒子在连续扩散（零差）测量下的动态中心极限定理。标记条件态$\Gamma^{(1)}_t$与由自身创新驱动的单粒子滤波器$\gamma_t$进行比较，其中平均场哈密顿量在确定性Hartree-Lindblad均值$\eta_t$处求值。涨落$F^N_t=\sqrt{N}(\Gamma^{(1)}_t-\gamma_t)$在极限中不是自洽的：它通过线性化滤波器由自身创新、由与其他粒子的连通相关所携带的特异高斯鞅以及经验场$\hat G^N_t=\sqrt{N}(\Gamma_t-\eta_t)$驱动，而后者本身满足自洽的线性高斯方程，因此$(F,\hat G)$构成一个封闭系统。无条件地，$(F^N,\hat G^N)$是紧的，每个极限点都求解这个由布朗运动驱动的系统，该布朗运动与一个平方可积鞅对正交，并且特异鞅的均值协方差被识别为重整化对相关的极限。其余条款涉及符号而非振幅，归结为单个去相关陈述，该陈述固定了驱动对的分布。它以条件形式成立，其中对经验场的共同响应和标记槽分量被投影掉；没有这些投影，它对一般数据是假的，这正是投影存在的原因。条件形式在收缩时间范围内以首阶证明，并在每个时间范围内以其精确阶从下方证明；它仅用于驱动协方差的集中性、该对的高斯性以及唯一性，而仍开放的问题是一侧的且高于首阶的。

英文摘要

We study Open Problem 3 of Kolokoltsov's survey "Quantum filtering and propagation of chaos for open quantum systems" (2026) on $H=\mathbb{C}^d$ ($2\le d<\infty$ fixed): a dynamic central limit theorem for $N$ mean-field coupled quantum particles under continuous diffusive (homodyne) measurement. The tagged conditional state $Γ^{(1)}_t$ is compared with the one-particle filter $γ_t$ driven by its own innovation, the mean-field Hamiltonian evaluated at the deterministic Hartree-Lindblad mean $η_t$. The fluctuation $F^N_t=\sqrt{N}(Γ^{(1)}_t-γ_t)$ is not autonomous in the limit: it is driven through the linearised filter by its own innovation, by an idiosyncratic Gaussian martingale carried by the connected correlations with the other particles, and by the empirical field $\hat G^N_t=\sqrt{N}(Γ_t-η_t)$, which itself satisfies an autonomous linear Gaussian equation, so that $(F,\hat G)$ solves a closed system. Unconditionally, $(F^N,\hat G^N)$ is tight, every limit point solves this system driven by a Brownian motion orthogonal to a square-integrable martingale pair, and the mean covariance of the idiosyncratic martingale is identified as the limit of the rescaled pair correlations. The remaining clauses, concerning signs rather than amplitudes, reduce to a single decorrelation statement fixing the law of the driving pair. It survives in a conditional form, with the common response to the empirical field and the tagged-slot component projected out; without those projections it is false for generic data, which is what fixes them. The conditional form is proved at leading order on a shrinking horizon and from below at its exact orders on every horizon; it is needed only for the concentration of the driving covariances, the Gaussianity of the pair, and uniqueness, and what remains open is one-sided and above the leading order.

发表机构

• Presidency University（总统大学）

机构由 AI 辅助整理，请以论文原文为准。