Controlled formalized operators
Nikolay Raychev · International Journal of Scientific and Engineering Research · 2015
In this report is considered the generalization of the principles, which manage the formalization of controlled qubit operators. The research builds on the standard external data sources, for development of a generalized system for conditional operators. Certain controlled operators are viewed as linear combinations of universal operators. This system provides a generalized scheme for the type of the controlled operators, which could be encountered in a circuit, composed entirely of elementary operators. In this report is presented a formalized generalization of single qubit and controlled operators, based on formalized single qubit operator. This work is part of the developed by the author formalized system for designing of algorithmic models for quantum circuits, based on phase encoding, decod- ing and parameterization of primitive quantum operators. In previous publications of the author (6, 7, 8) were defined sev- eral sets of operators on the n qubit, which generalize certain classical characteristics: identity and logical negation. Moreo- ver, some ways were explored in which can be constructed operators as linear combinations of elements from those sets. Such combinations capture the partial application of an opera- tor together with another operator, which in a broader sense is its logical negation.