1. Introduction
The study of open quantum systems is one of the fundamental problems of modern physics [
1,
2]. An open quantum system consists of a region of space where quantum processes take place (and which can be studied by the experimenter) in contact with a decohering and dissipative environment that is typically beyond the control of the experimenter. Various instances of concrete open quantum systems can be found in different areas of physics such as, for example, quantum optics, atomic and mesoscopic physics, biophysics or, at even shorter distances, nuclear physics. The interdisciplinary character of the theory of open quantum systems calls for a variety of different approaches. Here, we are concerned in particular with a formalism that adopts non-Hermitian Hamiltonian operators, a theoretical approach that is routinely called non-Hermitian quantum mechanics [
3]. The description of open quantum systems in terms of non-Hermitian Hamiltonians [
4] can be rigorously derived, in the case of a localised quantum subsystem coupled to a continuum of scattering states, by means of the Feshbach projection formalism [
5,
6,
7]. Such an approach has been successfully employed to illustrate the complexities of exceptional points, which do occur when resonances coalesce in a non-avoided crossing [
4]. When one uses the full non-Hermitian Hamiltonian, left and right eigenvectors [
8,
9,
10] must be distinguished. From this perspective, the occurrence of exceptional points may create problems for defining the density matrix. On the other side, one can always use a Hermitian basis (which, for example, but not necessarily, arises from the Hermitian part of the full non-Hermitian operators) to represent non-Hermitian operators and the density matrix. From such a vantage point, the coalescence of the eigenvalues of the non-Hermitian Hamiltonian appears to be a foregoer of such major problems. It is worth mentioning that non-Hermitian Hamiltonians also appear in parity-time (PT) symmetric generalisations of quantum mechanics [
11,
12]. Such theories have recently found concrete applications in lossy optical waveguides [
13,
14] and photonic lattices [
15,
16].
However, we are interested here in open systems that can be effectively described by non-Hermitian Hamiltonians that are not necessarily PT-symmetric (and which, for such a reason, will be called general in the rest of this paper). For such Hamiltonians, it has been shown how to define a proper statistical mechanics [
17] in order to study the behaviour of non equilibrium averages (e.g., the purity of quantum states [
18]) and to provide the definition of correlation functions [
19].
In order to try to build possible measures of quantum information [
20,
21,
22] for systems with general non-Hermitian Hamiltonians, one can start by defining an entropy functional [
23,
24]. To this end, a non-Hermitian generalisation of the von Neumann entropy has been introduced in [
25]. Nevertheless, entropies of the von Neumann form cannot be used when quantum theory is formulated by means of the Wigner function [
26]. Since the (partial) Wigner representation is particularly useful in order to derive a mixed quantum-classical description of non-Hermitian systems [
27], it becomes interesting to study the properties of the so-called linear entropy [
26,
28,
29] and its generalisation to the case of open quantum systems described by general non-Hermitian Hamiltonians. To this end, we present in this paper, for the first time to our knowledge, a generalisation of the entropy for systems with non-Hermitian Hamiltonians that must be adopted when there is an embedding of the quantum subsystem in phase space. We associate the term “linear” to such an entropy as it arises from its first appearance in the literature [
26,
28,
29].
This paper is organised as follows. In
Section 2, we summarise the results of the density-matrix approach [
17,
18,
19,
25] to non-Hermitian dynamics that are useful for the study and generalisation of the linear entropy [
26,
28,
29]. In particular, we introduce the equations of motion for the density matrices [
17] and the von Neumann-like entropies studied in [
25]. In
Section 3, we study the linear entropy and its non-Hermitian generalisation, along the lines followed in [
25]. Analytical solutions are given in the basic case of a constant decay operator. It is worth noting that even basic models with constant decay operators become interesting when one adds the additional level of complexity provided by the classical-like environment represented by means of the partially Wigner-transformed Hermitian part of the Hamiltonian. In order to fix the ideas, one can think of a light-emitting quantum dot coupled to an energy-absorbing optical guide in a classical environment, which introduces thermal fluctuations or some other type of noise. It is not even difficult to imagine how models like these one can be made more and more complex within our approach. In
Section 4, we briefly recall how to formulate the dynamics of a non-Hermitian system that is embedded in a classical bath of degrees of freedom. In
Section 5, we study the behaviour of the linear entropy and its non-Hermitian generalisation in a quantum-classical set-up. Once again, analytical solutions are provided for the case of a constant decay operator. Finally, our conclusions are presented in
Section 6.
2. Quantum Dynamics with Non-Hermitian Hamiltonians
Let us consider a non-Hermitian Hamiltonian composed of two terms:
Both operators on the right-hand side,
and
, are Hermitian;
is often called the decay rate operator. The quantum states
and
evolve according to the Schrödinger equations
On conceptual grounds, we can expect that the open quantum system dynamics produces statistical mixtures. Indeed, we have shown that the purity is not conserved [
17,
18]. Defining the non-normalised density matrix as
where
are the eigenstates of any good
Hermitian operator that can cover the Hilbert space of the system and
is their probability of occurrence, the equation of motion can be written as
with
and
denoting the commutator and anticommutator, respectively. Equation (
5) effectively describes the subsystem (with Hamiltonian
) coupled to the environment (represented by
). It is worth remarking again and explicitly that, in our approach [
17,
19,
25,
27], we use Hermitian basis sets to represent the equations of motion. This situation is commonly found when, for example, the non-Hermitian creation and destruction operators,
and
, respectively, are represented in the basis of the Hermitian number operator. It should be evident that, because of this, we do not need to worry about the left/right eigenvectors of the full non-Hermitian Hamiltonian [
30,
31].
Non-Hermitian dynamics do not conserve the probability. This can be easily seen by taking the trace of both sides of Equation (
5):
However, we can define a normalised density matrix [
17] as
The density matrix in Equation (
7) can be used in the calculation of statistical averages:
where
is an arbitrary operator. The normalised density matrix
obeys the equation [
17]:
Similarly to Equation (
5), Equation (
8) effectively describes the evolution of the subsystem coupled to the environment; the role of the third term on the right-hand side is to conserve the probability during the dynamics. Equation (
8) is nonlinear. This property was also noted when considering operator averages in [
32]). Within the Feshbach–Fano projection formalism, the nonlinearity of the non-Hermitian approach has been suggested in [
33] as well. While the density operator
is bounded and useful in the calculation of of the statistical averages, the gain or loss of probability of open systems are properly described by the non-normalised density operator
. Hence, it turns out that both
and
are useful in the non-Hermitian formalism [
19,
25].
The normalised density matrix
allows us to define [
25] the von Neumann entropy of a non-Hermitian system as
The rate of the von Neumann entropy production is [
25]:
However, the gain or loss of information in a non-Hermitian system are more properly represented by introducing another entropy, given by the statistical average of the logarithm of the
non-normalised density operator [
25]:
The rate of change of
is [
25]
while the difference between the two entropies reads
The fact that the
entropy captures the expected physical behaviour of the flow of information out of an open system can be seen by considering the models where
is an arbitrary self-adjoint operator while
is proportional to the identity operator:
where the parameter
is assumed to be real-valued. For such models, after imposing the initial conditions
, we obtain [
25]:
One can then see that, for positive values of , the entropy diverges at large times, as a good entropy functional of an open system is expected to do. On the contrary, the von Neumann entropy is always constant.
4. Non-Hermitian Dynamics in a Classical Environment
One particular class of open quantum systems is obtained when a quantum subsystem is embedded in a classical environment. In [
27], an equation of motion for a quantum subsystem embedded in a classical bath, described in terms of its phase space coordinates, has been derived. To this end, we consider a total Hamiltonian
where
are
n light degrees of freedom with mass
m, and
are
N heavy degrees of freedom of mass
M. The small expansion parameter
can be used to obtain the classical limit for the
degrees of freedom, after taking a partial Wigner transform over the
heavy coordinates. Using a multidimensional notation and denoting the phase space point
with
X, the partial Wigner transform of the density matrix is defined as
while the partial Wigner transform of an arbitrary operator
is defined as
In [
27], it was shown that, upon taking the partial Wigner transform of Equation (
5), with the
and
of Equation (
37), and performing a linear expansion in
μ, one obtains the equation of motion
where
is the symplectic matrix [
34] and
is the gradient operator in phase space. The Einstein convention of summing over repeated indices is used throughout this paper. One can note that
is the Poisson bracket between
and
.
Equation (
40) describes the evolution of the non-normalised density matrix,
, when a quantum subsystem with probability sinks or sources (represented by the decay operator
) is embedded in a classical environment (with phase space coordinates
X). The classical bath produces both statistical noise and decoherence in addition to those eventually represented by the decay operator. As a consequence of Equation (
40), the trace of
is not a conserved quantity:
where we have denoted with the symbol
a partial trace over the quantal degrees of freedom, with the symbol
the phase space integral, and with the symbol
both the partial trace and the phase space integral.
Using the cyclic invariance of the trace, we can easily see that
where, in the last identity, we have also performed an integration by parts and exploited the fact that
are constants. If we also use the identity
where
, we can then find
Equation (
45) is analogous to Equation (
6) and shows that the probability is not conserved for the quantum-classical system because of the action of the decay operator. We can introduce a normalised density matrix as
and, using Equations (
40) and (
45), find its equation of motion:
At variance with Equation (
40), Equation (
47) is nonlinear and allows one to define averages of the dynamical variables of the quantum-classical system with a non-Hermitian Hamiltonian that has a probabilistic meaning.
5. Entropy Production and Quantum-Classical Non-Hermitian Hamiltonians
As noted in [
26], when considering the definition of the entropy for a quantum system in terms of the Wigner function, the typical choice in terms of the von Neumann definition, found in Equation (
9) when the Wigner function
replaces the density matrix
, cannot work:
can be negative in general. What one can do [
26] is start from the linear entropy [
28,
29],
, and perform the Wigner transform in order to obtain:
where
is the Wigner function, obtained by transforming
over all the coordinates.
In a mixed quantum-classical framework, the natural extension of Equation (
48) is given by
When considering the non-Hermitian dynamics of the quantum subsystem embedded in the classical environment, given by Equation (
47), we obtain the linear entropy production
We have obtained Equation (
50) by using the identities
together with
and
, which follow from taking the trace of an antisymmetric matrix,
, and a symmetric one,
. Noting that we also have
we finally obtain the entropy production
Within the quantum-classical framework, we can also introduce a non-Hermitian linear entropy as
The entropy production is given by
where we have defined
In the following, we will use
In order to calculate
, we are led to consider the following identities:
Quantum-Classical Linear Entropy Production and Constant Decay Operator
When the decay operator
is given by Equation (
14), Equation (
40) becomes
and Equation (
45) becomes
Upon choosing the initial condition
, Equation (
63) has the solution
which is analogous to Equation (
15). Equation (
47) becomes
Equation (
65) shows that, in the case considered, the normalised density matrix
is not influenced by
, so this evolves according to the unitary quantum-classical dynamics that were first derived in [
35].
We also have that Equations (
54) and (
61) become
In order to evaluate Equation (67), we need to calculate
. From Equation (
62), we get
Upon substituting Equation (
69) into Equation (67) and integrating, we finally obtain
Analogously to the pure quantum case, the rate of production of the quantum-classical entropy in Equation (
70) monitors the flow of information associated with the decay of the purity of the quantum-classical non-Hermitian system (for positive
).
6. Conclusions
In this paper, we have shown that it is possible to define meaningful entropy functionals for open quantum systems described by non-Hermitian Hamiltonians. In particular, a non-Hermitian generalisation of the von Neumann entropy, which is able to signal the loss of information of the quantum subsystem, requires both the normalised and the non-normalised density matrix: this entropy can be defined as the normalised average of the logarithm of the non-normalised density matrix [
25].
Motivated by the Wigner representation of quantum mechanics, we have also introduced the non-Hermitian generalisation of the linear entropy, defined as one minus the normalised average of the square of the non-normalised density matrix. Through the analytical solution of the basic case of a constant decay operator, we have shown that the non-Hermitian linear entropy is able to describe the loss of purity of the quantum subsystem. This is true both for pure non-Hermitian subsystems as well as for non-Hermitian subsystems embedded in a classical environment. It is worth repeating that even basic models with constant decay operators are interesting when one adds the additional level of complexity provided by the classical-like environment represented by means of the partially Wigner-transformed Hermitian part of the Hamiltonian, as in the case of a light-emitting quantum dot coupled to an energy-absorbing optical guide in a classical environment.
The results obtained so far [
17,
18,
19,
25] show that the correct description of the dynamics and of the information flow of systems described by non-Hermitian Hamiltonians needs the use of both the normalised and non-normalised density matrix. In this way, reasonable entropy functionals can be introduced. On conceptual grounds, one might have expected that the foundation of the non-Hermitian theory on the
normalised density matrix alone would hide the interesting effects arising from the coupling to the probability sinks or sources. As a matter of fact, the density matrix
is constrained to be normalised in order to be able to define correctly (normalised) statistical averages. However, such a procedure inevitably masks the flow of information: it is as if one would like to study the motion of a body by choosing the frame of reference that moves together with the body itself. On the contrary, the flow of information in systems modelled with non-Hermitian Hamiltonians can be
solely captured through the use of the
non-normalised density matrix.
We hope that the results discussed in this paper may be a first step toward a rigorous analysis of the quantum information flow in systems with non-Hermitian Hamiltonians, after removing the constraints of PT-symmetry [
36].