55. یافتن مسائل پژوهشی
55.1مسائل باز
از فهرست‌های خودِ حوزه شروع کنید — که به‌شگفتی عمومی و صادقانه‌اند. نظریه: روابط BQP با NP، زیرگروه پنهان ناآبلی (وضعیت کوانتومی ایزومرفیسم گراف)، برد کوانتومی‌زدایی، مسیرهای فرار از فلات بایرانی. عمل: رمزگشایی بلادرنگ در مقیاس (قید ۱ میکروثانیهٔ فصل ۳۷)، سربار تقطیر حالت جادویی، امکان‌سنجی QRAM، برتری کوانتومیِ راستی‌آزمایی‌شده. منابع گزینش: فهرست‌های «ایده‌های نیم‌قابل‌قبول» آرونسون، بخش‌های مسائل مقاله‌های نقشهٔ راه (IBM، گوگل، QuEra منتشر می‌کنند)، بخش‌های پرسش‌های باز آموزش‌های کنفرانس (سخنرانی‌های QIP و TQC) و — غنی‌ترین برای شما — بخش‌های «کار آینده» مقاله‌هایی که در فصل ۵۳ بازتولیدشان می‌کنید. روش: دفتر مسائل خودتان را نگه دارید؛ هر پرسش بازی که دیدید با یادداشتی دربارهٔ اینکه چرا برایتان جالب است و زاویهٔ احتمالی‌تان. سلیقه، دفتری است که در ماه‌ها گزینش می‌شود.
55.2شکاف‌های ادبیات
شکاف‌ها در دیدرس پنهان‌اند؛ با جست‌وجو پیدایشان کنید، نه نبوغ. الگوهای شکاف: خط پایهٔ غایب (مقاله‌های روشی که هرگز با رقیب کلاسیک بدیهی مقایسه نشدند — 50.8 می‌گوید این‌ها فراوان‌اند)؛ پرتگاه مقیاس (نتایج در n=6 نشان داده، ادعاها دربارهٔ n=100 — منحنی را بازتولید و یک نقطه اضافه کنید)؛ نامناسبی رژیم (رمزگشا روی قطبی‌شونده معتبر شده، مقابل کراس‌تاک مستقر شده — منطق ابطال‌کنندهٔ 54.6)؛ جفت ترکیب‌نشده (دو ایده جداگانه اثبات‌شده که هرگز با هم نیامده‌اند — نظریهٔ فلات × آنساتز محبوب شما). تکنیک: جایگاهی برگزینید، سه سال اخیرش را زمان‌وار بخوانید و ماتریس ادعاها بسازید — مقاله × ادعا × رژیم شواهد. خانه‌های خالی فهرست مسائل شما هستند و پیش از اجتماع می‌بینیدشان، چون شما ماتریس را ساختید و ایشان نه.
55.3گلوگاه‌های مهندسی
مزیت روز-اول شما: هر اصطکاکی که در بخش‌های ۶ تا ۱۳ شخصاً خوردید مسألهٔ کاندید است، چون هزاران مهندس هم می‌خورند و کمتری می‌نویسندش. روش: دفتر اصطکاک نگه دارید — هر بار ابزارهاتان شما را غافلگیر کرد (نتیجهٔ ترنسپایلری که با بذر عوض شد، مدل نویزی که رفتار سخت‌افزاری را نداشت، محکی که چیز غلط را اندازه گرفت)، با کوچک‌ترین مثال بازتولیدکننده بنویسیدش. سپس طبقه‌بندی: باگ (گزارشش کنید — مشارکت OSS اعتبار است)، ابزار غایب (بسازیدش — مقاله‌های ابزاری مقاله‌اند)، یا مسألهٔ حل‌نشده (رسمی‌اش کنید — پژوهش از درون همین‌طور به‌نظر می‌رسد). تاریخ حوزه از چنین تبدیل‌هایی پر است: SABRE از اصطکاک مسیریابی آمد؛ PyZX از اصطکاک بازنویسی مدار. مهندسانی که اصطکاک را ثبت می‌کنند، خط‌لولهٔ کشف مسأله را بدون دانستن اجرا می‌کنند.
55.4مسائل مقیاس
مسائلی که فقط در مقیاس وجود دارند — معدن طلایی نزدیک‌مدت حوزه، چون شبیه‌سازی در n≈30–50 سقف می‌زند و سخت‌افزار همین حالا از بازه‌هایی می‌گذرد که این‌ها می‌گزدند. نامزدها با شتاب ۲۰۲۵: زمان ترنسپایل مدارهای ۱۰٬۰۰۰-کیوبیتی (خود کامپایل گلوگاه می‌شود)، پهنای‌باند رمزگشایی بلادرنگ (فصل ۳۷)، خودکارسازی کالیبراسیون (تنظیم به‌ازای-کیوبیت به هزارها مقیاس نمی‌شود — کالیبراسیون ML حوزهٔ استخدام است)، موازی‌سازی سطح-پالس روی چیپ‌های بزرگ و شناسایی نویز مقیاس‌پذیر (بنچمارک تصادفی‌شده در ۱٬۰۰۰ کیوبیت خودش مسألهٔ پژوهشی است). زاویهٔ شما: همهٔ این‌ها مسائل سیستم‌های نرم‌افزاری با قیدهای فیزیکی‌اند — کامپایل توزیع‌شده، رمزگشای جریانی، تأخیر صفحه-کنترل — و متن‌بازیِ سیستم‌های کلاسیک (پروفایل، زمان‌بندی، cache، هم‌زمانی) به‌ندرت اعمال شده. لپ‌تاپ-قابل‌حل: همه‌چیز در صفحهٔ کامپایلر/کنترل، با شبیه‌سازی و دادهٔ کالیبراسیون باز.
55.5مسائل نویز
شکاف میان نویز-آن‌گونه-که-مدل-می‌شود و نویز-آن‌گونه-که-زیسته-می‌شود، کارخانهٔ مسألهٔ دائمی است. جبهه‌های زنده: رانش نویز (کالیبراسیون ساعتی می‌دود — راهبردهای کامپایل و رمزگشاییِ تطبیقی قلمرو باز است)، کراس‌تاک و خطاهای تماشاگر (در هر ماشینی حاضر، در بیشتر مدل‌ها غایب — اندازه بگیر، مدل کن، رفع کن)، نشت (حالت‌های بیرون از مانیفولد کیوبیت که QEC را مسموم می‌کنند — ورودی رمزگشایی کم‌کاوشیده)، خطاهای همبسته (قاتل شناخته‌شدهٔ فرض‌های کد سطحی) و دیوار مقیاس رفع خطا (سربارهای ZNE/PEC با عمق نمایی رشد می‌کنند — دقیقاً کجا، به‌ازای هر کلاس مسأله، رفع خطا می‌میرد؟). یادداشت روش: مسائل نویز *سرشار از اندازه‌گیری*اند — بسیاری فقط دادهٔ کالیبراسیون عمومی به‌اضافهٔ آمار هوشمندانه می‌خواهند، دقیقاً جعبه‌ابزار پژوهندهٔ لپ‌تاپی. یک مطالعهٔ رانش خوب طراحی‌شده روی دادهٔ عمومی، یک مقاله است.
55.6مسائل کامپایل
م материал بخش دوازدهم، به‌عنوان حوزهٔ پژوهشی دیده‌شده: مسائل باز با کشش صنعتی واقعی. همه‌چیزِ نویز-آگاه (چیدمان، مسیریابی، زمان‌بندی مقابل نویز اندازه‌گیری‌شده نه مدل‌شده — 45.9 جوان است)؛ انتخاب گذر و تنظیم پارامتر ML-هدایت‌شده (کدام گذرها، کدام ترتیب، برای کدام خانوادهٔ مدار — مسألهٔ جست‌وجوی واقعی)؛ کامپایل ZX-بومی در کیفیت تولید (شمارش دوقیوبیتی نزدیک-بهینه در نظریه هست؛ صنعتی‌کردن باز است)؛ مسیریابی شبکه-پائولی برای شیمی در مقیاس؛ و کامپایل تحمل‌خطا — زمان‌بندی جراحی شبکه، مدیریت ترافیک حالت جادویی، بهینه‌سازی T-count در مقیاس 10⁹-دروازه (حوزهٔ کامپایلر دههٔ ۲۰۳۰، همین حالا استخدام می‌کند). خودِ زیرساخت محک هم مسأله است (پروتکل‌های 46.8 اختراع ۲۰۲۲+ به بعدند — هم‌ارز محک‌های ML حدود ۲۰۱۵). اگر جایگاهی می‌خواهید که غرایز کامپایلر-کلاسیک‌تان فوراً تمایز می‌دهد، همین است.
55.7مسائل الگوریتمی
قلمرو سمت نظریه، ورود از راه محاسبه: نقشه‌برداری تجربی شروع فلات بایرانی روی خانواده‌های آنساتز (نظریه مجانبی می‌دهد؛ ثابت‌ها نقشه‌نشده و لپ‌تاپ-قابل-اندازه‌گیری‌اند)؛ تست-تنش کوانتومی‌زدایی (ادعای ساختار-محور کوانتومی را بردارید، نسخهٔ کلاسیکی دسترسی-نمونه را امتحان کنید — متن‌بازیِ تانگ، اعمال‌شده به اهداف تازه)؛ مهندسی گذر کوانتومی و کیوبیت‌سازی (برآوردهای منابع مسائل واقعی همچنان بهتر می‌شوند — هر بهبود یک نتیجه است)؛ شکار عناصر جدید (شکار باز 28.7، با پرسیدن نظاممند از خودتان که «ساختار تداخلی مسألهٔ X چیست؟») و راستی‌آزمایی الگوریتم — گواهی‌هایی که محاسبهٔ کوانتومی صادقانه انجام شده (درز پژوهشی ۴۴، با وزن رمزنگارانه). اندازه‌سازی صادقانه: بیشتر مسائل نظریه، بلوغ ریاضی‌ای می‌خواهند که با بخش‌های سوم و هشتم می‌سازید؛ نسخه‌های تجربی پرسش‌های نظری، نقطهٔ شیرین پژوهندهٔ لپ‌تاپی‌اند — نظریهٔ حوزه جلوتر از اندازه‌گیری‌هایش است.
55.8مسائل مرز سخت‌افزار/نویزافزار
خودِ مرز — فضای طراحی 2.16 — کم‌مهندسی‌شده است و دوزبانه‌ها کمیاب‌اند. مسائل زنده: مدل‌های برنامه‌نویسی مدار-پویا (اندازه‌گیری میان‌مداری + بازخورد کلاسیک انتزاع بالغ ندارد — «async/awaitِ» کنترل کوانتومی چیست؟)؛ قابل‌حمل‌بودن سطح-پالس میان سکوها؛ ISAهای کیوبیت منطقی (مجموعه‌دستور ماشین تصحیح-خطاشده چه شکلی است و کدامین calling convention را طراحی می‌کند؟)؛ دادهٔ کالیبراسیون به‌عنوان API درجه-یک (کامپایل رانش-آگاه به کالیبراسیون جاری نیاز دارد — رابطش را بسازید)؛ و اقتصاد دسته‌بندی/صف‌بندی ابری برای کاربارهای دورگه (حلقهٔ 49.3 زمان‌بند می‌خواهد؛ هیچ‌کس خوبش را ندارد). این مسائل دقیقاً پروفایلی را پاداش می‌دهند که این کتاب می‌سازد: مهندس نرم‌افزاری که پشتهٔ فیزیک را آن‌قدر می‌فهمد که رابط‌هایش را طراحی کند. همین‌طور پراحتمال‌ترین مسائلِ پول‌شده برای حل‌شدن‌اند، در صنعت، از هر جای جهان — careers جغرافی-پروف بخش شانزدهم روی همین مرز سوارند.
55.9شناسایی مسائل قابل‌حمل
فیلتر اندازه‌گذاری: پیش از عاشق‌شدن، قابل‌حملی مسأله را در برابر منابع واقعی‌تان نمره بدهید. کافی-با-لپ‌تاپ: الگوریتم‌نویسی مقیاس شبیه‌سازی (n ≤ ~30)، مسائل کامپایلر و ابزار، الگوریتم رمزگشا (سریع: شبیه‌سازهای کلیفورد هزاران کیوبیت می‌دوند)، تحلیل مدل نویز روی دادهٔ کالیبراسیون عمومی و اندازه‌گیری نظریه (ثابت‌ها و گذارهای فاز مجانبی‌های معلوم). سخت‌افزار می‌خواهد (سطح‌های آزاد هست — طرح‌های باز IBM، اعتبار unitary fund — اما با صف و سهمیه طراحی می‌طلبد): هر ادعای اعتبار ماشین-واقعی. آزمایشگاه یا همکاری بزرگ: مواد، فیزیک دستگاه، شبکه‌های چندگرهی — این‌ها را برای عصر وابستگی‌تان کنار بگذارید. محور دوم، زمان-تا-دست‌ساخته: مسائلی را ترجیح دهید که شش ماه کار صادقانه حتی در شکست فرضیهٔ اصلی چیزی قابل‌انتشار بدهد (نتیجهٔ منفی دقیق، ابزار، محک). خطای مرگبار، عاشق مسألهٔ همه-یا-هیچ شدن است؛ الگوی حرفه‌ای، پرتفوی است — یک امن، یک جاه‌طلبانه.
55.10تبدیل مشاهده به پرسش پژوهشی
گام نهایی تبدیل، مکانیکی تا اینکه غریزه شود. هر ورودی دفترتان را بردارید — مثلاً «عمق ترنسپایل‌شده ۴۰٪ عوض شد وقتی بذر را عوض کردم». رسمی‌اش کنید: چه کمیت (توزیع عمق روی بذرها)؟ در چه رژیمی (کدام اسنپ‌شات بک‌اند، کدام خانوادهٔ مدار)؟ توضیح رقیب کدام است (شانس مسیریابی یا غیرقطعیت بنیادی)؟ چه چیزی جدا می‌کندشان (واریانس عمق را با فضای توپولوژی در هر n همبسته کنید)؟ حالا پرسش دارید: «کمّی‌سازی عدم‌قطعیت مسیریابی: واریانس بذر به‌صورت تابع توپولوژی و خانوادهٔ مدار چقدر است و چیدمان نویز-آوار آن را کم می‌کند؟» — مطالعه‌ای در اندازهٔ لپ‌تاپ، قابل‌انتشار، فوراً مفید، که با توجه به غافلگیری خودتان کشف شد. قالب: مشاهده → کمیت → رژیم → فرضیه‌ها → تمایزدهنده → پرسش اندازه‌شده. هر ورودی دفتر اصطکاک را ماهانه از آن عبور دهید؛ بیشترشان تبدیل نمی‌شوند، و آن‌هایی که می‌شوند از آنِ شمایند — در سرزمینی که اجتماع نقشه‌اش را نکشیده چون هیچ‌کس دیگری غافلگیری را ثبت نکرده.