Scott: Your student is brilliant. Kudos to you for not insisting on sharing authorship on the paper, like some academic advisors in your position would do.
Thanks! In theoretical computer science as a whole, authorship is only for those who made a direct intellectual contribution. It’s one of the things I like best about the culture of our field.