Noncommutative quantum mechanics: Uniqueness of the functional description

The generalized Weyl transform of index α is used to implement the time-slice definition of the phase space path integral yielding the Feynman kernel in the case of noncommutative quantum mechanics. As expected, this representation for the Feynman kernel is not unique but labeled by the real parameter α. We succeed in proving that the α-dependent contributions disappear at the limit where the time slice goes to zero. This proof of consistency turns out to be intricate because the Hamiltonian involves products of noncommuting operators originating from the noncommutativity. The antisymmetry of the matrix parametrizing the noncommutativity plays a key role in the cancellation mechanism of the α-dependent terms.