As the above reasoning makes clear, linearity is to some extent a matter of choice: certainly the underlying bag of words assumption, that the words are chosen independent of one another, is quite dubious.
it is a good first approximation, and one can extend it from Bernoulli (0 order Markov) to first, second, third order, etc.