In this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  And we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. Also, we prove that  right and product stabilizers are filters and if they are ...

in this paper, we introduce the concepts of right, left and product stabilizers on hoops and study some properties and the relation between them.  and we try to find that how they can be equal and investigate that under what condition they can be filter, implicative filter, fantastic and positive implicative filter. also, we prove that  right and product stabilizers are filters and if they are ...

The stabilizer ZX-calculus is a rigorous graphical language for reasoning about quantum mechanics. The language is sound and complete: one can transform a stabilizer ZX-diagram into another one if and only if these two diagrams represent the same quantum evolution or quantum state. We show that the stabilizer ZX-calculus can be simplified, removing unnecessary equations while keeping only the e...

A new type of local-check additive quantum code is presented. Qubits are associated with edges of a 2-dimensional lattice whereas the stabilizer operators correspond to the faces and the vertices. The boundary of the lattice consists of alternating pieces with two different types of boundary conditions. Logical operators are described in terms of relative homology groups. Since Shor’s discovery...

A new type of local-check additive quantum code is presented. Qubits are associated with edges of a 2-dimensional lattice whereas the stabilizer operators correspond to the faces and the vertices. The boundary of the lattice consists of alternating pieces with two different types of boundary conditions. Logical operators are described in terms of relative homology groups. Since Shor’s discovery...

Structural optimization tools and computer simulations have gained the paramount importance in industrial applications as a result of innovative designs, reduced weight and cost effective products. Especially, in aircraft and automobile industries, topology optimization has become an integral part of the product design process. In this paper nonparametric topology optimization has been applied ...

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Such states are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase gates) and can be represented compactly on conventional comp...

In this paper is presented the study of fuzzy logic power stabilizer for stability of a single machine infinite bus (SMIB). The performance of the system with fuzzy logic based power system stabilizer is compared with the system having conventional power system stabilizer and system without power system stabilizer. The results show that the system with fuzzy logic controller is capable of stabi...

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits aredescribed via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Suchstates are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase only) and can be represented compactly onconventio...