🔢 mathematics

Local qubit invariants on quantum computer

تقدم هذه الورقة طريقتين عامتين لتنفيذ الدوائر الكمومية لقياس الثوابت الوحدوية المحلية بشكل مباشر، وتحديداً من خلال استعراض تطبيقهما على مقاييس التشابك لثلاثة كيوبتات على منصة IBM الكمومية.

المؤلفون الأصليون: Szilárd Szalay, Frédéric Holweck

نُشر 2026-08-14

📖 5 دقيقة قراءة🧠 قراءة متعمّقة

CC BY 4.0

المؤلفون الأصليون: Szilárd Szalay, Frédéric Holweck

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

أدوات المحقق الكمي

تخيل أنك تحاول معرفة وصفة سرية، لكن لا يُسمح لك بتذوق الطعام أو الاطلاع على قائمة المكونات. بدلاً من ذلك، يمكنك فقط مراقبة كيفية سلوك الطبق عندما تهز الطاولة، أو تدور الطبق، أو تسلط ضوءاً عليه من زوايا مختلفة. في عالم الفيزياء الكمية، هذا "الطبق" هو حالة كمية، و"الهز" هو تحويل وحدوي محلي (local unitary transformation). تشتهر الحالات الكمية بخاصية غريبة تسمى التشابك (entanglement)، حيث تصبح الجسيمات مرتبطة بعمق شديد بحيث لا يمكنك وصف أحدها دون الآخر، بغض النظر عن المسافة بينهما. هذا الرابط هو المحرك وراء الحواسيب الفائقة المستقبلية والشيفرات غير القابلة للاختراق.

ومع ذلك، فإن التشابك أمر معقد. إذا غيرت طريقة نظرك إلى الجسيمات (مثل تدوير رأسك)، فإن الرياضيات التي تصفها تتغير، لكن التشابك الفعلي لا يتغير. يطلق العلماء على هذه الميزات الثابتة اسم الثوابت (invariants). فكر فيها كأنها "بصمة الإصبع الحقيقية" للحالة الكمية. لفترة طويلة، كان تحديد هذه البصمات يتطلب رياضيات معقدة كان من المستحيل القيام بها مباشرة على الحاسوب، أو كان عليك إجراء ملايين القياسات المختلفة لإعادة بناء الصورة الكاملة (وهي عملية تسمى التوصيف الكمي أو tomography). السؤال الكبير كان: هل يمكننا بناء دائرة "محقق كمي" خاصة تقيس هذه البصمات مباشرة، دون الحاجة إلى حل اللغز بأكل؟

مهمة الورقة البحثية: قياس غير المرئي

في هذه الورقة، يقدم "سيلارد سلاي" و"فريدريك هولويك" طريقتين ذكيتين لبناء هذه الدوائر "المحققة الكمية". هدفهما هو قياس الثوابت الوحدوية المحلية (Local Unitary Invariants) مباشرة على حاسوب كمي. هذه الثوابت هي أرقام خاصة تخبرنا بدقة مدى "تشابك" مجموعة من الكيوبتات (البتات الكمية)، بغض النظر عن كيفية تدويرها أو إزاحتها محلياً.

يركز المؤلفان على الأنظمة المكونة من كيوبتين وثلاثة كيوبتات، وهي اللبنات الأساسية للشبكات الكمية الأكبر. يوضحان أنه من خلال ترجمة الرياضيات المجردة لـ "تقليص المؤشرات" (طريقة معقدة لقول "مطابقة أجزاء المعادلة") إلى دوائر كمية فيزيائية، يمكنهما الحصول على الإجابة ببساطة عن طريق تشغيل الدائرة ورؤية ما يخرج في النهاية.

الطريقتان: الجاسوس الرشيق مقابل الناقل الثقيل

تقترح الورقة طريقتين متميزتين، لكل منهما مقايضاتها الخاصة:

