Finding polynomial loop invariants for probabilistic programs

Quantitative loop invariants are an essential element in the verification of probabilistic programs. Recently, multivariate Lagrange interpolation has been applied to synthesizing polynomial invariants. In this paper, we propose an alternative approach. First, we fix a polynomial template as a candidate of a loop invariant. Using Stengle's Positivstellensatz and a transformation to a sum-of-squares problem, we find sufficient conditions on the coefficients. Then, we solve a semidefinite programming feasibility problem to synthesize the loop invariants. If the semidefinite program is unfeasible, we backtrack after increasing the degree of the template. Our approach is semi-complete in the sense that it will always lead us to a feasible solution if one exists and numerical errors are small. Experimental results show the efficiency of our approach.Comment: accompanies an ATVA 2017 submissio

The deuteron: structure and form factors

A brief review of the history of the discovery of the deuteron in provided. The current status of both experiment and theory for the elastic electron scattering is then presented.Comment: 80 pages, 33 figures, submited to Advances in Nuclear Physic

Life satisfaction and confidence in national institutions: evidence from South America

A number of South American countries experienced turbulent democratic, political and economic upheaval over the last 40 years in the form of coup d’états in the 1970s, tumultuous elections, and repeated severe economic crises, some of which happened fairly recently. Starting in 2010, a number of court proceedings across the region have made past military coup d’états the focus of national conversations. South American citizens may, therefore, have lost confidence in national institutions that have repeatedly disappointed their trust and expectations; a situation with potentially detrimental effects on their well-being. Using eight waves of the Gallup World Poll collected between 2009 and 2016 across ten South American countries, we investigate to what extent people’s confidence in financial institutions, the honesty of elections, the military, the judicial system, the national government and the police is associated with people’s current and expectation of future life satisfaction. We find that people who report confidence in these six institutions rate their current and expected life satisfaction, on average, to be higher than those who lack these types of institutional confidence, even after controlling for demographic factors and macroeconomic indicators. In addition, we investigate changes over time for all six measures of confidence in institutions as well as for current and expectation of future life satisfaction. Our results suggest that governments’ investments in well-functioning institutions may contribute positively to subjective well-being in a society. However, our analysis is correlational and we thus cannot rule out reverse causality

Happiness economics

There is enough evidence to be confident that individuals are able and willing to provide a meaningful answer when asked to value on a finite scale their satisfaction with their own lives, a question that psychologists have long and often posed to respondents of large questionnaires. Without taking its limitations and criticisms too lightly, some economists have been using thismeasure of self-reported satisfaction as a proxy for utility so as to contribute to a better understanding of individuals' tastes and hopefully behavior. By means of satisfaction questions we can elicit information on individual likes and dislikes over a large set of relevant issues, such as income, working status and job amenities, the risk of becoming unemployed, inflation, and health status. This information can be used to evaluate existing ideas from a new perspective, understand individual behavior, evaluate and design public policies, study poverty and inequality, and develop a preference based valuation method. In this article I first critically assess the pros and cons of using satisfaction variables, and then discuss its main applications

Age and date for early arrival of the Acheulian in Europe (Barranc de la Boella, la Canonja, Spain)

