ความก้าวหน้าครั้งสำคัญที่เผยโครงสร้างซ่อนเร้นของจำนวนเฉพาะ

 (science.org)
1 คะแนน โดย GN⁺ 2024-08-02 | 1 ความคิดเห็น | แชร์ทาง WhatsApp
  • พรีพรินต์เมื่อวันที่ 31 พฤษภาคมของ James Maynard และ Larry Guth ตัดความเป็นไปได้ของ ข้อยกเว้นบางกรณีของสมมติฐานรีมันน์ ออกไป และสร้างความคืบหน้าครั้งสำคัญในรอบหลายทศวรรษต่อปัญหาอายุ 165 ปีว่าด้วยการหาโครงสร้างที่ซ่อนอยู่ของการกระจายตัวของจำนวนเฉพาะ
  • เป้าหมายหลักคือ ศูนย์ไม่เชิงสามัญ ของฟังก์ชันซีตารีมันน์ ซึ่งเชื่อมโดยตรงกับการทำความเข้าใจความคลาดเคลื่อนระหว่างการประมาณจำนวนจำนวนเฉพาะของ Gauss กับการกระจายตัวจริงของจำนวนเฉพาะ
  • คอมพิวเตอร์ได้ยืนยันแล้วว่าศูนย์มากกว่า 10 ล้านล้านจุดทั้งหมดมีส่วนจริงเท่ากับ 1/2 แต่สิ่งที่นักคณิตศาสตร์ต้องการไม่ใช่การตรวจสอบเชิงประจักษ์ หากเป็น บทพิสูจน์ว่าตำแหน่งอื่นเป็นไปไม่ได้
  • ผลงานครั้งนี้ลด ขอบเขตบนของจำนวนศูนย์ที่จุด 3/4 ซึ่งไม่เคยถูกปรับปรุงมาตั้งแต่ Albert Ingham ในปี 1940 และทำลายกำแพงเก่าด้วยการผสานทฤษฎีจำนวนเชิงวิเคราะห์เข้ากับการวิเคราะห์ฮาร์มอนิก
  • แม้บทพิสูจน์สมบูรณ์ของสมมติฐานรีมันน์ยังอยู่ไกล แต่ผลลัพธ์นี้อาจนำไปสู่เครื่องมือใหม่สำหรับการประมาณจำนวนเฉพาะในช่วงที่สั้นลง และการจัดการปัญหาอื่นในทฤษฎีจำนวน

สมมติฐานรีมันน์กับการถอดรหัสการกระจายตัวของจำนวนเฉพาะ

  • จำนวนธรรมชาติทุกจำนวนสามารถแยกเป็นผลคูณของ จำนวนเฉพาะ ที่หารได้ลงตัวด้วยตัวมันเองและ 1 เท่านั้น และนักคณิตศาสตร์ก็พยายามทำความเข้าใจว่าจำนวนเฉพาะเหล่านี้วางตัวอยู่บนเส้นจำนวนอย่างไร
  • เมื่อมองเผิน ๆ จำนวนเฉพาะดูค่อนข้างสุ่ม แต่เชื่อกันว่าภายในนั้นมี โครงสร้างที่ซ่อนอยู่
  • ตลอด 165 ปีที่ผ่านมา แกนกลางของการค้นหาโครงสร้างนั้นคือ สมมติฐานรีมันน์
    • หากพิสูจน์ได้ มันอาจทำหน้าที่คล้าย Rosetta Stone สำหรับการถอดรหัสจำนวนเฉพาะ
    • มีเงินรางวัล 1 ล้านดอลลาร์จาก Clay Mathematics Institute

