[논문 리뷰] Linear Algebra for Mueller Calculus

Andrea Aiello, J. P. Woerdman|ArXiv.org|2004. 12. 17.

Optical Polarization and Ellipsometry참고 문헌 7인용 수 18

한 줄 요약

이 논문은 스트로우스 매개변수와 파울리 행렬에 대해 일관된 양자 유도 표기법을 사용하여 무엘러-스트로우스 형식을 통합적이고 수학적으로 엄밀하게 다룬다. 무엘러 행렬과 존슨 행렬 간의 핵심 관계를 유도하고, 분해 정리를 수립하며, 필드에 의존하는 16×16 무엘러 행렬을 통해 고전적 무엘러 미적분의 양자역학적 이중성을 제시함으로써 양자 광학에서의 편광 분석을 위한 일관된 프레임워크를 제공한다.

ABSTRACT

We give a self-contained exposition of some mathematical aspects of the Mueller-Stokes formalism. In the first part we review some basic notions of linear algebra and establish a proper notation. In the second part we introduce the Mueller-Stokes formalism and derive some useful mathematical relation between physical quantities. Finally a useful decomposition theorem is reviewed.

연구 동기 및 목표

• 문헌 간 표기의 모순을 해결하기 위해 스트로우스 매개변수와 파울리 행렬에 대해 통합된 양자 유도 형식을 도입한다.
• 특히 결정성 및 비결정성 시스템에 대해 무엘러 행렬과 존슨 행렬 간의 명시적 수학적 관계를 도출한다.
• 무엘러 행렬의 분해 정리를 수립하여 물리적 실현 조건을 명확히 한다.
• 양자 영역으로 고전적 무엘러 미적분을 확장하기 위해 얽힌 또는 상관관계가 있는 빛의 필드를 위한 두 양자 광자 16×16 무엘러 행렬 형식을 제시한다.
• 무엘러-스트로우스 형식에 대해 자가 포함적이고 수학적으로 일관된 기초를 제공하여 양자 광학 및 편광 측정 분야의 응용을 촉진한다.

제안 방법

• 파울리 행렬과 스트로우스 매개변수에 대해 양자 유도 표기법을 채택하여 $ S_0, S_1, S_2, S_3 $ 를 고전 광학 관례가 아닌 표준 양자역학 관례에 맞게 재정의한다.
• 단위 행렬 $ Q $ 를 통해 저자들이 사용하는 스트로우스 벡터 $ \vec{S} $ 와 반 데 헐스트 표기법 $ \vec{S}^\mathrm{H} $ 간의 변환을 유도함으로써 일관된 행렬 관계를 확보한다.
• 저자들의 무엘러 행렬 $ M $ 과 표준 광학 무엘러 행렬 $ M^\mathrm{H} $ 간의 관계 $ M = Q M^\mathrm{H} Q^{-1} $ 를 수립하여 표기 간 일관성을 확보한다.
• 출력 두 양자 광자 스트로우스 매개변수를 $ \langle \hat{S}_{(\mathcal{A})} \otimes \hat{S}_{(\mathcal{B})} \rangle^{\mathrm{out}} = \sum_{\mathcal{A}', \mathcal{B}'} \mathbf{M}_{\mathcal{A}\mathcal{B}, \mathcal{A}'\mathcal{B}'} \langle \hat{S}_{(\mathcal{A}')} \otimes \hat{S}_{(\mathcal{B}')} \rangle^{\mathrm{in}} $ 로 표현함으로써 고전적 무엘러 미적분의 두 양자 광자 양자 이중성을 도출한다. 여기서 $ \mathbf{M} $ 은 필드에 의존하는 16×16 행렬이다.
• 입력 상태의 상관관계를 $ R_{a'b',a''b''}^{\mathrm{in}} $ 를 통해 포함하는 방식으로 모드 인덱스 합으로 표현되는 필드에 의존하는 16×16 무엘러 행렬 $ \mathbf{M}_{\mathcal{A}\mathcal{B}, \mathcal{A}'\mathcal{B}'} $ 를 정의한다.
• 비수축 근사(Paraxial approximation)를 사용하여 밀도 행렬과 스트로우스 매개변수 간의 관계를 단순화함으로써 $ \langle \hat{S}_{(\mathcal{A})} \otimes \hat{S}_{(\mathcal{B})} \rangle^{\mathrm{in}} = S_{\mathcal{A}\mathcal{B}}^{\mathrm{in}} $ 를 도출하고, 이는 최종적으로 무엘러 방정식의 양자역학적 형태를 가능하게 한다.

