20 yılın ardından matematikçi çift, grup teorisindeki McKay varsayımını çözdü
(quantamagazine.org)- Britta Späth ve Marc Cabanes, grup teorisinin büyük çözülememiş problemlerinden biri olan McKay varsayımının kanıtını tamamlayarak, karmaşık sonlu grupları çok daha küçük alt gruplar üzerinden anlamanın yolunu genişletti
- Bu varsayım, sonlu bir grup ile onun içindeki Sylow normalizer'ın belirli temsil (representation) sayılarında tam olarak aynı değere sahip olması şeklindeki beklenmedik bir eşleşmeden yola çıkıyor
- 2004'te sonlu grup sınıflandırmasının tamamlanmasının ardından Isaacs, Navarro ve Malle, problemi daha dar bir grup kümesine ilişkin daha güçlü bir önermeye indirgedi; son engel ise Lie tipi gruplardı
- Späth ve Cabanes, Lie tipi grupların dört kategorisini sırayla ele aldı; 2018'de yalnızca son bir kategori kaldıktan sonra, gerekli temsil eşleme kurallarını doğrulamak için 6 yıl daha harcadı
- Artık matematikçiler, önemli grup özelliklerini daha kolay ele alınabilen Sylow normalizer üzerinden inceleyebilecek; ancak küçük bir altkümenin neden büyük grubun bilgisini bu kadar çok taşıdığı hâlâ açıklanabilmiş değil
McKay varsayımı ne söylüyor?
- McKay varsayımı, 1970'lerde John McKay'in fark ettiği sayısal bir eşleşmeden doğdu
- Konu, sonlu sayıda elemana sahip sonlu gruplar (finite groups)
- Grup, matematiksel sistemlerdeki simetriyi temsil eden soyut bir yapıdır
- Eleman sayısı arttıkça ve yapı karmaşıklaştıkça, bütünü doğrudan incelemek zorlaşır
- McKay, yalnızca asıl grubun küçük bir kısmına bakarak da önemli bilgi elde edilebileceğini düşündü
- Özellikle, asıl grubun içindeki özel ve daha küçük bir grup olan Sylow normalizer'a odaklandı
- Sylow normalizer, asıl grubun elemanlarının yalnızca çok küçük bir bölümünü içerebilir ve yapısı da asıl gruptan oldukça farklı olabilir
- Varsayımın özü, belirli türdeki temsil (representation) sayısının asıl sonlu grup ile Sylow normalizer için tam olarak aynı olmasıdır
- Temsil, grup elemanlarını matrisler olarak yeniden yazmanın bir yoludur
- Bu sayı, grup elemanlarının birbirleriyle nasıl ilişkili olduğunu anlamakta ve başka önemli özellikleri hesaplamada kullanılır
Neden şaşırtıcı bir eşleşme?
- McKay'in gördüğü eşleşme, basit bir yaklaşık değer ya da eğilim değil, tam bir özdeşlik
- Örneğin, 72 elemana sahip bir grup 2³ × 3² olarak ayrıştırılabilir
- 8 elemanlı bir alt gruba ya da 9 elemanlı bir alt gruba bakılabilir
- Bunlara belirli elemanlar eklenerek 2-Sylow normalizer ve 3-Sylow normalizer oluşturulabilir
- Bu küçük yapıların, asıl grubun bütünüyle tam olarak aynı temsil sayısına sahip olmasının açık bir nedeni yoktu
- Gabriel Navarro bunu, ABD genel seçimindeki toplam oy oranı ile Montana'daki küçük bir kasabanın oy oranının “benzer” değil, tam olarak aynı olmasına benzetiyor
- Varsayım doğruysa, matematikçiler daha büyük sonlu gruplar yerine daha kolay çalışılabilen Sylow normalizer üzerinden grup özelliklerini inceleyebilir
Sınıflandırma teoremi ve problemin indirgenmesi
- Sonlu grupların tüm yapı taşlarını sınıflandırmaya yönelik dev proje 100 yıldan uzun sürdü ve 2004'te tamamlandı
- Tüm yapı taşları ya üç kategoriden birine giriyor ya da 26 istisnadan oluşan bir listeye dahil oluyor
- Matematikçiler, bu sınıflandırmanın McKay varsayımı gibi problemleri sadeleştirebileceğini uzun zamandır öngörüyordu
- 2004'te Marty Isaacs, Gabriel Navarro ve Gunter Malle, McKay varsayımını daha dar bir grup kümesine ilişkin daha güçlü bir önermeye dönüştürmenin yolunu buldu
- Bu, yalnızca temsil sayılarının eşit olması değil, temsillerin belirli kurallara göre birbirine karşılık gelmesi gerektiği anlamına geliyordu
- Bu güçlü önerme ilgili gruplar için doğruysa, tüm sonlu gruplar için McKay varsayımı da buradan çıkıyordu
- Bu indirgeme, sonraki yıllarda McKay varsayımının çoğu durumunu çözmekte kullanıldı
- Aynı yöntem, bütünü doğrudan değil bir kısmı üzerinden inceleyen başka ilgili varsayımları indirgemek için de bir şablon işlevi gördü
Son büyük engel: Lie tipi gruplar
- İndirgeme sonrasında bile, bir grup olan Lie tipi gruplar (groups of Lie type) açık problem olarak kaldı
- Lie tipi gruplar, diğer grupların en yaygın yapı taşları olduğu için matematiksel olarak önemli; ancak temsillerini incelemek son derece zor
- Späth, 2003'te University of Kassel'de Malle'nin doktora öğrencisiyken McKay varsayımıyla tanıştı
- Ardından grup temsilleri üzerine derinlemesine çalışarak varsayımı ilerletmeyi sürdürdü
- Späth, 2010'da Paris Cité University'de Cabanes ile tanıştı
- Cabanes, indirgenmiş McKay varsayımının merkezindeki dar grup kümesinin uzmanıydı
- İkili birlikte bu probleme yoğunlaştı; Cabanes bunu “bizim takıntımız” diye niteliyor
- Lie tipi grupların dört kategorisi var ve Späth ile Cabanes, 10 yılı aşkın süre boyunca bu kategorileri birer birer kanıtladı
- Bu süreçte birçok önemli sonuç yayımladılar
- Farklı matematik alanlarından zorlu teorileri bir araya getirerek Lie tipi gruplar hakkında derin bir anlayış geliştirdiler
Nihai kanıt ve geriye kalan sorular
- 2018'de Lie tipi grupların dört kategorisinden yalnızca biri kalmıştı ve bu son durumu çözmek 6 yıl daha aldı
- Späth ve Cabanes, son kategoride de temsil sayılarının Sylow normalizer ile eşleştiğini ve gerekli temsil eşleme kurallarının da sağlandığını gösterdi
- Son durumun da çözülmesiyle birlikte, McKay varsayımının tamamı otomatik olarak doğru hâle geldi
- İkili, kanıtı Ekim 2023'te 100'den fazla matematikçinin katıldığı bir toplantıda sundu ve bir yıl sonra çevrimiçi olarak yayımladı
- Radha Kessar bunu “kesinlikle göz kamaştırıcı bir başarı” olarak değerlendirdi
- Artık matematikçiler, grubun önemli özelliklerini yalnızca Sylow normalizer'a bakarak inceleyebilecek
- Bu, asıl gruba göre daha kolay bir yaklaşım
- Pratik uygulama potansiyeli de olabilir
- Ancak küçük bir altkümenin neden büyük üst grup hakkında bu kadar çok bilgi verdiği hâlâ bir gizem
- Kessar, “bu sayıların aynı olmasının yapısal bir nedeni olmalı” diyor
- Bazı ön çalışmalar olsa da bu bağlantı henüz anlaşılmış değil
- Späth ve Cabanes şimdi sıradaki tutkuyla bağlanacakları problemi arıyor
- Späth, McKay varsayımı kadar kendisini etkisi altına alan başka bir şeyle henüz karşılaşmadığını söylüyor
1 yorum
Hacker News yorumları
“Böylesine zor bir problemin peşinden tek bir hedefe kilitlenerek gitmenin akademik kariyerine zarar verme riski vardı, ama Späth yine de tüm zamanını buna adadı” cümlesinin neredeyse her makalede yer almasının bir nedeni var gibi
Böyle inatçı insanların olmasına seviniyorum; adı bile geçmeyen karşı-olgusal olasılıklara da kadeh kaldırmak isterim
Paradigmayı izleyerek paradigmayı değiştiremezsiniz. Kara atların rolünü küçümsemenin büyük zarara yol açacağını düşünüyorum. Çoğu zaman, belki de büyük çoğunlukla başarısız olurlar; ama etkisi düşünüldüğünde küçük bir oranın başarılı olması bile desteklemeye fazlasıyla değer
Oysa pratikte, başarısızlık korkusu gibi nedenlerle akıntıya karşı gitmek sık sık caydırılıyor. Araştırmada girişimlerin çoğu başarısız olur; ama asıl başarısızlık, bir şey öğrenilmeyen başarısızlıktır. Şu anda olumsuz sonuçları yayımlamak çok zor olduğu için bu tür denemelerin kendisi azalıyor ve sistem doğası gereği ancak kademeli olabilecek “güvenli” araştırmaları teşvik ediyor. Buna rağmen birçok makalenin “yenilik eksikliği” gerekçesiyle reddedilmesi ironik
Yargılayan bakışlar yine olur, ama onları görmezden gelebilirsiniz. Kişisel olarak hükümetin yüksek riskli, yüksek getirili moonshot tarzı bireysel/küçük ekip araştırmalarını daha fazla desteklemesi gerektiğini düşünüyorum. Çok sayıda kişiye yayılırsa oynaklık azalır ve sonuç alınabilir. Ama şu anda ABD’de araştırma fonlarının akışı tam ters yönde gidiyor gibi, bu yüzden iyimser değilim
Sonunda başardı; onu destekleyen yönetimi de hep takdir ettim
Herkes varlığını kariyer fırsatlarını en üst düzeye çıkarmaya adamak zorunda değil, bırakın öyle kalsınlar
“Çift sonuçlarını açıkladığında meslektaşları hayranlık içindeydi. Stanford University’den Persi Diaconis, ‘Bir geçit töreni düzenlensin isterdim. Yıllar süren gerçekten, gerçekten, gerçekten zor çalışmanın ardından bunu başardı; onlar başardı’ dedi” kısmını sevdim
Kombinatorik problemleriyle uğraşırken hoşuma giden unsurlardan biri de bu tür pozitif destekti. Persi Diaconis ya da D.J.A. Welsh gibi insanlar o kadar nazikti ki tüm alan daha davetkâr bir atmosfere sahipmiş gibi geliyordu
Ve bu dalgalar, niyet ve eylemlerimize bağlı olarak mutluluk ya da tersi biçimde içimizde yankılanır
“Positive vibration, yeah.” --Bob Marley
McKay varsayımının söylediği şey kabaca şu diye düşünüyorum
Diyelim ki bir grubu karmaşık sayılı matrislerle temsil etmek istiyoruz. Genellikle bunu yapmanın birden fazla yolu vardır ve her birinin, o temsilin parmak izi gibi bir karakteri (character) bulunur
Öte yandan her grubun, büyüklüğü bir asal sayının kuvveti olan büyük bir altgruba sahip olduğu bilinir. Buna P diyelim. Bu grubun, P’nin normal altgrup olduğu bir normalleştireni vardır; buna N(P) denir
Şaşırtıcı olan, G’nin tamamındaki karakter sayısıyla, G’nin yalnızca küçük bir parçası olan N(P)’nin karakter sayısının aynı olmasıdır
Teknik olarak her iki durumda da derecesi p’nin katı olan temsiller hariç tutulur
Varsayımın durum durum analizle kanıtlanmış olması ve her durumda farklı teknikler gerekmesi ilginç
Tüm sonlu grupların bu özelliğe sahip olması neredeyse tesadüf gibi de görünüyor. Çünkü her grup bu özelliğe farklı bir “nedenle” sahip
Ancak makaleye göre matematikçiler şimdi bu varsayımın geçerli olmasının daha derin yapısal nedenini arıyor. Sonucun doğru olduğu bilindiğine göre, daha fazla matematikçi artık buna ciddi biçimde eğilebilir
İlgili şeyleri parçalara ayırıp her küme için ayrı ayrı kanıtlamak yaygındır. Bazı kanıtlar basittir, bazıları ise çok daha ileri teknikler gerektirdiğinden yıllarca açık problem olarak kalabilir
Makale: https://arxiv.org/abs/2410.20392
Tesadüf bu ya, kısa süre önce HN’de karşıma çıktıktan sonra Infinite Napkin’in grup bölümünü okuyordum
Tanımları vb. anlıyorum ama grupların neden bu kadar merkezi önemde olduğunu hâlâ pek kavrayamıyorum
Örneğin makalede 72 mertebeli 50 grup olduğu söyleniyor, ChatGPT ise 50 değişmeli olmayan ve 5 değişmeli grup olduğunu söylüyor; bunun neye dair önemli bir içgörü olduğunu bilmiyorum
72 mertebeli gruplar 44 değişmeli olmayan, 6 değişmeli gruptur. Bu belirli sayıların çok önemli olduğunu sanmıyorum ama sayıların kendisi doğru olan bu
Bir nesneyi değiştirmeden bırakan işlemler varsa; örneğin eşkenar üçgeni döndürüp bir köşeyi başka bir köşenin yerine getiren bir dönme tersinirdir ve ters işlemi de nesneyi değiştirmeden bırakır. Bu tür işlemler bileştirildiğinde de değişmezliği korur ve özdeşlik fonksiyonu her zaman her şeyi değişmeden bırakır. Bu yüzden simetri işlemleri bir grup oluşturur
Biraz daha incelikli nokta, her grubun bir şeyin simetri işlemleri kümesi olduğu gerçeğidir. Dolayısıyla grup, simetri kavramını tam olarak yakalar. Bir matematikçi için “grup” ile “simetri” neredeyse eşanlamlıdır
Sonlu gruplar, molekülde atomları birbirlerinin konumlarına döndüren simetriler gibi moleküler yapı, enerji düzeyleri, spektrumlar ve bağlanma olasılıkları hakkında bilgi verebildikleri için ilginçtir; sonsuz gruplar ise fizikte koordinat sistemini keyfî olarak döndürsek ya da öteleysek de fizik yasalarının aynı kalması şeklinde ortaya çıkar. Simetri, başka matematiksel nesneleri incelemenin bir yöntemi olarak da karşımıza çıkar ve matematikçiler ayrıca mümkün olan tüm grupların nasıl göründüğünü bilmek ister
Kimse asal sayıların neden o aralıklarla yer aldığını özellikle açıklamaya çalışmaktan ziyade, bir olguyu açıklarken belirli bir şeyin asal olup olmadığına işaret eder
Örneğin ikinci dereceden bir polinomu çarpanlara ayırmak için temiz bir formül, yani kökler formülü vardır; üçüncü ve dördüncü dereceler için de formüller vardır ama genelde ezberletilmez. Fakat beşinci derece için böyle bir formül yoktur. Matematikçilerin böyle bir şeyin var olmadığını kanıtlaması zaman aldı; ama böyle bir formülün altında belirli bir büyüklükten küçük sonlu grupların bulunması gerekir ve bu grupları listelediğimizde beşinci derece formüle karşılık gelen bir grup olmadığını gördüğümüz için beşinci derece formülün de olmadığı bu şekilde kanıtlandı
Bu yüzden gruplar, ayrıntılı açıklama yapmadan başvurulabilen bir tür ilksel karmaşıklık olarak kullanışlıdır. Küçük grupların özellikleri elle kontrol edilebilir ve fark edince epey çok şeyin bu açıdan bakıldığında grup oluşturduğu görülür
Örneğin baktığınız problem değişmeli mi? Öyleyse mutlaka X ya da Y gibi bir biçimde olmalıdır, denebilir
Kanıtları: https://arxiv.org/abs/2410.20392 (2024)
Gerçekten muazzam bir adanmışlık. Makaledeki kişisel hikâye özellikle hoşuma gitti; STEM yazılarında her zaman görebildiğimiz bir şey değil
Umarım ana hedefin artık gerçekleştiği bu yeni gerçeklik içinde ilişkileri de iyi uyum sağlar
Yalnızca nihai sonucu gösterdiklerinde, onlara kolay gelmiş gibi algılanıyor; bu da başkalarının anlamaya ya da katkıda bulunmaya çalışmaktan bile vazgeçmesine yol açabiliyor. Özellikle matematikte fikrin kendisi basit olmalı. Çünkü Ramanujan gibi kafamızda sonsuz serileri toplayacak insanlar değiliz. Sadece o fikir, sayısız sembolik uzmanlık teriminin arkasına saklanmış oluyor
Patrick Cousot ile Radhia Cousot çiftinin birlikte geliştirdiği soyut yorumlama aklıma geldi [1]
Faydalı bir teknik; biçimsel doğrulama dersinde öğrenmiştim
[1] https://en.wikipedia.org/wiki/Abstract_interpretation
Gerçekten harika bir makale
İlgili çalışmaları saatlerce araştırmama neden oldu; aralarında John Conway’in çalışmaları da vardı
Bu arada matematik seviyem BSEE düzeyinde. Yine de üniversite hocalarının sıkça başvurduğu çalışma kitaplarından biri olan The Algebraic Eigenvalue Problem bende var ve ara sıra kısa kısa göz atıyorum