Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Conserved chromosomal clustering of genes governed by chromatin regulators in Drosophila

BACKGROUND: The trithorax group (trxG) and Polycomb group (PcG) proteins are responsible for the maintenance of stable transcriptional patterns of many developmental regulators. They bind to specific regions of DNA and direct the post-translational modifications of histones, playing a role in the dynamics of chromatin structure. RESULTS: We have performed genome-wide expression studies of trx and ash2 mutants in Drosophila melanogaster. Using computational analysis of our microarray data, we have identified 25 clusters of genes potentially regulated by TRX. Most of these clusters consist of genes that encode structural proteins involved in cuticle formation. This organization appears to be a distinctive feature of the regulatory networks of TRX and other chromatin regulators, since we have observed the same arrangement in clusters after experiments performed with ASH2, as well as in experiments performed by others with NURF, dMyc, and ASH1. We have also found many of these clusters to be significantly conserved in D. simulans, D. yakuba, D. pseudoobscura and partially in Anopheles gambiae. CONCLUSION: The analysis of genes governed by chromatin regulators has led to the identification of clusters of functionally related genes conserved in other insect species, suggesting this chromosomal organization is biologically important. Moreover, our results indicate that TRX and other chromatin regulators may act globally on chromatin domains that contain transcriptionally co-regulated genes.

Implementation, elimination of weakly dominated strategies and evolutionary dynamics

This paper is concerned with the realism of mechanisms that implementsocial choice functions in the traditional sense. Will agents actually playthe equilibrium assumed by the analysis? As an example, we study theconvergence and stability properties of Sj\"ostr\"om's (1994) mechanism, onthe assumption that boundedly rational players find their way to equilibriumusing monotonic learning dynamics and also with fictitious play. Thismechanism implements most social choice functions in economic environmentsusing as a solution concept the iterated elimination of weakly dominatedstrategies (only one round of deletion of weakly dominated strategies isneeded). There are, however, many sets of Nash equilibria whose payoffs maybe very different from those desired by the social choice function. Withmonotonic dynamics we show that many equilibria in all the sets ofequilibria we describe are the limit points of trajectories that havecompletely mixed initial conditions. The initial conditions that lead tothese equilibria need not be very close to the limiting point. Furthermore,even if the dynamics converge to the ``right'' set of equilibria, it stillcan converge to quite a poor outcome in welfare terms. With fictitious play,if the agents have completely mixed prior beliefs, beliefs and play convergeto the outcome the planner wants to implement.

Amelioration of Duchenne muscular dystrophy in mdx mice by elimination of matrix-associated fibrin-driven inflammation coupled to the αMβ2 leukocyte integrin receptor

In Duchenne muscular dystrophy (DMD), a persistently altered and reorganizing extracellular matrix (ECM) within inflamed muscle promotes damage and dysfunction. However, the molecular determinants of the ECM that mediate inflammatory changes and faulty tissue reorganization remain poorly defined. Here, we show that fibrin deposition is a conspicuous consequence of muscle-vascular damage in dystrophic muscles of DMD patients and mdx mice and that elimination of fibrin(ogen) attenuated dystrophy progression in mdx mice. These benefits appear to be tied to: (i) a decrease in leukocyte integrin α(M)β(2)-mediated proinflammatory programs, thereby attenuating counterproductive inflammation and muscle degeneration; and (ii) a release of satellite cells from persistent inhibitory signals, thereby promoting regeneration. Remarkably, Fib-gamma(390-396A) (Fibγ(390-396A)) mice expressing a mutant form of fibrinogen with normal clotting function, but lacking the α(M)β(2) binding motif, ameliorated dystrophic pathology. Delivery of a fibrinogen/α(M)β(2) blocking peptide was similarly beneficial. Conversely, intramuscular fibrinogen delivery sufficed to induce inflammation and degeneration in fibrinogen-null mice. Thus, local fibrin(ogen) deposition drives dystrophic muscle inflammation and dysfunction, and disruption of fibrin(ogen)-α(M)β(2) interactions may provide a novel strategy for DMD treatment.

Conserved chromosomal clustering of genes governed by chromatin regulators in Drosophila

