Új próbaüzem befűzi a tűt ragadós geometriai problémába | Quanta Magazin

1917-ben a japán matematikus, Sōichi Kakeya eleinte csak egy szórakoztató geometriai gyakorlatnak tűnt. Helyezzen egy végtelenül vékony, hüvelyk hosszú tűt egy sima felületre, majd forgassa el úgy, hogy minden irányba mutasson. Mi a legkisebb terület, amit a tű kisöpörhet?

Ha egyszerűen megforgatod a középpontja körül, egy kört kapsz. De a tűt ötletes módon mozgathatja, így sokkal kevesebb helyet szabadíthat meg. A matematikusok azóta feltették ennek a kérdésnek egy kapcsolódó változatát, amelyet Kakeya-sejtésnek neveznek. Megoldási kísérleteik során meglepő kapcsolatokat tártak fel a harmonikus elemzéssel, a számelmélettel, sőt a fizikával is.

"Valahogy a sok különböző irányba mutató vonalak geometriája mindenütt jelen van a matematika nagy részében" - mondta. Jonathan Hickman az Edinburghi Egyetemen.

De ez egy olyan dolog is, amit a matematikusok még mindig nem értenek teljesen. Az elmúlt néhány évben bebizonyították a Kakeya-sejtés változatait egyszerűbb beállításokban, de a kérdés megoldatlan marad a normál, háromdimenziós térben. Egy ideig úgy tűnt, mintha minden előrehaladás megtorpant a sejtés ezen verziójában, bár ennek számos matematikai következménye van.

Most két matematikus úgymond megmozdította a tűt. Új bizonyítékuk nagy akadályt üt le amely évtizedek óta fennáll – újra felkeltve a reményt, hogy végre a megoldás látható lehet.

Mi az a kis üzlet?

Kakeyát olyan halmazok érdekelték a síkban, amelyek minden irányban 1 hosszúságú szakaszt tartalmaznak. Sok példa van ilyen készletekre, a legegyszerűbb egy 1-es átmérőjű korong. Kakeya tudni akarta, hogyan nézne ki a legkisebb ilyen készlet.

Javasolt egy enyhén bemélyedt oldalakkal rendelkező háromszöget, amelyet deltoidnak neveznek, és amely a korong területének fele. Kiderült azonban, hogy lehet sokkal, de sokkal jobban is csinálni.

1919-ben, alig néhány évvel azután, hogy Kakeya felvetette a problémáját, Abram Besicovitch orosz matematikus megmutatta, hogy ha nagyon sajátos módon rendezi el a tűket, akkor egy tüskésnek tűnő halmazt készíthet, amelynek tetszőlegesen kicsi a területe. (Az első világháború és az orosz forradalom miatt eredménye évekig nem jutott el a matematikai világ többi részéhez.)

Ha látni szeretné, hogyan működik ez, vegyen egy háromszöget, és az alapja mentén vágja vékonyabb háromszög alakú darabokra. Ezután csúsztassa körbe ezeket a darabokat úgy, hogy a lehető legnagyobb mértékben átfedjék egymást, de kissé eltérő irányba nyúljanak ki. A folyamat újra és újra megismétlésével – a háromszög vékonyabb és vékonyabb töredékekre való felosztásával és a térben gondosan átrendezve – olyan kicsivé alakíthatja a készletet, amennyire csak szeretné. A végtelen határértékben olyan halmazt kaphatunk, amelynek matematikailag nincs területe, de paradox módon mégis képes bármilyen irányba mutató tűt befogadni.

"Ez egyfajta meglepő és ellentétes az intuitív" - mondta Ruixiang Zhang a Kaliforniai Egyetemen, Berkeleyben. – Ez egy nagyon kóros készlet.

Ez az eredmény általánosítható nagyobb dimenziókra: Lehetséges egy tetszőlegesen kis térfogatú halmaz összeállítása, amely egy egységnyi vonalszakaszt tartalmaz, amely minden irányba mutat n-dimenziós tér.

Besicovitch úgy tűnt, teljesen megválaszolta Kakeya kérdését. De évtizedekkel később a matematikusok elkezdtek dolgozni a probléma egy másik változatán, amelyben a területet (vagy nagyobb dimenziós esetben a térfogatot) a méret más fogalmával helyettesítették.

A kérdés újrafogalmazásának megértéséhez először vegyünk minden vonalszakaszt egy Kakeya készletben, és hizlaljuk fel egy kicsit – mintha egy valódi tűt használnánk, nem pedig egy idealizáltat. A síkban a készlet rendkívül vékony téglalapokból áll; a háromdimenziós térben rendkívül vékony csövek gyűjteménye lesz.

