GPT-5.6 Sol Ultra, Cycle Double Cover Conjecture'un kanıtını üretiyor [pdf]

DÖNGÜSÜNÜN BİR KANITI ÇİFT KAPAKLI VARSAYIM AÇIKLAMASI Özet. Tutte, Itai ve Rodeh, Szekeres ve Seymour tarafından ortaya atılan ve her köprüsüz yönsüz grafiğin, her kenarı tam olarak iki kez kapsayan bir döngüler koleksiyonuna sahip olduğunu ileri süren döngü çift örtü varsayımını kanıtlıyoruz. 1. Giriş Bir grafiğin döngüsel çift örtüsü, her kenarın tam olarak iki kez meydana geldiği bir döngüler çoklu kümesidir. Bu varsayım Tutte [10], Itai ve Rodeh [2], Szekeres [8] ve Seymour [6] tarafından ortaya atılmıştır. Daha fazla bilgi için Jaeger'in araştırmasına [3] bakınız. Teorem 1.1. Her sonlu köprüsüz yönsüz grafiğin bir döngü çift kapağı vardır. Kısmi sonuçlar arasında, Jaeger bu varsayımın bloklarının yüz sınır döngülerini alarak düzlemsel grafikler için geçerli olduğunu gözlemledi [3, Bölüm 2.1 ve 3.1], Szekeres renk sınıflarının çiftlerinin üç birleşimini alarak 3 kenarlı renklendirilebilir kübik grafikler için geçerli olduğunu gözlemledi [8, s. 367] ve Alspach, Goddyn ve Zhang bunu Petersen alt bölümü olmayan köprüsüz graflar için kanıtladılar [1]. Kanıt, ilk önce kübik grafikleri dikkate almanın (standart olduğu gibi) yeterli olduğunu kullanarak ilerler. Daha sonra, 8-akış teoremini ve Tutte'nin sonucunu kullanarak, her köşedeki toplamın sıfır olacağı şekilde kenarların sıfır olmayan Γ = F32 elemanlarıyla etiketlenmesini elde ederiz. Daha sonra anahtar indirgeme, bu etiketlemeyi, Γ'nin her bir öğesinin belirli bir tepe noktasının yanında sıfır veya iki kez görüneceği şekilde, Γ'deki iki öğe kümesiyle kenarların etiketlenmesine dönüştürmektir.

Bu indirgeme sonuçta temel doğrusal cebir argümanına indirgenir. Yapay zeka kullanımı beyanı. Bu nottaki kanıt tamamen GPT 5.6 Sol Ultra ve Codex (GPT 5.6 Sol ile) ile yazılan yazıdan kaynaklanmaktadır. 2. Varsayımın kanıtı Paralel kenarlara izin veriyoruz ve iki paralel kenarı bir döngü olarak görüyoruz. Jaeger'e göre [ 3, Öneri 4] döngüsüz kübik grafikleri ele almak yeterlidir. Aslında Jaeger, minimum bir karşı örneğin 3 kenarlı renklendirilebilir olmaması gerektiğini, yani bir keskinlik olması gerektiğini gözlemledi ve aşağıda bu gözleme geri döneceğiz. Grafiğin yönünü düzeltin. A bir değişmeli grup ise, bir A akışı bir f : E(G) → A haritasıdır; bunun için her köşe noktasında, dışarı doğru yönlendirilen kenarların toplamı içeri doğru yönlendirilen kenarların toplamına eşittir. Her kenar için f (e)̸ = 0 ise hiçbir yerde sıfır değildir. Bir k ≥ 2 tam sayısı için, bir tamsayı k akışı, 0 < |ϕ(e)|'yi sağlayan tamsayı değerli bir akıştır ϕ < k her kenarda. Toplamsal olarak yazılan Γ = F32 olsun.