การต่อต้านสมมาตรของผลิตภัณฑ์ดาวในอวกาศเฟสที่ได้รับการทำให้เป็นมาตรฐานอย่างเหมาะสม
ในฟิสิกส์ วงเล็บMoyal คือความแอนตี้สมมาตรของผลิตภัณฑ์ดาว ในอวกาศ เฟส ที่ได้รับการทำให้เป็นมาตรฐานอย่างเหมาะสม
วงเล็บ Moyal ได้รับการพัฒนาในราวปีพ.ศ. 2483 โดยJosé Enrique Moyal แต่ Moyal ประสบความสำเร็จในการตีพิมพ์ผลงานของเขาในปีพ.ศ. 2492 หลังจากมีข้อพิพาทยาวนานกับPaul Dirac [ 1] [2] ในระหว่างนั้น แนวคิดนี้ได้รับการแนะนำโดยอิสระในปีพ.ศ. 2489 โดยHip Groenewold [ 3]
ภาพรวม วงเล็บ Moyal เป็นวิธีหนึ่งในการอธิบายคอมมิวเตเตอร์ ของค่าที่สังเกตได้ในการกำหนดสูตรของปริภูมิเฟส ของกลศาสตร์ควอนตัม เมื่อค่าที่สังเกตได้เหล่านี้ถูกอธิบายเป็นฟังก์ชันบนปริภูมิเฟส วงเล็บนี้ใช้รูปแบบสำหรับการระบุฟังก์ชันบนปริภูมิเฟสด้วยค่าที่สังเกตได้ของควอนตัม โดยรูปแบบที่มีชื่อเสียงที่สุดคือการแปลงวิกเนอร์–ไวล์ วงเล็บนี้ เป็นพื้นฐานของสมการไดนามิกของ Moyal ซึ่งเป็นการกำหนดสูตรเทียบเท่ากับสมการควอนตัมของการเคลื่อนที่ของไฮเซนเบิร์ก จึงให้การสรุปทั่วไปเชิงควอนตัมของ สม การ ของแฮมิลตัน
ทางคณิตศาสตร์ เป็นการบิดเบือน วงเล็บปัวซอง ในปริภูมิเฟส(โดยพื้นฐานแล้ว เป็น ส่วนขยาย ของวงเล็บปัวซอง) โดยพารามิเตอร์การบิดเบือนคือค่าคงที่ของพลังค์ ที่ลดลง ħ ดังนั้นการหดตัวของกลุ่ม ħ →0 จึงให้พีชคณิตลี ของวงเล็บปัว ซอง
วงเล็บ Moyal เป็นการเปลี่ยนรูปของพีชคณิตลีแบบพารามิเตอร์เดียวที่ไม่ซ้ำใคร ของวงเล็บปัวซองจนถึงระดับความเท่าเทียมอย่างเป็นทางการ การแปรสภาพพีชคณิตของวงเล็บ Moyal กับพีชคณิตของตัวสับเปลี่ยนนั้นข้ามผลลัพธ์เชิงลบของทฤษฎีบท Groenewold–van Hove ซึ่งขัดขวางการแปรสภาพดังกล่าวสำหรับวงเล็บปัวซอง ซึ่งเป็นคำถามที่ Dirac หยิบยกขึ้นมาโดยปริยายในวิทยานิพนธ์ระดับปริญญาเอกของเขาในปี 1926 [4] "วิธีการเปรียบเทียบแบบคลาสสิก" สำหรับการหาปริมาณ[5]
ตัวอย่างเช่น ในพื้นที่เฟส แบนสองมิติ และสำหรับการโต้ตอบของ Weyl-map วงเล็บ Moyal อ่านว่า
{ { f , g } } = d e f 1 i ℏ ( f ⋆ g − g ⋆ f ) = { f , g } + O ( ℏ 2 ) , {\displaystyle {\begin{aligned}\{\{f,g\}\}&{\stackrel {\mathrm {def} }{=}}\ {\frac {1}{i\hbar }}(f\star g-g\star f)\\&=\{f,g\}+O(\hbar ^{2}),\\\end{aligned}}} โดยที่ ★ คือตัวดำเนินการผลคูณดาวในปริภูมิเฟส (เทียบกับผลคูณของ Moyal ) ในขณะที่f และg คือฟังก์ชันปริภูมิเฟสที่สามารถหาอนุพันธ์ได้ และ{ f , g } คือวงเล็บปัวซองของฟังก์ชันเหล่านี้[6]
โดยเฉพาะอย่างยิ่งในภาษา แคลคูลัสเชิงปฏิบัติการ นี่เท่ากับ
{ { f , g } } = 2 ℏ f ( x , p ) sin ( ℏ 2 ( ∂ ← x ∂ → p − ∂ ← p ∂ → x ) ) g ( x , p ) . {\displaystyle \{\{f,g\}\}\ ={\frac {2}{\hbar }}~f(x,p)\ \sin \left({{\tfrac {\hbar }{2}}({\overleftarrow {\partial }}_{x}{\overrightarrow {\partial }}_{p}-{\overleftarrow {\partial }}_{p}{\overrightarrow {\partial }}_{x})}\right)\ g(x,p).}
ลูกศรซ้ายและขวาเหนืออนุพันธ์ย่อยหมายถึงอนุพันธ์ย่อยซ้ายและขวา บางครั้งวงเล็บ Moyal จะถูกเรียกว่าวงเล็บ Sine
การแสดงอินทิกรัล (ฟูริเยร์) ที่เป็นที่นิยมสำหรับมัน แนะนำโดยจอร์จ เบเกอร์[7] คือ
{ { f , g } } ( x , p ) = 2 ℏ 3 π 2 ∫ d p ′ d p ″ d x ′ d x ″ f ( x + x ′ , p + p ′ ) g ( x + x ″ , p + p ″ ) sin ( 2 ℏ ( x ′ p ″ − x ″ p ′ ) ) . {\displaystyle \{\{f,g\}\}(x,p)={2 \over \hbar ^{3}\pi ^{2}}\int dp'\,dp''\,dx'\,dx''f(x+x',p+p')g(x+x'',p+p'')\sin \left({\tfrac {2}{\hbar }}(x'p''-x''p')\right)~.} แผนที่การติดต่อแต่ละแผนที่จากปริภูมิเฟสไปยังปริภูมิฮิลเบิร์ตจะทำให้เกิดวงเล็บ "Moyal" ที่มีลักษณะเฉพาะ (เช่น วงเล็บที่แสดงไว้ที่นี่สำหรับแผนที่ Weyl) วงเล็บ Moyal ทั้งหมดนั้นเทียบเท่า กันอย่างเป็นทางการตามทฤษฎีเชิงระบบ[8]
วงเล็บ Moyal ระบุ พีชคณิตลี มิติอนันต์ที่มีชื่อเดียวกัน ซึ่งไม่สมมาตรในอาร์กิวเมนต์f และg และเป็นไปตามเอกลักษณ์ของจาโคบี พีชคณิตลี นามธรรมที่สอดคล้องกันเกิดขึ้นได้จากT f ≡ f ★ ดังนั้น
[ T f , T g ] = T i ℏ { { f , g } } . {\displaystyle [T_{f}~,T_{g}]=T_{i\hbar \{\{f,g\}\}}.} บนปริภูมิเฟส 2 ทอรัสT 2 ที่มีพิกัดx และp เป็นระยะ ๆ โดย แต่ละพิกัดอยู่ใน[0,2 π ] และดัชนีโหมดจำนวนเต็มm i สำหรับฟังก์ชันพื้นฐานexp( i ( m 1 x + m 2 p )) พีชคณิตลีนี้จะอ่านว่า[9]
[ T m 1 , m 2 , T n 1 , n 2 ] = 2 i sin ( ℏ 2 ( n 1 m 2 − n 2 m 1 ) ) T m 1 + n 1 , m 2 + n 2 , {\displaystyle [T_{m_{1},m_{2}}~,T_{n_{1},n_{2}}]=2i\sin \left({\tfrac {\hbar }{2}}(n_{1}m_{2}-n_{2}m_{1})\right)~T_{m_{1}+n_{1},m_{2}+n_{2}},~} ซึ่งลดลงเหลือSU ( N ) สำหรับจำนวนเต็มN ≡ 4 π/ħ จาก นั้น SU ( N ) จะปรากฏเป็นการบิดเบือนของSU (∞) โดยมีพารามิเตอร์การบิดเบือน 1 / N
การสรุปความทั่วไปของวงเล็บ Moyal สำหรับระบบควอนตัมที่มีข้อจำกัดระดับที่สอง เกี่ยวข้องกับการดำเนินการกับคลาสความเท่าเทียมกันของฟังก์ชันในปริภูมิเฟส[10] ซึ่งสามารถพิจารณาได้ว่าเป็นการเสียรูปควอนตัม ของ วงเล็บDirac
วงเล็บไซน์และวงเล็บโคไซน์ นอกเหนือไปจากวงเล็บไซน์ที่กล่าวถึงแล้ว Groenewold ยังได้แนะนำเพิ่มเติม[3] วงเล็บโคไซน์ ซึ่งอธิบายเพิ่มเติมโดย Baker [7] [11]
{ { { f , g } } } = d e f 1 2 ( f ⋆ g + g ⋆ f ) = f g + O ( ℏ 2 ) . {\displaystyle {\begin{aligned}\{\{\{f,g\}\}\}&{\stackrel {\mathrm {def} }{=}}\ {\tfrac {1}{2}}(f\star g+g\star f)=fg+O(\hbar ^{2}).\\\end{aligned}}} ที่นี่อีกครั้ง★ คือตัวดำเนินการผลคูณดาวในปริภูมิเฟสf และg เป็นฟังก์ชันปริภูมิเฟสที่หาอนุพันธ์ได้ และf g คือผลคูณสามัญ
วงเล็บไซน์และโคไซน์เป็นผลลัพธ์ของการแอนตี้สมมาตรและสมมาตรของผลิตภัณฑ์ดาวตามลำดับ ดังนั้น เนื่องจากวงเล็บไซน์คือแผนที่วิกเนอร์ ของคอมมิวเตเตอร์ วงเล็บโคไซน์จึงเป็นภาพวิกเนอร์ของแอนตี้คอมมิวเตเตอร์ ในกลศาสตร์ควอนตัมมาตรฐาน ในทำนองเดียวกัน เนื่องจากวงเล็บโมยาลมีค่าเท่ากับวงเล็บปัวซองจนถึงอันดับที่สูงขึ้นของħ วงเล็บโคไซน์จึงมีค่าเท่ากับผลิตภัณฑ์สามัญจนถึงอันดับที่สูงขึ้นของħ ในลิมิตแบบคลาสสิก วงเล็บโมยาลช่วยลดสมการลิอูวิลล์ (กำหนดในรูปของวงเล็บปัวซอง) เนื่องจากวงเล็บโคไซน์นำไปสู่สมการแฮมิลตัน–จาโคบี แบบ คลาสสิก [12]
วงเล็บไซน์และโคไซน์ยังมีความสัมพันธ์กับสมการของคำอธิบายเชิงพีชคณิตล้วนๆ ของกลศาสตร์ควอนตัม อีกด้วย [12] [13]
อ้างอิง ^ Moyal, JE; Bartlett, MS (1949). "กลศาสตร์ควอนตัมในฐานะทฤษฎีทางสถิติ". Mathematical Proceedings of the Cambridge Philosophical Society . 45 (1): 99–124. Bibcode :1949PCPS...45...99M. doi :10.1017/S0305004100000487. S2CID 124183640. ^ Moyal, Ann (2006). นักคณิตศาสตร์นอกรีต: ชีวิตและวิทยาศาสตร์ของ JE Moyal (บทที่ 3: การต่อสู้กับตำนาน) doi : 10.22459/MM.08.2006 . ISBN 9781920942595 . ดึงข้อมูลเมื่อ2010-05-02 .^ ab Groenewold, HJ (1946). "เกี่ยวกับหลักการของกลศาสตร์ควอนตัมเบื้องต้น". Physica . 12 (7): 405–460. Bibcode :1946Phy.....12..405G. doi :10.1016/S0031-8914(46)80059-4. ^ PAM Dirac (1926) วิทยานิพนธ์มหาวิทยาลัยเคมบริดจ์ "กลศาสตร์ควอนตัม" ^ PAM Dirac , "หลักการของกลศาสตร์ควอนตัม" ( สำนักพิมพ์ Clarendon, Oxford , 1958) ISBN 978-0-19-852011-5 ^ ในทางกลับกัน วงเล็บปัวซองสามารถแสดงอย่างเป็นทางการในรูปของผลิตภัณฑ์ดาวiħ { f , g } = 2 f (log ★ ) g . ^ โดย Baker, George A. (1958-03-15). "การกำหนดสูตรกลศาสตร์ควอนตัมบนพื้นฐานของการแจกแจงความน่าจะเป็นแบบควาซิที่เกิดจากพื้นที่เฟส" Physical Review . 109 (6). American Physical Society (APS): 2198–2206. Bibcode :1958PhRv..109.2198B. doi :10.1103/physrev.109.2198. ISSN 0031-899X ^ C.Zachos , D. Fairlie และT. Curtright , "กลศาสตร์ควอนตัมในเฟสสเปซ" ( World Scientific , สิงคโปร์, 2005) ISBN 978-981-238-384-6 . Curtright, TL; Zachos, CK (2012). "กลศาสตร์ควอนตัมในเฟสสเปซ". จดหมายข่าวฟิสิกส์เอเชียแปซิฟิก . 01 : 37–46. arXiv : 1104.5269 . doi :10.1142/S2251158X12000069. S2CID 119230734 ^ Fairlie, DB; Zachos, CK (1989). "พีชคณิตมิติอนันต์ วงเล็บไซน์ และ SU(∞)". Physics Letters B . 224 (1–2): 101–107. Bibcode :1989PhLB..224..101F. doi :10.1016/0370-2693(89)91057-5. S2CID 120159881. ^ Krivoruchenko, MI; Raduta, AA; Faessler, Amand (2006-01-17). "Quantum deformation of the Dirac bracket". Physical Review D . 73 (2). American Physical Society (APS): 025008. arXiv : hep-th/0507049 . Bibcode :2006PhRvD..73b5008K. doi :10.1103/physrevd.73.025008. ISSN 1550-7998. S2CID 119131374. ^ ดูการอ้างอิงของ Baker (1958) ใน: Curtright, T.; Fairlie, D.; Zachos, C. (1998). "Features of time-independent Wigner functions". Physical Review D . 58 (2): 025002. arXiv : hep-th/9711183 . Bibcode :1998PhRvD..58b5002C. doi :10.1103/PhysRevD.58.025002. S2CID 288935. arXiv:hep-th/9711183v3 ^ ab BJ Hiley : คำอธิบายปริภูมิเฟสของปรากฏการณ์ควอนตัม ใน: A. Khrennikov (บรรณาธิการ): Quantum Theory: Re-consideration of Foundations–2 หน้า 267-286 สำนักพิมพ์ Växjö University Press สวีเดน 2546 (PDF)^ MR Brown, BJ Hiley: Schrodinger revisited: an algebraic approach , arXiv:quant-ph/0005026 (ส่งเมื่อวันที่ 4 พฤษภาคม 2000, เวอร์ชันวันที่ 19 กรกฎาคม 2004, ดึงข้อมูลเมื่อวันที่ 3 มิถุนายน 2011)