On slicewise monotone parameterized problems and optimal proof systems for TAUT

"Vegeu el resum a l'inici del document del fitxer adjunt"

Strong isomorphism reductions in complexity theory

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees.

Consistency and optimality

Assume that the problem Qo is not solvable in polynomial time. For theories T containing a sufficiently rich part of true arithmetic we characterize T U {ConT} as the minimal extension of T proving for some algorithm that it decides Qo as fast as any algorithm B with the property that T proves that B decides Qo. Here, ConT claims the consistency of T. Moreover, we characterize problems with an optimal algorithm in terms of arithmetical theories.

Hard instances of algorithms and proof systems

"Vegeu el resum a l'inici del document del fitxer adjunt."

Genetic variants in novel pathways influence blood pressure and cardiovascular disease risk.

Blood pressure is a heritable trait influenced by several biological pathways and responsive to environmental stimuli. Over one billion people worldwide have hypertension (≥140 mm Hg systolic blood pressure or  ≥90 mm Hg diastolic blood pressure). Even small increments in blood pressure are associated with an increased risk of cardiovascular events. This genome-wide association study of systolic and diastolic blood pressure, which used a multi-stage design in 200,000 individuals of European descent, identified sixteen novel loci: six of these loci contain genes previously known or suspected to regulate blood pressure (GUCY1A3-GUCY1B3, NPR3-C5orf23, ADM, FURIN-FES, GOSR2, GNAS-EDN3); the other ten provide new clues to blood pressure physiology. A genetic risk score based on 29 genome-wide significant variants was associated with hypertension, left ventricular wall thickness, stroke and coronary artery disease, but not kidney disease or kidney function. We also observed associations with blood pressure in East Asian, South Asian and African ancestry individuals. Our findings provide new insights into the genetics and biology of blood pressure, and suggest potential novel therapeutic pathways for cardiovascular disease prevention.

Selective disruption of Tcf7l2 in the pancreatic β cell impairs secretory function and lowers β cell mass.

Type 2 diabetes (T2D) is characterized by β cell dysfunction and loss. Single nucleotide polymorphisms in the T-cell factor 7-like 2 (TCF7L2) gene, associated with T2D by genome-wide association studies, lead to impaired β cell function. While deletion of the homologous murine Tcf7l2 gene throughout the developing pancreas leads to impaired glucose tolerance, deletion in the β cell in adult mice reportedly has more modest effects. To inactivate Tcf7l2 highly selectively in β cells from the earliest expression of the Ins1 gene (∼E11.5) we have therefore used a Cre recombinase introduced at the Ins1 locus. Tcfl2(fl/fl)::Ins1Cre mice display impaired oral and intraperitoneal glucose tolerance by 8 and 16 weeks, respectively, and defective responses to the GLP-1 analogue liraglutide at 8 weeks. Tcfl2(fl/fl)::Ins1Cre islets displayed defective glucose- and GLP-1-stimulated insulin secretion and the expression of both the Ins2 (∼20%) and Glp1r (∼40%) genes were significantly reduced. Glucose- and GLP-1-induced intracellular free Ca(2+) increases, and connectivity between individual β cells, were both lowered by Tcf7l2 deletion in islets from mice maintained on a high (60%) fat diet. Finally, analysis by optical projection tomography revealed ∼30% decrease in β cell mass in pancreata from Tcfl2(fl/fl)::Ins1Cre mice. These data demonstrate that Tcf7l2 plays a cell autonomous role in the control of β cell function and mass, serving as an important regulator of gene expression and islet cell coordination. The possible relevance of these findings for the action of TCF7L2 polymorphisms associated with Type 2 diabetes in man is discussed.

Novel loci for adiponectin levels and their influence on type 2 diabetes and metabolic traits: a multi-ethnic meta-analysis of 45,891 individuals.

Circulating levels of adiponectin, a hormone produced predominantly by adipocytes, are highly heritable and are inversely associated with type 2 diabetes mellitus (T2D) and other metabolic traits. We conducted a meta-analysis of genome-wide association studies in 39,883 individuals of European ancestry to identify genes associated with metabolic disease. We identified 8 novel loci associated with adiponectin levels and confirmed 2 previously reported loci (P = 4.5×10(-8)-1.2×10(-43)). Using a novel method to combine data across ethnicities (N = 4,232 African Americans, N = 1,776 Asians, and N = 29,347 Europeans), we identified two additional novel loci. Expression analyses of 436 human adipocyte samples revealed that mRNA levels of 18 genes at candidate regions were associated with adiponectin concentrations after accounting for multiple testing (p<3×10(-4)). We next developed a multi-SNP genotypic risk score to test the association of adiponectin decreasing risk alleles on metabolic traits and diseases using consortia-level meta-analytic data. This risk score was associated with increased risk of T2D (p = 4.3×10(-3), n = 22,044), increased triglycerides (p = 2.6×10(-14), n = 93,440), increased waist-to-hip ratio (p = 1.8×10(-5), n = 77,167), increased glucose two hours post oral glucose tolerance testing (p = 4.4×10(-3), n = 15,234), increased fasting insulin (p = 0.015, n = 48,238), but with lower in HDL-cholesterol concentrations (p = 4.5×10(-13), n = 96,748) and decreased BMI (p = 1.4×10(-4), n = 121,335). These findings identify novel genetic determinants of adiponectin levels, which, taken together, influence risk of T2D and markers of insulin resistance.

