Ung koreansk matematiker knäcker ett av århundradets svåraste problem

Hur ett ”soffproblem” blev en matematisk legend

Ända sedan 1960-talet har matematiker brottats med ett problem som i princip vilket barn som helst förstår: Hur skjuter man en soffa genom en L-formad korridor utan att lyfta eller böja den? Nu levererar en 31-årig sydkorean ett svar som inte bara knäcker gåtan, utan också bekräftar kraften i rent, abstrakt tänkande.

Berättelsen börjar 1966 med den österrikisk-kanadensiske matematikern Leo Moser. Han formulerar en fråga som verkar nästan trivial: Föreställ dig en korridor formad som ett L, där båda grenarna är exakt en meter breda. Hur stor får en stel, platt yta maximalt vara för att kunna manövreras genom denna krökning utan att lämna golvet eller deformeras?

Scenariot vandrade snabbt in i läroböcker och föreläsningar. Det fick namnet ”det rörliga soffproblemet”. Namnet låter lekfullt, innehållet är nådelöst — bakom den oskyldiga formuleringen döljer sig ett ytterst komplext geometriskt optimeringsproblem.

De tidiga försöken och den onåbara lösningen

Redan i slutet av 1960-talet kastade sig de första stora namnen inom matematiken över problemet. År 1968 föreslog John Hammersley en form som tar en yta på cirka 2,2074 kvadratmeter genom korridoren. År 1992 gick Joseph Gerver ett steg längre och konstruerade en extremt invecklad figur med flera kurvade avsnitt som nådde upp till omkring 2,2195 kvadratmeter.

Gervers förslag betraktades snabbt som den inofficiella favoriten. Många antog: Man kan inte göra den större. Men ingen kunde bevisa det. Och så länge beviset saknades, kvarstod en rest av osäkerhet — kanske existerade det en något bättre form, gömd i ett hav av möjligheter.

I årtionden förblev simuleringar och förfinade approximationer de enda tillgängliga verktygen — det slutgiltiga svaret var trots detta fortfarande utom räckhåll.

Varför denna gåta förblev så envis

På papperet ser soffproblemet enkelt ut. I praktiken exploderar antalet frihetsgrader. Formen kan vara böjd, asymmetrisk, taggig eller slät. Den kan rotera och förskjutas medan den glider genom korridoren. Varje tänkbar position skapar nya randvillkor.

Många forskare satsade därför på datorer. Med numeriska metoder testade de stora familjer av former, optimerade steg för steg, förbättrade konstanter och hittade nya övre och nedre gränser. Resultaten verkade plausibla, men inte definitiva. En algoritm kan säga: ”Jag har inte hittat något bättre.” Den kan inte garantera: ”Det existerar inget bättre.”

Precis här har det gapat ett hål i årtionden. Forskningsmiljön kände till kandidater, men ingen definitiv vinnare. Soffan förblev en myt.

Militärtjänst, en korridor och en fix idé

Vändpunkten kom på ett oväntat ställe: under militärtjänsten. Baek Jin-eon, då en ung matematiker i Sydkorea, arbetade på National Institute for Mathematical Sciences när han första gången stötte på soffproblemet.

Det som grep honom var inte så mycket den tekniska svårigheten som kaoset kring det. Det fanns många delresultat, många bilder, många simuleringar — men ingen klar teoretisk ram. Problemet liknade en svärm av idéer utan ett gemensamt fundament.

Precis detta tomrum blev drivkraften för Baek. Han började systematiskt dissekera gåtan — först under sin militärtjänst, sedan under sin doktorandutbildning vid University of Michigan och slutligen vid June E. Huh Center for Mathematical Challenges på Korea Institute for Advanced Study.

I sju år arbetade Baek med frågan om huruvida Gervers form verkligen är den största möjliga ”soffan” — endast med papper, penna och logik.

Ett 119-sidigt bevis utan en enda algoritm

I slutet av 2024 lade Baek upp sitt arbete på fackvettenskapsplattformen arXiv. Manuskriptet fyller 119 sidor. Ingen kod, ingen Monte Carlo-simulering, inget geometriprogram. Bara bevis, lemman och satser, omsorgsfullt sammankedjade.

Hans slutsats: Den form som Joseph Gerver föreslog är faktiskt optimal. Det existerar ingen stel, tvådimensionell yta med större area som kan passera genom L-korridoren med en meters bredd. Varje yta som var större skulle kila fast sig på åtminstone ett ställe.

Baek nådde detta resultat genom att fullständigt omformulera soffproblemet. Han omvandlade den intuitiva problemställningen till ett precist optimeringsproblem med tydliga variabler och entydiga bivillkor. Av en populär gåta blev ett stringent system av olikheter och funktionsrum.

