“…When a quantum many-body system comprises light and heavy particles, approximation as a QCH can enable efficient numerical calculations [ 67 , 68 , 69 , 70 , 71 , 72 , 73 , 74 , 75 ]. Our theoretical approach uses an operator-valued Wigner function [ 9 , 10 , 11 , 12 , 13 , 14 ], thus enabling a suitable representation of mixed states and making the theory amenable to the derivation of controllable approximations of numerical algorithms [ 75 , 76 ].…”