Чому важливо, щоб початковий гамільтоніан не мінявся з кінцевим гамільтоніаном в адіабатичних квантових обчисленнях?


19

Я читав у багатьох джерелах та книгах про адіабатичні квантові обчислення (AQC), що для початкового гамільтонівського важливо, щоб він не спілкувався з кінцевим гамільтоніаном , тобто . Але я ніколи не бачив аргументу, чому це так важливо.H^i [ Н я, Н е]0H^f[H^i,H^f]0

Якщо припустити лінійну залежність від часу, то гамільтоніан AQC є де - адіабатична шкала часу. τ

H^(t) = (1tτ)H^i+tτH^f,(0tτ)
τ

Отже, моє запитання таке: Чому важливо, щоб початковий гамільтоніан не переміщався з кінцевим гамільтоніаном?

Відповіді:


13

У адіабатичному QC ви кодуєте свою проблему в гамільтоніані таким чином, що ваш результат можна отримати з основного стану. Підготувати цей основний стан важко безпосередньо, тому замість цього ви підготуєте основний стан «легкого» гамільтониана, а потім повільно інтерполюєте між ними. Якщо ви рухаєтесь досить повільно, стан вашої системи залишатиметься в основному стані. Наприкінці процесу ви отримаєте рішення.

Це працює згідно з теоремою про Адіабати . Для виконання теореми повинен бути енергетичний розрив між основним станом та першим збудженим станом. Чим менше зазор стає, тим повільніше потрібно інтерполювати, щоб запобігти змішанню між основним та першим збудженим станами. Якщо зазор закриється, подібне перемішування не може запобігти, і ви не можете пройти досить повільно. Процедура не вдається в цей момент.

Якщо початковий і кінцевий гамільтонові маршрути, це означає, що вони мають однакові енергетичні властивості. Тож вони домовляються про те, яким державам призначається енергія, і лише не згодні з отриманими енергіями. Інтерполяція між двома Гамільтонянами просто змінює енергії. Таким чином, кінцевий основний стан був би збудженим станом на початку, а вихідний основний стан в кінці збуджується. У якийсь момент, проходячи один біля одного, енергії цих станів будуть рівні, і тому щілина між ними закривається. Цього достатньо, щоб побачити, що енергетичний розрив повинен закритися в якийсь момент.

Отже, наявність гамільтоніян, які не виїжджають із пасажирів, є необхідною умовою збереження розриву, а отже, і для AQC.


1
Це звучить досить переконливо і чітко. Чи можете ви чітко пояснити, чому не може бути уникнути схрещування під час едіабатичної еволюції (що дозволило б змінити характер основного стану, але без виродження)?
agaitaarino

4

Якщо дві матриці (в даному випадку гамільтоніани) комутуються, вони мають однакові вектори. Отже, якщо ви підготуєте основний стан першого гамільтоніана, то це (грубо кажучи) залишатиметься власним станом протягом усієї адіабатичної еволюції, і таким чином ви вийдете саме з того, що вкладаєте. Цього немає для цього значення.

Якщо ви хочете бути трохи більш суворими, то, можливо, ваш початковий гамільтоніан має виродження, яке піднімається другим гамільтоніаном, і ви можете сподіватися змусити систему перетворитися в унікальний наземний стан. Зауважте, однак, що виродження піднімається миттєво, є не нульова кількість другого гамільтонина. Який би ефект не був миттєвим. Я вважаю, що ви не отримаєте належної адіабатичної еволюції. Натомість ви повинні написати свій початковий стан як суперпозицію нових власних держав, і вони починають розвиватися з часом, але ви ніколи не збільшуєте накладення свого стану з цільовим станом (основним станом).


Просто цікаво, чи правдива ваша перша заява. Візьмемо, наприклад, матрицю Identity, вона комутирує кожного гамільтониана. Але, безумовно, немає підстав для того, щоб матриця ідентичності мала ті самі власні вектори, як довільний гамільтоніан.
Турботантен

Ви можете розкласти ідентичність багатьох на будь-якій основі, включаючи основу гамільтоніана. Але справа в тому, що вона дуже вироджена, тож ви говорите про мій другий абзац.
DaftWullie

3

σZt

Більше того, навіть виходячи за суворі межі AQC (наприклад, квантовий відпал відкритої системи, QAOA тощо), якщо рушійний гамільтоніанський комутується, то він не може викликати переходи між власними станами проблеми Гамільтоніана, а лише змінить фазу амплітуд у хвильовій функції ; і ви хочете, щоб драйвер, який здатний викликати віджимання, щоб вивчити простір пошуку.


1

HiHf

Hi=(1001)

Hp=(1000.1)

Hi|1Hf|0

ϵ
τmaxt(||HiHf||2ϵEgap(t)3)

Це дано та пояснено у рівнянні. 2 Tanburn et al. (2015) .

  • Скажімо, ми хочемо .ϵ=0.1
  • Зауважте, що відповідно до рівняння. 4 того ж паперу.||HiHf||2=0.1
  • Зауважте, що (я вибрав щоб це сталося, але це не має значення).||HiHf||2ϵ=1ϵ
  • Тепер у нас єτmaxt(1Egap(t)3)

Отже, який мінімальний розрив між основним та першим збудженим станом (який дає )? Коли , гамільтоніан дорівнює:maxt
t=20τ/29

H=929Hi+2029Hp

H=929(1001)+2029(1000.1)

H=(92900929)+(202900229)

H=(1129001129)

Тому , коли , ми маємо , а нижня межа на , по суті .Egapt=2029τEgap=0τ

Отже, теорія про адіабати все ще застосовується, але коли в ній йдеться про те, що Гамільтоніану потрібно змінюватись "досить повільно", виявляється, що йому потрібно змінюватись "нескінченно повільно", а це означає, що ви, швидше за все, не отримаєте відповіді за допомогою AQC.


Спасибі! Мені подобається приклад. Хоча це новий вираз мінімального часу виконання, якого я ніколи не бачив. Зазвичай в літературі адіабатичний стан задається де . Див. Посилання [1 ] та [2 ] Δ2(s)=(E1(s)-E0(s))2τmax0s1|ψ1(s)|dH^(s)ds|ψ0(s)|min0s1Δ2(s);stτΔ2(s)=(E1(s)E0(s))2
Турботантен

@Turbotanten: Дякую за щедроту. Мій доказ працює, чи ми використовуємо 1 / пробіл ^ 2 або 1 / проміжок ^ 3. В обох випадках розрив = 0 означає час виконання = нескінченність. У вашому вираженні ми можемо просто мати "max_s" зовні, тоді нам не знадобиться "min_s" у знаменнику. Також у посиланні 2 статті Танберна, до якого я пов'язував, наведена формула прогалини ^ 3, яка є трохи більш жорсткою, ніж формула «2». Досі популярно використовувати проміжок ^ 2 (злегка обмежений), головним чином тому, що деякі люди не бачили недавньої літератури про розрив ^ 3.
користувач1271772
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.