Алгоритм Левенберга — Марквардта

Алгоритм Левенберга–Марквардта (англ. Levenberg–Marquardt algorithm, LMA або просто LM), також відомий як метод сгасних найменших квадратів (англ. damped least-squares, DLS) використовується у математиці та обчислювальній техніці для розв'язування нелінійних задач найменших квадратів. Такі задачі мінімізації особливо актуальні при підборі кривої методом найменших квадратів. LMA інтерполює між алгоритмом Гаусса–Ньютона (GNA) та методом градієнтного спуску. LMA є більш надійним, ніж GNA, що означає, що в багатьох випадках він знаходить рішення, навіть якщо воно починається дуже далеко від кінцевого мінімуму. Для нормальної роботи функцій і розумних стартових параметрів LMA, як правило, повільніше, ніж GNA. LMA також можна розглядати як Гаусса–Ньютона, використовуючи підхід довіри до регіону.

Алгоритм був вперше опублікований у 1944 році ^[en], під час роботи у Франкфордському армійському арсеналі. У 1963 році його знову відкрили ^[en], який працював статистиком у DuPont, і незалежно Жірард, Вінн і Моррісон.

LMA використовується в багатьох програмних додатках для розв'язання загальних задач ^[en]. Використовуючи алгоритм Гаусса–Ньютона, він часто сходиться швидше, ніж методи першого порядку. Однак, як і інші алгоритми ітераційної оптимізації, LMA знаходить лише локальний мінімум, який не обов'язково є глобальним мінімумом.

Проблема

Основне застосування алгоритму Левенберга–Марквардта полягає в задачі ^[en] методом найменших квадратів: для заданого набору ${\displaystyle m}$ емпіричних пар ${\displaystyle \left(x_{i},y_{i}\right)}$ незалежних і залежних змінних, знайти параметри ${\displaystyle {\boldsymbol {\beta }}}$ модельної кривої ${\displaystyle f\left(x,{\boldsymbol {\beta }}\right)}$ так, щоб суму квадратів відхилень ${\displaystyle S\left({\boldsymbol {\beta }}\right)}$ було зведено до мінімуму:

${\displaystyle {\hat {\boldsymbol {\beta }}}\in \operatorname {argmin} \limits _{\boldsymbol {\beta }}S\left({\boldsymbol {\beta }}\right)\equiv \operatorname {argmin} \limits _{\boldsymbol {\beta }}\sum _{i=1}^{m}\left[y_{i}-f\left(x_{i},{\boldsymbol {\beta }}\right)\right]^{2},}$ набір вважається непорожнім.

Рішення

Як і інші алгоритми чисельної мінімізації, алгоритм Левенберга–Марквардта є ітераційною процедурою. Щоб почати мінімізацію, користувач повинен надати початкове припущення для вектора параметрів ${\displaystyle {\boldsymbol {\beta }}}$. У випадках лише з одним мінімумом, ненавчені стандартні припущення, як ${\displaystyle {\boldsymbol {\beta }}^{\text{T}}={\begin{pmatrix}1,\ 1,\ \dots ,\ 1\end{pmatrix}}}$ буде працювати нормально; у випадках з кількома мінімумами алгоритм сходить до глобального мінімуму лише в тому випадку, якщо початкове припущення вже дещо близько до остаточного рішення.

На кожному кроці ітерації вектор параметрів ${\displaystyle {\boldsymbol {\beta }}}$ замінюється на нову оцінку ${\displaystyle {\boldsymbol {\beta }}+{\boldsymbol {\delta }}}$. Щоб визначити ${\displaystyle {\boldsymbol {\delta }}}$, функція ${\displaystyle f\left(x_{i},{\boldsymbol {\beta }}+{\boldsymbol {\delta }}\right)}$ апроксимується його лінеаризацією:

${\displaystyle f\left(x_{i},{\boldsymbol {\beta }}+{\boldsymbol {\delta }}\right)\approx f\left(x_{i},{\boldsymbol {\beta }}\right)+\mathbf {J} _{i}{\boldsymbol {\delta }},}$

де

${\displaystyle \mathbf {J} _{i}={\frac {\partial f\left(x_{i},{\boldsymbol {\beta }}\right)}{\partial {\boldsymbol {\beta }}}}}$

є градієнтом (в даному випадку вектором рядка) ${\displaystyle f}$ з відношенням до ${\displaystyle {\boldsymbol {\beta }}}$.

