|
|
Konstrukce MDS matic
Belza, Lukáš ; Žemlička, Jan (vedoucí práce) ; Šťovíček, Jan (oponent)
Tato práce se zaměřuje na takzvané Maximum Distance Separable (zkrá- ceně MDS) matice nad konečnými tělesy, především pak na cirkulantní MDS matice. Na začátku jsou představeny koncepty související s MDS kódy a jejich charakterizací. Poté následuje úvod do cirkulantních matic a jejich vztah k faktorovým algebrám polynomů. Druhá část se zaměřuje především na cirkulantní MDS matice. Vychází z konstrukce MDS matic tvaru 3 × 3 a 4 × 4 a poté pokračuje obecnou konstrukcí MDS matic z Van- dermondových matic. Nakonec uvádí určitá omezení týkající se existence ortogonálních cirkulantních MDS matic, konkrétně že neexistují žádné takové matice tvaru 2d × 2d nad žádným konečným tělesem charakteristiky dva. 1
|
|
|
Komplexní algebraické křivky
Zvěřina, Adam ; Šťovíček, Jan (vedoucí práce) ; Kazda, Alexandr (oponent)
Práce popisuje vztah mezi algebraickými křivkami a Riemannovými plochami. Za- vedeme Weierstrassovu ℘-funkci a dokážeme některé její vlastnosti. Dále nahlédneme, že každou komplexní algebraickou křivku lze chápat jako Riemannovu plochu. Nakonec ukážeme, že eliptickou křivku lze parametrizovat pomocí Weierstrassovy ℘-funkce. 1
|
|
|
Aplikace Groebnerových bází
Skalová, Marie ; Příhoda, Pavel (vedoucí práce) ; Šťovíček, Jan (oponent)
Groebnerovy báze lze využít jako nástroj algebraické geometrie s aplikací v dokazo- vání geometrických tvrzení. V této práci představujeme metodu automatického dokazo- vání geometrických tvrzení ve dvou variantách, nejprve podle učebnice D. Cox, J. Little, D. O'Shea Ideals, varieties, and algorithms. An introduction to computational algebraic geometry and commutative algebra, následně podle učebnice D. Stanovský, L. Barto, Počítačová algebra. Nejprve zde shrneme potřebnou teorii k odvození metody automa- tického dokazování. Dále teorii potřebnou k definici Groebnerovy báze a k vyslovení vět popisující její základní vlastnosti. Součástí práce jsou řešené příklady, na kterých jednot- livé kroky metody motivujeme, a také řešené příklady z již zmíněné učebnice autorů D. Cox, J. Little, D. O'Shea, některé z nich oběma variantami. V druhé kapitole se nachází vlastní důkaz rozkladu konkrétní algebraické množiny. 1
|
|
|
Základy perzistentní homologie
Novák, Jakub ; Šťovíček, Jan (vedoucí práce) ; Hrbek, Michal (oponent)
V této práci seznámíme čtenáře s teorií perzistentní homologie a na- značíme její aplikace. V první kapitole ukážeme základy simpliciální a singulární homologie a dokážeme základní vztahy, zejména nezávislost simpliciálních ho- mologických grup na zvoleném △-komplexu a izomorfismus mezi homologickými grupami homotopických prostorů. V druhé kapitole vysvětlíme motivaci za perzis- tentní homologií, popíšeme její algebraickou strukturu a způsob, jak lze vizuálně reprezentovat. Popíšeme a dokážeme správnost algoritmu na její výpočet. Teorii poté ilustrujeme na příkladu. 1
|
|
|
Modules over string algebras
Löwit, Jakub ; Šťovíček, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
Cı́lem této práce je prozkoumat kategorie modulůnad takzvanými řetězcovými algebrami. Přitom se předevšı́m budeme soustředit na porozuměnı́ kotorznı́m párům v těchto kategoriı́ch, jejichž pochopenı́ se redukuje na určenı́ direktnı́ch rozkladů extenzı́ mezi moduly nad danou algebrou. V přı́padě těch řetězcových algeber, jejichž toulec je pouze orientovaný strom, se nám skutečně povede popsat jisté třı́dy dané těmito kotorznı́mi páry, a to pouze pomocı́čistě kombinatorických uzávěrových vlastnostı́. Pro obecné řetězcové algebry se odpovı́dajı́cı́ kombina- torika zdá být poměrně podobná, ačkoli mnohem techničtějšı́.
|
|
|
Counting the points on elliptic curves over finite fields
Eržiak, Igor ; Šťovíček, Jan (vedoucí práce) ; Stanovský, David (oponent)
Cieľom tejto práce je vysvetliť a naimplementovať Schoofov algoritmus na počítanie bodov na eliptických krivkách nad konečnými telesami. Začneme definíciou eliptickej krivky ako množiny bodov spĺňajúcich istú rovnicu a pokračujeme definovaním operácie na tejto množine. Teoretické poznatky potrebné k algoritmu sú predstavené v druhej kapitole. Napokon je prestavený Schoofov algoritmus v tretej kapitole, doplnený o implementáciu v SageMath open-source software.
|
|
|
Eliptické křivky nad konečnými tělesy
Beran, Adam ; Šťovíček, Jan (vedoucí práce) ; Žemlička, Jan (oponent)
V této práci se zabýváme teorií eliptických křivek, zvláštní pozornost věnujeme eliptickým křivkám nad konečnými tělesy. Představíme základní teorii, zohled- níme přitom několik technických aspektů (singularita křivky, vliv charakteristiky tělesa na rovnici křivky). Algebraicky odvodíme a zformulujeme grupový zákon neboli definici operace sčítání na množině bodů na eliptické křivce. Dále zpracu- jeme důkaz známého faktu, že množina bodů na eliptické křivce spolu s operací sčítání tvoří komutativní grupu. K důkazu přistoupíme elementárně, některé vý- počty z důvodu jejich náročnosti provedeme v počítačovém programu Mathema- tica. Nakonec studujeme endomorfismy eliptických křivek nad konečnými tělesy (homomorfismy na množině bodů eliptické křivky, jež jsou zadané racionálními funkcemi). Pomocí získaných výsledků dokážeme Hasseho větu, která poskytuje odhad na řád grupy bodů na eliptické křivce nad konečným tělesem. 1
|
|
|
Quotients in algebraic geometry
Kopřiva, Jakub ; Šťovíček, Jan (vedoucí práce) ; Příhoda, Pavel (oponent)
Tato diplomová práce se zabývá existencí pushoutů ve dvou různých kontextech algebraické geometrie. Nejprve studujeme pushouty v kategorii afinních algebraických množin nad nekonečným tělesem. Ukazujeme, že lze tento problém nazírat jako instanci mnohem obecnějšího problému, kdy je pullback konečně generovaných algeber nad komutativním noetherovským okruhem konečně generovaný. Dáváme částečné řešení toho problému a stu- dujeme některé příklady. Dále se zabýváme existencí pushoutů v katego- rii schémat s důrazem na diagramy afinních schémat. Používáme metody Ferranda [2003] a Schwedeho [2004] a zobecňujeme některé jejich výsledky. Na závěr uvádíme rovněž příklady a naznačujeme možný další přístup k prob- lému.
|
|
|
Jonesův polynom
Gajdová, Anna ; Stanovský, David (vedoucí práce) ; Šťovíček, Jan (oponent)
Tématem této práce je Jonesův polynom daného uzlu a jeho výpočet. Nej- prve definujeme Jonesův polynom dvěma způsoby: pomocí skein vztahů a po- mocí závorkového polynomu a dokážeme ekvivalenci těchto definic. Dále na zá- kladě vztahu Jonesova a závorkového polynomu odvodíme algoritmus na jeho výpočet. Dokážeme, že algoritmus má časovou složitost O 20,823n , kde n značí počet křížení linkového diagramu. Nakonec shrneme výsledky testování algo- ritmu a jeho variant na datech. Algoritmus otestujeme mimo jiné na malých tabulkových uzlech, větších náhodných uzlech a torusových uzlech. U nejrych- lejší varianty algoritmu odhadneme průměrnou časovou složitost výpočtu na náhodných uzlech O 20,487n+o(n) . 1
|
|
|
Moduly a lokalizace
Lysoněk, Tomáš ; Trlifaj, Jan (vedoucí práce) ; Šťovíček, Jan (oponent)
V práci je zaveden pojem lokalizace a zkoumán jeho vztah k vlastnostem modulů nad komutativními okruhy - lokálním vlastnostem a AD-vlastnostem, především projek- tivitě. Je v ní prezentován důkaz, že projektivita modulů je AD-vlastností, pocházející od Raynauda a Grusona, v opravené verzi od Perryho z roku 2010. Tento důkaz je rozpra- cován do detailní podoby a doplněn o příklady a význam zkoumaných pojmů v kontextu algebraické geometrie. 1
|
host ::
RSS.