Hannah Cairo วัย 17 ปี พลิกข้อคาดเดาทางคณิตศาสตร์อายุ 40 ปีด้วยตัวอย่างโต้แย้ง
(english.elpais.com)- ข้อคาดเดา Mizohata-Takeuchi ซึ่งในสาขาการวิเคราะห์ฮาร์มอนิกถูกเชื่อว่าเป็นจริงมาหลายทศวรรษ ได้รับการยืนยันแล้วว่าไม่ใช่ข้อความสากล จากตัวอย่างโต้แย้งของ Hannah Cairo วัย 17 ปี
- หากข้อคาดเดานี้เป็นจริง ก็จะช่วยรองรับผลลัพธ์สำคัญหลายอย่างในสาขาได้โดยอัตโนมัติ ดังนั้นการหักล้างครั้งนี้จึงสั่นคลอน ความคาดหวังของงานวิจัยเดิม อย่างมาก
- Cairo พบข้อคาดเดานี้ครั้งแรกจากงานเลือกทำในวิชาที่ UC Berkeley และหลังจากพยายามพิสูจน์อยู่หลายเดือน ก็เปลี่ยนทิศทางมาใช้โครงสร้างของความยากนั้นในการ สร้างตัวอย่างโต้แย้ง
- ในการสร้างตัวอย่างโต้แย้งมีการใช้เครื่องมือหลายอย่างรวมถึงแฟร็กทัล และต่อมาก็กลับมามองปัญหาใหม่ใน ปริภูมิความถี่ จนพบวิธีออกแบบตัวอย่างโต้แย้งที่ง่ายขึ้นด้วย
- Cairo ซึ่งสร้างผลงานวิจัยได้ก่อนเรียนจบมัธยมปลาย มีกำหนดเริ่ม หลักสูตรปริญญาเอก ที่ University of Maryland ในฤดูใบไม้ร่วงนี้ ภายใต้การดูแลของ Zhang
Mizohata-Takeuchi conjecture ที่เด็กวัย 17 ปีหักล้าง
- Hannah Cairo พยายามพิสูจน์ข้อคาดเดานี้อยู่หลายเดือน แต่หลังจากเข้าใจว่าทำไมการพิสูจน์จึงยาก ก็เห็นว่าสามารถใช้โครงสร้างนั้นสร้าง ตัวอย่างโต้แย้ง ได้
- หลังจากล้มเหลวหลายครั้ง เธอก็สร้างกรณีที่ไม่เป็นไปตามสมบัติที่ศึกษาได้ และกรณีนี้แสดงให้เห็นว่าข้อความดังกล่าวไม่ได้เป็นจริงโดยทั่วไป
- การสร้างตัวอย่างโต้แย้งต้องใช้เครื่องมือหลายอย่างรวมถึง แฟร็กทัล และต้องจัดวางองค์ประกอบแต่ละส่วนอย่างระมัดระวังมาก
- เธอยังต้องใช้เวลาพอสมควรในการทำให้ Ruixiang Zhang เชื่อว่าข้อเสนอของเธอถูกต้องจริง
ทำไมจึงสำคัญในงานวิเคราะห์ฮาร์มอนิก
- ปัญหาที่ Cairo แก้ได้คือ Mizohata-Takeuchi conjecture ซึ่งถูกเสนอขึ้นครั้งแรกในทศวรรษ 1980 และเป็นปัญหาที่นักวิจัยด้าน การวิเคราะห์ฮาร์มอนิก ทำงานกันมาหลายทศวรรษ
- ข้อคาดเดานี้ถูกเชื่ออย่างกว้างขวางว่าเป็นจริง และหากเป็นจริง ก็จะช่วยตรวจสอบผลลัพธ์สำคัญหลายอย่างในสาขาได้โดยอัตโนมัติ
- การวิเคราะห์ฮาร์มอนิกเป็นสาขาที่แยกฟังก์ชันออกเป็นองค์ประกอบที่ง่ายกว่า เช่น คลื่นไซน์
- การบีบอัดไฟล์เสียงและวิดีโอดิจิทัล
- การออกแบบระบบสื่อสาร
- การทำความเข้าใจปรากฏการณ์ต่าง ๆ ทางฟิสิกส์และคณิตศาสตร์
สัญชาตญาณของทฤษฎี Fourier และข้อคาดเดา
- การวิเคราะห์ฮาร์มอนิกเริ่มต้นจากการที่ Joseph Fourier ศึกษา สมการความร้อน เพื่ออธิบายการแพร่กระจายของความร้อนภายในของแข็งในช่วงต้นศตวรรษที่ 19
- แนวคิดหลักของ Fourier คือการแยกฟังก์ชันที่ซับซ้อนออกเป็นผลรวมของไซน์และโคไซน์ และเทคนิคนี้เป็นที่รู้จักในชื่อ Fourier series
- Cairo อธิบายว่าในงานวิเคราะห์ฮาร์มอนิก ทุกสิ่งประกอบขึ้นจากคลื่น และถ้าใช้คลื่นจำนวนมากพอ ก็สามารถสร้างอะไรก็ได้
- Fourier restriction theory ศึกษาว่าจะสร้างวัตถุบางอย่างได้หรือไม่โดยใช้เพียงชุดคลื่นที่จำกัด
- ตามคำอธิบายของ Cairo ข้อคาดเดา Mizohata-Takeuchi คือข้อความที่ว่า หากใช้เพียงคลื่นบางชนิด ก็จะได้รูปทรงที่ประกอบด้วยเส้น
งานวิจัยที่เริ่มจากโจทย์ในชั้นเรียน
- Cairo เกิดที่ Nassau ประเทศบาฮามาส และหลังย้ายมายังสหรัฐฯ ก็เข้าสู่ระบบการศึกษาในสถานะนักเรียนมัธยม แต่ได้เข้าเรียนวิชาที่ UC Berkeley
- เธอบอกอาจารย์ถึงหนังสือที่อ่านในสาขาที่สนใจ และขอเข้าเรียน โดยมีอาจารย์หลายคนรวมถึง Zhang อนุญาต
- วันหนึ่ง Zhang มอบหมายโจทย์ให้พิสูจน์กรณีพิเศษที่ง่ายกว่ามากของข้อคาดเดา และใส่ ข้อคาดเดาต้นฉบับ เป็นงานเลือกทำด้วย
- Cairo ทุ่มเทให้กับปัญหาเลือกข้อนั้น และระหว่างพยายามพิสูจน์ก็เปลี่ยนมาสร้างตัวอย่างโต้แย้งแทน
- หลังได้ตัวอย่างโต้แย้งชิ้นแรก เธอได้จัดรูปปัญหาทั้งหมดใหม่ใน ปริภูมิความถี่ และเมื่อสังเกตว่าการสร้างของตนมีลักษณะอย่างไร ก็พบวิธีออกแบบตัวอย่างโต้แย้งที่ง่ายขึ้น
การประชุมที่ El Escorial และการนำเสนอระดับนานาชาติครั้งแรก
- Cairo เข้าร่วม 12th International Congress on Harmonic Analysis and Partial Differential Equations ซึ่งจัดขึ้นระหว่างวันที่ 9 ถึง 13 มิถุนายน ที่ San José Residence ใน El Escorial
- งานนี้จัดโดย Institute of Mathematical Sciences และ Autonomous University of Madrid และเป็นที่รู้จักในชื่อ El Escorial Meetings
- ตลอดประวัติศาสตร์เกือบ 50 ปี งานนี้กลายเป็นหนึ่งในเวทีสำคัญของสาขาดังกล่าว
- สำหรับ Cairo นี่เป็นการเดินทางทางวิทยาศาสตร์ระดับนานาชาติครั้งแรก และเธอยังได้ขึ้นบรรยายในโปรแกรมของงานประชุมด้วย
- Cairo กล่าวว่าตนชอบการพูดต่อหน้าสาธารณะ และบางครั้งก็ชอบสอนนักเรียนที่อายุมากกว่าตนเองด้วย
เส้นทางการเรียนคณิตศาสตร์และก้าวต่อไป
- Cairo เริ่มอ่านตำราคณิตศาสตร์ที่ซับซ้อนด้วยตนเองตั้งแต่ยังเด็ก
- ตอนแรกเธอคิดว่าตนจะทำงานด้านทฤษฎีจำนวน และเล่าว่าเคยเขียนบทความด้านทฤษฎีจำนวนตอนอายุ 13-14 ปี แต่เป็นปัญหาที่ไม่มีใครสนใจ
- ระหว่างการระบาดของ COVID-19 ค่ายฤดูร้อน Berkeley Math Circle จัดในรูปแบบออนไลน์ ทำให้ Cairo ซึ่งอยู่ที่บาฮามาสสามารถเข้าร่วมได้
- Math Circle เป็นโปรแกรมที่ให้นักเรียนก่อนเข้ามหาวิทยาลัยร่วมมือกันแก้ปัญหาคณิตศาสตร์ที่ยาก
- Cairo มองว่านี่ไม่ใช่คณิตศาสตร์แบบในโรงเรียนที่เน้นท่องจำ แต่เป็นกิจกรรมที่ได้สำรวจและแลกเปลี่ยนไอเดียกับเพื่อน ๆ
- ผู้อำนวยการโครงการสังเกตเห็นพรสวรรค์ทางคณิตศาสตร์อันโดดเด่นของ Cairo และต่อมาได้เชิญเธอมาเป็นผู้สอน
- Cairo จะเริ่มเรียน ปริญญาเอก ที่ University of Maryland ในฤดูใบไม้ร่วงนี้ และจะทำวิจัยต่อภายใต้การดูแลของ Zhang
- Mathematics Intensive Programme ของ ICMAT ในสเปน ก็มีเป้าหมายในการค้นหาและสนับสนุนนักคณิตศาสตร์รุ่นเยาว์ที่มีแววเช่นกัน
1 ความคิดเห็น
ความเห็นจาก Hacker News
https://archive.is/Nr1hH
มีวิดีโอที่ Hannah Cairo อธิบายข้อคาดการณ์และผลลัพธ์ของเธอเอง [1]
อีกอย่าง เมื่อไม่นานมานี้ Terence Tao ก็เกริ่นถึงความคืบหน้าเพิ่มเติมไว้ [2] เลยสงสัยว่ามีใครรู้รายละเอียดมากกว่านี้ไหม
[1]: https://www.youtube.com/watch?v=3ZeH_8sTyKA
[2]: https://mathstodon.xyz/@tao/114003793236630744
ผมก็ใช้วิธีสอนคล้าย ๆ กันโดยใช้แท็บเล็ต แต่การนำเสนอของเธอดีกว่าของผมมาก งดงามจริง ๆ
บทความวิจัยอยู่ที่นี่: https://arxiv.org/abs/2502.06137
ตอนเรียนบัณฑิตศึกษาเคยมีโอกาสลงวิชา การวิเคราะห์ฮาร์มอนิก แต่ตอนนั้นเกี่ยวข้องกับงานวิจัยของผมแค่ทางอ้อม เลยปล่อยผ่านไป
https://www.nytimes.com/interactive/2025/06/30/science/math-...
ในคณิตศาสตร์ การทำสิ่งที่ เป็นต้นฉบับและใหม่ ให้สำเร็จ ไม่ว่าจะอายุเท่าไรก็ยากสุด ๆ
ถ้าทำได้ตอนอายุ 17 ก็ถือว่ามีพรสวรรค์อย่างเหลือเชื่อ ขอแสดงความยินดี
“วันหนึ่งเขาให้พิสูจน์กรณีพิเศษที่ง่ายกว่ามากของข้อคาดการณ์นั้นเป็นการบ้าน และใส่ข้อคาดการณ์เดิมไว้เป็นโจทย์เลือกทำด้วย”
ตรงนี้มีบทเรียนอยู่ ถ้าเป็นไปได้ เราควรให้โอกาสผู้คนได้ แสดงความยอดเยี่ยม
ถ้าเป็นปัญหาที่เขียนออกมาได้เรียบง่ายขนาดนั้น ผมก็คิดว่าคำตอบน่าจะเรียบง่ายพอ ๆ กัน จึงอยากลองสำรวจดูว่าคำตอบจะหน้าตาเป็นอย่างไร
พอโตขึ้นและเข้าใจขีดความสามารถทางสติปัญญาของตัวเองดีขึ้น ผมก็เลือกไปแก้ปัญหาเชิงปฏิบัติที่มีโอกาสสำเร็จสูงกว่ามากและไม่ได้พลิกวงการเลย
ถึงอย่างนั้น ความรู้สึกที่ได้ถูกมองอย่างจริงจังตั้งแต่แรกก็เป็นเรื่องดี และผมคิดว่าการพยายามแก้ปัญหายาก ๆ ก่อนจะถูกโลกความจริงกักขังไว้นั้นสำคัญ
บ่อยแค่ไหนกันที่คนอายุน้อยกว่าค้นพบเนื้อหาที่ปกติแล้วสอนให้คนที่อายุมากกว่าตัวเอง?
Euler อายุ 41 ตอนค้นพบเอกลักษณ์อันโด่งดัง และนั่นเป็นเรื่องประเภทที่เรียนกันในโรงเรียน
Newton ก็อายุ 21 ตอนสร้างแคลคูลัส ซึ่งเป็นเนื้อหาที่วัยปลายสิบก็อาจเรียนได้
แล้ว Galois ห่างกันสักกี่ปี? เขาเสียชีวิตตอนอายุ 20 และเนื้อหานั้นน่าจะสอนกันราว ๆ ช่วงกลางของมหาวิทยาลัย
ในรายชื่อ “Child prodigies” ก็ยังมีผู้เข้าข่ายอีกหลายคน
https://en.wikipedia.org/wiki/List_of_child_prodigies
ในขณะเดียวกัน คนหนุ่มสาวคนนั้นก็ต้องมีแรงจูงใจสูงมากและมีคุณสมบัติพอที่จะทำได้ด้วย กล่าวคือ ต้องมีทั้งเงื่อนไขเชิงบริบทและความสามารถส่วนบุคคล
อาจเป็นคำถามโง่ ๆ ก็ได้ แต่ถ้าเธอจะเริ่มปริญญาเอกฤดูใบไม้ร่วงนี้ ก็ไม่ได้บรรลุเป้าหมายไปแล้วหรือ?
สงสัยว่าเหตุผลเชิงทฤษฎีคืออะไรที่คาดหวังให้คนที่แก้ ปัญหาเก่าแก่หลายสิบปี ได้ ต้องทำ “อย่างที่สอง” อะไรสักอย่างเพื่อพิสูจน์ว่าเธอได้ขยายพรมแดนความรู้ของมนุษย์แล้ว
การแก้ปัญหาที่ยากมากได้หนึ่งข้อไม่ได้แปลว่าไม่จำเป็นต้องผ่านการฝึกแบบนั้น โดยเฉพาะอย่างยิ่ง counterexample บางครั้งอาจเป็นเรื่องของพรสวรรค์ล้วน ๆ และโชคมากกว่าทักษะ จึงยิ่งซับซ้อนกว่า
ถ้าได้รับปริญญาเอกแล้วอยากอยู่ในแวดวงวิชาการต่อ ขั้นถัดไปคือ postdoc การแก้ปัญหาได้หนึ่งข้อไม่ได้แปลว่ามีวาระวิจัยที่ชัดเจนหรือหลักฐานว่าตีพิมพ์ผลงานได้สม่ำเสมอ ซึ่งจำเป็นต่อการได้ตำแหน่ง postdoc ที่ดี
นึกภาพยากว่าจะจ้างคนอายุน้อยขนาดนั้นเป็นศาสตราจารย์ การทำงานร่วมกันที่มีผลงานอยู่แล้วต่อไปอีกสักหลายปี พร้อมได้รับ mentoring ในส่วนที่ไม่ใช่คณิตศาสตร์ซึ่งจำเป็นต่อการเป็นนักคณิตศาสตร์ ก็ดูไม่แย่
บางทีเธออาจสนใจส่วนนั้นก็ได้ หรือไม่ก็มีมหาวิทยาลัยบางแห่ง โดยเฉพาะใน EU ที่ให้ปริญญาเอกจากผลงานตีพิมพ์
เธออาจรวมบทความ counterexample ของตัวเอง (https://arxiv.org/pdf/2502.06137) เป็นวิทยานิพนธ์แล้วจบการศึกษาได้ บางครั้งทำได้แม้ไม่มีอาจารย์ที่ปรึกษา
Hannah ได้ทำสิ่งที่ผู้ถือปริญญาเอกจำนวนมากทำไม่สำเร็จไปแล้วในทางปฏิบัติ นั่นคือ การมีผลงานวิจัยใหม่
ถ้าพูดเฉพาะตามมาตรฐานสหรัฐฯ หลักสูตรปริญญาเอกยุคหลังมักเน้น a) การเตรียมตัวสู่แวดวงวิชาการ รวมถึงการสอนและเรียนรายวิชาจำนวนมาก, b) งานวิจัยเพื่อสายงานในอุตสาหกรรม สำหรับเพื่อนร่วมรุ่นของผมจำนวนไม่น้อยที่มาจากจีนหรืออินเดีย มันเป็นช่องทางไปสู่งานในสหรัฐฯ
ผมเห็นด้วยว่าปริญญาเอกควรมุ่งเน้นงานวิจัยและการขยายความรู้ของมนุษย์อย่างแท้จริง แต่ในความเป็นจริง มันใกล้เคียงกับธุรกิจที่นักศึกษาไปประชุมเพื่อโปรโมตงานวิจัยของอาจารย์ที่ปรึกษา มหาวิทยาลัยได้ผู้สอนราคาถูกในรูปของผู้ช่วยสอน และนักศึกษาธรรมดาจำนวนมากเขียนบทความเชิง incremental แบบ “ลองเปลี่ยนตรงนี้นิดหน่อยแล้วดูว่าผลลัพธ์เปลี่ยนอย่างไร” เพื่อคว้าตำแหน่ง R&D
ผมประทับใจงานของ Hannah มาก และคิดว่ามันแสดงให้เห็นอย่างดีถึงลักษณะเชิงเสียสละของงานวิจัย ซึ่งทุกวันนี้หายไปมาก คนที่ไม่อยากไปอยู่ในแวดวงวิชาการที่ให้คุณค่ากับการแก้ปัญหาที่ดูเป็นไปไม่ได้ กลับเลือกเส้นทางปริญญาเอกที่มีแรงต้านน้อยที่สุดเพื่อเร่งเส้นทางอาชีพของตนเอง แบบนี้เห็นบ่อยเกินไป
เป็นเรื่องธรรมดาที่แต่ละคนจะพยายามทำประโยชน์ของตัวเองให้สูงสุด แต่เราควรจำไว้ว่า การค้นพบบ่อยครั้งขึ้นอยู่กับการไล่ตามปัญหายากและสิ่งที่เป็นไปไม่ได้อย่างเสียสละ นี่เป็นความเห็นส่วนตัวจากสิ่งที่ผมเห็นในหมู่เพื่อนร่วมรุ่นและจากการประชุมมากกว่า 30 ครั้ง
มีพรสวรรค์มหาศาลจริง ๆ แต่ข้อเท็จจริงที่ว่าผลลัพธ์แบบนี้มาจากวัยรุ่นนั้นเองก็ไม่ได้น่าประหลาดใจ
การค้นพบสำคัญทางคณิตศาสตร์มักมาจากคนวัยกลาง 20 และยิ่งเป็นการค้นพบที่ใหญ่ขึ้น ก็มีแนวโน้มเอนมาทางวัยต้น 20 และวัยรุ่นมากขึ้น ผมคิดว่าเพราะ คณิตศาสตร์บริสุทธิ์ เป็นสาขาที่สร้างสรรค์มากขนาดนั้น
อีกทั้งยังปรับระบบให้เหมาะกับการคิดระยะสั้นมากกว่าการเล่นเกมยาว แม้จะมีข้อยกเว้นอย่างสถาบันวิจัยอยู่บ้าง แต่เพราะแบบนั้นผมจึงคิดว่าคนหนุ่มสาวมีจิตใจที่ปลอดโปร่งที่สุด
ตัวอย่างเช่น Andrew Wiles พิสูจน์ทฤษฎีบทสุดท้ายของ Fermat ตอนอายุ 40 กว่า และมีนักคณิตศาสตร์จำนวนมากที่ยังมีผลงานดีเมื่ออายุมากขึ้น
อีกอย่าง ข้ออ้างแบบนี้ดูเอนเอียงไปทางปัญหาใหญ่ที่หวือหวา งานอย่างการสร้างกรอบทางคณิตศาสตร์ การมองเห็นเชิงโครงสร้าง และการค้นพบความเชื่อมโยงระหว่างสาขาที่ห่างกัน ต้องอาศัยประสบการณ์กว้างขวาง ไม่ใช่แค่สมาธิของวัยหนุ่มสาว
ถ้าจะยกตัวอย่างล่าสุดของคนที่มีผลงานสำคัญในวัย 20 ก็คงประมาณ Évariste Galois ช่วงการปฏิวัติฝรั่งเศส
แล้ววัยรุ่นล่ะ? ไม่เลย ผมว่าแทบไม่เคยมีแบบนั้น
https://en.m.wikipedia.org/wiki/Einstellung_effect
มีใครมีลิงก์ไปยัง บทความทฤษฎีจำนวน ที่ว่าเธอเขียนเป็นงานแรกไหม?
ผมยังสงสัย counterexample ของเธออยู่ ดูเหมือนใช้วิธีเชิงกำกับค่อนข้างหลวม