دانلود مقاله انگلیسی رایگان:بررسی هم ارزی مدارهای کوانتومی با ZX-calculus - 2022
بلافاصله پس از پرداخت دانلود کنید
دانلود مقاله انگلیسی محاسبات کوانتومی رایگان
  • Equivalence Checking of Quantum Circuits With the ZX-Calculus Equivalence Checking of Quantum Circuits With the ZX-Calculus
    Equivalence Checking of Quantum Circuits With the ZX-Calculus

    دسته بندی:

    محاسبات کوانتومی - Quantum-Computing


    سال انتشار:

    2022


    عنوان انگلیسی مقاله:

    Equivalence Checking of Quantum Circuits With the ZX-Calculus


    ترجمه فارسی عنوان مقاله:

    بررسی هم ارزی مدارهای کوانتومی با ZX-calculus


    منبع:

    ieee - ieee Journal on Emerging and Selected Topics in Circuits and Systems;2022;12;3;10:1109/JETCAS:2022:3202204


    نویسنده:

    Tom Peham; Lukas Burgholzer; Robert Wille


    چکیده انگلیسی:

    As state-of-the-art quantum computers are capable of running increasingly complex algorithms, the need for automated methods to design and test potential applications rises. Equivalence checking of quantum circuits is an important, yet hardly automated, task in the development of the quantum software stack. Recently, new methods have been proposed that tackle this problem from widely different perspectives. One of them is based on the ZX-calculus, a graphical rewriting system for quantum computing. However, the power and capability of this equivalence checking method has barely been explored. The aim of this work is to evaluate the ZX-calculus as a tool for equivalence checking of quantum circuits. To this end, it is demonstrated how the ZX-calculus based approach for equivalence checking can be expanded in order to verify the results of compilation flows and optimizations on quantum circuits. It is also shown that the ZX-calculus based method is not complete—especially for quantum circuits with ancillary qubits. In order to properly evaluate the proposed method, we conduct a detailed case study by comparing it to two other state-of-the-art methods for equivalence checking: one based on path-sums and another based on decision diagrams. The proposed methods have been integrated into the publicly available QCEC tool (https://github.com/cda-tum/qcec) which is part of the Munich Quantum Toolkit (MQT).
    Index Terms: Quantum computing | formal verification | quantum circuit.


    سطح: متوسط
    تعداد صفحات فایل pdf انگلیسی: 14
    حجم فایل: 3472 کیلوبایت

    قیمت: رایگان


    توضیحات اضافی:




اگر این مقاله را پسندیدید آن را در شبکه های اجتماعی به اشتراک بگذارید (برای به اشتراک گذاری بر روی ایکن های زیر کلیک کنید)

تعداد نظرات : 0

الزامی
الزامی
الزامی
rss مقالات ترجمه شده rss مقالات انگلیسی rss کتاب های انگلیسی rss مقالات آموزشی
logo-samandehi
بازدید امروز: 2863 :::::::: بازدید دیروز: 0 :::::::: بازدید کل: 2863 :::::::: افراد آنلاین: 20