ในกลศาสตร์ควอนตัม สถานะฟ็อค หรือสถานะเชิงจำนวน คือสถานะควอนตัม ที่เป็นองค์ประกอบของปริภูมิฟ็อค โดยมีจำนวนอนุภาค (หรือควอนตัม ) ที่กำหนดไว้อย่างชัดเจน สถานะเหล่านี้ตั้งชื่อตามนักฟิสิกส์ชาวโซเวียต วลาดิมีร์ ฟ็อค สถานะฟ็อคมีบทบาทสำคัญใน การกำหนด สูตรควอนตัมแบบที่สอง ของกลศาสตร์ควอนตัม
การแสดงอนุภาคได้รับการกล่าวถึงโดยละเอียดเป็นครั้งแรกโดยPaul Dirac สำหรับโบซอน และโดยPascual Jordan และEugene Wigner สำหรับเฟอร์มิออน [ 1 ] : 35 สถานะ Fock ของโบซอนและเฟอร์มิออนเป็นไปตามความสัมพันธ์ที่มีประโยชน์เกี่ยวกับตัวดำเนินการสร้างและทำลาย พื้นที่ Fock
คำนิยาม เราสามารถระบุสถานะหลายอนุภาคของ อนุภาคที่เหมือนกัน N ตัวที่ไม่ปฏิสัมพันธ์กันได้ โดยการเขียนสถานะนั้นเป็นผลรวมของผลคูณเทนเซอร์ ของ สถานะอนุภาคเดี่ยว N สถานะ นอกจากนี้ ขึ้นอยู่กับความเป็นจำนวนเต็มของสปิน ของอนุภาค ผลคูณเทนเซอร์จะต้องเป็น ผล คูณแบบสลับ (สมมาตรผกผัน) หรือสมมาตร ของ ปริภูมิฮิลเบิร์ต อนุภาคเดี่ยวพื้นฐานโดยเฉพาะอย่างยิ่ง:
ถ้าจำนวนอนุภาคเปลี่ยนแปลงได้ เราสร้างปริภูมิฟ็อค (Fock space) โดยใช้ผลรวมโดยตรง ของปริภูมิฮิลเบิร์ต (Hilbert space) ที่เป็นผลคูณเทนเซอร์สำหรับแต่ละจำนวนอนุภาค ในปริภูมิฟ็อค เราสามารถระบุสถานะเดียวกันได้ในสัญลักษณ์ใหม่ที่เรียกว่า สัญลักษณ์จำนวนการครอบครอง (occupancy number notation) โดยการระบุจำนวนอนุภาคในแต่ละสถานะหนึ่งอนุภาคที่เป็นไปได้
ให้เป็นฐานเชิงตั้งฉากปกติ ของสถานะในปริภูมิฮิลเบิร์ตหนึ่งอนุภาคพื้นฐาน ซึ่งจะเหนี่ยวนำให้เกิดฐานที่สอดคล้องกันของปริภูมิฟ็อค เรียกว่า "ฐานจำนวนการครอบครอง" สถานะควอนตัมในปริภูมิฟ็อคเรียกว่าสถานะฟ็อค ถ้ามันเป็นองค์ประกอบของฐานจำนวนการครอบครอง { เค ฉัน } ฉัน ∈ ฉัน {\textstyle \left\{\mathbf {k} _{i}\right\}_{i\in I}}
สถานะฟ็อค (Fock state) เป็นไปตามเกณฑ์สำคัญประการหนึ่ง คือ สำหรับแต่ละi สถานะดังกล่าวเป็นสถานะเฉพาะ (eigenstate) ของตัวดำเนินการจำนวนอนุภาค ที่สอดคล้องกับสถานะพื้นฐาน ที่ i คือ k i ค่าเฉพาะ (eigenvalue) ที่สอดคล้องกันจะให้จำนวนอนุภาคในสถานะนั้น เกณฑ์นี้เกือบจะกำหนดสถานะฟ็อคได้ (นอกจากนี้ยังต้องเลือกตัวประกอบเฟส อีกด้วย ) เอ็น เค ฉัน ^ {\displaystyle {\widehat {N_{{\mathbf {k} __{i}}}}}
สถานะฟ็อคที่กำหนดจะถูกแทนด้วยในนิพจน์นี้แทนจำนวนอนุภาคในสถานะที่ i k i และตัวดำเนินการจำนวนอนุภาคสำหรับสถานะที่ i จะกระทำต่อสถานะฟ็อคในลักษณะดังต่อไปนี้: | n เค 1 , n เค 2 , . . n เค ฉัน . . . ⟩ {\displaystyle |n_{{\mathbf {k} __{1}},n_{{\mathbf {k} __{2}},..n_{{\mathbf {k} __{i}}...\rangle } n เค ฉัน {\displaystyle n_{{\mathbf {k} __{i}}} เอ็น เค ฉัน ^ {\displaystyle {\widehat {N_{{\mathbf {k} __{i}}}}}
เอ็น เค ฉัน ^ | n เค 1 , n เค 2 , . . n เค ฉัน . . . ⟩ = n เค ฉัน | n เค 1 , n เค 2 , . . n เค ฉัน . . . ⟩ {\displaystyle {\widehat {N_{{\mathbf {k} __{i}}}}|n_{{\mathbf {k} __{1}},n_{{\mathbf {k} _{2}},..n_{{\mathbf {k} __{i}}...\rangle =n_{{\mathbf {k} __{i}}|n_{{\mathbf {k} __{1}},n_{{\mathbf {k} __{2}},..n_{{\mathbf {k} __{i}}...\rangle } ดังนั้นสถานะ Fock จึงเป็นสถานะเฉพาะของตัวดำเนินการจำนวนที่มีค่าเฉพาะ[ 2 ] : 478 n เค ฉัน {\displaystyle n_{{\mathbf {k} __{i}}}
สถานะฟ็อค (Fock states) มักเป็น ฐาน ที่สะดวกที่สุดของปริภูมิฟ็อค (Fock space) องค์ประกอบของปริภูมิฟ็อคที่เป็นผลรวม ของสถานะที่มีจำนวนอนุภาค ต่างกัน (และดังนั้นจึงไม่ใช่สถานะเฉพาะของตัวดำเนินการจำนวน) ไม่ใช่สถานะฟ็อค ด้วยเหตุนี้ องค์ประกอบทั้งหมดของปริภูมิฟ็อคจึงไม่ได้ถูกเรียกว่า "สถานะฟ็อค" เสมอไป
ถ้าเรากำหนดตัวดำเนินการจำนวนอนุภาครวมดังนี้ เอ็น ^ {\textstyle {\widehat {N}}}
เอ็น ^ = ∑ ฉัน เอ็น เค ฉัน ^ , {\displaystyle {\widehat {N}}=\sum _{i}{\widehat {N_{{\mathbf {k} __{i}}}},} นิยามของสถานะฟ็อค (Fock state) รับประกันว่าค่าความแปรปรวน ของการวัด กล่าวคือ การวัดจำนวนอนุภาคในสถานะฟ็อค จะให้ค่าที่แน่นอนเสมอโดยไม่มีความผันผวน วาร์ ( เอ็น ^ ) = 0 {\displaystyle \operatorname {Var} \left({\widehat {N}}\right)=0}
ตัวอย่างการใช้สองอนุภาค สำหรับสถานะสุดท้ายใดๆสถานะ Fock ใดๆ ของอนุภาคที่เหมือนกันสองตัวที่กำหนดโดยและตัวดำเนินการ ใดๆ เรามีเงื่อนไขต่อไปนี้สำหรับความไม่สามารถแยกแยะได้ : [ 3 ] : 191 | เอฟ ⟩ {\displaystyle |f\rangle } | 1 เค 1 , 1 เค 2 ⟩ {\displaystyle |1_{\mathbf {k} _{1}},1_{\mathbf {k} _{2}}\rangle } โอ ^ {\displaystyle {\widehat {\mathbb {O} }}}
| ⟨ เอฟ | โอ ^ | 1 เค 1 , 1 เค 2 ⟩ | 2 = | ⟨ เอฟ | โอ ^ | 1 เค 2 , 1 เค 1 ⟩ | 2 {\displaystyle \left|\left\langle f\left|{\widehat {\mathbb {O} }}\right|1_{\mathbf {k} _{1}},1_{\mathbf {k} _{2}}\right\rangle \right|^{2}=\left|\left\langle f\left|{\widehat {\mathbb {O} }}\right|1_{\mathbf {k} _{2}},1_{\mathbf {k} _{1}}\right\rangle \right|^{2}} .ดังนั้น เราจึงต้องมี⟨ เอฟ | โอ ^ | 1 เค 1 , 1 เค 2 ⟩ = อี ฉัน δ ⟨ เอฟ | โอ ^ | 1 เค 2 , 1 เค 1 ⟩ {\displaystyle \left\langle f\left|{\widehat {\mathbb {O} }}\right|1_{\mathbf {k} _{1}},1_{\mathbf {k} _{2}}\right\rangle =e^{i\delta }\left\langle f\left|{\widehat {\mathbb {O} }}\right|1_{\mathbf {k} _{2}},1_{\mathbf {k} _{1}}\right\rangle }
โดยที่สำหรับโบซอน และสำหรับเฟอร์มิออน เนื่องจากและเป็นค่าใดๆ ก็ได้ เราจึงสามารถกล่าวได้ว่า อี ฉัน δ = + 1 {\displaystyle e^{i\เดลต้า }=+1} − 1 {\displaystyle -1} ⟨ เอฟ | {\displaystyle \langle f|} โอ ^ {\displaystyle {\widehat {\mathbb {O} }}}
| 1 เค 1 , 1 เค 2 ⟩ = + | 1 เค 2 , 1 เค 1 ⟩ {\displaystyle \left|1_{\mathbf {k} _{1}},1_{\mathbf {k} _{2}}\right\rangle =+\left|1_{\mathbf {k} _{2}},1_{\mathbf {k} _{1}}\right\rangle } สำหรับโบซอนและ| 1 เค 1 , 1 เค 2 ⟩ = − | 1 เค 2 , 1 เค 1 ⟩ {\displaystyle \left|1_{\mathbf {k} _{1}},1_{\mathbf {k} _{2}}\right\rangle =-\left|1_{\mathbf {k} _{2}},1_{\mathbf {k} _{1}}\right\rangle } สำหรับเฟอร์มิออน[ 3 ] : 191 โปรดทราบว่าตัวดำเนินการนับจำนวนไม่ได้แยกแยะระหว่างโบซอนกับเฟอร์มิออน อันที่จริง มันเพียงแค่นับอนุภาคโดยไม่คำนึงถึงประเภทสมมาตรของพวกมัน หากต้องการรับรู้ความแตกต่างระหว่างพวกมัน เราจำเป็นต้องใช้ตัวดำเนินการอื่น ๆ นั่นคือตัวดำเนินการสร้างและตัวดำเนินการ ทำลาย
สถานะบอโซนิกฟ็อค โบซอน ซึ่งเป็นอนุภาคที่มีสปินจำนวนเต็ม ปฏิบัติตามกฎง่ายๆ คือ สถานะไอเกนประกอบของพวกมันมีความสมมาตร[ 4 ] ภายใต้การดำเนินการโดยตัวดำเนินการแลกเปลี่ยน ตัวอย่างเช่น ในระบบสองอนุภาค ในการแสดงผลคูณเทนเซอร์ เรามี พี ^ | x 1 , x 2 ⟩ = | x 2 , x 1 ⟩ {\displaystyle {\hat {P}}\left|x_{1},x_{2}\right\rangle =\left|x_{2},x_{1}\right\rangle }
ตัวดำเนินการสร้างและทำลายโบซอน เราควรจะสามารถแสดงคุณสมบัติสมมาตรเดียวกันในการแสดงพื้นที่ Fock ใหม่นี้ได้ สำหรับสิ่งนี้ เราขอแนะนำตัวดำเนินการสร้างและทำลายโบซอนิกที่ไม่ใช่เฮอร์มิเชียน[ 4 ] ซึ่ง แสดง ด้วยและตามลำดับ การกระทำของตัวดำเนินการเหล่านี้บนสถานะ Fock จะแสดงด้วยสมการสองสมการต่อไปนี้: ข † {\displaystyle b^{\dagger }} b {\displaystyle b}
ผู้ดำเนินการสร้าง: b k l † {\textstyle b_{{\mathbf {k} }_{l}}^{\dagger }} b k l † | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ = n k l + 1 | n k 1 , n k 2 , n k 3 . . . n k l + 1 , . . . ⟩ {\displaystyle b_{{\mathbf {k} }_{l}}^{\dagger }|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle ={\sqrt {n_{{\mathbf {k} }_{l}}+1}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}+1,...\rangle } [ 4 ] ผู้ดำเนินการทำลายล้าง: b k l {\textstyle b_{{\mathbf {k} }_{l}}} b k l | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ = n k l | n k 1 , n k 2 , n k 3 . . . n k l − 1 , . . . ⟩ {\displaystyle b_{{\mathbf {k} }_{l}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle ={\sqrt {n_{{\mathbf {k} }_{l}}}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}-1,...\rangle } [ 4 ] การดำเนินการของตัวดำเนินการสร้างและทำลายบนสถานะบอซอนิกฟ็อค
ความไม่เป็นเฮอร์มิเชียนของตัวดำเนินการสร้างและทำลาย ตัวดำเนินการสร้างและทำลายสถานะ Fock ของโบซอนิกไม่ใช่ตัวดำเนินการเฮอร์มิเชีย น[ 4 ]
พิสูจน์ว่าตัวดำเนินการสร้างและทำลายไม่ใช่ตัวดำเนินการเฮอร์มิเชียน สำหรับรัฐฟ็อค, | n k 1 , n k 2 , n k 3 … n k l , … ⟩ {\displaystyle |n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}},\dots \rangle } ⟨ n k 1 , n k 2 , n k 3 … n k l − 1 , … | b k l | n k 1 , n k 2 , n k 3 … n k l , … ⟩ = n k l ⟨ n k 1 , n k 2 , n k 3 … n k l − 1 , … | n k 1 , n k 2 , n k 3 … n k l − 1 , … ⟩ ( ⟨ n k 1 , n k 2 , n k 3 … n k l , … | b k l | n k 1 , n k 2 , n k 3 … n k l − 1 , … ⟩ ) ∗ = ⟨ n k 1 , n k 2 , n k 3 … n k l − 1 … | b k l † | n k 1 , n k 2 , n k 3 … n k l , … ⟩ = n k l + 1 ⟨ n k 1 , n k 2 , n k 3 … n k l − 1 … | n k 1 , n k 2 , n k 3 … n k l + 1 … ⟩ {\displaystyle {\begin{aligned}\left\langle n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}-1,\dots \left|b_{\mathbf {k} _{l}}\right|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}},\dots \right\rangle &={\sqrt {n_{\mathbf {k} _{l}}}}\left\langle n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}-1,\dots |n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}-1,\dots \right\rangle \\[6pt]\left(\left\langle n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}},\dots \left|b_{\mathbf {k} _{l}}\right|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}-1,\dots \right\rangle \right)^{*}&=\left\langle n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}-1\dots \left|b_{\mathbf {k} _{l}}^{\dagger }\right|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}},\dots \right\rangle \\&={\sqrt {n_{\mathbf {k} _{l}}+1}}\left\langle n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}-1\dots |n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}\dots n_{\mathbf {k} _{l}}+1\dots \right\rangle \end{aligned}}}
ดังนั้น จึงเห็นได้ชัดว่าตัวดำเนินการผกผันของการสร้าง (การทำลาย) ไม่สามารถรวมเข้ากับตัวเองได้ ด้วยเหตุนี้ ตัวดำเนินการเหล่านี้จึงไม่ใช่ตัวดำเนินการเฮอร์มิเชียน
แต่ตัวผกผันของตัวดำเนินการสร้าง (ทำลาย) คือตัวดำเนินการทำลาย (สร้าง) [ 5 ] : 45
ข้อมูลประจำตัวผู้ดำเนินการ ความสัมพันธ์การสลับตำแหน่งของตัวดำเนินการสร้างและทำลายในระบบโบซอนิก คือ
[ b i , b j † ] ≡ b i b j † − b j † b i = δ i j , {\displaystyle \left[b_{i}^{\,},b_{j}^{\dagger }\right]\equiv b_{i}^{\,}b_{j}^{\dagger }-b_{j}^{\dagger }b_{i}^{\,}=\delta _{ij},} [ 4 ] [ b i † , b j † ] = [ b i , b j ] = 0 , {\displaystyle \left[b_{i}^{\dagger },b_{j}^{\dagger }\right]=\left[b_{i}^{\,},b_{j}^{\,}\right]=0,} [ 4 ] ตัวสลับสัญญาณ อยู่ที่ไหนและเดลต้าโครเนกเกอร์ อยู่ ที่ไหน[ , ] {\displaystyle [\ \ ,\ \ ]} δ i j {\displaystyle \delta _{ij}}
สถานะฐานโบซอนิก N จำนวนอนุภาค (N) สถานะฐานโบโซนิก[ 6 ] : 11 0 | 0 , 0 , 0... ⟩ {\displaystyle |0,0,0...\rangle } 1 | 1 , 0 , 0... ⟩ {\displaystyle |1,0,0...\rangle } , , ,... | 0 , 1 , 0... ⟩ {\displaystyle |0,1,0...\rangle } | 0 , 0 , 1... ⟩ {\displaystyle |0,0,1...\rangle } 2 | 2 , 0 , 0... ⟩ {\displaystyle |2,0,0...\rangle } , , ,... | 1 , 1 , 0... ⟩ {\displaystyle |1,1,0...\rangle } | 0 , 2 , 0... ⟩ {\displaystyle |0,2,0...\rangle } n {\displaystyle n} | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ {\displaystyle |n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle }
การดำเนินการกับรัฐฟ็อคบางแห่งโดยเฉพาะ สำหรับสถานะสุญญากาศ—ที่ไม่มีอนุภาคอยู่ในสถานะใดๆ—ซึ่งแสดงได้ดังนี้: | 0 k 1 , 0 k 2 , 0 k 3 . . .0 k l , . . . ⟩ {\displaystyle |0_{{\mathbf {k} }_{1}},0_{{\mathbf {k} }_{2}},0_{{\mathbf {k} }_{3}}...0_{{\mathbf {k} }_{l}},...\rangle } b k l † | 0 k 1 , 0 k 2 , 0 k 3 . . .0 k l , . . . ⟩ = | 0 k 1 , 0 k 2 , 0 k 3 . . .1 k l , . . . ⟩ {\displaystyle b_{{\mathbf {k} }_{l}}^{\dagger }|0_{{\mathbf {k} }_{1}},0_{{\mathbf {k} }_{2}},0_{{\mathbf {k} }_{3}}...0_{{\mathbf {k} }_{l}},...\rangle =|0_{{\mathbf {k} }_{1}},0_{{\mathbf {k} }_{2}},0_{{\mathbf {k} }_{3}}...1_{{\mathbf {k} }_{l}},...\rangle } และ[ 4 ] นั่นคือ ตัวดำเนินการสร้างลำดับ ที่ l สร้างอนุภาคในสถานะลำดับที่l k l และ สถานะสุญญากาศเป็นจุดคงที่ของตัวดำเนินการทำลายล้าง เนื่องจากไม่มีอนุภาคให้ทำลายล้างb k l | 0 k 1 , 0 k 2 , 0 k 3 . . .0 k l , . . . ⟩ = 0 {\displaystyle b_{\mathbf {k} _{l}}|0_{\mathbf {k} _{1}},0_{\mathbf {k} _{2}},0_{\mathbf {k} _{3}}...0_{\mathbf {k} _{l}},...\rangle =0} เราสามารถสร้างสถานะ Fock ใดๆ ก็ได้โดยการดำเนินการกับสถานะสุญญากาศด้วย ตัวดำเนินการสร้าง จำนวนที่เหมาะสม: | n k 1 , n k 2 . . . ⟩ = ( b k 1 † ) n k 1 n k 1 ! ( b k 2 † ) n k 2 n k 2 ! . . . | 0 k 1 , 0 k 2 , . . . ⟩ {\displaystyle |n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}}...\rangle ={\frac {\left(b_{\mathbf {k} _{1}}^{\dagger }\right)^{n_{\mathbf {k} _{1}}}}{\sqrt {n_{\mathbf {k} _{1}}!}}}{\frac {\left(b_{\mathbf {k} _{2}}^{\dagger }\right)^{n_{\mathbf {k} _{2}}}}{\sqrt {n_{\mathbf {k} _{2}}!}}}...|0_{\mathbf {k} _{1}},0_{\mathbf {k} _{2}},...\rangle } สำหรับสถานะ Fock แบบโหมดเดียว ซึ่งแสดงได้ดังนี้, | n k ⟩ {\displaystyle |n_{\mathbf {k} }\rangle } b k † | n k ⟩ = n k + 1 | n k + 1 ⟩ {\displaystyle b_{\mathbf {k} }^{\dagger }|n_{\mathbf {k} }\rangle ={\sqrt {n_{\mathbf {k} }+1}}|n_{\mathbf {k} }+1\rangle } และ,b k | n k ⟩ = n k | n k − 1 ⟩ {\displaystyle b_{\mathbf {k} }|n_{\mathbf {k} }\rangle ={\sqrt {n_{\mathbf {k} }}}|n_{\mathbf {k} }-1\rangle }
การทำงานของตัวดำเนินการตัวเลข ตัวดำเนินการจำนวนสำหรับระบบโบซอนิกจะได้รับจาก โดยที่[ 4 ] N k l ^ {\textstyle {\widehat {N_{{\mathbf {k} }_{l}}}}} N k l ^ = b k l † b k l {\displaystyle {\widehat {N_{{\mathbf {k} }_{l}}}}=b_{{\mathbf {k} }_{l}}^{\dagger }b_{{\mathbf {k} }_{l}}} N k l ^ | n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ = n k l | n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ {\displaystyle {\widehat {N_{{\mathbf {k} }_{l}}}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}...\rangle =n_{{\mathbf {k} }_{l}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}...\rangle }
ตัวดำเนินการตัวเลขเป็นตัวดำเนินการเฮอร์มิเชียน
พฤติกรรมสมมาตรของสถานะฟ็อคแบบโบซอนิก ความสัมพันธ์การสลับตำแหน่งของตัวดำเนินการสร้างและทำลายทำให้มั่นใจได้ว่าสถานะ Fock ของโบซอนิกมีพฤติกรรมสมมาตรที่เหมาะสมภายใต้การแลกเปลี่ยนอนุภาค ในที่นี้ การแลกเปลี่ยนอนุภาคระหว่างสองสถานะ (เช่นl และm ) ทำได้โดยการทำลายอนุภาคในสถานะl และสร้างอนุภาคในสถานะm หากเราเริ่มต้นด้วยสถานะ Fock และต้องการย้ายอนุภาคจากสถานะ l ไปยังสถานะ m เราจะดำเนินการกับสถานะ Fock ด้วยวิธีต่อไปนี้: | ψ ⟩ = | n k 1 , n k 2 , . . . . n k m . . . n k l . . . ⟩ {\displaystyle |\psi \rangle =\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},....n_{\mathbf {k} _{m}}...n_{\mathbf {k} _{l}}...\right\rangle } k l {\displaystyle k_{l}} k m {\displaystyle k_{m}} b k m † b k l {\displaystyle b_{\mathbf {k} _{m}}^{\dagger }b_{\mathbf {k} _{l}}}
โดยใช้ความสัมพันธ์การสลับตำแหน่งที่เรามีอยู่b k m † . b k l = b k l . b k m † {\displaystyle b_{\mathbf {k} _{m}}^{\dagger }.b_{\mathbf {k} _{l}}=b_{\mathbf {k} _{l}}.b_{\mathbf {k} _{m}}^{\dagger }}
b k m † . b k l | n k 1 , n k 2 , . . . . n k m . . . n k l . . . ⟩ = b k l . b k m † | n k 1 , n k 2 , . . . . n k m . . . n k l . . . ⟩ = n k m + 1 n k l | n k 1 , n k 2 , . . . . n k m + 1... n k l − 1... ⟩ {\displaystyle {\begin{aligned}b_{\mathbf {k} _{m}}^{\dagger }.b_{\mathbf {k} _{l}}\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},....n_{\mathbf {k} _{m}}...n_{\mathbf {k} _{l}}...\right\rangle &=b_{\mathbf {k} _{l}}.b_{\mathbf {k} _{m}}^{\dagger }\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},....n_{\mathbf {k} _{m}}...n_{\mathbf {k} _{l}}...\right\rangle \\&={\sqrt {n_{\mathbf {k} _{m}}+1}}{\sqrt {n_{\mathbf {k} _{l}}}}\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},....n_{\mathbf {k} _{m}}+1...n_{\mathbf {k} _{l}}-1...\right\rangle \end{aligned}}} ดังนั้น สถานะ Bosonic Fock จึงมีพฤติกรรมสมมาตรภายใต้การดำเนินการโดยตัวดำเนินการแลกเปลี่ยน (Exchange operator)
ฟังก์ชันวิกเนอร์ของ
| 0 ⟩ {\displaystyle |0\rangle } ฟังก์ชันวิกเนอร์ของ
| 1 ⟩ {\displaystyle |1\rangle } ฟังก์ชันวิกเนอร์ของ
| 2 ⟩ {\displaystyle |2\rangle } ฟังก์ชันวิกเนอร์ของ
| 3 ⟩ {\displaystyle |3\rangle } ฟังก์ชันวิกเนอร์ของ
| 4 ⟩ {\displaystyle |4\rangle }
สถานะเฟอร์มิออนิกฟ็อค
การแสดงหมายเลขอาชีพ ในการแสดงจำนวนการครอบครอง สถานะพื้นฐานของอนุภาคเดี่ยวจะถูกเขียนด้วยจำนวนการครอบครองของแต่ละออร์บิทัล สำหรับสถานะเฟอร์มิออน จำนวนการครอบครองสามารถเป็นได้เพียงศูนย์หรือหนึ่งเท่านั้น และลำดับของออร์บิทัลมีความสำคัญ[ 6 ] : 10
จำนวนอนุภาค (N) สถานะพื้นฐานเฟอร์มิออนิก[ 6 ] : 11 | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ {\displaystyle \left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}...n_{\mathbf {k} _{l}},...\right\rangle }
0 | 0 , 0 , 0... ⟩ {\displaystyle |0,0,0...\rangle } 1 | 1 , 0 , 0... ⟩ {\displaystyle |1,0,0...\rangle } , , ,... | 0 , 1 , 0... ⟩ {\displaystyle |0,1,0...\rangle } | 0 , 0 , 1... ⟩ {\displaystyle |0,0,1...\rangle } 2 | 1 , 1 , 0... ⟩ {\displaystyle |1,1,0...\rangle } ... | 0 , 1 , 1... ⟩ {\displaystyle |0,1,1...\rangle } | 0 , 1 , 0 , 1... ⟩ {\displaystyle |0,1,0,1...\rangle } | 1 , 0 , 1 , 0... ⟩ {\displaystyle |1,0,1,0...\rangle } ... ...
ตัวดำเนินการสร้างและทำลายเฟอร์มิออน เพื่อรักษาพฤติกรรมแบบแอนตี้สมมาตรของเฟอร์มิออน ตัว ดำเนินการสร้างและทำลายเฟอร์มิออนที่ไม่ใช่เฮอร์มิเชียนจะถูกกำหนดสำหรับสถานะเฟอร์มิออนิกฟ็อคดังนี้: [ 4 ] | ψ ⟩ = | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ {\displaystyle |\psi \rangle =|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle }
ตัวดำเนินการสร้างจะทำงานบนสถานะพื้นฐานดังนี้: c k l † {\displaystyle c_{{\mathbf {k} }_{l}}^{\dagger }} c k l † | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ = n k l + 1 | n k 1 , n k 2 , n k 3 . . . n k l + 1 , . . . ⟩ {\displaystyle c_{{\mathbf {k} }_{l}}^{\dagger }|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle ={\sqrt {n_{{\mathbf {k} }_{l}}+1}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}+1,...\rangle } [ 4 ] ตัวดำเนินการทำลายล้างทำหน้าที่ดังนี้: c k l {\textstyle c_{{\mathbf {k} }_{l}}} c k l | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ = n k l | n k 1 , n k 2 , n k 3 . . . n k l − 1 , . . . ⟩ {\displaystyle c_{{\mathbf {k} }_{l}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle ={\sqrt {n_{{\mathbf {k} }_{l}}}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}-1,...\rangle }
ข้อมูลประจำตัวผู้ดำเนินการ ความสัมพันธ์แบบแอนติคอมมิวเทชันของตัวดำเนินการสร้างและทำลายในระบบเฟอร์มิออน มีดังนี้
{ c i , c j † } ≡ c i c j † + c j † c i = δ i j , { c i † , c j † } = { c i , c j } = 0 , {\displaystyle {\begin{aligned}\left\{c_{i}^{\,},c_{j}^{\dagger }\right\}\equiv c_{i}^{\,}c_{j}^{\dagger }+c_{j}^{\dagger }c_{i}^{\,}&=\delta _{ij},\\\left\{c_{i}^{\dagger },c_{j}^{\dagger }\right\}=\left\{c_{i}^{\,},c_{j}^{\,}\right\}&=0,\end{aligned}}} [ 4 ] โดยที่คือตัวผกผันการสลับตำแหน่ง และคือเดลต้าโครเนกเกอร์ ความสัมพันธ์การผกผันการสลับตำแหน่งเหล่านี้สามารถใช้เพื่อแสดงพฤติกรรมแบบผกผันสมมาตรของสถานะเฟอร์มิออนิกฟ็อค ได้ { , } {\displaystyle {\{\ ,\ \}}} δ i j {\displaystyle \delta _{ij}}
การทำงานของตัวดำเนินการตัวเลข ตัวดำเนินการจำนวนสำหรับเฟอร์มิออน กำหนดโดย. N k l ^ {\textstyle {\widehat {N_{{\mathbf {k} }_{l}}}}} N k l ^ = c k l † . c k l {\displaystyle {\widehat {N_{{\mathbf {k} }_{l}}}}=c_{{\mathbf {k} }_{l}}^{\dagger }.c_{{\mathbf {k} }_{l}}}
N k l ^ | n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ = n k l | n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ {\displaystyle {\widehat {N_{{\mathbf {k} }_{l}}}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}...\rangle =n_{{\mathbf {k} }_{l}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}...\rangle } [ 4 ]
จำนวนผู้ครอบครองสูงสุด การกระทำของตัวดำเนินการจำนวน รวมถึงตัวดำเนินการสร้างและทำลาย อาจดูเหมือนกับของโบซอนิก แต่จุดพลิกผันที่แท้จริงมาจากการกำหนดจำนวนการครอบครองสูงสุดของแต่ละสถานะในสถานะฟ็อคของเฟอร์มิออนิก การขยายตัวอย่างเฟอร์มิออนิก 2 อนุภาคข้างต้น เราต้องแน่ใจก่อนว่าสถานะฟ็อคของเฟอร์มิออนิกได้มาจากการใช้ผลรวมของตัวดำเนินการเรียงสับเปลี่ยนกับผลคูณเทนเซอร์ของไอเกนเกตดังต่อไปนี้: | ψ ⟩ = | n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ {\displaystyle |\psi \rangle =\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}...n_{\mathbf {k} _{l}}...\right\rangle }
| n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ = S − | i 1 , i 2 , i 3 . . . i l . . . ⟩ = 1 N ! | | i 1 ⟩ 1 ⋯ | i 1 ⟩ N ⋮ ⋱ ⋮ | i N ⟩ 1 ⋯ | i N ⟩ N | {\displaystyle \left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}...n_{\mathbf {k} _{l}}...\right\rangle =S_{-}\left|i_{1},i_{2},i_{3}...i_{l}...\right\rangle ={\frac {1}{\sqrt {N!}}}{\begin{vmatrix}\left|i_{1}\right\rangle _{1}&\cdots &\left|i_{1}\right\rangle _{N}\\\vdots &\ddots &\vdots \\\left|i_{N}\right\rangle _{1}&\cdots &\left|i_{N}\right\rangle _{N}\end{vmatrix}}} [ 7 ] : 16 ดีเทอร์มิแนนต์นี้เรียกว่าดีเทอร์มิแนนต์สเลเตอร์ (Slater determinant ) ถ้าสถานะของอนุภาคเดี่ยวใดๆ เหมือนกัน แถวสองแถวของดีเทอร์มิแนนต์สเลเตอร์จะเหมือนกัน ดังนั้นดีเทอร์มิแนนต์จะเป็นศูนย์ ดังนั้นเฟอร์มิออน ที่เหมือนกันสองตัว จะต้องไม่ครอบครองสถานะเดียวกัน (ซึ่งเป็นข้อความของหลักการกีดกันของเปาลี ) ดังนั้น จำนวนการครอบครองของสถานะเดี่ยวใดๆ จึงเป็น 0 หรือ 1 เท่านั้น ค่าลักษณะเฉพาะที่เกี่ยวข้องกับสถานะฟ็อคของเฟอร์มิออนจะต้องเป็น 0 หรือ 1 เท่านั้น N k l ^ {\displaystyle {\widehat {N_{{\mathbf {k} }_{l}}}}}
การดำเนินการกับรัฐฟ็อคบางแห่งโดยเฉพาะ การดำเนินการของตัวดำเนินการสร้างและทำลายบนสถานะเฟอร์มิออนิกฟ็อค สำหรับสถานะ Fock เฟอร์มิออนิกโหมดเดียว ซึ่งแสดงได้ดังนี้ | 0 k ⟩ {\displaystyle \left|0_{\mathbf {k} }\right\rangle } c k † | 0 k ⟩ = | 1 k ⟩ {\displaystyle c_{\mathbf {k} }^{\dagger }\left|0_{\mathbf {k} }\right\rangle =\left|1_{\mathbf {k} }\right\rangle } และเนื่องจากจำนวนการครอบครองสูงสุดของสถานะใดๆ คือ 1 ดังนั้นจึงมีเฟอร์มิออนไม่เกิน 1 ตัวเท่านั้นที่สามารถครอบครองสถานะเดียวกันได้ ตามที่ระบุไว้ในหลักการกีดกันของเปา ลีc k † | 1 k ⟩ = 0 {\displaystyle c_{\mathbf {k} }^{\dagger }\left|1_{\mathbf {k} }\right\rangle =0} สำหรับสถานะ Fock เฟอร์มิออนิกโหมดเดียว ซึ่งแสดงได้ดังนี้ | 1 k ⟩ {\displaystyle \left|1_{\mathbf {k} }\right\rangle } c k | 1 k ⟩ = | 0 k ⟩ {\displaystyle c_{\mathbf {k} }\left|1_{\mathbf {k} }\right\rangle =\left|0_{\mathbf {k} }\right\rangle } และเนื่องจากจำนวนอนุภาคต้องไม่น้อยกว่าศูนย์c k | 0 k ⟩ = 0 {\displaystyle c_{\mathbf {k} }\left|0_{\mathbf {k} }\right\rangle =0} สำหรับสถานะ Fock เฟอร์มิออนิกแบบหลายโหมด ซึ่งแสดงได้ดังนี้| n k 1 , n k 2 , . . . n k β , n k α , . . . ⟩ {\displaystyle \left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},...n_{\mathbf {k} _{\beta }},n_{\mathbf {k} _{\alpha }},...\right\rangle } c k α | n k 1 , n k 2 , . . . n k β , n k α , . . . ⟩ = ( − 1 ) ∑ β < α n β | n k 1 , n k 2 , . . . , n k β , 1 − n k α , . . . ⟩ {\displaystyle c_{\mathbf {k} _{\alpha }}\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},...n_{\mathbf {k} _{\beta }},n_{\mathbf {k} _{\alpha }},...\right\rangle =(-1)^{\sum _{\beta <\alpha }n_{\beta }}\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},...,n_{\mathbf {k} _{\beta }},1-n_{\mathbf {k} _{\alpha }},...\right\rangle } , ซึ่งเรียกว่าสตริง Jordan–Wigner ซึ่งขึ้นอยู่กับการเรียงลำดับของสถานะอนุภาคเดี่ยวที่เกี่ยวข้องและการเพิ่มจำนวนการครอบครองเฟอร์มิออนของสถานะก่อนหน้าทั้งหมด[ 5 ] : 88 ( − 1 ) ∑ β < α n β {\displaystyle (-1)^{\sum _{\beta <\alpha }n_{\beta }}}
พฤติกรรมแบบแอนติสมมาตรของสถานะเฟอร์มิออนิกฟ็อค พฤติกรรมแบบแอนติสมมาตรของสถานะเฟอร์มิออนิกภายใต้ตัวดำเนินการแลกเปลี่ยนนั้นได้รับการจัดการโดยความสัมพันธ์แบบแอนติคอมมิวเทชัน ในที่นี้ การแลกเปลี่ยนอนุภาคระหว่างสองสถานะทำได้โดยการทำลายอนุภาคหนึ่งในสถานะหนึ่งและสร้างอนุภาคหนึ่งในอีกสถานะหนึ่ง หากเราเริ่มต้นด้วยสถานะฟ็อคและต้องการย้ายอนุภาคจากสถานะหนึ่งไปยังอีกสถานะหนึ่ง เราจะดำเนินการกับสถานะฟ็อคด้วยวิธีต่อไปนี้: | ψ ⟩ = | n k 1 , n k 2 , . . . n k m . . . n k l . . . ⟩ {\displaystyle |\psi \rangle =\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},...n_{\mathbf {k} _{m}}...n_{\mathbf {k} _{l}}...\right\rangle } k l {\displaystyle k_{l}} k m {\displaystyle k_{m}} c k m † . c k l {\displaystyle c_{\mathbf {k} _{m}}^{\dagger }.c_{\mathbf {k} _{l}}}
โดยใช้ความสัมพันธ์การสลับตำแหน่งแบบผกผัน เราจะได้
c k m † . c k l = − c k l . c k m † {\displaystyle c_{\mathbf {k} _{m}}^{\dagger }.c_{\mathbf {k} _{l}}=-c_{\mathbf {k} _{l}}.c_{\mathbf {k} _{m}}^{\dagger }} c k m † . c k l | n k 1 , n k 2 , . . . . n k m . . . n k l . . . ⟩ = n k m + 1 n k l | n k 1 , n k 2 , . . . . n k m + 1... n k l − 1... ⟩ {\displaystyle c_{\mathbf {k} _{m}}^{\dagger }.c_{\mathbf {k} _{l}}\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},....n_{\mathbf {k} _{m}}...n_{\mathbf {k} _{l}}...\right\rangle ={\sqrt {n_{\mathbf {k} _{m}}+1}}{\sqrt {n_{\mathbf {k} _{l}}}}\left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},....n_{\mathbf {k} _{m}}+1...n_{\mathbf {k} _{l}}-1...\right\rangle } แต่, c k l . c k m † | n k 1 , n k 2 , . . . . n k m . . . n k l . . . ⟩ = − c k m † . c k l | n k 1 , n k 2 , . . . . n k m . . . n k l . . . ⟩ = − n k m + 1 n k l | n k 1 , n k 2 , . . . . n k m + 1... n k l − 1... ⟩ {\displaystyle {\begin{aligned}&c_{{\mathbf {k} }_{l}}.c_{{\mathbf {k} }_{m}}^{\dagger }|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},....n_{{\mathbf {k} }_{m}}...n_{{\mathbf {k} }_{l}}...\rangle \\={}-&c_{{\mathbf {k} }_{m}}^{\dagger }.c_{{\mathbf {k} }_{l}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},....n_{{\mathbf {k} }_{m}}...n_{{\mathbf {k} }_{l}}...\rangle \\={}-&{\sqrt {n_{{\mathbf {k} }_{m}}+1}}{\sqrt {n_{{\mathbf {k} }_{l}}}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},....n_{{\mathbf {k} }_{m}}+1...n_{{\mathbf {k} }_{l}}-1...\rangle \end{aligned}}}
ดังนั้น สถานะ Fock ของเฟอร์มิออนจึงมีสมมาตรแบบปฏิสมมาตรภายใต้การดำเนินการโดยตัวดำเนินการแลกเปลี่ยนอนุภาค
สถานะฟ็อคไม่ใช่สถานะพลังงานโดยทั่วไป ในทฤษฎีควอนตัมแบบที่สอง ฟังก์ชัน ความหนาแน่นของแฮมิลโท เนียน กำหนดโดย
H = 1 2 m ∇ i ψ ∗ ( x ) ∇ i ψ ( x ) {\displaystyle {\mathfrak {H}}={\frac {1}{2m}}\nabla _{i}\psi ^{*}(x)\,\nabla _{i}\psi (x)} [ 3 ] : 189 แฮมิลโทเนียน ทั้งหมดกำหนดโดย
H = ∫ d 3 x H = ∫ d 3 x ψ ∗ ( x ) ( − ∇ 2 2 m ) ψ ( x ) ∴ H = − ∇ 2 2 m {\displaystyle {\begin{aligned}{\mathcal {H}}&=\int d^{3}x\,{\mathfrak {H}}=\int d^{3}x\psi ^{*}(x)\left(-{\frac {\nabla ^{2}}{2m}}\right)\psi (x)\\\therefore {\mathfrak {H}}&=-{\frac {\nabla ^{2}}{2m}}\end{aligned}}} ในทฤษฎี Schrödinger อิสระ[ 3 ] : 189
H ψ n ( + ) ( x ) = − ∇ 2 2 m ψ n ( + ) ( x ) = E n 0 ψ n ( + ) ( x ) {\displaystyle {\mathfrak {H}}\psi _{n}^{(+)}(x)=-{\frac {\nabla ^{2}}{2m}}\psi _{n}^{(+)}(x)=E_{n}^{0}\psi _{n}^{(+)}(x)} และ
∫ d 3 x ψ n ( + ) ∗ ( x ) ψ n ′ ( + ) ( x ) = δ n n ′ {\displaystyle \int d^{3}x\,\psi _{n}^{(+)^{*}}(x)\,\psi _{n'}^{(+)}(x)=\delta _{nn'}} และ
ψ ( x ) = ∑ n a n ψ n ( + ) ( x ) {\displaystyle \psi (x)=\sum _{n}a_{n}\psi _{n}^{(+)}(x)} ,ตัวดำเนินการทำลายล้างอยู่ ที่ไหนa n {\displaystyle a_{n}}
∴ H = ∑ n , n ′ ∫ d 3 x a n ′ † ψ n ′ ( + ) ∗ ( x ) H a n ψ n ( + ) ( x ) {\displaystyle \therefore {\mathcal {H}}=\sum _{n,n'}\int d^{3}x\,a_{n'}^{\dagger }\psi _{n'}^{(+)^{*}}(x)\,{\mathfrak {H}}a_{n}\psi _{n}^{(+)}(x)} เฉพาะอนุภาคที่ไม่เกิดปฏิกิริยาต่อกันเท่านั้นที่การสลับตำแหน่งจะเกิดขึ้นได้ โดยทั่วไปแล้วการสลับตำแหน่งจะไม่เกิดขึ้น สำหรับอนุภาคที่ไม่เกิดปฏิกิริยาต่อกัน H {\displaystyle {\mathfrak {H}}} a n {\displaystyle a_{n}}
H = ∑ n , n ′ ∫ d 3 x a n ′ † ψ n ′ ( + ) ∗ ( x ) E n 0 ψ n ( + ) ( x ) a n = ∑ n , n ′ E n 0 a n ′ † a n δ n n ′ = ∑ n E n 0 a n † a n = ∑ n E n 0 N ^ {\displaystyle {\mathcal {H}}=\sum _{n,n'}\int d^{3}x\,a_{n'}^{\dagger }\psi _{n'}^{(+)^{*}}(x)\,E_{n}^{0}\psi _{n}^{(+)}(x)a_{n}=\sum _{n,n'}E_{n}^{0}a_{n'}^{\dagger }a_{n}\delta _{nn'}=\sum _{n}E_{n}^{0}a_{n}^{\dagger }a_{n}=\sum _{n}E_{n}^{0}{\widehat {N}}} หากไม่สลับที่กันได้ แฮมิลโทเนียนก็จะไม่เป็นไปตามนิพจน์ข้างต้น ดังนั้นโดยทั่วไปแล้ว สถานะฟ็อคจึงไม่ใช่สถานะพลังงานของระบบ
ความผันผวนของสุญญากาศ สถานะสุญญากาศ หรือสถานะพลังงานต่ำที่สุดจะเป็นศูนย์ในสถานะนี้: | 0 ⟩ {\displaystyle |0\rangle } a {\displaystyle a} a † {\displaystyle a^{\dagger }}
⟨ 0 | a | 0 ⟩ = ⟨ 0 | a † | 0 ⟩ = 0 {\displaystyle \langle 0|a|0\rangle =\langle 0|a^{\dagger }|0\rangle =0} สนามไฟฟ้า สนามแม่เหล็ก และศักย์เวกเตอร์ มีการขยายโหมดในรูปแบบทั่วไปเดียวกัน:
F ( r → , t ) = ε a e i k → ⋅ r → − ω t + ε a † e − i k → ⋅ r → − ω t {\displaystyle F\left({\vec {r}},t\right)=\varepsilon ae^{i{\vec {k}}\cdot {\vec {r}}-\omega t}+\varepsilon a^{\dagger }e^{-i{\vec {k}}\cdot {\vec {r}}-\omega t}} ค่าคาดหวังของตัวดำเนินการสนามเหล่านี้จะหายไปในสถานะสุญญากาศ:
⟨ 0 | F | 0 ⟩ = 0 {\displaystyle \langle 0|F|0\rangle =0} อย่างไรก็ตาม ค่าคาดหวังของกำลังสองของตัวดำเนินการสนามเหล่านี้ไม่ใช่ศูนย์: มีความผันผวนของสนามในสถานะสุญญากาศความผันผวนของสุญญากาศ เหล่านี้ เป็นสาเหตุของปรากฏการณ์ที่น่าสนใจมากมาย รวมถึงการเลื่อนแลมบ์ ในทัศนศาสตร์ควอนตั ม
สถานะฟ็อคแบบหลายโหมด ในฟิลด์แบบหลายโหมด ตัวดำเนินการสร้างและทำลายแต่ละตัวจะทำงานบนโหมดของตัวเอง ดังนั้นและจะทำงานเฉพาะบน เท่านั้นเนื่องจากตัวดำเนินการที่สอดคล้องกับโหมดต่างๆ ทำงานในปริภูมิย่อยที่แตกต่างกันของปริภูมิฮิลเบิร์ต ฟิลด์ทั้งหมดจึงเป็นผลคูณโดยตรงของเหนือทุกโหมด: a k l {\displaystyle a_{\mathbf {k} _{l}}} a k l † {\displaystyle a_{\mathbf {k} _{l}}^{\dagger }} | n k l ⟩ {\displaystyle \left|n_{\mathbf {k} _{l}}\right\rangle } | n k l ⟩ {\displaystyle |n_{\mathbf {k} _{l}}\rangle }
| n k 1 ⟩ | n k 2 ⟩ | n k 3 ⟩ … ≡ | n k 1 , n k 2 , n k 3 . . . n k l . . . ⟩ ≡ | { n k } ⟩ {\displaystyle \left|n_{\mathbf {k} _{1}}\right\rangle \left|n_{\mathbf {k} _{2}}\right\rangle \left|n_{\mathbf {k} _{3}}\right\rangle \ldots \equiv \left|n_{\mathbf {k} _{1}},n_{\mathbf {k} _{2}},n_{\mathbf {k} _{3}}...n_{\mathbf {k} _{l}}...\right\rangle \equiv \left|\{n_{\mathbf {k} }\}\right\rangle } ตัวดำเนินการสร้างและทำลายจะทำงานกับสถานะหลายโหมดโดยการเพิ่มหรือลดสถานะตัวเลขของโหมดของตนเองเท่านั้น:
a k l | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ = n k l | n k 1 , n k 2 , n k 3 . . . n k l − 1 , . . . ⟩ a k l † | n k 1 , n k 2 , n k 3 . . . n k l , . . . ⟩ = n k l + 1 | n k 1 , n k 2 , n k 3 . . . n k l + 1 , . . . ⟩ {\displaystyle {\begin{aligned}a_{{\mathbf {k} }_{l}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle &={\sqrt {n_{{\mathbf {k} }_{l}}}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}-1,...\rangle \\a_{{\mathbf {k} }_{l}}^{\dagger }|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}},...\rangle &={\sqrt {n_{{\mathbf {k} }_{l}}+1}}|n_{{\mathbf {k} }_{1}},n_{{\mathbf {k} }_{2}},n_{{\mathbf {k} }_{3}}...n_{{\mathbf {k} }_{l}}+1,...\rangle \end{aligned}}} นอกจากนี้ เรายังกำหนดตัวดำเนินการจำนวน รวม สำหรับฟิลด์ ซึ่งเป็นผลรวมของตัวดำเนินการจำนวนในแต่ละโหมด:
n ^ k = ∑ n ^ k l {\displaystyle {\hat {n}}_{\mathbf {k} }=\sum {\hat {n}}_{\mathbf {k} _{l}}} สถานะฟ็อคแบบหลายโหมดเป็นเวกเตอร์ลักษณะเฉพาะของตัวดำเนินการจำนวนรวม ซึ่งค่าลักษณะเฉพาะคือจำนวนการครอบครองรวมของทุกโหมด
n ^ k | { n k } ⟩ = ( ∑ n k l ) | { n k } ⟩ {\displaystyle {\hat {n}}_{\mathbf {k} }|\{n_{\mathbf {k} }\}\rangle =\left(\sum n_{\mathbf {k} _{l}}\right)|\{n_{\mathbf {k} }\}\rangle } ในกรณีของอนุภาคที่ไม่เกิดปฏิสัมพันธ์กัน ตัวดำเนินการจำนวนและแฮมิลโทเนียนจะสลับที่กันได้ ดังนั้นสถานะฟ็อคแบบหลายโหมดจึงกลายเป็นสถานะเฉพาะของแฮมิลโทเนียนแบบหลายโหมด
H ^ | { n k } ⟩ = ( ∑ ℏ ω ( n k l + 1 2 ) ) | { n k } ⟩ {\displaystyle {\hat {H}}\left|\{n_{\mathbf {k} }\}\right\rangle =\left(\sum \hbar \omega \left(n_{\mathbf {k} _{l}}+{\frac {1}{2}}\right)\right)\left|\{n_{\mathbf {k} }\}\right\rangle }
แหล่งกำเนิดสถานะโฟตอนเดี่ยว โดยทั่วไปแล้ว โฟตอนเดี่ยวจะถูกสร้างขึ้นโดยใช้ตัวปล่อยเดี่ยว (อะตอม ไอออน โมเลกุลศูนย์ไนโตรเจน-วาแคนซี [ 8 ] จุด ควอนตัม [ 9 ] ) อย่างไรก็ตาม แหล่งกำเนิดเหล่านี้ไม่ได้มีประสิทธิภาพมากนักเสมอไป มักมีความน่าจะเป็นต่ำที่จะได้รับโฟตอน เดี่ยว ตามต้องการ และมักมีความซับซ้อนและไม่เหมาะสมที่จะใช้งานนอกสภาพแวดล้อมของห้องปฏิบัติการ
แหล่งกำเนิดอื่นๆ ที่ใช้กันทั่วไปสามารถแก้ไขปัญหาเหล่านี้ได้ แต่ต้องแลกมาด้วยพฤติกรรมที่ไม่แน่นอน แหล่งกำเนิดโฟตอนเดี่ยวแบบมีสัญญาณบ่งชี้ คือแหล่งกำเนิดโฟตอนสองตัวแบบความน่าจะเป็น ซึ่งคู่โฟตอนจะถูกแยกออก และการตรวจพบโฟตอนหนึ่งตัวจะบ่งชี้ถึงการมีอยู่ของโฟตอนที่เหลือ แหล่งกำเนิดเหล่านี้มักอาศัยคุณสมบัติทางแสงที่ไม่เป็นเชิงเส้นทางของวัสดุบางชนิด เช่นลิเธียมไนโอเบต ที่มีการจัดเรียงขั้วเป็นระยะ ( การแปลงพารามิเตอร์แบบเกิดขึ้นเอง ) หรือซิลิคอน ( การผสมคลื่นสี่คลื่น แบบเกิดขึ้นเอง ) เป็นต้น
พฤติกรรมที่ไม่เป็นไปตามแบบแผนดั้งเดิม การแทนแบบ P ของ Glauber–Sudarshan สำหรับสถานะ Fock แสดงให้เห็นว่าสถานะเหล่านี้เป็นกลศาสตร์ควอนตัมล้วนๆ และไม่มีคู่เทียบแบบคลาสสิก ค่าของสถานะเหล่านี้ในการแทนนั้นคืออนุพันธ์อันดับที่ ' ของฟังก์ชันเดลต้าของ Dirac ดังนั้นจึงไม่ใช่การกระจายความน่าจะเป็น แบบคลาสสิ ก φ ( α ) {\displaystyle \scriptstyle \varphi (\alpha )\,} 2 n {\displaystyle 2n}
ดูเพิ่มเติม
ลิงก์ภายนอก วลาดาน วูเลติช จากMIT ได้ใช้กลุ่มอะตอมเพื่อสร้างแหล่งกำเนิดสถานะฟ็อค (หรือที่รู้จักกันในชื่อโฟตอนเดี่ยว) ( เก็บถาวรเมื่อ 15 มิถุนายน 2023 ที่Wayback Machine (PDF)) สร้างและวัดสถานะโฟตอนเดี่ยว (สถานะฟ็อค) ด้วยการทดลองเชิงโต้ตอบQuantumLab