본 논문은 불변 모델(invariant models)의 이론적 표현력을 특징짓는 데 초점을 맞추고 있다. 특히 완전 연결 조건 하에서 다양한 불변 모델의 표현력을 엄밀하게 분석한다. 먼저 거리 정보를 포함하는 메시지 전달 신경망(DisGNN)의 표현력을 분석하여, 식별 불가능한 경우가 고도로 대칭적인 점 구름으로 제한됨을 보였다. 그리고 GeoNGNN이 이러한 대칭성을 깨고 E(3)-completeness를 달성할 수 있음을 증명한다. GeoNGNN을 이론적 도구로 활용하여 기존 그래프 학습에서 개발된 대부분의 subgraph GNN들이 E(3)-completeness를 갖는 기하학적 환경으로 확장될 수 있음을 증명하고, DimeNet, GemNet, SphereNet과 같은 잘 확립된 불변 모델들도 E(3)-completeness를 달성할 수 있음을 보인다. 이러한 이론적 결과는 불변 모델의 표현력에 대한 격차를 메우고, 그 능력에 대한 엄밀하고 포괄적인 이해에 기여한다.