Jones 편광과 파장판·분석기

실제 전기 벡터의 움직임에서 시작하기

단색광의 한 위치에서 횡방향 전기 벡터를 관찰하면 끝점이 직선·원·타원을 따라 움직일 수 있다. 편광은 이 운동과 전파 방향의 관계를 설명한다. 앞에서 다룬 스칼라 파동에 두 번째 물리적 횡방향 성분을 추가한 것이며, 하나의 위상자 허수부가 물질의 다른 변위 방향이 된다는 뜻은 아니다.

이 단원에서는 Jones 벡터에서 실제 두 실수 성분을 만들고, 이상적 광학 소자를 통과시켜 검출 강도를 예측한다. 실제 시간 의존 벡터·복소 표현·제곱 검출량을 계속 구분한다. 무작위 혼합과 부분 편광은 다음 단원의 결맞음 행렬로 다룬다. 그림이 타원처럼 보인다는 이유만으로 모든 광원을 하나의 결정적 벡터로 설명하지 않는다.

좌표와 단위 및 가정

전파 방향을 $+z$, 오른손 기저를 $(x,y,z)$로 정하고 $\exp[i(kz-\omega t)]$ 관례를 사용한다. 균질한 등방 매질의 횡방향 평면파는 파수 벡터에 수직인 두 전기 성분을 갖는다. 강한 집속, 여러 전파 방향의 중첩, 이방성 전자기 경계에서는 고정한 두 성분만으로 충분하지 않을 수 있다. 현재 모델의 적용 범위를 먼저 정한다.

진폭은 교정된 무차원 장 단위로 두고 정규화 강도를 $I=|E_x|^2+|E_y|^2$로 정의한다. 실제 W/m² 복사조도를 얻으려면 장의 교정값·매질 임피던스·실수장 주기 평균 계수가 필요하다. 이것을 앞 단원의 용수철 역학적 에너지와 동일시하지 않는다.

단색·선형·결정적 소자를 가정한다. 이상적 지연판은 흡수와 반사 없이 상대 위상을 바꾸고, 편광판은 한 방향을 투과시키며 직교 방향을 제거한다. 이런 이상적 성질이 모든 파장과 입사각에서 실제 부품의 정확성을 보장하지는 않는다.

Jones 벡터 구성하기

비음수 진폭 $a_x,a_y$와 위상 $\phi_x,\phi_y$로

$$\mathbf E=\begin{pmatrix}a_xe^{i\phi_x}\\a_ye^{i\phi_y}\end{pmatrix}, \qquad \boldsymbol{\mathcal E}(t)=\operatorname{Re}\{\mathbf E e^{-i\omega t}\}$$

라 쓴다. 두 원소는 실제 $x,y$ 방향을 나타낸다. 각 원소가 복소수인 이유는 진폭과 시간 위상을 함께 표현하기 때문이다. 시간 위상 $\tau=\omega t$에서 복소 성분 $u+iv$의 실제 값은 $u\cos\tau+v\sin\tau$다. 복소 평면의 실수·허수 축과 실제 공간의 두 횡방향 축은 다르다.

이 식으로 타원 애니메이션을 직접 검사할 수 있다. 복소 벡터 그림 자체가 실제 전기 벡터의 궤적은 아니다. 화면에서 천천히 돌아가는 광학 진동도 실제 가시광선 진동수가 아니다. 표시 매개변수는 시간 위상이며, 물리적 초 단위 시간을 뜻하려면 각진동수까지 지정해야 한다.

정규화와 전체 위상의 역할

영이 아닌 복소 상수를 곱하면 편광의 모양은 같다. 그 절댓값은 강도를 바꾸고 공통 위상은 시간 원점을 바꾼다. 단위 Jones 상태는 $\sqrt I$로 나누지만, 투과량을 비교할 때는 원래 강도를 따로 보존해야 한다. 상태를 표현하기 위한 정규화와 실제 소자의 감쇠는 다른 과정이다.