Ett centralt element i hans strategi: Han beskrev inte bara möjliga soffor, utan också alla tänkbara rörelsebanor genom korridoren. Därigenom begränsade han geometrin för de tillåtna formerna drastiskt och kunde till slut visa att varje giltig maximallösning nödvändigtvis överensstämmer med Gervers konstruktion.

Vad som skiljer Baeks tillvägagångssätt från tidigare försök

• Han arbetar fullständigt utan numeriska approximationer.
• Han ger problemet en strikt, abstrakt ram från optimeringsteori.
• Han bevisar inte bara att Gervers soffa är bra — utan att det inte existerar något bättre.
• Han visar hur komplexa rörelser kan översättas till fasta matematiska strukturer.

Singaporeanska Straits Times och koreanska medier lyfter fram arbetet som ett brott med det dominerande, datorbaserade angreppssättet från de senaste årtiondena. Den ansedda facktidskriften Annals of Mathematics granskar för närvarande manuskriptet — ett steg som endast mycket få arbeten överhuvudtaget når till.

Vad denna lösning avslöjar om mänsklig tankeförmåga

För Baek är lösningen inte ett monument över en soffa, utan över ett visst sätt att bedriva matematik. I intervjuer beskriver han processen som en ständig växling mellan hopp och frustration: Man tror att man har hittat rätt väg, stöter på en motsägelse, kasserar månaders arbete och börjar om från början.

Han talar om ”drömmar och uppvaknanden” och om perioder där problemet biter sig fast i tankarna. Till slut ser han sitt arbete mer som en utgångspunkt än en slutpunkt — ett ”planterat frö” som ska dra med sig nya frågor.

Sofflösningen visar att rent, abstrakt tänkande kan klara sig självt där datorer för länge sedan har blivit standarden.

Samtidigt representerar Baek en generation sydkoreanska forskare som i allt högre grad gör sig gällande inom internationell matematik. Center som Korea Institute for Advanced Study utvecklas till knutpunkter för högt specialiserad geometri och optimeringsteori.

Vad icke-matematiker kan ta med sig från soffproblemet

Även den som aldrig har övervägt matematikstudierna kan lära sig något av detta fall. Många vardagssituationer liknar soffproblemet på överraskande vis: möbeltransport i trånga äldre byggnader, robotar som rör sig genom lagerlokaler, eller autonoma truckar i labyrintiska fabrikshallar.

I alla dessa scenarion handlar det om samma grundläggande fråga: Vilken form och vilken rörelse passar bäst till ett visst utrymme? Precis här levererar sådana teoretiska arbeten idéer som kan inspirera framtida ingenjörslösningar — exempelvis formen på transportplattformar eller algoritmer för kollisionsundvikande.

Varför en gammal soffa öppnar för nya forskningsfrågor

Lösningen besvarar den klassiska frågan om den maximala soffan i L-korridoren. Men den väcker samtidigt en hel rad nya problem. Vad händer om korridoren är bredare eller smalare? Hur ser den optimala formen ut om korridoren bildar en S-kurva, eller om dess bredd varierar? Vilken roll spelar friktion om man tänker mer realistiskt?

Dimensionen kan också varieras. I tre dimensioner liknar soffan mer en massiv kropp än en yta. Här är det den maximala kombinationen av längd, bredd och höjd som kan pressas genom en vinklad tunnel som är intressant. Sådana frågor berör bland annat robotteknik, logistik och byggnadsplanering.

Scenarier med osäkerhet är också fascinerande: En robot kanske inte känner till den exakta planlösningen, utan bara en ungefärlig karta. Den behöver därför strategier som fungerar förnuftigt för många möjliga korridorarrangemang. Det knyter direkt an till optimering under risk och till inlärningsmetoder inom artificiell intelligens.

Hur abstrakta gåtor kan påverka våra teknologier

Vid första anblicken liknar soffproblemet ett lyxobjekt för teorin. Men många teknologier drar nytta av att forskare tänker igenom sådana ”onyttiga” frågor konsekvent. Navigering av drönare genom stadsklyftor, planering av operationsrobotar i trånga kroppsregioner, plockrobotar i snabbköp — överallt ska former manövreras säkert och effektivt genom begränsade utrymmen.

Den som arbetar med dessa system behöver tillförlitliga övre gränser: Hur stor får enheten maximalt vara? Hur smala får korridorer planeras utan att riskera framtida blockeringar? Precis sådana överväganden flödar från soffforskningen in i praktiken, om än oftast indirekt.

Fallet Baek Jin-eon visar hur kraftfullt tålmodig, abstrakt analys och teknisk utveckling ömsesidigt berikar varandra. En till synes excentrisk gåta från 1960-talet levererar årtionden senare en mall för hur man kan tänka igenom ytterst komplexa rörelseproblem fullständigt — utan en enda rad kod.