단일 큐비트 게이트 근사를 통한 더 짧은 양자 회로

단일 큐비트 게이트 근사를 통한 더 짧은 양자 회로

단일 큐비트 게이트 근사화 PlatoBlockchain Data Intelligence를 통한 더 짧은 양자 회로. 수직 검색. 일체 포함.

바딤 클류치니코프1,2, 크리스틴 라우터3, 로미 민코4,5, 아담 패츠닉1, 그리고 크리스토프 프티6,7

1Microsoft Quantum, 미국 워싱턴 주 레드먼드
2Microsoft Quantum, 토론토, 온타리오, 캘리포니아
3Facebook AI Research, 미국 워싱턴주 시애틀
4옥스포드 대학교, 옥스포드, 영국
5영국 브리스톨 브리스톨 대학교 하일브론 수학 연구 연구소
6버밍엄 대학교, 버밍엄, 영국
7Université Libre de Bruxelles, 브뤼셀, 벨기에

이 논문이 흥미 롭거나 토론하고 싶습니까? SciRate에 댓글을 달거나 댓글 남기기.

추상

우리는 문제를 새로운 크기 근사 문제로 줄여 시퀀스 길이를 7/9배로 즉시 개선함으로써 유한 범용 게이트 세트에서 일반 단일 큐비트 유니터리를 근사하는 새로운 절차를 제공합니다. 작품 확장 [28] 및 [15], 우리는 폴백을 해결하기 위해 채널의 확률적 혼합을 취하는 것을 보여줍니다.13] 및 크기 근사 문제는 근사 비용의 0.23배를 절약합니다. 특히 Clifford+$sqrt{mathrm{T}}$ 게이트 세트에서 평균 비-Clifford 게이트 수 $2log_1(2.13/varepsilon)+0.56$ 및 T-수 $2log_1(5.3/varepsilon)+XNUMX을 달성합니다. $는 다이아몬드 표준 정확도 $varepsilon$에 대해 혼합 대체 근사치를 사용합니다.
이 백서는 이러한 새로운 통찰력 외에도 게이트 근사에 대한 전체적인 개요를 제공합니다. 일반적인 내결함성 게이트 세트(V, Clifford+T 및 Clifford+$sqrt{mathrm{T}}$)를 사용하는 교육학적 예를 제공하여 일부 쿼터니언 대수와 관련된 일반 게이트 세트에 대한 게이트 근사에 대한 엔드투엔드 절차를 제공합니다. . 또한 Clifford+T 및 Clifford+$sqrt{mathrm{T}}$ 게이트 세트에 대한 자세한 수치 결과도 제공합니다. 논문을 독립적으로 유지하기 위한 노력의 일환으로 정수점 열거 및 상대 노름 방정식 해결을 위한 관련 알고리즘의 개요를 포함합니다. 우리는 부록에서 크기 근사 문제의 다양한 추가 응용과 정확한 합성을 위한 향상된 알고리즘을 제공합니다.

► BibTeX 데이터

► 참고 문헌

