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

Kvantové CZ hradlo se slabou vazbou

Robert Stárek

Published Jan 1, 2015• 0 citations
OpenAlex

Abstract

Navrhli jsme a pomoci linearni kvantove optiky experimentalně ověřili metodu podminěne implementace kvantoveho maximalně entanglujiciho control-Z hradla, operujiciho na libovolně slabě vazaných kvantových bitech. Nase metoda je založena na obchazeni interakce slabě vazaných kvantových bitů pomoci koherentniho navazani a nasledneho vyvazani jednoho kvantoveho bitu do pomocneho modu. Po interakci je pomocný mod promitnut zpět do podprostoru původniho kvantoveho bitu. Takto je dosaženo zesileni interakce mezi slabě vazanými kvantovými bity, přestože vazba do pomocneho modu je lokalni operaci. Experiment využiva casově korelovane pary fotonů, ktere jsou generovane pomoci spontanni parametricke sestupne frekvencni konverze. Pro kodovani jednotlivých kvantových bitů se využiva prostorových a polarizacnich modů fotonů. Slaba vazba mezi fotony, ktera běžně neumožňuje vytvořeni control-Z hradla, je zprostředkovana pomoci dělice svazku. Metoda je charakterizovana svoji ucinnosti a pomoci měřeni Hofmannovy dolni meze fidelity procesu pro různe sily vazby do pomocneho modu. V optimalnim režimu, kde dosahuje fidelita procesu a pravděpodobnost uspěsne operace sveho maxima, je hradlo charakterizovano uplným tomografickým měřenim.

Related papers

Optická implementace kvantových operací pro kvantové zpracování informace s využitím provázaných fotonů

Martina Miková

Cilem teto prace je experimentalni realizace kvantoveho programovatelneho fazoveho hradla, ktere pootoci libovolný kvantový stav datoveho qubitu okolo osy z Blochovy sfery. Uhel rotace je zakodovan ve stavu programoveho qubitu[1]. Hradlo je tvořeno dvěma vzajemně propojenými vlaknovými Machovými-Zehnderovými interferometry, ktere pracuji na jednofotonove urovni. Informace je kodovana do prostorových modů světla. Pomoci dopředne elektronicke vazby jsme zvýsili pravděpodobnost uspěchu hradla na jeji teoretický limit.

•Jan 1, 2011•0 citations

Quantum Circuits Synthesis

Havlík, Jakub

Oblast kvantového počítání se neustále rozvíjí a mnohé zlepšení technické realizace kvantových počítačů přichází každým rokem. Bohužel, mnohé třídy kvantových obvodů zdaleka nedosahují optimální podoby, což vede k podprůměrnému využití výkonu kvantových počítačů. Navíc, navrhování efektivních kvantových obvodů a algoritmů je neintuitivní a složité. Z těchto důvodů je poptávka po efektivní, automatické syntéze kvantových obvodů zásadní. V této práci přistupujeme k této úloze pomocí vyjádření kvantových obvodů pomocí predikátové logiky prvního řádu a následného zakódování formulí do SMT a MILP. Zároveň ukazujeme, že specifickou třídu repeat-until-success kvantových obvodů lze nadále optimalizovat, jelikož mají velmi specifickou formu, což vede k potřebě speciální specifikace vstupu takového obvodu, která potvrzuje nekonzistence mnohých existujících implementací. Naše řešení porovnáváme s moderním nástrojem Quokka# na souboru 500 úloh a ukazujeme, že každý z přístupů je v určité podskupině úloh lepší než ten druhý.

•Jan 1, 2026•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

Detekční a opravné kódy

Jan Broulím

LDPC kódy se stávají stále častěji populárními a v praxi nasazovanými zejména díky jejich účinnosti při využívání pravděpodobnostního dekodéru. V této práci jsou představeny nové metodologie pro návrh LDPC kódů na bázi genetických optimalizačních algoritmů, pro implementaci LDPC dekodérů na paralelní architektury a pro vylepšováním bitové chybovosti stávajících dekodérů. \n \nLDPC kódy jsou definovány kontrolní maticí nebo Tannerovým grafem, jehož parametry definují vlastnosti a účinnost dekodéru, zejména pak hodnosti uzlů a výskyt cyklů. V této práci je představen algoritmus pro návrh Tannerových grafů s nastavitelným omezením výskytu cyklů, který je dále využíván pro algoritmy genetické optimalizace. Navržené algoritmy jsou testovány na různých délkách kódového slova. \n \nDruhá část dizertační práce se zabývá implementací iregulárních LDPC kódů na paralelní architektury. Představená metoda je prakticky implementovaná na GPU s využitím OpenCL a CUDA frameworků. \n \nPoslední část dizertační práce se zabývá vylepšováním bitové chybovosti stávajících dekodérů. První představená metoda využívá zpětné procházení kódových slov. Druhá představená metoda je založena na využívání mutací kontrolních matic. Mutované kontrolní matice zabezpečují stejný prostor kódových slov, ale mění parametry konvergence dekodéru. Tuto informaci je možné dále využívat pro zpřesnění odhadu původního kódového slova. \n \nBudoucí práce může být zaměřena na rozvoj metod představených v práci, na jejich praktickou implementaci a na vývoj algoritmů zaměřených na LDPC kódy s delší délkou kódového slova.

