Rice-Like Theorems for Automata Networks

International audienceWe prove general complexity lower bounds on automata networks, in the style of Rice's theorem, but in the computable world. Our main result is that testing any fixed first-order property on the dynamics of an automata network is either trivial, or NP-hard, or coNP-hard. Moreover, there exist such properties that are arbitrarily high in the polynomial-time hierarchy. We also prove that testing a first-order property given as input on an automata network (also part of the input) is PSPACE-hard. Besides, we show that, under a natural effectiveness condition, any nontrivial property of the limit set of a nondeterministic network is PSPACE-hard. We also show that it is PSPACE-hard to separate deterministic networks with a very high and a very low number of limit configurations; however, the problem of deciding whether the number of limit configurations is maximal up to a polynomial quantity belongs to the polynomial-time hierarchy

Evaluation of streamwater composition changes in the Vosges Mountains (NE France): 1955–2005

n 1995, in the southwestern Vosges Mountains (NE France), 158 of 395 streams (40%) had a pH lower than 5.5 at baseflow. As elsewhere in Europe, acid deposition has decreased since the seventies, as has base cation deposition. In order to assess the response of streamwater to decreasing deposition, we compared their present chemical composition to their former composition. All comparisons showed a decrease in sulphate concentration, which was greater on granite than on sandstone. In addition calcium, magnesium and aluminium concentrations generally decreased. Acidity in streams draining granite decreased in spring, especially during the eighties, decreases were not observed on sandstone. Continuous monitoring of 5 streams since 1998 confirmed that Al concentrations decreased while changes in pH were small. Chemical trends in streams from the Vosges massif fell between those measured in Northern Europe and Central Europe. This study provides the first broad-scale overview of surface water acidification and recovery in France and emphasizes the need for continuous monitoring to assess long-term changes in aquatic ecosystems

Non regression testing for the JOREK code

Non Regression Testing (NRT) aims to check if software modifications result in undesired behaviour. Suppose the behaviour of the application previously known, this kind of test makes it possible to identify an eventual regression, a bug. Improving and tuning a parallel code can be a time-consuming and difficult task, especially whenever people from different scientific fields interact closely. The JOREK code aims at investing Magnetohydrodynamic (MHD) instabilities in a Tokamak plasma. This paper describes the NRT procedure that has been tuned for this simulation code. Automation of the NRT is one keypoint to keeping the code healthy in a source code repository.Comment: No. RR-8134 (2012

Quantum-Classical Computation of Schwinger Model Dynamics using Quantum Computers

We present a quantum-classical algorithm to study the dynamics of the two-spatial-site Schwinger model on IBM's quantum computers. Using rotational symmetries, total charge, and parity, the number of qubits needed to perform computation is reduced by a factor of $\sim 5$, removing exponentially-large unphysical sectors from the Hilbert space. Our work opens an avenue for exploration of other lattice quantum field theories, such as quantum chromodynamics, where classical computation is used to find symmetry sectors in which the quantum computer evaluates the dynamics of quantum fluctuations.Comment: 5 pages, 4 figures, 23 pages supplemental, 8 figures supplementa

G9a/GLP targeting in MM promotes autophagy-associated apoptosis and boosts proteasome inhibitor-mediated cell death

Multiple myeloma (MM) is an (epi)genetic highly heterogeneous plasma cell malignancy that remains mostly incurable. Deregulated expression and/or genetic defects in epigenetic-modifying enzymes contribute to high-risk disease and MM progression. Overexpression of the histone methyltransferase G9a was reported in several cancers, including MM, correlating with disease progression, metastasis, and poor prognosis. However, the exact role of G9a and its interaction partner G9a-like protein (GLP) in MM biology and the underlying mechanisms of action remain poorly understood. Here, we report that high G9a RNA levels are associated with a worse disease outcome in newly diagnosed and relapsed MM patients. G9a/GLP targeting using the specific G9a/GLP inhibitors BIX01294 and UNC0638 induces a G 1 -phase arrest and apoptosis in MM cell lines and reduces primary MM cell viability. Mechanistic studies revealed that G9a/GLP targeting promotes autophagy-associated apoptosis by inactivating the mTOR/4EBP1 pathway and reducing c-MYC levels. Moreover, genes deregulated by G9a/GLP targeting are associated with repressive histone marks. G9a/GLP targeting sensitizes MM cells to the proteasome inhibitors (PIs) bortezomib and carfilzomib, by (further) reducing mTOR signaling and c-MYC levels and activating p-38 and SAPK/JNK signaling. Therapeutic treatment of STGM1 mice with BIX01294 delayed in vivo MM tumor growth, and cotreatment with bortezomib resulted in a further reduction in tumor burden and a significantly prolonged survival. In conclusion, we provide evidence that the histone methyltransferases G9a/GLP support MM cell growth and survival by blocking basal autophagy and sustaining high c-MYC levels. G9a/GLP targeting represents a promising strategy to improve PI-based treatment in patients with high G9a/GLP levels

PoPe (Projection on Proper elements) for code control: verification, numerical convergence and reduced models. Application to plasma turbulence simulations

The Projection on Proper elements (PoPe) is a novel method of code control dedicated to 1) checking the correct implementation of models, 2) determining the convergence of numerical methods and 3) characterizing the residual errors of any given solution at very low cost. The basic idea is to establish a bijection between a simulation and a set of equations that generate it. Recovering equations is direct and relies on a statistical measure of the weight of the various operators. This method can be used in any dimensions and any regime, including chaotic ones. This method also provides a procedure to design reduced models and quantify the ratio costs to benefits. PoPe is applied to a kinetic and a fluid code of plasma turbulence

Synergetic effects of collisions, turbulence and sawtooth crashes on impurity transport

This paper investigates the interplay of neoclassical, turbulent and MHD processes, which are simultaneously at play when contributing to impurity transport. It is shown that these contributions are not additive, as assumed sometimes. The interaction between turbulence and neoclassical effects leads to less effective thermal screening, i.e. lowers the outward flux due to temperature gradient. This behavior is attributed to poloidal asymmetries of the flow driven by turbulence. Moreover sawtooth crashes play an important role to determine fluxes across the q = 1 surface. It is found that the density profile of a heavy impurity differs significantly in sawtoothing plasmas from the one predicted by neoclassical theory when neglecting MHD events. Sawtooth crashes impede impurity accumulation, but also weaken the impurity outflux due to the temperature gradient when the latter is dominant

Whole blood transcriptome profiles of trypanotolerant and trypanosusceptible cattle highlight a differential modulation of metabolism and immune response during infection by Trypanosoma congolense

Animal African trypanosomosis, caused by blood protozoan parasites transmitted mainly by tsetse flies, represents a major constraint for millions of cattle in sub-Saharan Africa. Exposed cattle include trypanosusceptible indicine breeds, severely affected by the disease, and West African taurine breeds called trypanotolerant owing to their ability to control parasite development, survive and grow in enzootic areas. Until now the genetic basis of trypanotolerance remains unclear. Here, to improve knowledge of the biological processes involved in trypanotolerance versus trypanosusceptibility, we identified bovine genes differentially expressed in five West African cattle breeds during an experimental infection by Trypanosoma congolense and their biological functions. To this end, whole blood genome-wide transcriptome of three trypanotolerant taurine breeds (N’Dama, Lagune and Baoulé), one susceptible zebu (Zebu Fulani) and one African taurine x zebu admixed breed (Borgou) were profiled by RNA sequencing at four time points, one before and three during infection. As expected, infection had a major impact on cattle blood transcriptome regardless of the breed. The functional analysis of differentially expressed genes over time in each breed confirmed an early activation of the innate immune response, followed by an activation of the humoral response and an inhibition of T cell functions at the chronic stage of infection. More importantly, we highlighted overlooked features, such as a strong disturbance in host metabolism and cellular energy production that differentiates trypanotolerant and trypanosusceptible breeds. N’Dama breed showed the earliest regulation of immune response, associated with a strong activation of cellular energy production, also observed in Lagune, and to a lesser extent in Baoulé. Susceptible Zebu Fulani breed differed from other breeds by the strongest modification in lipid metabolism regulation. Overall, this study provides a better understanding of the biological mechanisms at work during infection, especially concerning the interplay between immunity and metabolism that seems differentially regulated depending on the cattle breeds