Smales problemleri - Smales problems - Wikipedia

Smale sorunları on sekizli bir liste matematikte çözülmemiş problemler tarafından önerildi Steve Smale 1998 yılında,^[1] 1999'da yeniden yayınlandı.^[2] Smale, bu listeyi, Vladimir Arnold sonra başkan yardımcısı Uluslararası Matematik Birliği, birkaç matematikçiden 21. yüzyıl için bir problem listesi önermelerini isteyen. Arnold'un ilham kaynağı şu listeden geldi: Hilbert'in sorunları 20. yüzyılın başında yayınlanmıştı.

Problem tablosu

Sorun	Kısa açıklama	Durum	Yıl Çözüldü
1 inci	Riemann hipotezi: Riemann zeta fonksiyonunun önemsiz olmayan sıfırlarının gerçek kısmı 1 / 2'dir. (Ayrıca bakınız Hilbert'in sekizinci problemi )	Çözülmemiş.	–
2.	Poincaré varsayımı: Basitçe bağlı, kapalı her 3-manifold, 3-küreye homeomorfiktir.	Çözüldü. Sonuç: Evet, Onaylayan Grigori Perelman kullanma Ricci akışı.[3][4][5]	2003
3 üncü	P'ye karşı NP sorunu: Bir algoritmanın yapabileceği tüm problemler için Doğrulayın hızlı bir şekilde verilen bir çözüm (yani polinom zamanı ), bir algoritma da bulmak bu çözüm hızlı mı?	Çözülmemiş.	–
4.	Tek değişkenli bir polinomun tam sayı sıfırları üzerine Shub-Smale tau varsayımı[6][7]	Çözülmemiş.	–
5	Kişi karar verebilir mi Diyofant denklemi ƒ(x,y) = 0 (giriş ƒ ∈ ${ textstyle mathbb {Z}}$ [sen,v]) bir tamsayı çözümü vardır, (x,y), zamanında (2s)c bazı evrensel sabitler içinc? Yani soruna üstel zamanda karar verilebilir mi?	Çözülmemiş.	–
6	Göreli denge sayısı (merkezi konfigürasyonlar ) sonlu, içinde nHerhangi bir pozitif gerçek sayı seçimi için gök mekaniğinin vücut problemi m1, ..., mn kitleler olarak?	Kısmen çözüldü. 2012'de A.Albouy ve V.Kaloshin tarafından beş gövdeli neredeyse tüm sistemler için kanıtlanmıştır.[8]	2012
7'si	Kümesini bulmak için algoritma ${ displaystyle (x_ {1}, ..., x_ {N})}$ öyle ki işlev: ${ displaystyle V_ {N} (x) = toplam _ {1 leq i leq j leq N} log { frac {1} {|| x_ {i} -x_ {j} ||}} }$ 2-küre üzerinde N noktanın dağılımı için küçültülmüştür. Bu eşdeğerdir Thomson sorunu.	Çözülmemiş.	–
8	Matematiksel modelini genişletin genel denge teorisi içermek fiyat ayarlamalar	Gjerstad (2013)[9] deterministik fiyat ayarlaması modelini stokastik bir modele genişletir ve stokastik model denge etrafında doğrusallaştırıldığında, sonucun uygulamalı ekonometride kullanılan otoregresif fiyat ayarlama modeli olduğunu gösterir. Daha sonra modeli genel bir denge deneyinden alınan fiyat ayarlama verileriyle test eder. Model, iki ürünle genel bir denge deneyinde iyi performans gösteriyor.	2013
9	doğrusal programlama problem: bul kuvvetli polinom zamanı verilen matris için algoritma Bir ∈ Rm×n ve b ∈ Rm olup olmadığına karar verir x ∈ Rn ile Balta ≥ b.	Çözülmemiş.	–
10	Pugh kapanış lemması (daha yüksek düzeyde pürüzsüzlük)	Kısmen Çözüldü. Kapalı yüzeylerdeki Hamilton diffeomorfizmleri için M. Asaoka ve K. Irie tarafından 2016 yılında kanıtlanmıştır.[10]	2016
11'i	Tek boyutlu dinamikler genellikle hiperbolik midir? (a) Karmaşık bir polinom olabilir T Her kritik noktanın yinelemeli periyodik çökme eğiliminde olduğu özellik ile aynı dereceden biriyle yaklaştırılabilir mi? (b) Düzgün bir harita olabilir mi T : [0,1] → [0,1] olmak Cr herkes için hiperbolik olan r > 1?	(a) Polinomların en basit parametre uzayında bile çözümlenmemiş, Mandelbrot seti. (b) Çözüldü. Kozlovski, Shen ve van Strien tarafından kanıtlanmıştır.[11]	2007
12'si	Bir kapalı manifold ${ displaystyle M}$ Ve herhangi biri ${ displaystyle r geq 1}$ İzin Vermek ${ displaystyle mathrm {Diff} ^ {r} (M)}$ ol topolojik grup nın-nin ${ displaystyle C ^ {r}}$ diffeomorfizmler nın-nin ${ displaystyle M}$ kendi üzerine. Keyfi verildiğinde ${ displaystyle A in mathrm {Diff} ^ {r} (M)}$, buna keyfi olarak iyi yaklaştırmak mümkün mü ${ displaystyle T in mathrm {Diff} ^ {r} (M)}$ sadece yinelemeleriyle gidip geliyor? Başka bir deyişle, tüm diffeomorfizmlerin alt kümesidir. merkezleyiciler önemsiz yoğun ${ displaystyle mathrm {Diff} ^ {r} (M)}$?	Kısmen Çözüldü. Çözüldü C1 Christian Bonatti, Sylvain Crovisier ve Amie Wilkinson[12] 2009'da. Cr için topoloji r > 1.	2009
13	Hilbert'in 16. problemi: A'dan kaynaklanan ovallerin göreli konumlarını tanımlayın. gerçek cebirsel eğri ve benzeri limit döngüleri bir polinomun Vektör alanı uçakta.	8. derecenin cebirsel eğrileri için bile çözümlenmemiş.	–
14'ü	Özelliklerini yapın Lorenz çekicisi tuhaf bir çekiciyi sergilemek?	Çözüldü. Sonuç: Evet, çözen Warwick Tucker kullanma aralık aritmetiği.[13]	2002
15	Yap Navier-Stokes denklemleri içinde R3 her zaman var benzersiz pürüzsüz çözüm bu her zaman uzar mı?	Çözülmemiş.	–
16'sı	Jacobian varsayımı: Jacobian belirleyicisi ise F sıfır olmayan bir sabittir ve k vardır karakteristik 0, sonra F ters işlevi vardır G : kN → kN, ve G dır-dir düzenli (bileşenlerinin polinom olması anlamında).	Çözülmemiş.	–
17'si	Çözme polinom denklemler içinde polinom zamanı ortalama durumda	Çözüldü. C. Beltrán ve L. M. Pardo, tek tip bir olasılık algoritması buldu (ortalama Las Vegas algoritması ) Smale'nin 17. problemi için[14][15] F. Cucker ve P. Bürgisser yapılmış pürüzsüzleştirilmiş analiz olasılıksal bir algoritmanın à la Beltrán-Pardo ve daha sonra zaman içinde çalışan deterministik bir algoritma sergiledi ${ displaystyle N ^ {O ( log log N)}}$.[16] En sonunda, P. Lairez Algoritmayı rasgele dağıtmak için alternatif bir yöntem buldu ve böylece ortalama polinom zamanında çalışan deterministik bir algoritma buldu.[17] Tüm bu çalışmalar Shub ve Smale'in temel çalışmalarını ("Bezout serisi") takip ediyor.[18]	2008-2016
18'i	Sınırları zeka (hem insan hem de makine tarafında zeka ve öğrenmenin temel problemlerinden bahsediyor)[19]	Çözülmemiş.	–

Daha sonraki sürümlerde Smale, "ana listemizde bir yeri hak edecek kadar önemli görünmeyen, ancak yine de bunları çözmek güzel olacak" şeklinde üç ek sorun daha listeledi:^[20][21]

1. Ortalama değer problemi
2. Mı üç küre a minimal set (Gottschalk varsayımı )?
3. Bir Anosov diffeomorfizmi bir kompakt manifold topolojik olarak aynı Lie grubu John Franks modeli?

Ayrıca bakınız

• Milenyum Ödülü Sorunları
• Simon sorunları

Referanslar