Verification in Staged Tile Self-Assembly

We prove the unique assembly and unique shape verification problems, benchmark measures of self-assembly model power, are $\mathrm{coNP}^{\mathrm{NP}}$-hard and contained in $\mathrm{PSPACE}$ (and in $\mathrm{\Pi}^\mathrm{P}_{2s}$ for staged systems with $s$ stages). En route, we prove that unique shape verification problem in the 2HAM is $\mathrm{coNP}^{\mathrm{NP}}$-complete.Comment: An abstract version will appear in the proceedings of UCNC 201

L'amélioration des plantes tropicales

L'amélioration des plantes a connu au cours des dix dernières années une évolution rapide. D'une part, elle bénéficie désormais des outils biotechnologiques d'exploitation des ressources génétiques et de création de variétés, qui viennent enrichir les méthodes classiques de sélection. D'autre part, elle doit répondre à de nouvelles attentes : gérer la biodiversité et concourir à une agriculture durable. Cet ouvrage présente les derniers progrès réalisés en amélioration des plantes tropicales. Il se fonde principalement sur les travaux que les équipes françaises du CIRAD et de l'ORSTOM conduisent en collaboration avec leurs homologues des pays tropicaux. Il comprend vingt-quatre chapitres, chacun étant consacré à une culture et rédigé par des spécialistes de la génétique et de la sélection de l'espèce. Pour chaque plante ou groupe de plantes, les auteurs analysent la diversité des formes cultivées et leurs relations avec les espèces sauvages apparentées. Ils décrivent les méthodes d'amélioration et les apports des biotechnologies dans la pratique du sélectionneur. Ils examinent les progrès génétiques réalisés en partant d'exemples tirés des programmes de création variétale. Enfin ils traitent de la diffusion des variétés améliorées. Cet ouvrage de référence s'adresse au chercheur, à l'enseignant, à l'étudiant comme au professionnel de la sélection. (Résumé d'auteur

An investigation into linearity with cumulative emissions of the climate and carbon cycle response in HadCM3LC

We investigate the extent to which global mean temperature, precipitation, and the carbon cycle are constrained by cumulative carbon emissions throughout four experiments with a fully coupled climate-carbon cycle model. The two paired experiments adopt contrasting, idealised approaches to climate change mitigation at different action points this century, with total emissions exceeding two trillion tonnes of carbon in the later pair. Their initially diverging cumulative emissions trajectories cross after several decades, before diverging again. We find that their global mean temperatures are, to first order, linear with cumulative emissions, though regional differences in temperature of up to 1.5K exist when cumulative emissions of each pair coincide. Interestingly, although the oceanic precipitation response scales with cumulative emissions, the global precipitation response does not, due to a decrease in precipitation over land above cumulative emissions of around one trillion tonnes of carbon (TtC). Most carbon fluxes and stores are less well constrained by cumulative emissions as they reach two trillion tonnes. The opposing mitigation approaches have different consequences for the Amazon rainforest, which affects the linearity with which the carbon cycle responds to cumulative emissions. Averaged over the two fixed-emissions experiments, the transient response to cumulative carbon emissions (TCRE) is 1.95 K TtC-1, at the upper end of the IPCC’s range of 0.8-2.5 K TtC-1

Ordered Level Planarity, Geodesic Planarity and Bi-Monotonicity

We introduce and study the problem Ordered Level Planarity which asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a y-monotone curve. This can be interpreted as a variant of Level Planarity in which the vertices on each level appear in a prescribed total order. We establish a complexity dichotomy with respect to both the maximum degree and the level-width, that is, the maximum number of vertices that share a level. Our study of Ordered Level Planarity is motivated by connections to several other graph drawing problems. Geodesic Planarity asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a polygonal path composed of line segments with two adjacent directions from a given set $S$ of directions symmetric with respect to the origin. Our results on Ordered Level Planarity imply $NP$-hardness for any $S$ with $|S|\ge 4$ even if the given graph is a matching. Katz, Krug, Rutter and Wolff claimed that for matchings Manhattan Geodesic Planarity, the case where $S$ contains precisely the horizontal and vertical directions, can be solved in polynomial time [GD'09]. Our results imply that this is incorrect unless $P=NP$. Our reduction extends to settle the complexity of the Bi-Monotonicity problem, which was proposed by Fulek, Pelsmajer, Schaefer and \v{S}tefankovi\v{c}. Ordered Level Planarity turns out to be a special case of T-Level Planarity, Clustered Level Planarity and Constrained Level Planarity. Thus, our results strengthen previous hardness results. In particular, our reduction to Clustered Level Planarity generates instances with only two non-trivial clusters. This answers a question posed by Angelini, Da Lozzo, Di Battista, Frati and Roselli.Comment: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017

A lattice model of hydrophobic interactions

Hydrogen bonding is modeled in terms of virtual exchange of protons between water molecules. A simple lattice model is analyzed, using ideas and techniques from the theory of correlated electrons in metals. Reasonable parameters reproduce observed magnitudes and temperature dependence of the hydrophobic interaction between substitutional impurities and water within this lattice.Comment: 7 pages, 3 figures. To appear in Europhysics Letter

Functional biases in GRB's spectral parameter correlations

Gamma Ray Bursts (GRBs) show evidence of different spectral shapes, light curves, duration, host galaxies and they explode within a wide redshift range. However, the most of them seems to follow very tight correlations among some observed quantities relating to their energetic. If true, these correlations have significant implications on burst physics, giving constraints on theoretical models. Moreover, several suggestions have been made to use these correlations in order to calibrate GRBs as standard candles and to constrain the cosmological parameters. We investigate the cosmological relation between low energy $\alpha$ index in GRBs prompt spectra and the redshift $z$. We present a statistical analysis of the relation between the total isotropic energy $E_{iso}$ and the peak energy $E_p$ (also known as Amati relation) in GRBs spectra searching for possible functional biases. Possible implications on the $E_{iso}$ vs $E_p$ relation of the $\alpha$ vs $(1+z)$ correlation are evaluated. We used MonteCarlo simulations and the boostrap method to evaluate how large are the effects of functional biases on the $E_{iso}$ vs $E_p$. We show that high values of the linear correlation coefficent, up to about 0.8, in the $E_{iso}$ vs $E_p$ relation are obtained for random generated samples of GRBs, confirming the relevance of functional biases. Astrophysical consequences from $E_{iso}$ vs $E_p$ relation are then to be revised after a more accurate and possibly bias free analysis.Comment: 6 pages, 6 figures, conference poster session: "070228: The Next Decade of Gamma-Ray Burst Afterglows", Amsterdam, March 2007, MNRAS submitte