Non-interference for deterministic interactive programs

We consider the problem of defining an appropriate notion of non-interference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O'Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms of strategies modelling the behaviour of users. We show that, for deterministic interactive programs, it is not necessary to consider strategies and that a simple stream model of the users' behaviour is sufficient. The key technical result is that, for deterministic programs, stream-based NI implies the apparently more general strategy-based NI (in fact we consider a wider class of strategies than those of O'Neill et al). We give our results in terms of a simple notion of Input-Output Labelled Transition System, thus allowing application of the results to a large class of deterministic interactive programming languages

Kullback-Leibler and Renormalized Entropy: Applications to EEGs of Epilepsy Patients

Recently, renormalized entropy was proposed as a novel measure of relative entropy (P. Saparin et al., Chaos, Solitons & Fractals 4, 1907 (1994)) and applied to several physiological time sequences, including EEGs of patients with epilepsy. We show here that this measure is just a modified Kullback-Leibler (K-L) relative entropy, and it gives similar numerical results to the standard K-L entropy. The latter better distinguishes frequency contents of e.g. seizure and background EEGs than renormalized entropy. We thus propose that renormalized entropy might not be as useful as claimed by its proponents. In passing we also make some critical remarks about the implementation of these methods.Comment: 15 pages, 4 Postscript figures. Submitted to Phys. Rev. E, 199

ALS/FTD‐associated FUS activates GSK‐3β to disrupt the VAPB–PTPIP51 interaction and ER–mitochondria associations

Defective FUS metabolism is strongly associated with amyotrophic lateral sclerosis and frontotemporal dementia (ALS/FTD), but the mechanisms linking FUS to disease are not properly understood. However, many of the functions disrupted in ALS/FTD are regulated by signalling between the endoplasmic reticulum (ER) and mitochondria. This signalling is facilitated by close physical associations between the two organelles that are mediated by binding of the integral ER protein VAPB to the outer mitochondrial membrane protein PTPIP51, which act as molecular scaffolds to tether the two organelles. Here, we show that FUS disrupts the VAPB–PTPIP51 interaction and ER–mitochondria associations. These disruptions are accompanied by perturbation of Ca2+ uptake by mitochondria following its release from ER stores, which is a physiological read‐out of ER–mitochondria contacts. We also demonstrate that mitochondrial ATP production is impaired in FUS‐expressing cells; mitochondrial ATP production is linked to Ca2+ levels. Finally, we demonstrate that the FUS‐induced reductions to ER–mitochondria associations and are linked to activation of glycogen synthase kinase‐3β (GSK‐3β), a kinase already strongly associated with ALS/FTD

Counting BPS Operators in Gauge Theories: Quivers, Syzygies and Plethystics

We develop a systematic and efficient method of counting single-trace and multi-trace BPS operators with two supercharges, for world-volume gauge theories of $N$ D-brane probes for both $N \to \infty$ and finite $N$. The techniques are applicable to generic singularities, orbifold, toric, non-toric, complete intersections, et cetera, even to geometries whose precise field theory duals are not yet known. The so-called ``Plethystic Exponential'' provides a simple bridge between (1) the defining equation of the Calabi-Yau, (2) the generating function of single-trace BPS operators and (3) the generating function of multi-trace operators. Mathematically, fascinating and intricate inter-relations between gauge theory, algebraic geometry, combinatorics and number theory exhibit themselves in the form of plethystics and syzygies.Comment: 59+1 pages, 7 Figure

Dynamical mean-field theory of spiking neuron ensembles: response to a single spike with independent noises

Dynamics of an ensemble of $N$-unit FitzHugh-Nagumo (FN) neurons subject to white noises has been studied by using a semi-analytical dynamical mean-field (DMF) theory in which the original $2 N$-dimensional {\it stochastic} differential equations are replaced by 8-dimensional {\it deterministic} differential equations expressed in terms of moments of local and global variables. Our DMF theory, which assumes weak noises and the Gaussian distribution of state variables, goes beyond weak couplings among constituent neurons. By using the expression for the firing probability due to an applied single spike, we have discussed effects of noises, synaptic couplings and the size of the ensemble on the spike timing precision, which is shown to be improved by increasing the size of the neuron ensemble, even when there are no couplings among neurons. When the coupling is introduced, neurons in ensembles respond to an input spike with a partial synchronization. DMF theory is extended to a large cluster which can be divided into multiple sub-clusters according to their functions. A model calculation has shown that when the noise intensity is moderate, the spike propagation with a fairly precise timing is possible among noisy sub-clusters with feed-forward couplings, as in the synfire chain. Results calculated by our DMF theory are nicely compared to those obtained by direct simulations. A comparison of DMF theory with the conventional moment method is also discussed.Comment: 29 pages, 2 figures; augmented the text and added Appendice

Phases of M2-brane Theories

We investigate different toric phases of 2+1 dimensional quiver gauge theories arising from M2-branes probing toric Calabi-Yau 4 folds. A brane tiling for each toric phase is presented. We apply the 'forward algorithm' to obtain the toric data of the mesonic moduli space of vacua and exhibit the equivalence between the vacua of different toric phases of a given singularity. The structures of the Master space, the mesonic moduli space, and the baryonic moduli space are examined in detail. We compute the Hilbert series and use them to verify the toric dualities between different phases. The Hilbert series, R-charges, and generators of the mesonic moduli space are matched between toric phases.Comment: 60 pages, 28 figures, 6 tables. v2: minor correction

Adiabatic following criterion, estimation of the nonadiabatic excitation fraction and quantum jumps

An accurate theory describing adiabatic following of the dark, nonabsorbing state in the three-level system is developed. An analytical solution for the wave function of the particle experiencing Raman excitation is found as an expansion in terms of the time varying nonadiabatic perturbation parameter. The solution can be presented as a sum of adiabatic and nonadiabatic parts. Both are estimated quantitatively. It is shown that the limiting value to which the amplitude of the nonadiabatic part tends is equal to the Fourier component of the nonadiabatic perturbation parameter taken at the Rabi frequency of the Raman excitation. The time scale of the variation of both parts is found. While the adiabatic part of the solution varies slowly and follows the change of the nonadiabatic perturbation parameter, the nonadiabatic part appears almost instantly, revealing a jumpwise transition between the dark and bright states. This jump happens when the nonadiabatic perturbation parameter takes its maximum value.Comment: 33 pages, 8 figures, submitted to PRA on 28 Oct. 200

Simple model of adsorption on external surface of carbon nanotubes: a new analytical approach basing on molecular simulation data

Nitrogen adsorption on carbon nanotubes is wide- ly studied because nitrogen adsorption isotherm measurement is a standard method applied for porosity characterization. A further reason is that carbon nanotubes are potential adsorbents for separation of nitrogen from oxygen in air. The study presented here describes the results of GCMC simulations of nitrogen (three site model) adsorption on single and multi walled closed nanotubes. The results obtained are described by a new adsorption isotherm model proposed in this study. The model can be treated as the tube analogue of the GAB isotherm taking into account the lateral adsorbate-adsorbate interactions. We show that the model describes the simulated data satisfactorily. Next this new approach is applied for a description of experimental data measured on different commercially available (and characterized using HRTEM) carbon nanotubes. We show that generally a quite good fit is observed and therefore it is suggested that the observed mechanism of adsorption in the studied materials is mainly determined by adsorption on tubes separated at large distances, so the tubes behave almost independently

Scale-free memory model for multiagent reinforcement learning. Mean field approximation and rock-paper-scissors dynamics

A continuous time model for multiagent systems governed by reinforcement learning with scale-free memory is developed. The agents are assumed to act independently of one another in optimizing their choice of possible actions via trial-and-error search. To gain awareness about the action value the agents accumulate in their memory the rewards obtained from taking a specific action at each moment of time. The contribution of the rewards in the past to the agent current perception of action value is described by an integral operator with a power-law kernel. Finally a fractional differential equation governing the system dynamics is obtained. The agents are considered to interact with one another implicitly via the reward of one agent depending on the choice of the other agents. The pairwise interaction model is adopted to describe this effect. As a specific example of systems with non-transitive interactions, a two agent and three agent systems of the rock-paper-scissors type are analyzed in detail, including the stability analysis and numerical simulation. Scale-free memory is demonstrated to cause complex dynamics of the systems at hand. In particular, it is shown that there can be simultaneously two modes of the system instability undergoing subcritical and supercritical bifurcation, with the latter one exhibiting anomalous oscillations with the amplitude and period growing with time. Besides, the instability onset via this supercritical mode may be regarded as "altruism self-organization". For the three agent system the instability dynamics is found to be rather irregular and can be composed of alternate fragments of oscillations different in their properties.Comment: 17 pages, 7 figur