Is there any proof of this. How long have we had this sort of HFT?
Strikes me that HFT is extracting value from the market. The prices are usually relatively stable they're increasing the draw of money away from smaller traders but also removing value overall (in the form of money) from the system and not adding much value. Yes, liquidity, yadda-yadda but surely market liquidity is no greater now but HFT is far more effectively removing money (a proxy for the value extracted).
In other words other people are creating value and HFT is a sink for it. The bar to entry to the HFT camp means there should be an overall movement of capital towards the most wealthy in this sort of system.