Phonon-Assisted Two-Photon Interference from Remote Quantum Emitters

Photonic quantum technologies are on the verge offinding applications in everyday life with quantum cryptography andquantum simulators on the horizon. Extensive research has beencarried out to identify suitable quantum emitters and single epitaxialquantum dots have emerged as near-optimal sources of bright, on-demand, highly indistinguishable single photons and entangledphoton-pairs. In order to build up quantum networks, it is essentialto interface remote quantum emitters. However, this is still anoutstanding challenge, as the quantum states of dissimilar“artificialatoms”have to be prepared on-demand with highfidelity and thegenerated photons have to be made indistinguishable in all possibledegrees of freedom. Here, we overcome this major obstacle and show an unprecedented two-photon interference (visibility of 51±5%) from remote strain-tunable GaAs quantum dots emitting on-demand photon-pairs. We achieve this result by exploiting forthefirst time the full potential of a novel phonon-assisted two-photon excitation scheme, which allows for the generation ofhighly indistinguishable (visibility of 71±9%) entangled photon-pairs (fidelity of 90±2%), enables push-button biexciton statepreparation (fidelity of 80±2%) and outperforms conventional resonant two-photon excitation schemes in terms of robustnessagainst environmental decoherence. Our results mark an important milestone for the practical realization of quantum repeatersand complex multiphoton entanglement experiments involving dissimilar artificial atom

Cascaded Parametric Amplification for Highly Efficient Terahertz Generation

A highly efficient, practical approach to high-energy terahertz (THz) generation based on spectrally cascaded optical parametric amplification (THz-COPA) is introduced. The THz wave initially generated by difference frequency generation between a strong narrowband optical pump and optical seed (0.1-10% of pump energy) kick-starts a repeated or cascaded energy down-conversion of pump photons. This helps to greatly surpass the quantum-defect efficiency and results in exponential growth of THz energy over crystal length. In cryogenically cooled periodically poled lithium niobate, energy conversion efficiencies >8% for 100 ps pulses are predicted. The calculations account for cascading effects, absorption, dispersion and laser-induced damage. Due to the coupled nonlinear interaction of multiple triplets of waves, THz-COPA exhibits physics distinct from conventional three-wave mixing parametric amplifiers. This in turn governs optimal phase-matching conditions, evolution of optical spectra as well as limitations of the nonlinear process.Comment: 5 pages, double colum

Entanglement swapping with photons generated on-demand by a quantum dot

Photonic entanglement swapping, the procedure of entangling photons without any direct interaction, is a fundamental test of quantum mechanics and an essential resource to the realization of quantum networks. Probabilistic sources of non-classical light can be used for entanglement swapping, but quantum communication technologies with device-independent functionalities demand for push-button operation that, in principle, can be implemented using single quantum emitters. This, however, turned out to be an extraordinary challenge due to the stringent requirements on the efficiency and purity of generation of entangled states. Here we tackle this challenge and show that pairs of polarization-entangled photons generated on-demand by a GaAs quantum dot can be used to successfully demonstrate all-photonic entanglement swapping. Moreover, we develop a theoretical model that provides quantitative insight on the critical figures of merit for the performance of the swapping procedure. This work shows that solid-state quantum emitters are mature for quantum networking and indicates a path for scaling up.Comment: The first four authors contributed equally to this work. 17 pages, 3 figure

Exploiting Term Hiding to Reduce Run-time Checking Overhead

One of the most attractive features of untyped languages is the flexibility in term creation and manipulation. However, with such power comes the responsibility of ensuring the correctness of these operations. A solution is adding run-time checks to the program via assertions, but this can introduce overheads that are in many cases impractical. While static analysis can greatly reduce such overheads, the gains depend strongly on the quality of the information inferred. Reusable libraries, i.e., library modules that are pre-compiled independently of the client, pose special challenges in this context. We propose a technique which takes advantage of module systems which can hide a selected set of functor symbols to significantly enrich the shape information that can be inferred for reusable libraries, as well as an improved run-time checking approach that leverages the proposed mechanisms to achieve large reductions in overhead, closer to those of static languages, even in the reusable-library context. While the approach is general and system-independent, we present it for concreteness in the context of the Ciao assertion language and combined static/dynamic checking framework. Our method maintains the full expressiveness of the assertion language in this context. In contrast to other approaches it does not introduce the need to switch the language to a (static) type system, which is known to change the semantics in languages like Prolog. We also study the approach experimentally and evaluate the overhead reduction achieved in the run-time checks.Comment: 26 pages, 10 figures, 2 tables; an extension of the paper version accepted to PADL'18 (includes proofs, extra figures and examples omitted due to space reasons

Left behind and united by populism? Populism’s multiple roots in feelings of lacking societal recognition

