Енергията като универсален съдия

Невронна мрежа ми каза, че една плоча ще издържи. Не й повярвах и си направих второ, независимо число, за да проверя дали лъже.

Това второ число идва от теорема от 1947 г., не от още данни за трениране.

Проблемът с доверието към прогноза за напрежение от суроgat модел е следният: мрежата може да е гладка, уверена и грешна едновременно — и нищо в собствения й изход не показва кое от двете е. Нужно ти е нещо извън модела, срещу което да го провериш. Дълго време отговорът ни беше “питай MOOSE” — реалния FEM солвър да пресметне същото отново. Бавно, но честно. Напоследък градим нещо по-бързо, което остава също толкова честно: сертификат, идващ от самата физика, не от втора прогноза.

Идеята: две граници, стягащи истината

Теоремата на Prager-Synge (хиперкръг) казва следното: ако имаш admissible поле на преместванията (съвместимо, отговарящо на граничните условия) и отделно уравновесено поле на напреженията (отговарящо на баланса на силите), истинската деформационна енергия на реалното решение лежи между две числа, които можеш да пресметнеш от тези две полета. Едната граница отдолу, другата отгоре. Разликата между тях е строга горна граница на грешката в енергийната норма и клони към нула точно когато си намерил истинското решение.

Мисли за това като клещи, не като гадаене. Не ти трябва да знаеш истинския отговор, за да знаеш колко близо си до него — двете клещи ти го казват.

Не всяка физика получава едни и същи клещи

Минахме през нашия регистър от физики — в момента 18 режима — и попитахме за всеки поотделно каква граница реално издържа. Разпада се на четири честни семейства:

• Минимизационни задачи (еластичност, стационарна топлина, електростатика, магнитостатика, дифузия, поток на Дарси — около 8 от 18-те режима): имат истински минимум на енергиен функционал, значи получават пълните двустранни клещи на Prager-Synge.
• Инкрементални/исторически задачи (пластичност, вискоеластичност, фазов преход, LPBF преходни процеси — около 4-5 режима): всяка времева стъпка е своя минимизация, значи получаваш граници по стъпка, които се натрупват през целия проход.
• Резидуални/конвективни задачи (Навие-Стокс, конвективен пренос): нямат минимум за ограничаване, така че честният отговор е по-груба, едностранна горна граница.
• Задачи на запазването/динамика (вълни, структурна динамика): енергията тук се запазва, не се минимизира, значи граница просто не се прилага — вместо това дрейфът на енергията става watchdog, сигнализиращ нестабилност в прохода.

Правилото под всичко това: ако даден режим няма доказано семейство, записът в регистъра е None и системата ескалира към реалния солвър, вместо да преоблече число, което не е сертификат. По-скоро ще кажем “нямам граница за това още”, отколкото да фалшифицираме.

Честната дупка, която открихме докато го градяхме

Този одит извади нещо, което не бяхме уловили: редът за “свързана” физика — където две физики си взаимодействат, например пиезоелектричество или порoеластичност (Biot) — в момента е празен. Дизайн документът (ADR-021) цитира точно пиезоелектрична и Biot връзка като мотивиращи примери за свързани граници, но нито едната, нито другата всъщност е реализирана в нашия регистър на физиките. Открихме тази дупка, докато се опитвахме да запишем честния отговор — не защото някой я забеляза при преглед. Сега е именувана, проследена дупка, не тиха.

Открихме и бъг в трета производна на LayerNorm в същия проход — от онези неща, които се крият тихо в градиентната верига, докато не тръгнеш да ги търсиш с теорема, която не толерира приближения.

Облогът, който още не сме спечелили

В момента изчисляването на стегната енергийна граница по бавния, но строг начин пак изисква реален солв за страната на напреженията. Интересният изследователски облог — наричаме го R20 и подчертаваме, че е облог, не резултат — е да трениранa главата за преместванията и глава за напреженията като структурни противници: едната минимизира потенциалната енергия, другата максимизира допълнителната енергия, и двете под ограничение за равновесие. Ако проработи, разликата между тях излиза от един-единствен forward pass за милисекунди, не от солвър. Двете глави ще се държат взаимно честни — главата за преместванията не може да “изглежда добре”, ако главата за напреженията, тренирана независимо, не го потвърди. Тази разлика би работила и като сигнал за трениране без учител, защото е нула само при истинското решение.

Твърдото ограничение е, че главата за напреженията трябва да остане статично admissible — балансът на силите не може да се разхлаби. Това е отвореният риск. Не сме го решили. Пилотен проект е, не претенция.

Ако проработи, това променя нещо структурно и в мултифизиката: свързаните минимизационни задачи стават минимизация на една обща свободна енергия, което дава на coupling engine-а стабилност от изпъкналост — математическа гаранция — вместо от емпирично измерваната контракция, на която разчитаме днес.

Предпочитам система, която казва “няма наличен сертификат, ескалирам” пред такава, която фалшифицира число, изглеждащо като Prager-Synge, но не е. Това е целият смисъл да построиш съдията, преди да обещаеш присъдата.

Какво бихте искали да гарантира един “сертификат”, преди да се доверите на прогноза повече от солвър?