- Britta Späth dan Marc Cabanes menyelesaikan pembuktian Dugaan McKay, salah satu masalah besar yang belum terpecahkan dalam teori grup, sehingga membuka jalan untuk memahami grup hingga yang kompleks melalui subgrup yang jauh lebih kecil
- Dugaan ini berawal dari kecocokan tak terduga: sebuah grup hingga dan Sylow normalizer di dalamnya memiliki nilai yang persis sama untuk jumlah representasi tertentu
- Setelah klasifikasi grup hingga rampung pada 2004, Isaacs, Navarro, dan Malle mereduksi masalah ini menjadi pernyataan yang lebih kuat tentang himpunan grup yang lebih sempit; penghalang terakhirnya adalah grup bertipe Lie
- Späth dan Cabanes menangani empat kategori grup bertipe Lie satu per satu; setelah pada 2018 hanya tersisa satu kategori terakhir, mereka menghabiskan enam tahun lagi untuk memverifikasi aturan korespondensi representasi yang diperlukan
- Kini para matematikawan dapat meneliti sifat-sifat penting grup melalui Sylow normalizer yang lebih mudah ditangani, tetapi mengapa subset kecil dapat memuat begitu banyak informasi tentang grup besar masih belum terjelaskan
Apa yang Dinyatakan Dugaan McKay
- Dugaan McKay bermula dari kecocokan numerik yang ditemukan John McKay pada 1970-an
- Objeknya adalah grup hingga (finite group), yaitu grup dengan jumlah elemen terbatas
- Grup adalah objek abstrak yang merepresentasikan simetri dalam sistem matematika
- Semakin banyak jumlah elemennya dan semakin kompleks strukturnya, semakin sulit mempelajari keseluruhannya secara langsung
- McKay melihat bahwa informasi penting bisa diperoleh hanya dengan mengamati sebagian kecil dari grup aslinya
- Ia terutama berfokus pada Sylow normalizer, grup lebih kecil khusus di dalam grup asli
- Sylow normalizer bisa hanya mencakup sebagian sangat kecil elemen grup asli, dan strukturnya pun bisa sangat berbeda dari grup asli
- Inti dugaan ini adalah bahwa jumlah representasi (representation) jenis tertentu persis sama pada grup hingga asli dan pada Sylow normalizer
- Representasi adalah cara menuliskan ulang elemen-elemen grup sebagai matriks
- Jumlah ini digunakan untuk memahami bagaimana elemen-elemen grup saling terkait dan untuk menghitung sifat-sifat penting lainnya
Mengapa Kecocokan Ini Mengejutkan
- Kecocokan yang dilihat McKay bukan sekadar aproksimasi atau kecenderungan, melainkan kesamaan yang tepat
- Misalnya, grup dengan 72 elemen dapat difaktorkan menjadi 2³ × 3²
- Kita dapat melihat subgrup dengan 8 elemen atau subgrup dengan 9 elemen
- Dengan menambahkan elemen-elemen tertentu ke sana, dapat dibuat 2-Sylow normalizer dan 3-Sylow normalizer
- Tidak ada alasan yang jelas mengapa struktur kecil seperti ini memiliki jumlah representasi yang persis sama dengan keseluruhan grup asli
- Gabriel Navarro mengibaratkannya bukan seperti proporsi suara pemilu nasional AS dan proporsi suara di sebuah kota kecil di Montana yang “mirip”, melainkan situasi ketika keduanya persis sama
- Jika dugaan ini benar, para matematikawan dapat mempelajari sifat-sifat grup melalui Sylow normalizer yang lebih mudah ditangani, alih-alih melalui grup hingga yang lebih besar
Teorema Klasifikasi dan Reduksi Masalah
- Proyek besar untuk mengklasifikasikan semua blok pembangun grup hingga berlangsung selama lebih dari 100 tahun dan selesai pada 2004
- Semua blok pembangun termasuk dalam salah satu dari tiga kategori atau berada dalam daftar 26 pengecualian
- Para matematikawan sejak lama memperkirakan bahwa klasifikasi ini dapat menyederhanakan masalah seperti Dugaan McKay
- Pada 2004, Marty Isaacs, Gabriel Navarro, dan Gunter Malle menemukan cara untuk mengubah Dugaan McKay menjadi pernyataan kuat tentang himpunan grup yang lebih sempit
- Bukan hanya jumlah representasi yang harus sama, representasi-representasi itu juga harus saling berkorespondensi menurut aturan tertentu
- Jika pernyataan kuat ini berlaku untuk grup-grup tersebut, maka Dugaan McKay untuk semua grup hingga akan mengikutinya
- Reduksi ini kemudian digunakan untuk menyelesaikan sebagian besar kasus Dugaan McKay dalam beberapa tahun berikutnya
- Metode yang sama juga berperan sebagai cetak biru untuk mereduksi dugaan-dugaan terkait lainnya yang mempelajari keseluruhan melalui sebagian objek, alih-alih seluruh objeknya
Grup Bertipe Lie sebagai Masalah Terakhir yang Sulit
- Setelah reduksi tersebut, satu kelas grup bertipe Lie (groups of Lie type) masih tetap menjadi masalah terbuka
- Grup bertipe Lie penting secara matematis karena merupakan blok pembangun paling umum bagi grup lain, tetapi representasinya sangat sulit dipelajari
- Späth mengenal Dugaan McKay pada 2003 di University of Kassel sebagai mahasiswa doktoral Malle
- Setelah itu ia mendalami representasi grup dan terus mendorong penyelesaian dugaan ini
- Pada 2010, Späth bertemu Cabanes di Paris Cité University
- Cabanes adalah pakar himpunan grup sempit yang menjadi pusat Dugaan McKay yang telah direduksi
- Keduanya bersama-sama tenggelam dalam masalah ini, dan Cabanes menyebutnya “obsesi kami”
- Grup bertipe Lie memiliki empat kategori, dan selama lebih dari 10 tahun Späth serta Cabanes membuktikan masing-masing kategori satu per satu
- Dalam prosesnya mereka menerbitkan sejumlah hasil penting
- Mereka menarik teori-teori sulit dari berbagai bidang matematika untuk mengembangkan pemahaman mendalam tentang grup bertipe Lie
Pembuktian Akhir dan Pertanyaan yang Tersisa
- Pada 2018, dari empat kategori grup bertipe Lie hanya tersisa satu kategori terakhir, dan menyelesaikan kasus terakhir ini memerlukan enam tahun lagi
- Späth dan Cabanes menunjukkan bahwa pada kategori terakhir pun jumlah representasinya cocok dengan Sylow normalizer dan juga memenuhi aturan korespondensi representasi yang diperlukan
- Dengan tuntasnya kasus terakhir, keseluruhan Dugaan McKay otomatis menjadi benar
- Keduanya mempresentasikan pembuktian tersebut pada Oktober 2023 di hadapan lebih dari 100 matematikawan, lalu mempublikasikannya secara online setahun kemudian
- Radha Kessar menilainya sebagai “pencapaian yang benar-benar gemilang”
- Kini para matematikawan dapat mempelajari sifat-sifat penting grup hanya dengan melihat Sylow normalizer
- Ini adalah pendekatan yang lebih mudah dibandingkan grup aslinya
- Mungkin juga ada kemungkinan penerapan praktis
- Namun, mengapa subset kecil memberikan begitu banyak informasi tentang grup induk yang besar masih tetap menjadi misteri
- Kessar mengatakan, “Harus ada alasan struktural mengapa angka-angka ini sama”
- Ada sebagian riset awal, tetapi hubungan tersebut belum dipahami
- Späth dan Cabanes sedang mencari masalah berikutnya untuk mereka tekuni
- Späth mengatakan belum ada hal lain yang memikatnya seperti Dugaan McKay
1 komentar
Komentar Hacker News
Sepertinya ada alasan mengapa hampir semua artikel memuat kalimat bahwa “mengejar masalah sesulit ini dengan begitu keras kepala berisiko merugikan karier akademik, tetapi Späth tetap mencurahkan seluruh waktunya untuk itu”
Syukurlah ada orang-orang gigih seperti ini, dan saya juga ingin bersulang untuk kemungkinan-kemungkinan kontrafaktual yang bahkan tidak disebutkan
Anda tidak bisa mengubah paradigma sambil tetap mengikuti paradigma. Menurut saya, kita akan rugi besar jika meremehkan peran kuda hitam. Banyak yang gagal, mungkin bahkan sebagian besar gagal, tetapi jika melihat dampaknya, keberhasilan dalam persentase kecil saja sudah cukup layak untuk didorong
Namun dalam praktiknya, orang sering mencegah pekerjaan yang melawan arus utama karena alasan seperti takut gagal. Dalam riset, sebagian besar upaya memang gagal, tetapi satu-satunya kegagalan sejati adalah kegagalan yang tidak menghasilkan pembelajaran. Saat ini sangat sulit menerbitkan hasil negatif, sehingga upaya semacam itu sendiri berkurang, dan sistem pada dasarnya mendorong riset “aman” yang mau tak mau bersifat inkremental. Ironisnya, banyak makalah tetap ditolak karena “kurang kebaruan”
Tatapan menghakimi mungkin tetap ada, tetapi bisa diabaikan. Secara pribadi, saya pikir pemerintah seharusnya lebih banyak mendukung riset moonshot individu/tim kecil yang berisiko tinggi dan berimbal hasil tinggi. Jika didistribusikan ke banyak orang, volatilitasnya berkurang sehingga hasil bisa muncul. Namun aliran pendanaan riset di AS saat ini tampaknya bergerak ke arah yang persis berlawanan, jadi saya tidak terlalu optimistis
Pada akhirnya ia berhasil, dan saya selalu sangat menghargai manajemen yang mendukungnya
Tidak semua orang harus mendedikasikan eksistensinya untuk memaksimalkan peluang karier, jadi biarkan saja
Saya suka bagian yang berbunyi, “Ketika pasangan itu mengumumkan hasilnya, para kolega mereka merasa takjub. Persi Diaconis dari Stanford University berkata, ‘Saya berharap ada parade. Setelah bertahun-tahun pekerjaan yang benar-benar, benar-benar, benar-benar berat, dia berhasil, mereka berhasil’”
Salah satu hal yang saya sukai ketika mengerjakan masalah kombinatorika adalah dukungan positif semacam ini. Orang-orang seperti Persi Diaconis atau D.J.A. Welsh begitu ramah sehingga seluruh bidang itu terasa lebih menyambut
Dan riak itu bergema kembali dalam diri kita sebagai kebahagiaan atau sebaliknya, tergantung niat dan tindakan kita
“Positive vibration, yeah.” --Bob Marley
Saya kira kira-kira inilah yang dinyatakan oleh dugaan McKay
Katakanlah kita ingin merepresentasikan suatu grup sebagai matriks bilangan kompleks. Biasanya ada banyak cara untuk melakukannya, dan masing-masing memiliki karakter (character) yang seperti sidik jari representasi tersebut
Sementara itu, diketahui bahwa setiap grup memiliki subgrup besar yang ukurannya merupakan pangkat dari suatu bilangan prima. Sebut saja P. Grup ini memiliki normalizer tempat P menjadi subgrup normal, yang disebut N(P)
Hal yang mengejutkan adalah jumlah karakter dari keseluruhan G sama dengan jumlah karakter dari N(P), yang hanya merupakan sebagian kecil dari G
Secara teknis, dalam kedua kasus representasi yang derajatnya kelipatan p dikecualikan
Menarik bahwa dugaan ini dibuktikan lewat analisis kasus per kasus, dan setiap kasus membutuhkan teknik yang berbeda
Bahwa semua grup hingga memiliki sifat ini hampir terasa seperti kebetulan. Sebab setiap grup memiliki sifat itu karena “alasan” yang berbeda
Namun menurut artikel tersebut, para matematikawan kini mencari alasan struktural yang lebih dalam mengapa dugaan ini berlaku. Karena hasilnya sudah diketahui benar, lebih banyak matematikawan kini bisa menanggapinya secara serius
Umum untuk memecahnya menjadi hal-hal yang terkait lalu membuktikan tiap kelompoknya. Sebagian bukti sederhana, tetapi sebagian lainnya membutuhkan teknik yang jauh lebih maju sehingga tetap menjadi masalah terbuka selama bertahun-tahun
Makalah: https://arxiv.org/abs/2410.20392
Kebetulan, setelah baru-baru ini muncul di HN, saya sedang membaca bagian grup di Infinite Napkin
Saya memahami definisinya dan sebagainya, tetapi masih belum merasa mengapa grup begitu penting secara mendasar
Misalnya, artikel menyebutkan ada 50 grup berorde 72, dan ChatGPT mengatakan ada 50 non-abelian dan 5 abelian, tetapi saya tidak tahu ini merupakan wawasan penting tentang apa
Grup berorde 72 terdiri dari 44 non-abelian dan 6 abelian. Saya tidak menganggap angka-angka spesifik ini sangat penting, tetapi angkanya sendiri memang begitu
Jika ada operasi yang membuat suatu objek tetap tidak berubah, misalnya rotasi yang memutar segitiga sama sisi sehingga satu titik sudut berpindah ke posisi titik sudut lain, operasi itu dapat dibalik, dan operasi kebalikannya juga membuat objek tetap tidak berubah. Operasi-operasi semacam itu, jika dikomposisikan, tetap mempertahankan invariansi, dan fungsi identitas selalu membiarkan semuanya tidak berubah. Jadi operasi-operasi simetri membentuk grup
Bagian yang sedikit lebih rumit adalah fakta bahwa setiap grup merupakan himpunan operasi simetri dari sesuatu. Jadi grup menangkap konsep simetri secara tepat. Bagi matematikawan, “grup” dan “simetri” hampir sinonim
Grup hingga menarik karena, seperti simetri yang memutar atom-atom dalam molekul ke posisi satu sama lain, dapat memberi tahu kita tentang struktur molekul, tingkat energi, spektrum, kemungkinan ikatan, dan sebagainya; sementara grup tak hingga muncul dalam fisika, misalnya ketika hukum fisika tetap sama meskipun sistem koordinat diputar atau ditranslasikan secara sewenang-wenang. Simetri juga muncul sebagai cara untuk mempelajari objek matematika lain, dan matematikawan juga ingin mengetahui seperti apa semua grup yang mungkin ada
Tidak ada yang benar-benar mencoba menjelaskan mengapa bilangan prima muncul dengan jarak seperti itu; alih-alih, ketika menjelaskan suatu fenomena, kita menunjuk apakah sesuatu itu prima atau bukan
Misalnya, ada rumus rapi untuk memfaktorkan polinomial kuadrat, yaitu rumus kuadrat, dan ada juga rumus untuk derajat 3 dan 4, meski biasanya tidak diminta untuk dihafal. Namun untuk derajat 5 tidak ada rumus seperti itu. Butuh waktu bagi matematikawan untuk membuktikan bahwa rumus semacam itu tidak ada, tetapi pembuktiannya kira-kira bahwa rumus semacam itu harus memiliki grup hingga di bawah ukuran tertentu sebagai struktur dasarnya, dan ketika kita mendaftar grup-grup itu, tidak ada grup yang bersesuaian dengan rumus derajat 5, jadi rumus derajat 5 pun tidak ada
Jadi grup berguna sebagai semacam kompleksitas primordial yang bisa dirujuk tanpa penjelasan terperinci. Sifat-sifat grup kecil dapat diperiksa dengan tangan, dan ternyata cukup banyak hal, jika dilihat dengan cara itu, membentuk grup
Misalnya, apakah masalah yang sedang dihadapi ini abelian? Jika ya, maka bentuknya pasti seperti X atau Y, dan seterusnya
Bukti mereka: https://arxiv.org/abs/2410.20392 (2024)
Benar-benar dedikasi yang luar biasa. Saya terutama menyukai kisah pribadi di dalam artikel itu, sesuatu yang tidak selalu terlihat dalam tulisan STEM
Semoga hubungan mereka berdua dapat beradaptasi dengan baik dalam realitas baru ketika tujuan utama itu kini telah tercapai
Jika hanya hasil akhir yang ditampilkan, itu terasa seolah-olah mudah bagi mereka, sehingga bisa membuat orang lain menyerah bahkan untuk mencoba memahami atau berkontribusi. Terutama dalam matematika, gagasannya sendiri seharusnya sederhana. Karena kita bukan orang seperti Ramanujan yang bisa menjumlahkan deret tak hingga di kepala. Hanya saja gagasan itu tersembunyi di balik begitu banyak jargon simbolik
Saya teringat pada abstract interpretation yang dibuat bersama oleh pasangan Patrick Cousot dan Radhia Cousot [1]
Itu teknik yang berguna, dan saya mempelajarinya di kelas verifikasi formal
[1] https://en.wikipedia.org/wiki/Abstract_interpretation
Artikel yang benar-benar bagus
Saya jadi mencari-cari karya terkait selama beberapa jam, dan di antaranya ada juga karya John Conway
Sebagai catatan, kemampuan matematika saya setingkat BSEE. Meski begitu, saya punya satu buku The Algebraic Eigenvalue Problem, salah satu buku kerja yang dulu sering dijadikan rujukan oleh para profesor universitas, dan sesekali saya membacanya sebentar