A prominent but underspecified explanation for the rise of populism points to individuals’ feelings of being “left behind” by the development of society. At its core lies the claim that support for populism is driven by the feeling of lacking the societal recognition one deserves. Our contribution builds on the insight that individuals can feel they lack recognition in different ways and for different reasons. We argue that—because of this multifaceted character—the common perception of being neglected by society unites otherwise heterogeneous segments of the population in their support for populism. Relying on data from the German Longitudinal Election Study (GLES) Pre-Election Cross-Section 2021, our preregistered study investigated the multiple roots of populist attitudes in feelings of lacking societal recognition in two steps. First, our results indicate that, from rural residents to sociocultural conservatives or low-income citizens, seemingly unrelated segments of society harbor feelings of lacking recognition, but for distinct reasons. Second, as anticipated, each of the distinct feelings of lacking recognition are associated with populist attitudes. These findings underscore the relevance of seemingly unpolitical factors that are deeply ingrained in the human psyche for understanding current populist sentiment. Overall, by integrating previously disparate perspectives on the rise of populism, the study offers a novel conceptualization of “feeling left behind” and explains how populism can give rise to unusual alliances that cut across traditional cleavages

Phonon-Assisted Two-Photon Interference from Remote Quantum Emitters

Photonic quantum technologies are on the verge of finding applications in everyday life with quantum cryptography and quantum simulators on the horizon. Extensive research has been carried out to identify suitable quantum emitters and single epitaxial quantum dots have emerged as near-optimal sources of bright, on-demand, highly indistinguishable single photons and entangled photon-pairs. In order to build up quantum networks, it is essential to interface remote quantum emitters. However, this is still an outstanding challenge, as the quantum states of dissimilar “artificial atoms” have to be prepared on-demand with high fidelity and the generated photons have to be made indistinguishable in all possible degrees of freedom. Here, we overcome this major obstacle and show an unprecedented two-photon interference (visibility of 51 ± 5%) from remote strain-tunable GaAs quantum dots emitting on-demand photon-pairs. We achieve this result by exploiting for the first time the full potential of a novel phonon-assisted two-photon excitation scheme, which allows for the generation of highly indistinguishable (visibility of 71 ± 9%) entangled photon-pairs (fidelity of 90 ± 2%), enables push-button biexciton state preparation (fidelity of 80 ± 2%) and outperforms conventional resonant two-photon excitation schemes in terms of robustness against environmental decoherence. Our results mark an important milestone for the practical realization of quantum repeaters and complex multiphoton entanglement experiments involving dissimilar artificial atoms

Microstructure formation in electrodeposited Co-Cu/Cu multilayers with GMR effect: influence of current density during the magnetic layer deposition

The influence of the current density applied during the deposition of the magnetic layers on the microstructure formation in electrodeposited Co-Cu/Cu multilayers and on their giant magnetoresistance (GMR) was investigated using a combination of magnetoresistance measurements, wide-angle and small-angle X-ray scattering, high-resolution transmission electron microscopy, atomic force microscopy and chemical analysis. The magnetoresistance measurements revealed that a reduction of the current density stimulates a transition from the formation of the magnetic layers with predominantly ferromagnetic character to the formation of superparamagnetic regions. As based on electrochemical considerations, it was supposed that such a change in the magnetic properties can be caused by an increased amount of Cu codeposited with Co at low current densities. It turned out from the structural studies that a pronounced segregation of Co and Cu occurs at low current densities. In accordance with their very low mutual solubility at room temperature, no atomic scale intermixing of Co and Cu could be detected. The segregation of Cu and Co was related to the fragmentation of the magnetic layers, to the enhancement of the local lattice strains, to the increase of the interface corrugations, to the partial loss of the multilayer periodicity and finally to the formation of Co precipitates in the Cu matrix

Degradation Kinetics of Lignocellulolytic Enzymes in a Biogas Reactor Using Quantitative Mass Spectrometry

The supplementation of lignocellulose-degrading enzymes can be used to enhance the performance of biogas production in industrial biogas plants. Since the structural stability of these enzyme preparations is essential for efficient application, reliable methods for the assessment of enzyme stability are crucial. Here, a mass-spectrometric-based assay was established to monitor the structural stability of enzymes, i.e., the structural integrity of these proteins, in anaerobic digestion (AD). The analysis of extracts of Lentinula edodes revealed the rapid degradation of lignocellulose-degrading enzymes, with an approximate half-life of 1.5 h. The observed low structural stability of lignocellulose-degrading enzymes in AD corresponded with previous results obtained for biogas content. The established workflow can be easily adapted for the monitoring of other enzyme formulations and provides a platform for evaluating the effects of enzyme additions in AD, together with a characterization of the biochemical methane potential used in order to determine the biodegradability of organic substrates

A Fully Verified Executable LTL Model Checker

International audienceWe present an LTL model checker whose code has been completely verified using the Isabelle theorem prover. The checker consists of over 4000 lines of ML code. The code is produced using recent Isabelle technology called the Refinement Framework, which allows us to split its correctness proof into (1) the proof of an abstract version of the checker, consisting of a few hundred lines of “formalized pseudocode”, and (2) a verified refinement step in which mathematical sets and other abstract structures are replaced by implementations of efficient structures like red-black trees and functional arrays. This leads to a checker that, while still slower than unverified checkers, can already be used as a trusted reference implementation against which advanced implementations can be tested. We report on the structure of the checker, the development process, and some experiments on standard benchmarks