Spherical harmonics의 곱: 를 으로 전개하는 공식 — Wigner-Eckart theorem의 special case
Cartesian tensor의 분해: rank-2 Cartesian tensor 는 에 해당하는 irreducible spherical tensor 성분으로 분해됨 (1+3+5=9)
Spherical tensor의 정의: rotation 하에서 에 따라 변환하는 -성분 연산자
Commutation relation: ,
Product of tensors: 두 spherical tensor의 product에 CG를 씌워 새 spherical tensor를 만드는 공식
Scalar product (): , 이것이 tensor operator인 이유
필기 내용
1. CG Coefficients와 Rotation Matrix의 연결 (Section 3.8.4)
CG Series
2개의 입자(혹은 orbit+spin)로 이루어진 시스템에서, 각각에 대한 rotation operator 과 이 있다.
이것의 tensor product 는 에 의해 generate된다. 가 서로 다른 상태끼리는 연산을 해도 섞이지 않는다 — 2-electron system에서 singlet과 triplet을 구분한 것처럼.
따라서 matrix는 각각의 값 ()에 대한 회전을 나타내는 block 대각 행렬로 쪼개진다:
이를 group theory에서는 Clebsch-Gordan series라 부른다. 성분 표현으로 쓰면:
AI 답변 — (식★)의 유도
좌변은 basis를 바꿔 쓸 수 있다. 를 CG를 이용해 basis로 전개하면:
이것이 성립하는 이유는 이 product state에 대해 각 공간에 독립적으로 작용하기 때문이다:
이제 에 completeness relation (CG basis로)을 삽입하면 (식★)이 나온다.
Spherical Harmonics의 곱에 적용
이전 강의에서 본 spherical harmonics와 rotation operator의 연결식:
식●
(식★)에서 , , , , , , 으로 대입하면:
여기에 (식●)을 대입해 complex conjugate를 취하면:
양변에 를 곱한 뒤 입체각 적분 을 이용하면, summation에서 크로네커 델타를 만족하는 항만 살아남아:
이 결과는 Wigner-Eckart theorem의 special case라고 교수님이 언급하셨다. Spherical harmonics의 행렬원소가 CG coefficient 두 개의 곱으로 인수분해된다는 점이 핵심이다.
2. Tensor Operators (Section 3.11)
Cartesian Tensor란?
우리가 알던 벡터는 1-rank tensor이다. 회전 성질:
infinitesimal rotation 을 대입하면:
이것으로부터 벡터의 commutation relation이 나온다:
Cartesian Tensor의 분해 — 예시: rank-2 tensor
2개의 벡터 , 로 이루어진 dyadic, 즉 는 rank-2 Cartesian tensor이다.
이 tensor는 reducible하다 — 회전에 대해 특성이 제각각인 성분으로 쪼갤 수 있다:
각 항의 독립 성분 수:
: scalar, rotation invariant → 1개 (이것은 )
: 벡터의 rotation property를 가짐 → 3개 (이것은 )
symmetric traceless part: symmetric이고 trace가 0이므로 5개 (이것은 )
직관적으로: 1은 , 3은 , 5는 에 의한 것. 이것이 Cartesian tensor와 spherical tensor(아래에서 정의)의 연결고리이다.
3. Spherical Tensor의 정의
벡터 V로부터 구성
방향의 벡터 를 대체하면, spherical tensor of rank :
즉, spherical harmonics의 , 등을 벡터 성분으로 바꾼다:
구체적인 예:
AI 답변 — 는 어떻게 operator가 될 수 있는가?
는 원래 숫자값 함수인데, 이것을 operator로 만드는 트릭은 인자를 벡터 연산자로 바꾸는 것이다.
구체적으로, 의 인자인 의 성분들 을 위치 연산자 의 방향 성분 으로 대체하면:
이렇게 하면 은 더 이상 숫자가 아니라 위치 연산자의 함수, 즉 operator가 된다.
더 일반적으로는 꼭 위치 연산자일 필요가 없다. 임의의 벡터 연산자의 성분으로 을 대체하면 가 operator가 된다. 은 이 연산자들을 어떻게 조합할지를 알려주는 레시피 역할을 할 뿐이고, 가 operator인 근본적인 이유는 자체가 operator이기 때문이다.
Spherical Tensor의 변환 규칙
Spherical harmonics가 rotation 하에서 어떻게 변환하는지를 복습하자.
을 이용하면:
만약 처럼 벡터에 작용하는 연산자가 이와 동일하게 변환된다면:
AI 답변 — "D로 샌드위치하는 것이 V에 작용하는 것"의 의미
필기에 “무슨 논리인지 모르겠다”고 적었다. 핵심 아이디어는 이것이다:
회전 이 공간에 작용하면, 벡터 는 로 바뀐다. 양자역학에서 이 변환은 상태 에 을 곱하는 것으로 기술된다.
이때 연산자 의 변환은 이다 (능동적 변환). 그런데 는 의 성분들로 만들어진 연산자이므로, 일 때 가 된다.
즉 처럼 로 샌드위치하는 것이 에 을 작용시키는 것과 같다는 뜻이다. 이것이 의 변환식과 정확히 같은 구조이다.
정의 (공식)
-rank spherical tensor는 성분으로 이루어지며:
AI 답변 — "켤레전치 동치에서 T는 실수라고 가정하는 것인가?"
아니다. 두 식이 동치인 이유는 가 unitary ()이기 때문이다.
의 양변에 를 왼쪽, 를 오른쪽에서 곱하면:
이것은 가 실수라는 가정 없이, unitary 행렬의 역행렬이 켤레전치라는 사실만으로 나온다.
4. Commutation Relation으로 보는 Spherical Tensor
AI 답변 — "T가 index가 2개인데 어느 부분이 tensor인가?"
에서 **위 첨자 **는 tensor의 rank (즉 어떤 representation에 따라 변환하는지)를, **아래 첨자 **는 인 성분 index이다. 행렬 의 행렬 원소는 두 개의 index를 가지지만, 자체는 연산자이므로 하나만 성분 index로 갖는다. 마치 벡터 가 라는 index를 갖는 것과 같다.
Infinitesimal rotation 을 정의식에 대입하면:
정리하면:
식α
(식α)에 를 대입:
(식α)에 를 대입:
AI 답변 — "Rotation generator와의 commutation 결과가 eigenstate에 J generator를 취했을 때 나오는 형식과 비슷하다"
정확히 맞는 관찰이다. 는 와 같은 구조이고, 도 과 같은 구조이다.
이것은 우연이 아니다. Spherical tensor 는 마치 rank- angular momentum의 eigenstate 처럼 각운동량 대수에 대해 행동하는 연산자로 정의되기 때문이다. 의 정체성은 “의 commutation relation을 지키는 연산자” 인 것이다. 이것이 바로 spherical tensor의 본질적 정의이다.
AI 답변 — "위의 모든 성질이 로 귀결된다는 맥락에서 V가 왜 나오는가?"
는 rank-1 Cartesian tensor(= 벡터)에 대한 commutation relation이다. 이것은 위의 , 의 Cartesian 버전에 해당한다. 즉, 교수님은 “spherical tensor의 commutation relation이 일반화된 벡터 commutation relation”임을 말씀하신 것이다.
5. Tensor의 Product (Section 3.11.3)
두 개의 irreducible spherical tensor , 가 있을 때, CG coefficient를 이용해 새로운 rank- spherical tensor를 만들 수 있다:
이것이 spherical irreducible tensor of rank 임을 증명할 수 있다 (강의에서 증명 제시, 아래 참고).
Spherical 성분 표기
벡터를 구성할 때 유용한 표기:
이를 이용하면 를 spherical tensor components로 표현할 수 있다:
AI 답변 — "전부다 스칼라 값인 거 같은데 왜 텐서라고 하는 건지 모르겠다"
아주 핵심적인 질문이다. 처럼 숫자처럼 보이지만, 여기서 와 는 양자 연산자이다. 따라서 도 각각 하나의 연산자이다.
tensor라고 부르는 이유는 이 연산자들의 집합 가 rotation 하에서 특정 방식으로 변환되기 때문이다. 회전 후의 는 다른 성분 들의 linear combination이 되고, 그 계수가 정확히 의 행렬원소이다. 마치 벡터가 회전 하에서 성분들이 섞이는 것처럼, spherical tensor의 성분들도 서로 섞인다. 이 “회전 하에서의 변환 성질”이 tensor를 정의한다.
은 rotation invariant (이므로 ), 즉 진짜 스칼라이다. 반면 은 rotation 하에서 서로 섞이는 벡터의 spherical 성분들이다.
예시: 와 비교
이므로, 특수한 경우:
이것이 위의 과 같다 (비례관계).
Scalar Product (, )
특수하게 , 인 경우를 보자. 이고, 이므로:
이것은 두 벡터의 내적이다. 내적은 rank-0 (scalar) spherical tensor이다.
AI 답변 — " 이어야 하는 이유"
, 인 scalar product는 인 경우에만 만들어질 수 있다. 이유는 CG coefficient 이 이고 일 때만 non-zero이기 때문이다. 각운동량 덧셈에서 이 되려면 이어야 하는 것과 같은 논리이다.
6. Product Theorem 증명 (선택)
Theorem: , 가 irreducible spherical tensor이면:
도 spherical irreducible tensor of rank 이다.
Proof: rotation 하에서 를 계산한다.
각각의 tensor 변환 규칙을 적용하면:
CG series (식★)를 적용:
CG의 orthogonality에 의해 , 가 나오고, 최종적으로:
따라서 는 rank- spherical tensor이다. ✓
궁금한 내용
Wigner-Eckart theorem은 정확히 무엇인가? 오늘 강의에서 "special case"라고 했는데 일반 theorem은 어떤 형태인가?
Scalar product 가 왜 부호를 포함하는가? Cartesian inner product 와의 관계는?