13. درهم‌تنیدگی
13.1درهم‌تنیدگی واقعاً یعنی چه
بدون تصوف بگوییدش: درهم‌تنیدگی یعنی حالت مشترک حاوی اطلاعاتی دربارهٔ *همبستگی‌ها*ست که در هیچ زیرسیستم منفردی نیست. برای Φ⁺، حالت کاهش‌یافتهٔ هر کیوبیت (دیگری را رد کنید — 13.9) برابر I/2 است، بیشینهٔ تصادفی، اما جفت در حالتی خالص و کاملاً معین است. اطلاعات فقط در توصیف مشترک زندگی می‌کند. سه روشنی مهم است. درهم‌تنیدگی مستقل از پایه است — اگر حالتی در یک پایه فاکتور شود، در همه فاکتور می‌شود. درهم‌تنیدگی میان زیرسیستم‌هاست نه ذره‌ها — همین ریاضی روی مدها، یون‌ها یا نیمه‌های یک چیپ اعمال می‌شود. و سیگنال‌دادن را ممکن نمی‌کند (13.3): آمار موضعی هر سمت، هر طرف دیگر چه کند I/2 است. آنچه ممکن می‌کند، همبستگی-با-ساختاری است که کانال‌های کلاسیک بدون تصادفِ از-پیش-مشترک نمی‌دهند.
13.2آشکارسازی درهم‌تنیدگی
با ماتریس چگالی دوکیوبیتی داده‌شده، از کجا بفهمید درهم‌تنیده است؟ ابزارها، به ترتیب توان. خلوص حالت‌های کاهش‌یافته: برای حالت خالص دوکیوبیتی، درهم‌تنیده دقیقاً وقتی یکی از حالت‌های کاهش‌یافته آمیخته باشد (Tr(ρ₁²) < 1). تجزیهٔ اشمیت: بردار ۴تایی را به ماتریس 2×2 بازآرایی و مقادیر منفرد بگیرید — حالت‌های جداشدنی دقیقاً یک مقدار منفرد ناصفر دارند (در آزمایش 12.4 به‌کار رفت). معیار PPT: بخش مربوط به یک زیرسیستم از ρ را ترانهاده کنید؛ برای دو کیوبیت، مقدار ویژهٔ منفی درهم‌تنیدگی را اثبات می‌کند — در این بعد لازم و کافی. نقض نامساوی بل: گواهی کافی (نه لازم) با قوی‌ترین معنای فیزیکی. در عمل، توموگرافی سخت‌افزار (بخش یازدهم) ρ را از اندازه‌گیری‌ها بازسازی می‌کند و نخستین چیزی که آزمایشگران محاسبه می‌کنند یکی از همین تست‌هاست. احتیاط صادقانه: بالای دو کیوبیت، آشکارسازی کامل، از نظر محاسباتی سخت است — ساختن درهم‌تنیدگی ارزان است، گواهی‌دادنش گران.
13.3قضیهٔ بل
در ۱۹۶۴ جان بل پرسشی با پاسخ بله/نه پرسید: آیا همبستگی‌های حالت‌های درهم‌تنیده را می‌توان با متغیرهای پنهان موضعی توضیح داد — ارزش‌های پیش‌توافق‌شده‌ای که هر ذره حمل می‌کند، در لحظهٔ گسیل تنظیم‌شده، بدون هیچ نفوذ فراتر از نور؟ او ریاضیاً اثبات کرد که هر چنین مدلی از کران‌های کمّی (نامساوی‌های بل) پیروی می‌کند که مکانیک کوانتومی پیش‌بینی می‌کند نقض‌شدنی‌اند. حکم طبیعت، در آزمایش‌ها از اَسپه (۱۹۸۲) تا تست‌های بی‌حفرهٔ ۲۰۱۵ و کار نوبل ۲۰۲۲: مکانیک کوانتومی می‌برد؛ متغیرهای پنهان موضعی مرده‌اند. قرائت مهندسی مهم‌تر از متافیزیک است: قضیهٔ بل، «درهم‌تنیدگی عجیب است» را به «همبستگی‌های درهم‌تنیدگی *منبعی گواهی‌پذیر، آزمون‌پذیر و غیرکلاسیکی*اند» تبدیل می‌کند — منبع پشتیبان رمزنگاری مستقل از دستگاه و تصادف گواهی‌شده. قضیهٔ عدم‌سیگنال کنارش می‌ایستد: نقض نامساوی، مقایسهٔ کلاسیکی نتایج لازم دارد؛ هیچ طرف به‌تنهایی نمی‌تواند پیام بفرستد.
13.4نامساوی‌های بل
ابزار کار، نامساوی CHSH است: برای دو طرف که هرکدام میان دو تنظیم اندازه‌گیری (A₀، A₁ و B₀، B₁) انتخاب می‌کنند، هر مدل متغیر-پنهان موضعی S = |⟨A₀B₀⟩ + ⟨A₀B₁⟩ + ⟨A₁B₀⟩ − ⟨A₁B₁⟩| ≤ 2 را رعایت می‌کند. مکانیک کوانتومی تا 2√2 (کران تسیخلسون) اجازه می‌دهد، که Φ⁺ با زاویه‌های اندازه‌گیری ۴۵ درجه به آن می‌رسد. تنظیم‌ها برای جفت بیشینه-درهم‌تنیده: A₀ = Z، A₁ = X، B₀ = (Z+X)/√2، B₁ = (Z−X)/√2 — هر امید ریاضی با اندازه‌گیری در پایهٔ چرخیده محاسبه می‌شود (11.4). آزمایش‌های واقعی باید حفرهٔ آشکارسازی (آشکارسازهای پرکارایی) و حفرهٔ موضعیت (جدایی فضازمانی طرف‌ها) را ببندند؛ آزمایش‌های ۲۰۱۵ دلفت، NIST و وین هر دو را بستند. روی سخت‌افزار نویزی آزمایشگاهی S ≈ 2.6–2.8 انتظار داشته باشید نه 2.83 — کسری که متر فیدیلیتی دوکیوبیتی است و در محک‌ها دقیقاً همین‌طور به‌کار می‌رود.
13.5دوربری کوانتومی
دوربری حالت ناشناختهٔ |ψ⟩ = α|0⟩ + β|1⟩ را از آلیس به باب می‌برد با یک جفت بل مشترک به‌اضافهٔ دو بیت کلاسیک — و حالت را بدون آنکه هیچ‌یک طرف آن را بیاموزند منتقل می‌کند. پروتکل: (۱) آلیس |ψ⟩ را با نیمهٔ Φ⁺ خودش اندازه‌گیری بل می‌کند؛ (۲) یکی از چهار نتیجه را، هرکدام هم‌احتمال، می‌گیرد و برچسب ۲-بیتی را برای باب می‌فرستد؛ (۳) کیوبیت باب حالا |ψ⟩ است تا یک اصلاح پائولی — I، X، Z یا XZ — که بیت‌های آلیس تعیینش می‌کنند؛ (۴) باب پائولی وارون را اعمال می‌کند. حسابداری منابع را بخوانید: نه ماده و نه انرژی جابه‌جا شده، نه حالتی رونوشت شده (اصلی با اندازه‌گیری بل نابود می‌شود — عدمronوشت اجرا می‌شود)، نه سیگنال فراتر از نور (اصلاح به بیت‌های کلاسیک نیاز دارد). دوربری کنجکاوی نیست؛ عنصر اولیهٔ مسیریابی است: شبکه‌های کوانتومی، پیوندهای ماژول-به-ماژول در سخت‌افزار ماژولار و دوربری دروازه در تحمل خطا همگی همین پروتکل را اجرا می‌کنند.
دوربری:
psi: ──●─────────M────────── ۲ بیت کلاسیک ──┐
│ │ │ X یا Z
alice: ──H───●────M────────── ▼
│ bob: ──اعمال اصلاح──> |psi>
bob: ───────X──────────────────────────13.6کدگذاری ابرمتراکم
پروتکل آینه‌ای: کدگذاری ابرمتراکم با ارسال یک کیوبیت به‌اضافهٔ یک جفت بل مشترک، دو بیت کلاسیک می‌فرستد. آلیس I، Z، X یا ZX را روی نیمهٔ Φ⁺ خودش اعمال می‌کند — چهار گزینه، یکی به‌ازای هر پیام ۲-بیتی — سپس کیوبیت را برای باب می‌فرستد که اندازه‌گیری حالت بل (12.6) انجام می‌دهد و هر دو بیت را می‌خواند. حسابداری دقیق است: دو بیت ظرفیت کلاسیک از یک کیوبیت ارسالی، چون درهم‌تنیدگی پیش‌مشترک جداگانه قبلاً برقرار و حساب‌شده بوده. تمیزترین نمایش این است که درهم‌تنیدگی منبع ارتباطی با ارزش کمّی‌پذیر است. هر دو جهت واقعی‌اند: دوربری، درهم‌تنیدگی + بیت کلاسیک را با حالت کوانتومی معامله می‌کند؛ کدگذاری متراکم، درهم‌تنیدگی + کانال کوانتومی را با ظرفیت کلاسیک دوبرابر. دموهای سخت‌افزاری با فوتون و یون روتین‌اند؛ مزیت ظرفیت به کانال کیوبیتی بدون‌نویز نیاز دارد، پس مهندسی کلاسیک کدگذاری متراکم را عمدتاً محک نگه داشته است.
13.7تعویض درهم‌تنیدگی و یک‌همسری
دو واقعیت ساختاری رفتار درهم‌تنیدگی در مقیاس را حکم‌رانند. تعویض درهم‌تنیدگی: آلیس و باب درهم‌تنیدگی ندارند، اما آلیس و کارول جفت بل دارند، و کارول و دیوید هم؛ کارول دو کیوبیتش را اندازه‌گیری بل می‌کند و — مشروط به نتیجهٔ کلاسیکش — آلیس و دیوید درهم‌تنیده‌اند، بدون آنکه هرگز تعامل کرده باشند. تکرارکننده‌های کوانتومی همین‌طور پیوندهای کوتاه را به شبکه‌های دوربرد زنجیر می‌کنند: درهم‌تنیدگی قطعه‌به‌قطعه ساخته، در گره‌ها تعویض، و مقابل نویز تخلیص می‌شود. یک‌همسری درهم‌تنیدگی: اگر کیوبیت‌های A و B بیشینه درهم‌تنیده باشند، B اصلاً نمی‌تواند با C درهم‌تنیده باشد — همبستگی بیشینه با A، هر همبستگی-با-ساختار به سمت C را حذف می‌کند. یک‌همسری دلیل اینکه درهم‌تنیدگی نمی‌توان آزادانه هم‌رسان یا رونوشت شد، اینکه شنودها پیوندهای QKD را محسوس خراب می‌کنند و اینکه کدهای تصحیح خطا می‌توانند اطلاعات منطقی را از محیط جدا کنند. ساختار: زوجی هم‌رسان کنید، آگاهانه خرجش کنید.
13.8آنتروپی درهم‌تنیدگی
برای سنجش درهم‌تنیدگی در دنیای آمیخته یا چندبخشی، عدد لازم دارید. حالت خالص را به زیرسیستم‌های A و B بشکنید؛ ماتریس چگالی کاهش‌یافته ρ_A = Tr_B(|ψ⟩⟨ψ|) (رد B) تنها آمار A را حمل می‌کند. آنتروپی درهم‌تنیدگی، آنتروپی فون‌نویمن S(ρ_A) = −Tr(ρ_A log₂ ρ_A) = −Σ λᵢ log₂ λᵢ روی مقدارهای ویژهٔ λᵢ است. صفر یعنی حالت جداشدنی؛ ۱ بیت یعنی یک کیوبیت از A با B بیشینه درهم‌تنیده است (مانند همهٔ حالت‌های بل). از نظر محاسباتی، دوهخطی از راه SVD است: مقادیر منفرد ماتریس بازآرایی‌شدهٔ دامنه‌ها √λᵢ هستند — تجزیهٔ اشمیتِ 13.2. فراتر از دو کیوبیت، آنتروپی درهم‌تنیدگی فقط درهم‌تنیدگی دوبخشی را می‌سنجد؛ ساختار کامل چندبخشی غنی‌تر و تا حدی طبقه‌بندی‌نشده است (مرز پژوهش پایین). در بخش چهاردهم، آنتروپی درهم‌تنیدگی به علامت تشخیصیِ اینکه آیا حالت کوانتومی کلاسیکی شبیه‌سازی‌شدنی است تبدیل می‌شود.
13.9درهم‌تنیدگی به‌عنوان منبع محاسباتی
آیا درهم‌تنیدگی برای سرعت کوانتومی لازم است؟ عمدتاً بله، با استثنای مشهور. جوزسا–لیندن اثبات کردند مدارهای حالت-خالص با درهم‌تنیدگی چندکیوبیتی محوشونده، کلاسیکی کارا شبیه‌سازی‌پذیرند — پس سرعت‌های نمایی درهم‌تنیدگی می‌خواهند. استثنا: قضیهٔ گاتسمن–نیل (بخش دهم) طبقه‌ای از مدارهای کلیفوردِ به‌شدت درهم‌تننده را نشان می‌دهد که شبیه‌سازی‌پذیرند، پس درهم‌تنیدگی به‌تنهایی مزیت تضمین نمی‌کند — درهم‌تنیدگی باید ساختاری سخت-کلاسیکی داشته باشد (مقیاس قانون-حجم، پیچیدگی بالا). ترکیب مهندسی: درهم‌تنیدگی سوخت لازم با الزام کیفیت است، و «حالتم چقدر درهم‌تنیده است، در معنای مرتبط-با-شبیه‌سازی‌پذیری؟» مسألهٔ اندازه‌گیری زنده‌ای است — که عددی با آنتروپی 13.8 و بُعدهای پیوند تانسور-شبکه پاسخ می‌گیرد. محاسبات تصحیح-خطاشده از این زاویه، انضباطِ نگه‌داشتن حالت درهم‌تنیدهٔ بسیار مشخص و بسیار مقاومی برای مدت یک محاسبه است.