예를 들어 $(1,i)$와 $(1,i)/\sqrt2$는 같은 원편광이지만 정규화 강도는 각각2와1이다. 저장한 벡터를 단위화했다고 실제 광학 소자가 절반의 에너지를 흡수한 것으로 보고하면 안 된다. 모양·방향과 크기를 함께 관리한다.

외부 위상 기준이 없는 편광 측정에서는 전체 위상을 알 수 없다. 그러나 정한 시계 위상에서의 실제 벡터는 달라지고, 다른 빔과 간섭시키면 그 위상이 관측될 수 있다. 영장에는 노름으로 나눈 편광 상태가 없다. 영강도와 양의 강도를 가진 무편광은 다른 상태다.

실수장에서 타원 방정식 유도하기

첫 위상을 시간 원점에 흡수하고 $\delta=\phi_y-\phi_x$라 두면

$$\mathcal E_x=a_x\cos\tau,\qquad \mathcal E_y=a_y\cos(\tau-\delta)$$

다. 두 진폭이 모두 양수일 때 $X=\mathcal E_x/a_x$, $Y=\mathcal E_y/a_y$를 사용해 $\tau$를 제거하면

$$X^2+Y^2-2XY\cos\delta=\sin^2\delta$$

를 얻는다. 일반적으로 타원이며 특정 위상에서는 직선으로 퇴화한다. 위상 차이를 바꿔도 별도 경로의 진폭을 바꾸지 않고 궤적 모양을 바꿀 수 있다는 점을 보여 준다.

어느 성분이 없으면 그 성분으로 나눌 수 없고 상대 위상도 관측할 수 없다. 비교할 두 번째 진동이 없기 때문이다. 모든 경우를 같은 식에 억지로 넣기보다 퇴화 조건을 따로 처리해야 수학과 화면의 의미가 일치한다.

관측 방향을 명시한 선형·원형 상태

상대 위상이0 또는 $\pi$이면 직선, 두 진폭이 같고 상대 위상이 $\pm\pi/2$이면 원이다. 진폭이 다르거나 다른 위상 차이를 가지면 일반적으로 타원이 되며 주축이 좌표축과 일치할 필요는 없다. 같은 기저의 성분비와 상대 위상을 함께 확인한다.

$(1,i)/\sqrt2$는 $z=0$에서

$$\boldsymbol{\mathcal E}(\tau)=\frac1{\sqrt2} \begin{pmatrix}\cos\tau\\\sin\tau\end{pmatrix}$$

를 준다. 정한 기저에서 광원을 바라보는 관측자에게 반시계 방향으로 회전하며 여기의 관례에서는 좌원편광이라 부른다. 보는 방향이나 시간 인자의 부호를 바꾸면 이름이 뒤집힐 수 있다. 좌·우라는 말만 외우기보다 실제 성분 식과 관측 방향을 같이 기록한다.

주축과 미정이 되는 관측량

실제 궤적은 단위원에 실수 행렬

$$F=\begin{pmatrix}\operatorname{Re}E_x&\operatorname{Im}E_x\\ \operatorname{Re}E_y&\operatorname{Im}E_y\end{pmatrix}$$

를 작용한 것이다. 따라서 반장축·반단축은 $F$의 특잇값이다. $S_1=|E_x|^2-|E_y|^2$, $S_2=2\operatorname{Re}(E_xE_y^*)$, $S_3=-2\operatorname{Im}(E_xE_y^*)$라 두면

$$a^2=\frac{I+\sqrt{S_1^2+S_2^2}}2,\qquad b=\frac{|S_3|}{2a},\qquad \alpha=\tfrac12\operatorname{atan2}(S_2,S_1)$$

다. 단축의 식은 거의 선형인 상태에서 비슷한 두 값을 빼는 수치 소거를 피한다. 원에는 유일한 장축 방향이 없으므로 $\alpha$가 미정이며, 영장에는 정규화된 타원율이 없다. 퇴화 상태 근처에서는 장 자체가 정확해도 방향 각도는 작은 오차에 민감할 수 있다. 각도를 무조건0으로 채우지 않는다.

지연판은 상대 위상을 바꾼다

