Примітка до лексики: слово "гамільтонієць" використовується в цьому питанні, щоб говорити про герматичні матриці.
Алгоритм HHL, здається, є активним предметом досліджень у галузі квантових обчислень, здебільшого тому, що він вирішує дуже важливу проблему, яка полягає у пошуку рішення лінійної системи рівнянь.
Відповідно до оригінального паперового квантового алгоритму для розв’язання лінійних систем рівнянь (Harrow, Hassidim & Lloyd, 2009) та деяких питань, заданих на цьому сайті
- Квантова оцінка фаз та алгоритм HHL - необхідні знання про власні значення?
- Квантовий алгоритм для лінійних систем рівнянь (HHL09): Крок 2 - Підготовка початкових станів і | б ⟩
алгоритм HHL обмежений деякими конкретними випадками. Ось підсумок (який може бути неповним!) Характеристик алгоритму HHL:
Алгоритм HHL
Алгоритм HHL розв'язує лінійну систему рівняння з наступними обмеженнями:
Обмеження щодо :
- повинні бути ермітовим (і тільки ермітова матриця робіт, дивцього обговорення в чаті).
- Власні значення A повинні бути в [ 0 , 1 ) (див.Квантову оцінку фази та алгоритм HHL - потрібні знання про власні значення?)
- повинна бути ефективно здійсненною. На даний момент єдиними відомими матрицями, які задовольняють цю властивість, є:
- місцеві гамільтоніани (див. Універсальні квантові симулятори (Lloyd, 1996) ).
- -різкі гамільтоніани (див.Адіабатичний квантовий стан генерування танульовізнання статистики (Aharonov & Ta-Shma, 2003)).
Обмеження на :
- повинні бути ефективно получаютсом. Це стосується:
- Конкретні вирази . Наприклад держава | б ⟩ = п ⨂ я = 0 ( | 0 ⟩ + | 1 ⟩
ефективно готується.
- , що представляє Дискретизація з ефективно інтегрованим розподілом ймовірностей (дивСтворення накладеньякі відповідають ефективно інтегруються імовірнісних розподілів (Grover & Rudolph, 2002)).
- Конкретні вирази . Наприклад держава | б ⟩ = п ⨂ я = 0 ( | 0 ⟩ + | 1 ⟩
ефективно готується.
Обмеження на (вихід):
Запитання: Беручи до уваги всі ці обмеження і уявляючи, що ми знаходимося у 2050 році (а може, у 2025 році, хто знає?) З великомасштабними квантовими мікросхемами, які мають стійкі до відмов (тобто, ми не обмежені апаратним забезпеченням), які реальні проблеми Чи може алгоритм HHL вирішити (включаючи проблеми, коли HHL використовується лише як підпрограма)?
Мені відомий документ « Конкретний аналіз ресурсів алгоритму квантової лінійної системи, який використовується для обчислення перерізу електромагнітного розсіювання двовимірної цілі (Scherer, Valiron, Mau, Alexander, van den Berg & Chapuran, 2016) та відповідної реалізації в мова програмування Quipper і я шукаю інші приклади реального світу , де HHL б бути застосована на практиці. Мені не потрібен опублікований папір, навіть не опублікований папір, я просто хочу мати приклади реальних випадків використання.
Редагувати:
Навіть якщо мене цікавлять усі випадки використання, я б віддав перевагу прикладам, де HHL безпосередньо використовується, тобто не використовується як підпрограма іншого алгоритму.
Мене ще більше цікавлять приклади лінійних систем, що є результатом дискретизації диференціального оператора, який можна було б вирішити за допомогою HHL.
Але дозвольте ще раз підкреслити, що мене цікавлять усі випадки використання (підпрограми чи ні), про які ви знаєте .