An Axiomatic Setup for Algorithmic Homological Algebra and an Alternative Approach to Localization

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of computability need to be turned into constructive ones. We do this explicitly for the often-studied example Abelian category of finitely presented modules over a so-called computable ring $R$, i.e., a ring with an explicit algorithm to solve one-sided (in)homogeneous linear systems over $R$. For a finitely generated maximal ideal $\mathfrak{m}$ in a commutative ring $R$ we show how solving (in)homogeneous linear systems over $R_{\mathfrak{m}}$ can be reduced to solving associated systems over $R$. Hence, the computability of $R$ implies that of $R_{\mathfrak{m}}$. As a corollary we obtain the computability of the category of finitely presented $R_{\mathfrak{m}}$-modules as an Abelian category, without the need of a Mora-like algorithm. The reduction also yields, as a by-product, a complexity estimation for the ideal membership problem over local polynomial rings. Finally, in the case of localized polynomial rings we demonstrate the computational advantage of our homologically motivated alternative approach in comparison to an existing implementation of Mora's algorithm.Comment: Fixed a typo in the proof of Lemma 4.3 spotted by Sebastian Posu

Citrate‐Coated Iron Oxide Nanoparticles Facilitate Endothelialization of Left Ventricular Assist Device Impeller for Improved Antithrombogenicity

Although left ventricular assist devices (LVADs) are an alternative to heart transplantation, their artificial surfaces often lead to serious thrombotic complications requiring high‐risk device replacement. Coating blood‐contacting surfaces with antithrombogenic endothelial cells is considered an effective strategy for preventing thrombus formation. However, this concept has not yet been successfully implemented in LVADs, as severe cell loss is to be expected, especially on the impeller surface with high prothrombogenic supraphysiological shear stress. This study presents a strategy that exploits the magnetic attraction of the impeller on ECs loaded with iron oxide nanoparticles (IONPs) to minimize shear stress‐induced cell detachment from the rotating magnetic impeller while ensuring antithrombogenic EC adhesion, especially as a bridge until they formed their adhesion‐promoting matrix. In contrast to polyvinylpyrrolidone (PVP)‐coated IONPs, more efficient and safer cell loading is achieved with sodium citrate (Cit)‐stabilized IONPs, where incubation with 6.6 µg iron mL‐1 Cit‐IONPs for 24 h resulting in an average internalization of 23 pg iron per cell. Internalization of Cit‐IONP significantly improved cell attraction to the highly magnetic impeller surface without affecting cell viability or antithrombogenic function. This protocol is key for the development of a biohybrid LVAD impeller that can prevent life‐threatening thrombosis and hemorrhage in a future clinical application

Upk3b is dispensable for development and integrity of urothelium and mesothelium

The mesothelium, the lining of the coelomic cavities, and the urothelium, the inner lining of the urinary drainage system, are highly specialized epithelia that protect the underlying tissues from mechanical stress and seal them from the overlying fluid space. The development of these epithelia from simple precursors and the molecular characteristics of the mature tissues are poorly analyzed. Here, we show that uroplakin 3B (Upk3b), which encodes an integral membrane protein of the tetraspanin superfamily, is specifically expressed both in development as well as under homeostatic conditions in adult mice in the mesothelia of the body cavities, i.e., the epicardium and pericardium, the pleura and the peritoneum, and in the urothelium of the urinary tract. To analyze Upk3b function, we generated a creERT2 knock-in allele by homologous recombination in embryonic stem cells. We show that Upk3bcreERT2 represents a null allele despite the lack of creERT2 expression from the mutated locus. Morphological, histological and molecular analyses of Upk3b-deficient mice did not detect changes in differentiation or integrity of the urothelium and the mesothelia that cover internal organs. Upk3b is coexpressed with the closely related Upk3a gene in the urothelium but not in the mesothelium, leaving the possibility of a functional redundancy between the two genes in the urothelium only

TIP30 counteracts cardiac hypertrophy and failure by inhibiting translational elongation

