We show that the space of density matrices for n-qubit states, considered as a (2)-dimensional real vector space, has a basis consisting of density matrices of stabilizer states. We describe an application of this result to automated verification of quantum protocols. 1 Definitions and Results We are working with the stabilizer formalism [5], in which certain quantum states on sets of qubits ar...

In this study, we introduce an indirect adaptive fuzzy wavelet neural controller (IAFWNC) as a power system stabilizer to damp inter-area modes of oscillations in a multi-machine power system. Quantum computing is an efficient method for improving the computational efficiency of neural networks, so we developed an identifier based on a quantum neural network (QNN) to train the IAFWNC in the pro...

Based on a Neuro-Fuzzy Controller (NFC) architecture, two approaches are presented for the design of a Power System Stabilizer (PSS) with adaptive input scaling. In the first approach, input link weights (ILWs) are introduced and the NFC is made adaptive by the online modification of the ILWs and the consequent parameters (CPs) through the gradient descent method. In the second approach, nonlin...

This paper focuses on the use of advanced techniques in genetic algorithm for solving power system stabilization control problems. Dynamic stability analysis of power system is investigated considering Proportional-IntegralDerivative power system stabilizer for modern power systems. Gain settings of PID-PSS are optimized by minimizing an objective function using genetic algorithm (GA). Dynamic ...

A local stabilizer protocol that takes any on-line or oo-line distributed algorithm and converts it into a synchronous self-stabilizing algorithm with local monitoring and repairing properties is presented. Whenever the self-stabilizing version enters an inconsistent state, the inconsistency is detected, in O(1) time, and the system state is repaired in a local manner. The expected computation ...

We give a geometric description of binary quantum stabilizer codes. In the case of distance d = 4 this leads to the notion of a quaternary quantum cap. We describe several recursive constructions for quantum caps, determine the quantum caps in PG(3, 4) and the cardinalities of quantum caps in PG(4, 4). ∗research partially supported NSA grant H98230-10-1-0159 †The research of this author takes p...

An explicit lattice realization of a non-Abelian topological memory is presented. The correspondence between logical and physical states is seen directly by use of the stabilizer formalism. The resilience of the encoded states against errors is studied and compared to that of other memories. A set of non-topological operations are proposed to manipulate the encoded states, resulting in universa...

Many economists believe that credit market distortions create a financial accelerator which destabilizes the economy. This paper shows that when credit market distortions arise from adverse selection they sometimes stabilize the economy rather than destabilize it. The stabilizing forces are closely related to forces that cause overinvestment in static models. When investment projects are equity...

v Abstract. The chemical stability tests currently used for propellants suffer from some drawback. In this paper an attempt has been made to recast the existing system of stability testing in order to improve the reliability factor. A new stability concept has also been brought out based on the action of the stabilizer and its derivatives with the decomposed products of the nitric esters, the c...