While \(4M+o(M)\)  measurements are necessary and generically sufficient for injectivity in the complex case, you can save a factor of 2 in the number of measurements if you are willing to slightly weaken the desired notion of injectivity [1]}, [2]}.
To be explicit, we start with the following definition:
