Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  Heuristics for definitions of open and closed quantum dynamics

+ 4 like - 0 dislike
1965 views

I've been reading some of the literature on "open quantum systems" and it looks like the following physical interpretations are made:

  • Reversible dynamics of a closed quantum system are represented by a group of automorphisms (of a $C^∗$-algebra, von Neumann algebra, or $B(H)$, depending on whom you read)
  • Irreversible (but still deterministic) dynamics of a closed system are represented by a semigroup of endomorphisms
  • The dynamics of an open system (which are non-deterministic, hence also irreversible) are represented by a semigroup of unital completely positive maps.

I'm trying to motivate these interpretations based on my limited familiarity with quantum mechanics. If you use the formalism of QM wherein states are represented by density operators, then you get something like this:

  • In the Schrodinger picture, a unitary time evolution is represented by $\rho \mapsto U(t) \rho U(-t)$, where $U(t) = e^{-itH/\hbar}$, and a measurement corresponding to an operator $X = \sum_\lambda \lambda P_\lambda$ is represented by $\rho \mapsto \sum_\lambda P_\lambda \rho P_\lambda$.
  • In the Heisenberg picture, a unitary time evolution is represented by $Y \mapsto U(-t) Y U(t)$, and a measurement by $Y \mapsto \sum_\lambda P_\lambda Y P_\lambda$.

The unitary time evolution in the Heisenberg picture is an automorphism group on $B(H)$, and the measurement process is a unital completely positive map. So I can intuit that, in an open quantum system (i.e. one which is constantly "measured" by interacting/entangling with the environment) the dynamics should be represented by a semigroup of unital completely positive maps. And certainly the idea that reversible dynamics for a closed system corresponds to an automorphism group make sense. What I still don't quite see is why you would represent irreversible dynamics of a closed system by a semigroup of endomorphisms. How does the difference between closed and open systems correspond to maps on $B(H)$ which are multiplicative or not? Also, is there an easily understandable example (for someone with a lot more math than physics) of where a closed system with irreversible dynamics might come from?

This post has been migrated from (A51.SE)
asked Mar 29, 2012 in Theoretical Physics by Dave Gaebler (20 points) [ no revision ]
"a measurement corresponding to an operator X=∑λλPλ is represented by ρ↦∑λPλρPλ" doesn't seem to be correct, i.e. post-measurement result is given by one of $P_{\lambda}\rho P_{\lambda}$ (plus normalization), for $\lambda$ chosen nondeterministically.

This post has been migrated from (A51.SE)
Where did you read that the completely positive map representing the dynamics of an open quantum system has to be unital? I didn't think that was necessary.

This post has been migrated from (A51.SE)
From a geometric point of view, the definition of reversible quantum dynamics is precisely the usual one for any dynamical system: $\mathcal{L}_X(\omega) = 0$, where $X$ is the dynamical flow, $\omega$ is the symplectic structure, and $\mathcal{L}$ is the Lie derivative, that is, the flow is a symplectomorphism (and an isometry). Whereas in contrast, the stochastic flow associated to Lindblad (open) dynamics is in general *not* a symplectomorphism (nor is it an isometry); thus open-system quantum dynamics also is similar to any other open-system dynamics.

This post has been migrated from (A51.SE)
@MarcinKotowski I thought the density-operator formulation allowed you to keep track of all the possible outcomes at once, weighted by probability...the formula I had appears on http://en.wikipedia.org/wiki/Density_operator#Measurement (but of course a more authoritative source would be better!)

This post has been migrated from (A51.SE)

2 Answers

+ 2 like - 0 dislike

An open system in the sense you describe is not a system coupled to the environment, but the idealized version of this system where the environment has been eliminated using a Markov approximation, so that there is a closed dynamics on the system itself, without reference to the environment (and hence to measurement), and without memory (which is enforced by the Markov approximation). [To see how the environment is eliminated, see, e.g., cond-mat/0011204.]

Closed dynamics means that you can express the time derivative of the state of the system in terms of the current state and its past, and lack of memory means that you in fact have a differential equation for the states rather than an integrodifferental equation. (The above characterizxation would not work in the Heisenberg picture.)

If there are time-dependent external fields, the characterization you inquire about doesn't hold. But if there are no time-dependent external fields then the differential equation is autononous, and hence describes a semigroup.

For finitely many degrees of freedom, it is in fact a group, but running the dynamics backwards is highly unstable. For infinitely many degrees of freedom, running the dynamics backwards is ill-posed.

Thus the semigroup property has nothing to do with quantum mechanics (which just contributes complete positivity). Think of the heat equation as an example of a semigroup describing a dissipative (i.e., open) classical system.

But the form of the resulting dynamics is specifically quantum, typically a Lindblad equation; see, e.g., quant-ph/0302047.

This post has been migrated from (A51.SE)
answered Mar 30, 2012 by Arnold Neumaier (15,787 points) [ no revision ]
This doesn't really answer the question: how can a closed system with irreversible dynamics arise naturally in a physical system?

This post has been migrated from (A51.SE)
@Peter Shor: I don't think that was the original question. But your question is answered in the two papers I quoted, which show how the unitary dynamics including the environment gives rise to a reduced dissipative dynamics if the Markov approximation is assumed.

This post has been migrated from (A51.SE)
+ 1 like - 0 dislike

In quantum mechanical formalisms in which discrete operations are unraveled as continuous differential flows on a state-space manifold the distinction is geometrically natural:

  • Closed quantum systems are Hamiltonian flows
  • Open quantum systems are Lindbladian flows

The former (smooth) flows are induced by the symplectic structure of the state-space, and the latter (stochastic) flows are induced by the metric structure of the state-space. Carlton Caves' on-line notes Completely positive maps, positive maps, and the Lindblad form works through the details. In particular, the former flows are exact symplectomorphisms and isometries, while the latter flows in general are neither.

The two flows interact as follows: a metric "lowering" followed by a symplectic "raising" defines a complex structure that (in conventional Hilbert coordinates) is readily shown to be the familiar multiplicative $i$ of quantum mechanics. Ashtekar and Schilling's review Geometrical formulation of quantum mechanics gives further details.

A concrete engineering advantage of this post-Hilbert dynamical framework is that it captures most of the "quantum goodness" of Hilbert space, and yet is well-posed on manifolds that have lower dimensionality than Hilbert space (upon which trajectory integration is numerically tractable).

This post has been migrated from (A51.SE)
answered Apr 2, 2012 by John Sidles (485 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
$\varnothing\hbar$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...