79. الگوریتم‌های تحمل‌خطا
79.1هزینهٔ دروازه‌های منطقی
واحد حسابداری FTQ: حجم فضازمان — کیوبیت فیزیکی × زمان — مصرف‌شده به‌ازای عمل منطقی. فهرست قیمت (مرتبهٔ بزرگی، عصر کد سطحی): دروازه‌های منطقی کلیفورد از راه جراحی شبکه — صدها تا هزاران دورهٔ کیوبیت-فیزیکی، ارزان؛ دروازه‌های T — ۱۰ تا ۱۰۰ برابر بدتر، محدود-به-حالت-جادویی (79.3)؛ اندازه‌گیری منطقی — ارزان؛ حافظهٔ منطقی — هزینهٔ ایستادهٔ هر کیوبیت بیکار (نکتهٔ 77.5: بیکاری مجانی نیست؛ کیوبیت منطقی ذخیره‌شده برای همیشه دوره خرج می‌کند). پیامد طراحی که الگوریتم‌نویسی را بازسیم‌کشی می‌کند: هزینه دیگر «چند دروازه» نیست بلکه «چند دروازهٔ T، چقدر زمان-حافظه، چقدر ترافیک» است — و الگوریتم‌ها متفاوت بهینه می‌شوند (کاهش T-count، استراتژی‌های مبتنی‌بر-اندازه‌گیری که T را با حافظه معامله می‌کنند، ترکیب آگاه-از-چیدمان). جعبهٔ کامپایلر-تحمل‌خطای فصل ۴۶ پیش‌گفتار بود: کامپایل همان اهرم هزینه است، حالا.
79.2سربار کد سطحی
حسابی که هر برآورد با آن شروع می‌شود: کیوبیت منطقی با خطای منطقی هدف p_L فاصلهٔ d ≈ (1/2)·log(p_L/p_phys)/log(Λ) می‌خواهد و 2d² کیوبیت فیزیکی خرج می‌کند (کد سطحی چرخان، داده + ancilla) — پس خطای منطقی 10⁻¹² با p_phys=10⁻³ و Λ=10 می‌دهد d≈7-9، ~۱۰۰ تا ۱۵۰ کیوبیت فیزیکی به‌ازای منطقی، *به‌ازای پنجرهٔ عمل*؛ برآوردهای مقیاس-الگوریتم (10⁻¹² تا 10⁻¹⁵ برای محاسبات بلند) d=15–25 و ۵۰۰ تا ۱٬۲۰۰ فیزیکی به‌ازای منطقی می‌راند. مثال کارشده برای درونی‌سازی: ۱۰۰ کیوبیت منطقی × ۵۰۰ فیزیکی × (سربار I/O ~10×) ≈ ۵۰۰٬۰۰۰ کیوبیت فیزیکی — ماشین کلاس استارلینگ، برای الگوریتمی کوچک. اهرم‌های حرکت‌دهنده: نرخ خطای فیزیکی (نصف‌کردن p_phys با کیوبیت بهتر از هر ترفند کدی می‌بَرد)، Λ (کیفیت رمزگشا — کار فصل ۳۷ مستقیم به اقتصاد ماشین می‌ریزد) و کدهای بهینه-کیوبیت (qLDPC — شرط IBM: کدگذاری k منطقی در n فیزیکی با نرخ بهتر از 1-به-2d² کد سطحی؛ اگر رمزگشایی qLDPC بالغ شود، سربارها ۵ تا ۱۰ برابر می‌افتند — جدی‌ترین مسابقهٔ مهندسی باز حوزه).
79.3هزینه‌های حالت جادویی
مالیات دروازهٔ T، دقیق: جهان‌شمولی کلیفورد+T یعنی هر عمل غیرکلیفورد حالت‌های جادویی مصرف می‌کند — ancillaهای آماده (|T⟩ = T|+⟩) که به درون محاسبه تزریق می‌شوند؛ رونوشت‌برداری‌نشدنی و ارزان‌ساخته‌نشدنی، فقط تقطیرشدنی: تعداد زیادی T-نویزی → تعداد کمتری T-بهتر، با مدارهای تقطیری که خودشان بزرگ‌ترین زیر-رایانهٔ ماشین‌اند. اعداد شکل‌دهندهٔ همه‌چیز: تقطیر T با نرخ خطای مفید 10³ تا 10⁴ کیوبیت فیزیکی به‌ازای پایدار T-بر-ثانیه مصرف می‌کند — کارخانه‌های حالت جادومی به‌طور روتین ۵۰ تا ۹۰٪ ردپای ماشین تحمل‌خطا را در برآوردها اشغال می‌کنند. پیامدها: T-*count* متریک پیچیدگی الگوریتمی است (به همین دلیل کیوبیت‌سازی و هم‌قطارهایش — 28.7 — این‌قدر مهم بودند: T را کمینه کردند)؛ T-*depth* و توان کارخانه ساعت ماشین را می‌گذارند؛ و کل برنامه‌های پژوهشی (حذف TOF، پروتکل‌های T-شفاف، تقطیر ارزان‌تر) صرفاً برای تراش این مالیات وجود دارند. وقتی نقشهٔ راهی می‌گوید «10⁶ کیوبیت برای شیمی»، بپرسید: چند تایشان کارخانه‌اند؟
79.4برآورد منابع
مهارت کاپ‌ستون — خط‌لولهٔ کل-پشتهٔ 28.9، حالا با ثابت‌های واقعی FTQ: الگوریتم → مدار منطقی (T-count، T-depth، عرض، زمان-حافظه) → پارامترهای کد (d، سربار از 79.2) → اندازه‌گیری کارخانه (نرخ T لازم در برابر هزینهٔ 79.3) → سربار مسیریابی/چیدمان (ترافیک ۴۶) → ماشین فیزیکی (کیوبیت، زمان دوره، ساعت). ابزارها موجود و عمومی‌اند: برآوردگر منابع Azure Quantum مایکروسافت (قابل‌استفاده‌ترین)، چارچوب‌های REی IBM/متن‌باز — به‌کارشان ببرید؛ برآورد دست‌ساز می‌آموزد، ابزار-یاری می‌نشراند. انضباط: هر برآورد یک سناریو است (فرضیات را بیان کنید: p_phys، Λ، زمان دوره، نسخهٔ الگوریتم)، هرگز یک عدد تنها؛ تحلیل حساسیت (کدام فرض بیشترین حرکت را می‌دهد — تقریباً همیشه p_phys و T-count) خودِ تحلیل است؛ و برآوردها کهنه می‌شوند — مثال متعارف: فاکتورگیری RSA-2048 از ۲۰ میلیون کیوبیت نویزی (دورهٔ گیدنی–اکرای ۲۰۱۹) به زیر ۱ میلیون (گیدنی ۲۰۲۵) با بهبودهای حساب و کد رفت — ۲۰ برابر در شش سال، همه ثابت، هیچ مجانبی. برآورد، صنعتِ زنده است.
79.5عملی‌بودن الگوریتمی
فیلتری که برندگان عصر FTQ را از زینت‌ها جدا می‌کند، اعمال‌شده بر متون: شور (فاکتورگیری 2048-بیتی: ~4×10³ منطقی، ~10¹⁰ T، ساعت-روزها روی ماشین بزرگ دههٔ ۲۰۳۰ — عملی در آن‌سوی نقشهٔ راه، و دلیلِ همین حالا اجرا شدن مهاجرت PQC)؛ گروور (جست‌وجوی کلید AES: ~10³ منطقی اما 2⁶⁴ تکرار ترتیبی = هفته-ها زمان-دیواری — مجانبی درست، شکننده-به-سرعت-ساعت؛ رمزنگاری متقارن در عمل زنده می‌ماند)؛ شیمی/ردهٔ FeMoco (10² تا 10³ منطقی، 10⁹ تا 10¹¹ T — کاربرد پرچم‌دار، هزینه‌پذیر روی ماشین‌های اواخر دههٔ ۲۰۳۰، تحلیل حساسیت جاری)؛ الگوریتم‌های عصر QSVT/کیوبیت‌سازی (ستون فقرات مدرن — بهینه‌شدهٔ منابع، کمT)؛ HHL (احتیاط‌های عدد-شرط و دقت بیشترِ تجسدها را غیرعملی می‌کند — داستان عبرت)؛ برآورد دامنه برای مالی (سرعت √ مونت‌کارلو × هزینه‌های 10⁶-شات = اقتصاد حاشیه‌ای — مناقشه‌برانگیز). فرادرس: عملی‌بودن سه‌وجهی است — منابع منطقی، زمان-دیواری و ارزش مسأله — و مفیدترین داوران حوزه (این یک شغل واقعی است — 60.9) هر سه را هم‌زمان نگه می‌دارند.
79.6ملاحظات مقیاس میلیون-کیوبیتی
مهندسی سیستم ماشین‌هایی که هنوز وجود ندارند: کرایوژنیک و I/O (ماشین ابررسانای 10⁶-کیوبیتی ~10⁵ تا 10⁶ خط کواکسیال یا چندتایی‌سازی cryo-CMOS می‌خواهد — سیم‌کشی، دیوارِ پیش از کیوبیت‌هاست)؛ الکترونیک کنترل (تولید شکل‌موج به‌ازای-کیوبیت در مقیاس — اقتصاد FPGA/ASIC، حوزهٔ 60.6 در اندازهٔ صنعتی)؛ رمزگشایی بلادرنگ (10⁶ کیوبیت فیزیکی با دورهٔ µs = 10⁹+ بیت سندروم بر ثانیه برای رمزگشایی بلادرنگ — مسألهٔ فصل ۳۷ ضرب‌شده در مقیاس دیتاسنتر؛ محاسبات رمزگشا شاید از ردپای خود رایانهٔ کوانتومی بزرگ‌تر شود)؛ کالیبراسیون در مقیاس (تنظیم به‌ازای-کیوبیت با انسان مقیاس نمی‌شود — کالیبراسیون خودکار/ML زیرساخت اجباری می‌شود)؛ بازده و ساخت (10⁶ کیوبیت با فیدیلیتی 99.9٪ یعنی مدیریت جمعیت عیب 0.1٪ — راهبردهای درجه‌بندی چیپ) و پشتهٔ کامپایلر (زمان‌بندی 10⁹ عمل منطقی میان کارخانه‌ها و حافظه — جعبهٔ پژوهشی ۴۶، در مقیاس سیستم‌عامل؛ کسی «سیستم‌عامل کوانتومی» نخستین عصر FTQ را خواهد نوشت). هر کدام مسألهٔ نرم‌افزار/سیستمی با لباس فیزیک است — نقشهٔ careers بخش شانزدهم، نقش‌شده روی دههٔ ۲۰۳۰.