본문으로 건너뛰기
211 / SYMMETRY AND REPRESENTATION LAB
먼저 알아두면 좋아요 · 연결된 선수 단원의 선형대수·미분·군·기하 기초
단원 목록 (600) · 국소 Gauge·Link와 공변 메시지
이해하는 속도로 읽으세요.개념도이론실험확인 문제
BUILD YOUR INTUITION

먼저 그림으로 이해하기

한 번에 한 단계씩 살펴보세요.

위치별 frame 변화에 맞춰 feature와 운반 link를 함께 변환합니다.

Local SO(2) gauges g_i change h_i to g_i h_i and links U_ij to g_i U_ij g_j^-1; U_ij maps j-components to i-components. Triangle positions stay fixed. Orange segments show changed local feature components at display scale 1/4, not physical displacement. Wilson loop transforms by conjugation; this example is Abelian.

-0.0451.171.079-0.088
동일 축척 base 삼각형 · 파랑 고정 위치·link 연결 · 주황 국소 성분의 1/4 표시 · 실제 물리 변위 아님
directed link i from jangle beforeangle after local gauge
0 from 11.5713.142
1 from 21.5711.571
2 from 00-1.571

message covariance error = 0

고정 기준 예제의 그림과 수치입니다. 각 단계에서 같은 그림의 의미를 차례로 살펴보세요. 고정된 기준 예제이며 아래 실험의 설정과 독립적입니다.
1 / 4

국소 선택

위치마다 feature를 읽는 frame을 다르게 바꿀 수 있습니다.

g0,g1,g2 need not coincide

실험에서 확인하기 →
이 단원 목차

Base 기하를 유지한 채 국소 Frame을 바꿀 수 있습니다

전역 대칭은 영역 전체에 같은 변환을 적용하지만 국소 gauge는 위치마다 다른 feature frame을 택합니다. 실험의 삼각형 위치는 고정이며 각 hᵢ는 두 성분이고 gᵢ∈SO2입니다. hᵢ'=gᵢhᵢ라는 성분 관례를 명시합니다. 역을 쓰는 passive 관례도 가능하지만 일관되게 적용해야 합니다.

frame을 독립적으로 바꾸면 이웃 성분을 바로 더할 수 없습니다. Uᵢⱼ는 j의 성분을 i의 성분 공간으로 옮깁니다. 운반의 일관성을 요구하면 다음과 같습니다.

Uij′=giUijgj−1,Uij′hj′=gi(Uijhj).U_{ij}'=g_iU_{ij}g_j^{-1},\qquad U_{ij}'h_j'=g_i(U_{ij}h_j).

입력 쪽의 역이 그 점의 frame 변화를 상쇄해 출력점 변화만 남깁니다. 운반 메시지가 gauge 공변일 수 있는 이유입니다.

메시지 손계산

h₁=(0.5,1),U₀₁=Rπ/2이면 m₀=(−1,0.5)입니다. g₀=Rπ/2,g₁=I로 바꾸고 link도 올바르게 바꾸면 m₀'=g₀m₀=(−0.5,−1)입니다. link를 고정하는 실수를 하면 메시지는 (−1,0.5)에 남아 오차 √2.5≈1.581입니다.

주황 선분은 바뀐 국소 성분을 공통 배율 1/4로 표시합니다. 삼각형 꼭짓점을 움직이는 실제 물리 변위가 아닙니다. 성분과 link 각은 변해도 적절한 norm scalar·loop trace는 유지될 수 있습니다.

폐곡선은 켤레 변환됩니다

link는 0←1,1←2,2←0을 따릅니다. L=U₀₁U₁₂U₂₀는 0번 점의 성분에 작용하며 중간 gauge 인자가 지워집니다.

L′=g0Lg0−1,tr⁡(L′)=tr⁡(L).L'=g_0Lg_0^{-1},\qquad \operatorname{tr}(L')=\operatorname{tr}(L).

SO2는 가환이라 이 예제의 loop 행렬 자체도 같습니다. 비가환 군에서는 일반적으로 켤레류가 유지될 뿐 모든 성분이 같은 것은 아닙니다. 원래 link 각 (π/2,π/2,0)이면 L=Rπ=−I, trace=−2입니다.

직접 풀기와 풀이

기준 link 각을 0으로 하고 국소 각을 (π/2,π,−π/2)로 두세요. 변환된 link 각은 비영이어도 loop는 항등이고 trace 2입니다. 단순 frame 변화이므로 비영 link 좌표만으로 곡률을 주장할 수 없습니다. trace와 메시지 공변 오차를 확인하세요.

기하와 AI의 연결

굽은 표면의 이웃 접특징에는 호환되는 국소 frame과 운반이 필요합니다. gauge 등변 구성은 이 의존성을 정리합니다. 이산 connection은 실제 holonomy를 가질 수 있고 gauge 변화는 그 표현을 바꿉니다. 세 점 SO2 계산은 이 법칙의 도입이며 비가환 gauge field·연속 곡률 tensor·네트워크 전체를 구현한 것은 아닙니다.

추가 읽기: Cohen et al., Gauge Equivariant Convolutional Networks.

CHECK YOUR UNDERSTANDING

설명할 수 있나요?

실험 설정과 무관한 기준 예제를 묻습니다. 답을 고르고 설명을 확인해보세요.

1. feature만 바꾸고 link는 고정해도 국소 등변인가요?
2. 이 예제의 SO2 gauge는 비가환인가요?

선택한 답과 학습 표시는 이 브라우저에 저장됩니다. 다시 풀거나 표시를 해제할 수 있습니다.