Real tensor factorizations and generalized inverses under the $t$-product

ملخص تقني: تحليل التنسورات الحقيقية والمقلوبات المعممة تحت عملية الـ t-product

بيان المشكلة
تُصاغ النظرية الجبرية للتنسورات من الدرجة الثالثة تحت عملية الـ t-product تقليديًا فوق الحقل المركب $\mathbb{C}$ عبر التقطيع القطري لكتل فوريه (Fourier block diagonalization). وبينما يسمح هذا النهج باختزال عمليات التنسور إلى عمليات مصفوفية على الشرائح الأمامية في نطاق التحويل، إلا أن العديد من التطبيقات العملية (مثل معالجة الصور، وتحليل الفيديو، والتصوير فائق الطيف) تتضمن بطبيعتها بيانات حقيقية القيم. وتوجد فجوة حرجة في ضمان أن عمليات تحليل التنسور والمقلوبات المعممة التي يتم بناؤها في نطاق فوريه المركب تنتج تنسورات حقيقية القيم بعد عملية التحويل العكسي. تعالج هذه الورقة الشروط الهيكلية المطلوبة لضمان أن تؤدي هذه البناءات في نطاق التحويل إلى تنسورات حقيقية، مشيرةً إلى أن مجرد إجراء العمليات على كتل فوريه المركبة لا يضمن تلقائيًا الحفاظ على القيم الحقيقية.

المنهجية
تتبنى الورقة إطار عمل يعتمد على تحويل فوريه المتقطع (DFT) على طول البعد الثالث للتنسور. وتشمل المكونات المنهجية الرئيسية ما يلي:

1. التقطيع القطري لكتل فوريه: استخدام التماثل بين حلقة (ring) الـ t-product والمصفوفات الدائرية الكتلية (block-circulant matrices)، والتي تكون متماثلة وحدويًا مع مصفوفات قطرية كتلية تحتوي على تحويلات فوريه للشرائح الأمامية.
2. مبدأ اقتران المرافق: "مبدأ اقتران المرافق" هو الآلية النظرية الجوهرية التي قدمتها الورقة. حيث أثبت المؤلفون أنه لكي يكون التنسور حقيقي القيم، يجب أن تحقق كتل فوريه الخاصة به علاقات تناظر مرافق محددة ($A_{p-k+2} = \overline{A_k}$)، بدلاً من اشتراط أن تكون كل كتلة بمفردها حقيقية.
3. البناء المتوافق: تتضمن المنهجية إجراء تحليلات على مستوى المصفوفات (مثل SVD، وSchur، وJordan، إلخ) على كتل فوريه. ومن الأهمية بمكان أن هذه التحليلات لا تُختار بشكل مستقل لكل كتلة؛ بل يفرض المؤلفون توافقًا عبر أزواج الكتل المترافقة لضمان أن يؤدي التحويل العكسي إلى تنسور حقيقي القيم. ويتم صياغة ذلك رسميًا في اللمة 3.1، التي تثبت أنه إذا كانت العملية المصفوفية $\Phi$ تحقق الشرط $\Phi(\overline{M}) = \overline{\Phi(M)}$، فإن تطبيقها على كتل فوريه ذات تناظر مرافق يحافظ على القيم الحقيقية.

المساهمات والنتائج الرئيسية

• التوصيف الهيكلي: تقدم الورقة شروطًا ضرورية وكافية (اللمتان 2.4 و2.5) ليكون التنسور حقيقي القيم بناءً على تناظر المرافق لكتل فوريه الخاصة به.
• تحليلات التنسور الحقيقية: اشتق المؤلفون نسخًا حقيقية من عدة تحليلات أساسية للتنسور عن طريق تطبيق مبدأ اقتران المرافق:
  • تحليل t-SVD الحقيقي: وهو تحليل $A = U * S * V^T$ حيث $U$ و $V$ تنسورات متعامدة و $S$ هو تنسور قطري أمامي (f-diagonal). توضح الورقة أن عمليات SVD المستقلة لكتل فوريه تفشل في إنتاج عوامل حقيقية، مما يستلزم ربط المتجهات المنفردة عبر أزواج الكتل المترافقة.
  • تحليل t-Schur الحقيقي: وهو تحليل $A = U * T * U^T$ حيث $T$ هو تنسور شبه مثلثي أمامي (f-quasi-triangular) (الشرائح الأمامية هي شرائح شبه مثلثية بكتل قطرية $1\times1$ و $2\times2$)، وهو ما يشبه صيغة Schur الحقيقية للمصفوفات.
  • الصيغة القطبية Jordan الحقيقية (Real t-Jordan Canonical Form): وهو تحليل $A = P * J * P^{-1}$ حيث $J$ هو تنسور شبه ثنائي القطر العلوي (f-upper-block-bi-diagonal). تصحح الورقة ادعاءً سابقًا في الأدبيات بأن صيغة t-Jordan لتنسور حقيقي هي تلقائيًا حقيقية، مبينةً بدلاً من ذلك أن اقترانًا محددًا لبيانات جوردان هو المطلوب.
  • التحليل المعتمد على التنسورات المتطابقة (Real Idempotent Factorization): وهو تحليل $A = U * E * V$ حيث $E$ تنسور متطابق حقيقي.
• المقلوبات المعممة: يُطبق الإطار على المقلوبات المعممة، حيث يثبت وجود ويوفر أوصافًا في نطاق التحويل لكل من:
  • مقلوب مور-بينوز (Moore–Penrose Inverse): $A^\dagger = V * S^\dagger * U^T$، والذي ثبت أنه حقيقي القيم.
  • مقلوب درازين (Drazin Inverse): يوجد $A^D$ كتنسور حقيقي إذا كانت كتل فوريه تقبل مقلوبات درازين تحقق شرط الاقتران.
  • المقلوب المجوع (Group Inverse): يوجد $A^\#$ كتنسور حقيقي إذا وفقط إذا كانت جميع كتل فوريه قابلة للانعكاس المجوع.
• نتيجة نظرية الحلقات: تثبت الورقة أن الحلقة $(\mathbb{R}^{n \times n \times p}, +, *)$ هي حلقة منتظمة فون نيومان (unit regular)، مما يعني أن كل عنصر لها معكوس فون نيومان قابل للانعكاس.

الأهمية
تدعي الورقة أنها توفر إطارًا صارمًا لنقل البناءات القائمة على المصفوفات إلى التنسورات الحقيقية مع الحفاظ على القيود الجبرية لعملية الـ t-product. تكمن أهميتها الأساسية في توضيح أن كون القيمة حقيقية في سياق الـ t-product هو خاصية عالمية تنشأ من الاختيارات المنسقة عبر كتل فوريه المترافقة، وليس خاصية محلية لكل كتلة على حدة. هذا التمييز ضروري لضمان أن البناءات النظرية والخوارزميات الحسابية للتنسورات الحقيقية تنتج نتائج حقيقية صالحة. يعمل هذا العمل على جسر الفجوة بين النظرية الجبرية المركبة لـ t-product والمتطلبات العملية لتطبيقات البيانات حقيقية القيم.