چرا کدهای سطحی دوبعدی برای تصحیح خطاهای همبسته کیوبیت‌ها به تطابق کامل با کمترین وزن نیاز دارند؟

کامپیوترهای کلاسیک خطاها را با کپی کردن داده‌ها و رأی‌گیری اکثریتی تصحیح می‌کنند؛ سیستمی که به این دلیل جواب می‌دهد که تغییر ناگهانی یک صفر، به‌ندرت همسایه‌اش را هم‌زمان تغییر می‌دهد. اما کامپیوترهای کوانتومی اصلاً نمی‌توانند داده‌ها را کپی کنند، و خطاهای آن‌ها اغلب در امواج هماهنگ به کیوبیت‌های مجاور ضربه می‌زنند.

برای دوام آوردن در چنین محیطی، پردازنده‌های کوانتومی به کدهای سطحی دوبعدی متکی هستند که کیوبیت‌های فیزیکی را در یک شبکه شطرنجی می‌چینند. این کدها به جای کپی کردن داده‌ها، پاریته کیوبیت‌های مجاور را اندازه می‌گیرند تا بدون از بین بردن حالت کوانتومی شکننده، ناهنجاری‌ها را تشخیص دهند.[1]

هنگامی که یک خطای مجزا رخ می‌دهد، کد سطحی با روشن کردن دو کیوبیت اندازه‌گیری مجاور—که به آن سندرم می‌گویند—مکان دقیق را علامت‌گذاری می‌کند. سپس یک الگوریتم ساده می‌تواند این نشانه‌ها را جفت کرده و یک تصحیح محلی برای بازگرداندن سیستم اعمال کند.[1][5]

با این حال، واقعیت سخت‌افزار کوانتومی به‌ندرت با این روایت‌های تبلیغاتیِ ایده‌آل جور درمی‌آید. پردازنده‌های فیزیکی از خطاهای همبسته رنج می‌برند؛ وضعیتی که در آن یک پرتو کیهانی یا نوسان حرارتیِ واحد، چندین کیوبیت مجاور را در یک رخداد فاجعه‌بار دستخوش تغییر می‌کند.[3]

تهدید نویزهای همبسته

این ضربات همبسته زنجیره‌هایی از خطا ایجاد می‌کنند که الگوریتم‌های رمزگشایی اولیه را کاملاً سردرگم می‌سازد. اگر چهار کیوبیت پشت سر هم دچار خطا شوند، کد سطحی فقط دو سر زنجیره را علامت می‌زند و بخش میانی را از دید سیستم اندازه‌گیری پنهان نگه می‌دارد.[2]

آستین فاولر در مقاله بنیادی سال ۲۰۱۲ خود درباره این معماری می‌نویسد: «کدهای سطحی ویژگی‌های مطلوب فراوانی دارند، از جمله آستانه خطای بالای حدود یک درصد.» اما نکته اینجاست که این آستانه یک درصدی فرض می‌کند خطاها کاملاً مستقل از یکدیگر رخ می‌دهند.[1]

وقتی خطاها همبسته باشند، رمزگشا باید حدس بزند خطا چه مسیری را بین دو نشانه مرئی طی کرده است. اگر اشتباه حدس بزند، تصحیحی که تلاش می‌کند اعمال کند در واقع یک حلقه خطا در سراسر شبکه ایجاد کرده و کیوبیت منطقی را برای همیشه تخریب می‌کند.[2][5]

همین ابهام نشان می‌دهد چرا این صنعت نمی‌تواند صرفاً با افزایش تعداد کیوبیت‌های فیزیکی به تحمل خطا برسد. بدون یک راهکار کارآمد برای حل این زنجیره‌های خطای نامرئی، افزودن کیوبیت‌های بیشتر تنها سطح تماس پردازنده را برای ضربه نویزهای همبسته گسترده‌تر می‌کند.[3]

نگاشت خطاها روی یک گراف

برای حل این معضل، محققان به سراغ الگوریتم تطابق کامل با کمترین وزن رفته‌اند؛ الگوریتمی که در اصل در سال ۱۹۶۵ برای نظریه کلاسیک گراف‌ها توسعه یافت. این الگوریتم با شبکه کد سطحی مثل یک تار عنکبوت پیچیده از گره‌ها و یال‌ها رفتار می‌کند.[2]

هر کیوبیت اندازه‌گیری که وجود خطا را گزارش می‌کند، به یک گره در این گراف تبدیل می‌شود. سپس الگوریتم بین تمام جفت‌گره‌های ممکن یال رسم می‌کند و بر اساس فاصله فیزیکی و احتمال بروز خطایی که آنها را به هم متصل کرده، به هر یال یک وزن تخصیص می‌دهد.[2][4]

