Ondřej Matyšek se ve své práci pod vedením Mgr. Dominika Becka, Ph.D., zabýval tzv. routovými obloženími (lozenge tilings), která propojují zdánlivě nesouvisející oblasti matematiky, například dláždění plochy kosočtverci a stavění věží z kostek dětské stavebnice.

Podstatou routových obložení je dláždění určitého tvaru, tzv. domény, jednoduchými geometrickými útvary – routami. Routu tvoří kosočtverec složený ze dvou rovnostranných trojúhelníků. Při správném obložení mezi jednotlivými routami nezůstávají žádné mezery. Jednou ze základních otázek, kterými se Ondřej zabýval, je, zda a případně kolika různými způsoby lze danou doménu routami obložit.

Velmi zajímavým jevem jsou tzv. limitní tvary. Pokud jsou velké domény obkládány náhodně, jednotlivé routy se v malém měřítku jeví jako chaoticky rozmístěné. Při pohledu na celou doménu se však začnou objevovat pravidelnosti, které lze matematicky předvídat. Plocha domény se typicky rozdělí na dvě oblasti: na chaotickou, neboli tekutou oblast, a na okrajovou uspořádanou, zamrzlou oblast. Hranice mezi těmito oblastmi se nazývá arktická křivka a představuje důležitou součást výsledného limitního tvaru.

Limitní chování routových obložení souvisí s obecnějším principem zákona velkých čísel. Podobný jev lze pozorovat například u nafouknutého balónku. Jednotlivé srážky molekul vzduchu s balónkem jsou na mikroskopické úrovni nepředvídatelné, ale jejich obrovské množství vede v makroskopickém měřítku k pravidelnému a předvídatelnému chování.

Přestože lze limitní tvary routových obložení do určité míry popsat analyticky pomocí matematických rovnic, tento přístup není univerzální. Ondřej proto využil numerické metody, tedy počítačové simulace. Jejich zásadní součástí je získávání náhodných vzorků z množiny všech možných obložení. Tento úkol je však výpočetně velmi náročný, protože počet možných obložení může být enormní – u velkých domén dokonce mnohonásobně převyšuje počet částic v pozorovatelném vesmíru. Není proto možné všechna obložení přímo vyjmenovat a následně z nich náhodně vybírat.

Ondřej Matyšek proto vytvořil nový vzorkovací algoritmus, který k problému přistupuje efektivnějším způsobem a umožňuje získat náhodný vzorek obložení v prakticky dosažitelném čase. Optimalizovaný algoritmus následně implementoval do uceleného programu, v němž může uživatel nakreslit libovolnou doménu a získat náhodný vzorek z jejích možných routových obložení.

Tento algoritmus se stal základem jeho numerické metody pro studium limitních tvarů. Z dostatečně velkého množství náhodných vzorků lze sledovat chování obložení v makroskopickém měřítku a velmi přesně odhadnout, kde se nacházejí tekuté a kde zamrzlé oblasti. Tím lze následně určit také arktickou křivku, která tyto oblasti odděluje.

Problematika routových obložení je zajímavá také tím, že propojuje několik zdánlivě vzdálených oblastí matematiky. Při jejich studiu se uplatňují například teorie grafů, parciální diferenciální rovnice nebo teorie informace. Vedle matematické stránky má však problematika i výrazný vizuální rozměr. Výsledná obložení vytvářejí působivé struktury, v nichž se náhodnost jednotlivých prvků spojuje s překvapivým řádem celku.

Práce Ondřeje tak ukazuje, že routová obložení mohou být nejen hlubokým matematickým problémem, ale také atraktivním spojením matematiky, počítačových simulací a vizuálního umění. Díky tomu mohou být zajímavá jak pro odborníky zabývající se moderní matematikou, tak pro širší veřejnost.