AI & ML
Efficient construction and explicit dimensionality of Lie group-equivariant and permutation-invariant spaces
arXiv cs.NA0 views
arXiv:2604.01975v3 Announce Type: replace Abstract: We give a practical construction of functions of $N$ variables that are simultaneously equivariant under a group action and invariant under permutations, or simply group-equivariant, valid for any finite-dimensional space stable under that action. The method applies to any connected linear Lie group: it uses the Lie algebra to build a matrix $M$ whose kernel corresponds exactly to the subspace with the desired symmetry properties, removing the need for Clebsch-Gordan coefficients and explicit symmetrization over permutations. For the groups $SO(3)$ and $SU(2)$, the special structure of the matrix $M$ yields a linear scaling method which significantly outperforms the typically exponential cost of existing methods in the literature. As a byproduct, we obtain the exact dimension of group-equivariant and permutation-invariant spaces. This allows us to compare dimensionalities and show that, for large $N$, this dimension is of comparable order to that of the permutation-invariant space alone, while pre-asymptotically it is orders of magnitude lower. Enforcing group-equivariance explicitly, on top of permutation-invariance, therefore yields a substantial computational gain when approximating such functions.
Source:https://arxiv.org/abs/2604.01975PreviousNonlinear compressive reduced basis approximation : when Taylor meets KolmogorovNextSpherical Cap $L_2$ Discrepancy -- Blessing of Dimensionality and a Distance-Kernel Variant
Related posts
Google Play Custom Store Listings: Targeting by Country the Right Way
0dev.to
NHSの630億円AIと、僕らがQuestで作った「遊べる弱視訓練」の距離感 #医療DX #弱視治療 #VR療法 #AmblyoPunch #デジタルヘルス
0dev.to
복셀 지도가 내 눈을 다시 보게 만들었다 — 개발자의 약시 극복기, 그리고 Amblyotube의 이분시 아키텍처에 대한 단상 얼마 전 Hacker News에서 258표를 받은 'Warsaw in voxels'를 열었다.…
0dev.to Programming
Do the math: How we took over ChatGPT accounts
0dev.to Programming

AI Now Writes Lean Proofs Faster Than Lean Can Check Them
0dev.to Programming
The Half-Life Layer — Or, "It Passed in March" Is Not the Same as "It Passes Now"
0dev.to AI