Dynamics of capacitively coupled double quantum dots

We consider a double dot system of equivalent, capacitively coupled semiconducting quantum dots, each coupled to its own lead, in a regime where there are two electrons on the double dot. Employing the numerical renormalization group, we focus here on single-particle dynamics and the zero-bias conductance, considering in particular the rich range of behaviour arising as the interdot coupling is progressively increased through the strong-coupling (SC) phase, from the spin-Kondo regime, across the SU(4) point to the charge-Kondo regime, and then towards and through the quantum phase transition to a charge-ordered ( CO) phase. We first consider the two-self-energy description required to describe the broken symmetry CO phase, and implications thereof for the non-Fermi liquid nature of this phase. Numerical results for single-particle dynamics on all frequency scales are then considered, with particular emphasis on universality and scaling of low-energy dynamics throughout the SC phase. The role of symmetry breaking perturbations is also briefly discussed.

Framework for enabling highly available distributed applications for utility computing

The move towards IT outsourcing is the first step towards an environment where compute infrastructure is treated as a service. In utility computing this IT service has to honor Service Level Agreements (SLA) in order to meet the desired Quality of Service (QoS) guarantees. Such an environment requires reliable services in order to maximize the utilization of the resources and to decrease the Total Cost of Ownership (TCO). Such reliability cannot come at the cost of resource duplication, since it increases the TCO of the data center and hence the cost per compute unit. We, in this paper, look into aspects of projecting impact of hardware failures on the SLAs and techniques required to take proactive recovery steps in case of a predicted failure. By maintaining health vectors of all hardware and system resources, we predict the failure probability of resources based on observed hardware errors/failure events, at runtime. This inturn influences an availability aware middleware to take proactive action (even before the application is affected in case the system and the application have low recoverability). The proposed framework has been prototyped on a system running HP-UX. Our offline analysis of the prediction system on hardware error logs indicate no more than 10% false positives. This work to the best of our knowledge is the first of its kind to perform an end-to-end analysis of the impact of a hardware fault on application SLAs, in a live system.

Computing complete test graphs for hierarchical systems

Conformance testing focuses on checking whether an implementation. under test (IUT) behaves according to its specification. Typically, testers are interested it? performing targeted tests that exercise certain features of the IUT This intention is formalized as a test purpose. The tester needs a "strategy" to reach the goal specified by the test purpose. Also, for a particular test case, the strategy should tell the tester whether the IUT has passed, failed. or deviated front the test purpose. In [8] Jeron and Morel show how to compute, for a given finite state machine specification and a test purpose automaton, a complete test graph (CTG) which represents all test strategies. In this paper; we consider the case when the specification is a hierarchical state machine and show how to compute a hierarchical CTG which preserves the hierarchical structure of the specification. We also propose an algorithm for an online test oracle which avoids a space overhead associated with the CTG.

Thermal correlation functions of twisted quantum fields

We derive the thermal correlators for twisted quantum fields on noncommutative spacetime. We show that the thermal expectation value of the number operator is same as in commutative spacetime, but that higher correlators are sensitive to the noncommutativity parameters phi(mu nu).

Quantum Error Correction via Codes over GF(2)

It is well known that n-length stabilizer quantum error correcting codes (QECCs) can be obtained via n-length classical error correction codes (CECCs) over GF(4), that are additive and self-orthogonal with respect to the trace Hermitian inner product. But, most of the CECCs have been studied with respect to the Euclidean inner product. In this paper, it is shown that n-length stabilizer QECCs can be constructed via 371 length linear CECCs over GF(2) that are self-orthogonal with respect to the Euclidean inner product. This facilitates usage of the widely studied self-orthogonal CECCs to construct stabilizer QECCs. Moreover, classical, binary, self-orthogonal cyclic codes have been used to obtain stabilizer QECCs with guaranteed quantum error correcting capability. This is facilitated by the fact that (i) self-orthogonal, binary cyclic codes are easily identified using transform approach and (ii) for such codes lower bounds on the minimum Hamming distance are known. Several explicit codes are constructed including two pure MDS QECCs.

Specification-driven approach for protocol design of distributed computing systems

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.

Neel order, quantum spin liquids, and quantum criticality in two dimensions

This paper is concerned with the possibility of a direct second-order transition out of a collinear Neel phase to a paramagnetic spin liquid in two-dimensional quantum antiferromagnets. Contrary to conventional wisdom, we show that such second-order quantum transitions can potentially occur to certain spin liquid states popular in theories of the cuprates. We provide a theory of this transition and study its universal properties in an epsilon expansion. The existence of such a transition has a number of interesting implications for spin-liquid-based approaches to the underdoped cuprates. In particular it considerably clarifies existing ideas for incorporating antiferromagnetic long range order into such a spin-liquid-based approach.

Geometric quantum computation using fictitious spin-1/2 subspaces of strongly dipolar coupled nuclear spins

