612 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

    Real-Time Synthesis is Hard!

    Full text link
    We study the reactive synthesis problem (RS) for specifications given in Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very general setting, but on infinite words only; and only the very restrictive BRRS subcase is known to be decidable (see D'Souza et al. and Bouyer et al.). In this paper, we precise the decidability border of MITL synthesis. We show RS is undecidable on finite words too, and present a landscape of restrictions (both on the logic and on the possible controllers) that are still undecidable. On the positive side, we revisit BRRS and introduce an efficient on-the-fly algorithm to solve it

    Timed Parity Games: Complexity and Robustness

    Get PDF
    We consider two-player games played in real time on game structures with clocks where the objectives of players are described using parity conditions. The games are \emph{concurrent} in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to play strategies that ensure that the player cannot be responsible for causing a zeno run. First, we present an efficient reduction of these games to \emph{turn-based} (i.e., not concurrent) \emph{finite-state} (i.e., untimed) parity games. Our reduction improves the best known complexity for solving timed parity games. Moreover, the rich class of algorithms for classical parity games can now be applied to timed parity games. The states of the resulting game are based on clock regions of the original game, and the state space of the finite game is linear in the size of the region graph. Second, we consider two restricted classes of strategies for the player that represents the controller in a real-time synthesis problem, namely, \emph{limit-robust} and \emph{bounded-robust} winning strategies. Using a limit-robust winning strategy, the controller cannot choose an exact real-valued time delay but must allow for some nonzero jitter in each of its actions. If there is a given lower bound on the jitter, then the strategy is bounded-robust winning. We show that exact strategies are more powerful than limit-robust strategies, which are more powerful than bounded-robust winning strategies for any bound. For both kinds of robust strategies, we present efficient reductions to standard timed automaton games. These reductions provide algorithms for the synthesis of robust real-time controllers

    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

    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

    Plasmonic Metasurface for Directional and Frequency-Selective Thermal Emission

    Get PDF
    International audienceIncandescent filaments and membranes are often used as infrared sources despite their low efficiency, broad angular emission, and lack of spectral selectivity. Here, we introduce a metasurface to control simultaneously the spectrum and the directivity of blackbody radiation. The plasmonic metasurface operates reliably at 600 °C with an emissivity higher than 0.85 in a narrow frequency band and in a narrow solid angle. This emitter paves the way for the development of compact, efficient, and cheap IR sources and gas detection systems

    Distribution-based bisimulation for labelled Markov processes

    Full text link
    In this paper we propose a (sub)distribution-based bisimulation for labelled Markov processes and compare it with earlier definitions of state and event bisimulation, which both only compare states. In contrast to those state-based bisimulations, our distribution bisimulation is weaker, but corresponds more closely to linear properties. We construct a logic and a metric to describe our distribution bisimulation and discuss linearity, continuity and compositional properties.Comment: Accepted by FORMATS 201

    Effects of proton versus photon irradiation on (lymph) angiogenic, inflammatory, proliferative and anti-tumor immune responses in head and neck squamous cell carcinoma

    Get PDF
    International audienceThe proximity of organs at risk makes the treatment of head and neck squamous cell carcinoma (HNSCC) challenging by standard radiotherapy. The higher precision in tumor targeting of proton (P) therapy could promote it as the treatment of choice for HNSCC. Besides the physical advantage in dose deposition, few is known about the biological impact of P versus photons (X) in this setting. To investigate the comparative biological effects of P versus X radiation in HNSCC cells, we assessed the relative biological effectiveness (RBE), viability, proliferation and mRNA levels for genes involved in (lymph)angiogenesis, inflammation, proliferation and anti-tumor immunity. These parameters, particularly VEGF-C protein levels and regulations, were documented in freshly irradiated and/or long-term surviving cells receiving low/high-dose, single (SI)/multiple (MI) irradiations with P/X. The RBE was found to be 1.1 Key (lymph)angiogenesis and inflammation genes were downregulated (except for vegf-c) after P and upregulated after X irradiation in MI surviving cells, demonstrating a more favorable profile after P irradiation. Both irradiation types stimulated vegf-c promoter activity in a NF-ÎşB-dependent transcriptional regulation manner, but at a lesser extent after P, as compared to X irradiation, which correlated with mRNA and protein levels. The cells surviving to MI by P or X generated tumors with higher volume, anarchic architecture and increased density of blood vessels. Increased lymphangiogenesis and a transcriptomic analysis in favor of a more aggressive phenotype were observed in tumors generated with X-irradiated cells. Increased detection of lymphatic vessels in relapsed tumors from patients receiving X radiotherapy was consistent with these findings. This study provides new data about the biological advantage of P, as compared to X irradiation. In addition to its physical advantage in dose deposition, P irradiation may help to improve treatment approaches for HNSCC

    Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Get PDF
    We present simple new Hoare logics and refinement calculi for hybrid systems in the style of differential dynamic logic. (Refinement) Kleene algebra with tests is used for reasoning about the program structure and generating verification conditions at this level. Lenses capture hybrid program stores in a generic algebraic way. The approach has been formalised with the Isabelle/HOL proof assistant. A number of examples explains the workflow with the resulting verification components
    • …
    corecore