Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Teorie grafů a kvantové struktury

Václav Voràček

Published Jun 5, 2019• 0 citations
OpenAlex

Abstract

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.

Related papers

Algebraické a mírově-teoretické vlastnosti struktur blízkých k Booleovým algebrám

Michal Hroch

Téma této disertační práce je studium konečně aditivních měr na strukturách blízkých Booleovým algebrám. Ve formulaci přijaté v teoretické fyzice jde o vyšetřování stavů na kvantových logikách. Přínos této disertační práce je obsažen v pěti přiložených článcích. V prvním z těchto článků se autor zabývá stavy s hodnotami v obecném tělese charakteristiky nula. Cílem je zobecnit klasickou Hornovu-Tarského větu o rozšiřování stavů (HT). Autor částečně uspěl v některých speciálních případech, ale obecně se ukázalo, že přirozená reformulace věty HT pro tělesa neplatí (kromě znaménkové formulace HT, kde se podařilo původní reálně hodnotovou HT zobecnit na tělesovou formulaci). V druhém článku autor vyšetřuje ortomodulární svazy, které dovolují zavedení symetrické diference. Tyto struktury, které jsou v současné době intenzivně studovány, byly v tomtu článku obohaceny o vhodný pojem stavu. Vznikla pak otázka, kdy se dá daný stav rozšířit na větší logiku (případně i takovou, která není množinově reprezentovatelná). Autor ukázal, že stavová rozšíření jsou možná pokud je stav definován na Booleově algebře. V obecnosti ani logiky velice blízké Booleovským stavová rozšíření nedovolují. Ve třetím článku autor dále analyzoval množinově reprezentovatelné logiky. Jako hlavní výsledky lze jmenovat kritérium pro rozšiřování stavů na Gudderových logikách a příspěvek k jistým fyzikálně motivovaným otázkám pro klasickou hustotní logiku (určitý nový pohled na Banachovy limity). Ve čtvrtém článku se autor zabývá pravděpodobnostně motivovaným pojmem Jauchova-Pironova stavu. Autor nalezl nutnou a postačující podmínku pro rozšiřování stavů definovaných na Booleově algebře a zachovávající při rozšíření Jauchovu-Pironovu vlastnost. Aplikací tohoto výsledku je dokázána věta o rozšiřování Jauchových-Pironových stavů na projektorovou logiku L(H). V pátém článku je zavedeno jisté nekonečné rozšíření Gudderovy logiky. V poněkud překvapivém kontrastu s konečnou Gudderovou logikou je dokázáno, že tyto zobecněné logiky dovolují rozšiřování stavů na potenční množinu.

•Aug 12, 2019•0 citations

Skryté proměnné v matematických modelech kvantových struktur

Petr Matěj

Cílem této práce je seznámení s teorií skrytých proměnných a stavem programů zabývajících se výpočty na kvantových strukturách. Dále je popsána implementace algoritmu, který pro danou kvantovou strukturu (ortomodulární poset) zjistí, zda-li dovoluje dostatečnou množinu skrytých proměnných (dvouhodnotových stavů).

•May 27, 2016•0 citations

Quantum networks and its properties

David Chudožilov

Kvantové sítě jsou komunikačním prostředkem nové generace. Rozmach kvantových technologií umožňuje využití neklasických jevů jako kvantová superpozice, kvantové provázání a interference v komunikačních a kryptografických protokolech. Příkladem takového protokolu je kvantová distribuce klíče, která zajišťuje vytvoření a distribuci náhodného šifrovacího klíče mezi dvěma komunikačními uzly. Samotný termín kvantová síť znamená tři různé věci. První jsou aktivní kvantové sítě používající prvky jako opakovače nebo kvantová paměť, druhá pasivní optické kvantové sítě složené z děličů paprsku a posunovačů fáze a třetí představuje abstraktní matematický model založený na Hamiltoniánu, který lze charakterizovat grafem. V této práci popíšeme všechny tři pojmy, přičemž se soustředíme zejména na třetí zmíněný význam tohoto pojmu. V rámci zmíněného Hamiltoniánového modelu detailně zkoumáme tzv. efekt uvěznění kvantové excitace v jediném módu nebo v malém počtu módů. Efekt uvěznění zkoumáme jak pro kvantovou síť charakterizovanou úplným grafem, tak i pro grafy, kde nějaká hrana může chybět. Nepřítomnost hrany zkoumáme jak ve statickém případě, kdy hrana chybí permanentně, tak i v případě stochastického chování v čase, kdy se hrana přerušuje a opět znovuobjevuje.

