Related papers: Finite state machine controls for a source of opti…
Around the globe several observatories are seeking the first direct detection of gravitational waves (GWs). These waves are predicted by Einstein's General Theory of Relativity [Einstein, A., Annalen der Physik 49, 769-822 (1916)] and are…
We present a real-time-capable set-based framework for closed-loop predictive control of autonomous systems using tools from computational geometry, dynamic programming, and convex optimization. The control architecture relies on the…
Continuous-variable (CV) quantum computing is a promising candidate for quantum computation because it can, even with one mode, utilize infinite-dimensional Hilbert spaces and can efficiently handle continuous values. Although photonic…
Modern optomechanical systems employ increasingly sophisticated quantum-mechanical states of light to probe and manipulate mechanical motion. Squeezed states are now used routinely to enhance the sensitivity of gravitational-wave…
We present an approach for autonomous sensor control for information gathering under partially observable, dynamic and sparsely sampled environments that maximizes information about entities present in that space. We describe our approach…
Sufficiently accurate finite state models, also called symbolic models or discrete abstractions, allow one to apply fully automated methods, originally developed for purely discrete systems, to formally reason about continuous and hybrid…
Significant progress has been made in recent years on the development of gravitational wave detectors. Sources such as coalescing compact binary systems, neutron stars in low-mass X-ray binaries, stellar collapses and pulsars are all…
Recent developments in quantum technologies have enabled significant improvements in the precision of optical sensing systems. This work explores the integration of distributed quantum sensing (DQS) with optical gyroscopes to improve the…
Quantum metrology utilizes nonclassical states to improve the precision of measurement devices. In this context, strongly squeezed vacuum states of light have proven to be a useful resource. They are typically produced by spontaneous…
State preparation via postselected weak measurement in three wave mixing process is studied. Assuming the signal input mode prepared in a vacuum state, coherent state or squeezed vacuum state, separately, while the idler input prepared in…
Using squeezed states it is possible to surpass the standard quantum limit of measurement uncertainty by reducing the measurement uncertainty of one property at the expense of another complementary property. Squeezed states were first…
We present an optical quantum random number generator based on vacuum fluctuation measurements that uses multi-mode coherent states generated by electro-optical phase modulation of an intense optical carrier. In this approach the weak…
By employing at recent proposal (R. Filip, P. Marek and U.L. Andersen, Phys. Rev. A {\bf 71}, 042308 (2005) \cite{Filip05.pra}), we experimentally demonstrate a universal, deterministic and high-fidelity squeezing transformation of an…
A scheme for optimal and deterministic linear optical purification of mixed squeezed Gaussian states is proposed and experimentally demonstrated. The scheme requires only linear optical elements and homodyne detectors, and allows the…
We analyze the conditional quantum state of a mechanical mirror in an optomechanical system subject to continuous measurement, feedback control, and quantum filtering. We identify a parameter regime in which the mirror exhibits momentum…
The sensitivity of ground-based gravitational wave (GW) detectors will be improved in the future via the injection of frequency-dependent squeezed vacuum. The achievable improvement is ultimately limited by losses of the interferometer…
Multimessenger astronomy incorporating gravitational radiation is a new and exciting field that will potentially provide significant results and exciting challenges in the near future. With advanced interferometric gravitational wave…
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall product quality. In this context, SAT-based bounded model…
We present the design, control system, and noise analysis of a 6-axis seismometer comprising a mass suspended by a single fused silica fibre. We utilise custom-made, compact Michelson interferometers for the readout of the mass motion…
Advanced gravitational-wave detectors are limited by quantum noise in their most sensitive frequency band. Quantum noise suppression techniques, such as the application of the quantum squeezed state of light, have been actively studied in…