"Mãe, dá para viver sem matrizes"

Testando a PGA

• A PGA (álgebra geométrica projetiva) vem ganhando atenção nas comunidades de computação gráfica e machine learning.
• Embora a aplicação da PGA na computação gráfica 3D tradicional tenha sido limitada, o projeto 'Look, Ma, No Matrices!' busca expandir seu alcance ao integrá-la a motores 3D modernos.
• O projeto enfatiza que não se trata de substituir as técnicas existentes, mas de que é necessária uma reavaliação fundamental para liberar o potencial da PGA.

Introdução

• Na computação gráfica, as matrizes desempenham um papel muito importante.
• Hoje, as GPUs são programáveis e não estão presas a um pipeline de função fixa, criando as condições para usar PGA.
• Matrizes são adequadas para representar transformações lineares, mas os motores PGA podem codificar movimentos euclidianos com menor custo computacional e de memória.

FPGA: PGA rápida!

• Explica em detalhes os operadores básicos da PGA e as técnicas necessárias para CPU e GPU.
• Os vetores básicos da PGA e o layout de memória são escolhidos para minimizar transformações ao processar dados gráficos.
• As estruturas de dados da PGA são traduzidas em estruturas simples de shader, mantendo as operações com tipos embutidos.

Obtendo operadores geométricos

• Na PGA, a composição de transformações usa multiplicação geométrica, mais eficiente do que a multiplicação de matrizes.
• O operador sanduíche, necessário para transformar pontos e direções, desempenha um papel importante na PGA.
• As operações de normalização e raiz quadrada dos motores PGA são operações importantes na PGA, e podem ser implementadas com eficiência.

Saindo das matrizes

• A interação com conteúdo existente significa que é preciso converter matrizes em equivalentes da PGA.
• Diferentemente de matrizes 4x4, os motores PGA não incluem escalonamento, então o escalonamento uniforme é acompanhado multiplicando a escala total de cada elemento pela escala do pai.
• O escalonamento não uniforme é mais complexo, mas na maioria dos casos é aplicado apenas em nós folha.

Renderização forward

• O renderizador forward transforma a geometria da malha e determina quais pixels cada triângulo cobre.
• Substitui as matrizes de modelo, visualização e projeção por motores PGA e realiza no vertex shader as transformações necessárias para normal mapping em espaço tangente.
• A abordagem com PGA mostra que é possível transformar vértices de malha com custo computacional quase idêntico ao uso de matrizes 4x4.

Opinião do GN⁺

• O projeto 'Look, Ma, No Matrices!' apresenta uma alternativa interessante ao método tradicional de renderização baseado em matrizes. A nova abordagem para lidar com transformações em gráficos 3D usando PGA pode trazer inovação para a área de computação gráfica.
• Para desenvolvedores acostumados com operações matriciais tradicionais, essa tecnologia pode exigir uma nova curva de aprendizado, o que pode ser uma barreira no início da adoção.
• Outros projetos ou produtos do setor com funcionalidades semelhantes incluem APIs gráficas como OpenGL e DirectX, mas elas usam a abordagem tradicional baseada em matrizes.
• Ao adotar PGA, é preciso considerar compatibilidade com a base de código existente, otimização de desempenho e capacitação dos desenvolvedores.
• Os benefícios potenciais de escolher PGA incluem ganhos de eficiência de memória e computação, mas isso pode variar conforme a integração com sistemas existentes e o nível de entendimento da PGA pela equipe de desenvolvimento.

[GN⁺]

Opiniões do Hacker News

• Recomendação do vídeo de introdução à Álgebra Geométrica de Freya Holmér

  • Útil para quem se interessa por gráficos 3D, especialmente splines/curvas de Bézier
  • A abordagem da Álgebra de Clifford parece mais intuitiva do que a álgebra linear
  • Link para o vídeo de Freya Holmér

• Entendimento sobre álgebra geométrica

  • A álgebra geométrica é semelhante à multiplicação de polinômios, mas a ordem da multiplicação importa e há uma tabela de multiplicação incomum (i*i = 1, i*j = -j*i)
  • O produto geométrico de dois vetores inclui o produto escalar (dot product) e o produto vetorial (cross product), mas pode ser generalizado para muito mais dimensões
  • Na álgebra geométrica, isso é chamado de wedge product
  • Entender esse conceito facilita a resolução de problemas geométricos, como a derivação de fórmulas de rotação

• Diferentes abordagens para interpolação de rotações

  • Há vários métodos, como álgebra geométrica, quaternions e interpolação por matrizes, mas depois da otimização o código costuma ser bem parecido na maioria dos casos
  • A álgebra geométrica parece ser a abordagem mais consistente e poderosa, embora no começo soe estranha e seja difícil de entender
  • A maioria usa quaternions e reclama por não entendê-los

• Recomendação de materiais sobre álgebra geométrica

  • São fornecidos links para slides e sites sobre os conceitos de Grassman/Clifford/álgebra geométrica
  • Slides da Terathon
  • Post de Matt Ferraro sobre álgebra geométrica

• No restante da página, o modelo está ativo demais, o que dificulta entender a matemática

• Crítica à complexidade da álgebra geométrica

  • Se não tomar cuidado, surgem muitos elementos mistos, e podem ser necessários 2^n termos para um espaço n-dimensional
  • Parece mais adequada para lidar com geometria (produto interno), mas talvez seja melhor usar wedge product e hodge star (ou isomorfismo musical)
  • Levanta-se a dúvida sobre a utilidade prática da álgebra geométrica

• Pedido para que a sigla PGA (Álgebra Geométrica Projetiva) seja definida na primeira vez em que for usada

• Dúvida sobre a eficiência de algoritmos de álgebra geométrica em GPUs

  • Como as GPUs são otimizadas para operações com matrizes, fica a dúvida se as vantagens da álgebra geométrica desaparecem ao usá-las

• O artigo é interessante e foi uma leitura agradável; não é uma área de interesse específica, mas o texto é cativante

• É necessária uma explicação da teoria da álgebra de Lie para operações gráficas