💻 logic

Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound

تغلق هذه الورقة فجوة تحقق حرجة في حد كوشين-سبيكر الأدنى من خلال تقديم شهادات شجرة-حالة عقلانية دقيقة وفاحصين مستقلين (أحدهما بلغة بايثون والآخر مثبت رسميًا بلغة Lean 4) للتحقق آليًا من عدم القابلية للاندماج الهندسي لجميع الرسوم البيانية الـ 180 المتميزة في قاعدة بيانات الحجب المنشورة، مما يستبدل قرارات Z3 غير المتحقق منها بنظريات مدققة عبر النواة، بينما يكشف في الوقت نفسه عن عدة عيوب وتناقضات خفية في مسار الإثبات الأصلي ويعالجها.

Shayaan Siddique, Ibrahim Mian2026-07-29
⚛️ quantum physics

Can thermal quantum Gibbs states approve as quantum equilibrium states?

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

Ali Soltanmanesh2026-07-28
⚛️ quantum physics

Generalized Ellis-Bronnikov graphene wormhole

تتقصى هذه الورقة معادلة شرودنجر المستقرة عديمة السبين لإلكترون مرتبط بسطح يشبه ثقب إيليس-برونيكوفوف (Ellis-Bronnikov) المعمم في الغرافين، حيث تُحلل كيف يؤثر المعامل nn المتحكم في الهندسة والزخم الزاوي المداري على الجهد الهندسي الناتج، والحالات المقيدة، وكثافة الاحتمالية.

T. F. de Souza, A. C. A. Ramos, R. N. Costa Filho, J. Furtado2026-07-28
🔢 mathematics

Learning and simulating bosonic systems via finite-energy locality

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

Tim Möbus, Andreas Bluhm, Matthias C. Caro, Albert H. Werner, Cambyse Rouzé2026-07-28
⚛️ quantum physics

Linear gate bounds against natural functions for position-verification

تضع هذه الورقة حداً أدنى خطياً لتعقيد البوابات والقياسات الكمومية المطلوبة لتنفيذ وظائف كلاسيكية محددة في مخططات التحقق من الموقع مثل ff-routing وff-BB84، مما يثبت أن هذه البروتوكولات آمنة ضد الخصوم ذوي الموارد الكمومية دون الخطية بينما تظل مجدية للمُثبتين الشرفاء بموارد كلاسيكية خطية وموارد كمومية ثابتة.

Vahid Asadi, Richard Cleve, Eric Culf, Alex May2026-07-28
⚛️ quantum physics

Quantum correlated steady states under competing collective and individual decay

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

Nikita Leppenen, Ephraim Shahmoon2026-07-28
⚛️ quantum physics

Promise of Graph Sparsification and Decomposition for Noise Reduction in QAOA: Analysis for Trapped-Ion Compilations

تقدم هذه الورقة مخططات تجميع تقريبي فعالة ومثبتة تعتمد على التخفيف والتحلل الرسومي، والتي تقلل بشكل كبير من تعقيد الدوائر والضجيج لخوارزمية التحسين التقريبي الكمي (QAOA) على أجهزة الأيونات المحاصرة، مما يحسن عدد النبضات من التدرج التربيعي إلى التدرج القريب من الخطي مع الحفاظ على جودة حل عالية لمسألة الحد الأقصى للقطع (Max-Cut).

Jai Moondra, Philip C. Lotshaw, Greg Mohler, Swati Gupta2026-07-28
🤖 AI

Quantum Hamiltonian Embedding of Images for Data Reuploading Classifiers

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

Peiyong Wang, Casey R. Myers, Lloyd C. L. Hollenberg, Udaya Parampalli2026-07-28
⚛️ quantum physics

Reed-Muller Codes on CQ Channels via a New Correlation Bound for Quantum Observables

تثبت هذه الورقة أن أكواد ريد-مولر تحقق سعة هوليفو على القنوات الكلاسيكية-الكمية ذات المدخلات الثنائية المتماثلة من خلال اشتقاق حد ارتباط جديد للملاحظات الكمية، مما يثبت أن أي مجموعة محددة من 2o(logN)2^{o(\sqrt{\log N})} بت يمكن فك تشفيرها بالتتابع مع احتمال خطأ متلاشٍ عندما يكون معدل الكود أقل من السعة.

Avijit Mandal, Henry D. Pfister2026-07-28
⚛️ quantum physics

Stabilizer Ranks, Barnes Wall Lattices and Magic Monotones

تُنشئ هذه الورقة صلة بين شبكات بارنز-والل (Barnes Wall lattices) ورتب المثبتات (stabilizer ranks) لاستخلاص حدود دنيا كمية جديدة على دقة المثبت (stabilizer fidelity)، وتقديم معيار بارنز-وال كمعيار رتيب سحري (magic monotone)، وتوفير خوارزميات لتضخيم الدقة والتركيب عبر الضرب التنسوري، إلى جانب برهان أولي لوجود حالات ضرب ذات رتب مثبتات قصوى.

Amolak Ratan Kalra, Pulkit Sinha2026-07-28