The variational principle in quantum mechanics, lecture 12

1. Lecture 12: the time-dependent variational principle for dissipative dynamics

The time-dependent variational principle of Dirac is a powerful method to simulate the real and imaginary time dynamics of strongly correlated quantum systems. The original formulation has, as far as I can tell, only been formulated in the case of pure states. The generalisation to quantum systems undergoing dissipative dynamics is nontrivial and appears not to have been attempted. Here we describe a natural generalisation.

The pdf version can be found here.

2. Notation

We denote by {\mathcal{M}_n(\mathbb{C})} the set of all {n\times n} complex matrices with entries in {\mathbb{C}}. There is a natural inner product {\langle A, B \rangle} on {\mathcal{M}_n(\mathbb{C})} provided by

\displaystyle \langle A, B \rangle = \mbox{tr}(A^\dag B), \quad A, B\in \mathcal{M}_n(\mathbb{C}). \ \ \ \ \ (1)

The state space of a {n}-dimensional quantum space is given by the set {\mathcal{D}_n} of all density operators, defined by

\displaystyle \mathcal{D}_n = \{\rho \in \mathcal{M}_n(\mathbb{C})\,|\, \rho^\dag = \rho, \rho \ge 0, \mbox{tr}(\rho) = 1\}. \ \ \ \ \ (2)

Throughout this lecture we regard {\mathcal{D}_n} as a {(n^2-1)}-dimensional differentiable real manifold (with boundary) in the natural way, i.e., with a single coordinate chart provided by, e.g., the map

\displaystyle U:\mathcal{D}_n \rightarrow \mathbb{R}^{n^2-1}, \ \ \ \ \ (3)

where {U(\rho) = (r_1, r_2, \ldots, r_{n^2 -1})}, with

\displaystyle \rho = \frac{\mathbb{I} + \sum_{j=1}^{n^2-1} r_j \lambda^j}{n}, \ \ \ \ \ (4)

and {\lambda^j} is an orthonormal basis of traceless hermitian operators, i.e., {\langle \lambda^{j}, \lambda^k \rangle = \delta^{jk}}.

The tangent space {T_\rho \mathcal{D}_n} to {\mathcal{D}_n} at {\rho \in \mathcal{D}_n} may be straightforwardly identified with the set

\displaystyle \{A\in \mathcal{M}_n(\mathbb{C})\,|\, A^\dag = A, \mbox{tr}(A) = 0\} \ \ \ \ \ (5)

of traceless hermitian matrices. We give {\mathcal{D}_n} the structure of a Riemannian manifold by choosing a positive bilinear form {M_\rho(A, B)} on {T_\rho \mathcal{D}_n} for all {\rho\in \mathcal{D}_n}.

Throughout we define a variational class simply to be a submanifold {\mathcal{V}} of {\mathcal{D}_n}. We assume that the manifold {\mathcal{V}} can be parametrised as

\displaystyle \mathcal{V} = \{\rho(\mathbf{x})\, |\, \mathbf{x} \in \mathbb{R}^D\}, \ \ \ \ \ (6)

where we assume the dependence on the parameters {x^j} to be analytic.

It is convenient to introduce the left and right multiplication operators {L_Y(X) = YX} and {R_Y(X) = XY}, {X, Y\in \mathcal{M}_n(\mathbb{C})}, respectively. The modular operator is then defined to be

\displaystyle \Delta_{\rho, \sigma} = L_\rho R_\sigma^{-1}, \ \ \ \ \ (7)

for all {\rho, \sigma \in \mathcal{D}_n}. We also define

\displaystyle \Omega_\rho (A) = R^{-1}_\rho k(\Delta_{\rho,\rho}), \ \ \ \ \ (8)

where {k \in \mathcal{K}} and

\displaystyle \mathcal{K} = {k| -k is operator monotone, k(w^{-1}) = wk(w), and k(1) = 1 }. \ \ \ \ \ (9)

3. Monotone Riemannian metrics

There is no canonical choice of Riemannian metric on {\mathcal{D}_n}. However, there are several canonical families of Riemannian metrics which naturally arise from information-theoretic considerations.

Here the natural condition is that the metric is monotone, meaning that {M_{T(\rho)}(T(A), T(A)) \le M_{\rho}(A,A)}, where {T} is a {CPT} map. The reasoning here is that the distinguishability of two states infinitesimally close to {\rho} should only be decreased under the action of a channel. Petz showed there is a one-to-one correspondence between the set of monotone metrics and a special class of convex operator functions. A complete classification is now well understood (see, e.g., this paper for a quick overview). We do not express our results in the most general way available (although this is entirely straightforward once we understand a couple of examples), but instead focus on two special metrics defined as follows.

Suppose for any given {\rho \in \mathcal{D}_n}, and {A, B \in T_\rho \mathcal{D}_n}, the bilinear form defining the metric is given by

\displaystyle M_\rho(A, B) = \langle A, \Omega_\rho(B)\rangle. \ \ \ \ \ (10)

(It turns out that all monotone metrics have this form.) The two examples we study are furnished by the Bures metric

\displaystyle \Omega_\rho^{\text{Bures}} = 2(R_\rho + L_\rho)^{-1} \ \ \ \ \ (11)

and

\displaystyle \Omega_\rho^{0} = \frac12(R_\rho^{-1} + L_\rho^{-1}). \ \ \ \ \ (12)

4. The time-dependent variational principle for dissipative dynamics

