# Bandwidth-controlled left/right frame conversion

- ID: 2648
- Canonical URL: https://synthcore.org/idea/2648/bandwidth-controlled-left-right-frame-conversion
- API JSON: https://synthcore.org/api/idea/2648.json
- API Markdown: https://synthcore.org/api/idea/2648.md
- Verification status: unverified
- Source: [arXiv:2608.21235](https://arxiv.org/abs/2608.21235)
- Category: geometry
- Solves: stability, accuracy, scalability
- ML areas: embedding, graph-nn, world-model, memory
- Math tags: lie-groups, representation-theory, harmonic-analysis, linear-algebra
- Ratings: usefulness 6/10; difficulty 6/10; novelty 7/10

## Idea description

Store rotational vector features in whichever invariant frame is natural for the operation, then convert between body-fixed and space-fixed components spectrally. The conversion is an adjoint rotation, and multiplication by its degree-one coefficients increases harmonic bandwidth by at most one, giving an explicit anti-aliasing rule.

## Mathematical statement

Let \(X_a^L\) and \(X_a^R\) be the left- and right-invariant orthonormal frames on SO(3), and write \(\vec F=\sum_aF_a^LX_a^L=\sum_aF_a^RX_a^R\). The frames satisfy \(X_a^R(R)=\sum_bR_{ba}X_b^L(R)\), where \(R_{ba}\) is the ordinary 3-by-3 rotation matrix, so the components satisfy \(F_b^L(R)=\sum_aR_{ba}F_a^R(R)\) and \(F_a^R(R)=\sum_bR_{ba}F_b^L(R)\), using \(R^{-1}=R^{\mathsf T}\). Each coordinate function \(R_{ba}\) is a degree-one Wigner harmonic. If each input component has harmonic support only for degrees \(0\leq\ell\leq L\), the Clebsch-Gordan product rule \(D^1\otimes D^\ell\cong D^{\ell-1}\oplus D^\ell\oplus D^{\ell+1}\) implies that the converted field has support only through degree \(L+1\). This gives a deterministic bandwidth-growth and truncation rule rather than relying on uncontrolled coordinate interpolation.

## Key formulas

- $$\vec F=\sum_{a=1}^{3}F_a^L(R)\vec X_a^L(R)=\sum_{a=1}^{3}F_a^R(R)\vec X_a^R(R)$$
- $$\vec X_a^R(R)=\sum_{b=1}^{3}R_{ba}\vec X_b^L(R),\qquad F_b^L(R)=\sum_{a=1}^{3}R_{ba}F_a^R(R),\qquad F_a^R(R)=\sum_{b=1}^{3}R_{ba}F_b^L(R)$$
- $$D^{1}\otimes D^{\ell}\cong D^{\ell-1}\oplus D^{\ell}\oplus D^{\ell+1},\qquad \operatorname{bandwidth}(F^R)\leq L+1\ \text{if}\ \operatorname{bandwidth}(F^L)\leq L$$

## Implementation notes

Use this at the interface between a body-frame module and a world-frame module. Store a body-frame feature tensor F_L[a,l,m,n], with a=1,2,3 indexing components and l up to L; the receiving module expects F_R[a,l,m,n]. Precompute the degree-one coefficient arrays for the coordinate functions R_{ba}(R), or precompute Clebsch-Gordan coupling matrices from the degree-one representation and every degree l. Pseudocode: initialize F_R to zero for degrees 0,...,L+1; for each input degree l, component b, and output component a, multiply the degree-one coefficients of R_{ab} by F_L[b,l] using the Clebsch-Gordan product; accumulate only output degrees l-1, l, and l+1; remove invalid negative degrees; optionally project to a fixed maximum degree L and record the discarded coefficient energy. If a fixed-memory architecture is required, use a residual low-pass projection after conversion rather than silently aliasing high degrees. The exact mathematical content is the adjoint-frame relation and the Clebsch-Gordan bandwidth bound; numerical coupling tables are generated once from Wigner 3j coefficients. First test random band-limited vector fields by converting left-to-right and back, checking relative reconstruction error and equivariance under random rotations. Then insert the conversion between body-frame and world-frame blocks in a small molecular pose or SO(3)-equivariant graph network. Compare against Euler-angle component conversion and naive pointwise interpolation. Success means near-machine-precision round-trip error before truncation, no coordinate singularity artifacts, and improved validation accuracy or equivariance at equal retained-coefficient memory.

## Disclaimer

AI-generated research hypothesis, automatically tested. Not peer-reviewed.