A program of proofs is outlined to show how the linear structure of quantum mechanics can be derived from basic principles. For the dynamics part, three alternatives are reviewed briefly. They include the Kadison theorem for evolution of density matrices and the Segal–Simon theorem for evolution of observables in the Heisenberg picture. The focus is on Wigner’s theorem that gives linear operators for evolution of state vectors. New insights are described that motivate the key assumption about probabilities in that theorem. One is that it is implied by the second law of thermodynamics. Another is that it follows from assumptions that evolution in time preserves mixtures of states and preserves probabilities for what is in the mixture.
A basic linearity of quantum dynamics, that density matrices are mapped linearly to density matrices, is proven very simply for a system that does not interact with anything else. It is assumed that at each time the physical quantities and states are described by the usual linear structures of quantum mechanics. Beyond that, the proof assumes only that the dynamics does not depend on anything outside the system but must allow the system to be described as part of a larger system. The basic linearity is linked with previously established results to complete a simple derivation of the linear Schr\"odinger equation. For this it is assumed that density matrices are mapped one-to-one onto density matrices. An alternative is to assume that pure states are mapped one-to-one onto pure states and that entropy does not decrease.