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

A124 · الهندسة والنسبية

الكلفة المعلوماتية لتحضير المحلية

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

5 دقائق تقريبًا للقراءةاقرأ المقال المقابل بالإنجليزية EN

01سؤال نموذج الجوهر الفرد ونظرية ازدواجية الزمن وراء البناء

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

02من حدث نادر إلى متطلب معلوماتي

لتكن σ الحالة المرجعية للذاكرة، وA حدث امتلاكها الخاصية الهندسية المنتقاة. واحتماله المرجعي p. ينتج تحضير حالة أخرى ρ يكون فيها احتمال الحدث نفسه q. وتقيس الإنتروبيا النسبية D(ρ∥σ) تميز التحضير من المرجع. وتشمل المعلومات الإحصائية المرجِّحة للهندسة، وليست تلقائيًا مقدار طاقة أو عدد نبضات مصدر. ويجب اختبار الحدث بالطريقة نفسها في الحالتين لتكون المقارنة ذات معنى.

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

03الاشتقاق بالقياس الثنائي

نقيس فقط هل وقع A. ينص مبدأ معالجة البيانات على أن حذف كل المعلومات الأخرى لا يزيد الإنتروبيا النسبية. ويعطي التوزيعان الثنائيان الناتجان حدًا سفليًا. ويترك توسيع التباعد الثنائي حدًا q log(1/p) ناقص الإنتروبيا الثنائية h₂(q) مع مساهمة إضافية غير سالبة. فإذا كان احتمال الهندسة المرجعي صغيرًا أسيًا في N log N، تطلب تحضير إشغال هندسي من رتبة الواحد إنتروبيا نسبية من الرتبة نفسها.

D(ρ∥σ) ≥ q log(q/p) + (1−q) log[(1−q)/(1−p)]
D(ρ∥σ) ≥ q log(1/p) − h₂(q)
p ≤ e^(−I_N) ⇒ D(ρ∥σ) ≥ q I_N − log 2

04ميزانية معلومات محلولة

لنفترض أن مرجعًا مبسطًا يعطي p=e^(−1000) وأن التحضير المقصود ينجح باحتمال q=0.9. الحد السفلي البسيط 900−log 2، أي نحو 899.31 نات. وتعبر القسمة على log 2 عنه بنحو 1297.4 بت من قابلية التمييز. توضح الأعداد الحد ولا تقدر محتوى الكون المعلوماتي. وقد يحمل متحكم وأنظمة مساعدة جديدة وعلامة نجاح محفوظة جزءًا من المورد. وقد يجعل حذفها من وصف الحالة بروتوكولًا مكلفًا يبدو مجانيًا خطأ.

05متى تتحول المعلومات إلى لغة الشغل

لمرجع حراري محدد σ متناسب مع exp(−H/k_BT)، تكون زيادة الطاقة الحرة k_BT D(ρ∥σ). ولا يكتسب الحد المعلوماتي تفسيرًا طاقيًا إلا بعد توفير الهاملتوني ودرجة الحرارة ونموذج الخزان. وتظل عبارة الشغل الأدنى الفعلية بحاجة إلى بروتوكول تحضير وقيوده الإجرائية. ويفيد التمييز نظرية ازدواجية الزمن خصوصًا: فالزمن التوليدي وسعة الذاكرة والشغل الديناميكي الحراري والزمن المنقضي المرصود كميات مختلفة. واشتقاق علاقات بينها مضمون فيزيائي جديد؛ أما إعادة تسمية إحداها بالأخرى فلا تفسر تحضير المكان.

06الحالة المرجعية جزء من العبارة

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

07ما الذي يستكمل التفسير الفيزيائي

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

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

احتفظ بالصلة

أفكار أساسية

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

نطاق الحجة. ضرورة من نظرية المعلومات؛ ولا تُثبت الكفاية أو الحد الأدنى للشغل الفيزيائي.

المصادر والقراءة

تستند هذه النسخة العربية إلى المقال الإنجليزي المقابل. تُحفظ هوية الأعمال والمراجع ودرجة الاستدلال الواردة في المصدر.

  1. temporal_locality_v8(1).pdf — مسودة عملص. 10–12، المبرهنة 6.3 والقضيتان 6.4–6.5