2. مدل ذهنی
2.1اطلاعات به‌مثابه پدیده‌ای فیزیکی
محاسبات کلاسیک اطلاعات را انتزاعی می‌گیرند: بیت، بیت است، چه در سیلیکون باشد، چه در مرکب، چه در نورون‌ها. بینش لاندائر — که پاک‌کردن یک بیت دست‌کم kT·ln 2 گرما آزاد می‌کند — چیز دیگری می‌گوید: اطلاعات همیشه فیزیکی است، در بستری نوشته شده که از قانون فیزیک پیروی می‌کند. محاسبات کوانتومی این را تا انتها جدی می‌گیرد. چون بستر مکانیک کوانتومی است، واحد اطلاعات فرق دارد (کیوبیت، که می‌تواند در برهم‌نهی باشد)، عملهای مجاز هم فرق دارند (یونیتی و برگشت‌پذیر) و حالت‌های شکست هم (دِکوهرنس، نه صرفاً وارونگی بیت). هر تصمیم طراحی در این کتاب از جدی‌گرفتنِ «اطلاعات فیزیکی است» پیروی می‌کند.
2.2حالت‌ها و توصیف حالت‌ها
حالتِ بیت کلاسیک هم‌زمان توصیف کامل آن است: دانستن اینکه بیت ۱ است همه‌چیز را می‌گوید. حالتِ کیوبیت موقعیت فیزیکی است؛ توصیفش فهرستی از دامنه‌های مختلط مانند α·0 + β·1 است. نکتهٔ مهم: توصیف کامل به بی‌نهایت رقم نیاز دارد، درحالی‌که از یک اندازه‌گیری فقط یک بیت کلاسیک بیرون می‌کشید. حالت فیزیکی را از دانشِ شما دربارهٔ آن جدا کنید: دو مهندس می‌توانند کیوبیت‌های یکسانی داشته باشند و توصیف‌های متفاوتی نگه دارند، اگر دربارهٔ آماده‌سازی چیزهای متفاوتی می‌دانند. بخش بزرگی از سردرگمی‌های نظریهٔ کوانتومی در واقع خلطِ سیستم با توصیفِ سیستم است — عادتی که باید زود شکست.
2.3کمیت‌های مشاهده‌پذیر
مشاهده‌پذیر (observable) پرسشی است که فیزیکی از سیستم می‌توانید بپرسید: «کیوبیت ۰ است یا ۱؟» (مشاهده‌پذیر Z)، «در راستای X مانند + رفتار می‌کند یا −؟». مشاهده‌پذیر پاسخ‌های مجاز ثابتی دارد — برای یک کیوبیت، دو مقدار ویژه — و حالت فقط احتمال‌های آن پاسخ‌ها را تعیین می‌کند. ظرافت کلیدی: پرسیدن یک پرسش، پاسخِ مشاهده‌پذیر دیگر را به‌طور کلی برهم می‌زند. اندازه‌گیری X روی کیوبیتی که در پایهٔ Z آماده شده، Z را تصادفی می‌کند. مشاهده‌پذیرها با عملگرهای هرمیتی نمایش داده می‌شوند که بخش سوم دقیقش می‌کند؛ فعلاً این ایده را نگه دارید: اندازه‌گیری کوانتومی *پرسیدن یکی از چند پرسش ناسازگار است*، نه آشکارسازی واقعیتی از پیش موجود.
2.4تبدیل‌ها
میان آماده‌سازی و اندازه‌گیری، رایانهٔ کوانتومی تبدیل‌ها اعمال می‌کند: عملهایی که حالت‌های معتبر را به حالت‌های معتبر می‌برند. عملهای مجازِ فیزیکی یونیتی‌اند — خطی، وارون‌پذیر، نُرم-بPreserving. این قید واقعی است و پیامد واقعی دارد: نمی‌توانید به‌سادگی «کیوبیت را روی ۰ بگذارید» مانند تخصیص مقدار به متغیر؛ پاک‌کردن و رونوشت‌برداری یونیتی نیستند. هر آنچه رایانهٔ کوانتومی محاسبه می‌کند یک یونیتی بزرگ است، تجزیه‌شده به مجموعه‌دروازه‌ای کوچک. وقتی طراح الگوریتم می‌گوید «اُراکل را اعمال کن»، دارد تبدیلی را مشخص می‌کند؛ وقتی مهندس سخت‌افزار پالس مایکروویو را کالیبره می‌کند، دارد آن را پیاده‌سازی می‌کند. کل پشته — بخش‌های ششم تا دوازدهم — دربارهٔ به‌هم‌رساندن این دو است.
2.5اندازه‌گیری
اندازه‌گیری جایی است که مکانیک کوانتومی به جهان کلاسیک می‌رسد — تنها عملی که خروجی‌اش را می‌توانید رونوشت کنید، چاپ کنید و رویش اطمینان بدهید. مخرب و احتمالاتی است: اندازه‌گیری کیوبیتِ در برهم‌نهی یک نتیجه می‌دهد، با احتمالی که مجذور دامنه است، و حالتِ پس از اندازه‌گیری به نتیجه فرومی‌ریزد. تکرار اندازه‌گیری روی همان کیوبیت همان نتیجه را بازتولید می‌کند؛ آماده‌سازی دوباره و اندازه‌گیری دوباره، توزیع را بازنمونه‌گیری می‌کند. این عدم‌تقارن — دروازه‌های یونیتی قطعی و برگشت‌پذیر، اندازه‌گیری تصادفی و برگشت‌ناپذیر — دلیل آن است که الگوریتم‌های کوانتومی این‌طور طراحی می‌شوند: دامنه‌ها را یونیتی به تداخل درآور، بعد یک‌بار اندازه‌گیری کن، در لحظهٔ بیشینهٔ اطلاعات.
2.6عدم‌قطعیت
عدم‌قطعیت کلاسیک نادانی است: سکه شیر است یا خط؛ شما فقط نمی‌دانید کدام. عدم‌قطعیت کوانتومی نوع دومی هم دارد: حتی با توصیف کامل حالت، برخی نتایج تا لحظهٔ اندازه‌گیری واقعاً نامعین‌اند. و ناسازگاری ساختاری است — قطعیت تیز در Z، تاری در X را اجبار می‌کند، که با رابطهٔ عدم‌قطعیت ΔZ·ΔX ≥ |⟨[Z,X]⟩|/2 کمی می‌شود. این نویز ابزار نیست و هیچ آشکارساز آینده‌ای آن را برنمی‌دارد. پیامد عملی برای مهندس ژرف است: تصحیح خطا (بخش دهم) باید حالت‌های برهم‌نهیدهٔ ناشناخته را محافظت کند بدون آنکه هرگز به آن‌ها نگاه کند، چون نگاه‌کردن دقیقاً همان چیزی است که اطلاعات را نابود می‌کند.
2.7دامنه‌های احتمال
نظریهٔ احتمال کلاسیک به هر نتیجه عددی حقیقی در بازهٔ [0,1] می‌دهد؛ مکانیک کوانتومی به هر نتیجه عددی مختلط می‌دهد — دامنه — و در زمان اندازه‌گیری اندازه‌اش را مجذور می‌کند. دامنه‌های منفی و مختلط حسابداری نیستند؛ منبع‌اند. دامنه‌های هم‌علامت جمع می‌شوند (سازنده)، ناهم‌علامت حذف می‌شوند (سازندهٔ مخرب)، و همان حذف، تمامِ ترفند پشت هر الگوریتم کوانتومی است. یک کیوبیت تنها در (|0⟩+|1⟩)/√2 نتیجهٔ ۵۰-۵۰ می‌دهد — چیزی عجیب نیست. عجیب فقط با مسیرهای متعدد پدید می‌آید، و برای همین تداخل بخش بعدی خودش را می‌خواهد.
2.8تداخل
تداخل همان چیزی است که دامنه‌ها نسبت به احتمال‌ها به شما می‌دهند. یک فوتون را از دو شکاف عبور دهید تا با خودش تداخل کند؛ یک کیوبیت را از H–فاز–H عبور دهید تا مسیرهای به برخی نتایج حذف و برخی تقویت شوند. الگوریتم‌ها این را آگاهانه به کار می‌گیرند: مسألهٔ دویچ (فصل ۱۹) دو مسیر محاسباتی را چنان می‌چیند که پاسخ‌ها تداخل کنند و خاصیت جهانی را با یک پرسش آشکار کنند؛ گروور (فصل ۲۵) بارها و بارها دامنه را به‌سوی عنصر نشانه‌دار می‌چرخاند، هر تکرار +ε، با تداخل سازنده آن‌جا و تداخل مخرب همه‌جا. طراحی الگوریتم را به‌عنوان لوله‌کشی دامنه‌ها ببینید: آن‌ها را چنان هدایت کنید که پاسخ‌های غلط حذف و پاسخ‌های درست انباشته شوند.
2.9درهم‌تنیدگی
دو کیوبیت می‌توانند در حالتی باشند که جفت را توصیف کند اما هیچ‌یک از کیوبیت‌ها را به‌تنهایی نه: (|00⟩+|11⟩)/√2 توصیف معتبری برای کیوبیت A به‌تنهایی ندارد. این درهم‌تنیدگی (entanglement) است، و «همبستگیِ راحتی» نیست: نتایج قوی‌تر از هر استراتژی از-پیش-توافق‌شدهٔ کلاسیک همبسته‌اند (آزمون‌های بل، نوبل ۲۰۲۲). درهم‌تنیدگی برای رشد نمایی فضای حالت اجباری است — ثباتِ درهم‌تنیده‌نشدهٔ n-کیوبیتی فقط 2n عدد لازم دارد، درهم‌تنیده 2ⁿ — پس هر الگوریتم با ادعای سرعت نمایی از دروازه‌های درهم‌تننده عبور می‌کند. شکننده هم هست: درهم‌تنیدگی با محیط همان دِکوهرنس است (فصل ۲۹)، دشمنی که کل پشتهٔ سخت‌افزار با آن می‌جنگد.
2.10موضعیت و همبستگی‌های غیرموضعی
قضیهٔ بل راه فرار را می‌بندد: همبستگی‌های درهم‌تنیدگی را نمی‌توان با متغیرهای پنهان موضعی توضیح داد — دستورالعمل‌های از-پیش-توافق‌شده‌ای که ذرات حمل می‌کنند. بااین‌حال این همبستگی‌ها هیچ سیگنالی منتقل نمی‌کنند؛ نتیجهٔ موضعی هر طرف، هر طرفِ دور چه کند، تصادفی است. پس مکانیک کوانتومی در همبستگی غیرموضعی است، در ارتباطات موضعی. این تمایز فناوری واقعی می‌سازد: تصادفِ مستقل از دستگاه (QDI، فصل ۴۷) تصادف را تنها از آمارِ نقض بل گواهی می‌کند، به درون‌مایهٔ هیچ دستگاهی اعتماد نمی‌کند. این دو ادعا را جدا نگه دارید — «کنش شبح‌وار» القای نفوذ می‌کند؛ داده‌ها می‌گویند هم‌زمانیِ بسیار ساخت‌یافته. بخش چهاردهم به آزمون‌های بل به‌عنوان آزمایشی لپ‌تاپی برمی‌گردد.
2.11برگشت‌پذیری
دروازه‌های یونیتی وارون‌پذیرند: نامحاسبه (uncompute) همیشه ممکن است، و در اصل می‌توانید مدار کوانتومی را به عقب اجرا کنید. منطق کلاسیک از دروازه‌های برگشت‌ناپذیر ساخته شده (AND یک بیت را دور می‌ریزد)، که دقیقاً دلیل وجود گرمای لاندائر است؛ منطق کوانتومی نمی‌تواند این اسراف را بپذیرد، پس برگشت‌پذیر محاسبه می‌کند. از نظر الگوریتمی این خودش را در انضباطِ نامحاسبه نشان می‌دهد: نتایج موقت باید پیش از خروجی بازگردانده شوند، وگرنه درهم‌تنیدگیِ به‌جامانده گام‌های بعد را فاسد می‌کند. تافولی (CCNOT) دروازهٔ کلاسیکِ برگشت‌پذیر جهانی است. گذرهای کامپایلر در بخش دوازدهم تلاش واقعی روی برگشت‌پذیری می‌کنند — بهینه‌سازی محلی در کامپایلر کوانتومی تا حدی «یافتن کاری است که زودتر نامحاسبه کنیم».
2.12بقای اطلاعات
چون تحول یونیتی است، اطلاعات کوانتومی درون رایانه هرگز نابود نمی‌شود — فقط جابه‌جا می‌شود. عملی که |0⟩→|0⟩ و |1⟩→|0⟩ ببرد (صفرکردن کلاسیک) در دسترس نیست؛ نزدیک‌ترین حرکت مجاز |0⟩→|0⟩ و |1⟩→|1⟩ را تا فاز می‌برد. این همان است که عدمronوشت (no-cloning) را می‌سازد: عمل رونوشت |ψ⟩|0⟩→|ψ⟩|ψ⟩ ناخطی است، پس یونیتی نیست، پس ممنوع است — و رونوشت‌برداری، نه فاصلهٔ دوربری، چیزی است که بیشتر مردم به‌غلط از رایانه‌های کوانتومی انتظار دارند. قضیهٔ عدم‌حذف هم همین‌طور. خطاها (بخش نهم) اطلاعات را سراسری نابود نمی‌کنند؛ به محیط نشت می‌دهند، و تصحیح خطا (بخش دهم) با استنباط محل نشت کار می‌کند.
2.13پیچیدگی محاسباتی
نظریهٔ پیچیدگی مسأله‌ها را بر اساس مقیاس‌شدن منابع با اندازهٔ ورودی طبقه‌بندی می‌کند، و همان‌جایی است که محاسبات کوانتومی وعده‌های آزمون‌پذیر می‌دهد. BQP — کلاس مسائلی که با خطای کران‌دار در زمان چندجمله‌ای روی رایانهٔ کوانتومی حل می‌شوند — مسائل مشهوری (فاکتورگیری) را در بر دارد که باور می‌رود بیرون P کلاسیک باشند، و درون PSPACE می‌نشیند. صورت‌بندی صادقانه: شاهد داریم (جداسازی‌های اوراکلی، نتایج نمونه‌گیری) اما مدرکی نه که BQP ⊄ P؛ اثبات جداسازی‌ها شاید به تکنیک‌های فراتر از نظریهٔ پیچیدگی کنونی نیاز داشته باشد. مهندس باشید: کلاس‌های پیچیدگی را مثل O بزرگ ببینید — راهنمای اینکه مزیت ممکن است کجا باشد، نه تضمینی که نمونهٔ شما امسال برنده شود. بخش هشتم این واژگان را کامل می‌کند.
2.14قیدهای فیزیکی بر محاسبه
محاسبه روی فیزیک اجرا می‌شود و فیزیک حد‌های سفت می‌گذارد. کران مارگولوس–لوِویتین عمل بر ثانیه را بر جول کپ می‌زند (~6×10³³ عمل/J·s)؛ کران برمرمن بیت‌های پردازش‌شده بر جرم را؛ لاندائر پاک‌کردن را قیمت‌گذاری می‌کند. سخت‌افزار کوانتومی خودش را اضافه می‌کند: زمان دروازه به وارون انرژی‌های جفت‌شدن بسته است، زمان همدوسی به جفت‌شدگی محیطی، و کشمکشی وحشتناک — جفت‌شدگی قوی یعنی دروازهٔ سریع‌تر اما کانال نویز بیشتر. ماشین‌های امروز ~10⁹ برابر از حدود نهایی فیزیکی فاصله دارند، که یا دلسردکننده است (چه راه دراز) یا دلگرم‌کننده (چه فضای رشد). مهندسی هنر بالا رفتن از این شکاف، یک مرتبهٔ بزرگی در هر بار است.
2.15لایه‌های انتزاع در محاسبات کوانتومی
رایانهٔ کلاسیک برجی دارد: ترانزیستور → دروازهٔ منطقی → ریزمعماری → ISA → کامپایلر → زبان → کاربرد. محاسبات کوانتومی همان برج را می‌سازد، و بخش‌های کتاب رویش نقشه می‌شوند: کیوبیت‌های فیزیکی و کنترل (بخش یازدهم)، کالیبراسیون دروازه و نویز (نهم)، تصحیح خطا (دهم)، کیوبیت‌های منطقی (دهم)، مدار در سطح ISA (ششم)، الگوریتم‌ها (هفتم)، کامپایل (دوازدهم)، کاربردها (سیزدهم). درسِ درونی‌سازی‌شدنی: هیچ لایه‌ای نمی‌تواند قرارداد لایهٔ شکستهٔ دیگری را درست کند. الگوریتم درخشان از رمزگشای بی‌آستانه جان سالم نمی‌برد؛ کد سطحی بی‌نقص، کوپلر کالیبره‌نشده را نجات نمی‌دهد. لایه‌به‌لایه اشکال‌زدایی کنید، لایه‌به‌لایه راستی‌آزمایی کنید، لایه‌به‌لایه تحویل بدهید.
2.16مرز سخت‌افزار/نرم‌افزار
مرز ماشین و برنامه را کجا می‌کشید؟ در محاسبات کلاسیک ISA مرز را تیز می‌کند؛ در محاسبات کوانتومی هنوز در حال مذاکره است. نامزدهای مرزِ امروز: مجموعه‌دروازه (مدارهای Qiskit/OpenQASM)، سطح پالس (کنترل موج دلخواه)، و — مرز دانش — مجموعه‌دستورهای کیوبیت منطقی که ماشین‌های تصحیح‌خطاشده ارائه خواهند کرد. معماری گوگل در عصر Willow و نقشهٔ راه استارلینگِ IBM (فصل ۴۲) هر دو روی عملهای کیوبیت منطقی به‌عنوان ISA دههٔ ۲۰۳۰ شرط بسته‌اند. برای شما یعنی مرز یک فضای طراحی است، و مهندسانی که می‌توانند از آن عبور کنند — تز بخش چهاردهم — کالای کمیاب‌اند.
2.17چرا الگوریتم‌های کوانتومی عجیب به نظر می‌رسند
طراحی الگوریتم کلاسیک می‌پرسد «داده و جریان کنترل را چگونه سازمان بدهم؟». طراحی الگوریتم کوانتومی می‌پرسد «چشم‌انداز دامنه را چگونه شکل بدهم؟» — پرسشی با تقریباً هیچ نظیر کلاسیک. پس شکل‌های عجیب: اُراکل‌هایی که در برهم‌نهی پرسیده می‌شوند، فازهایی که روی حالت‌های نشانه‌دار پرت می‌شوند، نامحاسبه، حلقه‌های تقویت دامنه، و فقدان تقریباً کامل شرطی‌ها (شاخه‌بندی، همدوسی می‌خرد). الگوریتم گروور از نگاه کلاسیک شعبده به نظر می‌رسد؛ از نگاه مهندسی تداخل، چرخشی است که log بار اعمال می‌شود. وقتی الگوریتم کوانتومی بیگانه به نظر می‌رسد، مقاومت کنید که به شبه‌کد ترجمه‌اش کنید — به جریان دامنه ترجمه‌اش کنید. بخش هفتم این را تا_reflex می‌راند.
2.18تفکر در فضاهای حالت
فضای حالت n کیوبیت یک فضای برداری مختلط 2ⁿ-بعدی است، و مهارت محوری این حوزه، نگه‌داشتن آن شیء نمایی در سر بدون لرزش است. با n کوچک تمرین کنید: یک کیوبیت یک کره است (کرهٔ بلوخ بخش چهارم)؛ دو کیوبیت فضای چهاربعدی‌اند که فقط برشی نازک از آن — حالت‌های جداشدنی — کلاسیکی رفتار می‌کند؛ بقیه قلمرو درهم‌تنیدگی است. شبیه‌سازی نزدیک n≈30–50 نمی‌میرد چون رایانه‌ها کندند، بلکه چون فضای حالت واقعاً همین‌قدر بزرگ است — همان حقیقتی که رایانه‌های کوانتومی را جالب می‌کند. بیاموزید به‌جای ابعاد خام، دربارهٔ زیرفضاها و تقارن‌ها استدلال کنید.
2.19تفکر در عملگرها
تفکر کلاسیک توابع را می‌سازد؛ تفکر کوانتومی عملگرها را. یک عملگر یک‌جا بر کل فضای حالت عمل می‌کند — H⊗H⊗…⊗H در یک حرکت ریاضی به هر 2ⁿ دامنه دست می‌زند. ماتریس‌ها اسم‌های طبیعی می‌شوند: دروازه‌ها ماتریس‌های یونیتی کوچک‌اند، الگوریتم‌ها حاصل‌ضربشان، مشاهده‌پذیرها ماتریس‌های هرمیتی، نویز نگاشتی غیر یونیتی (بخش نهم). دو عملگر به‌ندرت جابه‌جایی‌پذیرند، و ناجابه‌جایی منشأ هر دو عدم‌قطعیت (۲.۶) و غنای محاسباتی است. وقتی بخش پنجم عملگرهای چندکیوبیتی را به‌صورت حاصل‌ضرب تانسوری می‌سازد، خواهید دید جبر همان جبر تبدیل‌های گرافیکی شماست — با درهم‌تنیدگی به‌عنوان پیچش تازه.
2.20تفکر در توزیع‌ها
یک بار اجرای مدار کوانتومی نویز است؛ هزار بار اجرا توزیع است؛ توزیع، پاسخ است. هر برنامهٔ کوانتومی یک نمونه‌گیر است و هر نتیجه یک آزمون فرض — مهندس باید در شمارش شات‌ها، بازه‌های اطمینان و هزینهٔ آمار فکر کند. این تحلیل الگوریتم را عوض می‌کند: سرعت درجه‌دوی گروور به‌ازای هر تکرار است، اما بودجهٔ اندازه‌گیری و نرخ خطا ثابتِ واقعی را می‌گذارند. فرهنگ گزارش‌دهی حوزه را هم توضیح می‌دهد — «فیدیلیتی»، «XEB»، «حجم کوانتومی» — همگی آمار روی توزیع‌ها. بخش نهم این را با ماتریس چگالی رسمی می‌کند؛ تا آن موقع عادت را تمرین کنید: هرگز به یک اجرا اعتماد نکنید.
2.21تفکر آزمایشی
آخرین عادت، همان است که مهندس را از مشتاق جدا می‌کند: فقط به آنچه می‌توانید اندازه بگیرید اعتماد کنید، و فقط آنچه را می‌توانید شبیه‌سازی کنید اندازه بگیرید. هر ادعای این کتاب در برابر چیزی که روی لپ‌تاپ اجرا می‌شود چک می‌شود — numpy پیش از qiskit، شبیه‌سازهای qiskit پیش از سخت‌افزار ابری، سخت‌افزار ابری پیش از باور. آزمایش را بنویسید، توزیع را پیش‌بینی کنید، اجرا کنید، و با پیش‌بینی‌تان بحث کنید. این حلقه — فرضیه، شبیه‌سازی، داده، بازنگری — دقیقاً کاری است که گروه‌های پژوهشی می‌کنند، در مقیاس میز شما. برنامهٔ پنج‌سالهٔ بخش نوزدهم چیزی جز همین حلقه نیست، با جاه‌طلبی فزاینده. از بخش بعد، ریاضیات تماشاچی نمی‌ماند.