Related papers: Fringe-locking method for the weak equivalence pri…
The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose checking is PSPACE-complete. This paper suggests to use \emph{branching} bisimulation instead. Our approach is…
We propose a new implementation of a quantum speed meter QND measurement scheme. It employs two independent optical readouts of the interferometer test masses, featuring strongly different values of the bandwidths $\gamma_{1,2}$ and of the…
In a recent letter, Brunner and Simon propose an interferometric scheme using imaginary weak values with a frequency-domain analysis to outperform standard interferometry in longitudinal phase shifts [N. Brunner and C. Simon, Phys. Rev.…
Einstein's weak equivalence principle (WEP) states that any freely falling, uncharged test particle follows the same identical trajectory independent of its internal structure and composition. Since the polarization of a photon is…
Conventional dual-frequency fringe projection algorithm often suffers from phase unwrapping failure when the frequency ratio between the high frequency and the low one is too large. Zhang et.al. proposed an enhanced two-frequency…
In many industries, including aerospace and defense, waveform analysis is commonly conducted to compute the resonance of physical objects, with the Finite Element Method (FEM) being the standard approach. The Finite Difference Method (FDM)…
Wave-particle duality and complementarity principle stand at the conceptual core of quantum theory in its orthodox Copenhagen interpretation. They imply that the wave behavior and particle behavior of quantum objects are mutually exclusive…
Atomic force microscopy (AFM) is an essential nanoinstrument technique for several applications such as cell biology and nanoelectronics metrology and inspection. The need for statistically significant sample sizes means that data…
A promising route to testing quantum gravity in the laboratory is to look for gravitationally-induced entanglement (GIE) between two or more quantum matter systems. Proposals for such tests have principally used microsolid systems, with…
One unique feature of nonlinear dynamical systems is the existence of superharmonic and subharmonic resonances in addition to primary resonances. In this study, an effective vibration testing methodology is introduced for the experimental…
Using electrostatic coupling between an AFM tip and a metallic surface as a test interaction, we here present the measurement of the force between the tip and the surface, together with the measurement of the interaction stiffness and the…
This manuscript presents the Quantum Finite Element Method (Q-FEM) developed for use in noisy intermediate-scale quantum (NISQ) computers and employs the variational quantum linear solver (VQLS) algorithm. The proposed method leverages the…
We demonstrate a closed-loop light-pulse atom interferometer inertial sensor that can realize continuous decoupled measurements of acceleration and rotation rate. The sensor operates with double-loop atom interferometers, which share the…
Current attempts to test local position invariance (LPI) compare different clock transition rates with classically exchanged signals. We propose an experimental scheme for the quantum test of LPI: an internal atomic clock interferometer…
In this paper, we show that an atom interferometer inertial sensor, when associated to the auxiliary measurement of external vibrations, can be operated beyond its linear range and still keep a high acceleration sensitivity. We propose and…
We propose a new method to reduce the frequency noise of a Local Oscillator (LO) to the level of white phase noise by maintaining (not destroying by projective measurement) the coherence of the ensemble pseudo-spin of atoms over many…
Quantum metrology utilizes entanglement for improving the sensitivity of measurements. Up to now the focus has been on the measurement of just one out of two non-commuting observables. Here we demonstrate a laser interferometer that…
In the presence of Earth gravity and gravity-gradient forces, centrifugal and Coriolis forces caused by the Earth rotation, the phase of the time-domain atom interferometers is calculated with accuracy up to the terms proportional to the…
We derive a phase-entanglement criterion for two bosonic modes which is immune to number fluc- tuations, using the generalized Moore-Penrose inverse to normalize the phase-quadrature operator. We also obtain a phase-squeezing criterion that…
Laser frequency stabilization is a critical part of the interferometry measurement system of space-based gravitational wave observatories such as the Laser Interferometer Space Antenna (LISA). Arm locking as a proposed frequency…