การประมาณของ Gauss และศูนย์ของซีตา

  • Carl Friedrich Gauss สังเกตตั้งแต่อายุ 16 ในช่วงปลายคริสต์ศตวรรษที่ 18 ว่าเมื่อจำนวนมีค่ามากขึ้น จำนวนเฉพาะจะพบได้น้อยลง และคาดว่าจำนวนเฉพาะที่ไม่เกิน X จะมีสเกลประมาณ X / ln X
  • การประมาณนี้สอดคล้องกับจำนวนเฉพาะจริงอย่างมาก โดยจำนวนจริงจะแกว่งขึ้นลงเล็กน้อยรอบเส้นโค้งดังกล่าว
  • ในปี 1859 Bernhard Riemann พยายามอธิบายความต่างระหว่างเส้นโค้งของ Gauss กับการกระจายตัวจริงของจำนวนเฉพาะด้วย ฟังก์ชันซีตารีมันน์
    • ฟังก์ชันนี้รับค่าอินพุตเป็น จำนวนเชิงซ้อน ซึ่งมีทั้งส่วนจริงและส่วนจินตภาพ
    • ศูนย์ของซีตา ซึ่งทำให้ฟังก์ชันซีตารีมันน์มีค่าเป็น 0 อธิบายความผันผวนของความคลาดเคลื่อนรอบเส้นโค้งของ Gauss โดยตรง

เงื่อนไขที่สมมติฐานรีมันน์เรียกร้อง

  • สมมติฐานรีมันน์ทำนายว่า หากตัดคำตอบแบบสามัญบางส่วนที่เกิดจากอินพุตติดลบออกไปแล้ว ที่อินพุตของศูนย์ซีตาทั้งหมดจะต้องมี ส่วนจริงเท่ากับ 1/2
  • หากสมมติฐานนี้เป็นจริง ความผันผวนของจำนวนจำนวนเฉพาะจะถูกจำกัด และหมายความว่าจะไม่มีการกระจุกตัวขนาดใหญ่หรือช่องว่างขนาดใหญ่ของจำนวนเฉพาะบนเส้นจำนวน
  • จนถึงตอนนี้ คอมพิวเตอร์ได้ตรวจสอบศูนย์ซีตาไม่เชิงสามัญมากกว่า 10 ล้านล้านจุดแล้ว และทั้งหมดอยู่บนเส้นที่มีส่วนจริงเท่ากับ 1/2 อย่างพอดี
  • แต่การยืนยันเชิงประจักษ์เพียงอย่างเดียวยังไม่เพียงพอ
    • Maynard มองว่าบทพิสูจน์ไม่ได้มีความหมายแค่ยืนยันว่ามันเป็นจริง แต่ยังทำให้เข้าใจว่าทำไมจึงเป็นจริง และมอบเทคนิคใหม่อันทรงพลังสำหรับการจัดการจำนวนเฉพาะ
    • ขณะนี้ยังไม่มีแม้แต่แนวทางโจมตีที่น่าเชื่อถือสำหรับการพิสูจน์สมมติฐานรีมันน์

ช่องแคบที่ผลลัพธ์ครั้งนี้เล็งเป้า

  • เพราะนักคณิตศาสตร์ยังพิสูจน์สมมติฐานรีมันน์ทั้งก้อนไม่ได้ พวกเขาจึงแบ่งปัญหาออกเป็นส่วน ๆ ด้วยการค่อย ๆ แคบลงว่ามีบริเวณใดบ้างที่ ศูนย์ซีตาไม่อาจอยู่ได้
  • ศูนย์ซีตาไม่เชิงสามัญถูกจำกัดให้อยู่ระหว่าง 0 และ 1 อยู่แล้ว
  • นอกจากนี้ยังมี สมมาตรแบบกระจก รอบ 1/2 ดังนั้นหากตัดศูนย์ที่จุด 3/4 ออกได้ ก็เท่ากับตัดศูนย์ที่จุด 1/4 ออกได้ด้วย
  • เทคนิคเดิมทำงานได้ดีกว่าในช่วงระหว่าง 1/2 ถึง 3/4 หรือระหว่าง 3/4 ถึง 1 แต่ยังคงเปิดโอกาสว่าศูนย์จำนวนมากอาจซ่อนอยู่ที่ 3/4
  • ขอบเขตบนที่ดีที่สุดของจำนวนศูนย์ที่อาจอยู่ที่ 3/4 เป็นผลลัพธ์ของนักคณิตศาสตร์ชาวอังกฤษ Albert Ingham ในปี 1940 และหลังจากนั้นก็ไม่มีใครปรับปรุงได้

