بهینه‌سازی مدارهای کوانتومی با استفاده از مدل محاسبات کوانتومی یک‌طرفه مبتنی بر هندسه الگو
محورهای موضوعی : مهندسی برق و کامپیوتر
مریم اسلامی
1
,
مرتضي صاحب‌الزماني
2
,
مهدي صدیقی
3
,
محبوبه هوشمند
4
1 - دانشگاه صنعتی امیرکبیر
2 - دانشگاه صنعتي اميركبير
3 - دانشگاه صنعتي اميركبير
4 - دانشگاه آزاد اسلامی، واحد مشهد
چکیده مقاله :
یک مدل محاسباتی کاملاً کوانتومی که بر مبنای دو مفهوم درهم‌تنیدگی کوانتومی و اندازه‌گیری کوانتومی ارائه شده است، مدل محاسباتی کوانتومی یک‌طرفه WQC)1( نام دارد. محاسبات در مدل WQC1 با الگوهای اندازه‌گیری نمایش داده می‌شوند. به منظور نمایش بهتر الگوهای مربوط از گراف درهم‌تنیدگی استفاده می‌شود که این گراف به همراه مجموعه کیوبیت‌های ورودی و خروجی آن، هندسه الگو نامیده می‌شود. تکنیک‌هایی به منظور بهینه‌سازی الگوهای حاصل از یک مدار کوانتومی در مدل WQC1 ارائه شده است. در کارهای پیشین از مدل WQC1 به منظور بهینه‌سازی مدارهای کوانتومی استفاده شده است. یک مدار کوانتومی (اولیه) به الگوهای WQC1 تبدیل شده و بهینه‌سازی‌های ارائه‌شده در این مدل بر روی آن با استفاده از مجموعه قوانین بازنویسی به صورت ترتیبی بر روی گراف درهم‌تنیدگی حاصل از الگوی مربوط انجام شده و آن را ساده می‌کرد. سپس الگوی ساده‌شده مجدداً به مدار کوانتومی (ثانویه) تبدیل می‌گردید. در این مقاله روش‌های قبلی برای بهینه‌سازی مدارات کوانتومی با استفاده از مدل 1WQC بهبود داده می‌شود. در روش جدید به منظور بهینه‌سازی الگوی 1WQC حاصل از مدار کوانتومی، بر خلاف روش‌های گذشته از هیچ یک از قوانین بازنویسی به منظور ساده‌سازی الگو استفاده نشده و سعی شده است که تنها با بررسی هندسه الگو، تکنیک‌های بهینه‌سازی به صورت همزمان الگوی مربوط را ساده کنند. پس از اجرای عملیات بهینه‌سازی، الگوی مربوطه مجدداً به مدار کوانتومی تبدیل می‌شود و با کاهش کیوبیت‌های کمکی ساده‌تر می‌شود. نتایج نشان می‌دهد معیارهای هزینه مدار کوانتومی در روش جدید در مقایسه با روش‌های پیشین کاهش یافته است.
A fundamentally quantum model of computation based on quantum entanglement and quantum measurement is called one-way quantum computation model (1WQC). Computations are shown by measurement patterns (or simply patterns) in this model where an initial highly entangled state called a graph state is used to perform universal quantum computations. This graph together with the set of its input and output qubits is called the geometry of the pattern. Moreover, some optimization techniques have been introduced to simplify patterns. Previously, the 1WQC model has been applied to optimize quantum circuits. An approach for parallelizing quantum circuits has been proposed which takes a quantum circuit and then produces the corresponding pattern after performing the proposed optimization techniques for this model. Then it translates the optimized 1WQC patterns back to quantum circuits to parallelize the initial quantum circuit by using a set of rewriting rules. To improve previous works, in this paper, a new automatic approach is proposed to optimize patterns based on their geometries instead of using rewriting rules by applying optimization techniques simultaneously. Moreover, the optimized pattern is translated back to a quantum circuit and then this circuit is simplified by decreasing the number of auxiliary qubits. Results show that the quantum circuit cost metrics of the proposed approach is improved as compared to the previous ones.