"الجاسوس الرشيق" (الطريقة الأولى): تستخدم هذه الطريقة عدداً أقل من الكيوبتات. تعمل عن طريق إنشاء نسخة من الحالة الكمية، وتمريرها عبر بوابة خاصة، ثم جعلها تتداخل مع الأصل (أو مع نسخة مترافقة منها). الأمر يشبه امتلاك جاسوس يمكنه استراق النظر إلى سر ما من خلال مقارنة ظل الشيء بالشيء نفسه. هذه الطريقة أكثر كفاءة، حيث تستخدم $nk/4 $من الكيوبتات (حيث$ n $هو عدد الكيوبتات و$ k$ هو تعقيد الثابت).
"الناقل الثقيل" (الطريقة الثانية): تستخدم هذه الطريقة عدداً أكبر من الكيوبتات، وتحديداً $nk/2$. بدلاً من التداخل، تقوم بإنشاء نسخ متعددة من الحالة وتستخدم "قياس بيل" (نوع خاص من القياس المشترك) لربطها معاً. الأمر يشبه استئجار فريق كامل من الجواسيس ليمسكوا بأيدي بعضهم البعض ويشكلوا سلسلة للإمساك بالسر. بينما تعد هذه الطريقة أسهل في التنفيذ إذا لم يكن بإمكانك عكس البوابة الكمية بسهلاً، إلا أنها تتطلب ضعف عدد الكيوبتات وتوصيلات أكثر تعقيداً، مما يؤدي إلى المزيد من الضجيج وانخفاض الدقة.

ما وجدوه واختبروه

لم يكتف المؤلفون برسم هذه الدوائر فحسب؛ بل بنوها بالفعل. لقد اختبروا طرقهم على منصة IBM Quantum، وهو حاسوب كمي حقيقي متاح عبر الإنترنت. اختاروا ثلاثة أنواع شهيرة من حالات الثلاثة كيوبتات لاختبارها:

الحالة القابلة للفصل (The Separable State): مثل ثلاث عملات مستقلة (لا يوجد تشابك).
حالة W (The W State): نوع محدد من التشابك حيث إذا فقدت جسيماً واحداً، يظل الجسيمان الآخران مرتبطين.
{% %}
حالة GHZ (The GHZ State): تشابك "الكل أو لا شيء" حيث تكون الجسيمات الثلاثة متزامنة تماماً.

قاموا بقياس ثوابت محددة (مثل مربع التزامن (concurrence squared)، و $\omega^2$ ، و ثلاثي التشابك $\tau^2$ الشهير) والتي تعمل كدرجات لأنواع مختلفة من التشابك.

النتائج: أخبار جيدة مع وجود عقبة

أظهرت التجارب أن الطرق تعمل. عندما قاموا بتشغيل الدوائر، كانت الأرقام التي حصلوا عليها قريبة جداً من القيم النظرية "المثالية".

بالنسبة لـ حالة GHZ، قاسوا ثلاثي التشابك ( $\tau^2$ ) بنحو 0.948، وهو قريب جداً من الدرجة المثالية وهي 1.
بالنسبة لـ حالة W، قاسوا قيماً حول 0.84–0.85، وهي قريبة من القيمة النظرية 0.889.
بالنسبة لـ الحالة القابلة للفصل، كانت درجات التشابك قريبة من الصفر، كما هو متوقع.

ومع ذلك، فإن الورقة صريحة بشأن القيود. نظرًا لأن الحواسيب الكمية الحالية "ضوضائية" (فهي ترتكب أخطاء صغيرة بسبب الحرارة والتداخل)، فإن النتائج ليست مثالية. أدت طريقة "الجاسوس الرشيق" أداءً أفضل بشكل عام، حيث أعطت نتائج أكثر دقة مع خطأ أقل من "الناقل الثقيل". يشير المؤلفون إلى أنه على الرغم من عدم قدرتهم على التمييز بدقة بين كل نوع ممكن من التشابك بعد بسبب هذه الأخطاء، إلا أن الطرق نجحت في إظهار مقدار التشابك الموجود.