แนวทางของ Maynard และ Guth

  • Maynard เป็นนักคณิตศาสตร์ที่เชี่ยวชาญด้านทฤษฎีจำนวนเชิงวิเคราะห์ ได้รับ Fields Medal ในปี 2022 และในช่วง 10 ปีที่ผ่านมาเขาครุ่นคิดปัญหานี้ซ้ำแล้วซ้ำอีกทุกบ่ายวันศุกร์โดยยังไม่ประสบผล
  • ในการประชุมของ American Mathematical Society ปี 2020 Maynard ขอความช่วยเหลือจาก Larry Guth แห่ง MIT ผู้เชี่ยวชาญด้าน การวิเคราะห์ฮาร์มอนิก
    • การวิเคราะห์ฮาร์มอนิกเป็นเทคนิคที่เกี่ยวข้องกับวิธีแยกเสียงออกเป็นองค์ประกอบ โดยยืมแนวคิดจากฟิสิกส์
    • Guth ก็จับปัญหานี้อยู่หลายปี และพบจุดทะลุทะลวงร่วมกับ Maynard ในจังหวะเกือบจะยอมแพ้
  • ทั้งคู่ยืมกลยุทธ์จากภาษาคณิตศาสตร์ของกันและกัน ส่งอีเมลแลกเปลี่ยนไอเดียกันดึกดื่น และทำลาย ขอบเขตบนของ Ingham ได้ด้วยวิธีที่ไม่เป็นขนบ

