Implementation of a Deutsch-like quantum algorithm utilizing entanglement at the two-qubit level, on an NMR quantum information processor

We describe the experimental implementation of a recently proposed quantum algorithm involving quantum entanglement at the level of two qubits using NMR. The algorithm solves a generalisation of the Deutsch problem and distinguishes between even and odd functions using fewer function calls than is possible classically. The manipulation of entangled states of the two qubits is essential here, unlike the Deutsch-Jozsa algorithm and the Grover's search algorithm for two bits.Comment: 4 pages, two eps figure

Proof Relevant Corecursive Resolution

Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

A Buffer Stocks Model for Stabilizing Price of Staple Food with Considering the Expectation of Non Speculative Wholesaler

This paper is a study of price stabilization in the staple food distribution system. All stakeholders experience market risks due to some possibility causes of price volatility. Many models of price stabilization had been developed by employing several approaches such as floor-ceiling prices, buffer funds, export or import taxes, and subsidies. In the previous researches, the models were expanded to increase the purchasing price for producer and decrease the selling price for consumer. Therefore, the policy can influence the losses for non-speculative wholesaler that is reflected by the descending of selling quantity and ascending of the stocks. The objective of this model is not only to keep the expectation of both producer and consumer, but also to protect non-speculative wholesaler from the undesirable result of the stabilization policy. A nonlinear programming model was addressed to determine the instruments of intervention program. Moreover, the result shows that the wholesaler behavior affects the intervention costs. Index Terms Buffer stocks, Price stabilization, Nonlinear programming, Wholesaler behavior

NMR quantum computation with indirectly coupled gates

An NMR realization of a two-qubit quantum gate which processes quantum information indirectly via couplings to a spectator qubit is presented in the context of the Deutsch-Jozsa algorithm. This enables a successful comprehensive NMR implementation of the Deutsch-Jozsa algorithm for functions with three argument bits and demonstrates a technique essential for multi-qubit quantum computation.Comment: 9 pages, 2 figures. 10 additional figures illustrating output spectr

Quantum search without entanglement

Entanglement of quantum variables is usually thought to be a prerequisite for obtaining quantum speed-ups of information processing tasks such as searching databases. This paper presents methods for quantum search that give a speed-up over classical methods, but that do not require entanglement. These methods rely instead on interference to provide a speed-up. Search without entanglement comes at a cost: although they outperform analogous classical devices, the quantum devices that perform the search are not universal quantum computers and require exponentially greater overhead than a quantum computer that operates using entanglement. Quantum search without entanglement is compared to classical search using waves.Comment: 9 pages, TeX, submitted to Physical Review Letter

Universal simulation of Hamiltonian dynamics for qudits

What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? Dodd et al. (quant-ph/0106064) provided a partial solution to this problem in the form of an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling N-qubit Hamiltonian, and local unitaries. We extend this result to the case where the component systems have D dimensions. As a consequence we explain how universal quantum computation can be performed with any fixed two-body entangling N-qudit Hamiltonian, and local unitaries.Comment: 13 pages, an error in the "Pauli-Euclid-Gottesman Lemma" fixed, main results unchange

An investigation of eddy-current damping of multi-stage pendulum suspensions for use in interferometric gravitational wave detectors

In this article we discuss theoretical and experimental investigations of the use of eddy-current damping for multi-stage pendulum suspensions such as those intended for use in Advanced LIGO, the proposed upgrade to LIGO (the US laser interferometric gravitational-wave observatory). The design of these suspensions is based on the triple pendulum suspension design developed for GEO 600, the German/UK interferometric gravitational wave detector, currently being commissioned. In that detector all the low frequency resonant modes of the triple pendulums are damped by control systems using collocated sensing and feedback at the highest mass of each pendulum, so that significant attenuation of noise associated with this so-called local control is achieved at the test masses. To achieve the more stringent noise levels planned for Advanced LIGO, the GEO 600 local control design needs some modification. Here we address one particular approach, namely that of using eddy-current damping as a replacement or supplement to active damping for some or all of the modes of the pendulums. We show that eddy-current damping is indeed a practical alternative to the development of very low noise sensors for active damping of triple pendulums, and may also have application to the heavier quadruple pendulums at a reduced level of damping

Heterogeneity and Vulnerability in the Urban Informal Economy

The focus of this paper is on the low-value urban informal economy in sub-Saharan Africa. The paper presents a case study from Uganda, with the focus on secondary cities where much of the urban population growth is expected in the next decade. There is also good evidence that informality will persist within both dynamic and in slow urban economies in sub-Saharan Africa. Analysis of the results from fieldwork is presented in support of the basic argument that, as the informal economy is likely to persist there is need for a more conducive policy approach to ensure its positive contribution to the urban economic development; seen as a mainstay of Africa’s future economic development. Currently, the informal economy is considered ephemeral, with little institutional engagement, with the focus on restrictive measures. The paper explores the range of theoretical perspectives on the urban informal economy leading to its re-conceptualizing as part of a continuum of activities in which both formal and informal elements are interlinked. Given the need to improve productivity of activities of different constituent groups along the continuum, the aim of this paper is to develop a conceptual framework that would enable the systematic analyses and identification of the internal diversities within the informal economy. It could be used in future policy research to identify diagnostic groups for entry points. The findings from the fieldwork carried out in the cities of Mbale and Mbarara, show that there are several viable options for sustainable livelihoods, particularly in a dynamic urban center. However, while women dominate in numbers, men remain the main actors. This calls for an inclusive, gender-mainstreamed, pro-poor development policy to complement an enterprise-based approach