Tight bounds on Lyapunov rank

The Lyapunov rank of a cone is the number of independent equations obtainable from an analogue of the complementary slackness condition in cone programming problems, and more equations are generally thought to be better. Bounding the Lyapunov rank of a proper cone in R^n from above is an open problem. Gowda and Tao gave an upper bound of n^2 - n that was later improved by Orlitzky and Gowda to (n-1)^2 . We settle the matter and show that the Lyapunov rank of (n^2 - n)/2 + 1 belonging to the Lorentz second-order cone is maximal.