28,266 research outputs found

    Quantum noise and mixedness of a pumped dissipative non-linear oscillator

    Full text link
    Evolutions of quantum noise, characterized by quadrature squeezing parameter and Fano factor, and of mixedness, quantified by quantum von Neumann and linear entropies, of a pumped dissipative non-linear oscillator are studied. The model can describe a signal mode interacting with a thermal reservoir in a parametrically pumped cavity with a Kerr non-linearity. It is discussed that the initial pure states, including coherent states, Fock states, and finite superpositions of coherent states evolve into the same steady mixed state as verified by the quantum relative entropy and the Bures metric. It is shown analytically and verified numerically that the steady state can be well approximated by a nonclassical Gaussian state exhibiting quadrature squeezing and sub-Poissonian statistics for the cold thermal reservoir. A rapid increase is found in the mixedness, especially for the initial Fock states and superpositions of coherent states, during a very short time interval, and then for longer evolution times a decrease in the mixedness to the same, for all the initial states, and relatively low value of the nonclassical Gaussian state.Comment: 10 pages, 12 figure

    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

    First experimental results of very high accuracy centroiding measurements for the neat astrometric mission

    Full text link
    NEAT is an astrometric mission proposed to ESA with the objectives of detecting Earth-like exoplanets in the habitable zone of nearby solar-type stars. NEAT requires the capability to measure stellar centroids at the precision of 5e-6 pixel. Current state-of-the-art methods for centroid estimation have reached a precision of about 2e-5 pixel at two times Nyquist sampling, this was shown at the JPL by the VESTA experiment. A metrology system was used to calibrate intra and inter pixel quantum efficiency variations in order to correct pixelation errors. The European part of the NEAT consortium is building a testbed in vacuum in order to achieve 5e-6 pixel precision for the centroid estimation. The goal is to provide a proof of concept for the precision requirement of the NEAT spacecraft. In this paper we present the metrology and the pseudo stellar sources sub-systems, we present a performance model and an error budget of the experiment and we report the present status of the demonstration. Finally we also present our first results: the experiment had its first light in July 2013 and a first set of data was taken in air. The analysis of this first set of data showed that we can already measure the pixel positions with an accuracy of about 1e-4 pixel.Comment: SPIE conference proceeding

    Actuation of Micro-Optomechanical Systems Via Cavity-Enhanced Optical Dipole Forces

    Get PDF
    We demonstrate a new type of optomechanical system employing a movable, micron-scale waveguide evanescently-coupled to a high-Q optical microresonator. Micron-scale displacements of the waveguide are observed for milliwatt(mW)-level optical input powers. Measurement of the spatial variation of the force on the waveguide indicates that it arises from a cavity-enhanced optical dipole force due to the stored optical field of the resonator. This force is used to realize an all-optical tunable filter operating with sub-mW control power. A theoretical model of the system shows the maximum achievable force to be independent of the intrinsic Q of the optical resonator and to scale inversely with the cavity mode volume, suggesting that such forces may become even more effective as devices approach the nanoscale.Comment: 4 pages, 5 figures. High resolution version available at (http://copilot.caltech.edu/publications/CEODF_hires.pdf). For associated movie, see (http://copilot.caltech.edu/research/optical_forces/index.htm

    The cost-effectiveness of the Argus II retinal prosthesis in Retinitis Pigmentosa patients

    Get PDF
    This is the final version of the article. Available from the publisher via the DOI in this record.BACKGROUND: Retinitis Pigmentosa (RP) is a hereditary genetic disease causing bilateral retinal degeneration. RP is a leading cause of blindness resulting in incurable visual impairment and drastic reduction in the Quality of life of the patients. Second Sight Medical Products Inc. developed Argus II, a retinal prosthesis system for treating RP. Argus II is the world's first ever-commercial implant intended to restore some vision in the blind patients. The objective of this study was to assess the cost-effectiveness of the Argus® II Retinal Prosthesis System (Argus II) in Retinitis Pigmentosa (RP) patients. METHOD: A multi -state transition Markov model was developed to determine the cost-effectiveness of Argus II versus usual care in RP from the perspective of healthcare payer. A hypothetical cohort of 1000 RP patients aged 46 years followed up over a (lifetime) 25-year time horizon. Health outcomes were expressed as quality adjusted life years (QALYs) and direct healthcare costs expressed in 2012 €. Results are reported as incremental cost per ratios (ICERs) with outcomes and costs discounted at an annual rate of 3.5%. RESULTS: The ICER for Argus II was €14,603/QALY. Taking into account the uncertainty in model inputs the ICER was €14,482/QALY in the probabilistic analysis. In the scenarios of an assumption of no reduction on cost across model visual acuity states or a model time horizon as short as 10 years the ICER increased to €31,890/QALY and €49,769/QALY respectively. CONCLUSION: This economic evaluation shows that Argus II is a cost-effective intervention compared to usual care of the RP patients. The lifetime analysis ICER for Argus II falls below the published societal willingness to pay of EuroZone countries

    On Iterated Twisted Tensor Products of Algebras

    Full text link
    We introduce and study the definition, main properties and applications of iterated twisted tensor products of algebras, motivated by the problem of defining a suitable representative for the product of spaces in noncommutative geometry. We find conditions for constructing an iterated product of three factors, and prove that they are enough for building an iterated product of any number of factors. As an example of the geometrical aspects of our construction, we show how to construct differential forms and involutions on iterated products starting from the corresponding structures on the factors, and give some examples of algebras that can be described within our theory. We prove a certain result (called ``invariance under twisting'') for a twisted tensor product of two algebras, stating that the twisted tensor product does not change when we apply certain kind of deformation. Under certain conditions, this invariance can be iterated, containing as particular cases a number of independent and previously unrelated results from Hopf algebra theory.Comment: 44 pages, 21 figures. More minor typos corrections, one more example and some references adde

    Entanglement generation in continuously coupled parametric generators

    Full text link
    We investigate a compact source of entanglement. This device is composed of a pair of linearly coupled nonlinear waveguides operating by means of degenerate parametric downconversion. For the vacuum state at the input the generalized squeeze variance and logarithmic negativity are used to quantify the amount of nonclassicality and entanglement of output beams. Squeezing and entanglement generation for various dynamical regimes of the device are discussed.Comment: 6 pages, 7 figure

    A detector interferometric calibration experiment for high precision astrometry

    Full text link
    Context: Exoplanet science has made staggering progress in the last two decades, due to the relentless exploration of new detection methods and refinement of existing ones. Yet astrometry offers a unique and untapped potential of discovery of habitable-zone low-mass planets around all the solar-like stars of the solar neighborhood. To fulfill this goal, astrometry must be paired with high precision calibration of the detector. Aims: We present a way to calibrate a detector for high accuracy astrometry. An experimental testbed combining an astrometric simulator and an interferometric calibration system is used to validate both the hardware needed for the calibration and the signal processing methods. The objective is an accuracy of 5e-6 pixel on the location of a Nyquist sampled polychromatic point spread function. Methods: The interferometric calibration system produced modulated Young fringes on the detector. The Young fringes were parametrized as products of time and space dependent functions, based on various pixel parameters. The minimization of func- tion parameters was done iteratively, until convergence was obtained, revealing the pixel information needed for the calibration of astrometric measurements. Results: The calibration system yielded the pixel positions to an accuracy estimated at 4e-4 pixel. After including the pixel position information, an astrometric accuracy of 6e-5 pixel was obtained, for a PSF motion over more than five pixels. In the static mode (small jitter motion of less than 1e-3 pixel), a photon noise limited precision of 3e-5 pixel was reached
    • …
    corecore