Good link, thanks. So Robin knows that zero-sum markets will be "no-trade" in the theoretical limit. Can you explain a little about the mechanism of subsidizing a prediction market? Just give stuff to participants? But then the game stays constant-sum...

There's no problem with the game being constant sum.