주축 기저의 이상적 지연판은

$$D(\Delta)=\begin{pmatrix}1&0\\0&e^{i\Delta}\end{pmatrix}$$

다. $D^\dagger D=I_2$이므로 $\mathbf E^\dagger\mathbf E$를 보존한다. dagger는 복소켤레 전치다. 이 변환은 복소 유니터리이며 일반적인 실수 직교 행렬과 구별한다. 설계 파장에서 사분파장판은 $\Delta=\pi/2$, 반파장판은 $\pi$, 전파장판은 $2\pi$의 지연을 준다.

주축 굴절률이 주어지고 반사를 무시하면 진공 파장 $\lambda_0$, 두께 $\ell$에서 $\Delta=2\pi(n_y-n_x)\ell/\lambda_0$다. 여기서는 지연을 직접 조절하며 실제 판이 모든 파장에서 그 값을 유지한다고 주장하지 않는다. 공통 전파 위상을 생략한 이유도 현재 관측이 외부 간섭 기준을 사용하지 않기 때문이다.

축 회전과 소자 순서

$$R(\theta)=\begin{pmatrix}\cos\theta&-\sin\theta\\\sin\theta&\cos\theta\end{pmatrix}, \qquad J_R=R(\theta)D(\Delta)R(\theta)^T$$

라 둔다. $R$의 첫 열은 첫 번째 실제 주축 방향이다. 입력을 주축 성분으로 바꾸고 지연을 적용한 다음 원래 기저로 돌아온다. 능동·수동 회전의 의미를 생략한 식을 섞지 않고, 이 정의에서 행렬의 부호와 순서를 확정한다.

빛이 $J_1$ 다음 $J_2$를 지나면 출력은 $J_2J_1\mathbf E$다. 오른쪽 행렬이 먼저 작용한다. 두 소자는 일반적으로 교환하지 않으므로 순서가 바뀌면 편광뿐 아니라 투과 강도도 달라질 수 있다. 구현은 중간 장도 반환하여 결합 행렬 하나에 가려진 차이를 실제 단계별로 비교하게 한다.

선형 분석기는 투영이다

투과 방향 $\mathbf n=(\cos\gamma,\sin\gamma)^T$에 대해

$$P_\gamma=\mathbf n\mathbf n^T,\qquad \mathbf E_{\rm out}=\mathbf n(\mathbf n^T\mathbf E)$$

다. 이 투영은 Hermitian이며 두 번 적용해도 같지만 유니터리는 아니다. 단위 강도의 선형 입력이 각도 $\alpha$를 가지면 $I_{\rm out}=\cos^2(\alpha-\gamma)$가 되어 Malus 법칙을 얻는다. 이 이상적 수동 소자에서 출력 노름이 입력 노름보다 커질 수는 없다.

분석 전의 직교 성분은 전체 제곱 노름에서 교차항을 갖지 않는다. 분석기는 두 기여를 같은 투과축의 복소 진폭으로 섞기 때문에 제곱하기 전에 상대 위상에 따른 간섭이 나타난다. 서로 다른 편광의 성분을 스칼라 진폭처럼 무조건 더하면 안 되는 이유다.

실수 전기 벡터의 제곱 크기는 한 주기 평균에서 $I_{\rm out}/2$다. 이 절반은 복소 진폭에서 실수장 평균으로 바꾸는 계수이지 임의로 추가한 편광판 손실이 아니다. 완전히 차단된 출력에는 관측 가능한 편광 방향이나 정규화 상태가 없다.

사분·반파장판과 교환하지 않는 예제

단위 강도의45도 선형 입력은 $(1,1)/\sqrt2$다. 좌표축에 맞춘 사분파장판은 이를 $(1,i)/\sqrt2$로 바꾸므로 정한 관례의 원편광을 만든다. 적절한 역변환을 사용하면 원편광을 선형 상태로 되돌릴 수 있다. 이때 진폭 노름은 보존되고 상대 위상만 달라진다.

