อ่าน 14 นาที
แบบจำลอง XY แบบคลาสสิก
แบบ จำลอง XY แบบคลาสสิก (บางครั้งเรียกว่า แบบจำลอง โรเตอร์ ( โรเตอร์เตอร์ ) แบบคลาสสิก หรือ แบบจำลอง O(2) ) เป็น แบบจำลองแลตติส ของ กลศาสตร์สถิติ โดยทั่วไป แบบจำลอง XY...
แบบจำลอง XY แบบคลาสสิก
แบบจำลอง XY แบบคลาสสิก (บางครั้งเรียกว่าแบบจำลองโรเตอร์ ( โรเตอร์เตอร์ ) แบบคลาสสิก หรือแบบจำลอง O(2) ) เป็นแบบจำลองแลตติสของกลศาสตร์สถิติ โดยทั่วไป แบบจำลอง XY สามารถมองได้ว่าเป็น แบบจำลองเวกเตอร์nของ Stanley [ 1 ]สำหรับn = 2
คำนิยาม
กำหนดให้แลตทิซ Λ เป็นแลตทิซ Dมิติที่แต่ละไซต์แลตทิซ j ∈ Λจะมีเวกเตอร์สองมิติความยาวหนึ่งหน่วยs j = (cos θ j , sin θ j )การกำหนดค่าสปินs = ( s j ) j ∈ Λคือการกำหนดมุม− π < θ j ≤ πสำหรับแต่ละj ∈ Λ
เมื่อกำหนดปฏิสัมพันธ์J ij (ซึ่งมักถือว่าไม่เปลี่ยนแปลงภายใต้การเลื่อนตำแหน่ง ดังนั้นJ ij = J ( i − j ) ) และสนามภายนอกที่ขึ้นอยู่กับจุดพลังงานการจัดเรียงตัวของสปินที่กำหนดคือ
โดยทั่วไปมักพิจารณากรณีเพื่อนบ้านที่ใกล้ที่สุด ซึ่งJ ij = 0ยกเว้นในกรณีที่iและjเป็นเพื่อนบ้านที่ใกล้ที่สุด
ความน่าจะเป็นของการจัดเรียงตัวนั้นกำหนดโดยการแจกแจงแบบโบลต์ซมันน์โดยมีอุณหภูมิผกผันβ ≥ 0 :
โดยที่Zคือฟังก์ชันการทำให้เป็นมาตรฐานหรือฟังก์ชันการแบ่งส่วน [ 2 ] สัญลักษณ์นี้แสดงถึงความคาดหวังของตัวแปรสุ่มA ( s )ในขีดจำกัดปริมาตรอนันต์ หลังจากมีการกำหนด เงื่อนไขขอบเขตแบบคาบ
แบบจำลอง XY แบบคลาสสิกคือขีดจำกัดกึ่งคลาสสิกของแบบจำลองควอนตัม XY แบบ สปิน -s ในขีดจำกัดเมื่อsมีค่ามาก
ผลลัพธ์ที่เข้มงวด
- การมีอยู่ของขีดจำกัดทางเทอร์โมไดนามิกสำหรับพลังงานอิสระและความสัมพันธ์ของสปินได้รับการพิสูจน์โดยGinibre โดยขยายความไม่เท่าเทียมกัน ของGriffithsในกรณีนี้[ 3 ]
- การใช้ความไม่เท่าเทียมกันของ Griffithsในการกำหนดสูตรของ Ginibre, Aizenman และ Simon [ 4 ]พิสูจน์ว่าความสัมพันธ์ของสปินสองจุดของ แบบจำลอง เฟอร์โรแมกเนติก XY ในมิติDการเชื่อมต่อJ > 0และอุณหภูมิผกผันβนั้นถูกครอบงำโดย (กล่าวคือมีขอบเขตบนที่กำหนดโดย) ความสัมพันธ์สองจุดของ แบบจำลอง เฟอร์โรแมกเนติกIsingในมิติDการเชื่อมต่อJ > 0และอุณหภูมิผกผันเบต้า/2ดังนั้น ค่า βวิกฤตของแบบจำลอง XY จึงไม่สามารถน้อยกว่าสองเท่าของค่า β วิกฤต ของแบบจำลอง Ising ได้
มิติเดียว
เช่นเดียวกับใน แบบจำลองเวกเตอร์n 'เพื่อนบ้านที่ใกล้ที่สุด' ใดๆที่มีเงื่อนไขขอบเขตอิสระ (ไม่เป็นคาบ) หากสนามภายนอกเป็นศูนย์ จะมีคำตอบที่แน่นอนง่ายๆ ในกรณีเงื่อนไขขอบเขตอิสระ แฮมิลโทเนียน จึงเป็นฟังก์ชันพาร์ติชันที่แยกตัวประกอบภายใต้การเปลี่ยนพิกัด ซึ่งให้ โดยที่คือฟังก์ชันเบสเซลที่ดัดแปลงชนิดแรก ฟังก์ชันพาร์ติชันสามารถใช้เพื่อค้นหาปริมาณทางเทอร์โมไดนามิกที่สำคัญหลายอย่าง ตัวอย่างเช่น ในขีดจำกัดทางเทอร์โมไดนามิก ( ) พลังงานอิสระต่อสปินคือ การใช้คุณสมบัติของฟังก์ชันเบสเซลที่ดัดแปลง ความร้อนจำเพาะ (ต่อสปิน) สามารถแสดงได้เป็น[ 5 ] โดยที่และคือฟังก์ชันสหสัมพันธ์ระยะสั้น

