Yup. Also, I’d add that entropy in this formulation increases exactly when more than one macrostate at time t maps to the same actually-realized macrostate at time t+1, i.e. when the macrostate evolution is not time-reversible.
Yup. Also, I’d add that entropy in this formulation increases exactly when more than one macrostate at time t maps to the same actually-realized macrostate at time t+1, i.e. when the macrostate evolution is not time-reversible.