مزیت کوانتومی، برتری کوانتومی و سودمندی کوانتومی: این واژه‌ها چه معنایی دارند

سه عبارت بارها و بارها در پوشش خبری رایانش کوانتومی تکرار می‌شوند: برتری کوانتومی، مزیت کوانتومی و سودمندی کوانتومی. گاهی آن‌ها را مترادف می‌دانند و گاهی پله‌های یک نردبان پیشرفت. هیچ‌کدام نیستند. از مقاله‌ها و سخنرانی‌های متفاوتی آمده‌اند، مقایسه‌های متفاوتی انجام می‌دهند و هر سه را می‌توان با دقت یا بی‌دقتی به کار برد.

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

برتری کوانتومی

John Preskill اصطلاح «برتری کوانتومی» (quantum supremacy) را در یک سخنرانی گزارشی در سال ۲۰۱۲ مطرح کرد که بعدها با عنوان «Quantum computing and the entanglement frontier» منتشر شد. او آن را برای لحظه مورد انتظاری به کار برد که یک سامانه کوانتومی به‌خوبی کنترل‌شده بتواند کاری انجام دهد که از توان رایانه‌های دیجیتال معمولی فراتر می‌رود. در آن سخنرانی، یک نمایش قانع‌کننده برتری لازم نبود مسئله صنعتی سودمندی را حل کند. می‌توانست کاری ساختگی باشد که به این دلیل انتخاب شده که شبیه‌سازی کلاسیکش دشوار و اجرایش روی سخت‌افزار کوتاه‌مدت ممکن است.

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

شناخته‌شده‌ترین ادعا در اکتبر ۲۰۱۹ مطرح شد، وقتی Google و همکارانش مقاله «Quantum supremacy using a programmable superconducting processor» را در Nature منتشر کردند. آن‌ها آزمایشی از نمونه‌برداری مدار تصادفی روی پردازنده ۵۳ کیوبیتی Sycamore گزارش کردند و برآورد کردند کاری که دستگاه کوانتومی‌شان در حدود ۲۰۰ ثانیه انجام می‌دهد، برای یک ابررایانه پیشرفته حدود ۱۰٬۰۰۰ سال طول می‌کشد. این ارقام برآورد نویسندگان‌اند، نه یک ثابت جهانی طبیعت: به نحوه مدل‌سازی شبیه‌سازی کلاسیک بستگی دارند.

پژوهشگران IBM به‌طور عمومی پاسخ دادند، از جمله در پست وبلاگی با عنوان «On ‘quantum supremacy’»، و استدلال کردند که یک شبیه‌سازی کلاسیک دقیق‌تر — به‌ویژه شبیه‌سازی‌ای که از حافظه ثانویه بهتر استفاده کند — می‌تواند همان کار نمونه‌برداری را به‌جای هزاره‌ها در چند روز تمام کند. اختلاف بر سر این نبود که آیا Sycamore مداری دشوار را اجرا کرد یا نه. بر سر این بود که «فراتر از دسترس رایانه‌های کلاسیک» وقتی الگوریتم کلاسیک و مدل ماشین سخاوتمندانه‌تر مشخص شوند به چه معناست.

این تبادل الگویی برای خواندن هر ادعای بعدی از نوع برتری است: کار را نام ببرید، دستگاه کوانتومی را نام ببرید، خط پایه کلاسیک را نام ببرید و انتظار داشته باشید که با بهتر شدن الگوریتم‌های کلاسیک، خط پایه جابه‌جا شود.

مزیت کوانتومی

«مزیت کوانتومی» (quantum advantage) به دو شیوه هم‌پوشان به کار می‌رود و دلیل دردسرسازی‌اش همین است.

در یک کاربرد، مترادفی ملایم‌تر برای برتری است: یک رایانه کوانتومی در کاری به‌خوبی تعریف‌شده از رایانه‌ای کلاسیک بهتر عمل می‌کند. برخی پژوهشگران «مزیت» را ترجیح می‌دهند، چون واژه supremacy در زبان انگلیسی بار سیاسی‌ای دارد که هیچ ربطی به فیزیک ندارد. وقتی مقاله‌ای می‌گوید به همین دلیل از واژه برتری پرهیز می‌کند، معمولاً هنوز درباره یک مقایسه محاسباتی سخن می‌گوید، نه درباره محصولی که به‌طور کلی از رایانه‌های کلاسیک بهتر باشد.

در کاربرد دیگر، «مزیت» مختص تسریع (یا بهبود در هزینه یا انرژی) در مسئله‌ای دانسته می‌شود که مردم از پیش به آن اهمیت می‌دهند — شیمی، مواد، بهینه‌سازی، رمزنگاری — نه در یک کار نمونه‌برداری که برای مقایسه ابداع شده است. طبق این کاربرد سخت‌گیرانه‌تر، یک آزمایش نمونه‌برداری مدار تصادفی می‌تواند برتری باشد بی‌آنکه مزیت باشد.

تا وقتی اعلانی نگوید چه چیزی با چه چیزی مقایسه شده، نمی‌توانید بفهمید کدام معنا را در نظر دارد. تیتری که فقط می‌گوید «مزیت کوانتومی به دست آمد» ناتمام است.

سودمندی کوانتومی

