Related papers: Bell tests for continuous variable systems using h…
Incompatibility of observables, or measurements, is one of the key features of quantum mechanics, related, among other concepts, to Heisenberg's uncertainty relations and Bell nonlocality. In this manuscript we show, however, that even…
A key objective in conducting a Bell test is to quantify the statistical evidence against a local-hidden variable model (LHVM) given that we can collect only a finite number of trials in any experiment. The notion of statistical evidence is…
We extend a semantic verification framework for hybrid systems with the Isabelle/HOL proof assistant by an algebraic model for hybrid program stores, a shallow expression model for hybrid programs and their correctness specifications, and…
We consider the problem of entanglement detection in the presence of faulty, potentially malicious detectors. A common - and, as of yet, the only - approach to this problem is to perform a Bell test in order to identify nonlocality of the…
We discuss supplementary (or hidden) variables in spin-measuring equipments in EPR-Bell experiment. This theme was considered in a Bell's later work. We generalize it. First, we show why the original supplementary variable $\lambda$ is not…
Bell inequalities are derived for any number of observers, any number of alternative setups for each one of them, and any number of distinct outcomes for each experiment. It is shown that if a physical system consists of several distant…
We entertain the use of light dependent resistors as a viable option as measuring sensors in optics laboratory experiments or classroom demonstrations. The main advantages of theses devices are essentially very low cost, easy handling and…
We show how the efficiency of a logical Bell measurement (BM) can be calculated for arbitrary CSS codes with the experimentally important constraint of using only transversal static linear-optical BMs on the physical single-photon qubit…
We simulate correlation measurements of entangled photons numerically. The model employed is strictly local. The correlation is determined by its classical expression with one decisive difference: we sum up coincidences for each pair…
As the landscape of devices that interact with the electrical grid expands, also the complexity of the scenarios that arise from these interactions increases. Validation methods and tools are typically domain specific and are designed to…
Entanglement and its consequences - in particular the violation of Bell inequalities, which defies our concepts of realism and locality - have been proven to play key roles in Nature by many experiments for various quantum systems.…
A hybrid readout Time Projection Chamber (TPC) has a simultaneous optical- and charge readout. The optical readout provides 2D images of particle tracks in the active volume, whilst the charge readout provides additional information on the…
We present a method to certify the presence of Bell correlations in experimentally observed statistics, and to obtain new Bell inequalities. Our approach is based on relaxing the conditions defining the set of correlations obeying a local…
We show that testing Bell inequalities in $W^\pm$ pair systems by measuring their angular correlation suffers from the ambiguity in kinetical reconstruction of the di-lepton decay mode. We further propose a new set of Bell observables based…
Large-scale quantum networking systems will inevitably require methods to overcome photon loss. While the no-cloning theorem forbids perfect and deterministic amplification of unknown quantum states, probabilistic heralded amplification…
We analyze the linear optical realization of number-sum Bell measurement and number-state manipulation by taking into account the realistic experimental situation, specifically imperfectness of single-photon detector. The present scheme for…
Certifying the entanglement of quantum states with Bell inequalities allows one to guarantee the security of quantum information protocols independently of imperfections in the measuring devices. Here we present a similar procedure for…
A theoretical model is developed by exploiting the variational technique to investigate the evolution of an optical beam inside an optically pumped graded-index fiber amplifier. The variational analysis is a semi-analytical method that…
Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate whether we can combine random sampling and symbolic execution…
We propose the use of hybrid entanglement in an entanglement swapping protocol, as means of distributing a Bell state with high fidelity to two parties, Alice and Bob. The hybrid entanglement used in this work is described as a discrete…