ความเป็นไปได้ที่จะขยายผลสู่ทฤษฎีจำนวนโดยรวม

  • Maksym Radziwill ประเมินว่างานนี้เป็นแนวคิดใหม่ครั้งแรกในรอบ 50 ปีสำหรับการสำรวจศูนย์ของซีตา และมองว่าพื้นที่ที่ถูกปล่อยทิ้งไว้นานอาจกลับมาเคลื่อนไหวอีกครั้ง
  • ขอบเขตบนที่ดีขึ้นแทบไม่ช่วยต่อการพิสูจน์สมมติฐานรีมันน์ทั้งฉบับ แต่สามารถส่งผลต่อทฤษฎีจำนวนในวงกว้างได้
    • นักคณิตศาสตร์อาจประมาณ จำนวนจำนวนเฉพาะ ได้ดีขึ้นในช่วงที่สั้นกว่าเดิม
    • Radziwill มองว่ากลยุทธ์ใหม่นี้อาจช่วยทำให้งานก่อนหน้าของเขาที่เกี่ยวกับระบบพลวัตง่ายขึ้น
    • มันอาจช่วยกับปัญหา Kakeya ได้ด้วย
    • Guth สนใจใช้แนวคิดนี้เพื่อสำรวจความสัมพันธ์เชิงลึกระหว่างฟิสิกส์ของคลื่นกับการกระจายตัวของเซตของจำนวน

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2024-08-02
ความคิดเห็นจาก Hacker News

  • เป็นเนื้อหาที่ออกมาตั้งแต่เดือนพฤษภาคม และ Quanta ก็มีบทความที่ดีกว่าเผยแพร่แล้ว ซึ่งเคยถูกนำมาคุยกันที่นี่ด้วย
    https://www.quantamagazine.org/sensational-proof-delivers-ne...

  • ลองจินตนาการว่าการค้นพบนี้นำไปสู่ความก้าวหน้าครั้งใหญ่กว่าในเรื่องจำนวนเฉพาะ ทำให้การ แยกตัวประกอบจำนวนเฉพาะ ของจำนวนเต็มขนาดใหญ่ทำได้ง่ายขึ้น และทำให้การเข้ารหัสกุญแจสาธารณะอย่าง RSA ใช้การไม่ได้ในชั่วข้ามคืน
    ถ้าฮาร์ดแวร์ CPU สำหรับผู้บริโภคก็ทำลายคีย์ขนาดที่ใช้จริงในบริการได้ ใคร ๆ ก็ทำได้ อุตสาหกรรมมีแผนกู้คืนจากภัยพิบัติสำหรับสถานการณ์แบบนี้ไหม? ผู้เล่นรายใหญ่จะเปลี่ยนไปใช้ระบบเข้ารหัสอื่นที่ยังไม่ถูกทำลายได้อย่างรวดเร็วหรือไม่? สำหรับนักพัฒนาเจลเบรก คนม็อดคอนโซล หรือฝ่าย “เสรีภาพของอุปกรณ์” คงเป็นวันในฝัน แต่ผลกระทบโดยรวมคงเป็นหายนะและประเมินได้ยาก
    เลยสงสัยว่าอุตสาหกรรมไม่ได้มองว่า ความก้าวหน้าด้านทฤษฎีจำนวนแบบฉับพลัน เป็นเหตุการณ์ที่เป็นไปได้หรือเปล่า

    • ใน RSA เรื่องแบบนั้นเกิดขึ้นมาหลายครั้งแล้ว
      เคยมีช่วงที่รัฐบาลสหรัฐฯ จำกัดการส่งออกคีย์ RSA ขนาดยาว และครั้งหนึ่งโลกส่วนใหญ่ใช้ คีย์ RSA 128 บิต ก่อนจะรีบย้ายไปใช้คีย์ 512 บิตเพราะวิธีของ Dixon ต่อมาพอมี special number field sieve ก็รีบขึ้นเป็น 1024 บิต และเพราะ general number field sieve ก็รีบขึ้นอีกครั้งเป็น 2048 บิต ซึ่งก็ไม่ใช่เรื่องนานมากเมื่อเทียบกัน
      ถ้าดูฮาร์ดแวร์เข้ารหัส RSA ในยุค 80 จะเห็นอุปกรณ์ที่ภูมิใจว่า xử lý 512 บิตได้ ตอนนี้ไม่มีประโยชน์แล้ว
      https://people.csail.mit.edu/rivest/pubs/pubs/Riv84.pdf
      สูตรความซับซ้อนของ special/general number field sieve ต่างกันแค่ค่าคงที่ไม่กี่ตัว แต่พอดูค่าคงที่เหล่านั้นแล้วก็อดสงสัยไม่ได้ว่ามันดูเหมือนขีดจำกัดพื้นฐานจริงหรือไม่ ผมคิดว่ามันยากจริง ๆ ที่จะเชื่อว่าไม่มีวิธีลดค่าคงที่นั้นลงอีกจนทำให้แม้แต่คีย์ 2048 บิตก็ไร้ประโยชน์
      ไม่จำเป็นต้องถามว่า “ถ้า RSA ถูกทำลายจะเกิดอะไรขึ้น” จากมุมมองของคนที่เคยเจอเรื่องแบบนี้มาหลายครั้ง บอกได้ทันทีว่าทุกคนจะลนลานเพิ่มขนาดคีย์อีกครั้ง และตรวจสอบข้อมูลทั้งหมดที่อาจเคยรั่วไหลได้
    • ถ้ามีการค้นพบวิธีแยกตัวประกอบจำนวนเต็มขนาดใหญ่ได้ง่ายบนฮาร์ดแวร์ผู้บริโภค RSA จะเจ็บปวดมาก เพราะเป็นหนึ่งในอัลกอริทึมกุญแจสาธารณะหลัก
      แต่ก่อนจะกังวล ควรคิดก่อนว่า RSA ผ่าน การวิเคราะห์การเข้ารหัสเชิงรุกมาตลอด 47 ปี มาได้ ระหว่างนั้นมีอัลกอริทึมทางเลือกจำนวนมากที่ถูกเสนอว่าดีกว่า แต่หลายตัวก็ถูกทำลายในเวลาไม่นาน
      กระแสการเปลี่ยนไปใช้อัลกอริทึมเส้นโค้งวงรีก็หลัก ๆ เพราะคอมพิวเตอร์จัดการเข้ารหัส/ถอดรหัสได้ง่ายกว่า
      ส่วนตัวถ้าต้องลงเงินว่าอัลกอริทึมกุญแจสาธารณะตัวไหนจะยังอยู่ในอีก 10 ปี ผมจะลงที่ RSA
    • ตรงจุดนี้ดูเหมือนจะเป็นเหตุผลของการย้ายไปใช้ เส้นโค้งวงรี และทั้งลายเซ็นกับแฮนด์เชก (Diffie-Hellman) ก็ดูเหมือนจะคืบหน้าไปพอสมควรแล้ว
      การกู้คืนจากภัยพิบัติคงไม่ใช่งาน 1 นาที แต่ต่อให้ RSA/DH ไม่ปลอดภัยในชั่วข้ามคืน ก็ไม่ได้แปลว่าทุกอย่างจะถูกเปิดโล่งไว้เหมือนเดิม ตอนนี้คีย์ SSH ของผมเองก็ปนอยู่หลายแบบ
    • อุตสาหกรรมยังเตรียมรับมือ อัปเดต CrowdStrike ที่แย่ เพียงครั้งเดียวไม่ได้ แต่หลังผ่านไปสักไม่กี่วันก็ยังจัดการเก็บกวาดได้
      ดูเหมือนความสามารถในการเตรียมรับสถานการณ์หายนะจะถูกประเมินสูงเกินไป ส่วนความสามารถในการเอาตัวรอดถูกประเมินต่ำเกินไป
    • มีมุมมองว่าการค้นพบวิธีแยกตัวประกอบได้เร็วเป็นเรื่องหายากอย่างยิ่ง คนฉลาดจำนวนมากดูเรื่องนี้มาแล้ว ดังนั้น ณ ตอนนี้อาจเป็นไปไม่ได้ แต่นั่นเองก็อาจเป็นจุดอ่อนของเรื่องเล่านี้
      ความเสี่ยงนี้จริงพอ ๆ กับความเสี่ยงที่พายุสุริยะขนาดใหญ่ทำให้โครงข่ายไฟฟ้าล่ม และเพราะความล่าช้าในการผลิตหม้อแปลงกับการขาดสต็อกสำรองจึงต้องใช้เวลาฟื้นฟูหลายปีราวกับกลับไปยุคหิน แต่จากมุมมองนั้นมันดูเล็กและเป็นทฤษฎีเกินไปจนยากจะทุ่มเวลาให้มาก
      เรื่องแผนนั้น ผมไม่แน่ใจว่าการเปลี่ยนไปใช้ ECC เฉย ๆ จะง่ายขนาดนั้นหรือเปล่า การเข้ารหัสแบบอสมมาตรจริง ๆ ของ ECC พึ่งพาความลับร่วมกัน แต่ถ้าถือว่า RSA ถูกทำลายจนช่องทางแลกเปลี่ยนไม่ปลอดภัย มันอาจอ่อนไหวต่อการโจมตีแบบคนกลางมากกว่า RSA ด้วยซ้ำ ดูไม่ใช่การเปลี่ยนแทนที่ที่ง่ายนัก
      อีกเรื่องหนึ่งคือ RSA อาจถูกทำลายไปแล้ว และวิธีแก้อาจถูกหน่วยงานถอดรหัสเก็บเป็นความลับอยู่ก็ได้ สำหรับพวกเขา การซ่อนความก้าวหน้าครั้งใหญ่ไว้น่าจะเย้ายวนมาก และพวกเขาอาจพยายามหาวิธีกด “ความก้าวหน้าด้านทฤษฎีจำนวนแบบฉับพลัน” ไม่ให้เผยออกมา

  • ผู้คนมักคิดว่าโครงสร้างของจำนวนเฉพาะซับซ้อน แต่ผมมองว่าจริง ๆ แล้วมันเป็นเพียงโครงสร้างแบบเวียนเกิดของ ขนาดช่องว่าง ที่พหุคูณของช่องว่างก่อนหน้าไปไม่ถึง
    ไม่ได้หมายความว่ามันจะ “ทำนาย” ได้ง่ายขึ้นโดยไม่ต้องติดตามช่องว่างก่อนหน้าทั้งหมด แต่โดยแก่นแล้วไม่ใช่โครงสร้างที่ซับซ้อน น่าสนใจที่โครงสร้างเรียบง่ายเช่นนี้กลับจับให้อยู่หมัดได้ยากมาก คล้ายกับที่ลำดับ 3n+1 ก่อให้เกิดความซับซ้อน หรือ logistic map ซับซ้อนขึ้นเมื่อข้ามค่า threshold

    • ตัวสร้างที่สร้าง “จำนวนเฉพาะทั้งหมด” นั้นค่อนข้างเรียบง่ายและกำหนดแน่นอน
      แต่ถ้ามีเพียงจำนวนเฉพาะ n แล้วต้องหาจำนวนเฉพาะถัดไป ก็ต้องคำนวณเศษที่ไม่เป็นเรื่องเล็ก ๆ ใหม่ ดังนั้นลำพังการแทนค่าเลข n ในรูปไบนารีจึงไม่มีข้อมูลพอที่จะตอบได้อย่างรวดเร็วว่าจำนวนเฉพาะถัดไปคืออะไร ต้องคำนวณ จุดอ้างอิง บางอย่างไว้ล่วงหน้าก่อน สุดท้ายก็ยังมีความซับซ้อนมากขึ้นอยู่บ้าง แต่ก็ยังถือว่าเรียบง่ายและค่อนข้างชัดเจน และไม่ใช่ปัญหาที่จะเข้าไปอยู่ใน NP ด้วยซ้ำ
    • อ้อ ใช่สิ ไม่มีอะไรเรียบง่ายไปกว่าการให้ทฤษฎีพื้นฐานของ ทฤษฎีจำนวน ซึ่งเป็นหนึ่งในสาขาที่เคร่งครัดและกดดันทางปัญญาที่สุดในคณิตศาสตร์แล้ว /s
    • สงสัยว่าทำไมเรื่องนี้ถึงไม่ถูกนับว่าเป็นปัญหาที่แก้แล้ว
      https://en.wikipedia.org/wiki/Information_theory
      https://en.wikipedia.org/wiki/Computational_irreducibility
      https://en.wikipedia.org/wiki/Aperiodic_tiling

  • ประโยคที่ว่า “ในเซสชันคิดเฉพาะช่วงบ่ายวันศุกร์ เขากลับมาคิดปัญหานี้ซ้ำแล้วซ้ำเล่าตลอด 10 ปีที่ผ่านมา แต่ก็ไม่เกิดผล” ฟังแล้วให้กำลังใจดี

    • ผมจำได้ว่า Richard Hamming ก็เคยเว้นบ่ายวันศุกร์ไว้เป็นเวลาสำหรับคิดเรื่องลึก ๆ และเรื่องใหญ่ ๆ เหมือนกัน เป็นวิธีที่ยอดเยี่ยม

  • ถ้าวาด เส้นโค้ง Gauss และ เส้นโค้ง Riemann ในปริภูมิบางแบบ จะเห็นอะไรที่ดูมีมนตร์ขลังยิ่งกว่า
    ถ้าอยากเห็นว่าหมายถึงอะไรเกี่ยวกับศูนย์แบบชัดแจ้งและศูนย์แบบไม่ชัดแจ้ง ให้ดูแอนิเมชันวิกิพีเดียนี้: [https://en.wikipedia.org/wiki/File:Riemann3d_Re_0.1_to_0.9_I...](https://en.wikipedia.org/wiki/File:Riemann3d_Re_0.1_to_0.9_Im_1_to_51.ogg)
    โดยพื้นฐานแล้ว ผมคิดว่ามันบอกใบ้ว่ายังมีความสัมพันธ์อีกแบบหนึ่งระหว่างจำนวนจริงกับจำนวนจินตภาพที่เรายังไม่ค้นพบ
    และเพราะคณิตศาสตร์ของ Riemann เกี่ยวข้องกับกลศาสตร์ควอนตัม จึงมีนัยต่อการค้นหาทฤษฎีแรงโน้มถ่วงด้วย
    รู้สึกเหมือนวิทยาศาสตร์ประหลาด ๆ ที่จำนวนเฉพาะเกี่ยวข้อง หรืออาจเกี่ยวข้อง กับทฤษฎีแรงโน้มถ่วง

  • สงสัยกับสำนวนที่ว่า “ในที่สุดพวกเขาก็เดินหมากแบบนอกขนบไม่กี่ตาเพื่อทำลายขอบเขตของ Ingham”
    การนำวิธีจากสาขาอื่นมาใช้ทำไมถึงเป็นเรื่องนอกขนบ? จากพื้นหลังด้านวิศวกรรม นี่กลับเป็นเรื่องปกติมาก harmonic analysis เป็นเครื่องมือพื้นฐานในหลายสาขา เช่น เสียง คลื่น การวิเคราะห์ไฟฟ้า สถิติ ฯลฯ และอัลกอริทึมของมันภายในก็เป็นคณิตศาสตร์บริสุทธิ์
    ถ้าอยากหาโครงสร้างซ้ำ ๆ ในระบบฐานบางแบบ การลองเทคนิคการวาดหลาย ๆ แบบแล้วเลือกแบบที่เหมาะกับปัญหาที่สุดก็น่าจะเป็นเรื่องปกติไม่ใช่หรือ

    • ข้อความที่อ้างมาไม่ได้อ่านแล้วให้ความหมายว่าส่วนที่นอกขนบของแนวทางนั้นเป็นแค่การใช้ไอเดียจาก harmonic analysis เท่านั้น การใช้ harmonic analysis ในทฤษฎีจำนวนไม่ใช่เรื่องใหม่เลย
      ในคาบแรกของทฤษฎีจำนวนเชิงวิเคราะห์ แนวคิดหลัก และแนวคิดหลักของบทความอันโด่งดังของ Riemann ปี 1859 อาจเรียกได้ว่าเป็น “harmonic analysis” ซึ่งไม่ใช่เรื่องบังเอิญ เพราะ Riemann เป็นผู้บุกเบิกสาขานี้: https://old.reddit.com/r/math/comments/16bh3mi/what_is_the_b...
      กระแสใหญ่ที่ร้อนแรงที่สุดในทฤษฎีจำนวนตอนนี้ โดยแก่นแล้วก็คือ harmonic analysis “มิติสูง” บน number fields: https://en.wikipedia.org/wiki/Automorphic_form, https://en.wikipedia.org/wiki/Langlands_program กรณีหนึ่งมิติที่ Langlands program พยายามทำให้เป็นกรณีทั่วไปคือ https://en.wikipedia.org/wiki/Tate%27s_thesis ซึ่งเรียกอีกอย่างว่า “Fourier analysis บน number fields” และเป็นหนึ่งในไอเดียสำคัญที่สุดของทฤษฎีจำนวนในศตวรรษที่ 20
      ในบรรณานุกรมของบทความ Guth-Maynard ยังมีหนังสือปี 1994 คือ H. Montgomery, Ten Lectures On The Interface Between Analytic Number Theory And Harmonic Analysis, No. 84. American Mathematical Soc., 1994 อยู่ด้วย ตั้งแต่ปี 1994 ก็มีเนื้อหาว่าด้วยจุดเชื่อมต่อกันถึงสิบ lecture แล้ว และถ้าดูจำนวนการอ้างอิงของหนังสือเล่มนั้น ก็เห็นว่ามีจุดเชื่อมต่ออีกมากกว่านั้นมาก ผมเองก็อ้างหนังสือนี้ในงานวิจัยของผมเกินครึ่ง
      สิ่งที่น่าทึ่งไม่ใช่ตัวข้อเท็จจริงว่าใช้ harmonic analysis แต่คือ นำไปใช้ที่ไหนและอย่างไร ส่วนนี้เป็นเรื่องที่สื่อสารกับผู้อ่านทั่วไปได้ยากจริง ๆ เลยไม่อยากโทษคนเขียนบทความ
      มันฟังเหมือนพูดว่า “ทำไมการสร้างความเชื่อมโยงถึงน่าทึ่ง” แต่ breakthrough มักเกิดจากความเชื่อมโยงใหม่ ๆ และการที่ breakthrough แบบนั้นเกิดขึ้นเป็นครั้งคราวก็ไม่ได้แปลว่าความเชื่อมโยงใหม่ ๆ จะไม่น่าทึ่ง
    • “นอกขนบ” อาจเป็นคำที่แรงไปหน่อย แต่สิ่งที่น่าจะต้องการสื่อคือการ ประยุกต์ใช้ เทคนิคเดิมจากอีกสาขา ในรูปแบบใหม่
      ในคณิตศาสตร์ มักมี breakthrough ใหญ่ ๆ จากการที่ใครบางคนสังเกตเห็นความขนานกันระหว่างสองพื้นที่ที่ดูเหมือนไม่เกี่ยวข้องกัน แล้วใช้ไอเดียจากพื้นที่หนึ่งเป็น insight ให้กับอีกพื้นที่หนึ่ง
      ส่วนที่ยากคือการเชื่อมโยงข้ามพื้นที่เหล่านี้มักไม่ชัดเจน การจะมองเห็นความคล้ายคลึงอาจต้องใช้การกระโดดทางความเข้าใจอย่างมาก
    • เป็นสำนวนที่ตลกอยู่เหมือนกัน ก็แค่นักข่าวเขียนแบบนักข่าว
      จะพูดก็ได้ว่าการค้นพบทุกอย่างในคณิตศาสตร์มี “หมากนอกขนบ” อยู่ระดับหนึ่ง เพราะสิ่งที่เป็นขนบก็คือทุกอย่างที่เรารู้กันมาจนถึงตอนนี้นั่นเอง

  • จากคำพูดที่ว่า “ตอนแรกดูเหมือนค่อนข้างสุ่ม แต่จริง ๆ แล้วเชื่อกันว่ามีโครงสร้างที่ซ่อนอยู่แบบนี้ภายในจำนวนเฉพาะ” ทำให้อยากรู้ว่า รูปแบบของจำนวนเฉพาะ ในจินตนาการจะมีหน้าตาอย่างไร
    เราคาดหวังอะไรทำนองสูตรรูปแบบปิดอยู่หรือเปล่า? ถ้าสมมติฐานรีมันน์ได้รับการพิสูจน์แล้ว ขั้นต่อไปในการทำความเข้าใจการกระจายตัวคืออะไร? หรือคาดหวังกันว่าตัวบทพิสูจน์นั้นเองจะมีคำตอบนี้อยู่?

  • ทุกครั้งที่ได้ยินเรื่องของ James Maynard ยิ่งทำให้ความคิดที่ว่าเขาเป็น อัจฉริยะ แบบที่ปรากฏขึ้นสักครั้งในหนึ่งเจเนอเรชันหนักแน่นขึ้น
    เขามีผลงานต่อทฤษฎีจำนวนเฉพาะมากมายอยู่แล้ว และทำให้รู้สึกว่าในช่วงชีวิตของผม อาจได้เห็นการพิสูจน์สมมติฐานรีมันน์ก็เป็นได้

  • เป็นภาพที่เพิ่งเคยเห็นครั้งแรก แต่ชวนให้จดจ่อจนอยากรู้ว่า รูปแบบที่ปรากฏเมื่อวาดจำนวนเฉพาะเป็น กราฟพิกัดเชิงขั้ว นั้นเป็นการค้นพบเมื่อไม่นานมานี้ หรือรู้จักกันมานานแล้วและแค่นำมาใช้เป็นภาพประกอบ? อยากรู้ชื่อและประวัติของมัน

  • อาจจะนอกประเด็นไปเล็กน้อย แต่ประโยคนี้ทำให้นึกถึงแง่มุมที่เกี่ยวข้องกับตัวพิสูจน์อัตโนมัติ ซึ่งเราอาจยังไม่รู้ด้วยซ้ำว่าได้เริ่มคิดถึงมันหรือยัง
    “Alex Kontorovich นักคณิตศาสตร์จาก Rutgers University กล่าวว่า ‘นั่นเป็นความก้าวหน้าครั้งใหญ่ที่น่าตื่นตะลึง ในบทพิสูจน์นี้มีไอเดียใหม่ ๆ มากมายที่ผู้คนจะขุดค้นต่อไปได้อีกหลายปี’”
    บทพิสูจน์ของบางสิ่งมักน่าสนใจยิ่งกว่าในฐานะ มุมมองใหม่ ที่ใช้มองสิ่งนั้น มากกว่าจะเป็นเพียงเครื่องมือให้ความเคร่งครัดทางคณิตศาสตร์ อยากรู้ว่ามีงานในทิศทางแบบนั้นในคณิตศาสตร์อัตโนมัติหรือไม่