When people are awake, their pupils regularly change in size. Those changes are meaningful, reflecting shifting attention or vigilance, for example. Now, researchers reporting in Current Biology on January 18 have found in studies of mice that pupil size also fluctuates during sleep. They also show that pupil size is a reliable indicator of sleep states.
I did not know this about mice. Thanks!