Background: The trithorax group (trxG) and Polycomb group (PcG) proteins are responsible for the maintenance of stable transcriptional patterns of many developmental regulators. They bind to specific regions of DNA and direct the post-translational modifications of histones, playing a role in the dynamics of chromatin structure.Results: We have performed genome-wide expression studies of trx and ash2 mutants in Drosophila melanogaster. Using computational analysis of our microarray data, we have identified 25 clusters of genes potentially regulated by TRX. Most of these clusters consist of genes that encode structural proteins involved in cuticle formation. This organization appears to be a distinctive feature of the regulatory networks of TRX and other chromatin regulators, since we have observed the same arrangement in clusters after experiments performed with ASH2, as well as in experiments performed by others with NURF, dMyc, and ASH1. We have also found many of these clusters to be significantly conserved in D. simulans, D. yakuba, D. pseudoobscura and partially in Anopheles gambiae.Conclusion: The analysis of genes governed by chromatin regulators has led to the identification of clusters of functionally related genes conserved in other insect species, suggesting this chromosomal organization is biologically important. Moreover, our results indicate that TRX and other chromatin regulators may act globally on chromatin domains that contain transcriptionally co-regulated genes.

Changes in chromosomal polymorphism and global warming: The case of Drosophila subobscura from Apatin (Serbia)

Abstract In this study, chromosomal inversion polymorphism data for a natural population of Drosophila subobscura from a swampy region near the town of Apatin (Serbia) were compared with data for the same population collected approximately 15 years earlier. The pattern of chromosomal inversion polymorphism changed over time. There were significant increases in the frequency of characteristic southern latitude ("warm" adapted) chromosomal arrangements and significant decreases in the frequency of characteristic northern latitude ("cold" adapted) chromosomal arrangements in the O and U chromosomes. The chromosomal arrangements O3+4 and O3+4+22 (derived from the O3+4 arrangement)showed significant increases in 2008 and 2009 with regard to the 1994 sample. There was also a significant increase (~50%) in the U1+2 arrangement, while U1+8+2 (a typical southern arrangement) was detected for the first time. Since the Apatin swampy population ofD. subobscura has existed for a long time in a stable habitat with high humidity that has not been changed by man our results indicate that natural selection has produced chromosomal changes in response to the increase in temperature that has occurred in the Balkan Peninsula of central southeastern European. Key words: chromosomal inversions, Drosophila subobscura, global warming, karyotypes.

Short- and long-term changes in chromosomal inversion polymorphism and global warming: Drosophila subobscura from the Balkans

The chromosomal inversion polymorphism of Drosophila subobscura is adaptive to environmental changes. The population of Petnica, Serbia, was chosen to analyze short- and long-term changes in this polymorphism. Short-term changes were studied in the samples collected in May, June, and August of 1995. The inversion polymorphism varied over these months, although various interpretations are possible. To analyze long-term changes, samples obtained in May 1995 and May 2010 were compared. The frequency of the 'cold' adapted inversions (Ast, Jst, Ust, Est, and Ost) decreased and that of the 'warm' adapted inversions (A2, J1, U1+2, and O3+4) increased, from 1995 to 2010. These changes are consistent with the general increase in temperature recorded in Petnica for the same period. Finally, the possible response of chromosomal polymorphism to global warming was analyzed at the regional level (Balkan peninsula). This polymorphism depends on the ecological conditions of the populations, and the changes observed appear to be consistent with global warming expectations. Natural selection seems to be the main mechanism responsible for the evolution of this chromosomal polymorphism.

Short- and long-term changes in chromosomal inversion polymorphism and global warming: Drosophila subobscura from the Balkans

The chromosomal inversion polymorphism of Drosophila subobscura is adaptive to environmental changes. The population of Petnica, Serbia, was chosen to analyze short- and long-term changes in this polymorphism. Short-term changes were studied in the samples collected in May, June, and August of 1995. The inversion polymorphism varied over these months, although various interpretations are possible. To analyze long-term changes, samples obtained in May 1995 and May 2010 were compared. The frequency of the 'cold' adapted inversions (Ast, Jst, Ust, Est, and Ost) decreased and that of the 'warm' adapted inversions (A2, J1, U1+2, and O3+4) increased, from 1995 to 2010. These changes are consistent with the general increase in temperature recorded in Petnica for the same period. Finally, the possible response of chromosomal polymorphism to global warming was analyzed at the regional level (Balkan peninsula). This polymorphism depends on the ecological conditions of the populations, and the changes observed appear to be consistent with global warming expectations. Natural selection seems to be the main mechanism responsible for the evolution of this chromosomal polymorphism.

