Vacuum-Stimulated Raman Scattering based on Adiabatic Passage in a High-Finesse Optical Cavity

We report on the first observation of stimulated Raman scattering from a Lambda-type three-level atom, where the stimulation is realized by the vacuum field of a high-finesse optical cavity. The scheme produces one intracavity photon by means of an adiabatic passage technique based on a counter-intuitive interaction sequence between pump laser and cavity field. This photon leaves the cavity through the less-reflecting mirror. The emission rate shows a characteristic dependence on the cavity and pump detuning, and the observed spectra have a sub-natural linewidth. The results are in excellent agreement with numerical simulations.Comment: 4 pages, 5 figure

Explaining Violation Traces with Finite State Natural Language Generation Models

An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user

Time-Resolved Two-Photon Quantum Interference

The interference of two independent single-photon pulses impinging on a beam splitter is analysed in a generalised time-resolved manner. Different aspects of the phenomenon are elaborated using different representations of the single-photon wave packets, like the decomposition into single-frequency field modes or spatio-temporal modes matching the photonic wave packets. Both representations lead to equivalent results, and a photon-by-photon analysis reveals that the quantum-mechanical two-photon interference can be interpreted as a classical one-photon interference once a first photon is detected. A novel time-dependent quantum-beat effect is predicted if the interfering photons have different frequencies. The calculation also reveals that full two-photon fringe visibility can be achieved under almost any circumstances by applying a temporal filter to the signal.Comment: 6 pages, 4 figure

Spiral Growth and Step Edge Barriers

The growth of spiral mounds containing a screw dislocation is compared to the growth of wedding cakes by two-dimensional nucleation. Using phase field simulations and homoepitaxial growth experiments on the Pt(111) surface we show that both structures attain the same characteristic large scale shape when a significant step edge barrier suppresses interlayer transport. The higher vertical growth rate observed for the spiral mounds on Pt(111) reflects the different incorporation mechanisms for atoms in the top region and can be formally represented by an enhanced apparent step edge barrier.Comment: 11 pages, 4 figures, partly in colo

Hearing the grass grow. Emotional and epistemological challenges of practice-near research

This paper discusses the concept of practice-near research in terms of the emotional and epistemological challenges that arise from the researcher coming 'near' enough to other people for psychological processes to ensue. These may give rise in the researcher to confusion, anxiety and doubt about who is who and what is what; but also to the possibility of real emotional and relational depth in the research process. Using illustrations from three social work doctoral research projects undertaken by students at the Tavistock Clinic and the University of East London the paper examines four themes that seem to the author to be central to meaningful practice-near research undertaken in a spirit of true emotional and epistemological open-mindedness: the smell of the real; losing our minds; the inevitability of personal change; and the discovery of complex particulars

Polarization-controlled single photons

Vacuum-stimulated Raman transitions are driven between two magnetic substates of a rubidium-87 atom strongly coupled to an optical cavity. A magnetic field lifts the degeneracy of these states, and the atom is alternately exposed to laser pulses of two different frequencies. This produces a stream of single photons with alternating circular polarization in a predetermined spatio-temporal mode. MHz repetition rates are possible as no recycling of the atom between photon generations is required. Photon indistinguishability is tested by time-resolved two-photon interference.Comment: 4 pages, 3 figure

Trusty URIs: Verifiable, Immutable, and Permanent Digital Artifacts for Linked Data

To make digital resources on the web verifiable, immutable, and permanent, we propose a technique to include cryptographic hash values in URIs. We call them trusty URIs and we show how they can be used for approaches like nanopublications to make not only specific resources but their entire reference trees verifiable. Digital artifacts can be identified not only on the byte level but on more abstract levels such as RDF graphs, which means that resources keep their hash values even when presented in a different format. Our approach sticks to the core principles of the web, namely openness and decentralized architecture, is fully compatible with existing standards and protocols, and can therefore be used right away. Evaluation of our reference implementations shows that these desired properties are indeed accomplished by our approach, and that it remains practical even for very large files.Comment: Small error corrected in the text (table data was correct) on page 13: "All average values are below 0.8s (0.03s for batch mode). Using Java in batch mode even requires only 1ms per file.