| 1. |
- Abellán, C., et al.
(författare)
-
Challenging Local Realism with Human Choices
- 2018
-
Ingår i: Nature. - : Nature Publishing Group. - 0028-0836 .- 1476-4687. ; 557, s. 212-216
-
Tidskriftsartikel (refereegranskat)abstract
- A Bell test is a randomized trial that compares experimental observations against the philosophical worldview of local realism , in which the properties of the physical world are independent of our observation of them and no signal travels faster than light. A Bell test requires spatially distributed entanglement, fast and high-efficiency detection and unpredictable measurement settings. Although technology can satisfy the first two of these requirements, the use of physical devices to choose settings in a Bell test involves making assumptions about the physics that one aims to test. Bell himself noted this weakness in using physical setting choices and argued that human 'free will' could be used rigorously to ensure unpredictability in Bell tests. Here we report a set of local-realism tests using human choices, which avoids assumptions about predictability in physics. We recruited about 100,000 human participants to play an online video game that incentivizes fast, sustained input of unpredictable selections and illustrates Bell-test methodology. The participants generated 97,347,490 binary choices, which were directed via a scalable web platform to 12 laboratories on five continents, where 13 experiments tested local realism using photons, single atoms, atomic ensembles and superconducting devices. Over a 12-hour period on 30 November 2016, participants worldwide provided a sustained data flow of over 1,000 bits per second to the experiments, which used different human-generated data to choose each measurement setting. The observed correlations strongly contradict local realism and other realistic positions in bi-partite and tri-partite 12 scenarios. Project outcomes include closing the 'freedom-of-choice loophole' (the possibility that the setting choices are influenced by 'hidden variables' to correlate with the particle properties), the utilization of video-game methods for rapid collection of human-generated randomness, and the use of networking techniques for global participation in experimental science.
|
|
| 2. |
- Ahrendt, Wolfgang, 1967, et al.
(författare)
-
Deductive Software Verification - The KeY Book
- 2016
-
Bok (övrigt vetenskapligt/konstnärligt)abstract
- Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.
|
|
| 3. |
- Joshi, Siddarth Koduru, et al.
(författare)
-
Space QUEST mission proposal : experimentally testing decoherence due to gravity
- 2018
-
Ingår i: New Journal of Physics. - : IOP Publishing. - 1367-2630. ; 20
-
Tidskriftsartikel (refereegranskat)abstract
- Models of quantum systems on curved space-times lack sufficient experimental verification. Some speculative theories suggest that quantum correlations, such as entanglement, may exhibit different behavior to purely classical correlations in curved space. By measuring this effect or lack thereof, we can test the hypotheses behind several such models. For instance, as predicted by Ralph et al [5] and Ralph and Pienaar [1], a bipartite entangled system could decohere if each particle traversed through a different gravitational field gradient. We propose to study this effect in a ground to space uplink scenario. We extend the above theoretical predictions of Ralph and coworkers and discuss the scientific consequences of detecting/failing to detect the predicted gravitational decoherence. We present a detailed mission design of the European Space Agency's Space QUEST (Space-Quantum Entanglement Space Test) mission, and study the feasibility of the mission scheme.
|
|
