Il problema di Procuste ortogonale[1] è un problema di approssimazione matriciale che consiste nel trovare la migliore trasformazione ortogonale tra due insiemi di elementi in uno spazio vettoriale. Nella sua formulazione classica, date due matrici e a valori reali di dimensione , il problema consiste nel trovare una matrice ortogonale che, quando applicata ad , meglio approssimi , minimizzando il residuo nel seguente problema
dove (condizione di ortogonalità) e denota la norma di Frobenius.[2]
Il problema ortogonale di Procuste è correlato al problema di Wahba, con la differenza che nel problema di Procuste tutte le osservazioni hanno pesi identici, e nel problema di Wahba la soluzione deve soddisfare un vincolo più stringente (richiedendo una matrice di rotazione, ovvero tale che , mentre il problema di Procuste richiede una matrice ortogonale, ovvero tale che ).[3]
Il nome deriva da Procuste, bandito della mitologia greca che, secondo la leggenda, deformava le sue vittime per uguagliare la dimensione di un letto di ferro, in riferimento all'uso dell'analisi di Procuste per trovare trasformazioni che "deformino" uno spazio per avvicinarsi il più possibile ad un altro spazio.
Soluzione
[modifica | modifica wikitesto]La soluzione al problema è stata presentata nel 1964 da Peter Schönemann nella sua tesi dottorale e successivamente pubblicata in un articolo.[4]
Il problema consiste nel trovare la matrice ortogonale che meglio approssimi
soggetto al vincolo . La matrice può essere determinata tramite decomposizione ai valori singolari di (con valori singolari non negativi in )
e costruendo come
Generalizzazioni e casi particolari
[modifica | modifica wikitesto]Esistono diversi problemi correlati al problema di Procuste ortogonale classico. Una generalizzazione consiste nel cercare una matrice tale che le colonne siano vettori ortogonali, ma non ortonormali.[5]
Un altro problema consiste nel cercare una matrice di rotazione (ovvero una matrice del gruppo ortogonale speciale). Usando la decomposizione , si può scrivere
dove è una versione modificata di con il più piccolo dei valori singolari rimpiazzato da (che ha valore +1 o -1) e gli altri valori singolari rimpiazzati da 1, in modo che abbia determinante positivo.[6]
Note
[modifica | modifica wikitesto]- ^ J.C Gower e G.B. Dijksterhuis, Procrustes Problems, Oxford University Press, 2004.
- ^ J.R. Hurley e R.B. Cattell, Producing direct rotation to test a hypothesized factor structure, in Behavioral Science, vol. 7, n. 2, 1962, pp. 258–262, DOI:10.1002/bs.3830070216.
- ^ F. L. Markley e D. Mortari, Quaternion Attitude Estimation Using Vector Observations (PDF), in Journal of the Astronautical Sciences, vol. 2, n. 48, 2000, pp. 359–380. URL consultato il 12 febbraio 2022 (archiviato dall'url originale il 1º dicembre 2017).
- ^ P.H. Schönemann, A generalized solution of the orthogonal Procrustes problem (PDF), in Psychometrika, vol. 31, 1966, pp. 1–10, DOI:10.1007/BF02289451.
- ^ R Everson, Orthogonal, but not Orthonormal, Procrustes Problems (PDF), 1997.
- ^ DW Eggert, A Lorusso e RB Fisher, Estimating 3-D rigid body transformations: a comparison of four major algorithms, in Machine Vision and Applications, vol. 9, n. 5, 1997, pp. 272–290, DOI:10.1007/s001380050048.