Speeding up the exchange does not necessarily improve liquidity. The price quotes of high-frequency market makers are more likely to meet speculative high-frequency "bandits", thus less likely to meet liquidity traders. The bid-ask spread is raised in response. The recursive dynamic model...