Structural network heterogeneities and network dynamics: a possible dynamical mechanism for hippocampal memory reactivation

The hippocampus has the capacity for reactivating recently acquired memories [1-3] and it is hypothesized that one of the functions of sleep reactivation is the facilitation of consolidation of novel memory traces [4-11]. The dynamic and network processes underlying such a reactivation remain, however, unknown. We show that such a reactivation characterized by local, self-sustained activity of a network region may be an inherent property of the recurrent excitatory-inhibitory network with a heterogeneous structure. The entry into the reactivation phase is mediated through a physiologically feasible regulation of global excitability and external input sources, while the reactivated component of the network is formed through induced network heterogeneities during learning. We show that structural changes needed for robust reactivation of a given network region are well within known physiological parameters [12,13].Comment: 16 pages, 5 figure

Memristive operation mode of a site-controlled quantum dot floating gate transistor

The authors gratefully acknowledge financial support from the European Union (FPVII (2007-2013) under Grant Agreement No. 318287 Landauer) as well as the state of Bavaria.We have realized a floating gate transistor based on a GaAs/AlGaAs heterostructure with site-controlled InAs quantum dots. By short-circuiting the source contact with the lateral gates and performing closed voltage sweep cycles, we observe a memristive operation mode with pinched hysteresis loops and two clearly distinguishable conductive states. The conductance depends on the quantum dot charge which can be altered in a controllable manner by the voltage value and time interval spent in the charging region. The quantum dot memristor has the potential to realize artificial synapses in a state-of-the-art opto-electronic semiconductor platform by charge localization and Coulomb coupling.Publisher PDFPeer reviewe

Cosmological Evolution of Interacting Dark Energy Models with Mass Varying Neutrinos

In this paper we consider the cosmological implications of dark energy models with a coupled system of a dynamical scalar field (the quintessence) and the neutrinos. By detailed numerical calculations we study the various possibilities on the evolution and the fates of the universe in this class of models. Our results show that due to the interaction with quintessence, neutrinos could be dominant over the quintessence in the future universe, however would eventually decay away.Comment: One typographical error corrected, references updated and presentation improve

The Essence of Nested Composition

Calculi with disjoint intersection types support an introduction form for intersections called the merge operator, while retaining a coherent semantics. Disjoint intersections types have great potential to serve as a foundation for powerful, flexible and yet type-safe and easy to reason OO languages. This paper shows how to significantly increase the expressive power of disjoint intersection types by adding support for nested subtyping and composition, which enables simple forms of family polymorphism to be expressed in the calculus. The extension with nested subtyping and composition is challenging, for two different reasons. Firstly, the subtyping relation that supports these features is non-trivial, especially when it comes to obtaining an algorithmic version. Secondly, the syntactic method used to prove coherence for previous calculi with disjoint intersection types is too inflexible, making it hard to extend those calculi with new features (such as nested subtyping). We show how to address the first problem by adapting and extending the Barendregt, Coppo and Dezani (BCD) subtyping rules for intersections with records and coercions. A sound and complete algorithmic system is obtained by using an approach inspired by Pierce\u27s work. To address the second problem we replace the syntactic method to prove coherence, by a semantic proof method based on logical relations. Our work has been fully formalized in Coq, and we have an implementation of our calculus

Robustness and Enhancement of Neural Synchronization by Activity-Dependent Coupling

We study the synchronization of two model neurons coupled through a synapse having an activity-dependent strength. Our synapse follows the rules of Spike-Timing Dependent Plasticity (STDP). We show that this plasticity of the coupling between neurons produces enlarged frequency locking zones and results in synchronization that is more rapid and much more robust against noise than classical synchronization arising from connections with constant strength. We also present a simple discrete map model that demonstrates the generality of the phenomenon.Comment: 4 pages, accepted for publication in PR

Epigenetic Chromatin Silencing: Bistability and Front Propagation

The role of post-translational modification of histones in eukaryotic gene regulation is well recognized. Epigenetic silencing of genes via heritable chromatin modifications plays a major role in cell fate specification in higher organisms. We formulate a coarse-grained model of chromatin silencing in yeast and study the conditions under which the system becomes bistable, allowing for different epigenetic states. We also study the dynamics of the boundary between the two locally stable states of chromatin: silenced and unsilenced. The model could be of use in guiding the discussion on chromatin silencing in general. In the context of silencing in budding yeast, it helps us understand the phenotype of various mutants, some of which may be non-trivial to see without the help of a mathematical model. One such example is a mutation that reduces the rate of background acetylation of particular histone side-chains that competes with the deacetylation by Sir2p. The resulting negative feedback due to a Sir protein depletion effect gives rise to interesting counter-intuitive consequences. Our mathematical analysis brings forth the different dynamical behaviors possible within the same molecular model and guides the formulation of more refined hypotheses that could be addressed experimentally.Comment: 19 pages, 5 figure

Row and Bounded Polymorphism via Disjoint Polymorphism

Polymorphism and subtyping are important features in mainstream OO languages. The most common way to integrate the two is via ?_{< :} style bounded quantification. A closely related mechanism is row polymorphism, which provides an alternative to subtyping, while still enabling many of the same applications. Yet another approach is to have type systems with intersection types and polymorphism. A recent addition to this design space are calculi with disjoint intersection types and disjoint polymorphism. With all these alternatives it is natural to wonder how they are related. This paper provides an answer to this question. We show that disjoint polymorphism can recover forms of both row polymorphism and bounded polymorphism, while retaining key desirable properties, such as type-safety and decidability. Furthermore, we identify the extra power of disjoint polymorphism which enables additional features that cannot be easily encoded in calculi with row polymorphism or bounded quantification alone. Ultimately we expect that our work is useful to inform language designers about the expressive power of those common features, and to simplify implementations and metatheory of feature-rich languages with polymorphism and subtyping

Generalised Kundt waves and their physical interpretation

We present the complete family of space-times with a non-expanding, shear-free, twist-free, geodesic principal null congruence (Kundt waves) that are of algebraic type III and for which the cosmological constant ($\Lambda_c$) is non-zero. The possible presence of an aligned pure radiation field is also assumed. These space-times generalise the known vacuum solutions of type N with arbitrary $\Lambda_c$ and type III with $\Lambda_c=0$. It is shown that there are two, one and three distinct classes of solutions when $\Lambda_c$ is respectively zero, positive and negative. The wave surfaces are plane, spherical or hyperboloidal in Minkowski, de Sitter or anti-de Sitter backgrounds respectively, and the structure of the family of wave surfaces in the background space-time is described. The weak singularities which occur in these space-times are interpreted in terms of envelopes of the wave surfaces.Comment: 16 pages including 2 figures. To appear in Classical and Quantum Gra

Temperature dependence of interlayer coupling in perpendicular magnetic tunnel junctions with GdOx barriers

Perpendicular magnetic tunnel junctions with GdOX tunneling barriers have shown a unique voltage controllable interlayer magnetic coupling effect. Here we investigate the quality of the GdOX barrier and the coupling mechanism in these junctions by examining the temperature dependence of the tunneling magnetoresistance and the interlayer coupling from room temperature down to 11 K. The barrier is shown to be of good quality with the spin independent conductance only contributing a small portion, 14%, to the total room temperature conductance, similar to AlOX and MgO barriers. The interlayer coupling, however, shows an anomalously strong temperature dependence including sign changes below 80 K. This non-trivial temperature dependence is not described by previous models of interlayer coupling and may be due to the large induced magnetic moment of the Gd ions in the barrier.Comment: 14 pages, 4 figure