量子状態を表すHusimi関数の局所的な判定条件

Phase-space representations reveal the geometry of quantum mechanics and distinguish quantum features from classical ones. However, the positivity of a density operator is among the properties of quantum states that phase-space representations capture least directly: deciding whether a phase-space function describes a physical quantum state has so far required global conditions coupling distant points in phase space. Here we show that these conditions can in fact be made local, by considering the Husimi representation in phase space. We establish a complete set of conditions which captures when a phase-space function $f$ is the Husimi function of a quantum state, with each condition involving only the derivatives of the function $f$ evaluated at a single phase-space point. We further show that each condition has an equivalent algebraic characterization, which takes the form of the nonnegativity of a determinant of the underlying operator in a displaced Fock basis. As a result, these conditions obey a recurrence relation organizing them into a differential hierarchy, which terminates based on the rank of the operator. Our results thus show that operator rank and positivity are local properties in phase space, reinforcing the role of phase-space representations as a geometric description of quantum mechanics.

4+8 pages. Comments welcome