Is it clear that the reduction in bid-ask spread is due to HFT rather than some other change in market dynamics? I frequently see "Bid-ask spread has reduced by x in the last two decades, therefore, HFT is good", but I've never seen a causal link explained, and a lot of other things have happened to the structure of the markets in that time.