Transformação linear direta

Transformação linear direta (DLT) é um algoritmo que calcula um conjunto de variáveis a partir de um conjunto de relações de semelhança: $${𝐱}_k\propto 𝐀{𝐲}_k\text{ para }k=1,\dots ,N$$ em que ${𝐱}_k$ e ${𝐲}_k$ são vetores conhecidos, $\propto$ denota igualdade a menos de uma multiplicação por um escalar desconhecido, e $𝐀$ é uma matriz (ou transformação linear) que contém as incógnitas a serem calculadas.

Este tipo de relação aparece frequentemente em geometria projetiva. Exemplos práticos incluem a relação entre pontos 3D em uma cena e a sua projeção sobre o plano da imagem de uma câmera pinhole, e homografias.

Introdução

Uma equação linear ordinária $${𝐱}_k=𝐀{𝐲}_k\text{ para }k=1,\dots ,N$$ pode ser resolvida, por exemplo, reescrevendo-a como uma equação matricial $𝐗=𝐀𝐘$ na qual as matrizes $𝐗$ e $𝐘$ contêm os vetores ${𝐱}_k$ e ${𝐲}_k$ em suas respectivas colunas. Dado que existe uma única solução, ela é dada por

$$𝐀=𝐗{𝐘}^T(𝐘{𝐘}^T{)}^{-1}.$$

As soluções também podem ser descritas nos casos em que as equações são sobredeterminadas ou subdeterminadas.

O que torna o problema da transformação linear direta diferente do caso padrão acima é o fato de que os lados esquerdo e direito das equações que o definem podem diferir por um fator multiplicativo desconhecido que é dependente de k. Como consequência, $𝐀$ não pode ser calculada como no caso padrão. Em vez disso, as relações de semelhança são reescritas como equações lineares homogêneas apropriadas que podem então ser resolvidas por um método padrão. A combinação da reescrita das equações de semelhança como equações lineares homogêneas com a sua resolução por métodos padrão é conhecida como algoritmo de transformação linear direta ou algoritmo DLT. A sigla DLT é atribuída a Ivan Sutherland.

Exemplo

Sejam ${𝐱}_k\in {ℝ}^2$ e ${𝐲}_k\in {ℝ}^3$ dois conjuntos de vetores conhecidos e o problema é encontrar uma matriz $𝐀$ de ordem $2\times 3$ tal que que $${\alpha }_k{𝐱}_k=𝐀{𝐲}_k\text{ para }k=1,\dots ,N$$ onde ${\alpha }_k\ne 0$ é o fator escalar desconhecido relacionado à equação k.

Para se livrar dos escalares desconhecidos e obter equações homogêneas, defina a matriz antissimétrica $$𝐇=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$$ e multiplique ambos os lados da equação pela esquerda por ${𝐱}_k^T𝐇$ $${\alpha }_k{𝐱}_k^T𝐇{𝐱}_k={𝐱}_k^T𝐇𝐀{𝐲}_k\text{ para }k=1,\dots ,N.$$ Como ${𝐱}_k^T𝐇{𝐱}_k=0,$ tem-se as seguintes equações homogêneas, que já não contêm os escalares desconhecidos: $$0={𝐱}_k^T𝐇𝐀{𝐲}_k\text{ para }k=1,\dots ,N.$$ A fim de obter $𝐀$ a partir deste conjunto de equações, considere os elementos dos vetores ${𝐱}_k$ e ${𝐲}_k$ e a matriz $𝐀:$ $${𝐱}_k=\left(\begin{array}{c}{x}_{1k}\\ x_{2k}\end{array}\right),{𝐲}_k=\left(\begin{array}{c}{y}_{1k}\\ y_{2k}\\ y_{3k}\end{array}\right),\text{ e }𝐀=\left(\begin{array}{ccc}{a}_{11}& a_{12}& a_{13}\\ a_{21}& a_{22}& a_{23}\end{array}\right)$$ e a equação homogênea acima torna-se $$0=a_{11}{x}_{2k}{y}_{1k}-a_{21}{x}_{1k}{y}_{1k}+a_{12}{x}_{2k}{y}_{2k}-a_{22}{x}_{1k}{y}_{2k}+a_{13}{x}_{2k}{y}_{3k}-a_{23}{x}_{1k}{y}_{3k}\text{ para }k=1,\dots ,N.$$ Isso também pode ser escrito como $$0={𝐛}_k^T𝐚\text{ para }k=1,\dots ,N$$ em que tanto ${𝐛}_k$ quanto $𝐚$ são vetores de 6 dimensões definidos como $${𝐛}_k=\left(\begin{array}{c}{x}_{2k}{y}_{1k}\\ -x_{1k}{y}_{1k}\\ x_{2k}{y}_{2k}\\ -x_{1k}{y}_{2k}\\ x_{2k}{y}_{3k}\\ -x_{1k}{y}_{3k}\end{array}\right)$$   e   $𝐚=\left(\begin{array}{c}{a}_{11}\\ a_{21}\\ a_{12}\\ a_{22}\\ a_{13}\\ a_{23}\end{array}\right).$

Este conjunto de equações homogêneas também pode ser escrito em forma matricial como $$\mathrm{𝟎}=𝐁𝐚$$