[1] Frank Arute, Kunal Arya, Ryan Babbush, Dave Bacon, Joseph C. Bardin, Rami Barends, Rupak Biswas, Sergio Boixo, Fernando G. S. L. Brandao, David A. Buell, Brian Burkett, Yu Chen, Zijun Chen, Ben Chiaro, Roberto Collins, William Courtney, Andrew Dunsworth, Edward Farhi, Brooks Foxen, Austin Fowler, Craig Gidney, Marissa Giustina, Rob Graff, Keith Guerin, Steve Habegger, Matthew P. Harrigan, Michael J. Hartmann, Alan Ho, Markus Hoffmann, Trent Huang, Travis S. Humble, Sergei V. Isakov, Evan Jeffrey, Zhang Jiang, Dvir Kafri, Kostyantyn Kechedzhi, Julian Kelly, Paul V. Klimov, Sergey Knysh, Alexander Korotkov, Fedor Kostritsa, David Landhuis, Mike Lindmark, Erik Lucero, Dmitry Lyakh, Salvatore Mandrà, Jarrod R. McClean, Matthew McEwen, Anthony Megrant, Xiao Mi, Kristel Michielsen, Masoud Mohseni, Josh Mutus, Ofer Naaman, Matthew Neeley, Charles Neill, Murphy Yuezhen Niu, Eric Ostby, Andre Petukhov, John C. Platt, Chris Quintana, Eleanor G. Rieffel, Pedram Roushan, Nicholas C. Rubin, Daniel Sank, Kevin J. Satzinger, Vadim Smelyanskiy, Kevin J. Sung, Matthew D. Trevithick, Amit Vainsencher, Benjamin Villalonga, Theodore White, Z. Jamie Yao , Ping Yeh, Adam Zalcman, Hartmut Neven 및 John M. Martinis, "프로그램 가능한 초전도 프로세서를 사용한 양자 우위" Nature 574, 505-510 (2019).
https:/​/​doi.org/​10.1038/​s41586-019-1666-5

[2] Wojciech Banaszczyk "$R^n$의 볼록체 및 극성 상호 격자의 부등식" Discrete & Computational Geometry 13, 217–231 (1995).
https : / /doi.org/ 10.1007 / BF02574039

[3] Adriano Barenco, Charles H. Bennett, Richard Cleve, David P. DiVincenzo, Norman Margolus, Peter Shor, Tycho Sleator, John A. Smolin 및 Harald Weinfurter, “양자 계산을 위한 기본 게이트” Physical Review A 52, 3457–3467 ( 1995).
https : / /doi.org/10.1103/ PhysRevA.52.3457

[4] Andreas Blass, Alex Bocharov 및 Yuri Gurevich, "축 회전을 위한 최적의 ancilla-free Pauli+V 회로" Journal of Mathematical Physics 56, 122201(2015).
https : / /doi.org/ 10.1063 / 1.4936990
arXiv : 1412.1033

[5] Michael Beverland, Earl Campbell, Mark Howard 및 Vadym Kliuchnikov, "양자 계산을 위한 비Clifford 리소스의 하한" Quantum Science and Technology 5, 035009(2020).
https : / /doi.org/ 10.1088 / 2058-9565 / ab8963
arXiv : 1904.01124

[6] Michael E. Beverland, Prakash Murali, Matthias Troyer, Krysta M. Svore, Torsten Hoefler, Vadym Kliuchnikov, Guang Hao Low, Mathias Soeken, Aarthi Sundaram 및 Alexander Vaschillo, "실용적인 양자 이점으로 확장하기 위한 요구 사항 평가"(2022).
https://​/​doi.org/​10.48550/​arXiv.2211.07629
arXiv : 2211.07629

[7] Jean Bourgainand Alex Gamburd "SU$(d)$의 스펙트럼 간격 정리" 유럽 수학 학회지 14, 1455-1511(2012).
https : / /doi.org/10.4171/JEMS/ 337

[8] Alex Bocharov, Yuri Gurevich 및 Krysta M. Svore, "단일 큐비트 게이트를 V 기반 회로로 효율적으로 분해" 물리적 검토 A 88, 1–13(2013).
https : / /doi.org/10.1103/ PhysRevA.88.012313
arXiv : 1303.1411

[9] Sergey Bravyian과 Alexei Kitaev "이상적인 Clifford 게이트와 시끄러운 앤실라를 사용한 범용 양자 계산" Phys. A 71, 022316(2005).
https : / /doi.org/10.1103/ PhysRevA.71.022316

[10] Sergey Bravyiand Robert König "로컬 안정기 코드에 대한 위상학적으로 보호되는 게이트 분류" Phys. Lett 목사. 110, 170503(2013).
https : / /doi.org/10.1103/ PhysRevLett.110.170503

