🔢 mathematics

Physics Matters in PnP: Recovery Guarantees with the MMSE and NN Denoisers

تضع هذه الورقة ضمانات استرداد لطريقة التقسيم الأمامي-الخلفي (forward-backward-splitting) من نوع "القابس والتشغيل" (Plug-and-Play) باستخدام تقدير متوسط مربعات الخطأ الأدنى (MMSE) ومزيلات ضجيج تعتمد على الشبكات العصبية المصممة خصيصاً للضجيج الغاوسي المتدهور، مما يثبت أن مزيل الضجيج يجب أن يكون مقترناً صراحةً بالنموذج الفيزيائي الأمامي بدلاً من اختياره بشكل مستقل.

Tobias Wolf, Jalal Fadili, Jin Guo, Roy Y. He2026-08-03
🔢 mathematics

Lean-verified lower bounds for the Shannon capacity of odd cycles

تقدم هذه الورقة حدوداً دنيا جديدة، مصاغة بالكامل في لغة Lean، لسعات شانون لعدة دورات فردية صغيرة (C7,C11,C13,C15,C19,C21,C23C_7, C_{11}, C_{13}, C_{15}, C_{19}, C_{21}, C_{23}) مشتقة باستخدام إجراء تكراري يعتمد على طرق حديثة من قبل غاو وآخرين (Gao and Itty et al.).

Pjotr Buys, Sven Polak, Jeroen Zuiddam2026-08-03
🔢 mathematics

The multilinear forms Cayley graph and the eigenvalue method for tensor codes

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

Eimear Byrne, Lucien François2026-07-31
🔢 mathematics

Entropy-Smooth Convex Optimization Cannot Be Accelerated

تثبت هذه الورقة أن التقارب المتسارع مستحيل بالنسبة للطرق من الدرجة الأولى التي تقلل الدوال المحدبة والملساء بالنسبة للإنتروبيا السالبة على السيمبلكس القياسي أو إنتروبيا فون نيومان على السبيكتروهيدرون، مما يثبت مثالية نزول المرآة (mirror descent) حتى عامل لوغاريتمي في هذه الإعدادات.

Jacob M. Aguirre, Dmitrii M. Ostrovskii2026-07-31
🔢 mathematics

Constructing linear codes from digraphs and groups

تقدم هذه الورقة تعميمين لرموز كايلي (Cayley codes) يُسميان رموز الرسوم البيانية (graph codes) ورموز الرسوم البيانية الموجهة (digraph codes)، وتحلل خصائصها الجبرية والتركيبية لإثبات تحسين العلاقات بين معاملات التوسع، وتنشئ عائلة لانهائية من رموز الرسوم البيانية الموجهة الجيدة.

Coen del Valle, Cheryl E. Praeger2026-07-31
🔢 mathematics

On The Most Discriminative Boolean Functions for Correlated Sources

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

Jun Chen, Shun Watanabe, Lei Yu2026-07-31