본문으로 건너뛰기
241 / VARIATIONAL GEOMETRY LAB
먼저 알아두면 좋아요 · 연결된 선수 단원의 미분·확률·함수 공간·최적화 기초
단원 목록 (600) · Simplex의 Entropic Mirror Descent
이해하는 속도로 읽으세요.개념도이론실험확인 문제
BUILD YOUR INTUITION

먼저 그림으로 이해하기

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

지수 가중 갱신과 Euclidean 투영의 지지집합을 비교합니다.

Linear cost on the three-probability simplex, initial q=(0.2,0.3,0.5). Blue is Euclidean projected GD; orange is entropic mirror descent q_i∝q_i exp(−eta c_i). Both use actual repeated updates; the triangle is a probability-coordinate embedding, not a Fisher-isometric chart.

-0.041.040.951-0.085
동일 축척 simplex · 파랑 Euclidean projected GD · 주황 entropic mirror · 삼각형은 확률 좌표 표시
stepmirror q1q2q3mirror gapprojected gap
00.20.30.51.31.3
10.5290.2920.1790.650.05
20.8010.1630.0370.2360
30.9250.0690.0060.0810
40.9720.0278.156e-40.0280

entropic final probabilities = (0.972, 0.027, 8.156e-4)

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

Simplex

확률은 비음수이고 합은 1입니다.

q in Delta3

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

확률 제약에 맞는 기하 선택

확률 벡터는 Δ₃={q:qᵢ≥0,Σqᵢ=1}에 속한다. 일반 GD는 밖으로 나갈 수 있어 projected GD는 유클리드 거리로 되돌린다. Mirror descent는 볼록 생성 함수로 이동 비용을 정한다.

실습은 q₀=(0.2,0.3,0.5)에서 선형 비용 c·q를 최소화한다. 정확한 최솟값은 min cᵢ다. 최저 비용 동률이 있으면 하나의 꼭짓점 대신 최적 face가 생긴다.

Entropy가 주는 곱셈 갱신

음의 entropy 생성 함수의 simplex Bregman divergence는 KL(q||q_old)다.

q+=arg⁡min⁡q∈Δ3[ηcTq+DKL(q∥qold)],qi+=qold,ie−ηci∑jqold,je−ηcj.q^+=\arg\min_{q\in\Delta_3} \left[\eta c^Tq+D_{KL}(q\|q_{old})\right], \qquad q_i^+=\frac{q_{old,i}e^{-\eta c_i}}{\sum_jq_{old,j}e^{-\eta c_j}}.

새 변수가 KL의 첫 인자라는 순서가 중요하다. 정규화 승수를 넣어 미분하면 지수 공식을 얻는다. 유클리드 clipping 후 정규화와는 다른 근접 문제다.

비용이 일정하면 qₖ,ᵢ∝q₀,ᵢe⁻ᵏηᶜⁱ다. 구현은 최대 로그 가중치를 뺀 뒤 지수화한다. 제어 범위 안에서 양의 지지집합과 정규화를 유지한다.

유클리드 투영과 비교

파란 경로는 q−ηc를 매번 유클리드 투영하고 주황 경로는 entropic 갱신을 반복한다. 유클리드 투영은 합이 1이 되도록 공통 문턱 τ를 찾아 qᵢ⁺=max(vᵢ−τ,0)로 만든다. 유한 보폭에서 정확한 0이 생길 수 있다. Entropic 양의 가중치는 유한 보폭에서 양수이고 극한에서 0으로 접근할 수 있다.

삼각형 좌표는 (q₂+q₃/2,√3q₃/2)다. 동일 축척은 이 유클리드 표시를 보존할 뿐 Fisher 거리나 KL 기하를 그대로 보존하지 않는다. 실제 확률은 표로 읽자.

다른 비용과 동률 예제

c=(0,1,2),η=1,4회이면 mirror 확률은 약 (0.972467,0.026717,0.000816), 목적 오차는 약 0.028348이다. 투영 GD는 (1,0,0)에 도달해 오차 0이다. 이 유한 예제가 한 방법의 보편적 우위를 뜻하지는 않는다.

c=(0,0,1)이면 첫 두 mirror 확률의 초기 비율 2:3이 유지된다. 셋째 질량이 사라지며 (0.4,0.6,0)으로 접근한다. 기하와 초기화가 최적 face의 특정 점을 선택하는 셈이다. 유클리드 투영의 선택은 다를 수 있다.

직접 풀기와 한계

비용을 모두 같게 하면 모든 점이 최적이고 mirror 분포는 초기값이다. 모든 비용에 같은 상수를 더했을 때 정규화된 지수식에서 상수가 사라짐을 증명하자. 처음부터 0인 성분은 곱셈 갱신으로 되살릴 수 없으므로 여기서는 엄격히 양의 초기화를 사용한다.

일반 수렴률에는 볼록성·기울기 제한·생성 함수 기하·보폭 일정이 필요하다. 세 성분 선형 예제는 실제 갱신과 지지집합 거동을 설명하며 그 일반 정리의 증명을 대신하지 않는다.

더 읽기: Nemirovski의 Mirror Descent 강의.

CHECK YOUR UNDERSTANDING

설명할 수 있나요?

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

1. 유한 entropic 보폭이 양의 확률을 정확히 0으로 만드나요?
2. Simplex 삼각형은 Fisher 거리를 그대로 보존하나요?

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