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

A158 · الطور والجبر

منظِّم منتهٍ للتجارب الطيفية

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

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

01واجهة إعادة البناء الزمني

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

02طيف منتهٍ قابل لإعادة الحساب

نختار الصندوق الصحيح B_M={−M,…,M}³ والقيم الذاتية ±|n| بتعددية اثنين في العد المطلق. ودالة العد المنتهية هي N_M(Λ)=2#{n∈B_M:|n|≤Λ}. أما الأثر الحراري فهو H_M(σ)=2Σ_ne^(−σ|n|²). ويمكن حسابهما بالعد المباشر دون ملاءمة صيغة للاستمرار أولاً. ويجب بيان المنظِّم M لأن كل طيف منتهٍ يصل في النهاية إلى التشبع.

N_M(Λ)=2#{n∈B_M:|n|≤Λ}
H_M(σ)=2Σ_(n∈B_M)e^(−σ|n|²)
مثلث أوزان أضلاعه اثنان وثلاثة وسبعة. يصل المسار الأقصر المميز بين a وc مروراً بـb، ويبلغ طوله الكلي خمسة.
الشكل 1. كتلة طيفية مطَبَّعة تستعيد مسافة المسار. بالنسبة إلى الكتلة الطيفية المطَبَّعة المحددة، تساوي المسافة طول أقصر مسار موزون. هنا يبلغ طول المسار التوضيحي a–b–c المقدار 2+3 = 5، وهو أقصر من الضلع المباشر الذي طوله 7. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

03حساب بُعد حراري محلي

نشتق المجموع المنتهي بدقة للحصول على d_M(σ)=2σ[Σ|n|²e^(−σ|n|²)]/[Σe^(−σ|n|²)]. عندما تكون σ صغيرة جداً، تساهم جميع الأنماط المنتهية بأوزان شبه متساوية، ويتجه d_M إلى الصفر. وعندما تكون σ كبيرة جداً يهيمن النمط الصفري، فيعود الميل إلى الصفر. ولا يمكن ظهور هضبة قرب ثلاثة إلا في نافذة متوسطة لا يهيمن فيها القطع ولا تشبع الحجم المنتهي. ويكون ثباتها مع زيادة M أكثر إفادة من رسم جذاب واحد.

d_M(σ)=2σ Σ|n|²e^(−σ|n|²)/Σe^(−σ|n|²)

04التحقق اليدوي من الأعداد الأولى

عند Λ=1، تكون النقاط الصحيحة المسموح بها نقطة الأصل والجيران الستة على المحاور بمقدار وحدة: سبع نقاط، أو أربع عشرة مع التعددية اثنين. وعند Λ=2 توجد ثلاث وثلاثون نقطة، فتعطي ستاً وستين. تفيد هذه الحالات الصغيرة في اختبار التنفيذ. كما تبين أن العد المنتهي الدرجي لا يتناسب تماماً مع Λ³ عند كل نصف قطر. وتتطلب ملاءمة تقاربية ذات معنى مجالاً يحوي قشوراً كثيرة ويبقى دون حدود المنظِّم.

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

05إضافة تجربة مستقلة للمسافة

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

06صيغة المشتقة تتجنب الآثار العددية المصطنعة

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

07ثلاثة اختبارات ذات وظائف مختلفة

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

يصبح تطبيع المؤثر معطى فيزيائياً حين يُستخدم البناء الطيفي في القياس. فاستبدال D بـaD يضرب قيمه الذاتية في a، لكنه يقسم مسافات كون الخاصة به على |a|. وقد يبقى أس العد ثابتاً بينما تتغير جميع الأطوال المعايرة. كذلك تغير تعددية منتهية ومحدودة المعامل الرئيس للعد دون أن تغير أسه. لذلك ينبغي للتفسير الزمني المقترح للهندسة أن يصرح بالنتائج البنيوية اللابعدية وبالمعايرات ذات الأبعاد معاً. واتفاق الأس مع العدد ثلاثة مفيد، لكنه لا يحدد بمفرده مسطرة أو ساعة أو التحويل بينهما.

تابع الصلة

أفكار أساسية

  • للأبعاد الحرارية المنتهية أنظمة قطع وتشبع.
  • توفر الأعداد الصغيرة الدقيقة اختبارات مفيدة للتنفيذ.
  • ينبغي حساب المسافة بصورة مستقلة على مجموعة السجلات نفسها.

نطاق الحجة. اختبار مرجعي منتهٍ لنموذج طيفي معطى؛ وليست الهضاب العددية براهين على نشوء الاستمرار.

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

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

  1. dual_temporal_spectral_triples_v3.pdf — مسودة عملص. 15–16، §§8–9