مسافة الرسم البياني من كتلة طيفية مطَبَّعة

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

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

02بناء الحافة المطَبَّعة

لكل حافة غير موجّهة e={x,y} في رسم بياني منتهٍ ومتصل، نختار طولاً موجباً ℓ_e. ونمثل دالة الرؤوس f بالمصفوفة diag(f(x),f(y)) على تلك الحافة، ونضع D_e مساوياً للمصفوفة غير القطرية ذات العناصر 1/ℓ_e. ثم نأخذ المجموع المباشر على الحواف. يجعل هذا التطبيع المحدد بالمجموع المباشر معيار المبدِّل مساوياً لأكبر ميل حافة. ولا تملك مصفوفة تجاور عامة تلقائياً المعيار نفسه أو صيغة المسافة الدقيقة نفسها.

03تلاقي الحدين العلوي والسفلي

إذا كان L_D(f)≤1، فلا يتجاوز فرق القراءات على كل حافة طولها. وبالجمع على أي مسار، يُحَد |f(x)−f(y)| بطول ذلك المسار، ويعطي أخذ الحد الأدنى الحد العلوي لأقصر مسار. وللمتباينة العكسية نختار f_z(x)=dist_G(x,z). وتجعل متباينة المثلث هذه الدالة ليبشيتزية بثابت واحد على كل حافة، ويساوي فرقها بين x وz مسافة أقصر مسار. ولذلك يتحقق الحد العلوي بالضبط.

04مثال موزون بثلاثة رؤوس

لتكن الحافتان A–B وB–C بطولين اثنين وثلاثة. تكون مسافة A–C خمسة. وإذا أضيفت حافة مباشرة A–C بطول عشرة، بقي أقصر طريق خمسة؛ أما حافة مباشرة بطول أربعة فتغير المسافة إلى أربعة. وتتعدل دالة المسافة المحققة للقيمة العظمى تبعاً لذلك. ويغيّر ضرب جميع أطوال الحواف في a المؤثر D بعامل 1/a والمسافات بعامل a. وهذا يكشف حرية المعايرة: فالمبرهنة الدقيقة لا تحدد الوحدة الفيزيائية للحافة.

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

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

06المركبات المنفصلة تكشف افتراضاً آخر

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

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

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

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