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

Please welcome our new moderators!

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

122 submissions , 103 unreviewed
3,497 questions , 1,172 unanswered
4,544 answers , 19,342 comments
1,470 users with positive rep
408 active unimported users
More ...

Adiabatic quantum computing with level crossings

+ 12 like - 0 dislike
224 views

Question.

In adiabatic evolution, to ensure that the ground state high overlap with the unique ground state of the system (i.e. to achieve arbitrarily small error) using adiabatic theorems, it is crucial that there is always some measurable eigenvalue gap.

  1. How badly do things go wrong if there is a single eigenvalue crossing with the ground state — where there can be any number of crossings between other energy eigenvalues, but which are well-separated from the crossing of the ground state with the first excited state?

  2. Does the answer to the above question depend crucially on details of the physical system involved? Are there special cases for which the "error" is known to be bounded by constants (i.e. the state still has a substantial overlap with the ground state after the level crossing, though the overlap may be bounded away from 1)? Are there special cases for which the overlap with the ground state, after the crossing, is almost certainly going to be nearly zero?

  3. Are there systems for which the question of whether the system is in the "bounded error" regime or the "unbounded error" regime will depend very sensitively on certain factors?

Details.

Adiabatic Quantum Computation is a model of computation which is meant to exploit adiabatic evolution to perform possibly quite difficult computations. The idea is as follows: if you prepare an initial state which is the unique ground state of an initial Hamiltonian H0, and slowly vary the Hamiltonian of the system until it is another Hamiltonian H1 which also has a unique ground state, then the final state of the system is that ground state. There are all sorts of details:

Interpolation of Hamiltonians. The most common way to describe how the Hamiltonian varies is as a time-varying Hamiltonian which interpolates between H0 and H1, that is H(s) = (1 − s)H0 + sH1, although any parameterization of a continuous curve in the space of Hamiltonians, from H0 to H1, is in principle allowable (subject to the considerations below).

Adiabatic Theorems. The reliability of obtaining the ground state is guaranteed by Adiabatic Theorems (often called "the" adiabatic theorem, though there is more than one and they seem to be incomparable). For instance, Ambainis and Regev show that if:

  • the Hamiltonian function H(s) is at least twice-differentiable,
  • there is a continuously varying energy function E(s), such that E(s) is an energy eigenvalue for the corresponding Hamiltonian H(s),
  • the E(s)-eigenstate of H(s) is unique, and furthermore all other eigenstates of H(s) have energy separated away from E(s) by at least some constant λ,
  • the initial state of the system is the E(0)-eigenstate of H0,

then for any error parameter δ>0, evolving the system under the Hamiltonian H(t/T), from time t = 0 to time t = T, suffices to ensure that the final state of the system is within δ (in the Euclidean norm) of the E(1)-eigenstate of the Hamiltonian H1, provided that

$$ T \geqslant \frac{10^5 \| H' \|}{\delta^2 \lambda^3} \,\max \Bigl\{ \tfrac{1}{\lambda}\!\| H' \|^2\,,\; \| H'' \| \Bigr\} \;. $$

In particular, the smaller the desired error — and the smaller the guaranteed eigenvalue gap λ about the energy eigenvalue — the larger T must be and therefore the longer the evolution must take for this Theorem to guarantee an error less than δ. By slowing the rate of evolution of the Hamiltonian in regimes where the eigenvalue gap is small, and increasing the rate where the eigenvalue gap is large, we can try to optimize the evolution of the Hamiltonian in order to achieve a minimum evolution time for any given error precision. The usual notion of adiabatic evolution follows for the case that E(s) is the ground energy for the Hamiltonians H(s).

Level Crossings. A non-negotiable feature of the Hamiltonian evolution, if we are to apply an adiabatic theorem, is that there exist an eigenvalue gap. I suppose that if the final Hamiltonian is degenerate because some number of excited states converge upon the ground-state energy — but that there is a gap between these cold convergent energy eigenvalues and the warm non-convergent eigenvalues — then things will still be okay; the cold-but-not-ground energies might become populated, but as these states converge to the ground-state manifold of the final Hamiltonian anyhow, nothing is lost. However, if there is a level crossing — where the ground state's energy intersects the first excited state's energy at one time t, and separate again — then the adiabatic theorems say nothing.

In the context of Adiabatic Quantum Computation, everything that I have heard is in the regime where one assumes (or strives to ensure) that there are no level crossings, and one tries to make the eigenvalue gap as large as possible wherever possible. This corresponds naturally to a model of computation with very tightly bounded error. However, if one is content to repeat the computation several times, then constant error suffices; and so if at a level crossing half of the amplitude leaks into the first excited energy state, with the remainder remaining in the ground state manifold of the Hamiltonians H(s), this is no terrible loss. Of course, the question is then: what actually does happen to the amplitude of the ground-state manifold at a level crossing? How much does it depend on the particular system or the details of the evolution of the Hamiltonian? Can the responses be applied to the regime where there is always a gap, but it is inconveniently small?

This post has been migrated from (A51.SE)
asked Feb 11, 2012 in Theoretical Physics by Niel de Beaudrap (265 points) [ no revision ]
This paper may also be of interest [Quantum Speedup by Quantum Annealing](http://arxiv.org/abs/1202.6257). They show a quantum speedup in a case where the gap is exponentially small.

This post has been migrated from (A51.SE)
This paper may also be of interest [Quantum Speedup by Quantum Annealing](http://http://arxiv.org/abs/1202.6257). The authors show that a quantum speedup is sometimes possible even when the gap is exponentially small.

This post has been migrated from (A51.SE)
I have found this http://pra.aps.org/abstract/PRA/v84/i6/e063411 . It seems quite useful for your case.

This post has been migrated from (A51.SE)
@Jon: thanks for the link, it seems the first step to answering the question from scratch. I'm curious about [the formula for the probability of diabatic transition](http://en.wikipedia.org/wiki/Landau%E2%80%93Zener_formula#The_Landau.E2.80.93Zener_formula)... it seems to still require the presence of a gap, and tends to certainty in the limit of a vanishing gap; which is confusing when the approximation in how the energies change with time is itself meant to be exactly linear so that they must cross. Could you clarify this, or perhaps point to a good reference with a careful treatment?

This post has been migrated from (A51.SE)
I think that http://en.wikipedia.org/wiki/Landau%E2%80%93Zener_formula is a good starting point for your question.

This post has been migrated from (A51.SE)

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).
To avoid this verification in future, please log in or register.




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

Your rights
...