Magic (non-stabilizerness) is a necessary but "expensive" kind of "fuel" to drive universal fault-tolerant quantum computation. To properly study and characterize the origin "complexity" in computation as well physics, it crucial develop rigorous understanding quantification magic. Previous studies magic mostly focused on small systems largely relied discrete Wigner formalism (which only behave...