Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Sorting of amount of Entanglement in Quantum States functions implemented for Quantum Computing Simulator

Gierelak R., Sawerwain M.

Pomiary Automatyka Kontrola

2009

R. 55, nr 7

524-527

A sorting of quantum states routines with respect to the amount of entanglement included is being introduced on the Quantum Computer Simulator and intensively tested. In particular a sorting routine basing on the lexicographic ordering of the corresponding Schmidt coefficients is being formulated and tested. The corresponding algorithm relies on the partial order relations and the final nonlinear sorting is given in terms of MergeSort data.

W artykule przedstawiono algorytmy sortowania stanów kwantowych ze względu na poziom splątania. Algorytmy te zostały zaimplementowane w ramach budowanego symulatora obliczeń kwantowych. Przedstawione zostały dwa algorytmy, pierwszy oparty jest o porządek leksykograficzny względem współczynników Schmidta oraz drugi względem porządku liniowego uzyskanego dzięki entropii von Neumanna. Zaprezentowane zostały także wyniki dotyczące złożoności obliczeniowych przedstawionych algorytmów.

Natural quantum operational semantics with predicates

Sawerwain M., Gierelak R.

International Journal of Applied Mathematics and Computer Science

2008

Vol. 18, no 3

341-359

A general definition of a quantum predicate and quantum labelled transition systems for finite quantum computation systems is presented. The notion of a quantum predicate as a positive operator-valued measure is developed. The main results of this paper are a theorem about the existence of generalised predicates for quantum programs defined as completely positive maps and a theorem about the existence of a GSOS format for quantum labelled transition systems. The first theorem is a slight generalisation of D’Hondt and Panagaden’s theorem about the quantum weakest precondition in terms of discrete support positive operator-valued measures.