🔢 mathematics

Iterative Methods for Computing the Moore--Penrose Inverse of Split-Quaternion Matrices with Applications

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

المؤلفون الأصليون: Salman Ahmadi-Asl, Valentin Leplat, Mohammad S. Alkousa

نُشر 2026-08-03

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

CC BY 4.0

المؤلفون الأصليون: Salman Ahmadi-Asl, Valentin Leplat, Mohammad S. Alkousa

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

تخيل أنك تحاول حل لغز عملاق متعدد الأبعاد، حيث القطع ليست مجرد مربعات مسطحة، بل هي "أجهزة دوران" (spinning tops) رباعية الجوانب تدور حول نفسها. في عالم الرياضيات، تُسمى هذه الأجهزة "السبليت كواتيرنيون" (split-quaternions). قد تعرف الأعداد العادية، أو حتى الأعداد "المركبة" التي تتضمن الجذر التربيعي لـ سالب واحد. لكن "السبليت كواتيرنيون" هي قريب جامح لهما. تُستخدم هذه الأعداد لوصف أشياء مثل كيفية تحرك موجات الضوء أو كيفية التواء الأجسام في الزمكان، لكن لديها سر مخادع: بعضها يحتوي على "قواسم صفرية" (zero divisors). في الرياضيات العادية، إذا ضربت عددين ببعضهما وحصلت على صفر، فلا بد أن يكون أحدهما صفراً. ولكن مع هذه الأجهزة الخاصة، يمكنك ضرب قطعتين غير صفريتين معاً والحصول على "لاشيء" تام. هذا يجعل عملية القيام بالعملية العكسية — أي إيجاد "المعكوس" (inverse) أو زر "التراجع" — أمراً صعباً للغاية، خاصة عندما لا تشكل قطع اللغز شبكة مربعة مثالية.

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

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

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

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

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

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

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

ملخص تقني: الطرق التكرارية لحساب المعكوس مورو-بينوز لمصفوفات الكواتيرنيون المنقسم (Split-Quaternion)

بيان المشكلة
تتناول الورقة البحثية حساب المعكوس مورو-بينوز (Moore–Penrose inverse) للمصفوفات فوق جبر الكواتيرنيون المنقسم ( $\mathbb{Q}_s$ ). وخلافاً للكواتيرنيونات الهاملتونية القياسية، تمتلك الكواتيرنيونات المنقسمة شكلاً تربيعياً غير محدد، مما يؤدي إلى وجود مقسمات صفرية غير بديهية وعناصر نيلفوتنتية (nilpotent). هذه الخصائص الجبرية تعقد تعريف المعكوسات وتطبيق النظرية الطيفية القياسية. وبشكل محدد، فإن الطبيعة غير المحددة للشكل التربيعي تمنع النقل المباشر للنتائج الطيفية من المصفوفات الحقيقية أو المركبة، كما أن وجود المقسمات الصفرية يستلزم معالجة دقيقة للحالات المنفردة والناقصة الرتبة. يهدف المؤلفون إلى إرساء إطار عمل قوي لتعريف المعكوس مورو-بينوز في هذا السياق وتطوير خوارزميات تكرارية فعالة لحسابه، لا سيما للمصفوفات المستطيلة والناقصة الرتبة.

المنهجية
المساهمة المنهجية الجوهرية هي إرساء إطار عمل متسق يعتمد على تمثيل حقيقي $2 \times 2$ ( $\sigma$ ) والمرافق المنقول لـ $i$ ( $H$ ).

التمثيل الحقيقي: يُعرف المؤلفون تطبيقاً تقابلياً $\sigma: \mathbb{Q}_s \to \mathbb{R}^{2 \times 2}$ يحافظ على عملية الضرب ويحول المرافق المنقول لـ $i$ إلى المنقول الحقيقي القياسي. بالنسبة للمصفوفة $A \in \mathbb{Q}_s^{m \times n}$ ، يسمح ممثلها الحقيقي $A^\sigma \in \mathbb{R}^{2m \times 2n}$ بتعريف المعكوس مورو-بينوز مباشرة عبر المعكوس مورو-بينوز الحقيقي: $A^\dagger = \sigma^{-1}((A^\sigma)^\dagger)$ . يوضح هذا التعريف كيفية التعامل مع المقسمات الصفرية ويضمن وجود المعكوس وفرادته.
تكرار نيوتن-شولز (Newton–Schulz Iteration): تحلل الورقة تكرار نيوتن-شولز لحساب المعكوس مورو-بينوز. تم تقديم تنفيذين:
- المدمج (Embedded): تطبيق تكرار نيوتن-شولز الحقيقي القياسي على الممثل الحقيقي $A^\sigma$ .
- الأصيل (Native): تكرار مباشر في حسابات الكواتيرنيون المنقسم ( $X_{k+1} = X_k(2I - AX_k)$ ).
  يثبت المؤلفون أن هذين التسلسلين متكافئان تماماً تحت التمثيل $\sigma$ .
