مروری بر روش های ریاضی سنتز منطقی مدارهای کوانتومی

محاسبات کوانتومی یک روش جدید پردازش اطلاعات و حاصل ترکیب مکانیک کوانتومی، علوم کامپیوتر و نظریه اطلاعات کلاسیک است. یک گیت کوانتومی به صورت ریاضی با یک ماتریس یکانی نمایش داده می شود. سنتز منطقی مدارهای کوانتومی به فرایند تبدیل یک گیت کوانتومی به یک سری گیت های پایه قابل پیاده سازی در فناوری های کوانتومی گفته می شود و به دو دسته کلی مبتنی بر تجزیه و ترکیب تقسیم می گردد. در روش های دسته نخست با بهره گیری از روش های تجزیه ماتریسی و در روش دوم با استفاده از ضرب ماتریسی گیت ها، مدارهای کوانتومی سنتز می شوند. این مطالعه به دسته نخست می پردازد که از الگوریتم های ریاضی برای دستیابی به مشخصه نهایی مدار کوانتومی بهره گرفته می شود.