2014. 2. 17. 23:58 Daily lives
2014 KIAS-SNU Physics Winter Camp
고등과학원 겨울학교에 다녀왔습니다. 일주일의 3일은 마이티/포커/블랙잭/고스톱/섯다를 치느라(...) 밤을 새고 나머지 3일밤은 논문 읽느라 밤을 샜더니 아직도 피로가 덜 풀려서 고생중입니다.
그룹연구주제로는 Monopoles in real and momentum spaces of condensed matter systems를 했습니다. 같은 조원분이 버스를 태워주셔서 유일하게 교수님들께 안 까인 발표(...)가 되었습니다. 프레젠테이션에 맥락과 일관성이 존재한다고 앞으로 이런 식으로 발표해야 한다는 과찬(..)을 받았습니다. 결국 상금 획득. 받은 문화상품권으로 겨울왕국 OST를 사야겠군요.
인상깊었던 부분들을 간략하게 정리해서 옮겨봅니다.
이준규 교수님: "물리에는 사기가 적절하게 들어가야 생명이 있는 거예요" "와인버그 그 사람 책은 생명이 없어. 사람이 너무 박식해서 그래"1
(기억나는대로 적어봤습니다)
이필진 교수님이 간략하게 homotopy 이론에 대해 설명해주셨는데, 작년 1학기에 이거 혼자 공부한다고 삽질했던게 원래는 이렇게 쉬운거였나 하는 자괴감이 들더군요. 물론 다시 책을 집었을 때 이해하는가 하는 것은 다른 문제.
사실 (대수적)위상수학보다는 미분기하학 공부가 더 절실하다는 생각이 들어서 공부는 나중에 하기로 했습니다. 재미있어 보이긴 한데...
3차원 구인 S^3가 Hopf Fibration으로 2차원 구 S^2와 1차원 구S^1으로 나누어질 수 있다는데, 알고보니 globally하게는 안 되고 local하게만 된다고 합니다. S^3를 실수공간 R^3에서 무한원점을 하나의 점(대척점이 됩니다)으로 만들어 이미지화하는 버릇이 있는데 '이게 어떻게 되는거냐' 생각으로 하루종일 고민했더랬죠. 대척점과 원점이 같다니?!?! local한 경우에는 당연히 되는거지만요.
(S^3 공간에서는 한 방향으로 계속 나아가다 보면 원점으로 돌아옵니다. S^2에서 방향을 정해주고 S^1으로 쭉쭉쭉쭉 나아가는 것을 이미지화하면 국소적으로는 이게 가능하다는 것을 알 수 있습니다. 그리고 이것이 trivial하지 않은 fibre bundle의 한 예라고 하더군요.)
c.f. 이필진 교수님이 강의록을 개인 홈페이지에 올려 놓으셨더군요. Physics 탭을 누르면 열립니다.
주제가 geometric phase였던지라 이걸 이해해보려고 여러 삽질을 했는데(결국 발표 슬라이드에는 하나도 안 넣었지만요) 그 중 하나가 고전역학적으로 이해해보려는 시도였습니다. 여기에 대해서는 이미 책이 있던데(Geometric Phases in Classical and Quantum Mechanics) 하필이면 djvu를 못 읽는 iPad만 가져왔던지라 맨땅에 헤딩...
일단은 재미있는(?) 결과물이라는 생각이 들어 그 삽질을 공유해보려고 합니다.
geometric phase의 가장 간단한 예는 전하가 자기장이 있는 공간에서 폐곡선을 그리는 운동을 해 원점으로 돌아왔을 때 위상이 변화하는 것입니다. Berry's Phase라고도 하지요. 이때 얻는 위상의 변화는 그 폐곡선이 잡아둔 자기장의 세기, 혹은 그 폐곡선이 만드는 곡면에 대한 자기선속(magnetic flux)에 비례합니다. 고전적으로는 무슨 의미가 있는 양인가, 가 질문.
결론부터 말하자면 한 폐곡선에 대해 운동량을 선적분한 값입니다. 유체역학의 circulation이라는 값과도 연관이 있고, 사실 가장 쉽게 이해하는 방법은 슈뢰딩거와 하이젠베르크 이전의 구양자이론에서 본-조머펠트 양자화조건에 해당하는 양이라는 것이죠. 여기에서 B는 자기장입니다.
\oint_C \bold{p}\cdot d\bold{l}
유도하려면 다음의 조건을 이용합니니다.
\text{The Lorentz force equation can be written as}
\\\frac{d\bold{p}}{dt}=e(\bold{E}+\frac{d\bold{x}}{dt}\times\bold{B})
\\\therefore d\bold{p}=e(\bold{E}dt+d\bold{x}\times\bold{B})
\\\\\text{By suppressing changes in time, one gets}
\\d\bold{p}=ed\bold{x}\times\bold{B}
벌써부터 쓰기 귀찮아지는데(...) 작은 사각형 루프 ABCDA를 잡아서 값을 더해주면 다음 식을 얻습니다.
\text{Let a closed square loop }ABCDA\text{be specified}
\\\text{by infinitesimal lateral displacement }d\bold{x}\text{ and}
\\\text{infinitesimal vertical displacement }d\bold{y}\text{. Then}
\\\oint_{ABCDA} \bold{p}\cdot d\bold{l}
\\\approx \bold{p}(A)\cdot d\bold{x}+\bold{p}(B)\cdot d\bold{y}-\bold{p}(C)\cdot d\bold{x}-\bold{p}(D)\cdot d\bold{y}
\\\text{Where}
\\\bold{p}(B) \approx \bold{p}(A) + ed\bold{x}\times\bold{B}
\\\bold{p}(C) \approx \bold{p}(B) + ed\bold{y}\times\bold{B}
\\\approx \bold{p}(A)+ e(d\bold{x}\times\bold{B} + d\bold{y}\times\bold{B})
\\\text{etc. Rearranging terms, one gets}
\\\oint_{ABCDA} \bold{p}\cdot d\bold{l}
\\\approx e(d\bold{x}\times\bold{B}\cdot d\bold{y}-d\bold{y}\times\bold{B}\cdot d\bold{x})
\\= 2ed\bold{x}\times d\bold{y}\cdot\bold{B}
\\=2e\bold{B}\cdot d\bold{a}
\\\text{which is the infinitesimal magnetic flux enclosed}
\\\text{by the loop.}
계수에 2가 붙는 것이 신경쓰이기는 하는데 그것보다 이걸 momentum space에서 바꾸어서 해석할 방법을 찾지 못해 포기.
또 다른 접근법은 게이지 장론의 minimal coupling을 반대로 이용하는 방법. 보통 minimal coupling은 시공간상의 모든 점에서 운동량에 correction term인 게이지 장을 시공간상의 좌표에 대한 함수로 걸어주는 것으로 생각할 수 있는데 이걸 반대로 momentum space에서 시공간 좌표에 대해 momentum에 대한 함수로 correction term을 걸어주는 방식으로 이해할 때, 이 녀석이 어떤 역할을 하느냐는 것이었습니다. 수식으로 쓰자면
\text{The solutions }\Psi\text{ to the Hamiltonian }\hat{H}(\hat{\bold{p}}+q\bold{A}(\hat{\bold{x}}),\hat{\bold{x}})
\\\text{can be expressed by the solutions }\phi\text{ to the}
\\\text{Hamiltonian }\hat{H}(\hat{\bold{p}},\hat{\bold{x}})\text{ by the relation}
\\\Psi=e^{-iqf(\bold{x})}\phi
\\f= \int_\bold{x_0}^\bold{x} \bold{A}\cdot d\bold{l}
이므로(디락상수는 1로 둡시다), 이 반대 버젼인
\text{The solutions }\Psi\text{ to the Hamiltonian }\hat{H}(\hat{\bold{p}},\hat{\bold{x}}+g\bold{B}(\hat{\bold{p}}))
\\\text{can be expressed by the solutions }\phi\text{ to the}
\\\text{Hamiltonian }\hat{H}(\hat{\bold{p}},\hat{\bold{x}})\text{ by the relation}
\\\Psi=e^{igh(\bold{p})}\phi
\\h= \int_\bold{p_0}^\bold{p} \bold{B}\cdot d\bold{p}
를 생각해보자는 것. 재미있는 점은 위에서 언급한 B는 Bloch function에 대해 해석할 경우 unit cell의 원점을 잡는 자유도로 작용하게 됩니다. 또한 momentum space에서 그린 폐곡선에 대해 B를 선적분한 값은 원점의 net displacement가 되지요. 문제는 위의 h라는 함수가 global하게 정의되지 않는다는 것.
나중에 해보고 싶은 시도 중 하나는 위의 방식처럼 momentum space를 기준으로 잡았을 때 momentum space에서 periodic potential을 잡을 경우 x의 spectrum이 discrete해지는데, 어쩌면 이걸 spin wave를 나타내는데 써먹을 수 있는 방법이 없을까, 하는 질문.
아, 그리고 발표 도중에 증명에 사기를 친 것이 있는데(T^2공간에 대한 적분인데 S^2라고 사기를 쳤습니다.) 교수님들이 그냥 넘어갔다는 훈훈한 일화. 사실 ppt 다 만들고 발표 당일 아침에 발견한 문제인데다가 수정하기 귀찮아서 그대로 놔둔 것이었는데, 결국 안 걸렸네요. 물론 증명이 이상하다고 지적하셨면 "역시 교수님들 상대로 사기치기는 쉽지 않네요"라는 드립을 치면서 옆의 칠판을 끌어다가 제대로 된 증명을 쓰려고 했었지만 그냥 넘어갔습니다.
- 사기가 너무 없이 타이트한 논리전개를 가지고 있다는 맥락이었습니다. 와인버그 양자장론 교재. [본문으로]
'Daily lives' 카테고리의 다른 글
| 절대마왕을 향한 투쟁 - Hero Detected (0) | 2014.05.23 |
|---|---|
| 무제 (0) | 2014.04.20 |
| 공부합시다... (3) | 2013.12.14 |
| Words from Feynman (0) | 2013.10.25 |
| 당신의 드립을 보여주세요. (2) | 2013.10.20 |
