Markov chain aggregation and its application to rule-based modelling

Rule-based modelling allows to represent molecular interactions in a compact and natural way. The underlying molecular dynamics, by the laws of stochastic chemical kinetics, behaves as a continuous-time Markov chain. However, this Markov chain enumerates all possible reaction mixtures, rendering the analysis of the chain computationally demanding and often prohibitive in practice. We here describe how it is possible to efficiently find a smaller, aggregate chain, which preserves certain properties of the original one. Formal methods and lumpability notions are used to define algorithms for automated and efficient construction of such smaller chains (without ever constructing the original ones). We here illustrate the method on an example and we discuss the applicability of the method in the context of modelling large signalling pathways

Ethics of Artificial Intelligence Demarcations

In this paper we present a set of key demarcations, particularly important when discussing ethical and societal issues of current AI research and applications. Properly distinguishing issues and concerns related to Artificial General Intelligence and weak AI, between symbolic and connectionist AI, AI methods, data and applications are prerequisites for an informed debate. Such demarcations would not only facilitate much-needed discussions on ethics on current AI technologies and research. In addition sufficiently establishing such demarcations would also enhance knowledge-sharing and support rigor in interdisciplinary research between technical and social sciences.Comment: Proceedings of the Norwegian AI Symposium 2019 (NAIS 2019), Trondheim, Norwa

The impact of loco-regional recurrences on metastatic progression in early-stage breast cancer: a multistate model

To study whether the effects of prognostic factors associated with the occurrence of distant metastases (DM) at primary diagnosis change after the incidence of loco-regional recurrences (LRR) among women treated for invasive stage I or II breast cancer. The study population consisted of 3,601 women, enrolled in EORTC trials 10801, 10854, or 10902 treated for early-stage breast cancer. Data were analysed in a multivariate, multistate model by using multivariate Cox regression models, including a state-dependent covariate. The presence of a LRR in itself is a significant prognostic risk factor (HR: 3.64; 95%-CI: 2.02-6.5) for the occurrence of DM. Main prognostic risk factors for a DM are young age at diagnosis (</=40: HR: 1.79; 95%-CI: 1.28-2.51), larger tumour size (HR: 1.58; 95%-CI: 1.35-1.84) and node positivity (HR: 2.00; 95%-CI: 1.74-2.30). Adjuvant chemotherapy is protective for a DM (HR: 0.66; 95%-CI: 0.55-0.80). After the occurrence of a LRR the latter protective effect has disappeared (P = 0.009). The presence of LRR in itself is a significant risk factor for DM. For patients who are at risk of developing LRR, effective local control should be the main target of therapy

Orbital superfluidity in the PP-band of a bipartite optical square lattice

The successful emulation of the Hubbard model in optical lattices has stimulated world wide efforts to extend their scope to also capture more complex, incompletely understood scenarios of many-body physics. Unfortunately, for bosons, Feynmans fundamental "no-node" theorem under very general circumstances predicts a positive definite ground state wave function with limited relevance for many-body systems of interest. A promising way around Feynmans statement is to consider higher bands in optical lattices with more than one dimension, where the orbital degree of freedom with its intrinsic anisotropy due to multiple orbital orientations gives rise to a structural diversity, highly relevant, for example, in the area of strongly correlated electronic matter. In homogeneous two-dimensional optical lattices, lifetimes of excited bands on the order of a hundred milliseconds are possible but the tunneling dynamics appears not to support cross-dimensional coherence. Here we report the first observation of a superfluid in the $P$-band of a bipartite optical square lattice with $S$-orbits and $P$-orbits arranged in a chequerboard pattern. This permits us to establish full cross-dimensional coherence with a life-time of several ten milliseconds. Depending on a small adjustable anisotropy of the lattice, we can realize real-valued striped superfluid order parameters with different orientations $P_x \pm P_y$ or a complex-valued $P_x \pm i P_y$ order parameter, which breaks time reversal symmetry and resembles the $\pi$-flux model proposed in the context of high temperature superconductors. Our experiment opens up the realms of orbital superfluids to investigations with optical lattice models.Comment: 5 pages, 5 figure

Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway.

BACKGROUND: Appropriately formulated quantitative computational models can support researchers in understanding the dynamic behaviour of biological pathways and support hypothesis formulation and selection by "in silico" experimentation. An obstacle to widespread adoption of this approach is the requirement to formulate a biological pathway as machine executable computer code. We have recently proposed a novel, biologically intuitive, narrative-style modelling language for biologists to formulate the pathway which is then automatically translated into an executable format and is, thus, usable for analysis via existing simulation techniques. RESULTS: Here we use a high-level narrative language in designing a computational model of the gp130/JAK/STAT signalling pathway and show that the model reproduces the dynamic behaviour of the pathway derived by biological observation. We then "experiment" on the model by simulation and sensitivity analysis to define those parameters which dominate the dynamic behaviour of the pathway. The model predicts that nuclear compartmentalisation and phosphorylation status of STAT are key determinants of the pathway and that alternative mechanisms of signal attenuation exert their influence on different timescales. CONCLUSION: The described narrative model of the gp130/JAK/STAT pathway represents an interesting case study showing how, by using this approach, researchers can model biological systems without explicitly dealing with formal notations and mathematical expressions (typically used for biochemical modelling), nevertheless being able to obtain simulation and analysis results. We present the model and the sensitivity analysis results we have obtained, that allow us to identify the parameters which are most sensitive to perturbations. The results, which are shown to be in agreement with existing mathematical models of the gp130/JAK/STAT pathway, serve us as a form of validation of the model and of the approach itself