onde $𝐁$ é uma matriz $N\times 6$ que contém os vetores ${𝐛}_k$ em suas linhas. Isto significa que $𝐚$ pertence ao espaço nulo de $𝐁$ e pode ser determinado, por exemplo, por meio de uma decomposição em valores singulares de $𝐁;$ $𝐚$ é um vetor singular à direita de $𝐁$ correspondente a um valor singular nulo. Uma vez que $𝐚$ foi determinado, os elementos de $𝐀$ podem ser encontrados por uma simples reorganização do vetor de 6 dimensões na forma de uma matriz $2\times 3.$ Note que o fator escalar de $𝐚$ ou $𝐀$ não é importante (exceto por ter que ser diferente de zero) uma vez que as equações que as definem já levam em conta o escalar desconhecido.

Na prática, os vetores ${𝐱}_k$ e ${𝐲}_k$ pode conter ruído, o que significa que as equações de semelhança são apenas aproximadamente válidas. Como consequência, pode não existir um vetor $𝐚$ que seja uma solução exata da equação homogênea $\mathrm{𝟎}=𝐁𝐚.$ Nestes casos, uma solução de mínimos quadrados totais pode ser utilizada escolhendo $𝐚$ como um vetor singular à direita correspondente ao menor valor singular de $𝐁.$

Casos mais gerais

O exemplo acima tem ${𝐱}_k\in {ℝ}^2$ e ${𝐲}_k\in {ℝ}^3,$ mas a estratégia geral para reescrever as relações de semelhança como equações lineares homogêneas pode ser generalizada para casos em que tanto ${𝐱}_k$ quanto ${𝐲}_k$ têm dimensões arbitrárias.

Se ${𝐱}_k\in {ℝ}^2$ e ${𝐲}_k\in {ℝ}^q$ as expressões anteriores ainda podem levar a uma equação $$0={𝐱}_k^T𝐇𝐀{𝐲}_k\text{ para }k=1,\dots ,N$$

onde $𝐀$ agora é $2\times q.$ Cada k fornece uma equação nos $2q$ elementos desconhecidos de $𝐀$ e juntas, essas equações podem ser escritas na forma $𝐁𝐚=\mathrm{𝟎}$ com a matriz B de ordem N x 2q que é conhecida e o vetor de incógnitas $𝐚,$ de dimensão 2q. Este vetor pode ser encontrado de forma similar à que foi feita anteriormente.

No caso mais geral, ${𝐱}_k\in {ℝ}^p$ e ${𝐲}_k\in {ℝ}^q.$ A principal diferença em relação ao caso anterior é que a matriz $𝐇$ agora é $p\times p$ e antissimétrica. Quando $p>2$ o espaço de tais matrizes não é mais unidimensional, mas sim de dimensão $$M=\frac{p(p-1)}{2}.$$

Isso significa que cada valor de k fornece M equações homogêneas do tipo $$0={𝐱}_k^T{𝐇}_m𝐀{𝐲}_k\text{ para }m=1,\dots ,M\text{ e para }k=1,\dots ,N$$ onde ${𝐇}_m$ é uma base de dimensão M do espaço de matrizes $p\times p$ antissimétricas.

Exemplo p = 3

No caso em que p = 3, podem ser escolhidas as três matrizes ${𝐇}_m$ a seguir $${𝐇}_1=\left(\begin{array}{ccc}0& 0& 0\\ 0& 0& -1\\ 0& 1& 0\end{array}\right),{𝐇}_2=\left(\begin{array}{ccc}0& 0& 1\\ 0& 0& 0\\ -1& 0& 0\end{array}\right),{𝐇}_3=\left(\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 0\end{array}\right).$$ Neste caso particular, as equações lineares homogêneas podem ser escritas como $$\mathrm{𝟎}=[{𝐱}_k{]}_{\times }𝐀{𝐲}_k\text{ para }k=1,\dots ,N$$ onde $[{𝐱}_k{]}_{\times }$ é a representação matricial do produto vetorial. Observe que esta última equação é em valores vetoriais; o lado esquerdo é o elemento zero em ${ℝ}^3.$

Cada valor de k fornece três equações homogêneas nos elementos desconhecidos de $𝐀.$ No entanto, como $[{𝐱}_k{]}_{\times }$ tem posto 2, no máximo duas equações são linearmente independentes. Na prática, portanto, é comum usar apenas duas das três matrizes, ${𝐇}_m,$ por exemplo, para m=1, 2. No entanto, a dependência linear entre as equações é dependente de ${𝐱}_k,$ o que significa que em certos casos seria melhor escolher, por exemplo, m=2,3. Assim, se o número de equações não é uma preocupação, pode ser melhor usar as três equações ao construir a matriz $𝐁.$

A dependência linear entre as equações lineares homogêneas é uma preocupação geral para o caso p > 2 e tem de ser tratada reduzindo o conjunto de matrizes antissimétricas ${𝐇}_m$ ou então permitindo que $𝐁$ se torne maior do que o necessário para determinar $𝐚.$

• Predefinição:Citar livro

Ligações externas

• Homography Estimation por Elan Dubrofsky (§2.1 esboça o "algoritmo DLT básico")