I am trying to figure out which formula is being used in calculating the Wigner function when the wigner method is used within the class sf.backends.BaseState
More specifically, I want to compare the Wigner function of a squeezed state obtained from using this method with the Wigner function obtained by using the formula I attached.
When I plot the Wigner function using both methods, I get qualitatively the same plots. But they still differ in their maximum and minimum values as well as their variances.
I am new to this field, so any advice will be appreciated.
Please let me know if you’d like more information or the code itself.
Note: The formula I attached is from “Exploring the Quantum Atoms, Cavities, and Photons” by Haroche and Reimond; Eq. A.53 p. 577