•Aug 4, 2025•0 citations

Algebraic and State-Space Properties of Quantum Logics

Dominika Burešová

Tento text přispívá k teorii kvantových logik (algebraické teorii ortomodulárních uspořádaných množin). Kapitola 1 představuje základní pojmy kvantových teorií a jejich vztah s kvantovými logikami. Kapitola 2 formálně zavádí základní pojmy teorie kvantových logik. Kapitola 3 se zabývá algebraickým generováním ve svazových kvantových logikách. Jedním z výsledků je zjištění, že vlastnost lokální konečnosti umožňuje rozšiřování stavů. Poté je zkoumán kartézský součin lokálně konečných svazových kvantových logik. V kapitole 4 zkoumáme kvantové logiky dovolující zavedení pojmu symetrické diference. Hlavními dosaženými výsledky jsou nalezení příkladu neregulární kompatibility v těchto strukturách, důkaz rozšiřování ℤ2-stavů a konstrukce příkladu s malým stavovým prostorem a vysokým stupněm nekompatibility. V kapitole 5 opatříme Abbottovy algebry symetrickou diferencí (lze ji chápat jako operaci XOR). Ukazujeme, že Abbottovy algebry s operací XOR jsou kategoriálně ekvivalentní se svazovými kvantovými logikami se symetrickou diferencí. Dalším výsledkem je popis kompatibility a zavedení pojmu ∆-stav. Dále je podána zajímavá charakterizace Booleovy algebry v řeči symetrické diference. V kapitole 6 se ptáme, zda lze každou množinově reprezentovatelnou kvantovou logiku učinit isomorfní s množinově reprezentovatelnou kvantovou logikou, která dovoluje oddělování bodů. Na tuto otázku odpovídáme kladně pomocí zavedení vhodné ekvivalence a spojení s technikou Stoneovy reprezentace. V kapitole 7 shrhujeme hlavní výsledky práce.

•Aug 30, 2023•0 citations

SEARCH AND STATE TRANSFER OVER NETWORKS VIA QUANTUM WALK

S. Skoupý

Tématem této práce jsou kvantové procházky a algoritmy na nich založené, především algoritmus pro vyhledávání a algoritmus pro přenos stavu. V první části této práce představíme kvantovou procházku v diskrétním čase s mincí, která je hlavní model používaný v této práci. Dále představíme vyhledávací algoritmus a algoritmus pro přenos stavu, které budou na těchto modelech založené. Další 3 kapitoly po teoretickém úvodu jsou tvořeny publikovanými články, které se zabývají vyhledáváním a přenosem stavu na různých typech grafů. V prvním článku se zabýváme vyhledáváním a přenosem stavu na M-partitním grafu, ve druhém článku se zabýváme vyhledáváním a přenosem na hyperkrychli, poslední vložený článek se zabývá huby u náhodné sítě. V poslední kapitole opět pracujeme s huby, tentokrát napojenými k d-regulárnímu grafu.

•Sep 8, 2025•0 citations

Search and Transport in Quantum Walks

Matej Prekop

V posledných rokoch, bolo do výzkumu kvantových počítačov vynaložené veľke úsilie, s ktorým prišla aj potreba porozumieť kvantovému počítaniu. Kvantové algoritmy sú nevyhnutnými nástrojmi, ktoré potrebujeme vymyslieť a vylepšiť, aby sme efektívne využili teoretickú výpočetnú silu kvantových počítačov. Táto bakalárska práca, sa zaoberá čím viac populárnejším kvantovým modelom nazývaným kvantová prechádzka, konkrétne variantou diskrétneho času. V tejto práci skúmame základy kvantového počítania spolu so základnými pojmami parametrov riadiacich vlastnosti kvantových prechádzok. Rozsiahlo popisujeme kvantové prechádzky, vymenujeme a krátko predstavujeme rôzne modely kvantových prechádzok a ukážeme prepojenie medzi nimi a Groverovým algoritmom. Okrem toho, skúmame využitie kvantových prechádzok na vyľadávanie v databázach, perfektný prenos stavu a transport, kde táto časť tvorí jadro tejto práce. Následne vyšetrujeme vlastnosti vyhĺadávania a transportu na konkrétnych grafoch ako hviezdový graf a kompletý graf.

