Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Pauli quantum gates

Sortuj według:

Ogranicz wyniki do:

Bramki kwantowe

Romaniuk Ryszard

Elektronika : konstrukcje, technologie, zastosowania

2021

Vol. 62, nr 12

17--25

Bramka kwantowa jest elementarnym układem logicznym działającym na niewielkiej liczbie kubitów, typowo jednym, dwóch, trzech, czasami na rejestrze kubitów (kubajt). Bramki kwantowe są stosowane w modelu obliczeniowym bazującym na układach kwantowych, w pewnym sensie analogicznych do układów elektronicznych. Niektóre bramki klasyczne posiadają kwantowe bramki ekwiwalentne. W takim przypadku te bramki kwantowe posiadają klasyczne tabele prawdy, np. bramka Toffoli. Układy kwantowe mogą wykonać wszystkie operacje układów klasycznych, ale nie odwrotnie. Bramki kwantowe są opisane operatorami macierzowymi odwracalnymi i unitarnymi. Podstawowe bramki kwantowe mają operatory indempotentne i inwolucyjne (samo-odwracalne), inaczej hermitowskie. Podstawę możliwości wykorzystania idealnych logicznych bramek kwantowych do budowy efektywnego systemu obliczeniowego stanowią ścisłe dowody realizowalności niedeterministycznej kwantowej maszyny Turinga, twierdzenia o istnieniu skończonego uniwersalnego zbioru bramek kwantowych pozwalającego na budowę takiej maszyny (twierdzenie Solovaya-Kitayeva), twierdzeniu o możliwości symulacji uniwersalnego zbioru bramek przez probabilistyczną maszynę Turinga (twierdzenie Gottesmanna-Knillla), itp. W artykule dokonano przeglądu uniwersalnego zbioru bramek kwantowych, w tym grupy Clifforda/Pauliego, wraz z uwarunkowaniami ich stosowalności do budowy funkcjonalnych obliczeniowych układów kwantowych.

A quantum gate is an elementary logic circuit that operates on a small number of qubits, typically one, two, three, and sometimes on a qubit register (qubyte). Quantum gates are used in a computational model based on quantum systems, somewhat analogous to electronic systems. Some classical gates have quantum equivalent gates. In such a case, these quantum gates have classic truth tables, e.g., the Toffoli gate. Quantum systems can perform all the operations of classical systems, but not the other way around. Quantum gates are described by reverse and unitary matrix operators. Basic quantum gates have idempotent and involution operators, and they are Hermitian. The basis for the possibility of using ideal logical quantum gates to build an effective computational system are the strict proofs of the feasibility of a nondeterministic Turing quantum machine, theorems about the existence of a finite universal set of quantum gates allowing for the construction of such a machine (Solovay-Kitayev theorem), theorem about the possibility of simulating a universal set of gates by probabilistic Turing machine (Gottesmann-Knill theorem), etc. The article reviews the universal set of quantum gates, including Clifford/Pauli group, along with the conditions of their applicability to the construction of functional computing quantum systems.