The first arrivals of hominin populations into Eurasia during the Early Pleistocene are currently considered to have occurred as short and poorly dated biological dispersions. Questions as to the tempo and mode of these early prehistoric settlements have given rise to debates concerning the taxonomic significance of the lithic assemblages, as trace fossils, and the geographical distribution of the technological traditions found in the Lower Palaeolithic record. Here, we report on the Barranc de la Boella site which has yielded a lithic assemblage dating to ,1 million years ago that includes large cutting tools (LCT). We argue that distinct technological traditions coexisted in the Iberian archaeological repertoires of the late Early Pleistocene age in a similar way to the earliest sub-Saharan African artefact assemblages. These differences between stone tool assemblages may be attributed to the different chronologies of hominin dispersal events. The archaeological record of Barranc de la Boella completes the geographical distribution of LCT assemblages across southern Eurasia during the EMPT (Early-Middle Pleistocene Transition, circa 942 to 641 kyr). Up to now, chronology of the earliest European LCT assemblages is based on the abundant Palaeolithic record found in terrace river sequences which have been dated to the end of the EMPT and later. However, the findings at Barranc de la Boella suggest that early LCT lithic assemblages appeared in the SW of Europe during earlier hominin dispersal episodes before the definitive colonization of temperate Eurasia took place.The research at Barranc de la Boella has been carried out with the financial support of the Spanish Ministerio de Economı´a y Competitividad (CGL2012- 36682; CGL2012-38358, CGL2012-38434-C03-03 and CGL2010-15326; MICINN project HAR2009-7223/HIST), Generalitat de Catalunya, AGAUR agence (projects 2014SGR-901; 2014SGR-899; 2009SGR-324, 2009PBR-0033 and 2009SGR-188) and Junta de Castilla y Leo´n BU1004A09. Financial support for Barranc de la Boella field work and archaeological excavations is provided by the Ajuntament de la Canonja and Departament de Cultura (Servei d’Arqueologia i Paleontologia) de la Generalitat de Catalunya. A. Carrancho’s research was funded by the International Excellence Programme, Reinforcement subprogramme of the Spanish Ministry of Education. I. Lozano-Ferna´ndez acknowledges the pre-doctoral grant from the Fundacio´n Atapuerca. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript

Different rates of spontaneous mutation of chloroplastic and nuclear viroids as determined by high-fidelity ultra-deep sequencing

