Exploiting sparsity and sharing in probabilistic sensor data models

Probabilistic sensor models defined as dynamic Bayesian networks can possess an inherent sparsity that is not reflected in the structure of the network. Classical inference algorithms like variable elimination and junction tree propagation cannot exploit this sparsity. Also, they do not exploit the opportunities for sharing calculations among different time slices of the model. We show that, using a relational representation, inference expressions for these sensor models can be rewritten to make efficient use of sparsity and sharing

Composability of Markov Models for Processing Sensor Data

We show that it is possible to apply the divide-and-conquer principle in constructing a Markov model for sensor data from available sensor logs. The state space can be partitioned into clusters, for which the required transition counts or probabilities can be acquired locally. The combination of these local parameters into a global model takes the form of a system of linear equations with a confined solution space. Expected advantages of this approach lie for example in reduced (wireless) communication costs

Disjoint forms in graphical user interfaces

Forms are parts of a graphical user interface (GUI) that show a set of values and allow the user to update them. The declarative form construction library FunctionalForms is extended with disjoint form combinators to capture some common patterns in which the form structure expresses a choice. We demonstrate that these combinators lead to a better separation of logic and layout

Zero-bias molecular electronics: Exchange-correlation corrections to Landauer's formula

Standard first principles calculations of transport through single molecules miss exchange-correlation corrections to the Landauer formula. From Kubo response theory, both the Landauer formula and these corrections in the limit of zero bias are derived and calculations are presented.Comment: 4 pages, 3 figures, final version to appear in Phys. Rev. B, Rapid Communication

Semi-analytical model for nonlinear light propagation in strongly interacting Rydberg gases

Rate equation models are extensively used to describe the many-body states of laser driven atomic gases. We show that the properties of the rate equation model used to describe nonlinear optical effects arising in interacting Rydberg gases can be understood by considering the excitation of individual super-atoms. From this we deduce a simple semi-analytic model that accurately describes the Rydberg density and optical susceptibility for different dimensionalities. We identify the previously reported universal dependence of the susceptibility on the Rydberg excited fraction as an intrinsic property of the rate equation model that is rooted in one-body properties. Benchmarking against exact master equation calculations, we identify regimes in which the semi-analytic model is particularly reliable. The performance of the model improves in the presence of dephasing which destroys higher order atomic coherences.Comment: 7 pages, 4 figure

Form follows function: Editor GUIs in a functional style

Programming a graphical user interface (GUI) is often time-consuming and boring, requires quite some knowledge about the GUI library, and is likely to result in monolithic, badly readable and inflexible code— even for small and simple programs like editors. These omnipresent GUI parts (for example, all ‘Options’ and ‘Properties’ dialogs are editors) allow the user to inspect and update a set of values. We introduce a small abstract language for describing editors in a modular, flexible, compositional and concise way. In this language, an editor is characterized by its subject type, the type of values it can edit. The operators ⊗, ⊕ and C are used to construct new editors with new subject types. We implement this language as a layer of functions upon the Object I/O Library in the purely functional language Clean. Using this functions, it is indeed possible to quickly construct editors in a declarative way, i.e. without defining object identifiers and event handlers. However, the layout structure of these editors is coupled to the structure of their subject type. We investigate two approaches to decouple these two structures: using a monadic style and using references

Quantum Size Effects in the Atomistic Structure of Armchair-Nanoribbons

Quantum size effects in armchair graphene nano-ribbons (AGNR) with hydrogen termination are investigated via density functional theory (DFT) in Kohn-Sham formulation. "Selection rules" will be formulated, that allow to extract (approximately) the electronic structure of the AGNR bands starting from the four graphene dispersion sheets. In analogy with the case of carbon nanotubes, a threefold periodicity of the excitation gap with the ribbon width (N, number of carbon atoms per carbon slice) is predicted that is confirmed by ab initio results. While traditionally such a periodicity would be observed in electronic response experiments, the DFT analysis presented here shows that it can also be seen in the ribbon geometry: the length of a ribbon with L slices approaches the limiting value for a very large width 1 << N (keeping the aspect ratio small N << L) with 1/N-oscillations that display the electronic selection rules. The oscillation amplitude is so strong, that the asymptotic behavior is non-monotonous, i.e., wider ribbons exhibit a stronger elongation than more narrow ones.Comment: 5 pages, 6 figure

Localization of atomic ensembles via superfluorescence

The sub-wavelength localization of an ensemble of atoms concentrated to a small volume in space is investigated. The localization relies on the interaction of the ensemble with a standing wave laser field. The light scattered in the interaction of standing wave field and atom ensemble depends on the position of the ensemble relative to the standing wave nodes. This relation can be described by a fluorescence intensity profile, which depends on the standing wave field parameters, the ensemble properties, and which is modified due to collective effects in the ensemble of nearby particles. We demonstrate that the intensity profile can be tailored to suit different localization setups. Finally, we apply these results to two localization schemes. First, we show how to localize an ensemble fixed at a certain position in the standing wave field. Second, we discuss localization of an ensemble passing through the standing wave field.Comment: 7 pages, 6 figure

An optical diode made from a `flying' photonic crystal

Optical diodes controlling the flow of light are of principal significance for optical information processing 1. They transmit light from an input to an output, but not in reverse direction. This breaking of time reversal symmetry is typically achieved via non-linear 2,3 or magnetic effects 4, which imposes limits to all-optical control 5-7, on-chip integration 7-11, or single-photon operation 12. Here, we propose an optical diode which requires neither magnetic fields nor strong input fields. It is based on a flying photonic crystal. Due to the Doppler effect, the crystal has a band gap with frequency depending on the light propagation direction relative to the crystal motion. Counter-intuitively, our setup does not involve the movement of any material parts. Rather, the flying photonic crystal is realized by optically inducing a spatially periodic but moving modulation of the optical properties of a near-resonant medium. The flying crystal not only opens perspectives for optical diodes operating at low light levels or integrated in small solid state devices, but also enables novel photonic devices such as optically tunable mirrors and cavities.Comment: 13 pages, 4 figures, presented in PQE 201