نقدم تحققًا رسميًا، تم إجراؤه في مساعد الإثبات Lean 4، حول التوافق بين نموذج الجهد ونُهج علاقة التشتت لتصحيحات الهدرون في انقسام الكتلة Υ (2S) –Υ (1S) للبوتومونيوم. يظهر أن معامل التصحيح غير المضطرب (الهدروني) الرائد هو نفسه في كلا الإطارين، كهوية جبرية دقيقة مستقلة عن ثابت الربط، ودالة الموجة عند الأصل، والتكامل الطيفي الهدروني. التقييم العددي مع معلمات قياسية (mb = 4.18 GeV، αₛ (mb) = 0.18، σ = 0.18 GeV²) يعطي انقسامًا إجماليًا متوافقًا مع القيمة التجريبية ΔMₑxp = 563.9 MeV.
درست يوري ن. بردينسكي (الخميس) هذا السؤال.