[11] Michael E. Beverland, Aleksander Kubica 및 Krysta M. Svore, "보편성 비용: 색상 코드를 사용한 상태 증류 및 코드 전환 오버헤드에 대한 비교 연구" PRX Quantum 2, 020341(2021).
https : / / doi.org/ 10.1103 / PRXQuantum.2.020341

[12] Alex Bocharov, Martin Roetteler 및 Krysta M Svore, "성공할 때까지 보편적인 반복 양자 회로의 효율적인 합성" 물리적 검토 편지 114, 080502(2015).
https : / /doi.org/10.1103/ PhysRevLett.114.080502
arXiv : 1404.5320

[13] Alex Bocharov, Martin Roetteler 및 Krysta M. Svore, “폴백을 사용한 확률적 양자 회로의 효율적인 합성” Physical Review A 91, 052317(2015).
https : / /doi.org/10.1103/ PhysRevA.91.052317
arXiv : 1409.3552

[14] Vera von Burg, Guang Hao Low, Thomas Häner, Damian S. Steiger, Markus Reiher, Martin Roetteler 및 Matthias Troyer, "양자 컴퓨팅 강화된 계산 촉매작용" Phys. 연구3, 033055(2021).
https : / /doi.org/10.1103/ PhysRevResearch.3.033055

[15] Earl Campbell "유닛을 혼합하여 양자 컴퓨팅을 위한 더 짧은 게이트 시퀀스" 물리적 검토 A 95(2017).
https : / /doi.org/10.1103/ PhysRevA.95.042306
arXiv : 1612.02689

[16] Andrew M. Childs, Yuan Su, Minh C. Tran, Nathan Wiebe 및 Shuchen Zhu, "정류자 스케일링을 사용한 트로터 오류 이론" Phys. 개정판 X 11, 011020(2021).
https : / /doi.org/10.1103/ PhysRevX.11.011020

[17] Denis X. Charles, Kristin E. Lauter 및 Eyal Z. Goren, "확장 그래프의 암호화 해시 함수" Journal of Cryptology 22, 93–113 (2009).
https : / /doi.org/ 10.1007 / s00145-007-9002-x

[18] Henri Cohen “계산수 이론의 고급 주제” Springer New York(2000).
https:/​/​doi.org/​10.1007/​978-1-4419-8489-0

[19] 헨리 코헨(Henri Cohen) “계산 대수학 수론 과정” Springer Berlin Heidelberg(1993).
https:/​/​doi.org/​10.1007/​978-3-662-02945-9

[20] 더 짧은 양자 회로 데이터 세트(2023).
https:/​/​azure-Quantum-notebooks.azurefd.net/​publicdata/​shorter-Quantum-circuits-dataset.tar

[21] Bryan Eastinand Emanuel Knill "횡단 인코딩 양자 게이트 세트에 대한 제한 사항" Phys. Lett 목사. 102, 110502(2009).
https : / /doi.org/10.1103/ PhysRevLett.102.110502

[22] Simon Forest, David Gosset, Vadym Kliuchnikov 및 David McKinnon, "Clifford-cyclotomic 게이트 세트에 대한 단일 큐비트 단위체의 정확한 합성" Journal of Mathematical Physics 56, 082201 (2015).
https : / /doi.org/ 10.1063 / 1.4927100

[23] Daniel Gottesman 및 Isaac L. Chuang "순간 이동 및 단일 큐비트 작업을 사용한 범용 양자 계산의 실행 가능성 입증" Nature 402, 390–393(1999).
https : / /doi.org/ 10.1038 / 46503

[24] Craig Gidney 및 Austin G. Fowler "촉매된 $|CCZ⟩$에서 $2|T⟩$로 변환되는 효율적인 마법 상태 공장" Quantum 3, 135(2019).
https:/​/​doi.org/​10.22331/​q-2019-04-30-135

[25] Joachim von zur Gathenand Jurgen Gerhard “현대 컴퓨터 대수학” Cambridge University Press (2013).
https : / /doi.org/ 10.1017 / CBO9781139856065

