@article{834, abstract = {Thermal and many-body localized phases are separated by a dynamical phase transition of a new kind. We analyze the distribution of off-diagonal matrix elements of local operators across this transition in two different models of disordered spin chains. We show that the behavior of matrix elements can be used to characterize the breakdown of thermalization and to extract the many-body Thouless energy. We find that upon increasing the disorder strength the system enters a critical region around the many-body localization transition. The properties of the system in this region are: (i) the Thouless energy becomes smaller than the level spacing, (ii) the matrix elements show critical dependence on the energy difference, and (iii) the matrix elements, viewed as amplitudes of a fictitious wave function, exhibit strong multifractality. This critical region decreases with the system size, which we interpret as evidence for a diverging correlation length at the many-body localization transition. Our findings show that the correlation length becomes larger than the accessible system sizes in a broad range of disorder strength values and shed light on the critical behavior near the many-body localization transition.}, author = {Serbyn, Maksym and Zlatko, Papic and Abanin, Dmitry}, issn = {2469-9950}, journal = {Physical Review B}, number = {10}, publisher = {American Physical Society}, title = {{Thouless energy and multifractality across the many-body localization transition}}, doi = {10.1103/PhysRevB.96.104201}, volume = {96}, year = {2017}, } @article{947, abstract = {Viewing the ways a living cell can organize its metabolism as the phase space of a physical system, regulation can be seen as the ability to reduce the entropy of that space by selecting specific cellular configurations that are, in some sense, optimal. Here we quantify the amount of regulation required to control a cell's growth rate by a maximum-entropy approach to the space of underlying metabolic phenotypes, where a configuration corresponds to a metabolic flux pattern as described by genome-scale models. We link the mean growth rate achieved by a population of cells to the minimal amount of metabolic regulation needed to achieve it through a phase diagram that highlights how growth suppression can be as costly (in regulatory terms) as growth enhancement. Moreover, we provide an interpretation of the inverse temperature β controlling maximum-entropy distributions based on the underlying growth dynamics. Specifically, we show that the asymptotic value of β for a cell population can be expected to depend on (i) the carrying capacity of the environment, (ii) the initial size of the colony, and (iii) the probability distribution from which the inoculum was sampled. Results obtained for E. coli and human cells are found to be remarkably consistent with empirical evidence.}, author = {De Martino, Daniele and Capuani, Fabrizio and De Martino, Andrea}, issn = {2470-0045}, journal = {Physical Review E}, number = {1}, publisher = {American Physical Society}, title = {{Quantifying the entropic cost of cellular growth control}}, doi = {10.1103/PhysRevE.96.010401}, volume = {96}, year = {2017}, } @article{700, abstract = {Microtubules provide the mechanical force required for chromosome separation during mitosis. However, little is known about the dynamic (high-frequency) mechanical properties of microtubules. Here, we theoretically propose to control the vibrations of a doubly clamped microtubule by tip electrodes and to detect its motion via the optomechanical coupling between the vibrational modes of the microtubule and an optical cavity. In the presence of a red-detuned strong pump laser, this coupling leads to optomechanical-induced transparency of an optical probe field, which can be detected with state-of-the art technology. The center frequency and line width of the transparency peak give the resonance frequency and damping rate of the microtubule, respectively, while the height of the peak reveals information about the microtubule-cavity field coupling. Our method opens the new possibilities to gain information about the physical properties of microtubules, which will enhance our capability to design physical cancer treatment protocols as alternatives to chemotherapeutic drugs.}, author = {Barzanjeh, Shabir and Salari, Vahid and Tuszynski, Jack and Cifra, Michal and Simon, Christoph}, issn = {2470-0045}, journal = {Physical Review E}, number = {1}, publisher = {American Physical Society}, title = {{Optomechanical proposal for monitoring microtubule mechanical vibrations}}, doi = {10.1103/PhysRevE.96.012404}, volume = {96}, year = {2017}, } @article{959, abstract = {In this work it is shown that scale-free tails in metabolic flux distributions inferred in stationary models are an artifact due to reactions involved in thermodynamically unfeasible cycles, unbounded by physical constraints and in principle able to perform work without expenditure of free energy. After implementing thermodynamic constraints by removing such loops, metabolic flux distributions scale meaningfully with the physical limiting factors, acquiring in turn a richer multimodal structure potentially leading to symmetry breaking while optimizing for objective functions.}, author = {De Martino, Daniele}, issn = {2470-0045}, journal = {Physical Review E}, number = {6}, pages = {062419}, publisher = {American Physical Society}, title = {{Scales and multimodal flux distributions in stationary metabolic network models via thermodynamics}}, doi = {10.1103/PhysRevE.95.062419}, volume = {95}, year = {2017}, } @article{1077, abstract = {Viral capsids are structurally constrained by interactions among the amino acids (AAs) of their constituent proteins. Therefore, epistasis is expected to evolve among physically interacting sites and to influence the rates of substitution. To study the evolution of epistasis, we focused on the major structural protein of the fX174 phage family by first reconstructing the ancestral protein sequences of 18 species using a Bayesian statistical framework. The inferred ancestral reconstruction differed at eight AAs, for a total of 256 possible ancestral haplotypes. For each ancestral haplotype and the extant species, we estimated, in silico, the distribution of free energies and epistasis of the capsid structure. We found that free energy has not significantly increased but epistasis has. We decomposed epistasis up to fifth order and found that higher-order epistasis sometimes compensates pairwise interactions making the free energy seem additive. The dN/dS ratio is low, suggesting strong purifying selection, and that structure is under stabilizing selection. We synthesized phages carrying ancestral haplotypes of the coat protein gene and measured their fitness experimentally. Our findings indicate that stabilizing mutations can have higher fitness, and that fitness optima do not necessarily coincide with energy minima.}, author = {Fernandes Redondo, Rodrigo A and Vladar, Harold and Włodarski, Tomasz and Bollback, Jonathan P}, issn = {1742-5689}, journal = {Journal of the Royal Society Interface}, number = {126}, publisher = {Royal Society}, title = {{Evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family}}, doi = {10.1098/rsif.2016.0139}, volume = {14}, year = {2017}, } @inproceedings{12905, author = {Schlögl, Alois and Kiss, Janos}, booktitle = {AHPC17 – Austrian HPC Meeting 2017}, location = {Grundlsee, Austria}, pages = {28}, publisher = {FSP Scientific Computing}, title = {{Scientific Computing at IST Austria}}, year = {2017}, } @article{679, abstract = {Protective responses against pathogens require a rapid mobilization of resting neutrophils and the timely removal of activated ones. Neutrophils are exceptionally short-lived leukocytes, yet it remains unclear whether the lifespan of pathogen-engaged neutrophils is regulated differently from that in the circulating steady-state pool. Here, we have found that under homeostatic conditions, the mRNA-destabilizing protein tristetraprolin (TTP) regulates apoptosis and the numbers of activated infiltrating murine neutrophils but not neutrophil cellularity. Activated TTP-deficient neutrophils exhibited decreased apoptosis and enhanced accumulation at the infection site. In the context of myeloid-specific deletion of Ttp, the potentiation of neutrophil deployment protected mice against lethal soft tissue infection with Streptococcus pyogenes and prevented bacterial dissemination. Neutrophil transcriptome analysis revealed that decreased apoptosis of TTP-deficient neutrophils was specifically associated with elevated expression of myeloid cell leukemia 1 (Mcl1) but not other antiapoptotic B cell leukemia/ lymphoma 2 (Bcl2) family members. Higher Mcl1 expression resulted from stabilization of Mcl1 mRNA in the absence of TTP. The low apoptosis rate of infiltrating TTP-deficient neutrophils was comparable to that of transgenic Mcl1-overexpressing neutrophils. Our study demonstrates that posttranscriptional gene regulation by TTP schedules the termination of the antimicrobial engagement of neutrophils. The balancing role of TTP comes at the cost of an increased risk of bacterial infections.}, author = {Ebner, Florian and Sedlyarov, Vitaly and Tasciyan, Saren and Ivin, Masa and Kratochvill, Franz and Gratz, Nina and Kenner, Lukas and Villunger, Andreas and Sixt, Michael K and Kovarik, Pavel}, issn = {0021-9738}, journal = {The Journal of Clinical Investigation}, number = {6}, pages = {2051 -- 2065}, publisher = {American Society for Clinical Investigation}, title = {{The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection}}, doi = {10.1172/JCI80631}, volume = {127}, year = {2017}, } @article{704, abstract = {How the organization of genes on a chromosome shapes adaptation is essential for understanding evolutionary paths. Here, we investigate how adaptation to rapidly increasing levels of antibiotic depends on the chromosomal neighborhood of a drug-resistance gene inserted at different positions of the Escherichia coli chromosome. Using a dual-fluorescence reporter that allows us to distinguish gene amplifications from other up-mutations, we track in real-time adaptive changes in expression of the drug-resistance gene. We find that the relative contribution of several mutation types differs systematically between loci due to properties of neighboring genes: essentiality, expression, orientation, termination, and presence of duplicates. These properties determine rate and fitness effects of gene amplification, deletions, and mutations compromising transcriptional termination. Thus, the adaptive potential of a gene under selection is a system-property with a complex genetic basis that is specific for each chromosomal locus, and it can be inferred from detailed functional and genomic data.}, author = {Steinrück, Magdalena and Guet, Calin C}, issn = {2050-084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Complex chromosomal neighborhood effects determine the adaptive potential of a gene under selection}}, doi = {10.7554/eLife.25100}, volume = {6}, year = {2017}, } @article{735, abstract = {Cell-cell contact formation constitutes an essential step in evolution, leading to the differentiation of specialized cell types. However, remarkably little is known about whether and how the interplay between contact formation and fate specification affects development. Here, we identify a positive feedback loop between cell-cell contact duration, morphogen signaling, and mesendoderm cell-fate specification during zebrafish gastrulation. We show that long-lasting cell-cell contacts enhance the competence of prechordal plate (ppl) progenitor cells to respond to Nodal signaling, required for ppl cell-fate specification. We further show that Nodal signaling promotes ppl cell-cell contact duration, generating a positive feedback loop between ppl cell-cell contact duration and cell-fate specification. Finally, by combining mathematical modeling and experimentation, we show that this feedback determines whether anterior axial mesendoderm cells become ppl or, instead, turn into endoderm. Thus, the interdependent activities of cell-cell signaling and contact formation control fate diversification within the developing embryo.}, author = {Barone, Vanessa and Lang, Moritz and Krens, Gabriel and Pradhan, Saurabh and Shamipour, Shayan and Sako, Keisuke and Sikora, Mateusz K and Guet, Calin C and Heisenberg, Carl-Philipp J}, issn = {1534-5807}, journal = {Developmental Cell}, number = {2}, pages = {198 -- 211}, publisher = {Cell Press}, title = {{An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate}}, doi = {10.1016/j.devcel.2017.09.014}, volume = {43}, year = {2017}, } @article{1029, abstract = {RNA Polymerase II pauses and backtracks during transcription, with many consequences for gene expression and cellular physiology. Here, we show that the energy required to melt double-stranded nucleic acids in the transcription bubble predicts pausing in Saccharomyces cerevisiae far more accurately than nucleosome roadblocks do. In addition, the same energy difference also determines when the RNA polymerase backtracks instead of continuing to move forward. This data-driven model corroborates—in a genome wide and quantitative manner—previous evidence that sequence-dependent thermodynamic features of nucleic acids influence both transcriptional pausing and backtracking.}, author = {Lukacisin, Martin and Landon, Matthieu and Jajoo, Rishi}, issn = {1932-6203}, journal = {PLoS One}, number = {3}, publisher = {Public Library of Science}, title = {{Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast}}, doi = {10.1371/journal.pone.0174066}, volume = {12}, year = {2017}, } @article{676, abstract = {The segregation of different cell types into distinct tissues is a fundamental process in metazoan development. Differences in cell adhesion and cortex tension are commonly thought to drive cell sorting by regulating tissue surface tension (TST). However, the role that differential TST plays in cell segregation within the developing embryo is as yet unclear. Here, we have analyzed the role of differential TST for germ layer progenitor cell segregation during zebrafish gastrulation. Contrary to previous observations that differential TST drives germ layer progenitor cell segregation in vitro, we show that germ layers display indistinguishable TST within the gastrulating embryo, arguing against differential TST driving germ layer progenitor cell segregation in vivo. We further show that the osmolarity of the interstitial fluid (IF) is an important factor that influences germ layer TST in vivo, and that lower osmolarity of the IF compared with standard cell culture medium can explain why germ layers display differential TST in culture but not in vivo. Finally, we show that directed migration of mesendoderm progenitors is required for germ layer progenitor cell segregation and germ layer formation.}, author = {Krens, Gabriel and Veldhuis, Jim and Barone, Vanessa and Capek, Daniel and Maître, Jean-Léon and Brodland, Wayne and Heisenberg, Carl-Philipp J}, issn = {0950-1991}, journal = {Development}, number = {10}, pages = {1798 -- 1806}, publisher = {Company of Biologists}, title = {{Interstitial fluid osmolarity modulates the action of differential tissue surface tension in progenitor cell segregation during gastrulation}}, doi = {10.1242/dev.144964}, volume = {144}, year = {2017}, } @article{661, abstract = {During embryonic development, mechanical forces are essential for cellular rearrangements driving tissue morphogenesis. Here, we show that in the early zebrafish embryo, friction forces are generated at the interface between anterior axial mesoderm (prechordal plate, ppl) progenitors migrating towards the animal pole and neurectoderm progenitors moving in the opposite direction towards the vegetal pole of the embryo. These friction forces lead to global rearrangement of cells within the neurectoderm and determine the position of the neural anlage. Using a combination of experiments and simulations, we show that this process depends on hydrodynamic coupling between neurectoderm and ppl as a result of E-cadherin-mediated adhesion between those tissues. Our data thus establish the emergence of friction forces at the interface between moving tissues as a critical force-generating process shaping the embryo.}, author = {Smutny, Michael and Ákos, Zsuzsa and Grigolon, Silvia and Shamipour, Shayan and Ruprecht, Verena and Capek, Daniel and Behrndt, Martin and Papusheva, Ekaterina and Tada, Masazumi and Hof, Björn and Vicsek, Tamás and Salbreux, Guillaume and Heisenberg, Carl-Philipp J}, issn = {1465-7392}, journal = {Nature Cell Biology}, pages = {306 -- 317}, publisher = {Nature Publishing Group}, title = {{Friction forces position the neural anlage}}, doi = {10.1038/ncb3492}, volume = {19}, year = {2017}, } @article{664, abstract = {Immune cells communicate using cytokine signals, but the quantitative rules of this communication aren't clear. In this issue of Immunity, Oyler-Yaniv et al. (2017) suggest that the distribution of a cytokine within a lymphatic organ is primarily governed by the local density of cells consuming it.}, author = {Assen, Frank P and Sixt, Michael K}, issn = {1074-7613}, journal = {Immunity}, number = {4}, pages = {519 -- 520}, publisher = {Cell Press}, title = {{The dynamic cytokine niche}}, doi = {10.1016/j.immuni.2017.04.006}, volume = {46}, year = {2017}, } @inproceedings{949, abstract = {The notion of treewidth of graphs has been exploited for faster algorithms for several problems arising in verification and program analysis. Moreover, various notions of balanced tree decompositions have been used for improved algorithms supporting dynamic updates and analysis of concurrent programs. In this work, we present a tool for constructing tree-decompositions of CFGs obtained from Java methods, which is implemented as an extension to the widely used Soot framework. The experimental results show that our implementation on real-world Java benchmarks is very efficient. Our tool also provides the first implementation for balancing tree-decompositions. In summary, we present the first tool support for exploiting treewidth in the static analysis problems on Java programs.}, author = {Chatterjee, Krishnendu and Goharshady, Amir and Pavlogiannis, Andreas}, editor = {D'Souza, Deepak}, issn = {0302-9743}, location = {Pune, India}, pages = {59 -- 66}, publisher = {Springer}, title = {{JTDec: A tool for tree decompositions in soot}}, doi = {10.1007/978-3-319-68167-2_4}, volume = {10482}, year = {2017}, } @inproceedings{639, abstract = {We study the problem of developing efficient approaches for proving worst-case bounds of non-deterministic recursive programs. Ranking functions are sound and complete for proving termination and worst-case bounds of non-recursive programs. First, we apply ranking functions to recursion, resulting in measure functions, and show that they provide a sound and complete approach to prove worst-case bounds of non-deterministic recursive programs. Our second contribution is the synthesis of measure functions in non-polynomial forms. We show that non-polynomial measure functions with logarithm and exponentiation can be synthesized through abstraction of logarithmic or exponentiation terms, Farkas’ Lemma, and Handelman’s Theorem using linear programming. While previous methods obtain worst-case polynomial bounds, our approach can synthesize bounds of the form O(n log n) as well as O(nr) where r is not an integer. We present experimental results to demonstrate that our approach can efficiently obtain worst-case bounds of classical recursive algorithms such as Merge-Sort, Closest-Pair, Karatsuba’s algorithm and Strassen’s algorithm.}, author = {Chatterjee, Krishnendu and Fu, Hongfei and Goharshady, Amir}, editor = {Majumdar, Rupak and Kunčak, Viktor}, isbn = {978-331963389-3}, location = {Heidelberg, Germany}, pages = {41 -- 63}, publisher = {Springer}, title = {{Non-polynomial worst case analysis of recursive programs}}, doi = {10.1007/978-3-319-63390-9_3}, volume = {10427}, year = {2017}, } @article{960, abstract = {The human cerebral cortex is the seat of our cognitive abilities and composed of an extraordinary number of neurons, organized in six distinct layers. The establishment of specific morphological and physiological features in individual neurons needs to be regulated with high precision. Impairments in the sequential developmental programs instructing corticogenesis lead to alterations in the cortical cytoarchitecture which is thought to represent the major underlying cause for several neurological disorders including neurodevelopmental and psychiatric diseases. In this review we discuss the role of cell polarity at sequential stages during cortex development. We first provide an overview of morphological cell polarity features in cortical neural stem cells and newly-born postmitotic neurons. We then synthesize a conceptual molecular and biochemical framework how cell polarity is established at the cellular level through a break in symmetry in nascent cortical projection neurons. Lastly we provide a perspective how the molecular mechanisms applying to single cells could be probed and integrated in an in vivo and tissue-wide context.}, author = {Hansen, Andi H and Düllberg, Christian F and Mieck, Christine and Loose, Martin and Hippenmeyer, Simon}, issn = {1662-5102}, journal = {Frontiers in Cellular Neuroscience}, publisher = {Frontiers Research Foundation}, title = {{Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks}}, doi = {10.3389/fncel.2017.00176}, volume = {11}, year = {2017}, } @article{696, abstract = {Mutator strains are expected to evolve when the availability and effect of beneficial mutations are high enough to counteract the disadvantage from deleterious mutations that will inevitably accumulate. As the population becomes more adapted to its environment, both availability and effect of beneficial mutations necessarily decrease and mutation rates are predicted to decrease. It has been shown that certain molecular mechanisms can lead to increased mutation rates when the organism finds itself in a stressful environment. While this may be a correlated response to other functions, it could also be an adaptive mechanism, raising mutation rates only when it is most advantageous. Here, we use a mathematical model to investigate the plausibility of the adaptive hypothesis. We show that such a mechanism can be mantained if the population is subjected to diverse stresses. By simulating various antibiotic treatment schemes, we find that combination treatments can reduce the effectiveness of second-order selection on stress-induced mutagenesis. We discuss the implications of our results to strategies of antibiotic therapy.}, author = {Lukacisinova, Marta and Novak, Sebastian and Paixao, Tiago}, issn = {1553-734X}, journal = {PLoS Computational Biology}, number = {7}, publisher = {Public Library of Science}, title = {{Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes}}, doi = {10.1371/journal.pcbi.1005609}, volume = {13}, year = {2017}, } @article{1027, abstract = {The rising prevalence of antibiotic resistant bacteria is an increasingly serious public health challenge. To address this problem, recent work ranging from clinical studies to theoretical modeling has provided valuable insights into the mechanisms of resistance, its emergence and spread, and ways to counteract it. A deeper understanding of the underlying dynamics of resistance evolution will require a combination of experimental and theoretical expertise from different disciplines and new technology for studying evolution in the laboratory. Here, we review recent advances in the quantitative understanding of the mechanisms and evolution of antibiotic resistance. We focus on key theoretical concepts and new technology that enables well-controlled experiments. We further highlight key challenges that can be met in the near future to ultimately develop effective strategies for combating resistance.}, author = {Lukacisinova, Marta and Bollenbach, Mark Tobias}, journal = {Current Opinion in Biotechnology}, pages = {90 -- 97}, publisher = {Elsevier}, title = {{Toward a quantitative understanding of antibiotic resistance evolution}}, doi = {10.1016/j.copbio.2017.02.013}, volume = {46}, year = {2017}, } @article{682, abstract = {Left-right asymmetry is a fundamental feature of higher-order brain structure; however, the molecular basis of brain asymmetry remains unclear. We recently identified structural and functional asymmetries in mouse hippocampal circuitry that result from the asymmetrical distribution of two distinct populations of pyramidal cell synapses that differ in the density of the NMDA receptor subunit GluRε2 (also known as NR2B, GRIN2B or GluN2B). By examining the synaptic distribution of ε2 subunits, we previously found that β2-microglobulin-deficient mice, which lack cell surface expression of the vast majority of major histocompatibility complex class I (MHCI) proteins, do not exhibit circuit asymmetry. In the present study, we conducted electrophysiological and anatomical analyses on the hippocampal circuitry of mice with a knockout of the paired immunoglobulin-like receptor B (PirB), an MHCI receptor. As in β2-microglobulin-deficient mice, the PirB-deficient hippocampus lacked circuit asymmetries. This finding that MHCI loss-of-function mice and PirB knockout mice have identical phenotypes suggests that MHCI signals that produce hippocampal asymmetries are transduced through PirB. Our results provide evidence for a critical role of the MHCI/PirB signaling system in the generation of asymmetries in hippocampal circuitry.}, author = {Ukai, Hikari and Kawahara, Aiko and Hirayama, Keiko and Case, Matthew J and Aino, Shotaro and Miyabe, Masahiro and Wakita, Ken and Oogi, Ryohei and Kasayuki, Michiyo and Kawashima, Shihomi and Sugimoto, Shunichi and Chikamatsu, Kanako and Nitta, Noritaka and Koga, Tsuneyuki and Shigemoto, Ryuichi and Takai, Toshiyuki and Ito, Isao}, issn = {1932-6203}, journal = {PLoS One}, number = {6}, publisher = {Public Library of Science}, title = {{PirB regulates asymmetries in hippocampal circuitry}}, doi = {10.1371/journal.pone.0179377}, volume = {12}, year = {2017}, } @article{1024, abstract = {The history of auxin and cytokinin biology including the initial discoveries by father–son duo Charles Darwin and Francis Darwin (1880), and Gottlieb Haberlandt (1919) is a beautiful demonstration of unceasing continuity of research. Novel findings are integrated into existing hypotheses and models and deepen our understanding of biological principles. At the same time new questions are triggered and hand to hand with this new methodologies are developed to address these new challenges.}, author = {Hurny, Andrej and Benková, Eva}, issn = {1064-3745}, journal = {Auxins and Cytokinins in Plant Biology}, pages = {1 -- 29}, publisher = {Springer}, title = {{Methodological advances in auxin and cytokinin biology}}, doi = {10.1007/978-1-4939-6831-2_1}, volume = {1569}, year = {2017}, }