Smad3 deficiency in mice protects against insulin resistance and obesity induced by a high-fat diet.

OBJECTIVE-Obesity and associated pathologies are major global health problems. Transforming growth factor-beta/Smad3 signaling has been implicated in various metabolic processes, including adipogenesis, insulin expression, and pancreatic beta-cell function. However, the systemic effects of Smad3 deficiency on adiposity and insulin resistance in vivo remain elusive. This study investigated the effects of Smad3 deficiency on whole-body glucose and lipid homeostasis and its contribution to the development of obesity and type 2 diabetes.RESEARCH DESIGN AND METHODS-We compared various metabolic profiles of Smad3-knockout and wild-type mice. We also determined the mechanism by which Smad3 deficiency affects the expression of genes involved in adipogenesis and metabolism. Mice were then challenged with a high-fat diet to study the impact of Smad3 deficiency on the development of obesity and insulin resistance.RESULTS-Smad3-knockout mice exhibited diminished adiposity with improved glucose tolerance and insulin sensitivity. Chromatin immunoprecipitation assay revealed that Smad3 deficiency increased CCAAT/enhancer-binding protein beta-C/EBP homologous protein 10 interaction and exerted a differential regulation on proliferator-activated receptor beta/delta and proliferator-activated receptor gamma expression in adipocytes. Focused gene expression profiling revealed an altered expression of genes involved in adipogenesis, lipid accumulation, and fatty acid beta-oxidation, indicative of altered adipose physiology. Despite reduced physical activity with no modification in food intake, these mutant mice were resistant to obesity and insulin resistance induced by a high-fat diet.CONCLUSIONS-Smad3 is a multifaceted regulator in adipose physiology and the pathogenesis of obesity and type 2 diabetes, suggesting that Smad3 may be a potential target for the treatment of obesity and its associated disorders.

An examination of male and female odds ratios by BMI, cigarette smoking, and alcohol consumption for cancers of the oral cavity, pharynx, and larynx in pooled data from 15 case-control studies.

BACKGROUND: Greater tobacco smoking and alcohol consumption and lower body mass index (BMI) increase odds ratios (OR) for oral cavity, oropharyngeal, hypopharyngeal, and laryngeal cancers; however, there are no comprehensive sex-specific comparisons of ORs for these factors. METHODS: We analyzed 2,441 oral cavity (925 women and 1,516 men), 2,297 oropharynx (564 women and 1,733 men), 508 hypopharynx (96 women and 412 men), and 1,740 larynx (237 women and 1,503 men) cases from the INHANCE consortium of 15 head and neck cancer case-control studies. Controls numbered from 7,604 to 13,829 subjects, depending on analysis. Analyses fitted linear-exponential excess ORs models. RESULTS: ORs were increased in underweight (<18.5 BMI) relative to normal weight (18.5-24.9) and reduced in overweight and obese categories (>/=25 BMI) for all sites and were homogeneous by sex. ORs by smoking and drinking in women compared with men were significantly greater for oropharyngeal cancer (p < 0.01 for both factors), suggestive for hypopharyngeal cancer (p = 0.05 and p = 0.06, respectively), but homogeneous for oral cavity (p = 0.56 and p = 0.64) and laryngeal (p = 0.18 and p = 0.72) cancers. CONCLUSIONS: The extent that OR modifications of smoking and drinking by sex for oropharyngeal and, possibly, hypopharyngeal cancers represent true associations, or derive from unmeasured confounders or unobserved sex-related disease subtypes (e.g., human papillomavirus-positive oropharyngeal cancer) remains to be clarified.

A long, naturally presented immunodominant epitope from NY-ESO-1 tumor antigen: implications for cancer vaccine design.