The genomic distribution of intraspecific and interspecific sequence divergence of human segmental duplications relative to human/chimpanzee chromosomal rearrangements

Background: It has been suggested that chromosomal rearrangements harbor the molecular footprint of the biological phenomena which they induce, in the form, for instance, of changes in the sequence divergence rates of linked genes. So far, all the studies of these potential associations have focused on the relationship between structural changes and the rates of evolution of single-copy DNA and have tried to exclude segmental duplications (SDs). This is paradoxical, since SDs are one of the primary forces driving the evolution of structure and function in our genomes and have been linked not only with novel genes acquiring new functions, but also with overall higher DNA sequence divergence and major chromosomal rearrangements.Results: Here we take the opposite view and focus on SDs. We analyze several of the features of SDs, including the rates of intraspecific divergence between paralogous copies of human SDs and of interspecific divergence between human SDs and chimpanzee DNA. We study how divergence measures relate to chromosomal rearrangements, while considering other factors that affect evolutionary rates in single copy DNA. Conclusion: We find that interspecific SD divergence behaves similarly to divergence of single-copy DNA. In contrast, old and recent paralogous copies of SDs do present different patterns of intraspecific divergence. Also, we show that some relatively recent SDs accumulate in regions that carry inversions in sister lineages.

Vanishing chromosomal inversion clines in Drosophila subobscura from Chile: Is behavioral thermoregulation to blame?

Chromosomal inversion clines paralleling the long-standing ones in native Palearctic populations of Drosophila subobscura evolved swiftly after this species invaded the Americas in the late 1970s and early 1980s. However, the new clines did not consistently continue to converge on the Old World baseline. Our recent survey of Chilean populations of D. subobscura shows that inversion clines have faded or even changed sign with latitude. Here, we investigate the hypothesis that this fading of inversion clines might be due to the Bogert effect, namely, that flies' thermoregulatory behavior has eventually compensated for environmental variation in temperature, thus buffering selection on thermal-related traits. We show that latitudinal divergence in thermal preference (T-p) has evolved in Chile for females, with higher-latitude flies having a lower mean T-p. Plastic responses in T-p also lessen latitudinal thermal variation because flies developed at colder temperatures prefer warmer microclimates. Our results are consistent with the idea that active behavioral thermoregulation might buffer environmental variation and reduce the potential effect of thermal selection on other traits as chromosomal arrangements.

Sidelobe elimination for generalized synthetic discriminant functions by a two-filter correlation and subsequent postprocessing of the intensity distributions

One of the most important problems in optical pattern recognition by correlation is the appearance of sidelobes in the correlation plane, which causes false alarms. We present a method that eliminate sidelobes of up to a given height if certain conditions are satisfied. The method can be applied to any generalized synthetic discriminant function filter and is capable of rejecting lateral peaks that are even higher than the central correlation. Satisfactory results were obtained in both computer simulations and optical implementation.

A chromosomal insertion toolbox for promoter probing, mutant complementation and pathogenicity studies in Ralstonia solanacearum

We describe here the construction of a delivery system for stable and directed insertion of gene constructs in a permissive chromosomal site of the bacterial wilt pathogen Ralstonia solanacearum. The system consists of a collection of suicide vectors the Ralstonia chromosome (pRC) series that carry an integration element flanked by transcription terminators and two sequences of homology to the chromosome of strain GMI1000, where the integration element is inserted through a double recombination event. Unique restriction enzyme sites and a GATEWAY cassette enable cloning of any promoter::gene combination in the integration element. Variants endowed with different selectable antibiotic resistance genes and promoter::gene combinations are described. We show that the system can be readily used in GMI1000 and adapted to other R. solanacearum strains using an accessory plasmid. We prove that the pRC system can be employed to complement a deletion mutation with a single copy of the native gene, and to measure transcription of selected promoters in monocopy both in vitro and in planta. Finally, the system has been used to purify and study secretion type III effectors. These novel genetic tools will be particularly useful for the construction of recombinant bacteria that maintain inserted genes or reporter fusions in competitive situations (i.e., during plant infection).

