|
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 นี้ เป็นบันทึกที่นิสิตเขียนขึ้น เนื้อหาโดยมากยังไม่ผ่านการตรวจสอบอย่างละเอียด การนำไปใช้ควรระมัดระวัง
สำหรับเนื้อหาในสัปดาห์นี้ เราเรียนรู้เกี่ยวกับ Rayleigh quotient และคุณสมบัติของ eigenvector, eigenvalue ลำดับที่ 2
Rayleigh quotient
นิยาม Rayleigh quotient สำหรับ vector x และ symmetric matrix M คือ
โดยสังเกตว่าถ้า x เป็น eigenvector ของ M ที่สอดคล้องกับ eigenvalue
Wikimedia Error
Error
Too many requests (f061ab2)
จะได้ว่า
เนื่องจาก
-
Wikimedia Error
Error
Too many requests (f061ab2)

และเราจะพิสูจน์ทฤษฎีบทว่า
เราจะพิสูจน์โดยการใช้ Spectral theory (เนื้อหาครั้งที่ 1)
ให้ M มี dimension ขนาด n (symmetric) ได้ว่า M มี eigenvalue
Wikimedia Error
Error
Too many requests (f061ab2)
และ eigenvector ที่สอดคล้องกับ
Wikimedia Error
Error
Too many requests (f061ab2)
เพื่อความสะดวก เราให้ว่า ||x|| = 1 และ ||
|| = 1 สำหรับทุก i
และเราสามารถเขียน x ในรูป
Wikimedia Error
Error
Too many requests (f061ab2)
จากนั้นจึงคำนวณหาค่า Rayleigh quotient

จะเห็นได้ว่า Rayleigh quotient มีค่ามากที่สุดเป็น eigenvalue ที่ใหญ่ที่สุด และ vector x ที่ทำให้มีค่าดังกล่าวได้แก่ eigenvalue ของ M (พิจารณาที่
Wikimedia Error
Error
Too many requests (f061ab2)
)
คุณสมบัติของ Eigenvalue กับกราฟ
ให้กราฟ ขนาด
โหนดและ
Wikimedia Error
Error
Too many requests (f061ab2)
เป็น adjacency matrix ของ ถ้าสำหรับโหนดที่
ใดๆ เขียนแทนดีกรีด้วย นิยาม diagonal matrix (
Wikimedia Error
Error
Too many requests (f061ab2)
) ดังนี้
-
Wikimedia Error
Error
Too many requests (f061ab2)

และนิยาม Laplacian matrix (
) ว่า
-
Wikimedia Error
Error
Too many requests (f061ab2)

ต่อไปนี้จะสนใจ eigenvalue จาก Laplacian matrix ของกราฟ
Eigenvalue ตัวแรกของกราฟใดๆ
"สำหรับกราฟ
ใดๆ Laplacian matrix () จะมี eigenvalue (น้อยไปมาก) ลำดับที่หนึ่งเป็นศูนย์เสมอ"
สมมติให้
เป็นกราฟที่มีมีเส้นเชื่อมเพียงหนึ่งเส้น เราจะได้
-
Wikimedia Error
Error
Too many requests (f061ab2)

สำหรับ vector ใดๆ คำนวณค่า
ได้ดังนี้
ต่อมา พิจรณากราฟ ใดๆ ที่มีจำนวนเส้นเชื่อม เส้น โดยเราสามารถเขียน
ได้ในรูป
โดยที่ สำหรับ
Wikimedia Error
Error
Too many requests (f061ab2)
แทน Laplacian matrix ของกราฟ
Wikimedia Error
Error
Too many requests (f061ab2)
ซึ่งเป็นกราฟย่อยจาก ที่มีเส้นเชื่อมเส้นที่
Wikimedia Error
Error
Too many requests (f061ab2)
เพียงเส้นเดียว ดังนั้น
ให้
สำหรับทุกค่า
จะได้ว่า
-
Wikimedia Error
Error
Too many requests (f061ab2)