لماذا هذا مهم؟

تجادل الورقة بأن هذه الطرق تمثل خطوة كبيرة للأمام لأنها أكثر كفاءة بكثير من الطرق القديمة. فبدلاً من إجراء آلاف القياسات لإعادة بناء الحالة بأكملها (التوصيف الكامل)، وهو أمر يصبح مستحيلاً مع إضافة المزيد من الكيوبتات، تحتاج هذه الدوائر الجديدة إلى قياس واحد فقط لدائرة معينة للحصول على الإجابة.

يؤكد المؤلفون أنه على الرغم من أنهم اختبروا اثنين وثلاثة كيوبتات فقط، إلا أن طريقتهم عامة. يمكن تطبيقها على أي عدد من الكيوبتات وأي أبعاد، طالما يمكن كتابة الرياضيات كعمليات "تقليص مؤشرات" محددة. لقد نجحوا في تحويل مفاهيم رياضية مجردة تعود لقرون مضت (مثل "هايبردترمينانت" كايلي) إلى تجارب فيزيائية على آلة حقيقية. وبينما ليست الأجهزة الحالية مثالية بما يكفي لحل كل أسرار التشابك الكمي، فقد أثبتت أنه يمكننا الآن قياس هذه "البصمات" مباشرة، مما يفتح الباب لتحسين المعايير وفهم الحواسيب الكمية المستقبلية.

ملخص تقني: الثوابت الموضعية للكيوبتات على الحاسوب الكمي

بيان المشكلة

يُعد التشابك ارتباطاً غير كلاسيكي جوهرياً في الأنظمة الكمية. وبينما توفر الثوابت الموضعية الموحدة (LU invariants) أدق وصف للتشابك — حيث تميز الحالة الكمية حتى التحويلات الموضعية — إلا أن قياسها المباشر على الأجهزة الكمية كان يمثل تحدياً. تشمل النهج الحالية:

الطرق الارتجالية (Ad-hoc): تتبع معاملات متجه الحالة بشكل محدد (مثل مربع التوافق أو مربع التشابك الثلاثي)، وهي طرق لا يمكن تعميمها بسهولة.
الأساليب القائمة على الأمثلة (Optimization-based): تعتمد على الأشكال القياسية الموحدة محلياً (LU-canonical forms)، مما يتطلب تشغيل البروتوكول لمرات عديدة لتحسين المعلمات.
التصوير المقطعي الكامل للحالة (Full state tomography): يتطلب عدداً أسياً من القياسات ( $3^n$ لـ $n$ من الكيوبتات) لإعادة بناء السعات قبل حساب الثوابت جبرياً.

مع توسع الأنظمة الكمية، تصبح هذه الأساليب غير مجدية. يعالج المؤلفون الحاجة إلى طرق قياس عامة ومباشرة للثوابت الموحدة محلياً (LU-invariants) على أجهزة العصر الكمي ذي الضجيج المتوسط (NISQ)، دون الاعتماد على التصوير المقطعي الكامل أو حلقات الأمثلة المعقدة.

المنهجية

يقدم البحث طريقتين عامتين لتنفيذ الدوائر الكمية للقياس المباشر للثوابت الموحدة محلياً (LU-invariants) ذات القيم الحقيقية غير السالبة لعدد $n=2$ و $n=3$ من الكيوبتات. تقوم كلتا الطريقتين بترجمة عمليات تقليص المؤشرات (باستخدام موترات كرونيكر $\delta$ وليفي-تشيفيتا $\epsilon$ ) التي تُعرف بها هذه الثوابت إلى عمليات دوائر كمية.

تعتمد الطريقتان على استخدام $k/2$ من نسخ أوراكل تحضير الحالة $U_\psi$ ، حيث $k$ هي درجة الثابت. وبما أن استنساخ الحالة الكمية مستحيل، يتم تحقيق هذه "النسخ" عبر عدة نماذج من أوراكل $U_\psi$ (وربما نسخة منقولة $U_\psi^T$ ، أو مرافقة $U_\psi^\dagger$ ، أو مترافقة $\bar{U}_\psi$ ).

