خطیبودن یکانی و حفظ ضرب داخلی؛ چرا قضیه عدم همتاسازی مانع کپی حالات کوانتومی ناشناخته میشود؟
الزامات ریاضیاتی تحول بازگشت‌پذیر کوانتومی به‌طور دائمی مانع از تکثیر اطلاعات کوانتومی ناشناخته می‌شوند و مهندسان را ناچار میکنند بهجای نسخهبرداری کلاسیک، سراغ پروتکل‌های پیچیده درهمتنیدگی بروند.
به قلم کاوان رامین
این خبر را به اشتراک بگذارید
به‌طور خلاصه
- الزام ریاضیاتی بازگشت‌پذیر و خطیبودن عملیات‌های کوانتومی، ساخت کپی‌های بی‌نقص از حالات کوانتومی ناشناخته را ناممکن میکند.
- ماشین‌های نظری همتاسازی تقریبی حداکثر به وفاداری ۸۳٫۳ درصد دست می‌یابند که برای تصحیح خطای سخت‌افزاری بسیار نویزدار و ناکارآمد است.
- همین ناتوانی در کپی‌برداری، سازوکار بنیادینی است که امنیت رمزنگاری کوانتومی را تضمین میکند؛ زیرا هر استراق‌سمعی داده‌های ارسالی را تغییر میدهد.
برای آنکه یک کامپیوتر کوانتومی به‌درستی کار کند، تک‌تک عملیات‌های درون آن باید کاملاً بازگشت‌پذیر باشند. این قید سرسخت که با عنوان «تحول یکانی» شناخته میشود، در مدارهای ابررسانای ایزوله و یون‌های به دام‌افتاده صادق است. با این حال، دقیقاً همین الزام ریاضیاتی است که ابتدایی‌ترین سازوکار محاسبات کلاسیک، یعنی کپی‌کردن دادهها، را برای همیشه ناممکن میکند.[3]
در سامانه‌های کلاسیک، کپی‌کردن یک بیت فرایندی پیش‌پاافتاده است؛ چراکه خواندن سطح ولتاژ آسیبی به آن نمی‌زند. یک پردازنده سیلیکونی استاندارد در هر ثانیه میلیاردها عملیات کپی را بدون تغییر در منبع اصلی انجام میدهد. در نقطه مقابل، حالات کوانتومی به‌صورت دامنه‌های پیوسته احتمال وجود دارند و درست در لحظه اندازه‌گیری فرومی‌پاشند.[3]
برای تکثیر یک حالت کوانتومی بدون خوانش آن، مهندسان به سازوکاری فیزیکی نیاز دارند که بتواند کیوبیت ناشناخته را بی‌هیچ تغییری کپی کند. در سال ۱۹۸۲، فیزیک‌دانانی به نام ویلیام ووترز، وویچک زورک و دنیس دیکس اثبات کردند که این کار از نظر ریاضیاتی غیرممکن است. این برهان که «قضیه عدم همتاسازی» نام دارد، کماکان بزرگ‌ترین مانع زیربنایی بر سر راه تصحیح خطای کوانتومی است.[1]
در مقاله سال ۱۹۸۲ این پژوهشگران در نشریه Nature آمده است: «ناتوانی در کپی اطلاعات کوانتومی ناشناخته نقص سخت‌افزاری نیست، بلکه قانونی بنیادین در طبیعت است. اگر می‌توانستید یک حالت را شبیه‌سازی کنید، اصل عدم قطعیت هایزنبرگ را نقض کرده بودید.»[1]
هندسه خطیبودن یکانی
ممنوعیت کپی‌کردن مستقیماً از نحوه تحول حالات کوانتومی در گذر زمان ناشی میشود. در مکانیک کوانتومی، هر عملیات در سامانه‌ای بسته با یک ماتریس یکانی توصیف میشود. ماتریس‌های یکانی دقیقاً خطی هستند؛ یعنی عملیاتی که روی مجموعه‌ای از حالات اعمال میشود باید دقیقاً با مجموع عملیات‌های اعمال‌شده بر تک‌تک آن اجزا برابر باشد.[3]
همین خاصیت خطیبودن هنگام تلاش برای ساخت دستگاه همتاساز نظری، بن‌بستی مرگبار ایجاد میکند. فرض کنید دستگاهی فرضی حالت قطبش عمودی را با موفقیت کپی میکند و برای قطبش افقی نیز همین توانایی را دارد. ویژگی خطی مشخص میکند که این دستگاه با یک حالت مورب—که برهمنهی هر دو حالت است—چه برخوردی خواهد داشت.[3]
بهجای ایجاد دو حالت مورب مستقل از هم، جبر خطی این برهمنهی را به یک خروجی درهمتنیده و بسیار آشفته تبدیل میکند. خروجی دستگاه حالتی است که در آن دو کیوبیت با یکدیگر همبسته شده‌اند، نه آنکه رونوشت‌هایی کاملاً مستقل و یکسان از ورودی اصلی باشند.[3][4]
مایکل نیلسن و ایزاک چوانگ در کتاب درسی «محاسبات کوانتومی و اطلاعات کوانتومی» (۲۰۱۰) توضیح می‌دهند: «خطیبودن سیستم موجب میشود که عملیات همتاسازی برای هر حالتی خارج از پایه متعامد اصلی شکست بخورد. شما می‌توانید حالات کلاسیک را کپی کنید، اما حالات برهمنهی ساختار ریاضیاتی این سازوکار را در هم می‌ریزند.»[3]
این یعنی یک رایانه کوانتومی به‌سادگی میتواند کیوبیتی را که قطعاً ۰ یا ۱ است کپی کند. اما درست از همان لحظه‌ای که کیوبیت وارد برهمنهی میشود—همان قابلیتی که طبق ادعاها مزیت نظری پردازنده‌های کوانتومی را رقم می‌زند—عملیات کپی از نظر ریاضی ناممکن و تعریف‌نشده خواهد شد.[3][4]
حفظ ضرب داخلی
دومین سد ریاضیاتی در برابر همتاسازی کوانتومی، «حفظ ضرب داخلی» است. ضرب داخلی زاویه هندسی میان دو بردار حالت کوانتومی را در فضای برداری مختلط اندازه می‌گیرد. از آنجا که عملیات‌های یکانی بازگشت‌پذیرند، مانند دوران‌های صلبی عمل میکنند که قادر به تغییر زاویه بین بردارها نیستند.[3]
اگر ماشینی برای همتاسازی وجود داشت، باید یک حالت اولیه و یک حالت خامی را دریافت می‌کرد و دو نسخه کاملاً همسان تحویل می‌داد. اگر این ماشین فرضی روی دو حالت ورودی متفاوت اجرا شود، زاویه میان دو جفت خروجیِ به‌دست‌آمده باید دقیقاً برابر با زاویه میان ورودی‌های اصلی باشد.[1][3]
محاسبات ریاضی نشان میدهد حفظ این زاویه تنها تحت دو شرط بسیار خاص برقرار می‌ماند: دو حالت ورودی یا باید دقیقاً همسان باشند (یعنی زاویه بین آنها صفر باشد)، یا باید کاملاً بر یکدیگر عمود باشند؛ یعنی حالات کلاسیکی مثل ۰ و ۱.[1]
برای هر زاویه دیگر—یعنی هر حالت کوانتومی ناشناخته و دلخواه—معادله ضرب داخلی به یک تناقض ریاضی منجر میشود. الزام حفظ هندسه فضای کوانتومی صراحتاً مانع از ساخت بردار دومی میشود که مختصاتی کاملاً یکسان با بردار نخست داشته باشد و هم‌زمان از آن مستقل بماند.[1][4]
روزنه همتاسازی تقریبی
هرچند کپی بی‌نقص از نظر قوانین فیزیک ممنوع است، فیزیک‌دانان خیلی زود کوشیدند راهی برای دور زدن این قضیه بیابند. در سال ۱۹۹۶، ولادیمیر بوژک و مارک هیلری مقاله‌ای بنیادین در نشریه Physical Review A منتشر کردند که در آن «ماشین همتاسازی کوانتومی فراگیر» معرفی شده بود؛ دستگاهی نظری که نسخه‌هایی ناقص و تقریبی میسازد.[2]
ماشین بوژک-هیلری به بالاترین سطح وفاداری ممکن تحت قوانین فیزیک دست می‌یابد. هنگام تلاش برای کپی‌کردن یک کیوبیت منفرد ناشناخته به دو خروجی، بیشینه دقت نظری آن رونوشت‌ها دقیقاً ۵/۶ یا ۸۳٫۳ درصد است. ۱۶٫۷ درصد باقی‌مانده نیز نویز اجتناب‌ناپذیر کوانتومی است.[2]
در مقاله بوژک و هیلری تصریح شده است: «همتاسازی تقریبی، اطلاعات اولیه را میان رونوشت‌ها و محیط توزیع میکند. حالت اصلی تضعیف میشود و رونوشت‌ها ناقص هستند، اما این فرایند سقف بهینه فیزیکی تکثیر کوانتومی را نشان میدهد.»[2]
سقف وفاداری ۸۳٫۳ درصدی فارغ از نوع معماری سخت‌افزار، به شکلی جهان‌شمول اعمال میشود. فرقی نمی‌کند پردازنده کوانتومی بر پایه ترانسمون‌های ابررسانا ساخته شود یا یون‌های باریم به دام‌افتاده یا اتم‌های خنثی روبیدیم؛ مهندسان هرگز نخواهند توانست عملیات کپی با دقتی فراتر از این مرز ریاضی پیاده کنند.[2][4]
واقعیت‌های سخت‌افزار و تصحیح خطا
هیاهوهای تبلیغاتی پیرامون همتاسازی تقریبی گاهی وانمود میکنند این روش میتواند آسیب‌پذیری داده‌های کوانتومی را حل کند. این ایده مطرح میشود که داشتن پشتیبان، حتی از نوع ناقص، شاید در برابر همدوسی‌زدایی مقاومت کند؛ اما مقایسه این حد نظری با وضعیت واقعی سخت‌افزارها حکایت از یک گسست مهندسی دارد.[4]
در سال ۲۰۲۵، بخش کوانتوم آی‌بی‌ام اعلام کرد که پردازنده‌های ابررسانای مبتنی بر چیدمان heavy-hex به وفاداری گیت‌های دوقطبی فراتر از ۹۹٫۹ درصد دست یافته‌اند. در این سطح از دقت، نرخ خطای پایه برای یک عملیات استاندارد تقریباً یک مورد در هر هزار عملیات است.
اگر مهندسی بخواهد از مدار همتاسازی بوژک-هیلری برای ایجاد پشتیبان از یک حالت استفاده کند، خود این عملیات وفاداری را به ۸۳٫۳ درصد کاهش میدهد. فرایند کپی‌کردن، ۱۶۷ خطا در هر هزار عملیات وارد میکند؛ به این معنا که نسخه پشتیبان ۱۶۷ برابر نویز بیشتری در مقایسه با دست‌نزدن به کیوبیت اصلی خواهد داشت.[2][4]
این افت شدید وفاداری، همتاسازی تقریبی را در زمینه تصحیح خطای کوانتومی کاملاً ناکارآمد میکند. بهجای کپی دادهها، روش‌های نوین تصحیح خطا بر پخش‌کردن یک حالت منطقی میان دهها کیوبیت فیزیکی از طریق درهمتنیدگی اتکا دارند و نیاز به تکثیر حالات ناشناخته را دور می‌زنند.[4]
برگ برنده در حوزه رمزنگاری
آنچه برای مهندسان سخت‌افزار یک بن‌بست فلج‌کننده به شمار می‌رود، برای کارشناسان امنیت سایبری در حکم یک برگ برنده است. قضیه عدم همتاسازی شالوده اصلی توزیع کلید کوانتومی (QKD) است؛ روشی برای تبادل کلیدهای رمزنگاری که امنیت آن به‌صورت ریاضیاتی تضمین میشود.
در پروتکل‌های مرسوم QKD مانند BB84 (توسعه‌یافته در ۱۹۸۴)، طرفین کلیدهای رمزنگاری را که روی تک‌فوتون‌ها کدگذاری شده‌اند تبادل میکنند. اگر نفوذگری تلاش کند فوتون‌ها را در مسیر شنود و کپی کند، قضیه عدم همتاسازی حکم میکند که رونوشت‌های او الزاماً معیوب خواهند بود.
از آنجا که شنودگر توانایی شبیه‌سازی کامل حالات فوتونی ناشناخته را ندارد، دست‌اندازی او ناگزیر فوتون‌های اصلی را دستخوش تغییر میکند. این دستکاری ضرب داخلی حالات ارسالی را تغییر میدهد و جهش محسوسی در نرخ خطای بیت کوانتومی در سمت گیرنده به جا می‌گذارد.
مؤسسه ملی استاندارد و فناوری آمریکا (NIST) در گزارشی فنی در سال ۲۰۲۳ خاطرنشان میکند: «عدم امکان همتاسازی دقیقاً همان سازوکاری است که پنهان‌کردن استراق‌سمع کوانتومی را ناممکن میسازد. هر تلاشی برای استخراج اطلاعات از کانال، ردی دائمی روی مخابره باقی می‌گذارد.»
دورنوردی بدون نسخهبرداری
از آنجا که گزینه کپی‌کردن از روی میز کنار رفته است، پردازش کوانتومی برای انتقال اطلاعات به سازوکاری یکسره متفاوت متکی است: دورنوردی کوانتومی. این فرایند که نخستین بار در سال ۱۹۹۷ در آزمایشگاه پیاده شد، امکان انتقال دقیق حالت یک کیوبیت به کیوبیتی دوردست را فراهم میکند.[3]
برخلاف انتقال اطلاعات در شبکه‌های کلاسیک که فایل اصلی دست‌نخورده باقی می‌ماند و کپی جدیدی در مقصد ساخته میشود، دورنوردی کوانتومی قضیه عدم همتاسازی را مو‌به‌مو اجرا میکند. فرایند انتقال حالت، مستلزم نابودی حالت اولیه در مبدأ است.[3][4]
این جابه‌جایی تخریب‌گر، یک جفت کیوبیت درهمتنیده را به عنوان منبع کانال کوانتومی مصرف میکند. فرستنده روی کیوبیت اصلی و سهم خود از جفت درهمتنیده یک اندازه‌گیری مشترک انجام میدهد و دو بیت داده کلاسیک را برای گیرنده مخابره میکند.[3]
گیرنده با بهره‌گیری از این دو بیت کلاسیک، یک دوران یکانی اصلاحی را روی سهم خود از جفت درهمتنیده اعمال میکند. این دوران حالت ناشناخته اولیه را کاملاً بازسازی میکند و انتقال بدون ساخت نسخه دوم در هیچ مرحله‌ای از فرایند، به پایان می‌رسد.[3]
گیرنده با بهره‌گیری از این دو بیت کلاسیک، یک دوران یکانی اصلاحی را روی سهم خود از جفت درهمتنیده اعمال میکند.
در شرایطی که صنعت به سوی محاسبات کوانتومی مقاوم در برابر خطا حرکت میکند، نبودِ قابلیتی ساده برای کپی‌کردن دادهها، کماکان قید بنیادین معماری سامانه‌هاست. هر الگوریتم، کد تصحیح خطا و پروتکل شبکه‌ای ناچار است با در نظر گرفتن هندسه انعطاف‌ناپذیر خطیبودن یکانی پیاده‌سازی شود.[4]
این تحلیل چگونه انجام شد
- روش
- محاسبه جریمه خطای عملیاتی در همتاسازی کوانتومی تقریبی از طریق مقایسه سقف وفاداری نظری ماشین همتاسازی فراگیر با نرخ خطای گیت‌های فیزیکی مدرن.
- یافته
- تلاش برای استفاده از سقف فیزیکی همتاسازی بهینه (وفاداری ۸۳٫۳٪) به عنوان سازوکار پشتیبان‌گیری در معماری‌های نوین، ۱۶۷ برابر نویز بیشتری نسبت به عملیات‌های گیت استاندارد (وفاداری ۹۹٫۹٪) ایجاد میکند و این روش تقریبی را از نظر ریاضیاتی برای تصحیح خطای کوتاه‌مدت بلااستفاده میسازد.
- داده‌هایی که بر پایهٔ آنها کار کردیم
- سقف وفاداری نظری همتاسازی کوانتومی فراگیر: 83.3% — Physical Review A
- وفاداری گیت‌های دوقطبی در سامانه‌های مدرن: 99.9%
- محدودیت‌های این تحلیل
- این مقایسه بر اساس همتاسازی مستقل از حالت بوژک-هیلری انجام شده و ماشین‌های همتاسازی هم‌وردای فاز را که در صورت قرار گرفتن حالت ورودی روی استوای کره بلاخ وفاداری اندکی بالاتر دارند، در بر نمی‌گیرد.
اصطلاحات کلیدی
- ماتریس یکانی
- نمایشی ریاضی از یک عملیات بازگشت‌پذیر در مکانیک کوانتومی که مجموع احتمالات کل پیامدها را حفظ میکند.
- ضرب داخلی
- معیاری هندسی برای سنجش زاویه و هم‌پوشانی میان دو بردار حالت کوانتومی در یک فضای برداری مختلط.
- برهمنهی
- توانایی یک سامانه کوانتومی در قرارگیری هم‌زمان در چند حالت، پیش از آنکه با اندازه‌گیری به یک پیامد منفرد فروپاشیده شود.
- وفاداری
- شاخصی درصدی که میزان نزدیکی عملکرد یک عملیات کوانتومی با هدف ایدئال و بی‌نقص ریاضی را بیان میکند.
- دورنوردی کوانتومی
- پروتکلی که حالت دقیق یک کیوبیت را با مصرف درهمتنیدگی به کیوبیتی دوردست منتقل میسازد و حالت مبدأ را در این فرایند از بین می‌برد.
پرسش‌های متداول
آیا کامپیوتر کوانتومی اصلاً میتواند دادهها را کپی کند؟
بله، اما فقط زمانی که دادهها کاملاً کلاسیک باشند. یک رایانه کوانتومی میتواند مقدار قطعی ۰ یا ۱ را کپی کند، اما بهمحض ورود کیوبیت به حالت برهمنهی، عملیات ناممکن میشود.
اگر با وجود این قید بخواهیم یک حالت برهمنهی را کپی کنیم چه رخ میدهد؟
قوانین ریاضی خطیبودن خروجی را ناچار به یک حالت درهمتنیده بدل میسازد. بهجای دریافت دو نسخه مستقل، دو کیوبیت حاصل میشود که ویژگیهای آنها به شکلی آشفته با یکدیگر پیوند خورده است.
رایانههای کوانتومی چگونه بدون نسخهبرداری خطاها را برطرف میکنند؟
آنها از کدهای تصحیح خطای کوانتومی بهره میبرند که اطلاعات یک کیوبیت منطقی را از طریق درهمتنیدگی میان دهها کیوبیت فیزیکی توزیع میکند؛ امری که امکان شناسایی و ترمیم خطا را بدون نیاز به کپی حالت فراهم میسازد.
بررسی عمیق دیدگاه‌ها
فیزیک‌دانان نظری
پژوهشگرانی که محدودیت‌های هندسی بنیادین در تحول یکانی و سقف ریاضیاتی همتاسازی تقریبی را بررسی میکنند.
از نگاه فیزیک‌دانان نظری، قضیه عدم همتاسازی یک نقص فنی نیست، بلکه گزاره‌ای عمیق درباره هندسه جهان است. تمرکز این گروه بر صلب‌بودن ماتریس‌های یکانی است که مثل دوران‌های صلب در فضای برداری مختلط عمل میکنند. از آنجا که این دوران‌ها ناگزیرند ضرب داخلی—زاویه میان دو بردار—را حفظ کنند، نگاشت یک بردار ناشناخته روی برداری دیگر بدون برهم‌زدن فضای ریاضی ناممکن است. این پژوهشگران به کاوش در مرزهای همتاسازی تقریبی ادامه می‌دهند تا دریابند پیش از دخالت قوانین فیزیک، حداکثر چه میزان وفاداری می‌توان استخراج کرد.
مهندسان سخت‌افزار کوانتومی
مهندسانی که قضیه عدم همتاسازی را قیدی فلج‌کننده می‌دانند که آنان را ناچار به استفاده از کدهای سطحی پیچیده میکند.
توسعه‌دهندگان سخت‌افزار ناتوانی در کپی‌کردن داده را مانع اصلی بر سر راه ساخت رایانههای کوانتومی مقاوم در برابر خطا می‌دانند. در سامانه‌های کلاسیک، تصحیح خطا به‌سادگی ساختن سه رونوشت از یک بیت و رأی‌گیری اکثریتی است. از آنجا که قضیه عدم همتاسازی این رویکرد را قدغن کرده، مهندسان ناچارند به کدهای تصحیح خطای کوانتومی نظیر کدهای سطحی روی آورند. این پروتکل‌ها نیازمند پخش‌کردن اطلاعات یک کیوبیت منطقی میان دهها یا صدها کیوبیت فیزیکی از مسیر درهمتنیدگی هستند؛ سرباری سرسام‌آور که علت اصلی نیاز به میلیون‌ها کیوبیت برای ساخت سامانه‌ای کاربردی است.
متخصصان رمزنگاری کوانتومی
کارشناسان امنیتی که ناتوانی در کپی حالات ناشناخته را مزیتی بی‌بدیل برای تضمین سلامت ارتباطات قلمداد میکنند.
در حالی که مهندسان سخت‌افزار از قضیه عدم همتاسازی شکایت دارند، متخصصان رمزنگاری سراسر به آن تکیه میکنند. در توزیع کلید کوانتومی (QKD)، ناممکن‌بودن شبیه‌سازی یک حالت ناشناخته دقیقاً همان مکانیزمی است که دست نفوذگران را رو میکند. اگر هکری فوتون حامل کلید را رهگیری کند، نمی‌تواند آن را برای خواندن در آینده کپی کند و نسخه اصلی را بفرستد. او ناچار است فوتون را اندازه بگیرد که باعث فروپاشی حالت میشود، یا آن را به‌شکل تقریبی شبیه‌سازی کند که وفاداری را تنزل میدهد. هر دو اقدام ضرب داخلی حالات ارسالی را تغییر میدهد و زنگ خطر نفوذ را به صدا درمی‌آورد.
- فیزیک‌دانان نظری
- بر مرزهای بنیادین هندسی تحول یکانی و محدودیت‌های ریاضی همتاسازی تقریبی تمرکز دارند.
- مهندسان سخت‌افزار کوانتومی
- قضیه عدم همتاسازی را مانعی فنی می‌دانند که آنان را بهجای پشتیبان‌گیری ساده، ناگزیر به کدهای سطحی پیچیده میکند.
- متخصصان رمزنگاری کوانتومی
- ناممکن‌بودن کپی حالات ناشناخته را مزیتی بنیادین قلمداد میکنند که امنیت توزیع کلید کوانتومی را تضمین میسازد.
دیدگاه‌هایی که این گزارش پوشش نداده
- دانشمندان علوم رایانه کلاسیک
- فیلسوفان نظریه اطلاعات
منابع
پوشش منابع
4 منبع
3 دیدگاه شناسایی‌شده
- [1]Natureفیزیک‌دانان نظری
A single quantum cannot be cloned
مطالعه در Nature → - [2]Physical Review Aفیزیک‌دانان نظری
Quantum copying: Beyond the no-cloning theorem
مطالعه در Physical Review A → - [3]Cambridge University Pressفیزیک‌دانان نظری
Quantum Computation and Quantum Information: 10th Anniversary Edition
مطالعه در Cambridge University Press → - [4]تیم سردبیری کوهستان
تحلیل تیم سردبیری کوهستان
مطالعه در تیم سردبیری کوهستان →
بیشتر در فناوری
مشاهده همه →همدوسی‌زدایی کوانتومی
زمان‌های T1 و T2: چگونه واهلش و وافازی، طول عمر یک کیوبیت را تعیین میکنند
6 منبع
سخت‌افزار کوانتومی
سربار کیوبیت‌های منطقی: چرا برای ساخت یک کیوبیت بدون خطا به هزاران کیوبیت فیزیکی نیاز است؟
6 منبع
معماری کوانتومی
مکانیک کوانتوم آنیلینگ در برابر کامپیوترهای کوانتومی مدل گیت: این دو معماری واقعاً چگونه کار میکنند؟
7 منبع
تحمل خطا
سیستم هلیوس کوانتینیوم به دقت گیت ۹۹.۹٪ رسید و از آستانه تحمل خطا عبور کرد
2 منبع
نظرات
هر زاویه. هر روز.
اخبار فناوری با پوشش کامل منابع و تحلیل دیدگاه‌ها، هر روز و رایگان.