จากสมการ ในหัวข้อ Rayleigh quotient จะได้ว่า Rayleigh quotient มีค่าน้อยที่สุดเมื่อ โดยมี เป็น eigenvector ที่สอดคล้องกับ eigenvalue ดังกล่าว
ดังนั้น สำหรับ Laplacian matrix
ของกราฟ G ใดๆ
Eigenvalue ของกราฟต่อเนื่อง
"สำหรับกราฟ ใดๆ Laplacian matrix จะมี eigenvalue ลำดับที่สองไม่เท่ากับศูนย์ ก็ต่อเมื่อ G เป็นกราฟต่อเนื่อง"
|
สมมติให้ เป็นกราฟต่อเนื่อง และมี eigenvalue ลำดับที่สองเท่ากับศูนย์ ( )
ให้ เป็น eigenvector ที่สอดคล้องกับ eigenvalue ดังกล่าว
และทฤษฎีบทก่อนหน้า จะได้ว่ามี และ
จาก Spectral Theory เนื่องจาก ดังนั้น
-
Wikimedia Error
Error
Too many requests (f061ab2)

เนื่องจากกราฟต่อเนื่อง ให้
Wikimedia Error
Error
Too many requests (f061ab2)
ทำให้
จะเห็นว่า สำหรับทุก และมี สำหรับบาง ส่งผลให้
Wikimedia Error
Error
Too many requests (f061ab2)
ซึ่งหมายความว่า และขัดแย้งกับสมมติฐานตั้งต้นว่า ดังนั้นถ้ากราฟ G เป็นกราฟต่อเนื่อง แล้ว
|
สมมติให้ เป็นกราฟไม่ต่อเนื่อง และมี eigenvalue ลำดับที่สองไม่เท่ากับศูนย์ ( )
ให้ เป็น eigenvector ที่สอดคล้องกับ eigenvalue ดังกล่าว
และทฤษฎีบทก่อนหน้า จะได้ว่ามี และ
จาก Spectral Theory เนื่องจาก ดังนั้น
เนื่องจากกราฟไม่ต่อเนื่อง ให้
Wikimedia Error
Error
Too many requests (f061ab2)
ทำให้
-
Wikimedia Error
Error
Too many requests (f061ab2)

เมื่อให้โหนดที่ ถึง
Wikimedia Error
Error
Too many requests (f061ab2)
เป็นส่วนเดียวกัน และตัดขาดจากโหนดที่ ถึง
ให้ และได้ว่า

ซึ่งหมายความว่า และขัดแย้งกับสมมติฐานตั้งต้นว่า ดังนั้นถ้ากราฟ G เป็นกราฟไม่ต่อเนื่อง แล้ว
|

Eigenvalue ของกราฟที่มี
ส่วน
ให้กราฟที่มีจำนวน component ค่า eigenvalue ของ Laplacian matrix ลำดับที่หนึ่งจนถึงลำดับที่ จะมีค่าเป็น 0
ให้กราฟมี ส่วน ให้ eigenvalue จำนวน ตัวแรกมีค่าเป็น และมี eigenvector ที่สอดคล้องกันคือ
-
Wikimedia Error
Error
Too many requests (f061ab2)

จะเห็นว่า
Eigenvalue ของกราฟบริบูรณ์
ให้กราฟริบูรณ์ (complete graph) จำนวน
โหนด (
Wikimedia Error
Error
Too many requests (f061ab2)
) ค่า eigenvalue ของ Laplacian matrix ลำดับที่สองจนถึงลำดับสุดท้าย จะมีค่าเป็น
พิสูจน์โดยให้

เลือก
ที่ และเลือก ที่สอดคล้องกันดังนี้
จะเห็นว่า

ดังนั้น eigenvalue ลำดับที่สองเป็นต้นไปของกราฟบริบูรณ์จำนวน โหนดมีค่าเป็น
หมายเหตุ eigenvector ที่นำมาประกอบการพิสูจน์ ไม่จำเป็นต้องตั้งฉากกัน เพียงแค่แสดงให้เห็นว่ามี eigenvector ที่สอดคล้องกับ eigenvalue ได้ก็พอ