And in this particular case, it might be easier to think about what’s happening on the unconstrained scale, where \sigma_k gets transformed to \tau_k = \log \sigma_k. There, you can order the \tau_k, which is the same as ordering the \sigma_k once you apply \exp(\tau_k).