Сума ${\displaystyle S\left({\boldsymbol {\beta }}\right)}$ квадратних відхилень має свій мінімум при нульовому градієнті по відношенню до ${\displaystyle {\boldsymbol {\beta }}}$. Наведене вище наближення першого порядку ${\displaystyle f\left(x_{i},{\boldsymbol {\beta }}+{\boldsymbol {\delta }}\right)}$ дає

${\displaystyle S\left({\boldsymbol {\beta }}+{\boldsymbol {\delta }}\right)\approx \sum _{i=1}^{m}\left[y_{i}-f\left(x_{i},{\boldsymbol {\beta }}\right)-\mathbf {J} _{i}{\boldsymbol {\delta }}\right]^{2},}$

або у векторному позначенні,

${\displaystyle {\begin{aligned}S\left({\boldsymbol {\beta }}+{\boldsymbol {\delta }}\right)&\approx \left\|\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)-\mathbf {J} {\boldsymbol {\delta }}\right\|^{2}\\&=\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)-\mathbf {J} {\boldsymbol {\delta }}\right]^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)-\mathbf {J} {\boldsymbol {\delta }}\right]\\&=\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]-\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]^{\mathrm {T} }\mathbf {J} {\boldsymbol {\delta }}-\left(\mathbf {J} {\boldsymbol {\delta }}\right)^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]+{\boldsymbol {\delta }}^{\mathrm {T} }\mathbf {J} ^{\mathrm {T} }\mathbf {J} {\boldsymbol {\delta }}\\&=\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]-2\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]^{\mathrm {T} }\mathbf {J} {\boldsymbol {\delta }}+{\boldsymbol {\delta }}^{\mathrm {T} }\mathbf {J} ^{\mathrm {T} }\mathbf {J} {\boldsymbol {\delta }}.\end{aligned}}}$

Візьмемо похідну від ${\displaystyle S\left({\boldsymbol {\beta }}+{\boldsymbol {\delta }}\right)}$ з відношенням до ${\displaystyle {\boldsymbol {\delta }}}$ і встановлення результату на нуль, що дає

${\displaystyle \left(\mathbf {J} ^{\mathrm {T} }\mathbf {J} \right){\boldsymbol {\delta }}=\mathbf {J} ^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right],}$

де ${\displaystyle \mathbf {J} }$ є матриця Якобі, у якій ${\displaystyle i}$-й ряд дорівнює ${\displaystyle \mathbf {J} _{i}}$, і де ${\displaystyle \mathbf {f} \left({\boldsymbol {\beta }}\right)}$ і ${\displaystyle \mathbf {y} }$ є векторами з ${\displaystyle i}$-ї компоненти ${\displaystyle f\left(x_{i},{\boldsymbol {\beta }}\right)}$ і ${\displaystyle y_{i}}$ відповідно. Наведений вище вираз отримано для ${\displaystyle {\boldsymbol {\beta }}}$ підпадає під метод Гаусса–Ньютона. Матриця Якобі, як визначено вище, є (загалом) не квадратною матрицею, а прямокутною матрицею розміру ${\displaystyle m\times n}$, де ${\displaystyle n}$ — кількість параметрів (розмір вектора ${\displaystyle {\boldsymbol {\beta }}}$). Матричне множення ${\displaystyle \left(\mathbf {J} ^{\mathrm {T} }\mathbf {J} \right)}$ дає необхідну ${\displaystyle n\times n}$ квадратну матрицю і добуток матриці-вектору з правого боку дають вектор розміру ${\displaystyle n}$. В результаті виходить набір ${\displaystyle n}$ лінійних рівнянь, які можна розв'язувати для ${\displaystyle {\boldsymbol {\delta }}}$.А

Внесок Левенберга полягає в тому, щоб замінити це рівняння на «згасну версію»:

${\displaystyle \left(\mathbf {J} ^{\mathrm {T} }\mathbf {J} +\lambda \mathbf {I} \right){\boldsymbol {\delta }}=\mathbf {J} ^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right],}$

де ${\displaystyle \mathbf {I} }$ є одиничною матрицею, що дає приріст ${\displaystyle {\boldsymbol {\delta }}}$ до розрахункового вектора параметрів ${\displaystyle {\boldsymbol {\beta }}}$.