•Jan 5, 2026•0 citations
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.
Téma této disertační práce je studium konečně aditivních měr na strukturách blízkých Booleovým algebrám. Ve formulaci přijaté v teoretické fyzice jde o vyšetřování stavů na kvantových logikách. Přínos této disertační práce je obsažen v pěti přiložených článcích. V prvním z těchto článků se autor zabývá stavy s hodnotami v obecném tělese charakteristiky nula. Cílem je zobecnit klasickou Hornovu-Tarského větu o rozšiřování stavů (HT). Autor částečně uspěl v některých speciálních případech, ale obecně se ukázalo, že přirozená reformulace věty HT pro tělesa neplatí (kromě znaménkové formulace HT, kde se podařilo původní reálně hodnotovou HT zobecnit na tělesovou formulaci). V druhém článku autor vyšetřuje ortomodulární svazy, které dovolují zavedení symetrické diference. Tyto struktury, které jsou v současné době intenzivně studovány, byly v tomtu článku obohaceny o vhodný pojem stavu. Vznikla pak otázka, kdy se dá daný stav rozšířit na větší logiku (případně i takovou, která není množinově reprezentovatelná). Autor ukázal, že stavová rozšíření jsou možná pokud je stav definován na Booleově algebře. V obecnosti ani logiky velice blízké Booleovským stavová rozšíření nedovolují. Ve třetím článku autor dále analyzoval množinově reprezentovatelné logiky. Jako hlavní výsledky lze jmenovat kritérium pro rozšiřování stavů na Gudderových logikách a příspěvek k jistým fyzikálně motivovaným otázkám pro klasickou hustotní logiku (určitý nový pohled na Banachovy limity). Ve čtvrtém článku se autor zabývá pravděpodobnostně motivovaným pojmem Jauchova-Pironova stavu. Autor nalezl nutnou a postačující podmínku pro rozšiřování stavů definovaných na Booleově algebře a zachovávající při rozšíření Jauchovu-Pironovu vlastnost. Aplikací tohoto výsledku je dokázána věta o rozšiřování Jauchových-Pironových stavů na projektorovou logiku L(H). V pátém článku je zavedeno jisté nekonečné rozšíření Gudderovy logiky. V poněkud překvapivém kontrastu s konečnou Gudderovou logikou je dokázáno, že tyto zobecněné logiky dovolují rozšiřování stavů na potenční množinu.
Kvantové sítě jsou komunikačním prostředkem nové generace. Rozmach kvantových technologií umožňuje využití neklasických jevů jako kvantová superpozice, kvantové provázání a interference v komunikačních a kryptografických protokolech. Příkladem takového protokolu je kvantová distribuce klíče, která zajišťuje vytvoření a distribuci náhodného šifrovacího klíče mezi dvěma komunikačními uzly. Samotný termín kvantová síť znamená tři různé věci. První jsou aktivní kvantové sítě používající prvky jako opakovače nebo kvantová paměť, druhá pasivní optické kvantové sítě složené z děličů paprsku a posunovačů fáze a třetí představuje abstraktní matematický model založený na Hamiltoniánu, který lze charakterizovat grafem. V této práci popíšeme všechny tři pojmy, přičemž se soustředíme zejména na třetí zmíněný význam tohoto pojmu. V rámci zmíněného Hamiltoniánového modelu detailně zkoumáme tzv. efekt uvěznění kvantové excitace v jediném módu nebo v malém počtu módů. Efekt uvěznění zkoumáme jak pro kvantovou síť charakterizovanou úplným grafem, tak i pro grafy, kde nějaká hrana může chybět. Nepřítomnost hrany zkoumáme jak ve statickém případě, kdy hrana chybí permanentně, tak i v případě stochastického chování v čase, kdy se hrana přerušuje a opět znovuobjevuje.
Tento text přispívá k teorii kvantových logik (algebraické teorii ortomodulárních uspořádaných množin). Kapitola 1 představuje základní pojmy kvantových teorií a jejich vztah s kvantovými logikami. Kapitola 2 formálně zavádí základní pojmy teorie kvantových logik. Kapitola 3 se zabývá algebraickým generováním ve svazových kvantových logikách. Jedním z výsledků je zjištění, že vlastnost lokální konečnosti umožňuje rozšiřování stavů. Poté je zkoumán kartézský součin lokálně konečných svazových kvantových logik. V kapitole 4 zkoumáme kvantové logiky dovolující zavedení pojmu symetrické diference. Hlavními dosaženými výsledky jsou nalezení příkladu neregulární kompatibility v těchto strukturách, důkaz rozšiřování ℤ2-stavů a konstrukce příkladu s malým stavovým prostorem a vysokým stupněm nekompatibility. V kapitole 5 opatříme Abbottovy algebry symetrickou diferencí (lze ji chápat jako operaci XOR). Ukazujeme, že Abbottovy algebry s operací XOR jsou kategoriálně ekvivalentní se svazovými kvantovými logikami se symetrickou diferencí. Dalším výsledkem je popis kompatibility a zavedení pojmu ∆-stav. Dále je podána zajímavá charakterizace Booleovy algebry v řeči symetrické diference. V kapitole 6 se ptáme, zda lze každou množinově reprezentovatelnou kvantovou logiku učinit isomorfní s množinově reprezentovatelnou kvantovou logikou, která dovoluje oddělování bodů. Na tuto otázku odpovídáme kladně pomocí zavedení vhodné ekvivalence a spojení s technikou Stoneovy reprezentace. V kapitole 7 shrhujeme hlavní výsledky práce.
Tématem této práce jsou kvantové procházky a algoritmy na nich založené, především algoritmus pro vyhledávání a algoritmus pro přenos stavu. V první části této práce představíme kvantovou procházku v diskrétním čase s mincí, která je hlavní model používaný v této práci. Dále představíme vyhledávací algoritmus a algoritmus pro přenos stavu, které budou na těchto modelech založené. Další 3 kapitoly po teoretickém úvodu jsou tvořeny publikovanými články, které se zabývají vyhledáváním a přenosem stavu na různých typech grafů. V prvním článku se zabýváme vyhledáváním a přenosem stavu na M-partitním grafu, ve druhém článku se zabýváme vyhledáváním a přenosem na hyperkrychli, poslední vložený článek se zabývá huby u náhodné sítě. V poslední kapitole opět pracujeme s huby, tentokrát napojenými k d-regulárnímu grafu.
V posledných rokoch, bolo do výzkumu kvantových počítačov vynaložené veľke úsilie, s ktorým prišla aj potreba porozumieť kvantovému počítaniu. Kvantové algoritmy sú nevyhnutnými nástrojmi, ktoré potrebujeme vymyslieť a vylepšiť, aby sme efektívne využili teoretickú výpočetnú silu kvantových počítačov. Táto bakalárska práca, sa zaoberá čím viac populárnejším kvantovým modelom nazývaným kvantová prechádzka, konkrétne variantou diskrétneho času. V tejto práci skúmame základy kvantového počítania spolu so základnými pojmami parametrov riadiacich vlastnosti kvantových prechádzok. Rozsiahlo popisujeme kvantové prechádzky, vymenujeme a krátko predstavujeme rôzne modely kvantových prechádzok a ukážeme prepojenie medzi nimi a Groverovým algoritmom. Okrem toho, skúmame využitie kvantových prechádzok na vyľadávanie v databázach, perfektný prenos stavu a transport, kde táto časť tvorí jadro tejto práce. Následne vyšetrujeme vlastnosti vyhĺadávania a transportu na konkrétnych grafoch ako hviezdový graf a kompletý graf.