Single-Atom Resolved Fluorescence Imaging of an Atomic Mott Insulator

The reliable detection of single quantum particles has revolutionized the field of quantum optics and quantum information processing. For several years, researchers have aspired to extend such detection possibilities to larger scale strongly correlated quantum systems, in order to record in-situ images of a quantum fluid in which each underlying quantum particle is detected. Here we report on fluorescence imaging of strongly interacting bosonic Mott insulators in an optical lattice with single-atom and single-site resolution. From our images, we fully reconstruct the atom distribution on the lattice and identify individual excitations with high fidelity. A comparison of the radial density and variance distributions with theory provides a precise in-situ temperature and entropy measurement from single images. We observe Mott-insulating plateaus with near zero entropy and clearly resolve the high entropy rings separating them although their width is of the order of only a single lattice site. Furthermore, we show how a Mott insulator melts for increasing temperatures due to a proliferation of local defects. Our experiments open a new avenue for the manipulation and analysis of strongly interacting quantum gases on a lattice, as well as for quantum information processing with ultracold atoms. Using the high spatial resolution, it is now possible to directly address individual lattice sites. One could, e.g., introduce local perturbations or access regions of high entropy, a crucial requirement for the implementation of novel cooling schemes for atoms on a lattice

On the Schoenberg Transformations in Data Analysis: Theory and Illustrations

The class of Schoenberg transformations, embedding Euclidean distances into higher dimensional Euclidean spaces, is presented, and derived from theorems on positive definite and conditionally negative definite matrices. Original results on the arc lengths, angles and curvature of the transformations are proposed, and visualized on artificial data sets by classical multidimensional scaling. A simple distance-based discriminant algorithm illustrates the theory, intimately connected to the Gaussian kernels of Machine Learning

Interaction and filling induced quantum phases of dual Mott insulators of bosons and fermions

Many-body effects are at the very heart of diverse phenomena found in condensed-matter physics. One striking example is the Mott insulator phase where conductivity is suppressed as a result of a strong repulsive interaction. Advances in cold atom physics have led to the realization of the Mott insulating phases of atoms in an optical lattice, mimicking the corresponding condensed matter systems. Here, we explore an exotic strongly-correlated system of Interacting Dual Mott Insulators of bosons and fermions. We reveal that an inter-species interaction between bosons and fermions drastically modifies each Mott insulator, causing effects that include melting, generation of composite particles, an anti-correlated phase, and complete phase-separation. Comparisons between the experimental results and numerical simulations indicate intrinsic adiabatic heating and cooling for the attractively and repulsively interacting dual Mott Insulators, respectively

Light-cone-like spreading of correlations in a quantum many-body system

How fast can correlations spread in a quantum many-body system? Based on the seminal work by Lieb and Robinson, it has recently been shown that several interacting many-body systems exhibit an effective light cone that bounds the propagation speed of correlations. The existence of such a "speed of light" has profound implications for condensed matter physics and quantum information, but has never been observed experimentally. Here we report on the time-resolved detection of propagating correlations in an interacting quantum many-body system. By quenching a one-dimensional quantum gas in an optical lattice, we reveal how quasiparticle pairs transport correlations with a finite velocity across the system, resulting in an effective light cone for the quantum dynamics. Our results open important perspectives for understanding relaxation of closed quantum systems far from equilibrium as well as for engineering efficient quantum channels necessary for fast quantum computations.Comment: 7 pages, 5 figures, 2 table

Quantum Simulation of Antiferromagnetic Spin Chains in an Optical Lattice

Understanding exotic forms of magnetism in quantum mechanical systems is a central goal of modern condensed matter physics, with implications from high temperature superconductors to spintronic devices. Simulating magnetic materials in the vicinity of a quantum phase transition is computationally intractable on classical computers due to the extreme complexity arising from quantum entanglement between the constituent magnetic spins. Here we employ a degenerate Bose gas confined in an optical lattice to simulate a chain of interacting quantum Ising spins as they undergo a phase transition. Strong spin interactions are achieved through a site-occupation to pseudo-spin mapping. As we vary an applied field, quantum fluctuations drive a phase transition from a paramagnetic phase into an antiferromagnetic phase. In the paramagnetic phase the interaction between the spins is overwhelmed by the applied field which aligns the spins. In the antiferromagnetic phase the interaction dominates and produces staggered magnetic ordering. Magnetic domain formation is observed through both in-situ site-resolved imaging and noise correlation measurements. By demonstrating a route to quantum magnetism in an optical lattice, this work should facilitate further investigations of magnetic models using ultracold atoms, improving our understanding of real magnetic materials.Comment: 12 pages, 9 figure