در ادامه10 پست تازه از شمارهٔ **۲۱۶ تا ۲۲۵**، آمده است. این مجموعه نسبت به مطالب قبلی **کوانتومیتر** است و بر پیوند میان جبر، میدانهای متناهی، نظریهٔ گروهها، اطلاعات کوانتومی، کدهای کوانتومی و گروههای کوانتومی تمرکز دارد.
همهٔ فرمولها با HTML ساده نوشته شدهاند و برای انتشار مستقیم در بلاگفا مناسباند.
---
## پست ۲۱۶: فضای هیلبرت و نقش میدانهای مختلط
```html
فضای هیلبرت؛ زبان ریاضی حالتهای کوانتومی
در مکانیک کلاسیک، وضعیت یک ذره را با مکان و تکانه توصیف میکنیم. اما در مکانیک کوانتومی، وضعیت یک سامانه با یک بردار در فضای هیلبرت نمایش داده میشود.
برای یک کیوبیت، سادهترین فضای هیلبرت دارای دو جهت پایه است. این دو جهت را میتوان با دو حالت پایه نمایش داد:
|0> و |1>
هر حالت عمومی کیوبیت ترکیبی از این دو حالت است:
|psi> = a|0> + b|1>
در اینجا a و b عددهای مختلطاند. شرط نرمالسازی میگوید مجموع اندازههای مربع این دو ضریب باید برابر یک باشد:
|a|2 + |b|2 = 1
عددهای مختلط فقط یک ابزار قراردادی نیستند. فاز مختلط باعث ایجاد تداخل میشود؛ یعنی احتمال نهایی یک رویداد فقط از احتمالهای جداگانه تشکیل نمیشود، بلکه جملههای تداخلی نیز ظاهر میشوند.
اگر دو کیوبیت داشته باشیم، فضای حالت آنها چهار بعدی میشود. برای n کیوبیت، تعداد جهتهای پایه برابر 2n است.
کاربرد: همین رشد نمایی، هم قدرت رایانش کوانتومی را توضیح میدهد و هم دلیل دشواری شبیهسازی سامانههای کوانتومی را نشان میدهد.
```
---
## پست ۲۱۷: عملگرهای واحدی و جبر تحول کوانتومی
```html
عملگرهای واحدی؛ تحول برگشتپذیر در رایانش کوانتومی
تحول یک سامانه کوانتومی منزوی با یک عملگر واحدی انجام میشود. عملگر واحدی طول بردارهای حالت را حفظ میکند و بنابراین احتمال کل همچنان برابر یک باقی میماند.
اگر U عملگر تحول باشد، شرط واحدی بودن آن چنین نوشته میشود:
U* U = I
در اینجا U* مزدوج ترانهادهٔ U و I عملگر همانی است.
برای یک کیوبیت، یکی از مهمترین عملگرها عملگر هادامارد است. این عملگر حالت پایه صفر را به برهمنهی دو حالت صفر و یک میبرد:
H|0> = (|0> + |1>) / sqrt(2)
و حالت پایه یک را به ترکیبی با علامت متفاوت تبدیل میکند:
H|1> = (|0> - |1>) / sqrt(2)
در متن بلاگفا، عبارت sqrt(2) فقط شکل نوشتاری ریشه دوم 2 است و هیچ کد ریاضی خاصی ندارد.
عملگرهای کوانتومی مانند دروازههای منطقی کلاسیک هستند، اما یک تفاوت اساسی دارند: آنها میتوانند برهمنهی و فاز را تغییر دهند و باید برگشتپذیر باشند.
کاربرد: تمام مدارهای کوانتومی از ترکیب عملگرهای واحدی ساخته میشوند. طراحی الگوریتمهای کوانتومی در اصل مطالعهٔ ترکیب همین عملگرهاست.
```
---
## پست ۲۱۸: اندازهگیری و جبر پروژکتورها
```html
اندازهگیری کوانتومی و پروژکتورهای جبری
در تحول واحدی، حالت کوانتومی به صورت پیوسته تغییر میکند؛ اما اندازهگیری میتواند نتیجهای گسسته تولید کند. این گذار با پروژکتورهای خطی توصیف میشود.
فرض کنید حالت کیوبیت چنین باشد:
|psi> = a|0> + b|1>
اگر در پایه صفر و یک اندازهگیری کنیم، نتیجه صفر با احتمال |a|2 و نتیجه یک با احتمال |b|2 ظاهر میشود.
پروژکتور مربوط به نتیجه صفر را میتوان به صورت زیر نوشت:
P0 = |0><0|
و برای نتیجه یک داریم:
P1 = |1><1|
این پروژکتورها ویژگیهای زیر را دارند:
- هر پروژکتور با مربع خودش برابر است.
- پروژکتورهای نتایج متفاوت نسبت به هم عمودند.
- مجموع همه پروژکتورها برابر عملگر همانی است.
در زبان جبر خطی، اندازهگیری انتخاب یک تجزیه از عملگر همانی است. در زبان فیزیکی، اندازهگیری انتخاب یکی از نتایج ممکن است.
کاربرد: الگوریتمهای کوانتومی فقط با تغییر حالت کار نمیکنند؛ طراحی پایهٔ اندازهگیری نیز میتواند اطلاعات قابل استخراج را تغییر دهد.
```
---
## پست ۲۱۹: ماتریس چگالی و حالتهای مخلوط
```html
ماتریس چگالی؛ توصیف کامل حالتهای کوانتومی
بردار حالت برای سامانهای مناسب است که با قطعیت در یک حالت خالص قرار دارد. اما در آزمایش واقعی، ممکن است درباره حالت سامانه اطلاعات ناقص داشته باشیم. در این حالت از ماتریس چگالی استفاده میکنیم.
برای یک حالت خالص، اگر بردار حالت |psi> باشد، ماتریس چگالی چنین است:
rho = |psi><psi|
اگر سامانه با احتمالهای مختلف در حالتهای |psii> باشد، ماتریس چگالی برابر میانگین وزندار آن حالتهاست:
rho = sum pi |psii><psii|
ماتریس چگالی باید سه ویژگی مهم داشته باشد:
- خودالحاق باشد؛
- مقادیر ویژه منفی نداشته باشد؛
- رد آن برابر یک باشد.
اگر rho در rho ضرب شود و دوباره خود rho به دست آید، حالت خالص است. در غیر این صورت، حالت مخلوط نام دارد.
ماتریس چگالی برای توصیف نویز، دما، برهمکنش با محیط و سامانههای چندذرهای ضروری است.
کاربرد: در رایانش کوانتومی واقعی، کیوبیتها کاملاً منزوی نیستند. بنابراین تحلیل خطا و پایداری بدون ماتریس چگالی ممکن نیست.
```
---
## پست ۲۲۰: رد جزئی و درهمتنیدگی کوانتومی
```html
رد جزئی؛ چگونه بخشی از یک سامانه را جدا کنیم؟
وقتی دو سامانه کوانتومی با هم ترکیب میشوند، فضای کل آنها با ضرب تانسوری ساخته میشود. اما اگر فقط یکی از دو بخش را مشاهده کنیم، باید اطلاعات بخش دیگر را حذف کنیم.
این حذف با عملیاتی به نام «رد جزئی» انجام میشود.
فرض کنید حالت دو کیوبیتی زیر را داشته باشیم:
|Phi> = (|00> + |11>) / sqrt(2)
این حالت درهمتنیده است. اگر کل سامانه را بررسی کنیم، حالت خالص است؛ اما اگر فقط کیوبیت اول را ببینیم، حالت آن به صورت مخلوط دیده میشود.
ماتریس چگالی بخش اول با گرفتن رد جزئی از ماتریس چگالی کل به دست میآید:
rhoA = TrB(rhoAB)
در این حالت، بخش اول با احتمال برابر در حالت صفر و یک دیده میشود؛ اما این به معنای آن نیست که سامانه از ابتدا یکی از این دو حالت را داشته است.
این تفاوت میان «مخلوط آماری» و «درهمتنیدگی» بسیار مهم است. در مخلوط آماری، ناآگاهی ما علت عدم قطعیت است؛ اما در حالت درهمتنیده، ساختار خود حالت مشترک عامل اصلی است.
کاربرد: رد جزئی در محاسبه آنتروپی درهمتنیدگی، تحلیل کانالهای کوانتومی و مطالعه سامانههای چندذرهای استفاده میشود.
```
---
## پست ۲۲۱: کانالهای کوانتومی و عملگرهای کراوس
```html
کانال کوانتومی؛ مدل ریاضی نویز و انتقال اطلاعات
یک سامانه کوانتومی در دنیای واقعی با محیط برهمکنش دارد. این برهمکنش باعث نویز، از دست رفتن فاز و تغییر احتمالها میشود. تحول چنین سامانهای الزاماً واحدی نیست و با کانال کوانتومی توصیف میشود.
یک کانال کوانتومی باید سه ویژگی داشته باشد:
- خطی باشد؛
- مثبت بودن ماتریسهای چگالی را حفظ کند؛
- رد ماتریس چگالی را برابر یک نگه دارد.
نمایش کراوس یک کانال را با چند عملگر Ki توصیف میکند:
rho ---> sum Ki rho Ki*
برای حفظ رد، عملگرها باید شرط زیر را داشته باشند:
sum Ki* Ki = I
برای نمونه، در کانال حذف فاز، دامنه احتمالها تقریباً حفظ میشود، اما رابطه فازی میان حالتها کاهش مییابد.
در کانال دامنهزدایی، احتمال حالت برانگیخته به حالت پایه منتقل میشود؛ این مدل سادهای از فروپاشی انرژی کیوبیت است.
کاربرد: تحلیل کانالهای کوانتومی برای طراحی حافظه کوانتومی، ارتباطات امن، تصحیح خطا و ارزیابی کیفیت سختافزار ضروری است.
```
---
## پست ۲۲۲: تصحیح خطای کوانتومی و کد سهکیوبیتی
```html
تصحیح خطای کوانتومی با کد سهکیوبیتی
در رایانش کلاسیک، میتوان یک بیت را چند بار تکرار کرد. مثلاً سه نسخه از یک بیت ساخت و با رأی اکثریت خطا را اصلاح کرد.
در رایانش کوانتومی، این کار ساده نیست؛ زیرا نمیتوان یک حالت ناشناخته را به طور کامل کپی کرد. با این حال، میتوان اطلاعات کوانتومی را در یک فضای بزرگتر کدگذاری کرد.
در کد تکراری سهکیوبیتی، دو حالت پایه منطقی به شکل زیر کدگذاری میشوند:
|0>L = |000>
|1>L = |111>
اگر یکی از کیوبیتها دچار وارونگی بیت شود، اندازهگیری برخی کمیتهای کمکی مشخص میکند کدام کیوبیت احتمالاً خطا کرده است، بدون آنکه اطلاعات منطقی اصلی مستقیماً اندازهگیری شود.
این کد به تنهایی همه خطاهای کوانتومی را اصلاح نمیکند؛ زیرا خطای فاز نوع دیگری از خطاست. برای اصلاح کاملتر، باید کدهای مناسب خطای فاز و سپس کدهای عمومیتر استفاده شوند.
ایده اصلی: اطلاعات کوانتومی در یک زیرفضای کدگذاریشده قرار میگیرد و خطاها با اندازهگیری نشانههای خطا شناسایی میشوند، نه با اندازهگیری مستقیم خود اطلاعات.
```
---
## پست ۲۲۳: کدهای پایدار و گروه پایدارکننده
```html
گروه پایدارکننده؛ زبان جبری کدهای کوانتومی
کدهای کوانتومی بزرگ را نمیتوان فقط با فهرست کردن حالتهای پایه توضیح داد. یک روش نیرومندتر استفاده از گروه پایدارکننده است.
گروه پایدارکننده مجموعهای از عملگرهای پائولی است که حالتهای کد را ثابت نگه میدارند.
اگر S گروه پایدارکننده باشد، فضای کد مجموعه حالتهایی است که برای هر عضو S، پس از اعمال آن عضو تغییر نمیکنند.
سه عملگر اصلی پائولی عبارتاند از:
- X که حالت صفر و یک را جابهجا میکند؛
- Z که علامت حالت یک را تغییر میدهد؛
- Y که ترکیبی از تغییر حالت و تغییر فاز است.
در زبان جبر، مهم است که عملگرهای پایدارکننده با یکدیگر جابهجایی داشته باشند. اگر دو عملگر با هم جابهجا نشوند، نمیتوان آنها را همزمان به عنوان شرطهای مستقل روی حالت اعمال کرد.
تعداد کیوبیتهای منطقی از تعداد کیوبیتهای فیزیکی و تعداد شرطهای مستقل پایدارکننده به دست میآید.
کاربرد: کدهای پایدارکننده پایهٔ کدهای CSS، کد سطحی و بسیاری از طرحهای مقاوم در برابر خطا هستند.
```
---
## پست ۲۲۴: گروههای کوانتومی و تغییر مفهوم تقارن
```html
گروههای کوانتومی؛ تقارنهایی فراتر از گروههای معمولی
در نظریه گروه کلاسیک، تقارنهای یک شیء با یک گروه توصیف میشوند. اما در برخی مسائل فیزیک ریاضی و هندسه، این تقارنها به اندازهای غیرکلاسیکاند که ساختار معمول گروهی کافی نیست.
در اینجا مفهوم گروه کوانتومی ظاهر میشود. گروه کوانتومی الزاماً مجموعهای از نقاط با ضرب معمولی نیست؛ بلکه اغلب با یک جبر همراه با ساختارهای اضافی توصیف میشود.
یک جبر هاف معمولاً شامل این دادههاست:
- ضرب برای ترکیب عناصر؛
- همضرب برای توصیف ترکیب سامانهها؛
- کوواحد برای عنصر خنثی؛
- پادعنصر برای ساختار معکوسگونه.
در گروههای معمولی، تابعهای روی گروه با ضرب نقطهای کار میکنند. اما در گروه کوانتومی، جبر تابعها ممکن است جابهجاییپذیر نباشد.
همین عدم جابهجایی، امکان مدلسازی تقارنهایی را فراهم میکند که در هندسه کلاسیک وجود ندارند.
کاربرد: گروههای کوانتومی در مدلهای کوانتومی میدان، سامانههای انتگرالپذیر، نظریه گرهها، توپولوژی کوانتومی و ساختارهای تقارنی مکانیک کوانتومی به کار میروند.
```
---
## پست ۲۲۵: جبرهای کوانتومی و پایههای محاسباتی
```html
جبرهای کوانتومی؛ از ضرب غیرجابجایی تا محاسبه کوانتومی
یکی از ویژگیهای بنیادی مکانیک کوانتومی این است که کمیتهای قابل مشاهده معمولاً با عملگرهای خطی نمایش داده میشوند و این عملگرها لزوماً با یکدیگر جابهجا نیستند.
اگر A و B دو عملگر باشند، جابهجاییگر آنها چنین تعریف میشود:
[A,B] = AB - BA
اگر این عبارت صفر نباشد، ترتیب اندازهگیری یا اعمال دو کمیت اهمیت دارد.
برای نمونه، عملگرهای X و Z روی یک کیوبیت با هم جابهجا نمیشوند. همین عدم جابهجایی منشأ بسیاری از ویژگیهای کوانتومی مانند عدم قطعیت و تداخل است.
در جبرهای کوانتومی، به جای آنکه عناصر فقط عدد باشند، میتوانند عملگر، ماتریس یا مولدهای یک ساختار غیرجابجایی باشند.
یک نمونه مهم، جبر تولیدشده توسط عملگرهای ایجاد و نابودی ذرات است. در این جبر، رابطه میان «ساختن» و «از بین بردن» ذره، ساختار کل فضای حالت را تعیین میکند.
از دیدگاه محاسباتی، دروازههای کوانتومی نیز عناصر یک جبر عملگری هستند. مدار کوانتومی در واقع حاصل ضرب ترتیبی این عناصر است.
جمعبندی: نظریه کوانتومی فقط نظریهای درباره احتمال نیست؛ بلکه نظریهای درباره جبرهای غیرجابجایی، نمایشهای آنها و اثرشان بر فضای حالت است.
این دیدگاه پلی میان جبر مجرد، نظریه نمایش، فیزیک کوانتومی، نظریه اطلاعات و الگوریتمهای کوانتومی ایجاد میکند.
```
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.