[26] Craig Gidney "양자 추가 비용 절반" Quantum 2, 74(2018).
https:/​/​doi.org/​10.22331/​q-2018-06-18-74

[27] David Gosset, Vadym Kliuchnikov, Michele Mosca 및 Vincent Russo, "T-Count를 위한 알고리즘" Quantum Info. 계산. 14, 1261-1276(2014).
https://​/​doi.org/​10.48550/​arXiv.1308.4134

[28] Matthew B. Hastings "게이트 합성 오류를 일관되지 않은 오류로 전환" Quantum Information and Computation 17, 488–494 (2017).
https://​/​doi.org/​10.48550/​arXiv.1612.01011
arXiv : 1612.01011

[29] Aram W. Harrow, Benjamin Recht, Isaac L. Chuang,“양자 문의 효율적인 이산 근사치”Journal of Mathematical Physics 43, 4445–4451 (2002).
https : / /doi.org/ 10.1063 / 1.1495899

[30] Kenneth Ireland와 Michael Rosen “현대 정수론에 대한 고전적 입문” Springer New York(1990).
https:/​/​doi.org/​10.1007/​978-1-4757-2103-4

[31] Raban Iten, Roger Colbeck, Ivan Kukuljan, Jonathan Home, Matthias Christandl, "등거리 변환을 위한 양자 회로" Phys. A 93, 032318(2016).
https : / /doi.org/10.1103/ PhysRevA.93.032318

[32] Raban Iten, Oliver Reardon-Smith, Emanuel Malvetti, Luca Mondada, Gabrielle Pauvert, Ethan Redmond, Ravjot Singh Kohli 및 Roger Colbeck, "UniversalQCompiler 소개"(2021).
https://​/​doi.org/​10.48550/​arXiv.1904.01072
arXiv : 1904.01072

[33] Nathaniel Johnston, David W. Kribs 및 Vern I. Paulsen, "완전 경계 지도 이론을 통해 양자 연산을 위한 안정화된 표준 계산" Quantum Info. 계산. 9, 16–35(2009).
https://​/​doi.org/​10.48550/​arXiv.0711.3636

[34] Aleksandr Yakovlevich Khinchin "크로네커 근사 이론의 정량적 공식화" Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya 12, 113–122 (1948).

[35] V Kliuchnikov, A Bocharov, M Roetteler 및 J Yard, "Qubit 단위체 근사를 위한 프레임워크"(2015).
https://​/​doi.org/​10.48550/​arXiv.1510.03888
arXiv : 1510.03888

[36] Phillip Kaye, Raymond Laflamme 및 Michele Mosca, “양자 컴퓨팅 소개” Oxford University Press(2006).
https : / /doi.org/ 10.1093 / oso / 9780198570004.001.0001

[37] V Kliuchnikov, D Maslov 및 M Mosca, "상수 보조 큐비트를 사용하는 Clifford 및 T 회로에 의한 단일 큐비트 단위체의 점근적 최적 근사화" 물리적 검토 편지 110, 190502(2013).
https : / /doi.org/10.1103/ PhysRevLett.110.190502
arXiv : 1212.0822

[38] Vadym Kliuchnikov, Dmitri Maslov 및 Michele Mosca, "Clifford 및 T Gates에서 생성된 단일 큐비트 단위체의 빠르고 효율적이고 정확한 합성" Quantum Info. 계산. 13, 607-630(2013).
https://​/​doi.org/​10.48550/​arXiv.1206.5236

[39] V Kliuchnikov 및 J Yard "정확한 합성을 위한 프레임워크"(2015).
https://​/​doi.org/​10.48550/​arXiv.1504.04350
arXiv : 1504.04350

[40] Guang Hao Low와 Isaac L. Chuang “양자 신호 처리를 통한 최적의 해밀턴 시뮬레이션” Phys. Lett 목사. 118, 010501(2017).
https : / /doi.org/10.1103/ PhysRevLett.118.010501

