That is a tough call, actually. Mandore should be suitable but it has midnight arrival at Alwar. Also, in case BBS Raj does not get so delayed, you will curse me while spending your whole day at Delhi :P
Double Decker can also be considered. I do not expect Rajdhani to be so late during December such as to reach New Delhi after 16:00. This happens but during January or very late December.