Ask HN: How do Push Notifications work?

I understand the high level principle behind Push Notifications, how are they used and why they are necessary.

What I could never find is the specification of how it works between the mobile client and the notifications server.

As a (former) embedded engineer I find it really interesting, and I suspect they have all kinds of neat tricks to save on battery and data consumption.

anyone have more information ?