Shankar, R. (1994), *Principles of Quantum Mechanics*, Plenum Press. Chapter 11, Section 11.3.

We can investigate the effect of a quantum system being invariant under time translation by considering the evolution of a state vector using a propagator. A state at time is given in terms of the state at time according to

Strictly speaking, this equation is true only if is time-independent, since in the time-dependent case, we need to express the propagator as a time-ordered integral. However, if we let the system evolve for only an infinitesimal time , we can ignore the complexities of the time-ordered integral and write, to first order in

Note that it doesn’t matter if we use the value of at time or or at some time in between, since the differences between these values are of order , and thus make no difference to to first order in .

Now suppose we prepare the same system (which we’ll call ) at some time and consider how the system evolves over an infinitesimal time starting from . We then have

The idea behind time translation invariance is that it shouldn’t make any difference at what time we prepare a system, provided that the system is prepared identically at whatever time we actually do prepare it. In other words, if we had prepared our system above at instead of and then let it evolve for an infinitesimal time , we should end up with exactly the same state. That is, we require that

Rearranging things, we get

The initial state can be anything we like, so in order for this condition to be always true, we must have

Again, the two times and at which we prepared the system are arbitrary (and not necessarily separated by an infinitesimal time, so they could be years apart), so this condition implies that itself must be constant in time. For a time-independent operator , Ehrenfest’s theorem says that

If , then the commutator is , so time translation invariance implies that

That is, time translation invariance implies that the average energy of the system is conserved.

Clearly, energy is conserved if the system is in an energy eigenstate, since then the energy has a single, unchanging value. However, if we prepare the state as a combination of energy eigenstates, then the system has the form

where the are constant coefficients. A measurement of the energy on such a system can yield any of the energies for which , so it might seem that we’re violating the conservation of energy. The point is that, *on average*, the energy is

and it is this average that doesn’t change with time. In dealing with averages, we’re also retaining consistency with the infamous energy-time uncertainty relation.