ABSTRACT
The second law of thermodynamics imposes severe constraints on the formal structure of quantum theory. In particular, that law would be violated if it were possible to distinguish non-orthogonal states or if SchrOdinger's equation were nonlinear.