Коефіцієнт (невід'ємного) демпфування ${\displaystyle \lambda }$ коригується на кожній ітерації. Якщо зменшення ${\displaystyle S}$ є швидким, можна використовувати менше значення, наближаючи алгоритм до алгоритму Гаусса–Ньютона, тоді як, якщо ітерація дає недостатнє зменшення залишку, ${\displaystyle \lambda }$ можна збільшити, наблизивши на крок до напрямку градієнтного спуску. Зверніть увагу, що градієнт ${\displaystyle S}$ з відношенням до ${\displaystyle {\boldsymbol {\beta }}}$ дорівнює ${\displaystyle -2\left(\mathbf {J} ^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]\right)^{\mathrm {T} }}$. Тому для великих значень ${\displaystyle \lambda }$, крок буде зроблено приблизно в напрямку, протилежному градієнту. Якщо будь-яка довжина обчисленого кроку ${\displaystyle {\boldsymbol {\delta }}}$ або зменшення суми квадратів з останнього вектора параметрів ${\displaystyle {\boldsymbol {\beta }}+{\boldsymbol {\delta }}}$ падають нижче попередньо визначених меж, ітерація зупиняється та останній вектор параметра ${\displaystyle {\boldsymbol {\beta }}}$ вважається рішенням.

Коли коефіцієнт демпфування ${\displaystyle \lambda }$ є великим відносно ${\displaystyle \|\mathbf {J} ^{\mathrm {T} }\mathbf {J} \|}$, інвертувати ${\displaystyle \mathbf {J} ^{\mathrm {T} }\mathbf {J} +\lambda \mathbf {I} }$ не потрібно, оскільки оновлення добре апроксимується невеликим кроком градієнта ${\displaystyle \lambda ^{-1}\mathbf {J} ^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right]}$.

Щоб зробити масштаб рішення інваріантним, алгоритм Марквардта розв'язав модифіковану задачу з кожним компонентом градієнта, масштабованим відповідно до кривизни. Це забезпечує більший рух уздовж напрямків, де градієнт менший, що дозволяє уникнути повільної збіжності в напрямку малого градієнта. Флетчер у своїй статті 1971 року Модифікована підпрограма Марквардта для нелінійних найменших квадратів спростив форму, замінивши ідентичну матрицю ${\displaystyle \mathbf {I} }$ з діагональною матрицею, що складається з діагональних елементів ${\displaystyle \mathbf {J} ^{\text{T}}\mathbf {J} }$ :

${\displaystyle \left[\mathbf {J} ^{\mathrm {T} }\mathbf {J} +\lambda \operatorname {diag} \left(\mathbf {J} ^{\mathrm {T} }\mathbf {J} \right)\right]{\boldsymbol {\delta }}=\mathbf {J} ^{\mathrm {T} }\left[\mathbf {y} -\mathbf {f} \left({\boldsymbol {\beta }}\right)\right].}$

Подібний коефіцієнт демпфування з'являється в регуляризації Тихонова, яка використовується для розв'язування лінійних неправильних задач, а також у регресії хребта, методиці оцінки в статистиці.

Вибір параметра демпфування

Для кращого вибору параметра демпфування були висунуті різні більш-менш евристичні аргументи ${\displaystyle \lambda }$. Існують теоретичні аргументи, які показують, чому деякі з цих варіантів гарантують локальну збіжність алгоритму; однак ці варіанти можуть призвести до того, що глобальна збіжність алгоритму страждає від небажаних властивостей найкрутішого спуску, зокрема, дуже повільної збіжності, близької до оптимальної.

Абсолютні значення будь-якого вибору залежать від того, наскільки добре масштабована початкова проблема. Марквардт рекомендував починати зі значення ${\displaystyle \lambda _{0}}$ і фактор ${\displaystyle \nu >1}$. Спочатку налаштування ${\displaystyle \lambda =\lambda _{0}}$ і обчислення залишкової суми квадратів ${\displaystyle S\left({\boldsymbol {\beta }}\right)}$ через один крок від початкової точки з коефіцієнтом демпфування ${\displaystyle \lambda =\lambda _{0}}$ а по-друге з ${\displaystyle \lambda _{0}/\nu }$. Якщо обидва ці показники гірші за початкову точку, то згасання збільшується шляхом послідовного множення на ${\displaystyle \nu }$ поки не буде знайдено кращу точку з новим коефіцієнтом демпфування ${\displaystyle \lambda _{0}\nu ^{k}}$ для деяких ${\displaystyle k}$.

Якщо використати коефіцієнт демпфування ${\displaystyle \lambda /\nu }$ це призводить до зменшення квадрата залишку, то це приймається за нове значення ${\displaystyle \lambda }$ (і нове оптимальне розташування приймається як те, що отримано з цим коефіцієнтом демпфування) і процес продовжується; якщо використовувати ${\displaystyle \lambda /\nu }$ це призведе до гіршого залишку, але використання ${\displaystyle \lambda }$ призведе до кращого залишку, тоді ${\displaystyle \lambda }$ залишається без змін, а новий оптимум приймається за значення, отримане с ${\displaystyle \lambda }$ як демпфуючий фактор.