Ezeknek a hízott készleteknek mindig van némi területe (vagy térfogata, de most maradjunk a kétdimenziós esetnél). Ahogy módosítja a tű szélességét, ez a terület is megváltozik. Az 1970-es években Roy Davies matematikus (aki a múlt hónapban halt meg) kimutatta, hogy ha a teljes terület kis mértékben változik, akkor az egyes tűk szélessége drasztikusan megváltozik. Például, ha azt szeretné, hogy a Besicovitch-készlet hízott változatának területe 1/10 négyzethüvelyk legyen, minden tűnek körülbelül 0.000045 hüvelyk vastagságúnak kell lennie: e^-10 egy hüvelyk, hogy pontos legyek. De ha azt szeretné, hogy a teljes terület 1/100 négyzethüvelyk – 10-szer kisebb legyen – a tűnek e^-100 egy hüvelyk vastagságú. (Negyvenhárom nulla követi a tizedesvesszőt, mielőtt a többi számjegyhez érne.)

„Ha azt mondod, milyen kicsinek szeretnéd a területet, akkor egy hihetetlenül vékony tűt kell kérnem” – mondta. Charles Fefferman a Princetoni Egyetemen.

A matematikusok a Kakeya halmaz „méretét” a Minkowski-dimenziónak nevezett mennyiség segítségével mérik, amely egy közönséges dimenzióhoz kapcsolódik, de nem teljesen azonos azzal (amely a tér leírásához szükséges független irányok száma).

A Minkowski dimenzióról a következőképpen gondolhat: Fogja meg a készletet, és fedje le apró golyókkal, amelyek átmérője a kívánt egység egymilliomod része. Ha a készlet egy 1 hosszúságú vonalszakasz, akkor legalább 1 millió golyóra lesz szüksége, hogy lefedje. Ha a halmaz 1-es területű négyzet, sok-sok többre lesz szüksége: millió négyzetre vagy billióra. Egy 1. térfogatú gömb esetében ez körülbelül 1 millió köböl (egy kvintilló), és így tovább. A Minkowski-dimenzió ennek a kitevőnek az értéke. Azt méri, hogy milyen ütemben növekszik a készlethez szükséges golyók száma, ahogy az egyes golyók átmérője csökken. A vonalszakasz mérete 1, a négyzet mérete 2, a kockáé pedig 3.

Ismerősek ezek a méretek. De Minkowski definícióját használva lehetővé válik egy olyan halmaz megalkotása, amelynek dimenziója mondjuk 2.7. Bár egy ilyen készlet nem tölti ki a háromdimenziós teret, bizonyos értelemben „nagyobb”, mint egy kétdimenziós felület.

Ha adott átmérőjű golyókkal borít be egy készletet, akkor a készlet felhízott változatának térfogatát közelíti meg. Minél lassabban csökken a készlet térfogata a tű méretével, annál több golyót kell befednie. Ezért átírhatja Davies eredményét – amely azt állítja, hogy egy Kakeya halmaz területe a síkban lassan csökken –, hogy megmutassa, hogy a halmaz Minkowski-dimenziójának 2-esnek kell lennie. A Kakeya-sejtés ezt az állítást magasabb dimenziókra általánosítja: A Kakeya halmaznak kell lennie. mindig ugyanolyan méretűek legyenek, mint az általa lakott tér.

Ezt az egyszerű állítást meglepően nehéz volt bizonyítani.

A sejtések tornya

Amíg Fefferman elkészítette megdöbbentő felfedezés 1971-ben a sejtést érdekességnek tekintették.

Akkoriban egészen más problémán dolgozott. Meg akarta érteni a Fourier-transzformációt, egy olyan hatékony eszközt, amely lehetővé teszi a matematikusok számára, hogy függvényeket vizsgáljanak úgy, hogy azokat szinuszhullámok összegeként írják fel. Gondoljon egy hangjegyre, amely sok egymást átfedő frekvenciából áll. (Ezért a zongorán a középső C másképp hangzik, mint a hegedűn.) A Fourier-transzformáció lehetővé teszi a matematikusok számára, hogy kiszámítsák egy adott hangot alkotó frekvenciákat. Ugyanez az elv működik az olyan bonyolult hangok esetében is, mint az emberi beszéd.