축이 $\theta$인 반파장판은 수평 입력을 각도 $2\theta$로 보낸다. $\theta=\pi/4$이면 수평·수직 성분을 교환한다. 수평 입력을 먼저 이 판에 보내고 수평 분석기를 통과시키면 완전히 차단된다. 순서를 바꾸면 분석기가 수평 강도1을 먼저 투과시키고 판이 이를 수직으로 회전시킨다. 중간 상태가 다르므로 최종 투과량도 다르다.

이 결과는 이상적인 한 파장 모델이다. 실제 소자에는 감쇠·파장 의존 지연·표면 반사가 있을 수 있으며 그 경우 더 상세한 모델과 측정값이 필요하다. 수학적으로 정확한 행렬 계산과 실제 부품의 정확성을 구분한다.

타원 상태를 숫자로 확인하기

$$\mathbf E=\begin{pmatrix}\sqrt3/2\\e^{i\pi/3}/2\end{pmatrix}$$

를 택한다. 강도는1이고 $S_1=1/2$, $S_2=\sqrt3/4$, $S_3=3/4$다. 제곱합이1이므로 영이 아닌 결정적 Jones 상태의 조건과 맞는다. 타원 방향은 $\tfrac12\operatorname{atan2}(\sqrt3/4,1/2)$로 약20.45도다. 성분의 진폭비만 보고 이 각도를 단순히 정하면 상대 위상 효과를 놓친다.

반장축과 반단축은 약0.9114와0.4114이며 양의 부호를 가진 타원율이다. 두 축 길이의 제곱합은1, 곱의 두 배는 $S_3=0.75$다. 수평 분석기를 놓으면 첫 성분만 남아 강도3/4의 수평 선형 출력이 된다. 실수장 제곱 크기의 주기 평균은3/8이다.

이 예제는 정규화된 모양과 실제 투과량을 분리한다. 최종 단위 Jones 방향만 보고하면 원래 정규화 강도의1/4이 제거된 사실을 숨긴다. 역문제에서도 어떤 관측값을 보존했는지 함께 기록해야 한다.

분석기 스캔으로 식별할 수 있는 것

회전하는 선형 분석기는 각도에 따른 제곱 관측량을 측정한다. 선형 방향의 선호는 알 수 있지만 절대 광학 위상을 직접 측정하지는 않는다. 서로 반대인 원편광은 실제 벡터의 회전 방향이 달라도 모든 선형 분석기에서 자기 강도의 절반을 투과시킨다.

더 나아가 양의 강도의 무편광 집단도 완전히 원형인 결정적 상태와 같은 평탄한 선형 분석기 스캔을 만들 수 있다. 다음 단원에서는 결맞음 행렬과 원편광에 민감한 분석으로 이 차이를 구별한다. 하나의 Jones 벡터로 모든 확률 집단을 표현할 수는 없다.

역모델을 학습하기 전에 실제 측정이 어떤 정보를 갖는지 나열한다. 충분하지 않은 강도 자료로 그럴듯한 타원을 복원해도 그것은 가능한 설명 하나일 수 있으며 유일하게 식별된 물리 상태라는 보장은 없다.

AI 실험과 독립적인 대조군

AI로 광학 소자 변환을 학습하거나 분석기 강도에서 입력을 추론할 수 있다. 복소장 오차·강도 오차·편광 모양 오차를 따로 평가한다. 전체 위상은 일부 오차를 바꾸지만 다른 관측량은 유지한다. 출력 방향을 단위화하면 잘못 예측한 투과량도 가려질 수 있다.

무손실 지연판은 노름 보존 대조군, 직교 분석기는 차단 대조군, 반대 소자 순서는 비가환성 대조군이다. 같은 타원의 이웃 시간 표본을 훈련·평가로 나누어 놓고 새로운 광학 소자에 일반화했다고 주장하지 않는다. 보지 못한 지연·방향·입력 타원 상태를 평가 조건으로 분리한다.