[41] Franz Lemmermeyer "대수적 숫자 필드의 유클리드 알고리즘" Expositiones Mathematicae 13, 385–416 (1995).

[42] H. W. Lenstra "고정된 개수의 변수를 사용한 정수 프로그래밍" 운영 연구 수학 8, 538-548(1983).
https : / /doi.org/ 10.1287 / moor.8.4.538

[43] Daniel Litinski "표면 코드 게임: 격자 수술을 사용한 대규모 양자 컴퓨팅" Quantum 3, 128(2019).
https:/​/​doi.org/​10.22331/​q-2019-03-05-128

[44] A. K. Lenstra, H. W. Lenstra 및 L. Lovász, "유리 계수로 다항식 인수분해" Mathematische Annalen 261, 515–534 (1982).
https : / /doi.org/ 10.1007 / BF01457454

[45] A. Lubotzky, R. Phillips 및 P. Sarnak, "Ramanujan 그래프" Combinatorica 8, 261–277 (1988).
https : / /doi.org/ 10.1007 / BF02126799

[46] Easwar Magesan, Jay M. Gambetta 및 Joseph Emerson, "무작위 벤치마킹을 통한 양자 게이트 특성화"Phys. A 85, 042311 (2012) 개정.
https : / /doi.org/10.1103/ PhysRevA.85.042311

[47] Emanuel Malvetti, Raban Iten 및 Roger Colbeck, "희소 등거리 측정을 위한 양자 회로" Quantum 5, 412(2021).
https:/​/​doi.org/​10.22331/​q-2021-03-15-412

[48] Michael A. Nielsenand Isaac L. Chuang "양자 계산 및 양자 정보" Cambridge University Press(2012).
https : / /doi.org/ 10.1017 / CBO9780511976667

[49] 더 짧은 양자 회로 노트북(2023).
https:/​/​github.com/​microsoft/​Quantum/​blob/​a57178163b64a060d37603355c8a78571075f679/​samples/​azure-quantum/​shorter-quantum-circuits/​shorter-quantum-circuits-dataset.ipynb

[50] Gabriele Nebe, Eric M. Rains, Neil J.A. Sloane, “실제적이고 복잡한 Clifford 그룹” Springer Berlin Heidelberg(2006).
https:/​/​doi.org/​10.1007/​3-540-30731-1_6

[51] 남윤성, Yuan Su, Dmitri Maslov, "O(n log(n)) T 게이트를 사용한 대략적인 양자 푸리에 변환" npj Quantum Information 6, 26 (2020).
https:/​/​doi.org/​10.1038/​s41534-020-0257-5

[52] Christophe Petit, Kristin Lauter 및 Jean-Jacques Quisquater, "LPS 및 Morgenstern 해시 함수의 전체 암호 분석"(2008).
https:/​/​doi.org/​10.1007/​978-3-540-85855-3_18

[53] Eduardo Carvalho Pinto 및 Christophe Petit "LPS Ramanujan 그래프의 더 나은 경로 찾기 알고리즘" Journal of Mathematical Cryptology 12, 191–202(2018).
https://doi.org/10.1515/jmc-2017-0051

[54] Adam Paetznick 및 Krysta M. Svore "성공할 때까지 반복: 단일 큐비트 단위체의 비결정론적 분해" Quantum Information and Computation 14, 1277–1301 (2014).
https://​/​doi.org/​10.48550/​arXiv.1311.1074
arXiv : 1311.1074

[55] Ori Parzanchevski 및 Peter Sarnak "PU를 위한 Super-Golden-Gates(2)" Advances in Mathematics 327, 869–901(2018) David Kazhdan을 기리는 특별책.
https : / / doi.org/ 10.1016 / j.aim.2017.06.022