الطريقة الأولى: نهج المرافقة/النقل (The Adjoint/Transpose Approach)

استهلاك الموارد: تستخدم $nk/4$ من الكيوبتات.
الآلية: تستخدم هذه الطريقة المرافقة أو النقل لوحدة التحضير لعمل تقليص للمؤشرات مباشرة.
- بالنسبة للمعيار المربع ( $n^4$ )، يتم تطبيق $U_\psi$ متبوعاً بـ $U_\psi^\dagger$ .
- بالنسبة للثوابت التي تتضمن $\epsilon$ (مثل التوافق/concurrence)، يتم تطبيق $U_\psi$ متبوعاً بـ $U_\psi^T$ (أو استخدام بوابات Pauli- $Y$ لمحاكاة النقل في قاعدة الحساب).
القياس: احتمال قياس الحالة الصفرية بالكامل (أو نمط معين) يعطي مباشرة قيمة الثابت (أو قوة منه).
الميزة: تتطلب عدداً أقل من الكيوبتات ومن بوابات CNOT، مما يؤدي إلى دقة أعلى وخطأ نسبي أقل.
العلاقة بالتداخل (Interferometry): يشير المؤلفون إلى أن هذه الطريقة مرتبطة بالمنهج التداخلي [35–37]، حيث يمكن قراءة قيمة الثابت الموحد محلياً من وضوح نمط التداخل. ومع ذلك، وعلى عكس المنهج التداخلي الذي يمكنه قياس طور الثابت المركب، فإن الطرق المقدمة هنا تقيس فقط القيمة المطلقة المربعة (الثوابت الحقيقية غير السالبة).

الطريقة الثانية: نهج قياس بيل (The Bell-Measurement Approach)

استهلاك الموارد: تستخدم $nk/2$ من الكيوبتات (ضعف ما تستخدمه الطريقة الأولى).
الآلية: تقوم هذه الطريقة بتحضير نسختين من الحالة ( $U_\psi \otimes U_\psi$ $U_{ψ} \otimes U_{ψ}$ ) وإجراء تقليص للمؤشرات عبر قياسات حالة بيل.
- يتم تحقيق التقليص مع $\delta$ عبر الإسقاط على حالة بيل $|Bell_0\rangle$ باستخدام بوابة بيل المرافقة $B^\dagger$ .
- يتم تحقيق التقليص مع $\epsilon$ عبر الإسقاط على $|Bell_2\rangle$ (أو استخدام بوابات Pauli- $Y$ متبوعة بإسقاط $|Bell_0\طل$ ).
القياس: احتمال نتيجة معينة يتناسب مع الثابت، مع ضرورة ضربه في عامل $1/2$ لكل عملية قياس بيل يتم إجراؤها.
العيوب: يقلل عامل القياس هذا من مقدار الإشارة، مما يزيد من الخطأ النسبي. كما أنها تتطلب عدداً أكبر من الكيوبتات وبوابات CNOT (تحديداً لتبديل الكيوبتات لتمكين التقليص).

المساهمات الرئيسية

