|
Spectral Graph Theory
|
- บทนำและทบทวนพีชคณิตเชิงเส้น (ณัฐวุฒิ)
- คุณสมบัติของ Eigenvalue ต่อกราฟ (ธานี,ณัฐวุฒิ)
- คุณสมบัติของ Eigenvalue ต่อกราฟ[2] (ภัทร)
- คุณสมบัติของ Eigenvalue ลำดับที่สองบนกราฟต่างๆ (ธานี)
- Cheeger Inequality (ศุภชวาล)
- การทดลอง Cheeger Inequality และ Effective Resistance (ธานี)
- Random Walks และ Psuedo Random Generator (ศุภชวาล)
- Psuedo Random Generator[2] (ภัทร)
- Coding Theory และ Expander code (ธานี)
- Expander graph from Linear coding (ภัทร)
- Chebyshev polynomial (ศุภชวาล)
- Preconditioning (ธานี)
|
|
แก้ไขกล่องนี้ • แก้ไขสารบัญ
|
บันทึกคำบรรยายวิชา Spectral graph theory นี้ เป็นบันทึกที่นิสิตเขียนขึ้น เนื้อหาโดยมากยังไม่ผ่านการตรวจสอบอย่างละเอียด การนำไปใช้ควรระมัดระวัง
ในสัปดาห์นี้ เราได้พูดถึง Courant–Fischer Theorem
Courant–Fischer Theorem
ให้ A เป็น symmetric matrix ขนาด n ที่มี eigen value
(สังเกตว่าเรียงสลับด้านกับ ในเลคเชอร์อื่นๆ)
เราจะได้ว่า
Graphic Inequality
เป็นการเปรียบเทียบกราฟโดยให้ sense ของการ "มากกว่า" "น้อยกว่า" เหมือนการเปรียบเทียบจำนวนจริง
ให้ A เป็น matrix ใดๆ เราเขียนแทนว่า A เป็น positive semi-definite ด้วย โดยนิยามดังนี้
และสำหรับ matrix A,B ใดๆ เราเขียน
แทน โดยความสัมพันธ์นี้มีคุณสมบัติถ่ายทอด คือ
-
Wikimedia Error
Error
Too many requests (f061ab2)

ทำนองเดียวกัน สำหรับกราฟ G,H ใดๆ เราเขียน
แทน
สังเกตว่า ถ้า H เป็น subgraph ของ G จะได้ว่า
และสำหรับจำนวนจริง c ใดๆเราเขียนแทน
หมายถึง
จากนิยามข้างต้น เราจะได้คุณสมบัติว่า (ในเนื้อหาครั้งนี้ไม่มีการพิสูจน์ทฤษฎีบทนี้)
ถ้า G,H เป็นกราฟที่มีคุณสมบัติว่า
จะได้ว่า เมื่อ
Wikimedia Error
Error
Too many requests (f061ab2)
หมายถึง eigen value ตัวที่ k ของกราฟ G
Path Inequality
ให้กราฟขนาด n โหนด แทนกราฟที่มีเส้นเชื่อมเดียว (1,n) และกราฟที่มีเส้นเชื่อม n-1 เส้น
ตามลำดับ
พิจารณา vector x ขนาด n ใดๆ เราต้องการจะแสดงว่า

ให้ และนิยาม vector ขนาด n-1 เพิ่มดังนี้
Wikimedia Error
Error
Too many requests (f061ab2)
และ
จากCauchy–Schwarz inequality ได้ว่า
-
Wikimedia Error
Error
Too many requests (f061ab2)

ตามต้องการ
และเราจะแสดงให้เห็นว่า โดยประกอบด้วยสองขั้นตอน
1.
สร้างเวคเตอร์ x โดยให้
Wikimedia Error
Error
Too many requests (f061ab2)
จะเห็นว่า x ตั้งฉากกับ
Wikimedia Error
Error
Too many requests (f061ab2)
คำนวณ
Wikimedia Error
Error
Too many requests (f061ab2)
จาก Courant–Fischer Theorem จะเห็นว่า
Wikimedia Error
Error
Too many requests (f061ab2)
2.
Wikimedia Error
Error
Too many requests (f061ab2)
หาค่าคงที่ c ที่
และเรารู้ว่า
จึงได้ว่า
Wikimedia Error
Error
Too many requests (f061ab2)
จะมี ค่า d > 0 ที่ถ้า n มีขนาดมากพอ จะมี d-regular graph
Wikimedia Error
Error
Too many requests (f061ab2)
ที่
และสำหรับ Complete binary tree ที่มีความลึก d แทนด้วย
เราจะได้ว่า
โดยการใช้วิธีเดียวกับการพิสูจน์ด้านบน โดยสร้างเวคเตอร์ x ที่ x(root) = 0 และลูกฝั่งซ้ายทั้งหมดเป็น 1 ฝั่งขวาทั้งหมดเป็น -1