Expressing Linear Orders Requires Exponential-Size DNNFs

We show that any DNNF circuit that expresses the set of linear orders over a set of $n$ candidates must be of size $2^{\Omega(n)}$.