Pathological cardiac overload induces myocardial protein synthesis and hypertrophy, which predisposes to heart failure. To inhibit hypertrophy therapeutically, the identification of negative regulators of cardiomyocyte protein synthesis is needed. Here, we identified the tumor suppressor protein TIP30 as novel inhibitor of cardiac hypertrophy and dysfunction. Reduced TIP30 levels in mice entailed exaggerated cardiac growth during experimental pressure overload, which was associated with cardiomyocyte cellular hypertrophy, increased myocardial protein synthesis, reduced capillary density, and left ventricular dysfunction. Pharmacological inhibition of protein synthesis improved these defects. Our results are relevant for human disease, since we found diminished cardiac TIP30 levels in samples from patients suffering from end-stage heart failure or hypertrophic cardiomyopathy. Importantly, therapeutic overexpression of TIP30 in mouse hearts inhibited cardiac hypertrophy and improved left ventricular function during pressure overload and in cardiomyopathic mdx mice. Mechanistically, we identified a previously unknown anti-hypertrophic mechanism, whereby TIP30 binds the eukaryotic elongation factor 1A (eEF1A) to prevent the interaction with its essential co-factor eEF1B2 and translational elongation. Therefore, TIP30 could be a therapeutic target to counteract cardiac hypertrophy

Thomas Decomposition and Nonlinear Control Systems

This paper applies the Thomas decomposition technique to nonlinear control systems, in particular to the study of the dependence of the system behavior on parameters. Thomas' algorithm is a symbolic method which splits a given system of nonlinear partial differential equations into a finite family of so-called simple systems which are formally integrable and define a partition of the solution set of the original differential system. Different simple systems of a Thomas decomposition describe different structural behavior of the control system in general. The paper gives an introduction to the Thomas decomposition method and shows how notions such as invertibility, observability and flat outputs can be studied. A Maple implementation of Thomas' algorithm is used to illustrate the techniques on explicit examples

P110 and P140 Cytadherence-Related Proteins Are Negative Effectors of Terminal Organelle Duplication in Mycoplasma genitalium

BACKGROUND:The terminal organelle is a complex structure involved in many aspects of the biology of mycoplasmas such as cell adherence, motility or cell division. Mycoplasma genitalium cells display a single terminal organelle and duplicate this structure prior to cytokinesis in a coordinated manner with the cell division process. Despite the significance of the terminal organelle in mycoplasma virulence, little is known about the mechanisms governing its duplication. METHODOLOGY/PRINCIPAL FINDINGS:In this study we describe the isolation of a mutant, named T192, with a transposon insertion close to the 3' end of the mg192 gene encoding for P110 adhesin. This mutant shows a truncated P110, low levels of P140 and P110 adhesins, a large number of non-motile cells and a high frequency of new terminal organelle formation. Further analyses revealed that the high rates of new terminal organelle formation in T192 cells are a direct consequence of the reduced levels of P110 and P140 rather than to the expression of a truncated P110. Consistently, the phenotype of the T192 mutant was successfully complemented by the reintroduction of the mg192 WT allele which restored the levels of P110 and P140 to those of the WT strain. Quantification of DAPI-stained DNA also showed that the increase in the number of terminal organelles in T192 cells is not accompanied by a higher DNA content, indicating that terminal organelle duplication does not trigger DNA replication in mycoplasmas. CONCLUSIONS/SIGNIFICANCE:Our results demonstrate the existence of a mechanism regulating terminal organelle duplication in M. genitalium and strongly suggest the implication of P110 and P140 adhesins in this mechanism

UNC-108/RAB-2 and its effector RIC-19 are involved in dense core vesicle maturation in Caenorhabditis elegans

Uncoordinated movement in Rab2 mutants is caused by impaired retention of cargo on dense core vesicles, not by defective synaptic vesicle release. (Also see the companion article by Edwards et al. in this issue.

Inorganic Polyphosphate Modulates TRPM8 Channels

Polyphosphate (polyP) is an inorganic polymer built of tens to hundreds of phosphates, linked by high-energy phosphoanhydride bonds. PolyP forms complexes and modulates activities of many proteins including ion channels. Here we investigated the role of polyP in the function of the transient receptor potential melastatin 8 (TRPM8) channel. Using whole-cell patch-clamp and fluorescent calcium measurements we demonstrate that enzymatic breakdown of polyP by exopolyphosphatase (scPPX1) inhibits channel activity in human embryonic kidney and F-11 neuronal cells expressing TRPM8. We demonstrate that the TRPM8 channel protein is associated with polyP. Furthermore, addition of scPPX1 altered the voltage-dependence and blocked the activity of the purified TRPM8 channels reconstituted into planar lipid bilayers, where the activity of the channel was initiated by cold and menthol in the presence of phosphatidylinositol 4,5-biphosphate (PtdIns(4,5)P2). The biochemical analysis of the TRPM8 protein also uncovered the presence of poly-(R)-3-hydroxybutyrate (PHB), which is frequently associated with polyP. We conclude that the TRPM8 protein forms a stable complex with polyP and its presence is essential for normal channel activity