The genetic content of chromosomal inversions across a wide latitudinal gradient

There is increasing evidence regarding the role of chromosomal inversions in relevant biological processes such as local adaptation and speciation. A classic example of the adaptive role of chromosomal polymorphisms is given by the clines of inversion frequencies in Drosophila subobscura, repeatable across continents. Nevertheless, not much is known about the molecular variation associated with these polymorphisms. We characterized the genetic content of ca. 600 individuals from nine European populations following a latitudinal gradient by analysing 19 microsatellite loci from two autosomes (J and U) and the sex chromosome (A), taking into account their chromosomal inversions. Our results clearly demonstrate the molecular genetic uniformity within a given chromosomal inversion across a large latitudinal gradient, particularly from Groningen (Netherlands) in the north to Málaga (Spain) in the south, experiencing highly diverse environmental conditions. This low genetic differentiation within the same gene arrangement across the nine European populations is consistent with the local adaptation hypothesis for th evolutionof chromosomal polymorphisms. We also show the effective role of chromosomal inversions in maintaining different genetic pools within these inverted genomic regions even in the presence of high gene flow. Inversions represent thus an important barrier to gene flux and can help maintain specific allelic combinations with positive effects on fitness. Consistent patterns of microsatellite allele-inversion linkage disequilibrium particularly in loci within inversions were also observed. Finally, we identified areas within inversions presenting clinal variation that might be under selection.

Chromosomal polymorphism of D. subobscura: no differences between wild males and sons of wild females

When analyzing the chromosomal polymorphism of D. subobscura natural populations it is assumed that the information provided by wild males and sons of wild females is equivalent. Thus, using both in the analysis it is possible to increase the sample size. However, it is important to verify whether there are significant differences between both groups or not. The aim of this research has been to statistically compare the results of chromosomal polymorphism of both groups. We have used data from Avala Mountain (Serbia) where D. subobscura flies were collected from the 30th May to the 5th June 2011. Avala is located 18 km south of Belgrade and the trapping place is a forest with polydominant communities of Fagetum submontanum Table 1. Number and percentage of adult flies collected in Font Groga (Barcelona, Spain) on 9th October 2013. Males and sons of wild females were crossed with virgin females of the Küsnacht strain. Third instar larvae from F1 were dissected to obtain the salivary glands and the polytene chromosomes were stained and squashed in aceto-orcein solution. No significant differences were observed for any chromosome of the karyotype: A (p-value = 0.485), J (p-value = 0.230), U (p-value =0.572), E (p-value = 0.536), and O (p-value = 0.338). Thus, it seems that the two groups can be grouped together to obtain the chromosomal polymorphism of the population.

Epidemiology of measles virus outbreaks in Catalonia: importance of immunization in the elimination era

Eradicating measles represents a major public health achievement, yet outbreaks still occur in territories where endemic measles virus (MV) had been eliminated. In Catalonia from the year 2000 cases have occurred as isolated cases or small outbreaks, both linked to imported cases up to the end of 2006 when a large outbreak started out affecting mainly children ≤15m. In consequence, immunization schedule was amended lowering first dose to 12m. Again new MV importations from neighboring countries triggered another outbreak on November 2010 with a different age distribution sparing small children from infection. Differences in incidence (IR), rate ratio (RR) and 95% CI and hospitalization rate (HR) by age group were determined. Statistic z was used for comparing proportions. Total number of confirmed cases was 305 vs 381 in 2006; mean age 20 yrs (SD 14.8yrs; 3m -51yrs) vs 15m (SD13.1yrs; 1m-50yrs). Highest proportion of cases was set in ≥25yrs (47%) vs 24.2% in 2006 (p<0.001). Difference in IR for ≤ 15m was statistically significant (49/100,000 vs 278.2/100,000; RR:3.9; 95%CI 2.9-5.4) and in HR 30.2% vs 15.7% (p<0.001). The change of the month of administration of the first dose proved successful. Given the current epidemiological situation, continued awareness and efforts to reach young adult population are needed to stop the spread of the virus.