Tensors, entanglement, separability, and their complexity

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

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

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

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

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