کیوبیت‌های منطقی، نه تعداد کیوبیت فیزیکی، عددی است که در محاسبات کوانتومی مهم است
هر چند ماه یک اعلام محاسبات کوانتومی با عددی بزرگ‌تر منتشر می‌شود: تراشه‌ای با کیوبیت بیشتر، پردازنده‌ای با شمار بالاتر، یا نقشه راهی که تا پایان دهه هزاران کیوبیت وعده می‌دهد. این عدد گزارش کردن و مقایسه‌اش آسان است و دقیقاً به همین دلیل گمراه‌کننده است. کیوبیت فیزیکی دستگاهی پرنویز است که حالت کوانتومی‌اش را در عرض میکروثانیه تا میلی‌ثانیه از دست می‌دهد. ماشینی که بتواند الگوریتم‌های مفید برای شیمی، مواد یا رمزنگاری را اجرا کند به کیوبیت منطقی نیاز دارد: واحدهای اطلاعاتی که با تصحیح خطا محافظت شده‌اند و آن‌قدر قابل‌اعتمادند که بتوان هزاران یا میلیون عملیات را پشت سر هم زنجیر کرد.
فاصله میان این دو عدد، مسئله مهندسی مرکزی این حوزه است. خواندن درست ادعاهای فروشندگان یعنی درک این فاصله و پرسیدن سؤال‌هایی که آن را آشکار می‌کنند.
چرا کیوبیت فیزیکی کافی نیست
حالت‌های کوانتومی شکننده‌اند. گرما، نویز الکترومغناطیسی و پالس‌های کنترل ناقص همگی خطا وارد می‌کنند و این خطاها انباشته می‌شوند. بدون تصحیح، یک محاسبه طولانی به مولد عدد تصادفی تبدیل می‌شود. تصحیح خطا این مشکل را با کدگذاری یک کیوبیت منطقی روی چندین کیوبیت فیزیکی حل می‌کند و سپس بارها بررسی‌های برابری را اندازه می‌گیرد که خطاها را آشکار می‌کنند بی‌آنکه اطلاعات ذخیره‌شده از بین برود. کد سطحی (surface code)، پرمطالعه‌ترین طرح تا امروز، کیوبیت‌های فیزیکی را روی یک شبکه دوبعدی می‌چیند و با این بررسی‌ها خطاها را پیوسته شناسایی و اصلاح می‌کند.
نکته دشوار سربار است. کیوبیت منطقی ساخته‌شده با کد سطحی به یک فاصله کد d نیاز دارد که تقریباً تعیین می‌کند کد چند خطا را تحمل کند. تعداد کیوبیت فیزیکی برای هر کیوبیت منطقی با مجذور d رشد می‌کند، بنابراین بسته به نرخ خطای سخت‌افزار و دقت لازم الگوریتم، یک کیوبیت منطقی ممکن است به چند صد تا بیش از هزار کیوبیت فیزیکی نیاز داشته باشد. ماشینی با ده هزار کیوبیت فیزیکی ممکن است فقط چند کیوبیت منطقی قابل‌استفاده داشته باشد.
نتیجه آستانه‌ای که گفتگو را عوض کرد
مهم‌ترین دستاورد اخیر نمایش تصحیح خطا زیر آستانه بود. آستانه نرخ خطای فیزیکی‌ای است که پایین‌تر از آن افزودن کیوبیت به یک کد نرخ خطای منطقی را کاهش می‌دهد، نه افزایش. در اواخر ۲۰۲۴ تیم Google Quantum AI درباره تراشه Willow گزارش داد که نرخ خطای یک کیوبیت منطقی سطحی تقریباً با هر افزایش فاصله کد از ۳ به ۵ و ۷ به نصف کاهش یافت. همین رفتار مقیاس‌پذیری است که ماشین‌های بزرگ‌تر را بالقوه مفید می‌کند، چون یعنی سخت‌افزار بیشتر قابلیت اطمینان بیشتری می‌خرد، نه نویز بیشتر.
چند گروه دیگر از آن زمان آزمایش‌های کوچک کیوبیت منطقی را روی پلتفرم‌های یون به‌دام‌افتاده و اتم خنثی با کدها و سخت‌افزارهای متفاوت گزارش کرده‌اند. این حوزه از پرسیدن اینکه آیا تصحیح خطا اصلاً کار می‌کند عبور کرده و حالا می‌پرسد چقدر خوب، با چه هزینه‌ای و در کدام معماری.
چگونه ادعای کیوبیت منطقی را بخوانیم
وقتی شرکتی نتیجه کیوبیت منطقی اعلام می‌کند، پنج مورد اطلاعاتی تعیین می‌کنند که آن ادعا چقدر معنا دارد.
نرخ خطای منطقی به ازای هر عملیات یا چرخه تصحیح. کیوبیتی که یک چرخه را زنده می‌ماند با کیوبیتی که هزار چرخه را زنده می‌ماند یکی نیست. نرخ خطا به ازای هر چرخه و روش اندازه‌گیری آن را بپرسید.
فاصله کد و نوع کد. نمایش در فاصله ۳ یک اثبات مفهوم است. فاصله ۷ یا بیشتر نشان می‌دهد که رویکرد مقیاس‌پذیر است یا نه. بپرسید از کدام خانواده کد استفاده شده، چون سربار میان کدها فرق دارد.
نسبت فیزیکی به منطقی. تعداد کیوبیت فیزیکی را بر تعداد کیوبیت منطقی تقسیم کنید و بررسی کنید آیا این عدد با نرخ‌های خطای اعلام‌شده سازگار است. ادعای کیوبیت منطقی زیاد روی سخت‌افزار متوسط باید پرسش برانگیزد.
پس‌انتخاب (post-selection). برخی آزمایش‌ها اجراهایی را که آشکارسازی خطا مشکل نشان داده کنار می‌گذارند و فقط نتایج باقی‌مانده را گزارش می‌کنند. این می‌تواند نرخ خطای ظاهری را به شدت بهبود دهد. بررسی کنید آیا ارقام شامل داده‌های کنارگذاشته‌شده هم هست، و آیا الگوریتم اگر همه اجراها نگه داشته می‌شدند هنوز کار می‌کرد.
دروازه‌های غیرکلیفورد. تصحیح خطا برخی عملیات را ارزان انجام می‌دهد، اما برخی دیگر، به‌ویژه دروازه T که برای محاسبه عمومی لازم است، به فرایندی پرهزینه به نام تقطیر حالت جادویی نیاز دارند. ماشینی که روی دروازه‌های ساده خوب خطا را تصحیح می‌کند ممکن است برای الگوریتم‌هایی که مردم به آن‌ها اهمیت می‌دهند هنوز بسیار کند باشد. بپرسید هزینه دروازه‌های T بر حسب کیوبیت فیزیکی و زمان چقدر است.
این برای چند سال آینده یعنی چه
تصویر صادقانه این است که حوزه هنوز در مرحله اثبات بلوک‌های سازنده است، نه مرحله‌ای که ماشین‌های مفید وجود داشته باشند. شبیه‌سازی‌های شیمی و مواد که از روش‌های کلاسیک بهتر عمل کنند پرتکرارترین اهداف‌اند و به هزاران کیوبیت منطقی باکیفیت نیاز دارند که مدت طولانی کار کنند. ماشین‌های مرتبط با رمزنگاری دورترند و جدول‌های زمانی در بحث عمومی بسیار متفاوت است. برای برنامه‌ریزی، مفیدترین شاخص‌ها نرخ‌های خطای منطقی در فاصله‌های کد بزرگ‌تر، هزینه عملیات غیرکلیفورد و نمایش الگوریتم‌های چندمرحله‌ای روی کیوبیت منطقی به‌جای آزمایش‌های یک‌مرحله‌ای است.
یک پیامد عملی نیز برای هر کسی که این حوزه را دنبال می‌کند وجود دارد. اطلاعیه‌هایی که با تعداد کیوبیت شروع می‌شوند معمولاً نوشتنشان ساده‌تر از اطلاعیه‌هایی است که با نرخ خطای منطقی شروع می‌شوند، و همین عدم تقارن خودش نشانه‌ای است. عدد تیتر را آغاز پرسش بدانید، نه پاسخ.
نکات عملی
- وقتی تعداد کیوبیتی می‌بینید، تعداد کیوبیت منطقی، فاصله کد و نرخ خطای منطقی به ازای هر چرخه را بخواهید. اگر هیچ‌کدام داده نشده، ادعا هنوز قابل مقایسه نیست.
- نسبت فیزیکی به منطقی را خودتان حساب کنید و آن را با نرخ‌های خطای گزارش‌شده بسنجید.
- بررسی کنید آیا نتایج از پس‌انتخاب استفاده کرده‌اند و آیا ارقام با حضور داده‌های کنارگذاشته‌شده هم برقرار می‌ماندند.
- برای برنامه‌ریزی الگوریتم، روی هزینه دروازه‌های غیرکلیفورد و تعداد عملیات منطقی لازم برای محاسبه هدف تمرکز کنید، نه صرفاً اندازه سخت‌افزار.
- علاوه بر اعلام، مقالات داوری‌شده و داده‌های خام منتشرشده فروشنده را دنبال کنید، چون بخش روش‌ها اغلب همان محدودیت‌هایی را دارد که تیتر حذفشان می‌کند.
کیوبیت فیزیکی معیاری است از اینکه آزمایشگاهی چه مقدار سخت‌افزار ساخته است. کیوبیت منطقی معیاری است از اینکه چقدر محاسبه قابل‌اعتماد می‌تواند انجام دهد. فقط عدد دوم نشان می‌دهد ماشین‌های کوانتومی کی شروع به حل مسائلی می‌کنند که ماشین‌های کلاسیک نمی‌توانند، و همین عدد ارزش پیگیری دارد.