[56] Neil J. Ross "Z-회전의 최적 Ancilla-Free Clifford+V 근사" Quantum Info. 계산. 15, 932-950(2015).
https://​/​doi.org/​10.48550/​arXiv.1409.4355

[57] Neil J. Rossand Peter Selinger "z 회전의 최적의 ancilla-free Clifford+T 근사" Quantum Information & Computation 15, 932-950 (2015).
https://​/​doi.org/​10.48550/​arXiv.1403.2975
arXiv : 1403.2975

[58] Peter Sarnak "Solvay-Kitaev 정리 및 골든 게이트에 관해 Aaronson 및 Pollington에게 보내는 편지, 2015".
http://​/​publications.ias.edu/​sarnak/​paper/​2637

[59] Naser T Sardari "구체에 대한 강력한 근사의 복잡성" 국제 수학 연구 공지 2021, 13839-13866(2021).
https:/​/​doi.org/​10.1093/​imrn/​rnz233

[60] Peter Selinger "단일 큐비트 연산자의 효율적인 Clifford+T 근사" Quantum Information & Computation 15, 159–180 (2015).
https://​/​doi.org/​10.48550/​arXiv.1212.6253
arXiv : 1212.6253

[61] 재커리 스티어(Zachary Stier) 개인 커뮤니케이션(2020).

[62] Jean-Pierre Tillichand Gilles Zémor "LPS 확장 그래프 해시 함수에 대한 충돌" 암호화 기법 254-269의 이론 및 응용에 관한 연례 국제 회의(2008).
https:/​/​doi.org/​10.1007/​978-3-540-78967-3_15

[63] John Voight “쿼터니언 대수학” Springer International Publishing(2021).
https:/​/​doi.org/​10.1007/​978-3-030-56694-4

[64] 로렌스 C. 워싱턴 “순환계 소개” Springer New York(1997).
https:/​/​doi.org/​10.1007/​978-1-4612-1934-7

[65] John Watrous "The Theory of Quantum Information" Cambridge University Press (2018).
https : / /doi.org/ 10.1017 / 9781316848142

[66] Paul Webster와 Stephen D. Bartlett "위상 안정기 코드에 결함이 있는 내결함성 양자 게이트" Phys. A 102, 022403(2020).
https : / /doi.org/10.1103/ PhysRevA.102.022403

인용

[1] Daniel Litinski 및 Naomi Nickerson, "활성 볼륨: 제한된 비로컬 연결을 사용하는 효율적인 내결함성 양자 컴퓨터를 위한 아키텍처", arXiv : 2211.15465, (2022).

[2] Pascal Baßler, Matthias 지퍼, Christopher Cedzich, Markus Heinrich, Patrick H. Huber, Michael Johanning 및 Martin Kliesch, “시간 최적의 다중 큐비트 게이트를 사용한 합성 및 컴파일”, 퀀텀 7, 984 (2023).

[3] 아키부에 세이세키, 카토 고, 타니 세이이치로, “최적 정확도의 확률적 단일 합성”, arXiv : 2301.06307, (2023).

[4] Thomas Lubinski, Cassandra Granade, Amos Anderson, Alan Geller, Martin Roetteler, Andrei Petrenko 및 Bettina Heim, "실시간 실행을 통한 하이브리드 양자 고전 계산 발전", 물리학의 개척지 10, 940293 (2022).

[5] Seiseki Akibue, Go Kato, Seiichiro Tani, “최적 볼록 근사법을 기반으로 한 확률적 상태 합성”, arXiv : 2303.10860, (2023).

위의 인용은 SAO / NASA ADS (마지막으로 성공적으로 업데이트 됨 2023-12-19 01:59:59). 모든 출판사가 적절하고 완전한 인용 데이터를 제공하지는 않기 때문에 목록이 불완전 할 수 있습니다.

On Crossref의 인용 서비스 인용 작품에 대한 데이터가 없습니다 (최종 시도 2023-12-19 01:59:58).

타임 스탬프 :

더보기 양자 저널