该研究团队开发了一种分析无限模态下量子高斯态的方法，基于正则对易关系（CCR）的表示，并运用吉田逼近来定义可能无界观测量相对于量子态ρ的可积性（ρ-可积性）。研究表明，由可能无界的ρ-可积观测量A生成的交换∗-代数⟨A⟩中的所有元素均具有正规性且ρ-可积，同时该代数可赋予明确定义的范数∥⋅∥ρ:=tr(ρ|⋅|)。该工作严谨地建立了均值向量与协方差算子的基本性质及核心公式，并证明任意高斯态的协方差算子S具有实数性、有界性、正定性及可逆性，且满足S−iJ≥0的条件（其中J为ℓ²(ℕ)空间上的−i倍乘算子）。
