1Департамент информатики, Университет Сассекса, Великобритания
2Quantinuum (Cambridge Quantum), Terrington House, 13-15 Hills Rd, Кембридж, CB2 1NL, Великобритания
3Департамент компьютерных наук и технологий, Кембриджский университет, Великобритания
Находите эту статью интересной или хотите обсудить? Scite или оставить комментарий на SciRate.
Абстрактные
Эта статья основана на идее моделирования цепей стабилизатора посредством преобразований {разложений квадратичной формы}. Это представление квантового состояния, которое задает формулу для расширения в стандартном базисе, описывающую действительные и мнимые относительные фазы с использованием полинома степени 2 по целым числам. Мы показываем, как, умело управляя представлением разложения квадратичной формы, мы можем моделировать отдельные операции стабилизатора за $mathcal{O}(n^2)$ времени, что соответствует общей сложности других методов моделирования [1,2,3]. Наши методы обеспечивают экономию времени при моделировании одновременных измерений всех (или почти всех) кубитов на стандартной основе. Наши методы также позволяют моделировать однокубитные измерения с детерминированными результатами в постоянное время. Мы также описываем, как эти границы могут быть ужесточены, когда разложение состояния в стандартном базисе имеет относительно мало членов (имеет низкий «ранг») или может быть задано разреженными матрицами. В частности, это позволяет нам смоделировать измерение синдрома "локального" стабилизатора во времени $mathcal{O}(n)$ для кода стабилизатора, подверженного шуму Паули, --- сопоставляя то, что возможно с использованием методов, разработанных Гидни [4] без необходимости сохранять, какие операции были смоделированы до сих пор.
► Данные BibTeX
► Рекомендации
[1] С. Ааронсон и Д. Готтесман, «Улучшенное моделирование схем стабилизатора», Physical Review A, vol. 70, нет. 5 ноября 2004 г. [Онлайн]. Доступно: https://doi.org/10.1103/physreva.70.052328 0pt.
https: / / doi.org/ 10.1103 / physreva.70.052328
[2] С. Андерс и Х. Дж. Бригель, «Быстрое моделирование схем стабилизатора с использованием представления графических состояний», Physical Review A, vol. 73, нет. 2 февраля 2006 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevA.73.022334 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.73.022334
[3] С. Бравый, Г. Смит и Дж. А. Смолин, «Торговля классическими и квантовыми вычислительными ресурсами», Physical Review X, vol. 6, нет. 2 июня 2016 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevX.6.021043 0pt.
https: / / doi.org/ 10.1103 / PhysRevX.6.021043
[4] К. Гидни, «Стим: симулятор схемы быстрого стабилизатора», Quantum, vol. 5, с. 497, июль 2021 г. [Онлайн]. Доступно: https://doi.org/10.22331/q-2021-07-06-497 0pt.
https://doi.org/10.22331/q-2021-07-06-497
[5] П. Шор, «Алгоритмы квантовых вычислений: дискретные логарифмы и факторизация», стр. 124–134, 1994. [Онлайн]. Доступно: https://doi.org/10.1109/SFCS.1994.365700 0pt.
https: / / doi.org/ 10.1109 / SFCS.1994.365700
[6] Л.К. Гровер, ``Быстрый квантово-механический алгоритм для поиска в базе данных'', в Трудах двадцать восьмого ежегодного симпозиума ACM по теории вычислений, сер. СТОК '96. Нью-Йорк, штат Нью-Йорк, США: Ассоциация вычислительной техники, 1996, с. 212–219. [В сети]. Доступно: https://doi.org/10.1145/237814.237866 0pt.
https: / / doi.org/ 10.1145 / 237814.237866
[7] Д. Готтесман, «Гейзенберговское представление квантовых компьютеров», электронные издания arXiv, июль 1998 г. [Онлайн]. Доступно: https://doi.org/10.48550/ARXIV.QUANT-PH/9807006 0pt.
https:///doi.org/10.48550/ARXIV.QUANT-PH/9807006
[8] С. Дж. Девитт, У. Дж. Манро и К. Немото, «Квантовая коррекция ошибок для начинающих», Reports on Progress in Physics, vol. 76, нет. 7, с. 076001, июнь 2013 г. [Онлайн]. Доступно: http://doi.org/10.1088/0034-4885/76/7/076001 0pt.
https://doi.org/10.1088/0034-4885/76/7/076001
[9] Б.М. Терхал, ``Квантовая коррекция ошибок для квантовой памяти'', Reviews of Modern Physics, vol. 87, нет. 2, с. 307–346, апрель 2015 г. [Онлайн]. Доступно: http://doi.org/10.1103/RevModPhys.87.307 0pt.
https: / / doi.org/ 10.1103 / RevModPhys.87.307
[10] Дж. Рофф, «Квантовая коррекция ошибок: вводное руководство», Contemporary Physics, vol. 60, нет. 3, с. 226–245, июль 2019 г. [Онлайн]. Доступно: http://doi.org/10.1080/00107514.2019.1667078 0pt.
https: / / doi.org/ 10.1080 / 00107514.2019.1667078
[11] С. Брави, Д. Браун, П. Кальпин, Э. Кэмпбелл, Д. Госсет и М. Ховард, «Моделирование квантовых схем с помощью разложения стабилизаторов низкого ранга», Quantum, vol. 3, с. 181, сентябрь 2019 г. [Онлайн]. Доступно: http://doi.org/10.22331/q-2019-09-02-181 0pt.
https://doi.org/10.22331/q-2019-09-02-181
[12] Н. де Бодрап, В. Данос, Э. Кашефи и М. Реттелер, «Разложения по квадратичным формам для унитарных единиц», в книге «Теория квантовых вычислений, связи и криптографии», Ю. Кавано и М. Моска, ред. Берлин, Гейдельберг: Springer Berlin Heidelberg, 2008, стр. 29–46. [В сети]. Доступно: https://doi.org/10.1007/978-3-540-89304-2_4 0pt.
https://doi.org/10.1007/978-3-540-89304-2_4
[13] А.Р. Калдербанк и П.В. Шор, «Существуют хорошие квантовые коды, исправляющие ошибки», Physical Review A, vol. 54, нет. 2, с. 1098–1105, август 1996 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevA.54.1098 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.54.1098
[14] Дж. Деэн и Б. де Мур, "Группа Клиффорда, состояния стабилизатора, линейные и квадратичные операции над GF(2)," Physical Review A, vol. 68, нет. 4, с. 042318, октябрь 2003 г. [Онлайн]. Доступно: https://doi.org/10.1103/physreva.68.042318 0pt.
https: / / doi.org/ 10.1103 / physreva.68.042318
[15] М. Ван Ден Нест, «Классическое моделирование квантовых вычислений, теорема Геттсмана-Нилла и немного больше», Quantum Info. Вычисл., вып. 10, нет. 3 марта 2010 г. [Онлайн]. Доступно: https://doi.org/10.26421/QIC10.3-4-6 0pt.
https: / / doi.org/ 10.26421 / QIC10.3-4-6
[16] Дж. Бермеджо-Вега и М. Ван Ден Нест, «Классическое моделирование схем нормализатора абелевой группы с промежуточными измерениями», Quantum Information and Computation, vol. 14, нет. 3 и 4, стр. 181–0216, март 2014 г. [Онлайн]. Доступно: https://doi.org/10.26421/QIC14.3-4-1 0pt.
https: / / doi.org/ 10.26421 / QIC14.3-4-1
[17] М. Эми, «К крупномасштабной функциональной проверке универсальных квантовых схем», Electronic Proceedings in Theoretical Computer Science, vol. 287, с. 1–21 января 2019 г. [Онлайн]. Доступно: http://doi.org/10.4204/EPTCS.287.1 0pt.
https: / / doi.org/ 10.4204 / EPTCS.287.1
[18] Д. Гросс, "Теорема Хадсона для конечномерных квантовых систем", Журнал математической физики, том. 47, нет. 12, с. 122107, декабрь 2006 г. [Онлайн]. Доступно: http://doi.org/10.1063/1.2393152 0pt.
https: / / doi.org/ 10.1063 / 1.2393152
[19] Н. де Бодрап и С. Герберт, «Квантовое линейное сетевое кодирование для распределения запутанности в ограниченных архитектурах», Quantum, vol. 4, с. 356, ноя 2020. [Онлайн]. Доступно: https://doi.org/10.22331/q-2020-11-01-356 0pt.
https://doi.org/10.22331/q-2020-11-01-356
[20] К. Гуан и К.В. Риган, «Схемы стабилизатора, квадратичные формы и ранг вычислительной матрицы», 2019. [Онлайн]. Доступно: https://doi.org/10.48550/arxiv.1904.00101 0pt.
https:///doi.org/10.48550/arxiv.1904.00101
[21] М. А. Нильсен и И. Л. Чуанг, Квантовые вычисления и квантовая информация: издание, посвященное 10-летию, 10-е изд. США: Издательство Кембриджского университета, 2011. [Онлайн]. Доступно: https:///doi.org/10.1017/CBO9780511976667 0pt.
https: / / doi.org/ 10.1017 / CBO9780511976667
[22] Р. Джожа и М. Ван Ден Нест, «Сложность классического моделирования расширенных схем Клиффорда», Quantum Info. Вычисл., вып. 14, нет. 7 и 8, с. 633–648, май 2014 г. [Онлайн]. Доступно: https://doi.org/10.48550/arxiv.1305.6190 0pt.
https:///doi.org/10.48550/arxiv.1305.6190
[23] С. Бравий и Д. Госсет, «Улучшенное классическое моделирование квантовых схем, в которых доминируют вентили Клиффорда», Physical Review Letters, vol. 116, нет. 25 июня 2016 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevLett.116.250501 0pt.
https: / / doi.org/ 10.1103 / PhysRevLett.116.250501
[24] А.Г. Фаулер, М. Мариантони, Дж. М. Мартинис и А. Н. Клеланд, «Поверхностные коды: на пути к практическим крупномасштабным квантовым вычислениям», Physical Review A, vol. 86, нет. 3 сентября 2012 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevA.86.032324 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.86.032324
[25] А. Дж. Ландал, Дж. Т. Андерсон и П. Р. Райс, «Отказоустойчивые квантовые вычисления с цветовыми кодами», 2011. [Онлайн]. Доступно: https://doi.org/10.48550/arxiv.1108.5738 0pt.
https:///doi.org/10.48550/arxiv.1108.5738
[26] Р. Чао и Б.В. Райхардт, «Квантовая коррекция ошибок только с двумя дополнительными кубитами», Physical Review Letters, vol. 121, нет. 5 августа 2018 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevLett.121.050502 0pt.
https: / / doi.org/ 10.1103 / PhysRevLett.121.050502
[27] П. В. Шор, «Отказоустойчивые квантовые вычисления», в трудах 37-го ежегодного симпозиума по основам информатики, сер. ФОКС '96. США: Компьютерное общество IEEE, 1996, стр. 56. [Онлайн]. Доступно: https://doi.org/10.1109/SFCS.1996.548464 0pt.
https: / / doi.org/ 10.1109 / SFCS.1996.548464
[28] Д. П. Ди Винченцо и П. Алиферис, «Эффективные отказоустойчивые квантовые вычисления с медленными измерениями», Physical Review Letters, vol. 98, нет. 2 января 2007 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevLett.98.020501 0pt.
https: / / doi.org/ 10.1103 / PhysRevLett.98.020501
[29] CH Bennett, G. Brassard, S. Popescu, B. Schumacher, JA Smolin и WK Wootters, "Очистка шумовой запутанности и точная телепортация через шумные каналы", Phys. Преподобный Lett., т. 76, с. 722, стр. 725–1996, январь 10.1103 г. [Онлайн]. Доступно: https://doi.org/76.722/physrevlett.0 XNUMXpt.
https: / / doi.org/ 10.1103 / physrevlett.76.722
[30] Р. Нигматуллин, К. Дж. Балланс, Н. де Бодрап и С. К. Бенджамин, «Минимально сложные ионные ловушки как модули для квантовой связи и вычислений», New Journal of Physics, vol. 18, нет. 10, с. 103028, 2016. [Онлайн]. Доступно: https://doi.org/10.1088/1367-2630/18/10/103028 0pt.
https://doi.org/10.1088/1367-2630/18/10/103028
[31] В. Дюр и Х. Дж. Бригель, «Очистка запутанности и коррекция квантовых ошибок», «Отчеты о прогрессе в физике», том. 70, нет. 8, с. 1381–1424, июль 2007 г. [Онлайн]. Доступно: http://doi.org/10.1088/0034-4885/70/8/R03 0pt.
https://doi.org/10.1088/0034-4885/70/8/R03
[32] CM Dawson, AP Hines, D. Mortimer, HL Haselgrove, MA Nielsen и TJ Osborne, ``Квантовые вычисления и полиномиальные уравнения над конечным полем Z2'' Quantum Info. Вычисл., вып. 5, нет. 2, с. 102–112, март 2005 г. [Онлайн]. Доступно: https://doi.org/10.48550/arxiv.quant-ph/0408129 0pt.
https:///doi.org/10.48550/arxiv.quant-ph/0408129
Arxiv: колич-фот / 0408129
[33] М. Хейн, Дж. Эйсерт и Х. Дж. Бригель, «Многосторонняя запутанность в состояниях графа», Physical Review A, vol. 69, нет. 6 июня 2004 г. [Онлайн]. Доступно: http://doi.org/10.1103/PhysRevA.69.062311 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.69.062311
[34] М. Хейн, В. Дюр, Дж. Эйсерт, Р. Рауссендорф, М. Нест и Х. Бригель, ``Запутанность в состояниях графа и ее приложения'', Квантовые компьютеры, алгоритмы и хаос, том. 162, 03 2006. [Онлайн]. Доступно: https://doi.org/10.3254/978-1-61499-018-5-115 0pt.
https://doi.org/10.3254/978-1-61499-018-5-115
[35] LE Heyfron и ET Campbell, «Эффективный квантовый компилятор, уменьшающий количество T», Quantum Science and Technology, vol. 4, нет. 1, с. 015004, сен 2018. [Онлайн]. Доступно: https://doi.org/10.1088/2058-9565/aad604 0pt.
https: / / doi.org/ 10.1088 / 2058-9565 / aad604
[36] Д. Готтесман и И. Л. Чуанг, «Демонстрация жизнеспособности универсальных квантовых вычислений с использованием телепортации и однокубитных операций», Nature, vol. 402, нет. 6760, стр. 390–393, 1999. [Онлайн]. Доступно: https://doi.org/10.1038/46503 0pt.
https: / / doi.org/ 10.1038 / 46503
[37] Б. Цзэн, К. Чен и И. Л. Чуанг, ``Операции Полуклиффорда, структура иерархии ${mathcal{c}}_{k}$ и сложность вентилей для отказоустойчивых квантовых вычислений'', Phys. Преподобный А, том. 77, с. 042313, апрель 2008 г. [Онлайн]. Доступно: https://doi.org/10.1103/PhysRevA.77.042313 0pt.
https: / / doi.org/ 10.1103 / PhysRevA.77.042313
[38] А. Эджингтон, «Simplex: быстрый симулятор схем Клиффорда». [Онлайн]. Доступно: https://github.com/CQCL/simplex/releases/tag/v1.4.0 0pt.
https:///github.com/CQCL/simplex/releases/tag/v1.4.0
Цитируется
[1] Мэтью Эми, Оуэн Беннетт-Гиббс и Нил Дж. Росс, «Символический синтез схем Клиффорда и не только», Arxiv: 2204.14205.
Приведенные цитаты из САО / НАСА ADS (последнее обновление успешно 2022-09-15 21:50:22). Список может быть неполным, поскольку не все издатели предоставляют подходящие и полные данные о цитировании.
On Цитируемый сервис Crossref Данные о цитировании работ не найдены (последняя попытка 2022-09-15 21:50:20).
Эта статья опубликована в Quantum под Creative Commons Attribution 4.0 International (CC BY 4.0) лицензия. Авторское право остается за первоначальными правообладателями, такими как авторы или их учреждения.
