看板 Physics 關於我們 聯絡資訊
http://i.imgur.com/5cC2S7w.jpg 上圖是Operator的Parity Transform的推導過程,下圖用相同的手法導Time reversal就 遇到問題,問題是出在哪呢? http://i.imgur.com/juJuMzS.jpg 我有翻書看到Time Reversal是用下圖這樣的方法導,但是同樣用到Parity (或是in Gene ral來講,其他的Symmetry Transformation像是Lattice Translation或是Rotation之類 的unitary operator)就會出現跟定義相反的情況 (定義應該是dagger在左邊,才會符合Observable是移動Sym.Transform.Operator定義的 方向) http://i.imgur.com/hRTqi1z.jpg 雖然知道Time reversal跟其他Symmetry Transformation會有差距是因為Schodinger Equ ation只有一次時間微分但卻必須符合Time reversal Symmetry,但還是不太能夠理解上 面圖二的Time reversal的想法錯在哪 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.193.79.155 ※ 文章網址: https://www.ptt.cc/bbs/Physics/M.1491585408.A.6AA.html
skydark: 你想要證明什麼 04/08 10:43
KBmax: 想要說明Operator在Parity跟Time Reversal Transformation 04/08 11:00
KBmax: 之後的Form,因為看到兩者的Form不同 04/08 11:00
KBmax: A'=(u^+)(A)(u)這是一般的Operator 被Symmetry Transform 04/08 11:02
KBmax: 之後的Form (+是dagger) 04/08 11:02
KBmax: 但Time Reversal跟大家的不一樣所以覺得有點怪 04/08 11:03
wohtp: 因為你圖三倒數第二個式子的點點擺錯邊了? 04/08 13:34
wohtp: 唔好像是我看錯了當我沒說 04/08 13:53
skydark: 我記得TR的話 因為TR是anti-unitary 所以A'不等於 04/08 16:34
skydark: (u^+)(A)(u) 04/08 16:34
skydark: 而是A'= (-u^+)(A)(u) = (u^-1)(A)(u) 04/08 16:36
KBmax: 回sky大,對Operator 的TR transform的定義好像是A'=(u)(A) 04/08 17:55
KBmax: (u^+) 04/08 17:55
KBmax: 其中u是TR 04/08 17:55
KBmax: 然後u^(-1)=u^+ 04/08 18:26
skydark: unitary matrix的定義是 u^(-1)=u^+ 04/09 00:42
skydark: anti-unitary跟 unitary是一樣? 04/09 00:43
KBmax: 嗯嗯因為不影響operator 的action side,既然有unitary性 04/09 02:03
KBmax: 質他的inverse就等於他的dagger,anti只是表示他是anti-lin 04/09 02:03
KBmax: ear 04/09 02:03
skydark: 那K大 TR的complex conjugate在做dagger時該產生什麼變化 04/09 12:24
skydark: ? 04/09 12:24
wohtp: 樓上:應該照樣dagger然後只能對左邊作用吧 04/09 18:43
wohtp: 那東西不能算是linear operator,本來就只能對一邊作用 04/09 18:46
skydark: 照樣dagger是什麼意思? complex conjugate的dagger是什麼 04/09 19:40
skydark: 矩陣的dagger很好理解 但complex conjugate的dagger該怎 04/09 19:44
skydark: 麼操作? 04/09 19:45
wohtp: 本來只能對右邊的空間作用 04/09 21:22
wohtp: 翻過來以後只能對左邊的hermitian conjugate space作用 04/09 21:23
wohtp: 然後作用都是complex conjugation 04/09 21:23
skydark: 謝謝W大解惑 04/09 21:47
novem: http://imgur.com/KuHhiu8 04/09 22:25
wohtp: 樓上這樣還不算完整吧? 04/10 01:44
wohtp: 我覺得應該需要做任意matrix element,不只是expectation v 04/10 01:45
wohtp: alue而已? 04/10 01:45
novem: http://i.imgur.com/qKIGQcT.jpg 05/04 10:10
novem: http://i.imgur.com/TkkJV2A.jpg 05/04 10:14
novem: http://i.imgur.com/J01VS5e.jpg 05/04 10:15