In this section we formulate the time-dependent variational principle for dissipative dynamics generated by equations of the form

\displaystyle \frac{d\rho}{dt} = \mathcal{L}[\rho] \ \ \ \ \ (13)

 

with respect to a general variational class {\mathcal{V} \subseteq \mathcal{D}_n} and a monotone Riemannian metric {M_\rho(A, B)}.

The setup is identical to the pure-state case: we aim to find the optimal path {\rho(t) \in \mathcal{V}} generated by the vector field induced by finding the optimal element {A \in T_{\rho(t)} \mathcal{V}} which is closest to the RHS of (13), where we use the quadratic form {M_{\rho(t)}(A,B)} to measure the distance, i.e., we aim to solve

\displaystyle \inf_{A\in T_{\rho(t)} \mathcal{V}} M_{\rho(t)}( A-\mathcal{L}[{\rho(t)}], A- \mathcal{L}[{\rho(t)}]). \ \ \ \ \ (14)

This is equivalent to minimising

\displaystyle \inf_{A\in T_{\rho(t)} \mathcal{V}} \langle A-\mathcal{L}[{\rho(t)}], \Omega_{\rho(t)}^k(A- \mathcal{L}[{\rho(t)}] )\rangle. \ \ \ \ \ (15)

Writing this in terms of the explicit parametrisation {\rho(\mathbf{x})}, we see that we need to minimise

\displaystyle \inf_{\mathbf{v}\in \mathbb{R}^D} \langle v^j\partial_j \rho(\mathbf{x}(t))-\mathcal{L}[{\rho(\mathbf{x}(t))}], \Omega_\rho(v^{k}\partial_k \rho(\mathbf{x}(t)) - \mathcal{L}[\rho(\mathbf{x}(t))] )\rangle. \ \ \ \ \ (16)

This may be rewritten as

\displaystyle \inf_{\mathbf{v}\in \mathbb{R}^D} \mathbf{v}^T \mathbf{G}_\rho \mathbf{v} - \mathbf{v}^T \boldsymbol{\ell}_\rho - \boldsymbol{\ell}_\rho^T \mathbf{v} + c_0, \ \ \ \ \ (17)

where

\displaystyle (\mathbf{G}_\rho)_{jk} = \langle \partial_j \rho(\mathbf{x}(t)), \Omega_\rho(\partial_k \rho(\mathbf{x}(t)) )\rangle \ \ \ \ \ (18)

is the Gram matrix and

\displaystyle (\boldsymbol{\ell}_\rho)_j = \langle \partial_j \rho(\mathbf{x}(t)), \Omega_\rho( \mathcal{L}[\rho(\mathbf{x}(t))] )\rangle. \ \ \ \ \ (19)

The minimum is easily found to satisfy

\displaystyle \mathbf{v} = \mathbf{G}_\rho^{-1} \boldsymbol{\ell}_\rho. \ \ \ \ \ (20)

5. The TDVP applied to a Lindblad equation

In this section we focus on the TDVP applied to the specific example

\displaystyle \frac{d\rho}{dt} = -i[K, \rho] - \frac12\sum_{\alpha}\left( R_\alpha^\dag R_\alpha \rho - 2 R_\alpha \rho R_\alpha^\dag + \rho R_\alpha^\dag R_\alpha \right) \ \ \ \ \ (21)

using the monotone metric based on {\Omega_\rho^{0}}. In this case we find that the Gram matrix is given by (we suppress the arguments of {\rho} for clarity)

\displaystyle (\mathbf{G}_\rho)_{jk} = \frac12\langle \partial_j \rho, (\partial_k \rho) \rho^{-1} )\rangle + \frac12\langle \partial_j \rho, \rho^{-1} (\partial_k \rho) )\rangle \ \ \ \ \ (22)

\displaystyle = \frac12 \mbox{tr}(\rho^{-1} \{\partial_j \rho, \partial_k \rho\} ). \ \ \ \ \ (23)

We also find that

\displaystyle (\boldsymbol{\ell}_\rho)_j = \frac12 \mbox{tr}(\partial_j \rho \mathcal{L}[\rho]\rho^{-1} ) + \frac12 \mbox{tr}( \partial_j \rho\rho^{-1}\mathcal{L}[\rho] ) \ \ \ \ \ (24)

\displaystyle = \frac{i}2\mbox{tr}\left(\partial_j \rho (\rho K \rho^{-1} - \rho^{-1} K \rho)\right) \ \ \ \ \ (25)

\displaystyle \quad - \frac14 \sum_{\alpha}\mbox{tr}\left( \partial_j \rho (2R_\alpha^\dag R_\alpha - R_\alpha\rho R_\alpha^\dag \rho^{-1} - \rho^{-1} R_\alpha\rho R_\alpha^\dag + \rho R_\alpha^\dag R_\alpha \rho^{-1} + \rho^{-1} R_\alpha^\dag R_\alpha \rho)\right) \ \ \ \ \ (26)

Advertisements

2 Responses to The variational principle in quantum mechanics, lecture 12

  1. Heng Tian says:

    Dear Professor, please complete your notes on TDVP. I can not wait to read all the materials.

  2. Tobias says:

    Dear Heng Tian,

    Many thanks for your email. Currently I do not have any more notes on the TDVP. To learn more about what I’m thinking about I would recommend reading:

    arXiv:1103.0936
    arXiv:1103.2286
    arXiv:1205.5113

    Sincerely,
    Tobias

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: