|
Congruent numbers, elliptic curves, and L-functions
Kotyk, Jan ; Kala, Vítězslav (vedoucí práce) ; Příhoda, Pavel (oponent)
Hlavním cílem této práce je propojení výsledků týkající se problému kon- gruentních čísel. Nejprve zadefinujeme pojmy kongruentních čísel a eliptických křivek, které z tohoto problému přirozeně vyplývají. Následně zadefinujeme op- eraci sčítání bodů na eliptické křivce a ukážeme, že tato operace tvoří strukturu abelovské grupy na množině těchto bodů. Poté se zaměříme na eliptické křivky a jejich grupy definované nad konečnými tělesy abychom získaly nový pohled do problému kongruentních čísel. Díky němu později definujeme Zeta-funkce a L- funkce. Ke konci bude prezentován souvislost mezi vlastností být kongruentním číslem a hodností korespondující eliptické křivky, což bude využito v klasifikaci několika prvních kongruentních čísel. 1
|
|
Kosouvislé algebry
Vlasák, Lukáš ; Barto, Libor (vedoucí práce) ; Příhoda, Pavel (oponent)
Algebra A je n-kosouvislá, pokud každý homomorfismus z její n-té mocniny, An , do A závisí pouze na jedné proměnné. Pro každé přirozené n ≥ 2 existuje algebra, která je n-kosouvislá a není (n + 1)-kosouvislá. Zatím zkonstruované příklady těchto algeber jsou však velké z hlediska počtu prvků nebo počtu operací. Cílem této práce je zlepšit odhad počtu prvků, které taková algebra musí mít pro obecné n. Pro n ≥ 2 je známa konkrétní konstrukce s 2n prvky a potenciálně nejmenší možný počet prvků takové algebry je n +1 pro n ≥ 3. V této práci zkonstruujeme pro všechna n ≥ 2 příklady nejmenších možných n-kosouvislých algeber, které nejsou (n + 1)-kosouvislé. 1
|
|
Algoritmy pro Minkowského součet mnohoúhelníků
Šimek, Daniel ; Patáková, Zuzana (vedoucí práce) ; Příhoda, Pavel (oponent)
Tato bakalářská práce se zabývá Minkowského součtem dvou nekonvexních mnoho- úhelníků v rovině, konkrétně pak popisem a porovnáním dvou metod pro výpočet Min- kowského součtu: rozkladové metody a konvoluční metody. V této práci jsou obě tyto metody blíže představeny, včetně potřebných definic a ilustrativních obrázků. V závě- rečné kapitole jsou pak obě metody porovnány za pomoci C++ knihovny CGAL na různých vstupech. 1
|
|
Bezpečné sdílené počítání modulo p^k
Struk, Martin ; Žemlička, Jan (vedoucí práce) ; Příhoda, Pavel (oponent)
Práce se zabývá odvětvím kryptografie zvaným bezpečné sdílené počítání, což je tech- nika, která umožňuje více stranám spolupracovat na výpočtu jediné funkce tak, že její vstupy zůstanou utajeny. Konkrétněji se práce zabývá bezpečným sdíleným počítáním nad okruhem celých čísel modulo pk . Práce začíná představením obecného principu pro- tokolů pro bezpečné sdílené počítání, po kterém následuje vybudování potřebné teorie nad komutativními okruhy, která bude v poslední části práce potřeba k popisu a pochopení konkrétního protokolu. 1
|
|
Řetězové zlomky v tělese p-adických čísel
Červenková, Eliška ; Příhoda, Pavel (vedoucí práce) ; Růžička, Pavel (oponent)
Tato práce se věnuje Rubanovu a Browkinovu rozvoji p-adických čísel do řetězového zlomku a jejich vlastnostem. Nejprve je zaveden pojem p-adických čísel a sepsaná po- třebná teorie. Následně je definován řetězový zlomek a jsou odvozeny podmínky konver- gence v reálných a p-adických číslech. Dále je v textu popsán Rubanův rozvoj do řetězo- vého zlomku a práce se zabývá jeho konečností. Součástí je popis algoritmu, díky kterému lze o konečnosti rozhodnout. Odvozen je i maximální počet kroků v tomto algoritmu. Pro Rubanův rozvoj dále platí, že je-li nekonečný, pak je periodický. V textu je periodicita včetně jejích vlastností blíže popsána. Práce se pak věnuje Browkinovu rozvoji do řetě- zového zlomku včetně důkazu, že tento rozvoj je pro racionální čísla konečný. Obsahem jsou i příklady ilustrující popsané vlastnosti obou rozvojů. 1
|
|
Tateova-Šafarevičova grupa eliptické křivky
Zvěřina, Adam ; Šťovíček, Jan (vedoucí práce) ; Příhoda, Pavel (oponent)
Tato práce se zabývá Tateovou-Šafarevičovou grupou a jejím vztahem k racionál- ním bodům na křivce a jejímu ranku. Napřed definujeme pojem profinitní grupy a cha- rakterizujeme je jako Galoisovy grupy tělesových rozšíření. Potom definujeme Tateovu- Šafarevičovu grupu pomocí Galoisovy kohomologie a vysvětlíme její vztah k racionálním bodům křivky. Nakonec zformulujeme Birchovu-Swinnerton-Dyerovu domněnku, která dává do souvislosti rank eliptické křivky a řád její Tateovy-Šafarevičovy grupy. 1
|
|
Prosívání ve faktorizačních algoritmech
Staško, Samuel ; Příhoda, Pavel (vedoucí práce) ; Jedlička, Přemysl (oponent)
Kvadratické a číselné síto jsou dvě tradiční faktorizační metody. Uvádíme zde princip fungování obou těchto algoritmů, přičemž se zaměřujeme především na výpočet asympto- tické složitosti. Největší důraz klademe na rozbor prosívací fáze. Hlavním cílem práce je však popis různých modifikací, odhad jejich časové složitosti a porovnání praktické vyu- žitelnosti se základními verzemi. Kromě několika známých variant prezentujeme vlastní návrhy jak kvadratického, tak číselného síta a podrobně analyzujeme jejich výhody či nevýhody. 1
|
|
Využití invertibilních prvků mřížky v ověření s nulovou znalostí
Kučerová, Karolína ; Žemlička, Jan (vedoucí práce) ; Příhoda, Pavel (oponent)
Práce se zaměřuje na popis kryptografického protokolu, který se řadí do skupiny ově- řitelného šifrování, přesněji jde o metodu ověření s nulovou znalostí. Ověřitelné šifrování nám dovoluje dokázat vlastnosti určitého textu. Pokud je šifrovací schéma je bezpečné, nemělo by při důkazu dojít k prozrazení obsahu textu. Hlavním cílem metody je ověření znalosti soukromého klíče. Metodu lze využít k vytváření skupinových podpisů, předávání informací ve více krocích, nebo například k uschovávání klíčů. Je založena na složitosti okruhového-LWE šifrování v kombinaci s hledáním řešení soustav lineárních rovnic a využívá principu rejection sampling. Zkoumaná metoda spojuje principy dvou blíže po- psaných kryptografických metod a to okruhového LWE a metody. Využívá konstrukci faktorokruhů R = Z[x]/(xn + 1) a Rq = Zq[x]/(xn + 1). 1
|
|
Local properties of modules
Lysoněk, Tomáš ; Hrbek, Michal (vedoucí práce) ; Příhoda, Pavel (oponent)
Tato práce zavádí vlastnosti modulů - projektivitu a plochost relativní vzhledem ke třídám konečně prezentovaných modulů - které jsou zobecněním projektivity a čisté projektivity. Dále je podán důkaz ascentu a descentu těchto vlastností skrze homomor- fismy nekomutativních okruhů s jistými vlastnostmi, z nichž nejdůležitější je schopnost rozeznávat čisté epimorfismy. V relativním případě dokazujeme ascent a descent skrze ploché okruhové homomorfismy s touto vlastností. Nakonec jsou tyto výsledky aplikovány na situaci okruhových homomorfismů, které vznikají jako centrální rozšíření centrálních čistých a věrně plochých homomorfismů. 1
|
|
Structural and categorical description of classes of abelian groups
Dvořák, Josef ; Žemlička, Jan (vedoucí práce) ; Modoi, George Ciprian (oponent) ; Příhoda, Pavel (oponent)
Práce představuje výsledky týkajících se vlastností samomalosti a relativní malosti součinů v kategorii abelovských grup a Ab5-kategorií. Jsou představena kritéria relativní malosti abelovských grup a je podána charakterizace samoma- lých součinů konečně generovaných abelovských grup. Dále je vybudována teorie rozkladů v UD-kategoriích a v důsledku i v kategoriích S-aktů, přičemž tyto jsou následně užity ke zkoumání (samo)malosti S-aktů. Je podán strukturální popis kompaktních objektů ve dvou kategoriích S-aktů. Taktéž je zkoumána existence projektivních pokrytí v kategoriích S − Act a S − Act0 a pozornost je věnována problematice perfektních monoidů s nulou. 1
|