แม้ในขีดจำกัดทางเทอร์โมไดนามิก ก็ไม่มีความคลาดเคลื่อนในความร้อนจำเพาะ อันที่จริง เช่นเดียวกับแบบจำลอง Ising แบบหนึ่งมิติ แบบจำลอง XY แบบหนึ่งมิติก็ไม่มีการเปลี่ยนสถานะที่อุณหภูมิจำกัด
การคำนวณแบบเดียวกันสำหรับเงื่อนไขขอบเขตแบบคาบ (และh = 0 เช่นกัน ) ต้องใช้รูปแบบเมทริกซ์การถ่ายโอนแม้ว่าผลลัพธ์จะเหมือนกันก็ตาม[ 6 ]
ฟังก์ชันพาร์ติชันสามารถประเมินได้เป็น ซึ่งสามารถถือได้ว่าเป็นร่องรอยของเมทริกซ์ กล่าวคือ ผลคูณของเมทริกซ์ (สเกลาร์ ในกรณีนี้) ร่องรอยของเมทริกซ์ก็คือผลรวมของค่าไอเกน และในขีดจำกัดทางเทอร์โมไดนามิกจะมีเพียงค่าไอเกนที่ใหญ่ที่สุดเท่านั้นที่ยังคงอยู่ ดังนั้นฟังก์ชันพาร์ติชันจึงสามารถเขียนได้เป็นผลคูณซ้ำๆ ของค่าไอเกนสูงสุดนี้ ซึ่งต้องแก้ปัญหาค่าไอเกน โปรด สังเกตการกระจาย
ซึ่งแสดงถึงการแสดงเมทริกซ์แนวทแยงในฐานของฟังก์ชันคลื่นระนาบของมันค่าไอเกนของเมทริกซ์คือฟังก์ชันเบสเซลที่ปรับเปลี่ยนแล้วซึ่งประเมิน ค่า ที่ นั่นคือสำหรับค่าใด ๆ ของฟังก์ชันเบสเซลที่ปรับเปลี่ยนแล้วจะสอดคล้องกับและดังนั้นในขีดจำกัดทางเทอร์โมไดนามิก ค่าไอเกนจะครอบงำร่องรอย และดังนั้นวิธีการเมทริกซ์การถ่ายโอนนี้ยังจำเป็นต้องใช้เมื่อใช้เงื่อนไขขอบเขตอิสระ แต่มีสนามที่ใช้หากสนามที่ใช้มีขนาดเล็กพอที่จะถือได้ว่าเป็นการรบกวนต่อระบบในสนามเป็นศูนย์ ความไวต่อสนามแม่เหล็กสามารถประมาณได้ โดยทำโดยใช้สถานะเฉพาะที่คำนวณโดยวิธีการเมทริกซ์การถ่ายโอนและคำนวณการเปลี่ยนแปลงพลังงานด้วยทฤษฎีการรบกวน อันดับสอง จากนั้นเปรียบเทียบกับการขยายพลังงานอิสระพบว่า[ 7 ] โดยที่คือค่าคงที่ของคูรี (ค่าที่มักเกี่ยวข้องกับความไวต่อสนามแม่เหล็กในวัสดุแม่เหล็ก) นิพจน์นี้ยังเป็นจริงสำหรับแบบจำลอง Ising หนึ่งมิติด้วยการแทนที่
สองมิติ

