Treatment of space symmetries in the construction of EDFs is another
kettle of fish. Here, we base our considerations on the derivation
before separation of symmetries, which we introduced above, and on the
fact that invariance of the energy density itself is not a
prerequisite for the invariance of the EDF. In fact, the EDF and total
energy (1) are invariant with respect to symmetry also when
the energy density is covariant with
, i.e.,
For the space-inversion symmetry, we have
![]() |
![]() |
![]() |
|
![]() |
![]() |
(85) | |
![]() |
![]() |
![]() |
(86) |
It is now essential to realize that the arguments of the density matrix,
on
which the energy densities in Eq. (87) depends,
are the same on both sides of Eq. (87). The
covariance condition then tests only the parity of all other
operators that may appear in the definition of local densities.
Therefore, to each primary density
(23) we may attribute
-parity corresponding to the
-parity of the operator
only, which is equal to
, see Eq. (26) and columns denoted by
in Tables 3 and
4. This attribution is performed regardless of
space-inversion properties of the nonlocal densities, i.e., regardless
of whether the parity of the many-body state is conserved or broken.
Similarly,
-parities of secondary densities
(24) are equal to
. Construction of the
-covariant energy density
(83) can now be realized by multiplying densities
that have identical
-parities.
Construction of a rotationally covariant energy density can be performed in an entirely analogous way. We must only ensure, that all tensor operators used in constructing all terms of the energy density are always coupled to total angular momentum (rank) zero. This coupling proceeds regardless of any transformation properties of nonlocal densities with respect to rotation, because again, their rotated space arguments appear on both sides of the covariance condition (83).
It is obvious that this is the
correct procedure to follow when the rotational symmetry is not
broken, and nonlocal densities
and
are scalar and vector functions of their
arguments, respectively. In fact, this is how we refer to these
densities throughout the entire paper, seemingly forgetting that
the rotational symmetry can be broken, and that these functions can then
have no good tensor properties with respect to rotation.
Nevertheless, in view of the covariance condition
(83), these rotational properties of broken-symmetry
nonlocal densities are irrelevant for the construction of the energy
density.