Versatile event correlation with algebraic effects

We present the first language design to uniformly express variants of n -way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive and concurrent programming. We model asynchronous reactive programs and joins in direct style, on top of algebraic effects and handlers. Effect handlers act as modular interpreters of event notifications, enabling fine-grained control abstractions and customizable event matching. Join variants can be considered as cartesian product computations with ”degenerate” control flow, such that unnecessary tuples are not materialized a priori. Based on this computational interpretation, we decompose joins into a generic, naive enumeration procedure of the cartesian product, plus variant-specific extensions, represented in terms of user-supplied effect handlers. Our microbenchmarks validate that this extensible design avoids needless materialization. Alongside a formal semantics for joining and prototypes in Koka and multicore OCaml, we contribute a systematic comparison of the covered domains and features. ERC, Advanced Grant No. 321217 ERC, Consolidator Grant No. 617805 DFG, SFB 1053 DFG, SA 2918/2-

The paradigm of the area law and the structure of transversal and longitudinal lightfront degrees of freedom

It is shown that an algebraically defined holographic projection of a QFT onto the lightfront changes the local quantum properties in a very drastic way. The expected ubiquitous vacuum polarization characteristic of QFT is confined to the lightray (longitudinal) direction, whereas operators whose localization is transversely separated are completely free of vacuum correlations. This unexpected ''transverse return to QM'' combined with the rather universal nature of the strongly longitudinal correlated vacuum correlations (which turn out to be described by rather kinematical chiral theories) leads to a d-2 dimensional area structure of the d-1 dimensional lightfront theory. An additive transcription in terms of an appropriately defined entropy related to the vacuum restricted to the horizon is proposed and its model independent universality aspects which permit its interpretation as a quantum candidate for Bekenstein's area law are discussed. The transverse tensor product foliation structure of lightfront degrees of freedom is essential for the simplifying aspects of the algebraic lightcone holography. Key-words: Quantum field theory; Mathematical physics, Quantum gravityComment: 16 pages latex, identical to version published in JPA: Math. Gen. 35 (2002) 9165-918

Deterministic characterization of stochastic genetic circuits

For cellular biochemical reaction systems where the numbers of molecules is small, significant noise is associated with chemical reaction events. This molecular noise can give rise to behavior that is very different from the predictions of deterministic rate equation models. Unfortunately, there are few analytic methods for examining the qualitative behavior of stochastic systems. Here we describe such a method that extends deterministic analysis to include leading-order corrections due to the molecular noise. The method allows the steady-state behavior of the stochastic model to be easily computed, facilitates the mapping of stability phase diagrams that include stochastic effects and reveals how model parameters affect noise susceptibility, in a manner not accessible to numerical simulation. By way of illustration we consider two genetic circuits: a bistable positive-feedback loop and a negative-feedback oscillator. We find in the positive feedback circuit that translational activation leads to a far more stable system than transcriptional control. Conversely, in a negative-feedback loop triggered by a positive-feedback switch, the stochasticity of transcriptional control is harnessed to generate reproducible oscillations.Comment: 6 pages (Supplementary Information is appended

Heating mechanisms in radio frequency driven ultracold plasmas

Several mechanisms by which an external electromagnetic field influences the temperature of a plasma are studied analytically and specialized to the system of an ultracold plasma (UCP) driven by a uniform radio frequency (RF) field. Heating through collisional absorption is reviewed and applied to UCPs. Furthermore, it is shown that the RF field modifies the three body recombination process by ionizing electrons from intermediate high-lying Rydberg states and upshifting the continuum threshold, resulting in a suppression of three body recombination. Heating through collisionless absorption associated with the finite plasma size is calculated in detail, revealing a temperature threshold below which collisionless absorption is ineffective.Comment: 14 pages, 7 figure

Roadmap on optical security

Postprint (author's final draft