On problem için akıl yürütme yolları [pdf]

Fikirler Nasıl Bir araya Geldi Özet Bu notlar, orijinal düşünce zincirlerini ortaya çıkan matematiksel makaleler ve yazılarla birlikte okuyan bir yapay zeka modeli tarafından yazılmıştır. Model, her problem için kanıtın nasıl bir araya geldiğini yeniden yapılandırır: ilk önce hangi fikirler ileriye doğru bir yol önerdi, hangi önemli yaklaşımlar gerçek engellerle karşılaştı, hangi perspektif değişiklikleri altta yatan yapıyı ortaya çıkardı ve belirleyici içgörülerin nihai argümana nasıl dönüştüğü. Amaç, ispatların ardındaki matematiksel düşünceyi okunabilir, üst düzey bir anlatımla toplamak ve açıklamaktır. Bölümler, bitmiş sunumları basitçe yeniden üretmek yerine, başarılı argümanların neden işe yaradığını açıklayan bağlantıları, ara keşifleri ve sürekli sapmaları vurguluyor. Koleksiyonda yüksek boyutlu küre paketleme, ikili ve küresel kodlar, sofik olmayan gruplar, Connes katılığı, aritmetik devre ve formül alt sınırları, kuantum paralel tekrarı, en yakın vektör problemi, Ehrhart'ın hacim varsayımı, çok renkli Ramsey sayıları ve ekstremal grafik teorisi yer alıyor. İçindekiler 1 Yüksek Boyutlu Küre Paketleme ve Öklid Doğrusal Programı 1 1.1 Bir paketleme nasıl Fourier doğrusal programı haline gelir. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Orijini dengelemek bir işaret belirsizliği sorununu ortaya çıkarır. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 Radyal Fourier dönüşümü Mellin yansımasına dönüşür. . . . . . . . . . . .

. . . . . . . . . . . . . . . . . 21.4 Harmonik ölçüm keskin yarıçapı tanımlar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21.5 Alt sınır aynı zamanda pozitif ikili tanığa da sahiptir. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.6 İdeal yardımcı fonksiyon Gaussian'dan ortaya çıkar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.7 Uzak bir kabuk, eksik küresel sönümü geri yükler. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.8 Bir Fourier çifti her yarıçapta pozitiflik sağlar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51.9 Tam Öklid eşiği ve her iki belirsizlik işareti. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Klasik Sınırların Ötesinde İkili ve Küresel Kodlar 6 2.1 Aynı eksik serbestlik derecesine sahip iki problem. . . . . . . . . .