Extensive rewrite of the paper's theoretical component

This commit is a major rewrite of the paper's theoretical component,
including both the in-sample and out-of-sample results. The in-sample
proofs still need to be completed, but otherwise this part of the
paper is more or less ready to go.
Monte Carlo: small changes to writeup