A matematikusok azt is szeretnék tudni, hogy képesek-e újjáépíteni az eredeti függvényt, ha csak néhányat kapnak a végtelen sok összetevő frekvenciájából. Jól értik, hogyan kell ezt egy dimenzióban megtenni. De magasabb dimenziókban különböző döntéseket hozhatnak arról, hogy melyik frekvenciát használják, és melyiket hagyják figyelmen kívül. Fefferman kollégái meglepetésére bebizonyította, hogy előfordulhat, hogy nem sikerül újraépíteni a funkciót, ha a frekvenciaválasztás egy különösen jól ismert módjára hagyatkozik.

A bizonyítása egy függvény létrehozásán alapult Besicovitch Kakeya készletének módosításával. Ez később arra ösztönözte a matematikusokat, hogy a Fourier-transzformáció magasabb dimenziós viselkedésével kapcsolatos sejtések hierarchiáját dolgozzák ki. Ma a hierarchia még sejtéseket is tartalmaz a fizikában fontos parciális differenciálegyenletek viselkedéséről, mint például a Schrödinger-egyenlet. A hierarchiában minden sejtés automatikusan magában foglalja az alatta lévőt.

A Kakeya-sejtés ennek a toronynak a legalján fekszik. Ha hamis, akkor a hierarchiában magasabb állítások is. Másrészt annak bizonyítása nem jelentené azonnal a felette található sejtések igazságát, de eszközöket és betekintést nyújthat ezek megtámadására.

„Az a csodálatos a Kakeya-sejtésben, hogy ez nem csak szórakoztató probléma; ez egy igazi elméleti szűk keresztmetszet” – mondta Hickman. "A részleges differenciálegyenletekben és a Fourier-analízisben sok ilyen jelenséget nem értünk, mert nem értjük ezeket a Kakeya-halmazokat."

Terv kidolgozása

Fefferman bizonyítása – a későbbiekben felfedezett összefüggésekkel a számelmélettel, a kombinatorikával és más területekkel együtt – felkeltette az érdeklődést a Kakeya-probléma iránt a legjobb matematikusok körében.

1995-ben Thomas Wolff bebizonyította, hogy a 3D-s térben beállított Kakeya Minkowski-dimenziójának legalább 2.5-nek kell lennie. Ezt az alsó határt nehéznek bizonyult növelni. Aztán 1999-ben a matematikusok Nets Katz, Izabella Łaba és a Terence tao sikerült legyőzni. Új kötésük: 2.500000001. Annak ellenére, hogy milyen csekély volt a javulás, egy hatalmas elméleti akadályt sikerült legyőzni. A papírjuk az volt a A matematika évkönyvei, a terület legrangosabb folyóirata.

Katz és Tao később azt remélték, hogy a munkából származó ötleteket alkalmazzák a 3D Kakeya sejtés más módon történő megtámadására. Feltételezték, hogy minden ellenpéldának három sajátos tulajdonsággal kell rendelkeznie, és ezeknek a tulajdonságoknak az együttélése ellentmondáshoz kell, hogy vezessen. Ha ezt be tudják bizonyítani, az azt jelentené, hogy a Kakeya-sejtés három dimenzióban igaz.

Nem tudták végigmenni, de némi előrelépést sikerült elérniük. Különösen ők (más matematikusokkal együtt) kimutatták, hogy minden ellenpéldának a három tulajdonság közül kettővel kell rendelkeznie. Síknak kell lennie, ami azt jelenti, hogy amikor a szakaszok egy pontban metszik egymást, ezek a szakaszok is majdnem ugyanabban a síkban helyezkednek el. Ezenkívül „szemcsésnek” kell lennie, ami megköveteli, hogy a közeli metszéspontok síkjai hasonló tájolásúak legyenek.

Így maradt a harmadik ingatlan. Egy „ragadós” halmazban a közel azonos irányba mutató vonalszakaszoknak is közel kell elhelyezkedniük a térben. Katz és Tao nem tudta bebizonyítani, hogy minden ellenpélda ragadós. De intuitív módon egy ragadós halmaz tűnik a legjobb módszernek arra, hogy sok átfedést kényszerítsünk ki a vonalszakaszok között, ezáltal a halmaz a lehető legkisebb legyen – pontosan az, amire szüksége van egy ellenpélda létrehozásához. Ha valaki be tudná mutatni, hogy egy ragadós Kakeya halmaz Minkowski-dimenziója 3-nál kisebb, az megcáfolná a 3D Kakeya sejtést. „Úgy hangzik, hogy a „ragadós” eset lenne a legaggasztóbb” – mondta Larry Guth a Massachusetts Institute of Technology munkatársa.

Ez már nem aggodalomra ad okot.

A ragadós pont

2014-ben – több mint egy évtizeddel azután, hogy Katz és Tao megpróbálták bizonyítani a Kakeya-sejtést – Tao közzétette megközelítésük vázlatát blogján, lehetőséget adva más matematikusoknak, hogy maguk is kipróbálják.