แบบจำลอง XY สองมิติที่มีปฏิสัมพันธ์ระหว่างเพื่อนบ้านใกล้เคียงเป็นตัวอย่างของระบบสองมิติที่มีสมมาตรต่อเนื่องซึ่งไม่มีระเบียบระยะไกลตามที่ทฤษฎีบทเมอร์มิน-แวกเนอร์ กำหนดไว้ ในทำนองเดียวกัน ไม่มี ปรากฏการณ์ การเปลี่ยนเฟสแบบ ดั้งเดิม ที่เกี่ยวข้องกับการทำลายสมมาตรอย่างไรก็ตาม ดังที่จะกล่าวถึงในภายหลัง ระบบแสดงสัญญาณของการเปลี่ยนจากสถานะไร้ระเบียบที่อุณหภูมิสูงไปสู่สถานะกึ่งมีระเบียบที่อุณหภูมิต่ำกว่าอุณหภูมิวิกฤตบางค่า ซึ่งเรียกว่าการเปลี่ยนผ่านแบบคอสเตอร์ลิตซ์-เธาเลสในกรณีของโครงตาข่ายสปินแบบไม่ต่อเนื่อง แบบจำลอง XY สองมิติสามารถประเมินได้โดยใช้วิธีเมทริกซ์ถ่ายโอน ลดแบบจำลองให้เป็นปัญหาค่าลักษณะเฉพาะ และใช้ค่าลักษณะเฉพาะที่ใหญ่ที่สุดจากเมทริกซ์ถ่ายโอน แม้ว่าการหาคำตอบที่แน่นอนจะทำได้ยาก แต่ก็สามารถใช้การประมาณค่าบางอย่างเพื่อประมาณอุณหภูมิวิกฤตซึ่งเกิดขึ้นที่อุณหภูมิต่ำได้ ตัวอย่างเช่น Mattis (1984 [ 9 ] ) ใช้การประมาณค่าของแบบจำลองนี้เพื่อประมาณอุณหภูมิวิกฤตของระบบ แบบ จำลอง 2D XY ยังได้รับการศึกษาอย่างละเอียดโดยใช้ การจำลอง Monte Carloเช่น ด้วยอัลกอริทึม Metropolisสิ่งเหล่านี้สามารถใช้ในการคำนวณปริมาณทางเทอร์โมไดนามิก เช่น พลังงานของระบบ ความร้อนจำเพาะ การทำให้เป็นแม่เหล็ก ฯลฯ ในช่วงอุณหภูมิและช่วงเวลาต่างๆ ในการจำลอง Monte Carlo แต่ละสปินจะสัมพันธ์กับมุมที่เปลี่ยนแปลงอย่างต่อเนื่อง(บ่อยครั้ง สามารถแบ่งเป็นมุมจำนวนจำกัดได้ เช่นในแบบจำลอง Potts ที่เกี่ยวข้อง เพื่อความสะดวกในการคำนวณ อย่างไรก็ตาม นี่ไม่ใช่ข้อกำหนด) ในแต่ละขั้นตอนเวลา อัลกอริทึม Metropolis จะเลือกสปินหนึ่งตัวแบบสุ่มและหมุนมุมของมันด้วยค่าเพิ่มขึ้นแบบสุ่มการเปลี่ยนแปลงมุมนี้ทำให้เกิดการเปลี่ยนแปลงพลังงานของระบบ ซึ่งอาจเป็นบวกหรือลบ หากเป็นลบ อัลกอริทึมจะยอมรับการเปลี่ยนแปลงมุม หากเป็นบวก การกำหนดค่าจะได้รับการยอมรับด้วยความน่าจะเป็น ซึ่งเป็นปัจจัย Boltzmannสำหรับการเปลี่ยนแปลงพลังงาน วิธี Monte Carlo ถูกนำมาใช้เพื่อตรวจสอบอุณหภูมิวิกฤตของระบบด้วยวิธีการต่างๆ และคาดว่าจะเป็น[ 10 ]วิธี Monte Carlo ยังสามารถคำนวณค่าเฉลี่ยที่ใช้ในการคำนวณปริมาณทางเทอร์โมไดนามิก เช่น การทำให้เป็นแม่เหล็ก ความสัมพันธ์ระหว่างสปินกับสปิน ความยาวความสัมพันธ์ และความร้อนจำเพาะ ซึ่งเป็นวิธีสำคัญในการกำหนดลักษณะพฤติกรรมของระบบใกล้กับอุณหภูมิวิกฤต ตัวอย่างเช่น การทำให้เป็นแม่เหล็กและกำลังสองของการทำให้เป็นแม่เหล็กสามารถคำนวณได้ดังนี้

