اشتقاق مفصّل: تتابع الرتب المكانية في القراءة المزدوجة

المدخلات: تحديث واحد وست خانات وقراءة

اختر أساساً صحيحاً q≥2، ومقياس طول موجباً ℓ، وثلاثة متجهات مستقلة خطياً e₁ وe₂ وe₃. ليكن للعنوان الداخلي ست خانات d_a∈{0,…,q−1}، مع كون الخانة الأولى هي الأدنى منزلة. يُعطى العنوان والتحديث الأولي بالعلاقتين:

عرّف قراءة مرشحة للإحداثيات المكتملة بالعلاقة Q(d)=ℓ[(d₁−d₂)e₁+(d₃−d₄)e₂+(d₅−d₆)e₃]. إطار الاتجاهات والطول والاقتران بيانات معلنة للواجهة. تتعلق المبرهنة بصورة هذه الخريطة؛ وهي لا تشتق الإطار من مصدر عديم البنية. وصلتها بنموذج الموناد المفرد وازدواجية الزمن أن عنواناً متطوراً واحداً يستطيع تنظيم عدة أدوار داخلية يعتمد بعضها على بعض، دون إدخال ساعات يمكن ضبطها باستقلال.

الخطوة ١: تحديد بنية الحمل المتداخلة

تتغير الخانة d₁ عند كل تحديث. وتتغير الخانة d₂ عند اكتمال دورة للخانة الأولى من q خطوات. وعموماً، تتغير d_a بعد مجموعات من q^a−1 تقدمات أولية. وتعود أول a خانات معاً إلى حالتها بعد q^a تقدمات.

عرّف السابقة ذات a مراحل بأنها العناوين 0≤n<q^a، ابتداءً من العنوان الذي جميع خاناته صفر. تتغير أول a خانات بالضبط بحرية بين قيمها q، بينما تبقى كل الخانات الأعلى صفراً. ينتج ذلك مباشرة من فرادة التمثيل بالأساس q. تحتوي السابقة q^a حالات داخلية. تشمل المراحل الأعلى كل تشكيل من المرحلة الأدنى، إضافة إلى تراكيب أخرى؛ لذلك تكون مراتب اعتمادها متداخلة لا متوازية.

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

الخطوة ٢: إثبات الحدين العلوي والسفلي لرتبة السابقة

اكتب القراءة كمصفوفة أعمدتها ℓe₁، و−ℓe₁، وℓe₂، و−ℓe₂، وℓe₃، و−ℓe₃. عندما تتغير أول a خانات فقط، تقع كل المخرجات في الامتداد الخطي لأول a أعمدة. يحتوي ذلك الامتداد على ceiling(a/2) اتجاهات من الإطار على الأكثر، مما يعطي الحد العلوي.

لإثبات الحد المعاكس، تحتوي السابقة العنوان الصفري والعناوين التي تساوي فيها خانة واحدة القيمة واحداً في كل موضع فردي متاح. مخرجاتها هي ℓe₁، ثم ℓe₂، ثم ℓe₃ مع إتاحة تلك المواضع. وهي مستقلة لأن الإطار مستقل وℓ>0. وبما أن الصفر ينتمي إلى الصورة، فإن امتدادها الأفيني يساوي امتدادها الخطي. تشير كلمة prefix في الصيغة إلى السابقة، وceiling إلى التقريب إلى أصغر عدد صحيح أكبر من القيمة أو مساوٍ لها.

الخطوة ٣: عدّ المواضع إلى جانب الاتجاهات

لكل زوج مكتمل، يأخذ الفرق d_2b−1−d_2b كل عدد صحيح من −(q−1) إلى q−1. وتعطي ثلاثيات الإحداثيات المختلفة مخرجات مختلفة لأن الإطار مستقل. لذلك تكون للسابقة التي تنتهي بعد m أزواج مكتملة (2q−1)^m مواضع، مع أنها تحتوي q^2m عنواناً.

إذا فتحت خانة إضافية غير مقترنة الاتجاه التالي، أخذ ذلك الإحداثي q قيماً من صفر إلى q−1. عندئذ يكون عدد عناصر الصورة q(2q−1)^m. تميز هذه الصيغ عدد الحالات وعدد المواضع المعروضة والرتبة الأفينية. تعني prefix السابقة في الصيغ التالية.

عندما q=3، تكون أعداد المواضع المتتابعة 3 و5 و15 و25 و75 و125، بينما يكون العدد النهائي للعناوين 729. تبقى الرتبة ثلاثة. تؤدي زيادة الأساس إلى تغيير الاستبانة والتعدد، دون إضافة اتجاه مستقل آخر.

الخطوة ٤: إثبات الحد المقيد لست قنوات

تأمل الآن قراءة خطية أعم C من m إحداثيات لقنوات أولية إلى فضاء متجهات مكاني. افترض أن تحويلاً ذاتي العكس P يبادل شركاء القنوات المتقابلة، وأن القراءة فردية: CP=−C. حلّل متجه القنوات إلى x₊=(x+Px)/2 وx₋=(x−Px)/2. تحقق المركبة الزوجية Cx₊=0، ولذلك يأتي كل خرج من الفضاء الذاتي الفردي.

إذا كان لـP عدد p من الأزواج المتبادلة وعدد f من القنوات الثابتة، كان m=2p+f. يسهم كل زوج بفرق فردي مستقل واحد، ولا تسهم القنوات الثابتة بأي فرق فردي. لذلك dim ker(P+I)=p وrank C≤p. يتطلب خرج رتبته ثلاثة أن يكون p≥3، ومن ثم m≥6.

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

ما الذي يتغير عند تغيير افتراضات القنوات؟

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

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

الاكتمال الخارجي والذاكرة التنبؤية

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

لا تكفي الصورة المكانية أيضاً لتوقع كل حالة تالية في التحديث الأولي. للعنوانين صفر وq²−1 القراءة الصفرية نفسها، لكن خرجيهما التاليين هما ℓe₁ وℓe₂. لذلك يستحيل عند ذلك الحد تعريف تحديث مرصود وحيد على المواضع وحدها. يجب أن تحتفظ الحالة المكتملة بمعلومات الحمل الناقصة، أو تستخدم حداً مختلفاً، أو تقبل الاعتماد على التاريخ. كذلك لا يمكن مطابقة قفزات العداد الداخلية بحركة الجسيمات دون قانون محلي للتأثير.

النتيجة وما يلزم إثباته على مستوى المصدر

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

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

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

• Six inner stages and one publication interface

  A six-digit nested counter with paired signed readout realizes ranks 1, 1, 2, 2, 3, 3 before one completion interface. Its exact counts reveal sampling bias and the restricted assumptions behind the six-channel bound.

• Generating a neighborhood and preserving local transport

  A generated graph predicts local influence only when later operations respect its edges and retained ports. Guarded transport supplies a finite-update support bound while exposing runtime and controller-memory requirements.

• What spatial readout forgets

  Different inner states can share one spatial readout and still have different successors. A concrete counterexample and a kernel-preservation criterion identify the memory needed for autonomous completed evolution.

• Why a bare source does not imply spacetime

  A structureless source cannot select a nonzero metric, an oriented vector or a proper causal cone while preserving every change of representation. Recurrence, composition and observable readout supply the additional structure needed for an SMM/DTT reconstruction.