شرط «تطابق کامل» الگوریتم را وادار می‌کند تک‌تک گره‌های پرچم‌خورده در صفحه را با یک گره دیگر جفت کند. در همین حال، قید «کمترین وزن» تضمین می‌کند که الگوریتم پیکربندی جفت‌هایی را بیابد که نشان‌دهنده کوتاه‌ترین و محتمل‌ترین مجموعه از زنجیره‌های خطا هستند.[4]

با محاسبه کمترین وزن کل در کل شبکه به شکل هم‌زمان، الگوریتم به شکلی مؤثر محتمل‌ترین مسیری را که خطاهای همبسته طی کرده‌اند استنتاج می‌کند. این دیدگاه سراسری مانع از آن می‌شود که رمزگشا دست به حدس‌های موضعی بزند که تصادفاً حالت کوانتومی را نابود می‌کنند.[2][5]

گلوگاه محاسباتی

اگرچه تطابق کامل با کمترین وزن یک سازوکار دفاعی دقیق از نظر ریاضی در برابر نویزهای همبسته ارائه می‌دهد، اما یک گلوگاه شدید در پردازش کلاسیک به وجود می‌آورد. الگوریتم باید به‌صورت بی‌درنگ اجرا شود و خطاها را سریع‌تر از آنکه پردازنده کوانتومی تولید کند، جفت‌وجور کند.[4]

کیوبیت‌های ابررسانا در مقیاس‌های زمانی میکروثانیه‌ای کار می‌کنند، به این معنی که رمزگشای کلاسیک تقریباً یک‌میلیونیم ثانیه فرصت دارد تا مسئله گراف را حل کند. اگر رمزگشا عقب بماند، خطاهای تصحیح‌نشده آن‌قدر روی هم انباشته می‌شوند تا کیوبیت منطقی به طور کامل فروبپاشد.[3][5]

پیاده‌سازی استاندارد این تطابق، معروف به الگوریتم بلاسم، مقیاس‌پذیری مکعبی نسبت به تعداد خطاها دارد. با رشد پردازنده‌ها از صدها به هزاران کیوبیت فیزیکی، توان پردازش کلاسیک مورد نیاز برای اجرای رمزگشا به شکل انفجاری بالا می‌رود.[2][4]

اسکار هیگوت در مقاله سال ۲۰۲۲ خود در معرفی کتابخانه PyMatching می‌نویسد: «تطابق کامل با کمترین وزن یک الگوریتم رمزگشایی پرکاربرد برای کدهای سطحی است.» کار او بر بهینه‌سازی دقیق همین گلوگاه از طریق پیش‌محاسبه مسیرهای خطای احتمالی تمرکز دارد.[4]

مهندسی برای عبور از محدودیت‌ها

برای همگام ماندن با سخت‌افزارهای کوانتومی، مهندسان در حال انتقال رمزگشاها از پردازنده‌های معمولی به آرایه‌های گیت برنامه‌پذیر میدانی (FPGA) سفارشی هستند. این تراشه‌های اختصاصی می‌توانند منطق تطابق را به شکل موازی اجرا کنند و نانوثانیه‌های حیاتی را از چرخه پردازش بکاهند.[5]

تیم‌های دیگر در حال توسعه رمزگشاهای سلسله‌مراتبی هستند که کد سطحی را به شبکه‌های کوچک‌تر و منطقه‌ای تقسیم می‌کنند. این رمزگشاهای محلی خطاهای ساده و مستقل را بلافاصله رفع می‌کنند و فقط زنجیره‌های پیچیده و همبسته را به یک حل‌کننده سراسری ارجاع می‌دهند.[1][5]

این رویکرد ترکیبی در عمل اعتراف می‌کند که هرچند تطابق کامل برای نویزهای همبسته حیاتی است، اما از نظر محاسباتی بسیار سنگین‌تر از آن است که برای هر نوسان جزئی به کار گرفته شود. برقراری تعادل میان دقت و سرعت همچنان چالش محوری مهندسی در رایانش کوانتومی خطاپذیر است.[3]

سازندگان سخت‌افزار پیوسته نقشه‌های راهی با میلیون‌ها کیوبیت فیزیکی تا دهه آینده منتشر می‌کنند. این پیش‌بینی‌های جذاب به‌ندرت اشاره می‌کنند که یک کد سطحی با یک میلیون کیوبیت، صرفاً برای اجرای بی‌درنگ رمزگشا به یک ابررایانه کلاسیک احتیاج خواهد داشت.[6]

مسیر دستیابی به تحمل خطا

با وجود بار سنگین محاسباتی، تطابق کامل همچنان استاندارد طلایی رمزگشایی کدهای سطحی باقی مانده است. توانایی آن در مدیریت خطاهای همبسته از نظر مکانی، آن را به‌طور منحصربه‌فردی برای واقعیت ناهموار پردازنده‌های کوانتومی کوتاه‌مدت مناسب می‌سازد.[2][4]

