انتقل إلى المحتوى

اشتقاق رياضي بالعربية

اشتقاق مفصّل: عشرة أنماط متناظرة ومطبّعة للمستقبِل

لأربع قنوات إدخال عشرة تراكيب زوجية متناظرة مستقلة. وتُظهر كتابة أساسها المطبّع هذا العدد وتفسيره بوصفه ذاكرة، وما يضيع منه عند الاكتفاء بالضرب المعتاد.

آخر تحديث: 7 دقيقة تقريبًا للقراءة

Read the full derivation in English →

الفكرة الأساسية

للمربع المتناظر لغلاف رباعي الأبعاد عشرة أنماط. أساس أزواجه المطبّع دقيق، بينما تبلغ رتبة الضرب الرباعي أربعة، ويمحو ستة اتجاهات مستقلة من ذاكرة الأزواج.

المدخلات: غلاف ذو عنصر محايد ومهمة احتفاظ

ليكن W موديول قراءة حقيقياً ثلاثي الأبعاد. نعيد قناة العنصر المحايد ونكوّن Vℝ=ℝ⊕W، بأساس متعامد ومطبّع e0,e1,e2,e3. لا تمثل مركبة العنصر المحايد اتجاهاً مكانياً رابعاً؛ فهي تنتمي إلى غلاف العمليات. ويعطي التوسيع إلى الحقل المركب V=ℂ⊗Vℝ، وهو ذو بُعد مركب يساوي أربعة.

المهمة المعلنة هي الاحتفاظ بكل تركيب ثنائي الخطية متناظر لمدخلين، من دون علاقات إضافية. وهذا ينتقي المربع المتناظر Q=Sym²V. للنسخة الحقيقية بُعد حقيقي يساوي عشرة؛ وللنسخة المركبة بُعد مركب يساوي عشرة وبُعد حقيقي يساوي عشرين. نعد الأنماط على حقل السكالر المعلن، بدلاً من الخلط بين إحداثيات السعة والأبعاد المكانية.

في نموذج الموناد المفرد وازدواجية الزمن (SMM/DTT)، يمثل هذا البناء واجهة ذاكرة مرشحة للمسارات المتولدة. وانتقاؤها الفيزيائي افتراض ينبغي بحثه، مستقل عن مبرهنة الجبر الخطي الآتية.

الخطوة 1: بناء الفضاء الجزئي المتناظر

نعرّف على V⊗V مؤثر المبادلة S(u⊗v)=v⊗u. وهو يحقق S²=I وS†=S. لذلك يحقق P+=(I+S)/2 العلاقة P+²=P+، وهو المسقط المتعامد على الموترات المتناظرة. ونكتب u⊙v=P+(u⊗v)=(u⊗v+v⊗u)/2.

يميز هذا البناء بين تطبيعين. فالجداء المتناظر u⊙v مناسب للصيغ الثنائية الخطية، لكن معياره لمتجهين مختلفين من أساس متعامد ومطبّع يساوي 1/√2، لا واحداً. لذلك يحتاج أساس المستقبِل المتعامد والمطبّع إلى عامل √2 في أزواجه المختلطة. ويحمي إبقاء هذا العامل حسابات الاستجابة أو الاحتمال اللاحقة من معاملة متجهات أساس مختلفة المعايير كأنها قنوات متكافئة.

Q=im P+,   P+=(I+S)/2

الخطوة 2: تعداد الأنماط العشرة جميعاً وتطبيعها

نستخدم saa=ea⊗ea للأزواج القطرية الأربعة. ولـ0≤a<b≤3 نستخدم sab=(ea⊗eb+eb⊗ea)/√2. الحدّان في كل نمط مختلط متعامدان، لذلك يساوي مربع معياره (1+1)/2=1. وتشغل الأزواج غير المرتبة المختلفة عناصر منفصلة من الأساس الموتري، فتكون متعامدة فيما بينها.

لكل موتر متناظر معاملان متساويان في الموضعين ab وba، ولذلك تولّد هذه المتجهات العشرة الفضاء Q. وتعطي المواضع القطرية الأربعة والأزواج الستة خارج القطر، وعددها binom(4,2)=6، النتيجة الآتية:

dim Q=4+6=10,   dim Sym²(ℂⁿ)=n(n+1)/2
تُظهر مصفوفة متناظرة من أربعة صفوف وأربعة أعمدة أربع تسميات قطرية مختلفة وست تسميات مختلفة خارج القطر، تتكرر كل منها على جانبيه. وتولّد مصفوفات الأساس القطرية الأربع والأزواج المتناظرة الستة المطبّعة فضاءً متجهياً حقيقياً ذا عشرة أبعاد.
عشرة أنماط متناظرة للمستقبِل. عدّ دقيق في الجبر الخطي: dim Sym²(ℝ⁴) يساوي عشرة. وتشير التسميات المتساوية خارج القطر إلى اتجاه أساس زوجي واحد؛ وليست عناصر مستقلة. ويظل اختيار هذا الفضاء مستقبِلاً فيزيائياً خطوة نمذجة مستقلة. تبقى تسميات الرسم بالإنجليزية، ويشرح هذا التعليق معناها بالعربية.
افتح الرسم بالحجم الكامل ←

يعرض الشكل أساس المصفوفات الحقيقية المتناظرة. وتعطي تسميات الأساس العشر نفسها، عند استخدام معاملات مركبة، المستقبِل المتناظر المركب المستخدم هنا.

الخطوة 3: التحقق صراحةً من زوج مطبّع

لنأخذ u=(e0+e1)/√2. موتر الزوج المحضّر u⊗u متناظر. ويعطي نشره في أساس المستقبِل المطبّع:

u⊗u=(1/2)s00+(1/√2)s01+(1/2)s11

مجموع مربعات مقادير المعاملات هو 1/4+1/2+1/4=1، مما يؤكد التطبيع. وإذا أُعطي قياس إسقاطي في ذلك الأساس، فإن الاحتمالات الثلاثة المعروضة هي بالتالي 1/4,1/2,1/4. أما إسناد معاملات متساوية لمجرد وجود ثلاث تسميات أزواج مكتوبة فيصف حالة مختلفة.

هذا حساب لمدخل زوجي محضّر سلفاً في V⊗V. وليس تعليمةً بإمكان نسخ حالة مجهولة فيزيائياً إلى نسختين مستقلتين. يحدد الجبر الثنائي الخطية بنية معلومات المستقبِل، بينما يحدد التحضير كيفية إتاحة هذه المعلومات.

الخطوة 4: إثبات خاصية الاحتفاظ الكلية

لتكن b:V×V→X أي خريطة مركبة ثنائية الخطية ومتناظرة. نعرّف خريطة خطية L:Q→X على الأساس المطبّع بالعلاقتين L(saa)=b(ea,ea) وL(sab)=√2 b(ea,eb) عندما a<b. وبنشر u وv اعتباطيين نجد L(u⊙v)=b(u,v). ويعوّض العامل √2 تطبيع الأزواج المختلطة تماماً.

هذه الخريطة وحيدة لأن الموترات u⊙v تولّد Q. لذلك يمر كل اختبار ثنائي الخطية متناظر عبر هذا المستقبِل. وإذا كان لانضغاط خطي متجه غير صفري في نواته، فهناك دالية خطية واحدة على الأقل على Q تميز هذا المتجه من الصفر. وبتركيب تلك الدالية مع u⊙v نحصل على اختبار ثنائي الخطية متناظر يضيع بفعل الانضغاط.

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

الخطوة 5: حساب ما يسقطه الضرب الرباعي

نطابق الغلاف الحقيقي مع ℍ، فنضع e0=1 ونجعل عناصر الأساس الأخرى وحدات رباعية تخيلية. نعرّف m(u⊙v)=(uv+vu)/2، ونمدد الخريطة خطياً على الحقل المركب إذا استُخدم V. وبما أن m(1⊙x)=x، فإن الخريطة شاملة للغلاف الرباعي الأبعاد، ورتبتها أربعة.

