الذكاء الاصطناعي ومشكلات العالم الصعبة · الرياضيات · arXiv · 2026-10-26

دالة محدبة من الرتبة الأولى ومستقلة عن الإطار في ثلاثة أبعاد وليست شبه محدبة

العنوان الأصلي: A frame-indifferent rank-one convex function in three dimensions which is not quasiconvex

يبني المؤلفون دالة W على المصفوفات 3×3 تكون غير مبالية بالإطار (frame-indifferent) ومحدبة من الرتبة الأولى (rank-one convex) لكنها غير شبه محدبة (quasiconvex). وبالقرب من مجموعة الدورانات SO(3)، تكون W كثيرة حدود صريحة من الدرجة الرابعة في الانفعال F^TF − Id، ويفشل شبه التحدّب عند F = Id عبر آلية من الرتبة الثالثة. أُنجز العمل بمساعدة نموذج الذكاء الاصطناعي Claude Opus 5.5، وجرى التحقق الصوري من البراهين الرئيسية في Lean 4.

اقرأ المصدر الأصلي ↗

جميع العناصر →