Теорема Готтесмана – Книлла - Gottesman–Knill theorem
В квантовые вычисления, то Теорема Готтесмана – Книлла теоретический результат Даниэль Готтесман и Эмануэль Книл, который утверждает, что схемы стабилизатора, схемы, которые состоят только из ворот из нормализатор кубита Группа Паули, также называемая группой Клиффорда, может быть идеально смоделирована за полиномиальное время на вероятностном классическом компьютере. Группа Клиффорда может быть генерируется исключительно с использованием CNOT, Адамара и фазовых вентилей;[1] и поэтому стабилизатор схемы могут быть построены с использованием только этих вентилей.
Причина ускорения квантовых компьютеров еще полностью не изучена[нужна цитата ]. Теорема доказывает, что для всех квантовых алгоритмов с ускорением, основанным на запутанности, которая может быть достигнута с помощью CNOT и Адамар ворота для создания запутанных состояний, одно только такое запутывание не дает никаких вычислительных преимуществ.
Существует более эффективное моделирование схем стабилизатора, чем конструкция оригинальной публикации.[1] с реализацией.[2]
Теорема Готтесмана – Книлла была опубликована в единственной авторской статье Готтесмана, в которой он приписывает Книллу результат в частном общении.[3]
Официальное заявление
Теорема: квантовую схему, использующую только следующие элементы, можно эффективно смоделировать на классическом компьютере:
- Подготовка кубиты в вычислительных базисных состояниях,
- Квантовые ворота из группы Клиффорда (Ворота Адамара, контролируемые ворота НЕ, Phase Gate) и
- Измерения в расчетной базе.
Теорема Готтесмана – Книлла показывает, что даже некоторые высокоэффективные запутанный состояния можно эффективно моделировать. Некоторые важные типы квантовых алгоритмов используют только вентили Клиффорда, наиболее важные из которых - стандартные алгоритмы очистки запутанности и квантовой коррекции ошибок. С практической точки зрения схемы стабилизатора моделировались в O (п бревноп) время с помощью состояние графика формализм.
Смотрите также
Рекомендации
- ^ а б Ааронсон, Скотт; Готтесман, Даниэль (2004). «Улучшено моделирование схем стабилизатора». Phys. Ред. А. 70 (5): 052328. arXiv:Quant-ph / 0406196. Bibcode:2004PhRvA..70e2328A. Дои:10.1103 / Physreva.70.052328.
- ^ Ааронсон, Скотт; Готтесман, Даниэль. «ТЭЦ: CNOT-Фаза Адамара». Скоттааронсон. Получено 19 сентября 2017.
- ^ Готтесман, Даниэль (1998). «Представление Гейзенберга о квантовых компьютерах». arXiv:Quant-ph / 9807006v1. Bibcode:1998квант.ч..7006Г. Цитировать журнал требует
| журнал =
(помощь)
- С. Андерс и Х. Дж. Бригель (2006). «Быстрое моделирование схем стабилизатора с использованием графического представления». Phys. Ред. А. 73: 022334. arXiv:Quant-ph / 0504117v2. Bibcode:2006PhRvA..73b2334A. Дои:10.1103 / PhysRevA.73.022334.
- Нильсен, Майкл А.; Чуанг, Исаак Л. (2010). Квантовые вычисления и квантовая информация (2-е изд.). Кембридж: Издательство Кембриджского университета. ISBN 978-1-107-00217-3. OCLC 844974180.