•Jan 1, 2019•0 citations

Quantum-Resistant User Privacy

Daniel Prachař

Tato diplomová práce se zabývá nastupující hrozbou kvantových počítačů a analýzou kvantově odolných metod pro ochranu soukromí. Obě témata jsou aktuálně hojně diskutovaná v oblasti bezpečnosti a kryptografie. Kvantové počítače představují riziko pro určité současné kryptografické systémy, proto je nezbytné analyzovat a vytvořit nové bezpečné metody, které budou této hrozbě odolávat. S rostoucí digitalizací osobních údajů se technologie chránící soukromí (PETs) stávají nezbytností, avšak jejich dosavadní realizace často spoléhají na zranitelné asymetrické algoritmy. Teoretická část práce se zaměřuje na popis kvantových počítačů, kvantových jevů a jejich dopadů na současnou kryptografii. Následně je analyzován současný stav vývoje kvantových počítačů, jsou představeny rodiny postkvantové kryptografie včetně aktuální standardizace a popsány současné metody pro ochranu soukromí uživatelů. Poté je provedeno porovnání výpočetní a paměťové náročnosti protokolů s nulovou znalostí (zk-SNARK, zk-STARK), skupinových podpisů a schémat atributové autentizace, které vycházejí z odborné literatury. Na základě tohoto porovnání byla posouzena vhodnost nasazení zmíněných metod v praxi a pro demonstraci konkrétního uživatelského scénáře byla vybrána konstrukce atributových pověření autorů Argo et al. Praktická část práce se věnuje implementaci tohoto řešení do podoby plně funkčního webového demonstrátoru. Navržená softwarová architektura kombinuje nízkoúrovňové kryptografické jádro v programovacím jazyce C s asynchronní orchestrační vrstvou v programovacím jazyce Python a interaktivním uživatelským rozhraním. Vyvinutý demonstrátor pokrývá celý životní cyklus pověření, od bezpečného vydání přes lokální zašifrované uložení až po anonymní prokázání vlastnictví atributů pomocí důkazu s nulovou znalostí. V závěru práce je provedeno výkonnostní zhodnocení demonstrátoru. Výsledky měření prokazují, že optimalizovaný postkvantový systém dosahuje latencí přijatelných pro reálné nasazení na běžných výpočetních zařízeních.

•Jan 1, 2026•0 citations

Investigation of strong electron correlations in impurity models using diaquamatic methods

Pavel Augustinský

Nazev prace: Studium silnych elektronovych korelaci v primesovych mode- lech pomoci diagrarnatickych metod Autor: Pavel Augustinsky Katedra: Ijstav teoreticke fyziky Vedouci diplomove prace: Prof. RNDr. Vaclav Janis, DrSc., FZU AVCR e-mail vedouciho: janis@fzu.cz Abstrakt: V teto praci studujeme kvantove rnodely interagujicich elektronu a vysledky pouzivame na Andersonuv model jedne primesi. V prvni casti uva- dime souhrn pouzitych metod. Jsou to predevsim diagramaticka poruchova teorie a z ni vychazejici Dysonova rovnice, Betheho-Salpeterovy rovnice a Schwingerova-Dysonova rovnice. Dale rozebirame nekolik bezne pouzivanych priblizeni vychazejicich z diagramaticke poruchove teorie. Hartreeho priblizeni, priblizeni nahodnych fazi (RPA), priblizeni matice prechodu (TMA)j pribli- zeni stinene interakce a priblizeni fluktuujici vymeny (FLEX). Ta vsak z ruz- nych duvodu selhavaji pri popisu Andersonova modelu v rezimu silne vazby. V posledni casti \^ybudujerne metodu zalozenou na takzvane parketove rovnici, ktera dava pro Andersonuv model kvalitativne spravne \orsledky jak v rezimu slabe, tak silne vazby. Kondova energeticka skala spoctena na jejim zaklade je v pomerne dobrern souhlasu s exaktnim vysledkem a numericke feseni ukazuje vznik takzvanych satelitnich pasu v hustote stavu. Klicova slova: Feynmanovy...