A 2021, Hong Wang, matematikus a New York Egyetemen, és Joshua Zahl A British Columbia Egyetem munkatársa úgy döntött, hogy ott folytatja, ahol Tao és Katz abbahagyta.

Egy 3-nál kisebb Minkowski-dimenziójú ragadós ellenpélda létezésének feltételezésével kezdték. Korábbi munkájukból tudták, hogy egy ilyen ellenpéldának síknak és szemcsésnek kell lennie. „Tehát egy olyan világban éltünk, amelyre Terry Tao és Nets Katz gondolt” – mondta Zahl. Most meg kellett mutatniuk, hogy a lapos, szemcsés és ragadós tulajdonságok kijátszották egymást, és ellentmondáshoz vezettek, ami azt jelentené, hogy ez az ellenpélda valójában nem létezhet.

Ennek az ellentmondásnak a feltárása érdekében azonban Wang és Zahl olyan irányba fordította figyelmüket, amelyre Katz és Tao nem számított – a vetületi elméletnek nevezett terület felé.

Azzal kezdték, hogy részletesebben elemezték ragadós ellenpéldájuk szerkezetét. Ha figyelembe vesszük a halmaz idealizált változatát, akkor végtelen számú vonalszakasszal rendelkezik, amelyek minden irányba mutatnak. De ebben a problémában ne feledje, hogy ezeknek a vonalszakaszoknak a felhízott változataival van dolgunk – egy csomó tűvel. Ezen tűk mindegyike tartalmazhat sok idealizált vonalszakaszt, ami azt jelenti, hogy a teljes végtelen halmazt véges számú tűvel kódolhatja. A tűk vastagságától függően a hízott készlet nagyon eltérően nézhet ki.

Ha a készlet ragacsos, többé-kevésbé ugyanúgy fog kinézni, bármilyen vastagok is a tűk.

Wang és Zahl ezzel a tulajdonsággal mutatta be, hogy a tűk vékonyodásával a készlet egyre laposabbá válik. Ezzel a folyamattal „egy még patológiásabb tárgyat tudtak kivonni” – mondta Zahl – aminek úgy tűnt, lehetetlen tulajdonságai vannak.

Ezt mutatták meg legközelebb. Bebizonyították, hogy ennek a kóros tárgynak kétféleképpen kell kinéznie, mindkettő ellentmondásokhoz vezetett. Vagy le tudja vetíteni a 2D térbe oly módon, hogy az sok irányban sokkal kisebb legyen – amit Wang és kollégái éppen lehetetlennek bizonyult. Vagy a második esetben a készletben lévő tűk egy nagyon specifikus funkció szerint vannak elrendezve, amit Zahl és munkatársai nemrégiben bebizonyítottak. nem létezhetett, mert másfajta előrejelzésekhez vezetne, amelyeknek nincs értelme.

Wangnak és Zahlnak most volt ellentmondása – ami azt jelenti, hogy nincsenek ragadós ellenpéldák a Kakeya-sejtésre. (Ezt nemcsak a Minkowski-dimenzióra mutatták ki, hanem egy kapcsolódó, Hausdorff-dimenziónak nevezett mennyiségre is.) „Az eredmény kizárja az ellenpéldák egész osztályát” – mondta Zahl – a matematikusok azt a halmaztípust tartották a legvalószínűbbnek, amely megcáfolja. a sejtés.

Az új munka „erősen alátámasztja a Kakeya-sejtés igazát” – mondta Pablo Shmerkin a British Columbia Egyetemen. Bár csak a háromdimenziós esetekre vonatkozik, egyes technikái hasznosak lehetnek magasabb dimenziókban. Miután éveket töltöttek azzal, hogy más számrendszerekben előrehaladjanak a sejtéseken, a matematikusokat izgatja ez a visszatérés a probléma eredeti valós számtartományához.

„Figyelemre méltó, hogy teljesen megoldották ezt az ügyet” – mondta Zhang. – A valós környezetben ez rendkívül ritka. És ha valaki be tudja bizonyítani, hogy az ellenpéldának ragadósnak kell lennie, az új eredmény a teljes sejtést fogja magában foglalni három dimenzióban. A föléje felépített sejtések hierarchiája ekkor biztonságos marad, alapja stabil.

„Valahogy ez a két különböző probléma a projekcióelméletben, amelyeknek látszólag nincs sok köze egymáshoz, egészen szépen illeszkedik egymáshoz, hogy pontosan azt adják, amire Kakeyának szüksége volt” – mondta Zahl.