一个数-相 Wigner 函数

量子力学中最著名的准概率函数之一是 Wigner 函数，其在对位置或动量积分时给出正确的边缘概率函数。此处我们脱离位置-动量 Wigner 函数的定义，类比地构造一个数-相 Wigner 函数，其对光子数求和给出正确的相位分布，对相位积分给出正确的光子分布。