•Jan 1, 2009•0 citations
Navrhli jsme a pomoci linearni kvantove optiky experimentalně ověřili metodu podminěne implementace kvantoveho maximalně entanglujiciho control-Z hradla, operujiciho na libovolně slabě vazaných kvantových bitech. Nase metoda je založena na obchazeni interakce slabě vazaných kvantových bitů pomoci koherentniho navazani a nasledneho vyvazani jednoho kvantoveho bitu do pomocneho modu. Po interakci je pomocný mod promitnut zpět do podprostoru původniho kvantoveho bitu. Takto je dosaženo zesileni interakce mezi slabě vazanými kvantovými bity, přestože vazba do pomocneho modu je lokalni operaci. Experiment využiva casově korelovane pary fotonů, ktere jsou generovane pomoci spontanni parametricke sestupne frekvencni konverze. Pro kodovani jednotlivých kvantových bitů se využiva prostorových a polarizacnich modů fotonů. Slaba vazba mezi fotony, ktera běžně neumožňuje vytvořeni control-Z hradla, je zprostředkovana pomoci dělice svazku. Metoda je charakterizovana svoji ucinnosti a pomoci měřeni Hofmannovy dolni meze fidelity procesu pro různe sily vazby do pomocneho modu. V optimalnim režimu, kde dosahuje fidelita procesu a pravděpodobnost uspěsne operace sveho maxima, je hradlo charakterizovano uplným tomografickým měřenim.
Cilem teto prace je experimentalni realizace kvantoveho programovatelneho fazoveho hradla, ktere pootoci libovolný kvantový stav datoveho qubitu okolo osy z Blochovy sfery. Uhel rotace je zakodovan ve stavu programoveho qubitu[1]. Hradlo je tvořeno dvěma vzajemně propojenými vlaknovými Machovými-Zehnderovými interferometry, ktere pracuji na jednofotonove urovni. Informace je kodovana do prostorových modů světla. Pomoci dopředne elektronicke vazby jsme zvýsili pravděpodobnost uspěchu hradla na jeji teoretický limit.
Oblast kvantového počítání se neustále rozvíjí a mnohé zlepšení technické realizace kvantových počítačů přichází každým rokem. Bohužel, mnohé třídy kvantových obvodů zdaleka nedosahují optimální podoby, což vede k podprůměrnému využití výkonu kvantových počítačů. Navíc, navrhování efektivních kvantových obvodů a algoritmů je neintuitivní a složité. Z těchto důvodů je poptávka po efektivní, automatické syntéze kvantových obvodů zásadní. V této práci přistupujeme k této úloze pomocí vyjádření kvantových obvodů pomocí predikátové logiky prvního řádu a následného zakódování formulí do SMT a MILP. Zároveň ukazujeme, že specifickou třídu repeat-until-success kvantových obvodů lze nadále optimalizovat, jelikož mají velmi specifickou formu, což vede k potřebě speciální specifikace vstupu takového obvodu, která potvrzuje nekonzistence mnohých existujících implementací. Naše řešení porovnáváme s moderním nástrojem Quokka# na souboru 500 úloh a ukazujeme, že každý z přístupů je v určité podskupině úloh lepší než ten druhý.
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.
LDPC kódy se stávají stále častěji populárními a v praxi nasazovanými zejména díky jejich účinnosti při využívání pravděpodobnostního dekodéru. V této práci jsou představeny nové metodologie pro návrh LDPC kódů na bázi genetických optimalizačních algoritmů, pro implementaci LDPC dekodérů na paralelní architektury a pro vylepšováním bitové chybovosti stávajících dekodérů. \n \nLDPC kódy jsou definovány kontrolní maticí nebo Tannerovým grafem, jehož parametry definují vlastnosti a účinnost dekodéru, zejména pak hodnosti uzlů a výskyt cyklů. V této práci je představen algoritmus pro návrh Tannerových grafů s nastavitelným omezením výskytu cyklů, který je dále využíván pro algoritmy genetické optimalizace. Navržené algoritmy jsou testovány na různých délkách kódového slova. \n \nDruhá část dizertační práce se zabývá implementací iregulárních LDPC kódů na paralelní architektury. Představená metoda je prakticky implementovaná na GPU s využitím OpenCL a CUDA frameworků. \n \nPoslední část dizertační práce se zabývá vylepšováním bitové chybovosti stávajících dekodérů. První představená metoda využívá zpětné procházení kódových slov. Druhá představená metoda je založena na využívání mutací kontrolních matic. Mutované kontrolní matice zabezpečují stejný prostor kódových slov, ale mění parametry konvergence dekodéru. Tuto informaci je možné dále využívat pro zpřesnění odhadu původního kódového slova. \n \nBudoucí práce může být zaměřena na rozvoj metod představených v práci, na jejich praktickou implementaci a na vývoj algoritmů zaměřených na LDPC kódy s delší délkou kódového slova.
Tato diplomová práce se zabývá nastupující hrozbou kvantových počítačů a analýzou kvantově odolných metod pro ochranu soukromí. Obě témata jsou aktuálně hojně diskutovaná v oblasti bezpečnosti a kryptografie. Kvantové počítače představují riziko pro určité současné kryptografické systémy, proto je nezbytné analyzovat a vytvořit nové bezpečné metody, které budou této hrozbě odolávat. S rostoucí digitalizací osobních údajů se technologie chránící soukromí (PETs) stávají nezbytností, avšak jejich dosavadní realizace často spoléhají na zranitelné asymetrické algoritmy. Teoretická část práce se zaměřuje na popis kvantových počítačů, kvantových jevů a jejich dopadů na současnou kryptografii. Následně je analyzován současný stav vývoje kvantových počítačů, jsou představeny rodiny postkvantové kryptografie včetně aktuální standardizace a popsány současné metody pro ochranu soukromí uživatelů. Poté je provedeno porovnání výpočetní a paměťové náročnosti protokolů s nulovou znalostí (zk-SNARK, zk-STARK), skupinových podpisů a schémat atributové autentizace, které vycházejí z odborné literatury. Na základě tohoto porovnání byla posouzena vhodnost nasazení zmíněných metod v praxi a pro demonstraci konkrétního uživatelského scénáře byla vybrána konstrukce atributových pověření autorů Argo et al. Praktická část práce se věnuje implementaci tohoto řešení do podoby plně funkčního webového demonstrátoru. Navržená softwarová architektura kombinuje nízkoúrovňové kryptografické jádro v programovacím jazyce C s asynchronní orchestrační vrstvou v programovacím jazyce Python a interaktivním uživatelským rozhraním. Vyvinutý demonstrátor pokrývá celý životní cyklus pověření, od bezpečného vydání přes lokální zašifrované uložení až po anonymní prokázání vlastnictví atributů pomocí důkazu s nulovou znalostí. V závěru práce je provedeno výkonnostní zhodnocení demonstrátoru. Výsledky měření prokazují, že optimalizovaný postkvantový systém dosahuje latencí přijatelných pro reálné nasazení na běžných výpočetních zařízeních.
Nazev prace: Studium silnych elektronovych korelaci v primesovych mode- lech pomoci diagrarnatickych metod Autor: Pavel Augustinsky Katedra: Ijstav teoreticke fyziky Vedouci diplomove prace: Prof. RNDr. Vaclav Janis, DrSc., FZU AVCR e-mail vedouciho: janis@fzu.cz Abstrakt: V teto praci studujeme kvantove rnodely interagujicich elektronu a vysledky pouzivame na Andersonuv model jedne primesi. V prvni casti uva- dime souhrn pouzitych metod. Jsou to predevsim diagramaticka poruchova teorie a z ni vychazejici Dysonova rovnice, Betheho-Salpeterovy rovnice a Schwingerova-Dysonova rovnice. Dale rozebirame nekolik bezne pouzivanych priblizeni vychazejicich z diagramaticke poruchove teorie. Hartreeho priblizeni, priblizeni nahodnych fazi (RPA), priblizeni matice prechodu (TMA)j pribli- zeni stinene interakce a priblizeni fluktuujici vymeny (FLEX). Ta vsak z ruz- nych duvodu selhavaji pri popisu Andersonova modelu v rezimu silne vazby. V posledni casti \^ybudujerne metodu zalozenou na takzvane parketove rovnici, ktera dava pro Andersonuv model kvalitativne spravne \orsledky jak v rezimu slabe, tak silne vazby. Kondova energeticka skala spoctena na jejim zaklade je v pomerne dobrern souhlasu s exaktnim vysledkem a numericke feseni ukazuje vznik takzvanych satelitnich pasu v hustote stavu. Klicova slova: Feynmanovy...