http://faculty.chicagobooth.edu/eric.budish/research/HFT-Fre...

Note that this doesn't deal with the distributed systems problems of multiple exchanges so would require a universal exchange monopoly (ie an impossible and unwanted condition).