Sgt/lecture4

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา

Spectral Graph Theory

  1. บทนำและทบทวนพีชคณิตเชิงเส้น (ณัฐวุฒิ)
  2. คุณสมบัติของ Eigenvalue ต่อกราฟ (ธานี,ณัฐวุฒิ)
  3. คุณสมบัติของ Eigenvalue ต่อกราฟ[2] (ภัทร)
  4. คุณสมบัติของ Eigenvalue ลำดับที่สองบนกราฟต่างๆ (ธานี)
  5. Cheeger Inequality (ศุภชวาล)
  6. การทดลอง Cheeger Inequality และ Effective Resistance (ธานี)
  7. Random Walks และ Psuedo Random Generator (ศุภชวาล)
  8. Psuedo Random Generator[2] (ภัทร)
  9. Coding Theory และ Expander code (ธานี)
  10. Expander graph from Linear coding (ภัทร)
  11. Chebyshev polynomial (ศุภชวาล)
  12. 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 ด้วย

Error

Too many requests (f061ab2)

โดยนิยามดังนี้

และสำหรับ matrix A,B ใดๆ เราเขียน

Error

Too many requests (f061ab2)

แทน โดยความสัมพันธ์นี้มีคุณสมบัติถ่ายทอด คือ

ทำนองเดียวกัน สำหรับกราฟ G,H ใดๆ เราเขียน แทน สังเกตว่า ถ้า H เป็น subgraph ของ G จะได้ว่า

Error

Too many requests (f061ab2)

และสำหรับจำนวนจริง c ใดๆเราเขียนแทน หมายถึง

Error

Too many requests (f061ab2)

จากนิยามข้างต้น เราจะได้คุณสมบัติว่า (ในเนื้อหาครั้งนี้ไม่มีการพิสูจน์ทฤษฎีบทนี้)

ถ้า G,H เป็นกราฟที่มีคุณสมบัติว่า จะได้ว่า เมื่อ

Error

Too many requests (f061ab2)

หมายถึง eigen value ตัวที่ k ของกราฟ G

Path Inequality

ให้กราฟขนาด n โหนด แทนกราฟที่มีเส้นเชื่อมเดียว (1,n) และกราฟที่มีเส้นเชื่อม n-1 เส้น

Error

Too many requests (f061ab2)

ตามลำดับ


พิจารณา vector x ขนาด n ใดๆ เราต้องการจะแสดงว่า

ให้ และนิยาม vector ขนาด n-1 เพิ่มดังนี้ และ

Error

Too many requests (f061ab2)

จากCauchy–Schwarz inequality ได้ว่า

ตามต้องการ

Littlebox.png

และเราจะแสดงให้เห็นว่า

Error

Too many requests (f061ab2)

โดยประกอบด้วยสองขั้นตอน

1.


สร้างเวคเตอร์ x โดยให้

Error

Too many requests (f061ab2)

จะเห็นว่า x ตั้งฉากกับ

คำนวณ

Error

Too many requests (f061ab2)

จาก Courant–Fischer Theorem จะเห็นว่า

Error

Too many requests (f061ab2)

Littlebox.png

2.


หาค่าคงที่ c ที่

และเรารู้ว่า

จึงได้ว่า

Littlebox.png

จะมี ค่า d > 0 ที่ถ้า n มีขนาดมากพอ จะมี d-regular graph ที่

Error

Too many requests (f061ab2)

และสำหรับ Complete binary tree ที่มีความลึก d แทนด้วย เราจะได้ว่า

โดยการใช้วิธีเดียวกับการพิสูจน์ด้านบน โดยสร้างเวคเตอร์ x ที่ x(root) = 0 และลูกฝั่งซ้ายทั้งหมดเป็น 1 ฝั่งขวาทั้งหมดเป็น -1

รายการเลือกการนำทาง