Here \(\mbox{1I}[j=i_{k}]\) is \(1\) if \(j=i_{k}\) and \(0\) otherwise. If \(A\) is invertible, then this linear system can be solved to recover the logits \(z\). Unfortunately, \(A\) is not invertible: Indeed, we know that the solution cannot be unique because shifting all the logits by the same amount yields the exact same answers \(a_{i}(z,b)=a_{i}(z+\mbox{1I},b)\). That is, we expect a one-dimensional space of valid solutions to \(A\cdot\exp(z)=\mbox{0}\). To deal with this we simply add the constraint that \(z_{1}=0\) or, equivalently, \(\exp(z_{1})=1\).