จำนวนสปินอยู่ ที่ไหน ค่าเฉลี่ยของสนามแม่เหล็กบ่งบอกถึงขนาดของโมเมนต์แม่เหล็กสุทธิของระบบ ในระบบแม่เหล็กหลายระบบ ค่านี้จะเป็นศูนย์เหนืออุณหภูมิวิกฤต และจะกลายเป็นค่าที่ไม่เป็นศูนย์โดยธรรมชาติที่อุณหภูมิต่ำ ในทำนองเดียวกัน ค่าสนามแม่เหล็กกำลังสองเฉลี่ยบ่งบอกถึงค่าเฉลี่ยของกำลังสองของส่วนประกอบสุทธิของสปินทั่วทั้งแลตทิซ โดยทั่วไปแล้วค่าเหล่านี้มักใช้เพื่อบ่งบอกพารามิเตอร์ลำดับของระบบ การวิเคราะห์อย่างเข้มงวดของแบบจำลอง XY แสดงให้เห็นว่าสนามแม่เหล็กในขีดจำกัดทางเทอร์โมไดนามิกเป็นศูนย์ และสนามแม่เหล็กกำลังสองโดยประมาณเป็นไปตาม [ 12 ]ซึ่งจะหายไปในขีดจำกัดทางเทอร์โมไดนามิก อันที่จริง ที่อุณหภูมิสูง ปริมาณนี้จะเข้าใกล้ศูนย์ เนื่องจากส่วนประกอบของสปินจะมีแนวโน้มที่จะสุ่มและรวมกันเป็นศูนย์ อย่างไรก็ตาม ที่อุณหภูมิต่ำสำหรับระบบที่มีขนาดจำกัด ค่าสนามแม่เหล็กกำลังสองเฉลี่ยจะเพิ่มขึ้น ซึ่งบ่งชี้ว่ามีบริเวณของพื้นที่สปินที่เรียงตัวกันเพื่อให้มีส่วนร่วมที่ไม่เป็นศูนย์ ค่าการเหนี่ยวนำแม่เหล็กที่แสดง (สำหรับโครงสร้างตาข่ายขนาด 25x25) เป็นตัวอย่างหนึ่งของปรากฏการณ์นี้ ซึ่งดูเหมือนจะบ่งชี้ถึงการเปลี่ยนสถานะ ในขณะที่ไม่มีการเปลี่ยนสถานะดังกล่าวเกิดขึ้นในขีดจำกัดทางเทอร์โมไดนามิก
นอกจากนี้ การใช้กลศาสตร์เชิงสถิติทำให้สามารถเชื่อมโยงค่าเฉลี่ยทางเทอร์โมไดนามิกกับปริมาณต่างๆ เช่น ความร้อนจำเพาะได้โดยการคำนวณ ความร้อนจำเพาะจะแสดงที่อุณหภูมิต่ำใกล้กับอุณหภูมิวิกฤตไม่มีลักษณะใดในความร้อนจำเพาะที่สอดคล้องกับพฤติกรรมวิกฤต (เช่น การล divergence) ที่อุณหภูมิที่คาดการณ์นี้ อันที่จริง การประมาณอุณหภูมิวิกฤตมาจากวิธีการอื่นๆ เช่น จากโมดูลัสเฮลิซิตี้หรือการพึ่งพาอุณหภูมิของการล divergence ของความไว[ 13 ]อย่างไรก็ตาม มีลักษณะในความร้อนจำเพาะในรูปแบบของจุดสูงสุดที่ตำแหน่งและความสูงของจุดสูงสุดนี้แสดงให้เห็นว่าไม่ขึ้นอยู่กับขนาดของระบบ สำหรับแลตติสที่มีขนาดเชิงเส้นมากกว่า 256 อันที่จริง ความผิดปกติของความร้อนจำเพาะยังคงกลมและมีค่าจำกัดสำหรับขนาดแลตติสที่เพิ่มขึ้น โดยไม่มีจุดสูงสุดที่ล divergence
ลักษณะของการเปลี่ยนผ่านที่สำคัญและการก่อตัวของกระแสน้ำวนสามารถอธิบายได้โดยการพิจารณาแบบจำลอง XY แบบต่อเนื่อง ในที่นี้ สปินแบบไม่ต่อเนื่องจะถูกแทนที่ด้วยสนามที่แสดงถึงมุมของสปิน ณ จุดใดๆ ในอวกาศ ในกรณีนี้ มุมของสปินจะต้องเปลี่ยนแปลงอย่างราบรื่นเมื่อมีการเปลี่ยนแปลงตำแหน่ง การขยายโคไซน์ดั้งเดิมเป็นอนุกรมเทย์เลอร์ ทำให้ แฮมิลโทเนียนสามารถแสดงได้ในการประมาณแบบต่อเนื่องดังนี้

