"Mẹ ơi, không cần ma trận nữa"

Thử nghiệm PGA

• PGA (đại số hình học xạ ảnh) đang thu hút sự chú ý trong cộng đồng đồ họa máy tính và machine learning.
• Việc áp dụng PGA trong đồ họa 3D truyền thống trước đây còn hạn chế, nhưng dự án 'Look, Ma, No Matrices!' nhằm tích hợp PGA vào các engine 3D hiện đại để mở rộng phạm vi ứng dụng.
• Dự án này nhấn mạnh rằng thay vì chỉ thay thế công nghệ hiện có, cần có một sự xem xét lại ở cấp độ nền tảng để phát huy tiềm năng của PGA.

Giới thiệu

• Trong đồ họa máy tính, ma trận đóng vai trò rất quan trọng.
• GPU ngày nay có thể lập trình được và không còn bị ràng buộc vào pipeline chức năng cố định, nên đã có điều kiện để sử dụng PGA.
• Ma trận phù hợp để biểu diễn các phép biến đổi tuyến tính, nhưng motor PGA có thể mã hóa chuyển động Euclid với chi phí tính toán và bộ nhớ thấp hơn.

FPGA: PGA siêu nhanh!

• Bài viết giải thích chi tiết các toán tử cơ bản của PGA cùng những kỹ thuật cần thiết cho CPU và GPU.
• Các vector cơ sở và bố cục bộ nhớ của PGA được lựa chọn để giảm thiểu chuyển đổi khi xử lý dữ liệu đồ họa.
• Cấu trúc dữ liệu của PGA được chuyển thành các cấu trúc shader đơn giản, giúp duy trì phép tính bằng các kiểu dữ liệu tích hợp sẵn.

Có được các toán tử hình học

• Trong PGA, việc hợp thành các phép biến đổi sử dụng phép nhân hình học, hiệu quả hơn phép nhân ma trận.
• Toán tử sandwich cần thiết để biến đổi điểm và hướng đóng vai trò quan trọng trong PGA.
• Các phép chuẩn hóa và căn bậc hai của motor PGA là những phép toán quan trọng trong PGA, và có thể được triển khai hiệu quả.

Thoát khỏi ma trận

• Việc tương tác với nội dung hiện có đồng nghĩa cần chuyển đổi ma trận sang các đối tượng tương đương trong PGA.
• Khác với ma trận 4x4, motor PGA không bao gồm scaling, nên uniform scaling được theo dõi bằng cách nhân tổng scale của từng phần tử với scale của phần tử cha.
• Non-uniform scaling phức tạp hơn, nhưng trong đa số trường hợp chỉ được áp dụng ở các nút lá.

Forward rendering

• Trình kết xuất forward sẽ biến đổi hình học của mesh và xác định mỗi tam giác bao phủ những pixel nào.
• Các ma trận model, view và projection được thay bằng motor PGA, đồng thời thực hiện các phép biến đổi cần thiết trong vertex shader để phục vụ tangent-space normal mapping.
• Cách tiếp cận bằng PGA cho thấy có thể biến đổi các đỉnh mesh với chi phí tính toán gần như tương đương khi dùng ma trận 4x4.

Ý kiến của GN⁺

• Dự án 'Look, Ma, No Matrices!' đưa ra một phương án thay thế đầy thú vị cho cách kết xuất dựa trên ma trận truyền thống. Cách tiếp cận mới dùng PGA để xử lý phép biến đổi trong đồ họa 3D có thể mang lại đổi mới cho lĩnh vực đồ họa máy tính.
• Công nghệ này có thể đòi hỏi một đường cong học tập mới với các lập trình viên đã quen với phép toán ma trận hiện có, và điều đó có thể trở thành rào cản ở giai đoạn đầu áp dụng.
• Những dự án hoặc sản phẩm khác trong ngành cung cấp chức năng tương tự có thể kể đến các graphics API như OpenGL hay DirectX, nhưng chúng sử dụng cách tiếp cận truyền thống dựa trên ma trận.
• Khi đưa PGA vào sử dụng, cần cân nhắc khả năng tương thích với codebase hiện có, tối ưu hiệu năng và đào tạo lập trình viên.
• Lợi ích có thể đạt được khi chọn PGA là cải thiện hiệu quả bộ nhớ và tính toán, nhưng điều này có thể khác nhau tùy vào mức độ tích hợp với hệ thống hiện có và mức độ hiểu biết của lập trình viên về PGA.

[GN⁺]

Ý kiến trên Hacker News

• Giới thiệu video nhập môn Geometric Algebra của Freya Holmér

  • Hữu ích cho những ai quan tâm đến đồ họa 3D, đặc biệt là spline/đường cong Bézier
  • Cách tiếp cận bằng Clifford Algebra cho cảm giác trực quan hơn so với đại số tuyến tính
  • Liên kết video của Freya Holmér

• Tìm hiểu về geometric algebra

  • Geometric algebra tương tự phép nhân đa thức, nhưng thứ tự nhân rất quan trọng và có bảng phép nhân đặc biệt (i*i = 1, i*j = -j*i)
  • Phép nhân hình học của hai vector bao gồm dot product và cross product, nhưng có thể khái quát lên nhiều chiều hơn
  • Trong geometric algebra, khái niệm này được gọi là wedge product
  • Khi hiểu được khái niệm này, việc giải các bài toán hình học như suy ra công thức quay sẽ trở nên dễ hơn

• Nhiều cách tiếp cận khác nhau cho phép nội suy phép quay

  • Có nhiều phương pháp như geometric algebra, quaternion, nội suy ma trận..., nhưng sau khi tối ưu thì phần lớn mã đều khá giống nhau
  • Geometric algebra có vẻ là cách tiếp cận nhất quán và mạnh mẽ nhất, nhưng ban đầu khá xa lạ và khó hiểu
  • Phần lớn mọi người dùng quaternion trong khi vẫn than phiền rằng họ không hiểu nó

• Gợi ý tài liệu về geometric algebra

  • Cung cấp liên kết đến slide và website về các khái niệm Grassman/Clifford/geometric algebra
  • Slide của Terathon
  • Bài viết về geometric algebra của Matt Ferraro

• Ở phần còn lại của trang, mô hình hoạt động quá nhiều nên khó theo dõi phần toán học

• Chỉ trích về độ phức tạp của geometric algebra

  • Nếu không cẩn thận, sẽ có rất nhiều thành phần trộn lẫn và với không gian n chiều có thể cần tới 2^n hạng tử
  • Có vẻ phù hợp hơn để xử lý hình học (tích trong), nhưng dùng wedge product và hodge star (hoặc musical isomorphism) có thể sẽ tốt hơn
  • Đặt câu hỏi về tính hữu dụng thực tế của geometric algebra

• Yêu cầu định nghĩa chữ viết tắt PGA (projective geometric algebra) ngay lần đầu sử dụng

• Thắc mắc về hiệu quả của các thuật toán geometric algebra trên GPU

  • GPU được tối ưu cho các phép toán ma trận, nên không rõ liệu lợi thế khi dùng geometric algebra có bị mất đi hay không

• Bài viết thú vị và đọc khá vui, dù không phải lĩnh vực đặc biệt quan tâm nhưng văn phong rất cuốn hút

• Cần có phần giải thích về lý thuyết Lie algebra trong các phép toán đồ họa