بناء الدوائر العام: يقدم المؤلفون ترجمة منهجية لتعريفات تقليص المؤشرات للثوابت الموحية محلياً إلى دوائر كمية. هذا قابل للتطبيق على أي عدد من الأنظمة الفرعية والأبعاد، بشرط صياغة هذه الثوابت عبر تقليص المؤشرات الموضعية.
تنفيذات محددة لـ 2 و 3 كيوبت:
- الكيوبتان: دوائر للمعيار المربع ( $n^4$ ) ومربع التوافق ( $c^2$ ).
- الثلاثة كيوبتات: دوائر للمعيار المربع ( $n^4$ )، والتوافقات الموضعية ( $c_a^2$ )، وثابت كيمبي ( $\omega^2$ )، والتشابك الثلاثي ( $\tau^2$ ).
- يفصل البحث بين نسختي الطريقة المدمجة (الطريقة 1) وقياس بيل (الطريقة 2) لكل ثابت.
الإثبات التجريبي: تم تنفيذ الطرق على منصة IBM Quantum (تحديداً المعالج ibmq_pittsburgh من نوع Heron r3).
- الحالات المختبرة: عائلات من بارامتر واحد للحالات التي تمثل فئات SLOCC: منفصلة ( $1|2|3$ )، شبه منفصلة ( $1|23$ )، حالة W، وحالة GHZ.
- المقاييس: قامت التجارب بقياس $c_a^2$ و $\omega^2$ و $\tau^2$ لـ 10 حالات عشوائية من مدارات LU وبالنسبة لتغيرات البارامتر المستمرة.

النتائج

الدقة: أكدت التجارب أن الدوائر نجحت في قياس الثوابت. تطابقت القيم المقاسة بدقة مع القيم النظرية الدقيقة (على سبيل المثال، لحالات GHZ، $\tau^2 \approx 1$ ؛ ولحالات W، $\tau^2 \approx 0$ ).
تحليل الخطأ:
- الضجيج: لوحظت أخطاء صغيرة ولكنها مؤثرة بسبب ضجيج أجهزة NISQ.
- مقارنة المنهجيات: تفوقت الدائرة الأصغر (الطريقة 1) باستمرار على دائرة قياس بيل الأكبر (الطريقة 2) من حيث الدقة، كما هو متوقع بسبب انخفاض عدد البوابات وعدم وجود عوامل تصغير بمقدار $1/2$ .
- الانحياز المنهجي: لوحظ وجود نقص عام في القياس، مع زيادة في القياس للقيم الصغيرة من $c_a^2$ و $\omega^2$ .
تصنيف SLOCC: بسبب الضجيج، لم يتحقق التلاشي التام للثوابت المطلوب للتصنيف المثالي لـ SLOCC (على سبيل المثال، التمييز بين الفئة المنفصلة ذات القياس الصفري والفئات المتشابكة). ومع ذلك، وفرت القيم غير الصفرية "درجة" ذات معنى للتشابك، مما سمح بتحديد نوع التشابك المهيمن (a|bc، أو W، أو GHZ).

الأهمية والادعاءات

يدعي المؤلفون أن طرقهم القائمة على التقليص تقدم بديلاً قابلاً للتوسع للتصوير المقطعي الكامل للحالة والتحسين الارتجالي.

الكفاءة: بينما يتطلب التصوير المقطفي الكامل $3^n$ من القياسات، تتطلب هذه الطرق قياساً واحداً فقط لدائرة مكونة من $nk/4 $أو$ nk/2$ من الكيوبتات. يتوسع عدد الكيوبتات خطياً مع درجة الثابت، وليس أسياً مع حجم النظام.
العمومية: النهج ليس مقتصرًا على الكيوبتات أو ثوابت محددة؛ بل ينطبق على أي ثابت يتم صياغته عبر تقليص المؤشرات الموضعية ( $\delta$ و $\epsilon$ ).
التحقيق الفيزيائي: يربط هذا العمل بين مفاهيم الهندسة الجبرية المجردة (مثل هايبرديميننت كايلي و FTS-rank) والتجارب الفيزيائية الكمية، مما يسمح باستخدام هذه الثوابت كمعايير لأداء الأجهزة الكمية الحالية.
القيود: يشير المؤلفون بتواضع إلى أنه بينما توضح هذه الطرق خصائص SLOCC، فإن الطبيعة "صفرية القياس" لبعض الفئات تعني أن التصنيف المثالي لا يزال يعوقه ضجيج الجهاز. ومع ذلك، تعمل الثوابت كمؤشرات قوية لمدى امتلاك الحالة لخصائص تشابك معينة.