실험 결과

연구 질문

• RQ1 문헌 간의 표기 차이를 해결하기 위해 무엘러-스트로우스 형식에 대해 일관되고 통합된 표기 체계를 어떻게 확립할 수 있는가?
• RQ2 다른 스트로우스 매개변수 표기 관례에서 저자들의 무엘러 행렬과 표준 광학 무엘러 행렬 간의 정확한 수학적 관계는 무엇인가?
• RQ3 무엘러 행렬이 존슨 행렬에서 유도될 수 있는 조건은 무엇이며, 이러한 조건을 대수적으로 어떻게 특성화할 수 있는가?
• RQ4 고전적 무엘러-스트로우스 형식은 어떻게 양자 영역으로 일반화될 수 있으며, 특히 두 양자 광자가 얽히거나 상관관계가 있는 상태에 대해 어떻게 적용될 수 있는가?
• RQ5 두 양자 광자 무엘러 행렬의 구조는 무엇이며, 이는 입력 상태의 상관관계 성질과 어떻게 관련이 있는가?

주요 결과

• 저자들은 파울리 행렬과 스트로우스 매개변수에 대해 양자 유도 표기법을 채택하여 $ S_1 = U $, $ S_2 = -V $, $ S_3 = Q $ 로 재정의함으로써 표준 양자역학 관례와 일치시키고 대수적 연산을 단순화한다.
• 저자들의 스트로우스 벡터 $ \vec{S} $ 와 반 데 헐스트 표기법 $ \vec{S}^\mathrm{H} $ 를 연결하는 단위 변환 $ Q $ 가 도출되었으며, $ \vec{S} = Q \vec{S}^\mathrm{H} $ 를 만족함으로써 일관된 행렬 변환을 가능하게 한다.
• 저자들의 무엘러 행렬과 표준 광학 무엘러 행렬 간의 관계 $ M = Q M^\mathrm{H} Q^{-1} $ 가 수립되어, 표기 간 직접적인 변환을 가능하게 한다.
• 두 양자 광자 양자 이중성의 무엘러-스트로우스 형식이 $ \langle \hat{S}_{(\mathcal{A})} \otimes \hat{S}_{(\mathcal{B})} \rangle^{\mathrm{out}} = \sum_{\mathcal{A}', \mathcal{B}'} \mathbf{M}_{\mathcal{A}\mathcal{B}, \mathcal{A}'\mathcal{B}'} \langle \hat{S}_{(\mathcal{A}')} \otimes \hat{S}_{(\mathcal{B}')} \rangle^{\mathrm{in}} $ 로 도출되었으며, 여기서 $ \mathbf{M} $ 은 필드에 의존하는 16×16 행렬이다.
• 비수축 근사에서 입력 두 양자 광자 스트로우스 매개변수는 $ \langle \hat{S}_{(\mathcal{A})} \otimes \hat{S}_{(\mathcal{B})} \rangle^{\mathrm{in}} = S_{\mathcal{A}\mathcal{B}}^{\mathrm{in}} $ 를 만족하며, 이는 양자 형식에서 고전적 스트로우스 매개변수의 사용을 정당화한다.
• 최종적으로 무엘러 방정식의 양자 버전은 $ S_{\Phi}^{\mathrm{out}} = \sum_{\Phi'=0}^{15} \mathbf{M}_{\Phi\Phi'} S_{\Phi'}^{\mathrm{in}} $ 로 표현되며, 이는 고전적 무엘러-스트로우스 방정식과 형식적으로 동일하여 깊이 있는 구조적 유사성을 보여준다.