[212.4.1] Consider a subset with small but positive measure
of a measure preserving many body system
.
[page 213, §0]
[213.0.1] Because of
the subset
becomes a
probability measure space
with
induced probability measure
and
being the trace of
in
[41].
[213.1.1] The measure preserving continuous
time evolution is discretized by
setting
![]() |
(11) |
with and
the discretization time step.
[213.1.2] A character
is called recurrent, if
there exists an integer
such that
.
[213.1.3] If
and
is invariant under
, then
almost every character in
is recurrent
by virtue of the Poincarè recurrence theorem.
[213.1.4] A subset
is called recurrent, if
-almost every point
is recurrent.
[213.1.5] By Poincarè’s recurrence theorem
the recurrence time
of the character
, defined as
![]() |
(12) |
is positive and finite for almost every .
[213.1.6] For every
let
![]() |
(13) |
denote the set of characters with recurrence time .
[213.1.7] Then the number
![]() |
(14) |
is the probability to find a recurrence time .
[213.1.8] The numbers
define a discrete probability
density
on the arithmetic
progression
.
[213.1.9] Every probability measure
on
at time instant
is then defined on the same arithmetic
progression through
![]() |
(15) |
for all and
.
[213.1.10] The induced time evolution
on the subset
is defined for every
as the average [1, 21]
![]() |
(16) |
where .
[213.1.11] For characters
, one recovers
the first step in the discretized microscopic time evolution
as expected.
[213.1.12] For mixed states
this formula allows
the transition from the microscopic to the macroscopic
time evolution.
[213.1.13] It assigns an averaged translation to the first step in
the induced time evolution of mixed states.