Cross-level Validation of Topological Quantum Circuits

Quantum computing promises a new approach to solving difficult computational problems, and the quest of building a quantum computer has started. While the first attempts on construction were succesful, scalability has never been achieved, due to the inherent fragile nature of the quantum bits (qubits). From the multitude of approaches to achieve scalability topological quantum computing (TQC) is the most promising one, by being based on an flexible approach to error-correction and making use of the straightforward measurement-based computing technique. TQC circuits are defined within a large, uniform, 3-dimensional lattice of physical qubits produced by the hardware and the physical volume of this lattice directly relates to the resources required for computation. Circuit optimization may result in non-intuitive mismatches between circuit specification and implementation. In this paper we introduce the first method for cross-level validation of TQC circuits. The specification of the circuit is expressed based on the stabilizer formalism, and the stabilizer table is checked by mapping the topology on the physical qubit level, followed by quantum circuit simulation. Simulation results show that cross-level validation of error-corrected circuits is feasible.Comment: 12 Pages, 5 Figures. Comments Welcome. RC2014, Springer Lecture Notes on Computer Science (LNCS) 8507, pp. 189-200. Springer International Publishing, Switzerland (2014), Y. Shigeru and M.Shin-ichi (Eds.

Magnetic control assembly qualification model

Fabrication and testing of the magnetic control assembly (MCA) are summarized. The MCA was designed as an add-on unit for certain existing components of the Nimbus and ERTS attitude control system. The MCA system consists of three orthogonal electromagnets; a magnetometer probe capable of sensing external fields in the X, Y, and Z axes; and the control electronics. An operational description of the system is given along with all major drawings and photographs. Manufacturing and inspection procedures are outlined and a chronological list of events is included with the fabrication summary

The Equilibrium Distribution of Gas Molecules Adsorbed on an Active Surface

We evaluate the exact equilibrium distribution of gas molecules adsorbed on an active surface with an infinite number of attachment sites. Our result is a Poisson distribution having mean $X = {\mu P P_s \over P_e}$, with $\mu$ the mean gas density, $P_s$ the sticking probability, $P_e$ the evaporation probability in a time interval $\tau$, and $P$ Smoluchowski's exit probability in time interval $\tau$ for the surface in question. We then solve for the case of a finite number of attachment sites using the mean field approximation, recovering in this case the Langmuir isotherm.Comment: 14 pages done in late

The development of a model to infer precipitation from microwave measurements

To permit the inference of precipitation amounts from radiometric measurements, a radiative interaction model was developed. This model uses a simple computational scheme to determine the effects of rain upon brightness temperatures and can be used with a statistical inversion procedure to invert for rain rate. Precipitating cloud models was also developed and used with the microwave model for frequencies of 19.35 and 37 GHz to determine the variability of the microwave-rain rate relationship on a global and seasonal basis

Refactorings of Design Defects using Relational Concept Analysis

Software engineers often need to identify and correct design defects, ıe} recurring design problems that hinder development and maintenance\ud by making programs harder to comprehend and--or evolve. While detection\ud of design defects is an actively researched area, their correction---mainly\ud a manual and time-consuming activity --- is yet to be extensively\ud investigated for automation. In this paper, we propose an automated\ud approach for suggesting defect-correcting refactorings using relational\ud concept analysis (RCA). The added value of RCA consists in exploiting\ud the links between formal objects which abound in a software re-engineering\ud context. We validated our approach on instances of the <span class='textit'></span>Blob\ud design defect taken from four different open-source programs

On the Nature of Precursors in the Radio Pulsar Profiles

In the average profiles of several radio pulsars, the main pulse is accompanied by the preceding component. This so called precursor is known for its distinctive polarization, spectral, and fluctuation properties. Recent single-pulse observations hint that the sporadic activity at the extreme leading edge of the pulse may be prevalent in pulsars. We for the first time propose a physical mechanism of this phenomenon. It is based on the induced scattering of the main pulse radiation into the background. We show that the scattered component is directed approximately along the ambient magnetic field and, because of rotational aberration in the scattering region, appears in the pulse profile as a precursor to the main pulse. Our model naturally explains high linear polarization of the precursor emission, its spectral and fluctuation peculiarities as well as suggests a specific connection between the precursor and the main pulse at widely spaced frequencies. This is believed to stimulate multifrequency single-pulse studies of intensity modulation in different pulsars.Comment: 5 pages, no figures. Accepted for publication in MNRAS Letter

On a generalized quantum SWAP gate

The SWAP gate plays a central role in network designs for qubit quantum computation. However, there has been a view to generalize qubit quantum computing to higher dimensional quantum systems. In this paper we construct a generalized SWAP gate using only instances of the generalized controlled-NOT gate to cyclically permute the states of d qudits for d prime

Experimental characterization of deployable trusses and joints

The structural dynamic properties of trusses are strongly affected by the characteristics of joints connecting the individual beam elements. Joints are particularly significant in that they are often the source of nonlinearities and energy dissipation. While the joints themselves may be physically simple, direct measurement is often necessary to obtain a mathematical description suitable for inclusion in a system model. Force state mapping is a flexible, practical test method for obtaining such a description, particularly when significant nonlinear effects are present. It involves measurement of the relationship, nonlinear or linear, between force transmitted through a joint and the relative displacement and velocity across it. An apparatus and procedure for force state mapping are described. Results are presented from tests of joints used in a lightweight, composite, deployable truss built by the Boeing Aerospace Company. The results from the joint tests are used to develop a model of a full 4-bay truss segment. The truss segment was statically and dynamically tested. The results of the truss tests are presented and compared with the analytical predictions from the model