Kahn-Kalais gissningar
Kahn –Kalai-förmodan , även känd som förväntningströskelförmodan , är en gissning inom området grafteori och statistisk mekanik , föreslagen av Jeff Kahn och Gil Kalai 2006.
Bakgrund
Denna gissning gäller det allmänna problemet med att uppskatta när fasövergångar inträffar i system. Till exempel, i ett slumpmässigt nätverk med -noder, där varje kant ingår med sannolikheten , är det osannolikt att grafen innehåller en Hamiltonsk cykel om är mindre än ett tröskelvärde men mycket troligt om överskrider det tröskelvärdet.
Tröskelvärden är ofta svåra att beräkna, men en nedre gräns för tröskeln, "förväntningströskeln", är i allmänhet lättare att beräkna. Kahn–Kalais gissning är att de två värdena i allmänhet ligger nära varandra på ett exakt definierat sätt, nämligen att det finns en universell konstant för vilken förhållandet mellan de två är mindre än där är storleken på det största minimala elementet i en växande familj av delmängder av en effektmängd.
Bevis
År 2022 släppte Jinyoung Park och Huy Tuan Pham ett förtryck som innehöll ett föreslaget bevis på gissningarna. Beviset har prisats för sin elegans och koncisthet.
Se även