610 research outputs found

    How can the D-Wave machine exhibit long-time quantum behaviour

    Get PDF
    Extensive experiments have demonstrated quantum behaviour in the long-time operation of the D-Wave quantum computer. The decoherence time of a single flux qubit is reported to be on the order of nanoseconds [1],which is much shorter than the time required to carry out a computation on the timescale of seconds [2, 3]. Previous judgements of whether the D-Wave device should be thought of as a quantum computer have been based on correlations of the input-output behaviour of the D-Wave machine with a quantum model, called simulated quantum annealing, or classical models, called simulated annealing and classical spin dynamics [4]. Explanations for a factor of 10(8) discrepancy between the single flux qubit decoherence time and the long-time coherent quantum behaviour of many integrated flux qubits of the D-Wave device have not been offered so far. In our contribution we investigate a model of four qubits with one qubit coupled to a phonon and (optionally) to environmental particles of high density of states, called gravonons. The calculations indicate that when no gravonons are present, the current in the qubit is flipped at some time and adiabatic evolution is discontinued. The time dependent wave functional becomes a non-correctable superposition of many excited states. The results demonstrate the possibility of effectively suppressing the current flip and allowing for continued adiabatic evolution when the entanglement to gravonons is included. This adiabatic evolution is, however, a coherent evolution in high dimensional spacetime and cannot be understood as a solution of Schrodinger's time dependent equation in 4 dimensional spacetime. Compared to Schrodinger's time development in 4D, the evolution is considerably slowed down, though still adiabatic. The properties of our model reflect correctly the experimentally found behaviour of the D-Wave machine and explain the factor of 10(8) discrepancy between decoherence time and quantum computation time. The observation and our explanation are in anology to the 10(8) discrepancy factor found, when comparing experimental results on adsorbate quantum diffusion rate with predictions of Schrodinger's time dependent equation, which can also be resolved in a model with the coupling to gravonons included

    Synchronizing Words for Weighted and Timed Automata

    Get PDF
    The problem of synchronizing automata is concerned with the existence of a word that sends all states of the automaton to one and the same state. This problem has classically been studied for complete deterministic finite automata, with the existence problem being NLOGSPACE-complete. In this paper we consider synchronizing-word problems for weighted and timed automata. We consider the synchronization problem in several variants and combinations of these, including deterministic and non-deterministic timed and weighted automata, synchronization to unique location with possibly different clock valuations or accumulated weights, as well as synchronization with a safety condition forbidding the automaton to visit states outside a safety-set during synchronization (e.g. energy constraints). For deterministic weighted automata, the synchronization problem is proven PSPACE-complete under energy constraints, and in 3-EXPSPACE under general safety constraints. For timed automata the synchronization problems are shown to be PSPACE-complete in the deterministic case, and undecidable in the non-deterministic case

    Achieving Universal Access for Human Immunodeficiency Virus and Tuberculosis: Potential Prevention Impact of an Integrated Multi-Disease Prevention Campaign in Kenya

    Get PDF
    In 2009, Government of Kenya with key stakeholders implemented an integrated multi-disease prevention campaign for water-borne diseases, malaria and HIV in Kisii District, Nyanza Province. The three day campaign, targeting 5000 people, included testing and counseling (HTC), condoms, long-lasting insecticide-treated bednets, and water filters. People with HIV were offered on-site CD4 cell counts, condoms, co-trimoxazole, and HIV clinic referral. We analysed the CD4 distributions from a district hospital cohort, campaign participants and from the 2007 Kenya Aids Indicator Survey (KAIS). Of the 5198 individuals participating in the campaign, all received HTC, 329 (6.3%) tested positive, and 255 (5%) were newly diagnosed (median CD4 cell count 536 cells/μL). The hospital cohort and KAIS results included 1,284 initial CD4 counts (median 348/L) and 306 initial CD4 counts (median 550/μL), respectively (campaign and KAIS CD4 distributions P = 0.346; hospital cohort distribution was lower P < 0.001 and P < 0.001). A Nyanza Province campaign strategy including ART <350 CD4 cell count could avert approximately 35,000 HIV infections and 1,240 TB cases annually. Community-based integrated public health campaigns could be a potential solution to reach universal access and Millennium Development Goals

    Emergence of four dimensional quantum mechanics from a deterministic theory in 11 dimensions

    Get PDF
    We develop a deterministic theory which accounts for the coupling of a high dimensional continuum of environmental excitations (called gravonons) to massive particle in a very localized and very weak fashion. For the model presented Schrodinger's equation can be solved practically exactly in 11 spacetime dimensions and the result demonstrates that as a function of time an incoming matter wave incident on a screen extinguishes, except at a single interaction center on the detection screen. This transition is reminiscent of the wave - particle duality arising from the "collapse" (also called "process one") postulated in the Copenhagen-von Neumann interpretation. In our theory it is replaced by a sticking process of the particle from the vacuum to the surface of the detection screen. This situation was verified in experiments by using massive molecules. In our theory this "wave-particle transition" is connected to the different dimensionalities of the space for particle motion and the gravonon dynamics, the latter propagating in the hidden dimensions of 11 dimensional spacetime. The fact that the particle is detected at apparently statistically determined points on the screen is traced back to the weakness and locality of the interaction with the gravonons which allows coupling on the energy shell alone. Although the theory exhibits a completely deterministic "chooser" mechanism for single site sticking, an apparent statistical character results, as it is found in the experiments, due to small heterogeneities in the atomic and gravonon structures

    Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller

    Get PDF
    This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been recently proposed, they have only been evaluated on low-dimensional systems or systems with constrained environments. To explore the limits of existing approaches, we present a challenging benchmark in which the NN takes raw LiDAR measurements as input and outputs steering for the car. We train a dozen NNs using reinforcement learning (RL) and show that the state of the art in verification can handle systems with around 40 LiDAR rays. Furthermore, we perform real experiments to investigate the benefits and limitations of verification with respect to the sim2real gap, i.e., the difference between a system’s modeled and real performance. We identify cases, similar to the modeled environment, in which verification is strongly correlated with safe behavior. Finally, we illustrate LiDAR fault patterns that can be used to develop robust and safe RL algorithms

    Divergence in Dialogue

    Get PDF
    Copyright: 2014 Healey et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This work was supported by the Economic and Social Research Council (ESRC; http://www.esrc.ac.uk/) through the DynDial project (Dynamics of Conversational Dialogue, RES-062-23-0962) and the Engineering and Physical Sciences Research Council (EPSRC; http://www.epsrc.ac.uk/) through the RISER project (Robust Incremental Semantic Resources for Dialogue, EP/J010383/1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript

    An Axiomatic Approach to Liveness for Differential Equations

    Full text link
    This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques, such as loop variants, to the continuous setting. For example, ODE solutions may blow up in finite time or their progress towards the goal may converge to zero. Our approach handles these subtleties by successively refining ODE liveness properties using ODE invariance properties which have a well-understood deductive proof theory. This approach is widely applicable: we survey several liveness arguments in the literature and derive them all as special instances of our axiomatic refinement approach. We also correct several soundness errors in the surveyed arguments, which further highlights the subtlety of ODE liveness reasoning and the utility of our deductive approach. The library of common refinement steps identified through our approach enables both the sound development and justification of new ODE liveness proof rules from our axioms.Comment: FM 2019: 23rd International Symposium on Formal Methods, Porto, Portugal, October 9-11, 201

    High-power operation of coherently coupled tapered laser diodes in an external cavity

    Get PDF
    We demonstrate a rear-side phase-locking architecture with two high-brightness diode lasers. This technique is based on the passive phase-locking of emitters in an external cavity on their rear facet, and their coherent combination on the front facet. Two high-brightness high-power tapered laser diodes are coherently combined using a Michelson-based cavity. The combining efficiency is above 80% and results in an output power of 6.7 W in a nearly diffraction-limited beam. The rear-side architecture is then used with a laser bar of 5 tapered emitters using an interferometric extended cavity, based on a diffractive optical element. We describe the experimental evaluation of the diffractive optical element, and the phase-locked operation of the laser bar
    corecore