44. از الگوریتم تا سخت‌افزار
44.1مدار منطقی
درِ جلویی خط‌لوله: مدار سطح-الگوریتم همان‌گونه که در بخش هفتم نوشته می‌شود — مجموعه‌دروازهٔ دلخواه، اتصال همه-به-همه، بدون نویز. این «مدار منطقی» تخیلی است اما باربر: رابط میان طراحان الگوریتم و هر چیز پایین‌تر. واحدهای حسابش دلخواهند (دروازه‌های T، تافولی، چرخش‌های arbitr) و فرض‌هایش (اتصال یکنواخت) دقیقاً همان چیزی است که سخت‌افزار نقضش می‌کند. کار کامپایلر، رسماً: تبدیل تخییل به زمان‌بندی عمل‌های بومی روی کیوبیت‌های فیزیکی، کمینه‌سازی تابع هزینه (عمق، شمار دوقیوبیتی، T-count، خطای موردانتظار) با حفظ یونیتی (تا فاز سراسری) — و بعدها، در ماشین‌های تحمل‌خطا، همه‌اش در لایهٔ منطقی.
44.2قیدهای سخت‌افزاری
غیرقابل‌مذاکره‌هایی که کامپایلر باید رعایت کند. همدوسی متناهی: T1/T2 ده‌ها تا صدها میکروثانیه، سقف مدت کل مدار. خطای دروازه: ~0.1٪ تک‌کیوبیتی، ~0.3–1٪ دوقیوبیتی — بودجه‌های خطا، نه مطلق: مدار ۱٬۰۰۰-دروازه‌ای با خطای دوقیوبیتی 0.5٪ تقریباً هیچ سیگنالی ندارد. اتصال محدود: درجهٔ ۲–۳ به‌ازای کیوبیت روی شبکه‌های ابررسانا. بدون شاخه‌بندی میان‌مداری (بیشتر): جریان کنترل کلاسیک-پس یا مدار پویای محدود است. رانش کالیبراسیون: زمان‌بندی بهینهٔ امروز، فردای متوسط است. و فراقید: همهٔ قیدها هم‌زمان می‌بندند — بهینه‌سازی عمق تا پرتگاه فیدیلیتی، گذر کلاسیک مبتدی است.
44.3مجموعه‌دروازه‌ها
هر بک‌اند مجموعه‌دروازهٔ بومی عرضه می‌کند: {RZ, SX, X, ECR/CZ} آی‌بی‌ام، چرخش‌های R دلخواه و دروازه‌های MS در تله یونی، {sqrt(X), CZ} گوگل. مجموعه‌های جهان‌شمول (بخش سوم) بیان‌گری را تضمین می‌کنند؛ کارایی بسیار فرق دارد — مدارها روی تله یونی با دروازه‌های دوقیوبیتی کمتر کامپایل می‌شوند (اتصال همه-به-همه کمک می‌کند) اما ساعت دروازه کندتر است. گذر ترجمه-پایهٔ کامپایلر دروازه‌های شما را به بومی‌ها می‌برد و انتخاب میان تجزیه‌های هم‌ارز (دو CX در برابر هم‌ارزهای سهCZ، ادغام چرخش) جایی است که عمق واقعی برده می‌شود. دروازه‌های T صورت‌ویژه دارند: در ماشین‌های تحمل‌خطا منبع پرهزینهٔ غیرکلیفوردند، پس T-count متریک بهینه‌سازهای الگوریتمی است (کیوبیت‌سازی 28.7 قهرمانش).
44.4اتصال
گراف اتصال واقعیت سخت‌افزاری است: هوی-هکس IBM (درجهٔ ۲–۳)، شبکهٔ مربعی گوگل، همه-به-همهٔ تله یونی (درون تله)، اتم خنثی بازپیکربندی‌پذیر (اتم‌ها نوری جابه‌جا می‌شوند!). پیامد کامپایلری: هر دروازهٔ میان کیوبیت‌های غیرمجاور مسیریابی می‌خواهد — درج SWAP یا تله‌پورتیشن حالت — و روی هوی-هکس، سربار مسیریابی به‌طور روتین عمق را دو-سه برابر می‌کند. نگاشت (44.7/45.7): کدام کیوبیت منطقی روی کدام فیزیکی بنشیند — NP-سخت، با ابتکار حل می‌شود (SABRE در Qiskit)، و آن‌قدر حساس که خوب‌نگاشتن به‌تنهایی نرخ خطای شما را نصف می‌کند. برای تله یونی مسأله وارونه است: مسیریابی مجانی، اما تلهٔ خطی دروازه‌های دوقیوبیتی را صف می‌کند.
44.5دروازه‌های بومی
دروازه‌های بومی همان‌هایی‌اند که الکترونیک کنترل واقعاً پیاده می‌کند — پالس‌های مایکروویو یا لیزری شکل‌دار، کالیبره‌شده به‌ازای هر کیوبیت، هر دروازه، هر روز. بقیه دروغی است که کامپایلر به زبانشان می‌گوید. ویژگی‌های قابل‌ردیابی: فیدیلیتی (به‌ازای-کیوبیت، به‌ازای-دروازه)، مدت (دروازهٔ X ۳۵ نانوثانیه، دوقیوبیتی ~۳۰۰–۶۰۰، اندازه‌گیری ~۶۰۰ روی ترانسمون‌ها) و خطاهای تماشاگر (دروازه روی همسایه‌ها، کیوبیت‌های بیکار را می‌پرتابد — کامپایلرهای واقعی فزایندهً دورش زمان‌بندی می‌کنند). انتزاع در هر دو جهت چکه می‌کند: زیرش، پژوهش کنترل-بهینه پالس‌های بهتر می‌سازد؛ بالایش، بهینه‌سازی مدار نباید الگوهایی را بخورد که لایهٔ پالس خوب اجرا می‌کند (مثل cross-resonance اکوشده).
44.6تجزیهٔ مدار
تبدیل دروازه‌های انتزاعی به بومی، بهینه. نتایج شناخته‌شده: هر یونیتی n-کیوبیتی در حالت عام O(4ⁿ) دروازهٔ دوقیوبیتی می‌خواهد (شِنده–مارکوف–بولوک)، پس ساختار همه‌چیز است — چرخش‌های کنترلی، تافولی‌های چندکنترلی (روش L، ~۱۰۰ تجزیهٔ پایه در کتابخانهٔ Qiskit هرکدام با بده‌بستان دروازه/عمق/ancilla متفاوت)، چرخش‌های نمایی پائولی (ابزار کار شیمی، فصل ۴۸) و ترکیب مبتنی‌بر حساب ZX (تیزترین ابزار دههٔ ۲۰۲۰ — PyZX مدارها را به‌صورت نمودارهای ZX بازنویسی و با شمارش دوقیوبیتی اثباتاً نزدیک-بهینه بازترکیب می‌کند). تجزیه جایی است که ریاضیات با مهندسی کامپایلر مستقیم‌ترین برخورد را دارد؛ فلوئنسی ZX برای ورود به پژوهش کامپایلر تمایز است.
44.7زمان‌بندی
با مدار مسیریابی‌شده و بومی، خط‌زمان تولید کنید: کدام دروازه کِی شروع شود، روی کدام کانال کنترل، با احترام به وابستگی‌ها و قواعد زمان‌بندی سخت‌افزار. زمان‌بندی‌های ASAP/ALAP کران عمق می‌دهند؛ درج تأخیرها اجتناب‌ناپذیر است چون موازی‌سازی ناقص است — و هر تأخیر، زمان دِکوهرنس خریداری‌شده است. زمان‌بندی پیشرفته نویز-آگاه است: بیکارها را با توالی‌های جداسازی پویا پر کنید (44.8)، گروه‌های کراس‌تاک را رعایت کنید و دروازه‌ها را چنان بچینید که حالت‌های شکننده کم‌عمر بمانند. زمان‌بندی روی سخت‌افزار واقعی بر حسب نانوثانیه در برابر ساعت مرجع مشترک سنجیده می‌شود — حوزه‌ای که مهندسی کوانتوم سرپخت با طراحی دیجیتال کلاسیک برخورد می‌کند و انتقال مهارت برای مهندسان با زمینهٔ RTL تقریباً کامل است.
44.8کنترل سطح-پالس
زیر دروازه‌ها پالس‌ها زندگی می‌کنند: شکل‌موج‌های واقعی (پایه‌های flux گاوسی-مربع، پوش‌های مایکروویو اصلاحDRAG) که سطح و فازشان چرخش‌ها را پیاده می‌کنند. Qiskit این لایه را عرضه می‌کند (pulse، در حال ادغام با اکوسیستم Qiskit Dynamics) و در سه‌جا مهم است: کالیبراسیون (آزمایش‌های رابی/رمزی همین آزمایش‌های پالسی‌اند — بخش یازدهم)، بهینه‌سازی (پالس‌های کوتاه‌تر/بهتر مستقیماً فیدیلیتی را بالا می‌برند) و جداسازی پویا (توالی‌های XY4/CPMG درون بیکاری که نویز کم‌بسامد را حذف می‌کنند — گذر کامپایلری که فیزیک اجرا می‌کند نه جبر). بدون حساب ابری از لپ‌تاپ به پالس‌های سخت‌افزاری نمی‌رسید، اما Aer نقصشان را مدل می‌کند و شبیه‌ساز فصل ۱۷ هم می‌تواند. سواد پالس، کار کامپایلری جدی را از کامپایلر اسباب‌بازی جدا می‌کند.