Optimal Linear Transformation

In shape matching problem between 3D point sets, Optimal Linear Transformation between point sets plays an important role. I'll follow notations in [1] as far as I can.

Problem

Let there be two 3D point sets, $p_i = [x_i, y_i, z_i]^t, p^{'}_i = [x^{'}_i, y^{'}_i, z^{'}_i]^t, i= 1,2,\cdots, N$.

We want to find matrix $X$ that minimizes
$$
\begin{align}
\sum_{i = 1}^{N} \| p^{'}_i - Xp_i \|^2 = \sum_{i = 1}^{N} \{ \| p^{'}_i \|^2 - 2 p^{'}_i \cdot (X p_i) + \| Xp_i \|^2 \} \tag{1} \\
\end{align}
$$

Solution

We can easily find minimum of (1) by completing the square. First, from the fact that for some arbitrary column vector $k$, $ \| k \|^2 = k \cdot k  = tr(kk^T) $, (1) can be rewritten as (2),
$$
\begin{align}
\sum_{i = 1}^{N} tr( p^{'}_i (p^{'}_i)^T - 2 p^{'}_i (p_i)^T X^T + Xp_i (p_i)^T X^T )
= tr(A_{p^{'}} - 2MX^T + XA_p X^T ) \tag{2} \\
\end{align}
$$
where sum of outer products is defined as follows :
$$
A_p = \sum_{i = 1}^{N} p_i (p_i) ^T,
A_{p^{'}} = \sum_{i = 1}^{N} p^{'}_i (p^{'}_i) ^T,
M = \sum_{i = 1}^{N} p^{'}_i (p_i)^T
$$
Second, since that the trace of square matrix which is the product of two matrices can be rewritten as the sum of entry-wise products of their elements (implies $tr(A^TB) = tr(AB^T) = tr(B^TA) = tr(BA^T) \  \forall m \times n \  matrices \ A, B$. Then, we can rewrite expression (2) as follows
$$
\begin{align}
 &tr(A_{p^{'}} - MA_p^{-1}M^T + MA_p^{-1}M^T - XM^T - MX^T + XA_pX^T) \\
&=  tr(A_{p^{'}} - MA_p^{-1}M^T) + tr(MA_p^{-1}M^T - XM^T - MX^T +
XA_pX^T) \\
&= tr(A_{p^{'}} - MA_p^{-1}M^T) + tr((XA_p - M)(X - MA_p^{-1})^T)

\tag{3} \\
\end{align}
$$
Note that every positive semidefinite matrix can be written as a sum of outer products A = XX^T , and every invertible positive semidefinite is positive definite.

(Still working......)

Can't understand why?

- Chapter 4.A of [1] : "In fact, the matrix A; is positive definite, provided that at least four
measurements are available that are not collinear."

Reference 

[1] Horn, Berthold KP, Hugh M. Hilden, and Shahriar Negahdaripour. "Closed-form solution of absolute orientation using orthonormal matrices." JOSA A 5.7 (1988): 1127-1135.

댓글

이 블로그의 인기 게시물

Proof of well-known 'Intersection Of Three Planes' formula.

Linux에서 특정한 디렉토리가 차지하는 용량을 효율적이고, 빠르게 계산하는 법(Fast, efficient way to calculate directory size recursively on linux)

영화 'Call me by your name'의 OST 중 'Visions of Gideons' 번역 및 해석