[EN] Mutation rates vary by orders of magnitude across biological systems, being higher for simpler genomes. The simplest known genomes correspond to viroids, subviral plant replicons constituted by circular non-coding RNAs of few hundred bases. Previous work has revealed an extremely high mutation rate for chrysanthemum chlorotic mottle viroid, a chloroplastreplicating viroid. However, whether this is a general feature of viroids remains unclear. Here, we have used high-fidelity ultra-deep sequencing to determine the mutation rate in a common host (eggplant) of two viroids, each representative of one family: the chloroplastic eggplant latent viroid (ELVd, Avsunviroidae) and the nuclear potato spindle tuber viroid (PSTVd, Pospiviroidae). This revealed higher mutation frequencies in ELVd than in PSTVd, as well as marked differences in the types of mutations produced. Rates of spontaneous mutation, quantified in vivo using the lethal mutation method, ranged from 1/1000 to 1/800 for ELVd and from 1/7000 to 1/3800 for PSTVd depending on sequencing run. These results suggest that extremely high mutability is a common feature of chloroplastic viroids, whereas the mutation rates of PSTVd and potentially other nuclear viroids appear significantly lower and closer to those of some RNA viruses.This work was supported by the European Research Council (erc.europa.eu; ERC-2011-StG-281191-VIRMUT to RS), the Spanish Ministerio de Economia y Competitividad (www.mineco.gob.es; BFU2013-41329 grant to RS, BFU2014-56812-P grant to RF, and a predoctoral fellowship to ALC), and the Spanish Junta de Comunidades de Castilla-La Mancha (www.castillalamancha.es;postdoctoral fellowship to CB). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.López-Carrasco, MA.; Ballesteros Martínez, C.; Sentandreu, V.; Delgado Villar, SG.; Gago Zachert, SP.; Flores Pedauye, R.; Sanjuan Verdeguer, R. (2017). Different rates of spontaneous mutation of chloroplastic and nuclear viroids as determined by high-fidelity ultra-deep sequencing. PLoS Pathogens. 13(9):1-17. https://doi.org/10.1371/journal.ppat.1006547S117139Ganai, R. A., & Johansson, E. (2016). DNA Replication—A Matter of Fidelity. Molecular Cell, 62(5), 745-755. doi:10.1016/j.molcel.2016.05.003Lynch, M. (2010). Evolution of the mutation rate. Trends in Genetics, 26(8), 345-352. doi:10.1016/j.tig.2010.05.003Sanjuán, R., & Domingo-Calap, P. (2016). Mechanisms of viral mutation. Cellular and Molecular Life Sciences, 73(23), 4433-4448. doi:10.1007/s00018-016-2299-6Gago, S., Elena, S. F., Flores, R., & Sanjuan, R. (2009). Extremely High Mutation Rate of a Hammerhead Viroid. Science, 323(5919), 1308-1308. doi:10.1126/science.1169202Flores, R., Gago-Zachert, S., Serra, P., Sanjuán, R., & Elena, S. F. (2014). Viroids: Survivors from the RNA World? Annual Review of Microbiology, 68(1), 395-414. doi:10.1146/annurev-micro-091313-103416Flores, R., Minoia, S., Carbonell, A., Gisel, A., Delgado, S., López-Carrasco, A., … Di Serio, F. (2015). Viroids, the simplest RNA replicons: How they manipulate their hosts for being propagated and how their hosts react for containing the infection. Virus Research, 209, 136-145. doi:10.1016/j.virusres.2015.02.027Steger, G., & Perreault, J.-P. (2016). Structure and Associated Biological Functions of Viroids. Advances in Virus Research, 141-172. doi:10.1016/bs.aivir.2015.11.002Diener, T. O. (1989). Circular RNAs: relics of precellular evolution? Proceedings of the National Academy of Sciences, 86(23), 9370-9374. doi:10.1073/pnas.86.23.9370Ambrós, S., Hernández, C., & Flores, R. (1999). Rapid generation of genetic heterogeneity in progenies from individual cDNA clones of peach latent mosaic viroid in its natural host The data reported in this paper are in the EMBL nucleotide sequence database and assigned the accession nos AJ241818–AJ241850. Journal of General Virology, 80(8), 2239-2252. doi:10.1099/0022-1317-80-8-2239Navarro, J.-A., Vera, A., & Flores, R. (2000). A Chloroplastic RNA Polymerase Resistant to Tagetitoxin Is Involved in Replication of Avocado Sunblotch Viroid. Virology, 268(1), 218-225. doi:10.1006/viro.1999.0161Rodio, M.-E., Delgado, S., De Stradis, A., Gómez, M.-D., Flores, R., & Di Serio, F. (2007). A Viroid RNA with a Specific Structural Motif Inhibits Chloroplast Development. The Plant Cell, 19(11), 3610-3626. doi:10.1105/tpc.106.049775Carbonell, A., De la Peña, M., Flores, R., & Gago, S. (2006). Effects of the trinucleotide preceding the self-cleavage site on eggplant latent viroid hammerheads: differences in co- and post-transcriptional self-cleavage may explain the lack of trinucleotide AUC in most natural hammerheads. Nucleic Acids Research, 34(19), 5613-5622. doi:10.1093/nar/gkl717Hutchins, C. J., Rathjen, P. D., Forster, A. C., & Symons, R. H. (1986). Self-cleavage of plus and minus RNA transcripts of avocado sunblotch viroid. Nucleic Acids Research, 14(9), 3627-3640. doi:10.1093/nar/14.9.3627PRODY, G. A., BAKOS, J. T., BUZAYAN, J. M., SCHNEIDER, I. R., & BRUENING, G. (1986). Autolytic Processing of Dimeric Plant Virus Satellite RNA. Science, 231(4745), 1577-1580. doi:10.1126/science.231.4745.1577Nohales, M.-A., Molina-Serrano, D., Flores, R., & Daros, J.-A. (2012). Involvement of the Chloroplastic Isoform of tRNA Ligase in the Replication of Viroids Belonging to the Family Avsunviroidae. Journal of Virology, 86(15), 8269-8276. doi:10.1128/jvi.00629-12Branch, A. D., Benenfeld, B. J., & Robertson, H. D. (1988). Evidence for a single rolling circle in the replication of potato spindle tuber viroid. Proceedings of the National Academy of Sciences, 85(23), 9128-9132. doi:10.1073/pnas.85.23.9128Daros, J.-A., & Flores, R. (2004). Arabidopsis thaliana has the enzymatic machinery for replicating representative viroid species of the family Pospiviroidae. Proceedings of the National Academy of Sciences, 101(17), 6792-6797. doi:10.1073/pnas.0401090101Feldstein, P. A., Hu, Y., & Owens, R. A. (1998). Precisely full length, circularizable, complementary RNA: An infectious form of potato spindle tuber viroid. Proceedings of the National Academy of Sciences, 95(11), 6560-6565. doi:10.1073/pnas.95.11.6560Gas, M.-E., Hernández, C., Flores, R., & Daròs, J.-A. (2007). Processing of Nuclear Viroids In Vivo: An Interplay between RNA Conformations. PLoS Pathogens, 3(11), e182. doi:10.1371/journal.ppat.0030182Nohales, M.-A., Flores, R., & Daros, J.-A. (2012). Viroid RNA redirects host DNA ligase 1 to act as an RNA ligase. Proceedings of the National Academy of Sciences, 109(34), 13805-13810. doi:10.1073/pnas.1206187109Brass, J. R. J., Owens, R. A., Matoušek, J., & Steger, G. (2017). Viroid quasispecies revealed by deep sequencing. RNA Biology, 14(3), 317-325. doi:10.1080/15476286.2016.1272745Bull, J. J., Sanjuán, R., & Wilke, C. O. (2007). Theory of Lethal Mutagenesis for Viruses. Journal of Virology, 81(6), 2930-2939. doi:10.1128/jvi.01624-06Cuevas, J. M., González-Candelas, F., Moya, A., & Sanjuán, R. (2009). Effect of Ribavirin on the Mutation Rate and Spectrum of Hepatitis C Virus In Vivo. Journal of Virology, 83(11), 5760-5764. doi:10.1128/jvi.00201-09Ribeiro, R. M., Li, H., Wang, S., Stoddard, M. B., Learn, G. H., Korber, B. T., … Perelson, A. S. (2012). Quantifying the Diversification of Hepatitis C Virus (HCV) during Primary Infection: Estimates of the In Vivo Mutation Rate. PLoS Pathogens, 8(8), e1002881. doi:10.1371/journal.ppat.1002881Acevedo, A., Brodsky, L., & Andino, R. (2013). Mutational and fitness landscapes of an RNA virus revealed through population sequencing. Nature, 505(7485), 686-690. doi:10.1038/nature12861Cuevas, J. M., Geller, R., Garijo, R., López-Aldeguer, J., & Sanjuán, R. (2015). Extremely High Mutation Rate of HIV-1 In Vivo. PLOS Biology, 13(9), e1002251. doi:10.1371/journal.pbio.1002251Acevedo, A., & Andino, R. (2014). Library preparation for highly accurate population sequencing of RNA viruses. Nature Protocols, 9(7), 1760-1769. doi:10.1038/nprot.2014.118Kennedy, S. R., Schmitt, M. W., Fox, E. J., Kohrn, B. F., Salk, J. J., Ahn, E. H., … Loeb, L. A. (2014). Detecting ultralow-frequency mutations by Duplex Sequencing. Nature Protocols, 9(11), 2586-2606. doi:10.1038/nprot.2014.170Franklin, R. M. (1966). Purification and properties of the replicative intermediate of the RNA bacteriophage R17. Proceedings of the National Academy of Sciences, 55(6), 1504-1511. doi:10.1073/pnas.55.6.1504López-Carrasco, A., Gago-Zachert, S., Mileti, G., Minoia, S., Flores, R., & Delgado, S. (2015). The transcription initiation sites of eggplant latent viroid strands map within distinct motifs in theirin vivoRNA conformations. RNA Biology, 13(1), 83-97. doi:10.1080/15476286.2015.1119365Keese, P., & Symons, R. H. (1985). Domains in viroids: evidence of intermolecular RNA rearrangements and their contribution to viroid evolution. Proceedings of the National Academy of Sciences, 82(14), 4582-4586. doi:10.1073/pnas.82.14.4582López-Carrasco, A., & Flores, R. (2016). Dissecting the secondary structure of the circular RNA of a nuclear viroid in vivo: A «naked» rod-like conformation similar but not identical to that observed in vitro. RNA Biology, 14(8), 1046-1054. doi:10.1080/15476286.2016.1223005Flores, R., Hernandez, C., de la Peña, M., Vera, A., & Daros, J.-A. (2001). Hammerhead Ribozyme Structure and Function in Plant RNA Replication. Ribonucleases - Part A, 540-552. doi:10.1016/s0076-6879(01)41175-xMartick, M., & Scott, W. G. (2006). Tertiary Contacts Distant from the Active Site Prime a Ribozyme for Catalysis. Cell, 126(2), 309-320. doi:10.1016/j.cell.2006.06.036Ruffner, D. E., Stormo, G. D., & Uhlenbeck, O. C. (1990). Sequence requirements of the hammerhead RNA self-cleavage reaction. Biochemistry, 29(47), 10695-10702. doi:10.1021/bi00499a018Flores, R., Serra, P., Minoia, S., Di Serio, F., & Navarro, B. (2012). Viroids: From Genotype to Phenotype Just Relying on RNA Sequence and Structural Motifs. Frontiers in Microbiology, 3. doi:10.3389/fmicb.2012.00217Owens, R. A., Chen, W., Hu, Y., & Hsu, Y.-H. (1995). Suppression of Potato Spindle Tuber Viroid Replication and Symptom Expression by Mutations Which Stabilize the Pathogenicity Domain. Virology, 208(2), 554-564. doi:10.1006/viro.1995.1186Takeda, R., Petrov, A. I., Leontis, N. B., & Ding, B. (2011). A Three-Dimensional RNA Motif in Potato spindle tuber viroid Mediates Trafficking from Palisade Mesophyll to Spongy Mesophyll in Nicotiana benthamiana. The Plant Cell, 23(1), 258-272. doi:10.1105/tpc.110.081414Zhong, X., Leontis, N., Qian, S., Itaya, A., Qi, Y., Boris-Lawrie, K., & Ding, B. (2006). Tertiary Structural and Functional Analyses of a Viroid RNA Motif by Isostericity Matrix and Mutagenesis Reveal Its Essential Role in Replication. Journal of Virology, 80(17), 8566-8581. doi:10.1128/jvi.00837-06Zhong, X., Tao, X., Stombaugh, J., Leontis, N., & Ding, B. (2007). Tertiary structure and function of an RNA motif required for plant vascular entry to initiate systemic trafficking. The EMBO Journal, 26(16), 3836-3846. doi:10.1038/sj.emboj.7601812Zhong, X., Archual, A. J., Amin, A. A., & Ding, B. (2008). A Genomic Map of Viroid RNA Motifs Critical for Replication and Systemic Trafficking. The Plant Cell, 20(1), 35-47. doi:10.1105/tpc.107.056606Thomas, M. J., Platas, A. A., & Hawley, D. K. (1998). Transcriptional Fidelity and Proofreading by RNA Polymerase II. Cell, 93(4), 627-637. doi:10.1016/s0092-8674(00)81191-5Gout, J.-F., Thomas, W. K., Smith, Z., Okamoto, K., & Lynch, M. (2013). Large-scale detection of in vivo transcription errors. Proceedings of the National Academy of Sciences, 110(46), 18584-18589. doi:10.1073/pnas.1309843110Hedtke, B. (1997). Mitochondrial and Chloroplast Phage-Type RNA Polymerases in Arabidopsis. Science, 277(5327), 809-811. doi:10.1126/science.277.5327.809Lerbs-Mache, S. (1993). The 110-kDa polypeptide of spinach plastid DNA-dependent RNA polymerase: single-subunit enzyme or catalytic core of multimeric enzyme complexes? Proceedings of the National Academy of Sciences, 90(12), 5509-5513. doi:10.1073/pnas.90.12.5509Oldenkott, B., Yamaguchi, K., Tsuji-Tsukinoki, S., Knie, N., & Knoop, V. (2014). Chloroplast RNA editing going extreme: more than 3400 events of C-to-U editing in the chloroplast transcriptome of the lycophyteSelaginella uncinata. RNA, 20(10), 1499-1506. doi:10.1261/rna.045575.114Codoñer, F. M., Darós, J.-A., Solé, R. V., & Elena, S. F. (2006). The Fittest versus the Flattest: Experimental Confirmation of the Quasispecies Effect with Subviral Pathogens. PLoS Pathogens, 2(12), e136. doi:10.1371/journal.ppat.0020136Eigen, M. (1971). Selforganization of matter and the evolution of biological macromolecules. Die Naturwissenschaften, 58(10), 465-523. doi:10.1007/bf00623322Lynch, M. (2011). The Lower Bound to the Evolution of Mutation Rates. Genome Biology and Evolution, 3, 1107-1118. doi:10.1093/gbe/evr066Bradwell, K., Combe, M., Domingo-Calap, P., & Sanjuán, R. (2013). Correlation Between Mutation Rate and Genome Size in Riboviruses: Mutation Rate of Bacteriophage Qβ. Genetics, 195(1), 243-251. doi:10.1534/genetics.113.154963Drake, J. W. (1991). A constant rate of spontaneous mutation in DNA-based microbes. Proceedings of the National Academy of Sciences, 88(16), 7160-7164. doi:10.1073/pnas.88.16.7160Schmitt, M. W., Kennedy, S. R., Salk, J. J., Fox, E. J., Hiatt, J. B., & Loeb, L. A. (2012). Detection of ultra-rare mutations by next-generation sequencing. Proceedings of the National Academy of Sciences, 109(36), 14508-14513. doi:10.1073/pnas.120871510

