Linearism › 정의·정리 › 논문 읽기

논문 읽기 정의·정리

17개. "쓰는 것"은 진술이나 증명에서 부르는 정의·정리이고, "쓰이는 곳"은 거꾸로 이 항목을 부르는 곳입니다. 용어로 이어진 관계는 흐리게 표시합니다.

PR.1 기호 사전

정의 1.1

이 장에서 기호(notation)란 논문에서 정의 없이 쓰이는 관례적 표기를 말합니다. 같은 기호가 분야마다 다른 뜻을 가질 수 있으므로, 논문의 “Notation” 절이나 첫 등장 위치를 늘 먼저 확인합니다.

PR.2 논문 읽는 법

정의 2.1

세 번 읽기(three-pass reading)는 논문을 깊이를 달리해 세 번 훑는 방법입니다.

정의 2.3

식의 각 기호에 모양(행렬은 행×열, 벡터는 길이)을 적고, 모든 연산이 성립하며 양변의 모양이 같은지 확인하는 것을 차원 검사(shape check)라 합니다. 물리에서는 같은 방법을 단위에 대해 하며 차원 분석이라 부릅니다.

PR.3 해부: 어텐션

정의 3.1

점수 행 s=(s1,…,sm)\mathbf s = (s_1, \dots, s_m)에 대해 어텐션 가중치(attention weights)는 aj=esj∑lesla_j = \dfrac{e^{s_j}}{\sum_le^{s_l}}입니다.

정리 3.3

q,k∈Rd\mathbf q, \mathbf k \in \mathbb R^d의 성분이 서로 독립이고 평균 0, 분산 1이면 Var(q⊤k)=d\mathrm{Var}(\mathbf q^\top\mathbf k) = d입니다.

정의 3.4

다중 헤드 어텐션(multi-head attention)은 hh개의 서로 다른 투영으로 어텐션을 따로 계산해 이어 붙이고 선형변환합니다.

PR.4 해부: 확산 모델

정리 4.1

q(xt∣x0)=N ⁣(αˉt x0, (1−αˉt)I)q(\mathbf x_t \mid \mathbf x_0) = \mathcal N\!\left(\sqrt{\bar\alpha_t}\,\mathbf x_0,\ (1 - \bar\alpha_t)I\right), 곧

정의 4.2

SNR(t)=αˉt1−αˉt\mathrm{SNR}(t) = \dfrac{\bar\alpha_t}{1 - \bar\alpha_t}를 신호 대 잡음비(signal-to-noise ratio)라 합니다. 신호 분산과 잡음 분산의 비이고, tt가 커질수록 0으로 줄어듭니다. 이후의 많은 논문은 잡음 스케줄을 SNR로 기술합니다.

PR.5 해부: 변분 오토인코더

정의 5.1

다룰 수 있는 분포족으로 사후분포를 흉내 내는 qϕ(z∣x)=N(μϕ(x),diag(σϕ2(x)))q_\phi(\mathbf z \mid \mathbf x) = \mathcal N(\boldsymbol\mu_\phi(\mathbf x), \mathrm{diag}(\boldsymbol\sigma^2_\phi(\mathbf x)))를 근사 사후분포라 하고, 이를 내는 신경망을 인코더(encoder)라 합니다.

정리 5.2

모든 qq에 대해

ln⁡pθ(x)≥Eqϕ(z∣x)[ln⁡pθ(x∣z)]−DKL ⁣(qϕ(z∣x) ∥ p(z))⏟ELBO(θ,ϕ; x).\ln p_\theta(\mathbf x) \ge \underbrace{\mathbb E_{q_\phi(\mathbf z \mid \mathbf x)}\left[\ln p_\theta(\mathbf x \mid \mathbf z)\right] - D_{\mathrm{KL}}\!\left(q_\phi(\mathbf z \mid \mathbf x)\,\Vert\,p(\mathbf z)\right)}_{\mathrm{ELBO}(\theta, \phi;\ \mathbf x)}.

정리 5.3 간격

ln⁡pθ(x)−ELBO=DKL ⁣(qϕ(z∣x) ∥ pθ(z∣x))≥0\ln p_\theta(\mathbf x) - \mathrm{ELBO} = D_{\mathrm{KL}}\!\left(q_\phi(\mathbf z \mid \mathbf x)\,\Vert\,p_\theta(\mathbf z \mid \mathbf x)\right) \ge 0.

정리 5.4

DKL ⁣(N(μ,σ2) ∥ N(0,1))=12(μ2+σ2−ln⁡σ2−1)D_{\mathrm{KL}}\!\left(\mathcal N(\mu, \sigma^2)\,\Vert\,\mathcal N(0, 1)\right) = \frac12\left(\mu^2 + \sigma^2 - \ln\sigma^2 - 1\right).

PR.6 해부: 물리 실험의 공명 곡선 맞춤

정의 6.1

L(ω)=A(ω−ω0)2+(Γ/2)2+BL(\omega) = \dfrac{A}{(\omega - \omega_0)^2 + (\Gamma/2)^2} + B 꼴을 로렌츠 선 모양(Lorentzian lineshape)이라 합니다. ω0\omega_0는 중심, Γ\Gamma는 반치전폭(full width at half maximum, FWHM), BB는 배경입니다.

정리 6.2

Q 인자는 Q=ω0/ΓQ = \omega_0/\Gamma입니다(미분방정식 4장의 Q=mk/c=ω0/γQ = \sqrt{mk}/c = \omega_0/\gamma와 같음).

정의 6.4 카이제곱

χ2(θ)=∑i=1N(yi−f(ωi;θ)σi)2.\chi^2(\boldsymbol\theta) = \sum_{i=1}^N\left(\frac{y_i - f(\omega_i; \boldsymbol\theta)}{\sigma_i}\right)^2.

정의 6.5

자유도 ν=N−p\nu = N - p(pp는 매개변수 수)로 나눈 χν2=χmin⁡2/ν\chi^2_\nu = \chi^2_{\min}/\nu를 축약 카이제곱(reduced chi-squared)이라 합니다.

정리 6.7

매개변수의 공분산 행렬은 근사적으로 C=2[∇2χ2]−1C = 2\left[\nabla^2\chi^2\right]^{-1}이고, 매개변수 θj\theta_j의 표준 불확도는 σθj=Cjj\sigma_{\theta_j} = \sqrt{C_{jj}}입니다.