36. محاسبات کوانتومی تحمل‌پذیر خطا
36.1کیوبیت فیزیکی در برابر کیوبیت منطقی
دو عدد را به خاطر بسپارید. بهترین گیت‌های دو‌کیوبیتی فیزیکی امروز: نرخ خطای ~۱۰⁻³ (ابرسانا)، ~۱۰⁻۴ (یون‌های تله‌شده، با سرعت کمتر). آنچه الگوریتم‌ها لازم دارند: نرخ خطای منطقی ۱۰⁻⁹ تا ۱۰⁻¹² به‌ازای هر عملیات — تجزیهٔ RSA-2048 یا مدارهای شیمیایی عمیق با هر چیز شل‌تری شکست می‌خورد. شکاف شش تا نه مرتبه بزرگی است و هیچ نقشهٔ راه کیوبیت فیزیکی مستقیماً آن را نمی‌بندد. تصحیح خطا آن را با خرج کیوبیت می‌بندد: 2d² کیوبیت فیزیکی به‌ازای هر کیوبیت منطقی در فاصلهٔ d، با d انتخاب‌شده تا نرخ خطای منطقی به بودجهٔ الگوریتم برسد. نسبت کیوبیت فیزیکی به منطقی، سنجهٔ اصلی هزینهٔ صنعت است و هر نمودار هر نقشهٔ راه، در نهایت دربارهٔ پایین‌آوردن همین است.
36.2تحمل‌پذیری خطا
تحمل‌پذیری خطا (fault tolerance) ویژگی *ساخت‌ها*ست نه کدها: یک گجت (آماده‌سازی، گیت یا اندازه‌گیری روی دادهٔ کدشده) زمانی تحمل‌پذیر خطاست که هر خطای تک‌مؤلفه‌ای حداکثر یک خطای قابل‌تصحیح به‌ازای هر بلوک کد بسازد. بدون این انضباط، یک خطای فیزیکی درون یک گیت منطقی به خطای چندکیوبیتی‌ای پخش می‌شود که هیچ کد فاصله-۳ جذبش نمی‌کند و تصحیح خودش منبع شکست می‌شود. تعریف چون خطا و نقص متفاوت‌اند دندان دارد: نقص‌ها رویدادهای فیزیکی‌اند (پالس بد، فوتون سرگردان)؛ خطاها عملگرهای پائولی روی حالت کدشده. طراحی تحمل‌پذیر محدود می‌کند که یک نقص چه می‌کند. همین قید — نه خود کدها — است که شمار منابع را چند برابر می‌کند و در هر مقیاسی غیرقابل‌مذاکره است.
36.3قضیهٔ آستانه
قضیهٔ آستانه (threshold theorem؛ آهارونوف–بن‌اور، کیتایف، نیل–لافلام–زورک، ۱۹۹۶–۱۹۹۸) نتیجه‌ای است که حوزه را ممکن می‌کند: اگر نرخ خطای فیزیکی p زیر آستانهٔ p_th باشد و نویز محلی و ضعیف-همبسته باشد، آنگاه محاسبهٔ کوانتومی به طول دلخواه ممکن است، با سرباری که فقط چندلگاریتمی در دقت هدف رشد می‌کند. این، «محاسبات کوانتومی از نظر فیزیکی ناممکن است» را به «محاسبات کوانتومی یک بودجهٔ مهندسی است» تبدیل می‌کند. برای کد سطحی، p_th ≈ ۱٪ در مدل‌های نویز ایده‌آل و حدود ۰٫۵ تا ۰٫۷٪ در نویز واقع‌بینانهٔ مداری — دلیل این‌که وفاداری گیت‌های ~۱۰⁻³ جامعه چنین اهمیتی دارد. پیش‌فرض‌های قضیه (محلی‌بودن، عملکرد زیر آستانه در مقیاس) دقیقاً همان چیزی است که آزمایش‌های ۲۰۲۴–۲۰۲۵ روی سخت‌افزار واقعی آزمودند.
36.4انتشار خطا
گیت‌های دو‌کیوبیتی خطاها را پخش می‌کنند و پخش جهت‌دار است. در CNOT، X روی کنترل به هر دو کیوبیت می‌رود و Z روی هدف به هر دو: X⊗I → X⊗X، I⊗Z → Z⊗Z. درون مدار استخراج سندروم این «خطاهای قلاب» (hook errors) می‌سازد: یک خطای کمکی، پخش‌شده از چهار CNOT بررسی، اگر ترتیب گیت‌ها ساده‌لوحانه باشد می‌تواند خطی از کیوبیت‌های داده را پشت‌ورو کند. ساخت‌های تحمل‌پذیر ترتیب CNOTهای هر بررسی را طوری می‌چینند که یک خطای پخش‌شدهٔ واحد در وزن قابل‌تصحیح بماند. به همین دلیل مدارهای سندروم واقعی بیش‌ازحد مقید به نظر می‌رسند و چرا کپی‌کردن مدار از مقاله بدون ترتیب گیت‌هایش، فاصلهٔ کد را بی‌سروصدا نابود می‌کند. تحلیل انتشار خطا مهارت اصلی مهندسان QEC است.
36.5گیت‌های تحمل‌پذیر خطا
گیت آفقی — یک گیت تک‌کیوبیتی به‌ازای هر کیوبیت فیزیکی، بدون برهم‌کنش میان کیوبیت‌های یک بلوک — خودبه‌خود تحمل‌پذیر خطاست، چون یک خطا روی یک کیوبیت می‌ماند. کد استین به‌طور مشهور H، S و CNOT (میان بلوک‌ها) را آفقی پیاده می‌کند: یک گروه کلیفورد کاملِ تحمل‌پذیر خطا. کد سطحی خسیس‌تر است: CNOT میان دو وصلهٔ هم‌تراز آفقی است، H از چرخش شبکه می‌آید و S یک دور تغییر شکل وصله هزینه دارد. اسب بارکش واقعی جراحی شبکه (lattice surgery) است: ادغام و شکافتن وصله‌ها روی سطح کد برای القای اندازه‌گیری‌ها و CNOTهای منطقی، با خرج فضا و زمان به‌جای ساختار اضافی. با این‌ها همهٔ گیت‌های کلیفورد روی دادهٔ کدشده اجرا می‌شوند؛ گیت T نمی‌شود — که ۳۶.۶ را وادار می‌کند.
36.6حالت‌های جادویی
قضیهٔ ایستین–نیل (۲۰۰۹) هر کدی را از داشتن مجموعهٔ آفقیِ جهان‌شمول منع می‌کند، پس گیت‌های نا-کلیفوردی باید از جای دیگری بیایند. پاسخ حالت‌های جادویی (magic states) است: حالت‌های منبع ویژه‌ای که آفلاین آماده و تصفیه می‌شوند و آنلاین مصرف. نمونهٔ مرجع |T⟩ = T|+⟩ = (|0⟩ + e^(iπ/4)|1⟩)/√2 است. تزریق‌شده از طریق مدار دورتله‌گذاری گیت (gate teleportation) ساخته‌شده از عملیات کلیفورد و اندازه‌گیری، هر نسخه یک گیت T منطقی روی دادهٔ کدشده پیاده می‌کند. اقتصادش بی‌رحم است: الگوریتم‌ها T را میلیون‌ها بار مصرف می‌کنند (مدارهای مقیاس-شور بر گیت T تکیه دارند)، هر یک یک حالت تازهٔ باکیفیت می‌خواهد، و ناهم‌وفاداری حالت باید زیر نرخ خطای منطقی کد بنشیند وگرنه هر محاسبه‌ای را که دستش می‌رسد مسموم می‌کند.
36.7تقطیر حالت جادویی
هیچ فرایند فیزیکی |T⟩ را به‌اندازهٔ کافی خوب آماده نمی‌کند، پس حالت‌ها تصفیه می‌شوند: تقطیر (distillation) بسیاری حالت نویزی را مصرف و چند حالت تمیز تحویل می‌دهد. پروتکل ۱۵-به-۱ براوای–کیتایف از کد [[15,1,3]] رید–مولر استفاده می‌کند: پانزده حالت ورودی، مدارهای تقطیر، یک خروجی با خطای مجذورشده؛ تا رسیدن به ۱۰⁻¹² تکرار کنید. این کارخانه‌های تقطیر معمولاً بخش عمدهٔ بودجهٔ کیوبیت فیزیکی یک ماشین تحمل‌پذیرند. جنبش ۲۰۲۴–۲۰۲۵ کاهش تهاجمی هزینه است: کشت (cultivation) — بزرگ‌کردن حالت T درون یک وصلهٔ کوچک کد سطحی، بازبینی آن و دور انداختن شکست‌ها — به‌علاوهٔ پروتکل‌های تقطیر تازه، هزینهٔ هر T را تقریباً یک مرتبه بزرگی کم کرده است. بخش بزرگی از پیشرفت کنونی شمار منابع حوزه از همین‌جا می‌آید.
36.8سربار منابع
لنگرگاه ملموس: تجزیهٔ RSA-2048. تخمین ۲۰۱۹ جیدنی و اکرا (Gidney–Ekerå): حدود ۲۰ میلیون کیوبیت فیزیکی، ۸ ساعت. بازنگری ۲۰۲۵ جیدنی: زیر ۱ میلیون کیوبیت، حدود یک هفته — کاهش ۲۰ برابری سربار از کیوبیت‌های منطقی ارزان‌تر، کشت و بازسازماندهی حساب، در فواصل کد سطحی حدود ۲۵ (یعنی حدود ۱٫۲۰۰+ کیوبیت فیزیکی به‌ازای هر کیوبیت منطقی برای حافظه). این اعداد از شبیه‌سازی می‌آیند، اما از شبیه‌سازی اعتبارسنجی‌شده و متن‌باز (۳۷.۹)، و مسیرشان خلاصهٔ صادقانهٔ پیشرفت حوزه است: تخمین مدام پایین می‌آید، همچنان نجومی است، و هر ربعش — کدها، رمزگشاها، تقطیر، کامپایل (بخش دوازدهم) — جبهه‌ای مهندسی و فعال با استخدام پشت آن است.
36.9چرا تحمل خطا این‌قدر گران است
هزینه‌ها را جمع بزنید. شمار کیوبیت: 2d² به‌ازای هر کیوبیت منطقی با d در دهه‌های ۲۰ و ۳۰ برای الگوریتم‌های جدی. کارخانه‌ها: تقطیر و کشت می‌توانند بخش بزرگ اکثریت ماشین را مصرف کنند. زمان: هر عمل منطقی با دورهای سندروم میان‌بافی می‌شود، پس زمان دور ~۱ میکروثانیه‌ای سخت‌افزار ابررسانا ساعت دیواری را می‌سازد؛ محاسبهٔ یک‌هفته‌ای حدود ۱۰¹² دور است، هر یک نیازمند رمزگشایی. I/O: هر کیوبیت فیزیکی خط کنترل و بازخوانی خودش را در دمای میلی‌کلوین می‌خواهد — سیم‌کشی، نه کیوبیت‌ها، اغلب مسئلهٔ سخت‌تر سامانه‌هاست. هیچ‌کدام اصلاح بزرگِ واحدی ندارد؛ همه ثابت‌های تشدیدشونده‌اند. به همین دلیل «سربار تصحیح خطا» در بخش یکم به‌عنوان مسئلهٔ مهندسی تعریف‌کنندهٔ حوزه نام گرفت و به همین دلیل استخدام می‌کند.