17-åriga Hannah Cairo konstruerade ett motexempel till Mizohata-Takeuchi-förmodan inom harmonisk analys.
I februari 2025 publicerade en 17-årig amerikansk matematiker ett preprint på arXiv som fick hela det matematiska samfundet att häpna. Hannah Mira Cairo hade inte bara löst ett problem – hon hade motbevisat en förmodan som stått sig i över 40 år. Hennes arbete inom harmonisk analys och Fourier-restrictionsteori visar hur ett friskt, nytt perspektiv kan vända upp och ner på långvariga antaganden.
Vad handlar Mizohata-Takeuchi-förmodan om?
Harmonisk analys är den gren av matematiken som handlar om att bryta ner komplicerade funktioner och signaler i enklare vågkomponenter – ungefär som när en prisma delar upp vitt ljus i färger. Fourier-analys är kärnan: den beskriver hur nästan vilken funktion som helst kan byggas upp av sinus- och cosinusvågor.
Inom Fourier restriction- och extension-teori studerar man hur information på en yta (en så kallad hypersurface, t.ex. en krökt yta i högre dimensioner) kan “utsträckas” till hela rummet via vågor. Det låter abstrakt, men har djupa kopplingar till fysik – särskilt till dispersiva partiella differentialekvationer (PDE) som beskriver vågutbredning, kvantmekanik och vätskedynamik.
Mizohata-Takeuchi-förmodan, formulerad på 1980-talet av Jiro Takeuchi och andra, föreslog en specifik viktad L²-olikhet för Fourier-extension-operatorn. Den hävdade att normen av den utsträckta funktionen i hela rummet kunde boundas av normen på ytan, med en vikt som bara beror på supremum i vissa “tub”-områden. Förmodan uppstod i studier av välställdhet för perturbade Schrödinger-ekvationer och liknande problem – det vill säga: när har en vågekvation en unik lösning som beror kontinuerligt på startdata?
I decennier trodde många att förmodan var sann. Den verkade rimlig och skulle ha gett kraftfulla verktyg för att analysera vågor på krökta ytor.
Hannah Cairos väg till genombrottet
Hannah Cairo, född 2007, visade tidigt en exceptionell talang för matematik. Hon tog universitetskurser på UC Berkeley redan som high school-elev och fastnade för harmonisk analys under handledning av professor Ruixiang Zhang.
Zhang gav en förenklad version av Mizohata-Takeuchi-förmodan som frivillig hemuppgift. Cairo löste uppgiften snabbt – men kunde inte släppa problemet. Hon försökte först bevisa förmodan, som många före henne. Månader av arbete ledde dock till en vändpunkt: istället för att bevisa den, började hon misstänka att den kanske inte alltid stämmer.
Hon konstruerade ett motexempel – en specifik funktion och hypersurface där olikheten inte håller som förmodan påstod. Hennes konstruktion använder bland annat fraktaler och andra avancerade verktyg. Ursprungligen var motexemplet komplext, men genom att omformulera problemet i frekvensrum (Fourier-sidan) hittade hon en enklare version.
Resultatet publicerades som preprintet “A Counterexample to the Mizohata–Takeuchi Conjecture” den 10 februari 2025 (arXiv:2502.06137). Det visar bland annat att multilinjära restriction-estimat vid ändpunkten inte kan skärpas direkt med hjälp av förmodan, och att det finns en log R-förlust i vissa fall.
Reaktioner och betydelse
Matematikvärlden reagerade med en blandning av chock, beundran och entusiasm. Att en 17-åring – fortfarande high school-elev – kunde motbevisa en förmodan som experter brottats med i 40 år är ovanligt. Cairo presenterade sitt arbete på Online Analysis Research Seminar (OARS) och senare på den prestigefyllda 12th International Congress on Harmonic Analysis and Partial Differential Equations i El Escorial, Spanien.
Betydelsen är både teknisk och symbolisk:
• Tekniskt: Motexemplet tvingar forskare att ompröva antaganden inom Fourier restriction theory. Det påverkar hur vi förstår välställdhet för dispersiva PDE:er och kan leda till nya, mer precisa uppskattningar. Det öppnar också dörrar för vidare forskning inom incidensgeometri och additiv kombinatorik – områden Hannah själv är intresserad av.
• Symboliskt: Det är ett starkt exempel på hur matematikens framsteg ofta sker genom motexempel. En förmodan är en gissning som verkar sann – tills någon hittar ett fall där den faller. Cairos arbete visar att envishet, kreativitet och ett nytt perspektiv kan räcka långt, även utan decennier av erfarenhet.
Vad händer nu med Hannah Cairo?
Efter genombrottet har hon fått stor uppmärksamhet: hon är Davidson Fellow 2025 och har synts i Quanta Magazine, Scientific American och internationella medier. Hennes Wikipedia-sida finns redan.
Hösten 2025 började hon doktorandstudier vid University of Maryland, där hon hoppar över både kandidat- och masterexamen. Hon fokuserar på Fourier restriction theory under koppling till sin tidigare handledare. Målet är att fortsätta utforska gränserna för vågor och ytor – och kanske lösa nya problem.
Ett bredare perspektiv: Matematik, talang och tidens anda
Hannah Cairos historia väcker flera frågor. Hur upptäcker vi och stödjer unga talanger utanför traditionella vägar? Hennes bakgrund – med inslag av självlärande, piano-spelande och en hunger efter kunskap – påminner om att matematik inte bara är för “genier” i elfenbenstorn, utan för nyfikna människor som vägrar ge upp.
I en tid då AI alltmer används som verktyg i matematik (för att formalisera bevis eller generera idéer) visar Cairo att mänsklig kreativitet och intuition fortfarande är oersättliga. Hennes motexempel är inte något en AI slumpmässigt hittade – det är resultatet av månader av djup eftertanke och omformulering av problemet.
Samtidigt påminner historien om matematikens natur: den är aldrig “färdig”. Varje löst problem eller motbevisad förmodan öppnar nya frågor. Mizohata-Takeuchi-förmodan kanske inte höll, men dess fall ger oss bättre verktyg att förstå vågor i högre dimensioner – med potentiella implikationer för fysik, teknik och till och med signalbehandling i vardagen.
Hannah Cairo är bara i början av sin karriär. Med sin passion, skärpa och mod att ifrågasätta det vedertagna har hon redan lämnat ett avtryck. Hennes resa inspirerar inte bara blivande matematiker utan alla som tror på kraften i nyfikenhet och uthållighet.
Källor och vidare läsning
• Cairo, H. (2025). A Counterexample to the Mizohata–Takeuchi Conjecture. arXiv:2502.06137
• Quanta Magazine: “At 17, Hannah Cairo Solved a Major Math Mystery” (augusti 2025)
• Scientific American och Wikipedia-artiklar om Hannah Cairo och Mizohata–Takeuchi conjecture
• Hennes egen webbplats och presentationer
HAG