แบบจำลอง XY แบบต่อเนื่องมักใช้ในการจำลองระบบที่มีพารามิเตอร์ลำดับที่มีสมมาตรแบบเดียวกัน เช่นฮีเลียมยิ่งยวดผลึกเหลวเฮกซาติกนี่คือสิ่งที่ทำให้แบบจำลองเหล่านี้แตกต่างจากการเปลี่ยนเฟสอื่นๆ ซึ่งมักเกิดขึ้นพร้อมกับการทำลายสมมาตร ข้อบกพร่องทางโทโพโลยีในแบบจำลอง XY นำไปสู่การเปลี่ยนผ่านแบบปลดปล่อยกระแสน้ำวนจากเฟสอุณหภูมิต่ำไปสู่เฟสไม่เป็นระเบียบที่ อุณหภูมิสูง อันที่จริง ข้อเท็จจริงที่ว่าที่อุณหภูมิสูง ความสัมพันธ์จะลดลงอย่างรวดเร็วแบบเอกซ์โพเนนเชียล ในขณะที่ที่อุณหภูมิต่ำจะลดลงตามกฎกำลังแม้ว่าในทั้งสองระบอบM ( β ) = 0ก็ตาม เรียกว่าการเปลี่ยนผ่านแบบ Kosterlitz–Thouless Kosterlitz และ Thouless ได้ให้เหตุผลอย่างง่ายๆ ว่าทำไมจึงเป็นเช่นนั้น โดยพิจารณาสถานะพื้นฐานที่ประกอบด้วยสปินทั้งหมดในทิศทางเดียวกัน จากนั้นจึงเพิ่มกระแสน้ำวนเพียงหนึ่งเดียว การมีอยู่ของสิ่งเหล่านี้ทำให้เกิดเอนโทรปีโดยประมาณโดยที่คือมาตราส่วนความยาว ที่มีประสิทธิภาพ (ตัวอย่างเช่น ขนาดของแลตติสสำหรับแลตติสแบบไม่ต่อเนื่อง) ในขณะเดียวกัน พลังงานของระบบจะเพิ่มขึ้นเนื่องจากกระแสน้ำวนเป็นจำนวนเมื่อรวมสิ่งเหล่านี้เข้าด้วยกัน พลังงานอิสระของระบบจะเปลี่ยนแปลงเนื่องจากการก่อตัวของกระแสน้ำวนโดยธรรมชาติเป็นจำนวน ในขีดจำกัดทางเทอร์โมไดนามิก ระบบไม่เอื้อต่อการก่อตัวของกระแสน้ำวนที่อุณหภูมิต่ำ แต่จะเอื้อต่อการก่อตัวของกระแสน้ำวนที่อุณหภูมิสูงกว่าอุณหภูมิวิกฤตสิ่งนี้บ่งชี้ว่าที่อุณหภูมิต่ำ กระแสน้ำวนใด ๆ ที่เกิดขึ้นจะต้องการทำลายล้างกับกระแสน้ำวนตรงข้ามเพื่อลดพลังงานของระบบ อันที่จริง นี่จะเป็นเช่นนั้นในเชิงคุณภาพหากเราสังเกต 'ภาพถ่าย' ของระบบสปินที่อุณหภูมิต่ำ ซึ่งกระแสน้ำวนและกระแสน้ำวนตรงข้ามค่อย ๆ รวมตัวกันเพื่อทำลายล้าง ดังนั้น สถานะที่อุณหภูมิต่ำจะประกอบด้วยคู่กระแสน้ำวน-กระแสน้ำวนตรงข้ามที่ผูกพันกัน ในขณะเดียวกัน ที่อุณหภูมิสูง จะเกิดกลุ่มของกระแสลมหมุนวนและกระแสลมหมุนวนสวนทางที่ไม่ถูกจำกัด ซึ่งสามารถเคลื่อนที่ไปมาได้อย่างอิสระบนระนาบ
ในการแสดงภาพแบบจำลอง Ising เราสามารถใช้ลูกศรชี้ขึ้นหรือลง หรือแสดงเป็นจุดสีดำ/ขาวเพื่อระบุสถานะได้ ส่วนการแสดงภาพระบบสปิน XY นั้น สปินสามารถแสดงได้ด้วยลูกศรชี้ไปในทิศทางใดทิศทางหนึ่ง หรือแสดงเป็นจุดที่มีสี ในที่นี้จำเป็นต้องแสดงสปินด้วยสเปกตรัมของสีต่างๆ เนื่องจากตัวแปรต่อเนื่องที่เป็นไปได้แต่ละตัว ซึ่งสามารถทำได้โดยใช้สเปกตรัมสีแดง-เขียว-น้ำเงินแบบต่อเนื่องและเป็นคาบ ตัวอย่างเช่น ดังแสดงในรูป สีฟ้าสอดคล้องกับมุมศูนย์องศา (ชี้ไปทางขวา) ในขณะที่สีแดงสอดคล้องกับมุม 180 องศา (ชี้ไปทางซ้าย) จากนั้นเราสามารถศึกษาภาพรวมของการจัดเรียงสปินที่อุณหภูมิต่างๆ เพื่ออธิบายสิ่งที่เกิดขึ้นเหนือและใต้จุดวิกฤตของแบบจำลอง XY ที่อุณหภูมิสูง สปินจะไม่มีทิศทางที่แน่นอน และจะมีการเปลี่ยนแปลงของมุมระหว่างสปินที่อยู่ใกล้เคียงกันอย่างคาดเดาไม่ได้ เนื่องจากไม่มีการจัดเรียงที่ให้พลังงานที่เหมาะสมเป็นพิเศษ ในกรณีนี้ แผนที่สีจะดูเป็นพิกเซลสูงมาก ในขณะเดียวกัน ที่อุณหภูมิต่ำ การจัดเรียงสถานะพื้นฐานที่เป็นไปได้แบบหนึ่งคือ สปินทั้งหมดจะชี้ไปในทิศทางเดียวกัน (มุมเดียวกัน) ซึ่งจะสอดคล้องกับบริเวณ (โดเมน) ในแผนที่สีที่สปินทั้งหมดมีสีใกล้เคียงกัน

