💻 Category

cs.LO

1215 ورقة بحثية

🔢 mathematics

Jump Closure and Limit Uniformization in the Ideal Completion of the Turing Degrees

تؤسس هذه الورقة دلالات نظرية مجال (domain-theoretic semantics) لتسلسلات قفزات تورينج الممتدة عبر الأعداد الأصلية (transfinite Turing-jump hierarchies) من خلال إثبات أنه بينما يصل إغلاق القفزة المستمر وفق مفهوم سكوت (Scott-continuous jump closure) إلى المثاليّات الثابتة عند الأعداد الأصلية الحدية مثل ω\omega، فإن إدخال مؤثر توحيد حدي غير مستمر (non-continuous limit-uniformization operator) يصبح ضرورياً لإلحاق الحدود الموحدة للتسلسلات الهرمية السابقة، مما يعيد فتح باب التقطيع (diagonalization) ويمدد أعداد الإغلاق إلى ω2\omega^2.

Miara Sung2026-08-27
💻 computer science

Locality in Residuated-Lattice Structures

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

James Carr2026-08-26
💻 computer science

Resource-Aware Quantum Programming with General Recursion and Quantum Control

تقدم هذه الورقة لغة Hyrql\mathtt{Hyrql}، وهي لغة برمجة كمومية هجينة ذات عودية عامة تتيح تحليلاً عاماً للموارد من خلال ربط وقت تشغيل البرنامج بحجم الدائرة الكمومية، مما يسمح لتقنيات الإنهاء الكلاسيكية بالتحقق من القابلية للحوسبة في زمن كمومي حدودي.

Kostia Chardonnet, Emmanuel Hainry, Romain Péchoux, Thomas Vinet2026-08-26
💻 computer science

When Types Intersect and Effects Get Handled

تقدم هذه الورقة نظام نوع تقاطع مبتكر لحساب لامدا (λ-calculus) مع التأثيرات الجبرية والمعالجات، والذي يميز المصطلحات التي تنتهي عبر الاختزال والتوسع، بينما يستنتج أيضاً نظام نوع بسيط آمن وقابل للتقرير يحسن من النهج المتبع في الأنظمة الحالية مثل HEPCF.

Stefano Catozi, Ugo Dal Lago, Taro Sekiyama2026-08-26
🔢 mathematics

Effective quasi-Polish categories of overt discrete spaces and compact Hausdorff spaces

تُنشئ هذه الورقة فئات الفضاءات شبه البوليشية (quasi-Polish) المنفصلة الظاهرة والهاوسدورف المتراصة كفئات داخلية ضمن الإطار شبه البوليشي الفعال، وتُثبت الطبيعية الحسابية لهذه البناءات من خلال إثبات أن ثنائية ستون (Stone duality) هي عملية قابلة للحوسبة.

Matthew de Brecht2026-08-26
💻 computer science

A Non-CDCL SAT Solver with Early Conflict Detection: The Watched-Literal-Based CSFLOC Solver

تقدم هذه الورقة CSFLOC-WL، وهو برنامج حل مشكلات التناقض المنطقي (SAT solver) غير قائم على خوارزمية CDCL، يعمل على تسريع نهج عدّ البنود كامل الطول الموجه بالعداد الأصلي من خلال دمج انتشار البادئة للرموز المراقبة والكشف المبكر عن التعارض لتحديد قفزات العداد بكفاءة، مما يظهر أداءً تنافسيًا على نماذج 3-SAT العشوائية رغم افتقاره إلى آليات التخزين المؤقت الناضجة التي تميز سلفه.

Gábor Kusper (Eszterházy Károly Catholic University)2026-08-26
💻 computer science

Pushdown Model Checking Above the Cubic Bottleneck

تستخدم هذه الورقة نظرية التعقيد دقيقة التفاصيل لتفسير عدم وجود خوارزميات أسرع للتحقق من نماذج الـ pushdown، وذلك من خلال إثبات أن التعقيد الزمني الحالي للمسألة، وهو من الدرجة التكعيبية (وما فوقها)، يُرجح أن يكون أمثلًا في ظل فرضيات الصعوبة القياسية مثل 3k-Clique وفرضية 2NPDA(k) المصاغة حديثًا.

A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar2026-08-26