독립 벡터 투영은 행렬 순서를, 특잇값 분해는 타원 축을, 직접 시간 적분은 주기 평균 계수를 검사한다. 제품 함수를 다시 불러 만든 곡선끼리의 비교보다 강한 근거다. 수학 검증과 독자 화면의 실제 조작 검증은 별도 단계로 관리한다.

해설 문제

문제 1 — 물리적 손실 없이 상태 정규화하기

$(1,i)$와 $(1,i)/\sqrt2$를 비교하면 무엇이 달라지는가?

해설: 원형 모양과 회전 방향은 같고 정규화 강도는2에서1로 바뀐다. 저장된 벡터를 단위 상태로 표현했다고 실제 소자가 절반의 에너지를 흡수한 것은 아니다. 편광 상태를 나타내는 방향과 원래 세기를 별도 변수로 보존해야 투과량을 올바르게 해석할 수 있다.

문제 2 — 사분 주기의 실제 벡터

$\mathbf E=(1,i)$, $\tau=\pi/2$에서 실제 전기 벡터를 구하라.

해설: $e^{-i\tau}$ 관례에서 실제 성분은 $(\cos\tau,\sin\tau)=(0,1)$이다. 시간 인자의 부호를 뒤집으면 회전 방향도 바뀐다. 좌·우 원편광을 명명하기 전에 기저·전파 방향·관측 방향과 시간 관례를 명시해야 한다.

문제 3 — Malus 관측 예측하기

단위 강도의 수평 입력을60도 분석기에 보내면 출력 강도와 실수 제곱의 주기 평균은 얼마인가?

해설: 정규화 강도는 $\cos^2(60^\circ)=1/4$이고 실수 벡터 제곱 크기의 평균은1/8이다. 두 값은 정의가 다른 관측량이다. 알려진 절반 계수를 적용하면 일치하며 임의의 두 전력 예측이 서로 모순되는 상황이 아니다.

문제 4 — 두 소자의 순서 뒤집기

수평·수직을 교환하는 반파장판과 수평 분석기에 수평 입력을 보낸다. 두 순서를 비교하라.

해설: 판을 먼저 지나면 수직이 되어 분석기에서0이 된다. 분석기를 먼저 지나면 강도1의 수평 상태가 투과되고 판이 이를 수직으로 회전시킨다. 두 행렬은 교환하지 않으며 중간 상태를 보면 최종 강도가 달라지는 이유를 설명할 수 있다.

문제 5 — 전체 위상을 편광 측정으로 찾기

Jones 벡터에 $e^{i0.7}$을 곱하면 무엇이 달라지는가?

해설: 정한 시간 위상에서의 실제 벡터는 달라진다. 강도·타원 축·모든 분석기 강도는 같다. 외부 간섭 위상 기준이 있다면 변화를 검출할 수 있으므로, 관측 불가능하다는 설명은 현재 정의한 편광 관측에 한정된다.

문제 6 — 차단된 빔의 타원

완전 차단 뒤에는 어떤 정규화 편광을 보고해야 하는가?

해설: 장의 노름이0이므로 정규화 상태가 정의되지 않는다. 강도와 투과율은0일 수 있지만 방향·편광도·타원율은 미정이다. 이는 양의 강도를 가진 무편광과 다르다. 무편광에는 분석기를 통과한 강도의 통계가 존재하므로 빈 빔으로 대체할 수 없다.

자료와 재현 가능한 검증

TU Delft Interactive Optics는 Jones 상태와 이상적 소자를 소개한다. NIST SCATMECH 관례는 시간 인자와 원편광 정의를 명시한다. 위의 식·수치 준비·순서 예제·검사는 정한 모델에서 직접 유도했다.

src/lib/learning-polarization.ts의 jonesPolarizationExperiment는 중간·최종 Jones 장, 타원 진단과 실제 벡터 궤적을 반환한다. 독립 Python 생성기는 기하학적 투영·NumPy SVD·QUADPACK 주기 적분을 사용한다. TypeScript 검사는 실제 모델을 그 기준값과 물리 극한에 대조한다. 이는 계산과 원고의 근거이며 홈페이지 등록과 화면 조작 검증은 별도 통합 단계다.