يمكن كتابة نواتها صراحةً. عندما 1≤i<j≤3 يعطي تضادّ التبادل m(sij)=0. ولكل i=1,2,3 تعطي العلاقة ei²=−1 النتيجة m(sii+s00)=0. والمتجهات المختلطة الثلاثة والتراكيب القطرية الثلاثة مستقلة خطياً: فمواضع المتجهات المختلطة مختلفة، ولكل تركيب قطري معامله الخاص لـsii.

rank m=4,   dim ker m=10−4=6

تستنفد هذه المتجهات الستة النواة بمبرهنة الرتبة وبُعد النواة. وتحقق أزواج العنصر المحايد المختلطة والمطبّعة m(s0i)=√2 ei، وهو تحقق مباشر من عوامل الأساس المختارة.

الخطوة 6: تفسير المسار المحفوظ من دون افتراض الاستنساخ

المصدر الذي يخزن حاصل الضرب الرباعي المتراكم وحده يكون قد محا تلك الفروق الزوجية الستة. ولإثبات امتلاكه مستقبِلاً ذا عشرة أنماط، يجب أن يحفظها في سجل آخر أو في ترميز بديل أمين. وهذا يحدد التزاماً صريحاً بشأن الذاكرة في تفسير SMM/DTT للتوليد المعتمد على المسار.

بالنسبة إلى التسميات المتعامدة، يستطيع تفاعل وحدوي ربط نظام بسجل جديد وفق |j⟩|0⟩→|j⟩|j⟩. وعندما يعمل على تراكب، فإنه ينشئ حالة مشتركة مترابطة، لا نسختين مستقلتين. ولا يمكن إسناد تسميات قابلة للتمييز التام إلى مدخلات غير متعامدة من دون إزعاجها. لذلك يجب أن يحدد نموذج اكتمال فيزيائي تحضير الأزواج، والتماسك المحفوظ، وسعة السجل، وأداة القراءة.

تنظم الأدوار الداخلية الستة عمليات مترابطة بالاعتماد تستطيع بناء هذه الذاكرة واستخدامها. وهي ليست أنماط المستقبِل العشرة ولا ست ساعات مستقلة؛ أما دور الاكتمال السابع فيشهد بإتاحة السجل المطلوب.

النتيجة والجسر إلى العدد البنيوي

أصبح للأنماط العشرة الآن أساس صريح متعامد ومطبّع، ومهمة كلية، ومقارنة دقيقة مع مستقبِل أصغر يكتفي بالضرب. يحفظ تغيير الأساس بُعدها، بينما قد تقلله علاقة فيزيائية إضافية. ولذلك يصف العدد عشرة هذه الذاكرة المتناظرة الحرة، ولا يصف تدويناً عددياً مفضلاً.

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

نطاق الاشتقاقحسابات دقيقة للمربع المتناظر المطبّع وللنواة ضمن مهمة الاحتفاظ الحر المعلنة. ويظل التحضير الفيزيائي والضرورة وتطبيع الاستجابة متطلبات مستقلة.

مقالات ذات صلة بالإنجليزية

  • From three-dimensional readout to retained records

    A quaternionic readout, ten-mode pair memory, and a selected stopping grammar produce 137 distinguishable records. The construction makes its retention assumptions explicit and leaves physical coupling as a separate problem.

  • Retained observations versus predictive states

    A readable record need not contain enough information to predict its next update. An exact leakage criterion identifies when a linear completion is autonomous and measures the error when hidden information returns.

  • Why quaternions appear in the reconstruction

    Positive multiplicative norm, finite dimension, associativity, and two noncommuting circular phases select a quaternionic carrier. The algebraic conclusion is rigorous within those hypotheses, whose physical selection remains open.

  • The center-blind route to three dimensions

    Removing the scalar center of a quaternionic carrier leaves a three-dimensional readout space. Accessible rotations or a suitable finite acquisition protocol are needed to ensure that detectors actually recover all three directions.

  • Why the symmetric receiver has ten modes

    The symmetric square of a four-component envelope contains four diagonal and six off-diagonal pair modes. Retaining all ten requires genuine pair memory, beyond the information in a quaternionic product.

  • Alternating branches and the ranks one, three, seven

    Positive-degree exterior combinations give branch ranks 1, 3, and 7. Combining them with ten-mode continuation memory yields 137 records under a free-retention rule whose losses can be calculated explicitly.