Teorie grafů a kvantové struktury
Graph Theory and Quantum Structures
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Václav Voráček
Vedoucí práce
Navara Mirko
Oponent práce
Pták Pavel
Studijní obor
Informatika a počítačové vědyStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra kybernetikyPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
S příchodem kvantové teore klasická logika přestala být dostatečnou pro popis fyzikálních událostí, protože distributivní zákon výrokové logiky vede ke sporům v kvantové teorii. To vedlo k vytvoření kvantových logik. Ortomodulární svazy jsou algebraické struktury, které splňují vlastnosti kvantové logiky. \nl V této práci studujeme ortomodulární svazy, a také obecnější kvantové struktury bez netriviálních měr z libovolné komutativní aditivní grupy. Ukážeme, jak kvantové struktury souvisí s hypergrafy, a použijeme grafově teoretické metody pro vytvoření omezení velikostí studovaných kvantových struktur. \nl Prezentujeme nové výsledky jak z teorie grafů, kde jsme nalezli horní odhad počtu hran při daném počtu vrcholů pro určitý typ hypergrafů, tak z teorie kvantových struktur, kde jsme značně zjednodušili příklady a argumenty pro existenci kvantových struktur bez měr z libobolné komutativní aditivní grupy. With arise of the quantum theory, the classical logic was no longer sufficient for describing physical events because the distributive law of propositional logic leads to contradictions in quantum mechanics. This led to the introduction of quantum logics. An algebraic structure capturing properties of quantum logic operations is called orthomodular lattice. \nl In the thesis, we study orthomodular lattices and also more general quantum structures without non-trivial measures from any additive commutative group. We show how quantum structures are related to hypergraphs and we use graph theory for deriving constraints on the size of such quantum structures. \nl We present our new results in both, the graph-theory, and the theory of quantum structures. In graph theory we derived a new upper bound on the number of edges for a given number of vertices for a certain type of hypergraphs. In the theory of quantum structures, we significantly simplified the arguments for the existence of quantum structures with no non-trivial group-valued measures. We also constructed small such quantum structures.
Kolekce
- Bakalářské práce - 13133 [778]