Ефективна стратегія для контролю параметра демпфування, що називається відкладеним задоволенням, полягає у збільшенні параметра на невелику величину для кожного кроку на підйом і зменшення на велику величину для кожного кроку вниз. Ідея цієї стратегії полягає в тому, щоб уникнути занадто швидкого спуску на початку оптимізації, отже, обмежуючи кроки, доступні в майбутніх ітераціях, і, отже, сповільнюючи зближення. Збільшення в 2 рази і зменшення в 3 рази виявилося ефективним у більшості випадків, тоді як для великих проблем більш екстремальні значення можуть працювати краще, зі збільшенням у 1,5 раза та зменшенням у 5 раз.

Геодезичне прискорення

При інтерпретації кроку Левенберга–Марквардта як швидкості ${\displaystyle {\boldsymbol {v}}_{k}}$ вздовж геодезичної траєкторії в просторі параметрів можна покращити метод, додавши член другого порядку, що враховує прискорення ${\displaystyle {\boldsymbol {a}}_{k}}$ вздовж геодезичної

${\displaystyle {\boldsymbol {v}}_{k}+{\frac {1}{2}}{\boldsymbol {a}}_{k}}$

де ${\displaystyle {\boldsymbol {a}}_{k}}$ є рішенням

${\displaystyle {\boldsymbol {J}}_{k}{\boldsymbol {a}}_{k}=-f_{vv}.}$

Оскільки цей член геодезичного прискорення залежить лише від похідної за напрямком ${\displaystyle f_{vv}=\sum _{\mu \nu }v_{\mu }v_{\nu }\partial _{\mu }\partial _{\nu }f({\boldsymbol {x}})}$ вздовж напрямку швидкості ${\displaystyle {\boldsymbol {v}}}$, він не вимагає обчислення повної похідної матриці другого порядку, вимагаючи лише невеликих накладних обчислювальних витрат. Оскільки похідна другого порядку може бути досить складним виразом, може бути зручно замінити її наближенням скінченної різниці

${\displaystyle {\begin{aligned}f_{vv}^{i}&\approx {\frac {f_{i}({\boldsymbol {x}}+h{\boldsymbol {\delta }})-2f_{i}({\boldsymbol {x}})+f_{i}({\boldsymbol {x}}-h{\boldsymbol {\delta }})}{h^{2}}}\\&={\frac {2}{h}}\left({\frac {f_{i}({\boldsymbol {x}}+h{\boldsymbol {\delta }})-f_{i}({\boldsymbol {x}})}{h}}-{\boldsymbol {J}}_{i}{\boldsymbol {\delta }}\right)\end{aligned}}}$

де ${\displaystyle f({\boldsymbol {x}})}$ і ${\displaystyle {\boldsymbol {J}}}$ вже були обчислені за допомогою алгоритму, тому для обчислення потрібна лише одна додаткова оцінка функції ${\displaystyle f({\boldsymbol {x}}+h{\boldsymbol {\delta }})}$. Вибір скінченного різницевого кроку ${\displaystyle h}$ може вплинути на стабільність алгоритму, вибір значення близько 0,1 зазвичай є розумним.

Оскільки прискорення може вказувати в напрямку, протилежному швидкості, щоб запобігти зупинці методу, якщо демпфування занадто мале, додається додатковий критерій прискорення, щоб прийняти крок, який вимагає, що

${\displaystyle {\frac {2\left\|{\boldsymbol {a}}_{k}\right\|}{\left\|{\boldsymbol {v}}_{k}\right\|}}\leq \alpha }$

де ${\displaystyle \alpha }$ зазвичай фіксується до значення менше ніж 1, з меншими значеннями для складніших задач.

Додавання геодезичного члена прискорення може дозволити суттєво збільшити швидкість збіжності, і це особливо корисно, коли алгоритм рухається через вузькі каньйони в ландшафті цільової функції, де дозволені кроки менші, а точність вища завдяки другому порядку термін дає значні покращення.

Приклад

Погано підходить

Краще підходить

Найкраще підходить