استراتژی‌های جایگزین برای رمزگشایی، مانند انتشار باور یا شبکه‌های عصبی، به‌طور جدی در دست تحقیق هستند. با این وجود، این روش‌های جدید اغلب با ویژگی‌های توپولوژیکی خاص کد سطحی دچار چالش می‌شوند و گاهی موفق به همگرایی روی یک راه‌حل نمی‌شوند.[4]

تطابق کامل، دستیابی به پاسخ را در یک بازه زمانی قابل‌پیش‌بینی تضمین می‌کند؛ قابلیتی حیاتی وقتی می‌خواهید یک چرخه هم‌گام تصحیح خطا طراحی کنید. همین قابلیت اطمینانِ قطعی است که غول‌های فناوری را به بهینه‌سازی مداوم الگوریتم‌های تطابق وادار کرده است.[1][5]

با بزرگ‌تر شدن پردازنده‌های کوانتومی، رابطه میان نرخ خطای فیزیکی و سرعت رمزگشایی کلاسیک، آهنگ پیشرفت را تعیین خواهد کرد. کاهش نرخ خطای فیزیکی تعداد پرچم‌هایی را که الگوریتم باید پردازش کند، کمتر می‌کند.[3]

همبستگی خطا در بستر زمان

چالش خطاهای همبسته فراتر از ابعاد مکانی روی تراشه فیزیکی است. از آنجا که اندازه‌گیری پاریته کیوبیت‌ها خود فرآیندی با احتمال خطاست، خطاها می‌توانند در طول زمان نیز همبستگی پیدا کنند و رمزگشا را وادار به رهگیری تاریخچه رخدادها سازند.[2]

برای در نظر گرفتن احتمال نقص در اندازه‌گیری، کد سطحی بررسی‌های پاریته خود را در چندین چرخه متوالی تکرار می‌کند. سپس الگوریتم باید یک گراف سه‌بعدی بسازد که در آن محور سوم نماینده زمان است و پرچم‌ها را در طول دوره‌های متوالی اندازه‌گیری مطابقت می‌دهد.[1][2]

این بعد زمانی تعداد گره‌هایی را که الگوریتم باید بررسی کند به شکل چشمگیری افزایش می‌دهد. یک اندازه‌گیری معیوب می‌تواند پرچمی کاذب ایجاد کند و رمزگشا را وادار کند منتظر چرخه بعدی بماند تا تأیید شود آیا واقعاً خطایی رخ داده است یا خیر.[4][5]

اگر رمزگشا یک پرچم کاذب را به یک خطای واقعی پیوند بزند، تصحیحی را اعمال می‌کند که اصلاً نیازی به آن نبوده، و عملاً نویز جدیدی به سیستم تزریق می‌کند. گراف سه‌بعدی با مطالبه همخوانی زمانی پیش از انجام اقدام، جلوی این خطای مخرب را می‌گیرد.[2]

فراتر از هیاهوی رسانه‌ای

صنعت رایانش کوانتومی برای توجیه سرمایه‌گذاری‌های سنگین خود به‌شدت به وعده دست‌یافتن به تحمل خطا متکی است. با این حال، گذار از دستگاه‌های پر سر و صدای مقیاس متوسط به کیوبیت‌های منطقی، کاملاً وابسته به همین زیرساخت رمزگشایی کلاسیک است.[3][6]

هنگامی که شرکتی از پردازنده هزارکیوبیتی جدیدی پرده برمی‌دارد، معیاری که در واقعیت اهمیت دارد این است که سیستم‌های کنترل کلاسیک آن با چه سرعتی می‌توانند تطابق کامل را در آن معماری خاص پیاده کنند. شمارش صرف کیوبیت‌ها بدون تصحیح خطای بی‌درنگ فاقد هرگونه ارزش کاربردی است.[6]

آستانه خطای یک درصدی که مدام در مواد بازاریابی تکرار می‌شود، یک سقف نظری ریاضی است، نه نقطه مبنای مهندسی. در عمل، حضور نویزهای همبسته یعنی کیوبیت‌های فیزیکی باید با نرخ خطای بسیار کمتر از یک‌دهم درصد کار کنند تا حجم بار کاریِ رمزگشا در حد معقول باقی بماند.[1][6]

در شرایطی که پژوهشگران برای ساخت نخستین کیوبیت منطقی واقعاً مقاوم در تلاشند، کانون توجهات بی سر و صدا از فیزیک کوانتوم به علوم کامپیوتر کلاسیک معطوف می‌شود. سخت‌افزار شاید کوانتومی باشد، اما منطقی که پایداری آن را حفظ می‌کند ریشه در نظریه گراف‌های کلاسیک دارد.[3]

موفقیت کدهای سطحی دوبعدی در نهایت به این بستگی دارد که مهندسان چقدر مسئله تطابق کامل را سریع و کارآمد حل کنند. تا زمانی که این گلوگاه کلاسیک برطرف نشود، محاسبات کوانتومی در مقیاس بزرگ به جای یک ابزار عملیاتی، در حد بلندپروازی نظری باقی خواهند ماند.[5][6]