Structural insight into the TRIAP1/PRELI-like domain family of mitochondrial phospholipid transfer complexes

The composition of the mitochondrial membrane is important for its architecture and proper function. Mitochondria depend on a tightly regulated supply of phospholipid via intra-mitochondrial synthesis and by direct import from the endoplasmic reticulum. The Ups1/PRELI-like family together with its mitochondrial chaperones (TRIAP1/Mdm35) represent a unique heterodimeric lipid transfer system that is evolutionary conserved from yeast to man. Work presented here provides new atomic resolution insight into the function of a human member of this system. Crystal structures of free TRIAP1 and the TRIAP1–SLMO1 complex reveal how the PRELI domain is chaperoned during import into the intermembrane mitochondrial space. The structural resemblance of PRELI-like domain of SLMO1 with that of mammalian phoshatidylinositol transfer proteins (PITPs) suggest that they share similar lipid transfer mechanisms, in which access to a buried phospholipid-binding cavity is regulated by conformationally adaptable loops

Decision Procedure for Entailment of Symbolic Heaps with Arrays

This paper gives a decision procedure for the validity of en- tailment of symbolic heaps in separation logic with Presburger arithmetic and arrays. The correctness of the decision procedure is proved under the condition that sizes of arrays in the succedent are not existentially bound. This condition is independent of the condition proposed by the CADE-2017 paper by Brotherston et al, namely, one of them does not imply the other. For improving efficiency of the decision procedure, some techniques are also presented. The main idea of the decision procedure is a novel translation of an entailment of symbolic heaps into a formula in Presburger arithmetic, and to combine it with an external SMT solver. This paper also gives experimental results by an implementation, which shows that the decision procedure works efficiently enough to use

Attenuation by all-trans-retinoic acid of sodium chloride-enhanced gastric carcinogenesis induced by N-methyl-N′-nitro-N-nitrosoguanidine in Wistar rats

The effect of prolonged administration of all-trans-retinoic acid (RA) on sodium chloride-enhanced gastric carcinogenesis induced by N-methyl-N′-nitro-N-nitrosoguanidine, and the labelling and apoptotic indices and immunoreactivity of transforming growth factor (TGF) α in the gastric cancers was investigated in Wistar rats. After 25 weeks of carcinogen treatment, the rats were given chow pellets containing 10% sodium chloride and subcutaneous injections of RA at doses of 0.75 or 1.5 mg kg−1 body weight every other day. In week 52, oral supplementation with sodium chloride significantly increased the incidence of gastric cancers compared with the untreated controls. Long-term administration of RA at both doses significantly reduced the incidence of gastric cancers, which was enhanced by oral administration of sodium chloride. RA at both doses significantly decreased the labelling index and TGF-α immunoreactivity of gastric cancers, which were enhanced by administration of sodium chloride, and significantly increased the apoptotic index of cancers, which was lowered by administration of sodium chloride. These findings suggest that RA attenuates gastric carcinogenesis, enhanced by sodium chloride, by increasing apoptosis, decreasing DNA synthesis, and reducing TGF-α expression in gastric cancers. © 1999 Cancer Research Campaig

A nutritional memory effect counteracts the benefits of dietary restriction in old mice

Dietary restriction (DR) during adulthood can greatly extend lifespan and improve metabolic health in diverse species. However, whether DR in mammals is still effective when applied for the first time at old age remains elusive. Here, we report results of a late-life DR-switch experiment using 800 mice. Female mice aged 24 months were switched from an ad libitum (AL) diet to DR or vice versa. Strikingly, the switch from DR to AL acutely increases mortality, whereas the switch from AL to DR causes only a weak and gradual increase in survival, suggesting the body has a memory of earlier nutrition. RNA sequencing in liver and brown and white adipose tissue (BAT and WAT, respectively) demonstrates a largely refractory transcriptional and metabolic response in fat tissue to DR after an AL diet, particularly in WAT, and a proinflammatory signature in aged preadipocytes, which is prevented by chronic DR feeding. Our results provide evidence for a ‘nutritional memory’ as a limiting factor for DR-induced longevity and metabolic remodelling of WAT in mammals

Untyped Recursion Schemes and Infinite Intersection Types

Abstract. A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then model-checked. As recursion schemes are essentially terms of the simply-typed lambda-calculus with recursion and tree constructors, however, it was not clear how the new framework applies to programs written in languages with more advanced type systems. To circumvent the limitation, this paper introduces an untyped version of recursion schemes and develops an in-finite intersection type system that is equivalent to the model checking of untyped recursion schemes, so that the model checking can be re-duced to type checking as in recent work by Kobayashi and Ong for typed recursion schemes. The type system is undecidable but we can obtain decidable subsets of the type system by restricting the shapes of intersection types, yielding a sound (but incomplete in general) model checking algorithm.

Structural determinants of lipid specificity within Ups/PRELI lipid transfer proteins

Conserved lipid transfer proteins of the Ups/PRELI family regulate lipid accumulation in mitochondria by shuttling phospholipids in a lipid-specific manner across the intermembrane space. Here, we combine structural analysis, unbiased genetic approaches in yeast and molecular dynamics simulations to unravel determinants of lipid specificity within the conserved Ups/PRELI family. We present structures of human PRELID1–TRIAP1 and PRELID3b–TRIAP1 complexes, which exert lipid transfer activity for phosphatidic acid and phosphatidylserine, respectively. Reverse yeast genetic screens identify critical amino acid exchanges that broaden and swap their lipid specificities. We find that amino acids involved in head group recognition and the hydrophobicity of flexible loops regulate lipid entry into the binding cavity. Molecular dynamics simulations reveal different membrane orientations of PRELID1 and PRELID3b during the stepwise release of lipids. Our experiments thus define the structural determinants of lipid specificity and the dynamics of lipid interactions by Ups/PRELI proteins

HUWE1 E3 ligase promotes PINK1/PARKINindependent mitophagy by regulating AMBRA1 activation via IKKa

The selective removal of undesired or damaged mitochondria by autophagy, known as mitophagy, is crucial for cellular homoeostasis, and prevents tumour diffusion, neurodegeneration and ageing. The pro-autophagic molecule AMBRA1 (autophagy/beclin-1 regulator-1) has been defined as a novel regulator of mitophagy in both PINK1/PARKIN-dependent and -independent systems. Here, we identified the E3 ubiquitin ligase HUWE1 as a key inducing factor in AMBRA1-mediated mitophagy, a process that takes place independently of the main mitophagy receptors. Furthermore, we show that mitophagy function of AMBRA1 is post-translationally controlled, upon HUWE1 activity, by a positive phosphorylation on its serine 1014. This modification is mediated by the IKKα kinase and induces structural changes in AMBRA1, thus promoting its interaction with LC3/GABARAP (mATG8) proteins and its mitophagic activity. Altogether, these results demonstrate that AMBRA1 regulates mitophagy through a novel pathway, in which HUWE1 and IKKα are key factors, shedding new lights on the regulation of mitochondrial quality control and homoeostasis in mammalian cells