دانلود مقاله انگلیسی رایگان:بررسی هم ارزی مدارهای کوانتومی متوالی - 2022
دانلود بهترین مقالات isi همراه با ترجمه فارسی 2
دانلود مقاله انگلیسی محاسبات کوانتومی رایگان
  • Equivalence Checking of Sequential Quantum Circuits Equivalence Checking of Sequential Quantum Circuits
    Equivalence Checking of Sequential Quantum Circuits

    دسته بندی:

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


    سال انتشار:

    2022


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

    Equivalence Checking of Sequential Quantum Circuits


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

    بررسی هم ارزی مدارهای کوانتومی متوالی


    منبع:

    ieee - ieee Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022;41;9;10:1109/TCAD:2021:3117506


    نویسنده:

    Qisheng Wang; Riling Li; Mingsheng Ying


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

    We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalization of Mealy machines. A major difficulty in checking quantum circuits (but not present in checking classical circuits) is that the state spaces of quantum circuits are continuums. This difficulty is resolved by our main theorem showing that equivalence checking of two quantum Mealy machines can be done with input sequences that are taken from some chosen basis (which are finite) and have a length quadratic in the dimensions of the state Hilbert spaces of the machines. Based on this theoretical result, we develop an (and to the best of our knowledge, the first) algorithm for checking equivalence of sequential quantum circuits with running time O(23m+5l(23m + 23l)), where m and l denote the numbers of input and internal qubits, respectively. The complexity of our algorithm is comparable with that of the known algorithms for checking classical sequential circuits in the sense that both are exponential in the number of (qu)bits. Several case studies and experiments are presented.
    Index Terms: Equivalence checking | mealy machines | quantum circuits | quantum computing | sequential circuits.


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

    قیمت: رایگان


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




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

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

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