У цьому прикладі ми намагаємося підібрати функції ${\displaystyle y=a\cos \left(bX\right)+b\sin \left(aX\right)}$ використовуючи алгоритм Левенберга–Марквардта, реалізований в GNU Octave, як функцію leasqr. Графіки показують, що вони все краще відповідають параметрам ${\displaystyle a=100}$, ${\displaystyle b=102}$ що використовується на початковій кривій. Лише тоді, коли параметри останнього графіка вибрано найближчими до оригіналу, криві точно підходять. Це рівняння є прикладом дуже чутливих початкових умов для алгоритму Левенберга–Марквардта. Однією з причин такої чутливості є існування кількох мінімумів — функції ${\displaystyle \cos \left(\beta x\right)}$ що має мінімуми при значенні параметра ${\displaystyle {\hat {\beta }}}$ і ${\displaystyle {\hat {\beta }}+2n\pi }$.

Див. також

• ^[en]
• Метод Нелдера – Міда
• Варіанти алгоритму Левенберга–Марквардта також використовувалися для розв'язування нелінійних систем рівнянь.

Примітки

1. ^[en]A Method for the Solution of Certain Non-Linear Problems in Least Squares. Quarterly of Applied Mathematics. 2 (2): 164—168. 1944. doi:10.1090/qam/10666.
2. ^[en].An Algorithm for Least-Squares Estimation of Nonlinear Parameters. SIAM Journal on Applied Mathematics. 11 (2): 431—441. doi:10.1137/0111030.
3. Girard, André (1958). Excerpt from Revue d'optique théorique et instrumentale. Rev. Opt. 37: 225—241, 397—424.
4. Wynne, C. G. (1959). Lens Designing by Electronic Digital Computer: I. Proc. Phys. Soc. Lond. 73 (5): 777—787. Bibcode:1959PPS....73..777W. doi:10.1088/0370-1328/73/5/310.
5. Morrison, David D. (1960). Methods for nonlinear least squares problems and convergence proofs. Proceedings of the Jet Propulsion Laboratory Seminar on Tracking Programs and Orbit Determination: 1—9.
6. Wiliamowski, Bogdan; Yu, Hao (June 2010). (PDF). IEEE Transactions on Neural Networks and Learning Systems. 21 (6). Архів оригіналу (PDF) за 21 січня 2022. Процитовано 21 травня 2022.
7. Transtrum, Mark K; Machta, Benjamin B; Sethna, James P (2011). Geometry of nonlinear least squares with applications to sloppy models and optimization. Physical Review E. APS. 83 (3): 036701. arXiv:1010.1449. Bibcode:2011PhRvE..83c6701T. doi:10.1103/PhysRevE.83.036701. PMID 21517619. S2CID 15361707.
8. Transtrum, Mark K; Sethna, James P (2012). Improvements to the Levenberg-Marquardt algorithm for nonlinear least-squares minimization. arXiv:1201.5885 [physics.data-an].
9. . GNU Scientific Library. Архів оригіналу за 14 квітня 2020.
10. Kanzow, Christian; Yamashita, Nobuo; Fukushima, Masao (2004). Levenberg–Marquardt methods with strong local convergence properties for solving nonlinear equations with convex constraints. Journal of Computational and Applied Mathematics. 172 (2): 375—397. Bibcode:2004JCoAM.172..375K. doi:10.1016/j.cam.2004.02.013.

Література

• Moré, Jorge J.; Sorensen, Daniel C. (1983). Computing a Trust-Region Step (PDF). SIAM J. Sci. Stat. Comput. 4 (3): 553—572. doi:10.1137/0904038.
• Gill, Philip E.; (1978). Algorithms for the solution of the nonlinear least-squares problem. . 15 (5): 977—992. Bibcode:1978SJNA...15..977G. doi:10.1137/0715063.
• Pujol, Jose (2007). The solution of nonlinear inverse problems and the Levenberg-Marquardt method. Geophysics. SEG. 72 (4): W1—W16. Bibcode:2007Geop...72W...1P. doi:10.1190/1.2732552.^{[недоступне посилання з 01.02.2020]}
• Nocedal, Jorge; Wright, Stephen J. (2006). Numerical Optimization (вид. 2nd). Springer. ISBN .

Зовнішні посилання

• Numerical Recipes in C, Chapter 15.5: Nonlinear models
• C. T. Kelley, Iterative Methods for Optimization, SIAM Frontiers in Applied Mathematics, no 18, 1999, . Online copy
• A tutorial by Ananth Ranganathan
• K. Madsen, H. B. Nielsen, O. Tingleff, Methods for Non-Linear Least Squares Problems (nonlinear least-squares tutorial; L-M code: analytic Jacobian secant)
• T. Strutz: Data Fitting and Uncertainty (A practical introduction to weighted least squares and beyond). 2nd edition, Springer Vieweg, 2016, .
• H. P. Gavin, The Levenberg-Marquardt method for nonlinear least-squares curve-fitting problems (MATLAB implementation included)