ในการระบุกระแสน้ำวน (หรือกระแสน้ำวนย้อนกลับ) ที่เกิดขึ้นจากการเปลี่ยนแปลงแบบ Kosterlitz–Thouless นั้น เราสามารถกำหนดการเปลี่ยนแปลงของมุมที่มีเครื่องหมายได้โดยการเคลื่อนที่ไปตามวงกลมของจุดบนโครงตาข่ายทวนเข็มนาฬิกา หากการเปลี่ยนแปลงของมุมทั้งหมดเป็นศูนย์ แสดงว่าไม่มีกระแสน้ำวนอยู่ ในขณะที่การเปลี่ยนแปลงของมุมทั้งหมดเป็นศูนย์แสดงว่ายังมีกระแสน้ำวน (หรือกระแสน้ำวนย้อนกลับ) อยู่ กระแสน้ำวนเหล่านี้เป็นวัตถุที่มีโครงสร้างทางทอพอโลยีที่ซับซ้อน ซึ่งมักมาเป็นคู่ของกระแสน้ำวนและกระแสน้ำวนย้อนกลับ และสามารถแยกออกจากกันหรือทำลายล้างกันได้ ในแผนที่สี ข้อบกพร่องเหล่านี้สามารถระบุได้ในบริเวณที่มีการไล่ระดับสี สูง ซึ่งสีทั้งหมดในสเปกตรัมมาบรรจบกันรอบจุดหนึ่ง ในเชิงคุณภาพ ข้อบกพร่องเหล่านี้อาจดูเหมือนแหล่งกำเนิดการไหลที่ชี้เข้าหรือออก หรือกระแสน้ำวนของสปินที่หมุนตามเข็มนาฬิกาหรือทวนเข็มนาฬิกา หรือลักษณะที่ดูเหมือนไฮเปอร์โบลา โดยมีสปินบางส่วนชี้เข้าหาและบางส่วนชี้ออกจากข้อบกพร่อง เมื่อศึกษาการจัดเรียงตัวในระยะเวลาที่ยาวนานและที่อุณหภูมิต่ำ จะสังเกตได้ว่าคู่ของกระแสน้ำวนและกระแสน้ำวนตรงข้ามเหล่านี้จำนวนมากจะเข้าใกล้กันมากขึ้นและในที่สุดก็จะสลายตัวไป กระแสน้ำวนและกระแสน้ำวนตรงข้ามเหล่านี้จะหลุดพ้นและแยกตัวออกจากกันก็ต่อเมื่ออยู่ที่อุณหภูมิสูงเท่านั้น
ในแบบจำลอง XY แบบต่อเนื่อง การเกิดสนามแม่เหล็กโดยธรรมชาติที่อุณหภูมิสูงจะหายไป นอกจากนี้การขยายคลัสเตอร์แสดงให้เห็นว่าความสัมพันธ์ของสปินจะรวมกลุ่มกันอย่างรวดเร็วแบบเอกซ์โพเนนเชียล ตัวอย่างเช่น ที่ อุณหภูมิต่ำ กล่าวคือβ ≫ 1การเกิดสนามแม่เหล็กโดยธรรมชาติยังคงเป็นศูนย์ (ดูทฤษฎีบทของ Mermin–Wagner ) แต่การลดลงของความสัมพันธ์เป็นไปตามกฎกำลังเท่านั้น Fröhlich และ Spencer [ 14 ]พบขอบเขตล่าง
ในขณะที่ McBryan และ Spencer พบขอบเขตบนสำหรับสิ่งใดก็ตาม
สามมิติและมิติที่สูงกว่า
ไม่ว่าระยะการปฏิสัมพันธ์จะเป็นเท่าใดก็ตาม ที่อุณหภูมิต่ำพอ การทำให้เป็นแม่เหล็กจะมีค่าเป็นบวก
- ที่อุณหภูมิสูง การเกิดสนามแม่เหล็กโดยธรรมชาติจะหายไปนอกจากนี้การขยายคลัสเตอร์แสดงให้เห็นว่าความสัมพันธ์ของสปินจะรวมกลุ่มกันอย่างรวดเร็วแบบเลขชี้กำลัง ตัวอย่างเช่น
- ที่อุณหภูมิต่ำขอบเขตอินฟราเรดแสดงให้เห็นว่าสนามแม่เหล็กที่เกิดขึ้นเองมีค่าเป็นบวกอย่างเคร่งครัด: นอกจากนี้ ยังมีตระกูลสถานะสุดขั้วแบบ 1 พารามิเตอร์เช่นนั้นแต่โดยสมมติฐานแล้ว ในแต่ละสถานะสุดขั้วเหล่านี้ ความสัมพันธ์ที่ถูกตัดทอนจะลดลงแบบพีชคณิต
การเปลี่ยนเฟส
ดังที่กล่าวมาข้างต้น ในมิติเดียวแบบจำลอง XY ไม่มีปรากฏการณ์การเปลี่ยนเฟส ในขณะที่ในสองมิติจะมีปรากฏการณ์การเปลี่ยนเฟสแบบ Berezinski-Kosterlitz-Thoulessระหว่างเฟสต่างๆ โดยมีฟังก์ชันสหสัมพันธ์ที่ลดลงแบบเอกซ์ponential และแบบกำลังยกกำลัง
ในสามมิติและมิติที่สูงกว่านั้น แบบจำลอง XY มีการเปลี่ยนสถานะจากเฟอร์โรแมกเนติกเป็นพาราแมกเนติก ที่อุณหภูมิต่ำ ค่าการเหนี่ยวนำแม่เหล็กโดยธรรมชาติจะไม่เป็นศูนย์: นี่คือสถานะเฟอร์โรแมกเนติก เมื่ออุณหภูมิเพิ่มขึ้น ค่าการเหนี่ยวนำแม่เหล็กโดยธรรมชาติจะค่อยๆ ลดลงและหายไปที่อุณหภูมิวิกฤต ค่าการเหนี่ยวนำแม่เหล็กโดยธรรมชาติจะคงเป็นศูนย์ที่อุณหภูมิสูงกว่านั้นทั้งหมด: นี่คือสถานะพาราแมกเนติก
ในมิติที่สี่และมิติที่สูงกว่า การเปลี่ยนสถานะจะมีค่าเลขชี้กำลังวิกฤตตามทฤษฎีสนามเฉลี่ย (โดยมีการแก้ไขแบบลอการิทึมในมิติที่สี่)
กรณีสามมิติ: เลขชี้กำลังวิกฤต
กรณีสามมิติมีความน่าสนใจเนื่องจากเลขชี้กำลังวิกฤตที่การเปลี่ยนเฟสไม่ใช่ค่าธรรมดา ระบบทางกายภาพสามมิติหลายระบบอยู่ในกลุ่มความเป็นสากล เดียวกัน กับแบบจำลอง XY สามมิติและมีเลขชี้กำลังวิกฤตเดียวกัน โดยเฉพาะอย่างยิ่งแม่เหล็กระนาบง่ายและฮีเลียมเหลว-4ค่าของเลขชี้กำลังวิกฤต เหล่านี้ วัดได้จากการทดลอง การจำลองมอนเตคาร์โล และยังสามารถคำนวณได้ด้วยวิธีการทางทฤษฎีของทฤษฎีสนามควอนตัมเช่นกลุ่มการปรับมาตรฐาน (renormalization group ) และ บูตสแตรปแบบคอนฟอร์ม อล (conformal bootstrap ) วิธีการกลุ่มการปรับมาตรฐานสามารถนำมาใช้ได้เพราะเชื่อกันว่าจุดวิกฤตของแบบจำลอง XY อธิบายได้ด้วยจุดคงที่ของกลุ่มการปรับมาตรฐาน วิธีการบูตสแตรปแบบคอนฟอร์มอลสามารถนำมาใช้ได้เพราะเชื่อกันว่าเป็นทฤษฎีสนามคอนฟอร์มอลสาม มิติแบบเอกภาพเช่นกัน
เลขชี้กำลังวิกฤตที่สำคัญที่สุดของแบบจำลอง XY สามมิติคือทั้งหมดสามารถแสดงได้ด้วยตัวเลขเพียงสองตัว: มิติการปรับสเกลและของฟิลด์พารามิเตอร์ลำดับเชิงซ้อนและของตัวดำเนินการซิงเกิลนำ(เช่นเดียวกับในคำอธิบายของGinzburg–Landau ) ฟิลด์สำคัญอีกฟิลด์หนึ่งคือ(เช่นเดียวกับ) ซึ่งมิติของมันกำหนดเลขชี้กำลังการแก้ไขการปรับขนาดตามการคำนวณบูตสแตรปแบบคอนฟอร์มอล[ 15 ]มิติทั้งสามนี้กำหนดโดย:
| 0.519088(22) | |
| 1.51136(22) | |
| 3.794(8) |
ซึ่งจะได้ค่าเลขชี้กำลังวิกฤตดังต่อไปนี้:
| นิพจน์ทั่วไป ( ) | ค่าตัวเลข | |
|---|---|---|
| α | -0.01526(30) | |
| เบต้า | 0.34869(7) | |
| γ | 1.3179(2) | |
| δ | 4.77937(25) | |
| η | 0.038176(44) | |
| ν | 0.67175(10) | |
| ω | 0.794(8) |
วิธีการ Monte Carlo ให้การกำหนดที่เข้ากันได้: [ 16 ]
ดูเพิ่มเติม
- แบบจำลองควอนตัมไฮเซนเบิร์ก
- แบบจำลองโรเตอร์ควอนตัม
- แบบจำลองไฮเซนเบิร์กแบบคลาสสิก
- ก๊าซคูลอมบ์
- โบซอนโกลด์สโตน
- แบบจำลองไอซิง
- แบบจำลองพอตต์ส
- แบบจำลองเวกเตอร์n
- การเปลี่ยนผ่านระหว่าง Kosterlitz และ Thouless
- ข้อบกพร่องเชิงทอพอโลยี
- ฟิล์มซุปเปอร์ฟลูอิด
- แบบจำลองซิกมา
- แบบจำลองไซน์-กอร์ดอน
หมายเหตุ
- ^ Stanley, HE (1968). "การพึ่งพาของคุณสมบัติวิกฤตต่อมิติของสปิน". Physical Review Letters . 20 (12): 589– 592. Bibcode : 1968PhRvL..20..589S . doi : 10.1103/PhysRevLett.20.589 .
- ^ Chaikin, PM; Lubensky, TC (2000). หลักการของฟิสิกส์สสารควบแน่น . สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์. ISBN 978-0-521-79450-3.
- ^ Ginibre, J. (1970). "การกำหนดสูตรทั่วไปของอสมการของ Griffiths"การ สื่อสาร ในฟิสิกส์คณิตศาสตร์16 (4): 310– 328. Bibcode : 1970CMaPh..16..310G . doi : 10.1007/BF01646537 . S2CID 120649586 .
- ^ Aizenman, M.; Simon, B. (1980). "การเปรียบเทียบแบบจำลองโรเตอร์ระนาบและแบบจำลอง Ising" Physics Letters A . 76 ( 3– 4): 281– 282. Bibcode : 1980PhLA...76..281A . doi : 10.1016/0375-9601(80)90493-4 .
- ^ Badalian, D. (1996). "เกี่ยวกับอุณหพลศาสตร์ของสปินคลาสสิกที่มีปฏิสัมพันธ์ไฮเซนเบิร์กแบบไอโซโทรปในโครงสร้างกึ่งคาบหนึ่งมิติ" Physica B . 226 (4): 385– 390. Bibcode : 1996PhyB..226..385B . doi : 10.1016/0921-4526(96)00283-9 .
- ^ Mattis, DC (1984). "เมทริกซ์การถ่ายโอนในแบบจำลองระนาบหมุน". Physics Letters A . 104 A ( 6– 7): 357– 360. Bibcode : 1984PhLA..104..357M . doi : 10.1016/0375-9601(84)90816-8 .
- ^ Mattis, DC (1985). ทฤษฎีแม่เหล็ก เล่ม 2.ชุดหนังสือฟิสิกส์ของแข็งของ Springer. ISBN 978-3-642-82405-0.
- ^ Ota, S.; Ota, SB; Fahnle, M (1992). "การจำลองมอนเตคาร์โลแบบไมโครแคนอนิกสำหรับแบบจำลอง XY สองมิติ" วารสารฟิสิกส์: สสารควบแน่น 4 ( 24): 5411. รหัสบรรณานุกรม : 1992JPCM....4.5411O . doi : 10.1088/0953-8984/4/24/011 . S2CID 250920391 .
- ^ Mattis, Daniel (1984). "เมทริกซ์การถ่ายโอนในแบบจำลองระนาบหมุน" . Physics Letters A . 104 ( 6– 7): 357– 360.
- ^ Hsieh, Y.-D.; Kao, Y.-J.; Sandvik, AW (2013). "วิธีการปรับขนาดขนาดจำกัดสำหรับการเปลี่ยนผ่านของ Berezinskii-Kosterlitz-Thouless". Journal of Statistical Mechanics: Theory and Experiment . 2013 (9) P09001. arXiv : 1302.2900 . Bibcode : 2013JSMTE..09..001H . doi : 10.1088/1742-5468/2013/09/P09001 . S2CID 118609225 .
- ^ Nguyen, PH; Boninsegni, M. (2021). "การเปลี่ยนสถานะของไหลยิ่งยวดและความร้อนจำเพาะของแบบจำลอง 2D xy : การจำลองมอนเตคาร์โล" . Applied Sciences . 11 (11): 4931. arXiv : 2105.14112 . doi : 10.3390/app11114931 .
- ^ Tobochnik, J.; Chester, GV (1979). "การศึกษา Monte Carlo ของแบบจำลองสปินระนาบ". Physical Review B . 20 (9): 3761– 3769. Bibcode : 1979PhRvB..20.3761T . doi : 10.1103/PhysRevB.20.3761 .
- ^ Binder, K. (2013). การประยุกต์ใช้วิธีมอนเตคาร์โลในฟิสิกส์เชิงสถิติ . Springer Science & Business Media. ISBN 978-3-642-51703-7.
- ^ Fröhlich, J.; Spencer, T. (1981). "การเปลี่ยนผ่าน Kosterlitz–Thouless ในระบบสปินอาเบเลียนสองมิติและก๊าซคูลอมบ์"การสื่อสารในฟิสิกส์คณิตศาสตร์ 81 ( 4): 527– 602. Bibcode : 1981CMaPh..81..527F . doi : 10.1007/bf01208273 . S2CID 73555642 .
- ^ Chester, Shai M.; Landry, Walter; Liu, Junyu; Poland, David; Simmons-Duffin, David; Su, Ning; Vichi, Alessandro (2020). "การแบ่งพื้นที่ OPE และเลขชี้กำลังวิกฤตของแบบจำลอง O(2) ที่แม่นยำ" . Journal of High Energy Physics . 2020 (6): 142. arXiv : 1912.03324 . Bibcode : 2020JHEP...06..142C . doi : 10.1007/JHEP06(2020)142 . ISSN 1029-8479 . S2CID 208910721 .
- ^ Hasenbusch, Martin (2019-12-26). "การศึกษาแบบมอนเตคาร์โลของแบบจำลองนาฬิกาที่ได้รับการปรับปรุงในสามมิติ" . Physical Review B . 100 (22) 224517. arXiv : 1910.05916 . Bibcode : 2019PhRvB.100v4517H . doi : 10.1103/PhysRevB.100.224517 . ISSN 2469-9950 . S2CID 204509042 .
อ่านเพิ่มเติม
- เอช.อี. สแตนลีย์, บทนำเกี่ยวกับการเปลี่ยนเฟสและปรากฏการณ์วิกฤต (สำนักพิมพ์มหาวิทยาลัยออกซ์ฟอร์ด, ออกซ์ฟอร์ดและนิวยอร์ก 1971)
- H. Kleinert , Gauge Fields in Condensed Matter , Vol. I, "Superflow and Vortex Lines", pp. 1–742, Vol. II, "Stresses and Defects", pp. 743–1456, World Scientific (Singapore, 1989) ; Paperback ISBN 9971-5-0210-0(มีจำหน่ายออนไลน์ด้วย: เล่ม 1และเล่ม 2 )
ลิงก์ภายนอก
- การจำลอง WebGL โมเดล XY แบบเรียลไทม์
- การจำลองแบบมอนเตคาร์โลเชิงโต้ตอบของแบบจำลอง Ising, XY และ Heisenberg ด้วยกราฟิก 3 มิติ (ต้องใช้เบราว์เซอร์ที่รองรับ WebGL)