Identification of QTLs for Arsenic Accumulation in Maize (Zea mays L.) Using a RIL Population

The Arsenic (As) concentration in different tissues of maize was analyzed using a set of RIL populations derived from an elite hybrid, Nongda108. The results showed that the trend of As concentration in the four measured tissues was leaves>stems>bracts>kernels. Eleven QTLs for As concentration were detected in the four tissues. Three QTLs for As concentration in leaves were mapped on chromosomes 1, 5, and 8, respectively. For As concentration in the bracts, two QTLs were identified, with 9.61% and 10.03% phenotypic variance. For As concentration in the stems, three QTLs were detected with 8.24%, 14.86%, and 15.23% phenotypic variance. Three QTLs were identified for kernels on chromosomes 3, 5, and 7, respectively, with 10.73%, 8.52%, and 9.10% phenotypic variance. Only one common chromosomal region between SSR marker bnlg1811 and umc1243 was detected for QTLs qLAV1 and qSAC1. The results implied that the As accumulation in different tissues in maize was controlled by different molecular mechanism. The study demonstrated that maize could be a useful plant for phytoremediation of As-contaminated paddy soil, and the QTLs will be useful for selecting inbred lines and hybrids with low As concentration in their kernels

Climate Influence on Deep Sea Populations

Dynamics of biological processes on the deep-sea floor are traditionally thought to be controlled by vertical sinking of particles from the euphotic zone at a seasonal scale. However, little is known about the influence of lateral particle transport from continental margins to deep-sea ecosystems. To address this question, we report here how the formation of dense shelf waters and their subsequent downslope cascade, a climate induced phenomenon, affects the population of the deep-sea shrimp Aristeus antennatus. We found evidence that strong currents associated with intense cascading events correlates with the disappearance of this species from its fishing grounds, producing a temporary fishery collapse. Despite this initial negative effect, landings increase between 3 and 5 years after these major events, preceded by an increase of juveniles. The transport of particulate organic matter associated with cascading appears to enhance the recruitment of this deep-sea living resource, apparently mitigating the general trend of overexploitation. Because cascade of dense water from continental shelves is a global phenomenon, we anticipate that its influence on deep-sea ecosystems and fisheries worldwide should be larger than previously thought