1215 ورقة بحثية
تقدم هذه الورقة البحثية UCPDL+، وهي عائلة جديدة من المنطقات التي توحد منطق الديناميكيات القضايا، والاستعلامات الاقترانية، وامتداداً لمنطق الرتبة الأولى ذي النفي الأحادي، حيث تثبت تكافؤها، واكتمال قابليتها للإرضاء في فئة 2ExpTime، وقابلية التحقق من النموذج في زمن حدودي (PTime) للفئات الفرعية ذات عرض الشجرة الثابت.
تضع هذه الورقة أول معيار لعدم وجود خوارزمية في زمن حدودي (NP-hardness) لمشكلات تلوين الرسوم البيانية الموجهة اللانهائية، وذلك من خلال إثبات أن أي رسم بياني موجه سلس ذي طول جبري قدره 1 ولا يحتوي على حلقة كاذبة يمكنه بناء كل بنية منتهية، مما يرفع بنجاح نتائج التعقيد ذات النطاق المنتهي إلى سياق الفئة -categorical.
تُثبت هذه الورقة البحثية ثنائية التعقيد لمسائل تحقيق القيود فوق التوسعات من الرتبة الأولى للأنوية كاملة النموذج، محدودة النهاية، والمتجانسة، حيث تُثبت أنها إما قابلة للتعريف من الرتبة الأولى أو صعبة بمفهوم L تحت اختزالات الرتبة الأولى، مما يقدم النتيجة الأكثر عمومية حتى الآن نحو حدسية بوديرسكي-بينسكر.
تقدم هذه الورقة أعمال ورشة العمل السابعة حول نماذج التحليل الرسمي للأنظمة الحقيقية (MARS 2026)، التي عُقدت في تورينو، إيطاليا، والتي تهدف إلى سد الفجوة بين الصيغ النظرية والتطبيقات الواقعية من خلال إعطاء الأولوية للنمذجة التفصيلية للأنظمة المعقدة على نتائج التحقق لمشاركة الدروس القيمة التي غالباً ما تُغفل في الأبحاث القياسية.
تحدد هذه الورقة البديهية (S4) باعتبارها الشرط القاتل الأول لوجود المنتجات المتتالية على جبرات التأثير من نوع MV المحدودة، وذلك عبر إثبات أن مثل هذه العمليات توجد إذا وفقط إذا كان الجبر بولياً، بينما تقدم في الوقت ذات ذاته تصنيفاً كاملاً للعمليات ذات الرتب الأدنى عبر مصفوفات الأعداد الصحيحة غير السالبة وتعدد حصراً 34 حلاً لحالة بول (Boolean) ذات الرتبة الثانية.
تقترح هذه الورقة إطار عمل لتحليل ألعاب التخريب من خلال دمج المنظورات الزمنية والمعرفية عبر منطق الزمن البديل (ATL*) وامتداداته للتعليل بشأن استراتيجيات الفوز وعدم يقين اللاعب في الرسوم البيانية الديناميكية.
تقدم هذه الورقة صياغة رسمية في لغة Lean 4 لمبرهنة صلابة CHSH، حيث تثبت أن أي استراتيجية تحقق قيم CHSH قريبة من المثالية هي متماثلة محلياً مع استراتيجية الكيوبت النموذجية، بينما تحدد في الوقت ذاته فجوة في الإثبات الأصلي لـ McKague وYang وScarani.
تُثبت هذه الورقة أن التحقق الإحصائي من النماذج، وتحديداً باستخدام أداة Multi-VeStA، يوفر إطاراً منهجياً وقابلاً لإعادة الإنتاج للتحليل الرسمي لنموذج "جزيرة فاجيولو ودوسي"، حيث نجح في إعادة إنتاج الحقائق الاقتصادية الأسلوبية الرئيسية مع فترات الثقة، وكشف عن رؤى دقيقة حول معدلات الاستكشاف ومحلية المعرفة من خلال تحليل حساسية مضاد للواقع يتسم بالدقة.
تتناول هذه الورقة غموض مصطلح "الكسر" في الحساب الابتدائي من خلال تقديم تمييزات دقيقة مثل "الكسر اللفظي" (fracterm)، و"القيمة الكسرية" (fracvalue)، و"إشارة الكسر" (fracsign) لإعادة تصنيفه كفئة جماعية من المفاهيم بدلاً من كونه مفهوماً رياضياً واحداً، مع استكشاف تداعياته على تعريف النظم العددية والبنيوية أيضاً.
تحل هذه الورقة مشكلة مفتوحة قديمة في تعقيد الدوائر عبر إثبات حدود دنيا تحت أسية محكمة لحساب دالة "AND" البوليانية باستخدام دوائر نمطية متماثلة، مما يثبت أن الحجم الأمثل يتحقق عند العمق 2 ويمد هذه النتائج إلى الدوائر ذات التماثل الكتلي المتداخل.