The tumor antigen NY-ESO-1 is a promising cancer vaccine target. We describe here a novel HLA-B7-restricted NY-ESO-1 epitope, encompassing amino acids 60-72 (APRGPHGGAASGL), which is naturally presented by melanoma cells. The tumor epitope bound to HLA-B7 by bulging outward from the peptide-binding cleft. This bulged epitope was not an impediment to T-cell recognition, however, because four of six HLA-B7(+) melanoma patients vaccinated with NY-ESO-1 ISCOMATRIX vaccine generated a potent T-cell response to this determinant. Moreover, the response to this epitope was immunodominant in three of these patients and, unlike the T-cell responses to bulged HLA class I viral epitopes, the responding T cells possessed a remarkably broad TCR repertoire. Interestingly, HLA-B7(+) melanoma patients who did not receive the NY-ESO-1 ISCOMATRIX vaccine rarely generated a spontaneous T-cell response to this cryptic epitope, suggesting a lack of priming of such T cells in the natural anti-NY-ESO-1 response, which may be corrected by vaccination. Together, our results reveal several surprising aspects of antitumor immunity and have implications for cancer vaccine design.

Variants in MTNR1B influence fasting glucose levels.

To identify previously unknown genetic loci associated with fasting glucose concentrations, we examined the leading association signals in ten genome-wide association scans involving a total of 36,610 individuals of European descent. Variants in the gene encoding melatonin receptor 1B (MTNR1B) were consistently associated with fasting glucose across all ten studies. The strongest signal was observed at rs10830963, where each G allele (frequency 0.30 in HapMap CEU) was associated with an increase of 0.07 (95% CI = 0.06-0.08) mmol/l in fasting glucose levels (P = 3.2 x 10(-50)) and reduced beta-cell function as measured by homeostasis model assessment (HOMA-B, P = 1.1 x 10(-15)). The same allele was associated with an increased risk of type 2 diabetes (odds ratio = 1.09 (1.05-1.12), per G allele P = 3.3 x 10(-7)) in a meta-analysis of 13 case-control studies totaling 18,236 cases and 64,453 controls. Our analyses also confirm previous associations of fasting glucose with variants at the G6PC2 (rs560887, P = 1.1 x 10(-57)) and GCK (rs4607517, P = 1.0 x 10(-25)) loci.

SCAP is required for timely and proper myelin membrane synthesis.

Myelination requires a massive increase in glial cell membrane synthesis. Here, we demonstrate that the acute phase of myelin lipid synthesis is regulated by sterol regulatory element-binding protein (SREBP) cleavage activation protein (SCAP), an activator of SREBPs. Deletion of SCAP in Schwann cells led to a loss of SREBP-mediated gene expression involving cholesterol and fatty acid synthesis. Schwann cell SCAP mutant mice show congenital hypomyelination and abnormal gait. Interestingly, aging SCAP mutant mice showed partial regain of function; they exhibited improved gait and produced small amounts of myelin indicating a slow SCAP-independent uptake of external lipids. Accordingly, extracellular lipoproteins partially rescued myelination by SCAP mutant Schwann cells. However, SCAP mutant myelin never reached normal thickness and had biophysical abnormalities concordant with abnormal lipid composition. These data demonstrate that SCAP-mediated regulation of glial lipogenesis is key to the proper synthesis of myelin membrane, and provide insight into abnormal Schwann cell function under conditions affecting lipid metabolism.

Melan-A-specific cytotoxic T cells are associated with tumor regression and autoimmunity following treatment with anti-CTLA-4.

PURPOSE: Ipilimumab is a monoclonal antibody that blocks the immune-inhibitory interaction between CTL antigen 4 (CTLA-4) and its ligands on T cells. Clinical trials in cancer patients with ipilimumab have shown promising antitumor activity, particularly in patients with advanced melanoma. Often, tumor regressions in these patients are correlated with immune-related side effects such as dermatitis, enterocolitis, and hypophysitis. Although these reactions are believed to be immune-mediated, the antigenic targets for the cellular or humoral immune response are not known. EXPERIMENTAL DESIGN: We enrolled patients with advanced melanoma in a phase II study with ipilimumab. One of these patients experienced a complete remission of his tumor. The specificity and functional properties of CD8-positive T cells in his peripheral blood, in regressing tumor tissue, and at the site of an immune-mediated skin rash were investigated. RESULTS: Regressing tumor tissue was infiltrated with CD8-positive T cells, a high proportion of which were specific for Melan-A. The skin rash was similarly infiltrated with Melan-A-specific CD8-positive T cells, and a dramatic (>30-fold) increase in Melan-A-specific CD8-positive T cells was apparent in peripheral blood. These cells had an effector phenotype and lysed Melan-A-expressing tumor cells. CONCLUSIONS: Our results show that Melan-A may be a major target for both the autoimmune and antitumor reactions in patients treated with anti-CTLA-4, and describe for the first time the antigen specificity of CD8-positive T cells that mediate tumor rejection in a patient undergoing treatment with an anti-CTLA-4 antibody. These findings may allow a better integration of ipilimumab into other forms of immunotherapy.