Geometric phases have been used in NMR to implement controlled phase shift gates for quantum-information processing, only in weakly coupled systems in which the individual spins can be identified as qubits. In this work, we implement controlled phase shift gates in strongly coupled systems by using nonadiabatic geometric phases, obtained by evolving the magnetization of fictitious spin-1/2 subspaces, over a closed loop on the Bloch sphere. The dynamical phase accumulated during the evolution of the subspaces is refocused by a spin echo pulse sequence and by setting the delay of transition selective pulses such that the evolution under the homonuclear coupling makes a complete 2 pi rotation. A detailed theoretical explanation of nonadiabatic geometric phases in NMR is given by using single transition operators. Controlled phase shift gates, two qubit Deutsch-Jozsa algorithm, and parity algorithm in a qubit-qutrit system have been implemented in various strongly dipolar coupled systems obtained by orienting the molecules in liquid crystal media.

Gas turbine diagnostics using a soft computing approach

A fuzzy system is developed using a linearized performance model of the gas turbine engine for performing gas turbine fault isolation from noisy measurements. By using a priori information about measurement uncertainties and through design variable linking, the design of the fuzzy system is posed as an optimization problem with low number of design variables which can be solved using the genetic algorithm in considerably low amount of computer time. The faults modeled are module faults in five modules: fan, low pressure compressor, high pressure compressor, high pressure turbine and low pressure turbine. The measurements used are deviations in exhaust gas temperature, low rotor speed, high rotor speed and fuel flow from a base line 'good engine'. The genetic fuzzy system (GFS) allows rapid development of the rule base if the fault signatures and measurement uncertainties change which happens for different engines and airlines. In addition, the genetic fuzzy system reduces the human effort needed in the trial and error process used to design the fuzzy system and makes the development of such a system easier and faster. A radial basis function neural network (RBFNN) is also used to preprocess the measurements before fault isolation. The RBFNN shows significant noise reduction and when combined with the GFS leads to a diagnostic system that is highly robust to the presence of noise in data. Showing the advantage of using a soft computing approach for gas turbine diagnostics.

Fractional quantum Hall edge: Effect of nonlinear dispersion and edge roton

According to Wen's theory, a universal behavior of the fractional quantum Hall edge is expected at sufficiently low energies, where the dispersion of the elementary edge excitation is linear. A microscopic calculation shows that the actual dispersion is indeed linear at low energies, but deviates from linearity beyond certain energy, and also exhibits an "edge roton minimum." We determine the edge exponent from a microscopic approach, and find that the nonlinearity of the dispersion makes a surprisingly small correction to the edge exponent even at energies higher than the roton energy. We explain this insensitivity as arising from the fact that the energy at maximum spectral weight continues to show an almost linear behavior up to fairly high energies. We also study, in an effective-field theory, how interactions modify the exponent for a reconstructed edge with multiple edge modes. Relevance to experiment is discussed.

Biphenyl ethers conjugated CdSe/ZnS core/shell quantum dots and interpretation of the mechanism of amyloid fibril disruption

The biphenyl ethers (BPEs) are the potent inhibitors of TTR fibril formation and are efficient fibril disrupter. However, the mechanism by which the fibril disruption occurs is yet to be fully elucidated. To gain insight into the mechanism, we synthesized and used a new QD labeled BPE to track the process of fibril disruption. Our studies showed that the new BPE-QDs bind to the fiber uniformly and has affinity and specificity for TTR fiber and disrupted the pre-formed fiber at a relatively slow rate. Based on these studies we put forth the probable mechanism of fiber disruption by BPEs. Also, we show here that the BPE-QDs interact with high affinity to the amyloids of A beta(42), lysozyme and insulin. The potential of BPE-QDs in the detection of senile plaque in the brain of transgenic Alzheimer's mice has also been explored. (C) 2010 Elsevier Ltd. All rights reserved.

A soluble random-matrix model for relaxation in quantum systems

We study the relaxation of a degenerate two-level system interacting with a heat bath, assuming a random-matrix model for the system-bath interaction. For times larger than the duration of a collision and smaller than the Poincaré recurrence time, the survival probability of still finding the system at timet in the same state in which it was prepared att=0 is exactly calculated.

Computing a matrix symmetrizer exactly using modified multiple modulus residue arithmetic

A symmetric solution X satisfying the matrix equation XA = AtX is called a symmetrizer of the matrix A. A general algorithm to compute a matrix symmetrizer is obtained. A new multiple-modulus residue arithmetic called floating-point modular arithmetic is described and implemented on the algorithm to compute an error-free matrix symmetrizer.

Completeness of the Coulomb wave functions in quantum mechanics

We give an explicit, direct, and fairly elementary proof that the radial energy eigenfunctions for the hydrogen atom in quantum mechanics, bound and scattering states included, form a complete set. The proof uses only some properties of the confluent hypergeometric functions and the Cauchy residue theorem from analytic function theory; therefore it would form useful supplementary reading for a graduate course on quantum mechanics.

On computing an equivalent symmetric matrix for a nonsymmetric matrix

A real or a complex symmetric matrix is defined here as an equivalent symmetric matrix for a real nonsymmetric matrix if both have the same eigenvalues. An equivalent symmetric matrix is useful in computing the eigenvalues of a real nonsymmetric matrix. A procedure to compute equivalent symmetric matrices and its mathematical foundation are presented.