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

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

لماذا لا يحدد البُعد الطيفي المسافة

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

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

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

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

02المسافة تختبر المبدِّلات، لا القيم الذاتية وحدها

بالنسبة إلى حالتين φ وψ، مسافة كون هي أكبر فرق ممكن بين قراءتيهما لكمية ذاتية المرافق قابلة للرصد a، مع بقاء معيار المبدِّل ||[D,a]|| غير متجاوز للواحد. ويؤدي قيد المعيار دور حد على المشتقة. ويصف أس عد القيم الذاتية عدد الأنماط الموجودة، لكنه لا يضمن أن يضبط هذا الحد تغير القراءات بين الحالات المحددة التي نرغب في اعتبارها مواضع.

d_D(φ,ψ)=sup{|φ(a)−ψ(a)|: a=a*, ||[D,a]||≤1}
مثلث أوزان أضلاعه اثنان وثلاثة وسبعة. يصل المسار الأقصر المميز بين a وc مروراً بـb، ويبلغ طوله الكلي خمسة.
الشكل 1. كتلة طيفية مطَبَّعة تستعيد مسافة المسار. بالنسبة إلى الكتلة الطيفية المطَبَّعة المحددة، تساوي المسافة طول أقصر مسار موزون. هنا يبلغ طول المسار التوضيحي a–b–c المقدار 2+3 = 5، وهو أقصر من الضلع المباشر الذي طوله 7. عرض بالحجم الكامل ↗ الرسم بالعربيةالرسم بالإنجليزيةعرض النسختين والمقالات المرتبطة

03المثال المضاد القطري

ليعتمد D على مؤثرات العدد N_a وحدها، ولنقصر النظر على الكميات القطرية القابلة للرصد f(N). إنها تبادل D. نختار وسمين مختلفين n وm، ودالة f تحقق f(n)≠f(m). يترك ضرب f في أي ثابت موجب المبدِّل صفراً، لكنه يجعل فرق القراءتين كبيراً كيفما نشاء. لذلك تكون المسافة بين حالتي التقييم الموضعي المقابلتين غير منتهية. ومع ذلك قد يظل للمؤثر D نفسه نمو تكعيبي في عد القيم الذاتية.

[D_in,f(N)]=0
n≠m ⇒ d_D(δ_n,δ_m)=∞

04حساب على موضعين

على موضعين نأخذ D=diag(0,1) وf=diag(a,b). يزول مبدِّلهما لكل a,b. ويعطي اختيار a=R وb=0 فرق حالات مقداره R دون كلفة تفاضلية، ويمكن أن يكبر R بلا حد. نستبدل D بكتلة غير قطرية عناصرها 1/ℓ. يصبح معيار المبدِّل |a−b|/ℓ، فيقيد شرط الواحد المسافة بـℓ. وتعزل هذه المقارنة العنصر الذي كان ينقص نمو القيم الذاتية وحده: اقتران مقارنة بين الموضعين.

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

05النتيجة لإعادة البناء في نموذج الجوهر الفرد ونظرية ازدواجية الزمن

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

06يجب التصريح بالحالات المطلوب فصلها

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

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

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

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

تابع الصلة

أفكار أساسية

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

نطاق الحجة. مثال مضاد دقيق لقطاع الكميات القطرية القابلة للرصد المحدد؛ ولا يبطل جميع المقاربات الطيفية للهندسة.

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

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

  1. dual_temporal_spectral_triples_v3.pdf — مسودة عملص. 14–16، §8، القضية 8.1 والمبرهنة 8.2