«سودمندی» (utility) پس از مقاله‌ای در سال ۲۰۲۳ در Nature به قلم Youngseok Kim، Andrew Eddins، Abhinav Kandala و همکارانشان در IBM و شرکای دانشگاهی، با عنوان «Evidence for the utility of quantum computing before fault tolerance»، رواج گسترده یافت. این آزمایش مدارهایی را روی یک پردازنده ابررسانای نویزی ۱۲۷ کیوبیتی اجرا کرد، از جمله مدارهایی با حداکثر ۶۰ لایه گیت دوکیوبیتی (۲٬۸۸۰ گیت CNOT در بزرگ‌ترین مواردی که برجسته کرده‌اند). نویسندگان استدلال کردند که توانسته‌اند مقادیر چشمداشتی دقیقی را در مقیاسی فراتر از محاسبه کلاسیک به روش جست‌وجوی کامل اندازه بگیرند، و اینکه در رژیمی با درهم‌تنیدگی شدید، نتایجشان در جایی قابل اتکا ماند که برخی روش‌های کلاسیک تقریبی پیشرو، از جمله برخی رویکردهای شبکه تانسوری، از کار افتادند.

دو هشدار مستقیماً از خود مقاله برمی‌آید. نخست، نویسندگان این را شواهدی برای سودمندی در دوره پیش از تحمل‌پذیری خطا معرفی می‌کنند — پایه‌ای برای کاوش روش‌های کوتاه‌مدت — نه ادعایی مبنی بر اینکه یک کاربرد تجاری اکنون از هر حل‌کننده کلاسیکی بهتر است. دوم، آن‌ها با تکنیک‌های کلاسیک مشخصی مقایسه می‌کنند (شبیه‌سازی جست‌وجوی کامل در جایی که هنوز ممکن است، و روش‌های تقریبی نام‌برده در جایی که ممکن نیست). الگوریتم‌های کلاسیک بعدی می‌توانند این فاصله را کم کنند یا ببندند، همان‌طور که کارهای شبیه‌سازی کلاسیک به بخش‌هایی از مقایسه برتری ۲۰۱۹ پاسخ دادند.

در زبان تبلیغاتی آزادتر، «سودمندی» گاهی به معنای «مشتریان از سامانه کوانتومی ما ارزش دریافت می‌کنند» کش داده می‌شود. این ممکن است گزاره تجاری معقولی باشد. اما همان گزاره مقاله ۲۰۲۳ نیست.

این واژه‌ها در کنار NISQ و تحمل‌پذیری خطا چه جایگاهی دارند

مقاله بعدی Preskill درباره NISQ (۲۰۱۸) دوره‌ای از دستگاه‌ها را توصیف کرد با ده‌ها تا صدها کیوبیت نویزی، آن‌قدر جالب که بتوانند آزمایش‌هایی اجرا کنند که شبیه‌سازی‌شان دشوار است، و هنوز بدون حفاظت تصحیح خطای کامل تحمل‌پذیر خطا. آزمایش‌های نمونه‌برداری از نوع برتری به‌طور طبیعی در همین دوره جای می‌گیرند: می‌پرسند آیا یک دستگاه نویزی می‌تواند در کاری سفارشی از شبیه‌سازی کلاسیک پیشی بگیرد.

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

درآمیختن این لایه‌ها — «ما برتری را نشان دادیم، پس الگوریتم‌های سودمند از راه رسیده‌اند» — رایج‌ترین جهش در نوشته‌های عامه‌پسند است. خود مقاله‌های تجربی به‌ندرت چنین جهشی می‌کنند.

آزمونی برای خواندن هر یک از این سه ادعا

اعلان هر واژه‌ای را که برگزیند، همان پرسش‌ها صدق می‌کنند:

• کار. چه ورودی‌ای داده می‌شود، چه خروجی‌ای تولید می‌شود و چرا آن خروجی به‌طور کلاسیک دشوار است؟
• دستگاه کوانتومی. چند کیوبیت، کدام نوع، چه عمق مداری، و از چه کاهش خطا یا تصحیح خطایی استفاده شد؟
• خط پایه کلاسیک. کدام الگوریتم، کدام ماشین، چه مقدار زمان و حافظه، و چه کسی پیاده‌سازی را انتخاب کرد — تیم کوانتومی یا یک گروه کلاسیک مستقل؟
• راستی‌آزمایی. وقتی مسئله برای شبیه‌سازی دقیق بیش از حد بزرگ است، کسی از کجا می‌داند خروجی کوانتومی درست است؟
• پایداری ادعا. آیا یک روش کلاسیک بعدی فاصله را کم کرده است؟ ادعاهای برتری و مزیت می‌توانند بدون هیچ خطایی در آزمایش اصلی کوچک شوند.
• سودمندی. آیا این کار چیزی است که کاربری بیرون از آزمایش می‌خواست حل شود، یا معیاری است که برای مقایسه ساخته شده است؟

اگر این پاسخ‌ها در مقاله یا پست فنی وبلاگ آمده باشند، واژه تیتر اهمیت کمتری دارد. اگر نیامده باشند، واژه تیتر نمی‌تواند جای آن‌ها را بگیرد.

DesignQuantum^™ این اصطلاحات را چگونه به کار می‌برد

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

واژگان همچنان تغییر خواهند کرد. آنچه نباید تغییر کند، این خواست است که هر ادعای محاسباتی کار و خط پایه‌اش را نام ببرد.