تحليل التقارب: باستخدام تفكيك القيم المفردة (SVD) "النحيف" للممثل الحقيقي، يستنتج المؤلفون صيغاً دقيقة للتكرارات والبواقي. يثبتون أن التكرار يتقارب نحو المعكوس مورو-بينوز للمصفوفات ذات الرتب المختلفة (بما في ذلك الحالات ناقصة الرتبة) بشرط أن يحقق معامل القياس الأولي $\alpha$ الشرط $0 < \alpha < 2/\|A^\sigma\|_2^2$ . يوفر التحليل علاقات دقيقة بين الباقي والخطأ، مما يظهر تقارباً تربيعياً للباقي.
التهيئ متعدد الحدود (Polynomial Initialization): لتسريع التقارب، يقترح المؤلفون تهيئة متعدد حدود من درجة منخفضة مستوحاة من تكرار عكس سوريو (Souriau's inverse recursion). يتضمن ذلك ملاءمة متعدد حدود لعكس عامل جرام المعياري ( $A^\sigma (A^\sigma)^T$ أو $(A^\sigma)^T A^\sigma$ ) باستخدام نهج المربعات الصغرى (LS). تتضمن الطريقة اختبار قبول طيفي لضمان وقوع الباقي الأولي ضمن منطقة التقارب، مع توفير بديل آمن بالعودة إلى المنقول المقيّس في حال فشل الاختبار.

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

إطار عمل متسق: تُعرف الورقة المعكوس مورو-بينوز لمصفوفات الكواتيرنيون المنقسم عبر التمثيل الحقيقي والمرافق المنقول لـ $i$ ، مع إثبات الوجود والفرادة والخصائص الأساسية (بما في ذلك صيغة قياسية للمقسمات الصفرية).
نظرية التقارب: يتم تقديم تحليل تقارب كامل لتكرار نيوتن-شولز للمصفوفات المستطيلة والناقصة الرتبة. يستنتج المؤلفون تكرارات الخطأ الدقيقة وهويات الباقي-الخطأ، مما يزيل القيود المتعلقة بالرتبة الكاملة التي وجدت في التحليلات السابقة لكواتيرنيونات هاملتون.
تكافؤ التنفيذات: تثبت الورقة التكافؤ الدقيق بين تنفيذات نيوتن-شولز المدمجة (الحقيقية) والأصيلة (الكواتيرنيونية المنقسمة)، مما يبرر استخدام الحسابات الأصلية دون فقدان الضمانات النظرية.
تهيئ LS–Gram: تم تقديم تهيئة متعدد الحدود LS–Gram المبتكرة التي تتكيف مع الطيف المحدد لمصفوفة جرام. وقد ثبت أنها تقلل عدد التكرارات المطلوبة مقارنة بتهيئ المنقول المقيّس.
تقريب CUR: يوسع المؤلفون نظرية التقريب المتقاطع وتقريب CUR لتشمل مصفوفات الكواتيرنيون المنقسم. يثبتون أن $C^\dagger A R^\dagger$ هو العامل الأوسط الأمثل من حيث معيار فوروبنيوس للعوامل الصفوف والأعمدة المختارة. علاوة على ذلك، يضعون شرطاً كاشفاً للرتبة (rank-revealing condition) يؤدي بموجبه العامل المتقاطع الأرخص $W^\dagger$ (حيث $W$ هي مصفوفة التقاطع) إلى إعادة بناء دقيقة.

النتائج
أكدت التجارب العددية التي أجريت في MATLAB وPython النتائج النظرية:

الدقة: تحقق الطرق التكرارية دقة تضاهي الحساب المباشر القائم على SVD (أخطاء نسبية في حدود $10^{-11}$ إلى $10^{-14}$ ).
الكفاءة: بالنسبة للمصفوفات الكثيفة متوسطة الحجم، يعد تكرار نيوتن-شولز أسرع بكثير من حساب SVD المباشر (على سبيل المثال، أسرع بنحو 3.7 مرة لمصفوفة $200 \times 250$ ).
أداء التهيئة: قللت تهيئة LS–Gram متعددة الحدود من عدد تكرارات نيوتن-شولز باستمرار مقارنة بالمنقول المقيّس. في التجاريد التي وصلت فيها أعداد الحالة (condition numbers) إلى $10^4$ ، قللت طريقة LS–Gram عدد التكرارات بنسبة 20% تقرياً مقارنة بالمنقول المقيّس، وظلت منافسة لتهيئة كثير حدود تشيبيشيف (Chebyshev) التي تتطلب حدوداً طيفية دقيقة.
تقريب CUR: تؤكد التجارب أن التقريب المتقاطع باستخدام $W^\dagger$ يمكن أن يحقق إعادة بناء دقيقة للمصفوفات منخفضة الرتبة عندما يتحقق شرط كشف الرتبة، مع كون الحساب التكراري للمعكوس المركزي أسرع بكثير من الطرق المباشرة.

الأهمية والادعاءات
تدعي الورقة أنها تقدم أول إطار عمل متسق للمعكوس مورو-بينوز لمصفوفات الكواتيرنيون المنقسم يتعامل صراحة مع المقسمات الصفرية ونقص الرتبة من خلال التمثيل الحقيقي. ومن خلال نقل تحليل تكرارات نيوتن-شولز من المصفوفات الحقيقية إلى إطار الكواتيرنيون المنقسم، وضع المؤلفون ضمانات تقارب صارمة للمصفوفات ذات الرتب المختلفة. توفر تهيئة LS–Gram المقترحة تحسيناً عملياً لتهيئات البدء القياسية، مما يقلل التكلفة الحسابية دون الحاجة إلى معرفة مسبقة بالحدود الطيفية (خلافاً لطرق تشيبيشيف). أخيراً، يوفر تمديد نتائج تقريب CUR أساساً نظرياً للتقريبات منخفضة الرتبة في تطبيقات معالجة الإشارات والفيزياء الخاصة بالكواتيرنيون المنقسم، مع توصيف مثالية عوامل محددة وشروط إعادة البناء الدقيقة. يشير المؤلفون إلى أنه بينما تعد هذه الطرق فعالة، فإن المساهمة الرئيسية هي التوحيد النظري وتطوير حلول تكرارية قوية، مع اقتراح أعمال مستقبلية للمصفوفات المتفرقة (sparse matrices) ومعكوس درازين (Drazin inverse).

أبحاث مشابهة