Update assumptions and draft a discussion of their importance

This commit fleshes out the 'assumptions' subsection by adding real
text and discussion. It also simplifies some of the assumptions
themselves and adds positive-definiteness as a condition.
In-progress edits to theory