Foundations of Top-$k$ Decoding For Language Models