بهینه‌سازی مدارهای کوانتومی با استفاده از مدل محاسبات کوانتومی یک‌طرفه مبتنی بر هندسه الگو
الموضوعات :
مریم اسلامی
1
(دانشگاه صنعتی امیرکبیر)
مرتضي صاحب‌الزماني
2
(دانشگاه صنعتي اميركبير)
مهدي صدیقی
3
(دانشگاه صنعتي اميركبير)
محبوبه هوشمند
4
(دانشگاه آزاد اسلامی، واحد مشهد)
الکلمات المفتاحية: محاسبات کوانتومی مدل محاسبات کوانتومی مبتنی بر اندازه‌گیری مدل محاسبات کوانتومی یک‌طرفه بهینه‌سازی هندسه الگو,
ملخص المقالة :
یک مدل محاسباتی کاملاً کوانتومی که بر مبنای دو مفهوم درهم‌تنیدگی کوانتومی و اندازه‌گیری کوانتومی ارائه شده است، مدل محاسباتی کوانتومی یک‌طرفه WQC)1( نام دارد. محاسبات در مدل WQC1 با الگوهای اندازه‌گیری نمایش داده می‌شوند. به منظور نمایش بهتر الگوهای مربوط از گراف درهم‌تنیدگی استفاده می‌شود که این گراف به همراه مجموعه کیوبیت‌های ورودی و خروجی آن، هندسه الگو نامیده می‌شود. تکنیک‌هایی به منظور بهینه‌سازی الگوهای حاصل از یک مدار کوانتومی در مدل WQC1 ارائه شده است. در کارهای پیشین از مدل WQC1 به منظور بهینه‌سازی مدارهای کوانتومی استفاده شده است. یک مدار کوانتومی (اولیه) به الگوهای WQC1 تبدیل شده و بهینه‌سازی‌های ارائه‌شده در این مدل بر روی آن با استفاده از مجموعه قوانین بازنویسی به صورت ترتیبی بر روی گراف درهم‌تنیدگی حاصل از الگوی مربوط انجام شده و آن را ساده می‌کرد. سپس الگوی ساده‌شده مجدداً به مدار کوانتومی (ثانویه) تبدیل می‌گردید. در این مقاله روش‌های قبلی برای بهینه‌سازی مدارات کوانتومی با استفاده از مدل 1WQC بهبود داده می‌شود. در روش جدید به منظور بهینه‌سازی الگوی 1WQC حاصل از مدار کوانتومی، بر خلاف روش‌های گذشته از هیچ یک از قوانین بازنویسی به منظور ساده‌سازی الگو استفاده نشده و سعی شده است که تنها با بررسی هندسه الگو، تکنیک‌های بهینه‌سازی به صورت همزمان الگوی مربوط را ساده کنند. پس از اجرای عملیات بهینه‌سازی، الگوی مربوطه مجدداً به مدار کوانتومی تبدیل می‌شود و با کاهش کیوبیت‌های کمکی ساده‌تر می‌شود. نتایج نشان می‌دهد معیارهای هزینه مدار کوانتومی در روش جدید در مقایسه با روش‌های پیشین کاهش یافته است.
[1] M. Nakahara and T. Ohmi, Quantum Computing: From Linear Algebra to Physical Realizations, Taylor & Francis, 2008.
[2] M. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2011.
[3] G. Benenti, G. Strini, and G. Casati, Principles of Quantum Computation and Information, World Scientific, 2004.
[4] P. W. Shor, "Algorithms for quantum computation: discrete logarithms and factoring," in Proc. Foundations of Computer Science, Proc. of the 35th Annual Symp. on Foundations of Computer Science, pp. 124-134, Nov. 1994.
[5] L. K. Grover, "A fast quantum mechanical algorithm for database search," in Proc. of ACM Symp. on Theory of Computing, pp. 183-191, 22-24 May 1996.
[6] R. Landauer, "Irreversibility and heat generation in the computing process," IBM J. of Research and Development, vol. 5, no. 3, pp. 183-191, Jul. 1961.
[7] R. Jozsa, "An introduction to measurement based quantum computation," NATO Science Series, III: Computer and Systems Sciences. Quantum Information Processing-from Theory to Experiment, vol. 199, pp. 137-158, Nov. 2006.
[8] H. Briegel, et al., "Measurement-based quantum computation," Natur Physics, vol. 5, no. 1, pp. 19-26, Jan. 2009.
[9] D. Gottesman and I. L. Chuang, "Quantum teleportation is a universal computational primitive," arXiv preprint quant-ph/9908010, 1999.
[10] R. Raussendorf and H. J. Briegel, "A one-way quantum computer," Physical Review Letters, vol. 86, no. 22, p. 5188, May 2001.
[11] D. E. Browne and H. J. Briegel, One-Way Quantum Computation - A Tutorial Introduction, 2nd Ed., 2006.
[12] M. Hein, et al., "Entanglement in graph states and its applications," arXiv preprint quant-ph/0602096, Feb. 2006.
[13] M. Mhalla and S. Perdrix, "Finding optimal flows efficiently," Automata, Languages, and Programming, Springer, vol. 5125, pp. 857-868, 2008.
[14] A. Broadbent and E. Kashefi, "Parallelizing quantum circuits," Theoretical Computer Science, vol. 410, no. 26, pp. 2489-2510, Jun. 2009.
[15] E. Pius, Automatic Parallelisation of Quantum Circuits Using the Measurement Based Quantum Computing Model, M.Sc. in High Performance Computing, University of Edinburgh, p. 65, 2010.
[16] R. D. Da Silva and E. F. Galvao, "Compact quantum circuits from one-way quantum computation," Physical Review A, vol. 88, no. 1, p. 012319, Jul. 2013.
[17] D. McMahon, Quantum Computing Explained, John Wiley & Sons, 2007.
[18] A. U. Khalid, Z. Zilic, and K. Radecka, "FPGA emulation of quantum circuits," in Proc. IEEE Int. Conf. Computer Design: VLSI in Computers and Processors, ICCD'04, pp. 310-315, Oct. 2004.
[19] V. Danos, E. Kashefi, and P. Panangaden, "The measurement calculus," J. of the ACM, vol. 54, no. 2, p. 8, Apr. 2007.
[20] V. Danos, E. Kashefi, P. Panangaden, and S. Perdrix, "Extended measurement calculus," in S. J. Gay and I. Mackie, eds., Semantic Techniques in Quantum Computation, Ch. 7, pp. 235-310, Cambridge University Press, 2009.
[21] D. E. Browne, E. Kashefi, M. Mhalla, and S. Perdrix, "Generalized flow and determinism in measurement-based quantum computation," New J. of Physics, vol. 9, no. 8, 16 pp., Aug. 2007.
[22] V. Danos, E. Kashefi, and P. Panangaden, "Parsimonious and robust realizations of unitary maps in the one-way model," Physical Review A, vol. 72, no. 6, p. 064301, Dec. 2005.
[23] S. S. Bullock and I. L. Markov, "Arbitrary two-qubit computation in 23 elementary gates," Physical Review A, vol. 68, no. 1, pp. 324-329, Jul. 2003.
[24] S. S. Bullock and I. L. Markov, "Smaller circuits for arbitrary n-qubit diagonal computations," arXiv preprint quant-ph/0303039, 2003.
[25] N. D. Beaudrap, "Finding flows in the one-way measurement model," Physical Review A, vol. 77, no. 2, 8 pp., Feb. 2008.
[26] V. Danos and E. Kashefi, "Determinism in the one-way model," Physical Review A, vol. 74, no. 5, p. 052310, Nov. 2006.
[27] R. D. da Silva, E. Pius, and E. Kashefi, "Global quantum circuit optimization," arXiv Preprint arXiv: 1301.0351, 2013.
[28] M. Houshmand, M. Saheb Zamani, M. Sedighi, and M. H.n Samavatian, "Automatic translation of quantum circuits to optimized one-way quantum computation patterns," Quantum Information Processing, vol. 13, no. 11, pp. 24632482, Nov. 2014.
