@article{6759, abstract = {We consider the graph class Grounded-L corresponding to graphs that admit an intersection representation by L-shaped curves, where additionally the topmost points of each curve are assumed to belong to a common horizontal line. We prove that Grounded-L graphs admit an equivalent characterisation in terms of vertex ordering with forbidden patterns. We also compare this class to related intersection classes, such as the grounded segment graphs, the monotone L-graphs (a.k.a. max point-tolerance graphs), or the outer-1-string graphs. We give constructions showing that these classes are all distinct and satisfy only trivial or previously known inclusions.}, author = {Jelínek, Vít and Töpfer, Martin}, issn = {10778926}, journal = {Electronic Journal of Combinatorics}, number = {3}, publisher = {Electronic Journal of Combinatorics}, title = {{On grounded L-graphs and their relatives}}, doi = {10.37236/8096}, volume = {26}, year = {2019}, } @article{6762, abstract = {We present and study novel optimal control problems motivated by the search for photovoltaic materials with high power-conversion efficiency. The material must perform the first step: convert light (photons) into electronic excitations. We formulate various desirable properties of the excitations as mathematical control goals at the Kohn-Sham-DFT level of theory, with the control being given by the nuclear charge distribution. We prove that nuclear distributions exist which give rise to optimal HOMO-LUMO excitations, and present illustrative numerical simulations for 1D finite nanocrystals. We observe pronounced goal-dependent features such as large electron-hole separation, and a hierarchy of length scales: internal HOMO and LUMO wavelengths < atomic spacings < (irregular) fluctuations of the doping profiles < system size.}, author = {Friesecke, Gero and Kniely, Michael}, issn = {15403467}, journal = {Multiscale Modeling and Simulation}, number = {3}, pages = {926--947}, publisher = {SIAM}, title = {{New optimal control problems in density functional theory motivated by photovoltaics}}, doi = {10.1137/18M1207272}, volume = {17}, year = {2019}, } @article{6763, abstract = {When grape-sized aqueous dimers are irradiated in a microwave oven, an intense electromagnetic hotspot forms at their point of contact, often igniting a plasma. Here we show that this irradiation can result in the injection of mechanical energy. By examining irradiated hydrogel dimers through high-speed imaging, we find that they repeatedly bounce off of each other while irradiated. We determine that an average of 1 lJ of mechanical energy is injected into the pair during each collision. Furthermore, a characteristic high-pitched audio signal is found to accompany each collision. We show that both the audio signal and the energy injection arise via an interplay between vaporization and elastic deformations in the region of contact, the so-called ‘elastic Liedenfrost effect’. Our results establish a novel, non-contact method of injecting mechanical energy into soft matter systems, suggesting application in fields such as soft robotics.}, author = {Khattak, Hamza K. and Waitukaitis, Scott R and Slepkov, Aaron D.}, issn = {17446848}, journal = {Soft Matter}, number = {29}, pages = {5804--5809}, publisher = {Royal Society of Chemistry}, title = {{Microwave induced mechanical activation of hydrogel dimers}}, doi = {10.1039/c9sm00756c}, volume = {15}, year = {2019}, } @article{6778, abstract = {An important adaptation during colonization of land by plants is gravitropic growth of roots, which enabled roots to reach water and nutrients, and firmly anchor plants in the ground. Here we provide insights into the evolution of an efficient root gravitropic mechanism in the seed plants. Architectural innovation, with gravity perception constrained in the root tips along with a shootward transport route for the phytohormone auxin, appeared only upon the emergence of seed plants. Interspecies complementation and protein domain swapping revealed functional innovations within the PIN family of auxin transporters leading to the evolution of gravitropism-specific PINs. The unique apical/shootward subcellular localization of PIN proteins is the major evolutionary innovation that connected the anatomically separated sites of gravity perception and growth response via the mobile auxin signal. We conclude that the crucial anatomical and functional components emerged hand-in-hand to facilitate the evolution of fast gravitropic response, which is one of the major adaptations of seed plants to dry land.}, author = {Zhang, Yuzhou and Xiao, G and Wang, X and Zhang, Xixi and Friml, Jiří}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Evolution of fast root gravitropism in seed plants}}, doi = {10.1038/s41467-019-11471-8}, volume = {10}, year = {2019}, } @article{6779, abstract = {Recent studies suggest that unstable recurrent solutions of the Navier-Stokes equation provide new insights into dynamics of turbulent flows. In this study, we compute an extensive network of dynamical connections between such solutions in a weakly turbulent quasi-two-dimensional Kolmogorov flow that lies in the inversion symmetric subspace. In particular, we find numerous isolated heteroclinic connections between different types of solutions—equilibria, periodic, and quasiperiodic orbits—as well as continua of connections forming higher-dimensional connecting manifolds. We also compute a homoclinic connection of a periodic orbit and provide strong evidence that the associated homoclinic tangle forms the chaotic repeller that underpins transient turbulence in the symmetric subspace.}, author = {Suri, Balachandra and Pallantla, Ravi Kumar and Schatz, Michael F. and Grigoriev, Roman O.}, issn = {2470-0053}, journal = {Physical Review E}, number = {1}, publisher = {American Physical Society}, title = {{Heteroclinic and homoclinic connections in a Kolmogorov-like flow}}, doi = {10.1103/physreve.100.013112}, volume = {100}, year = {2019}, } @inproceedings{6780, abstract = {In this work, we consider the almost-sure termination problem for probabilistic programs that asks whether a given probabilistic program terminates with probability 1. Scalable approaches for program analysis often rely on modularity as their theoretical basis. In non-probabilistic programs, the classical variant rule (V-rule) of Floyd-Hoare logic provides the foundation for modular analysis. Extension of this rule to almost-sure termination of probabilistic programs is quite tricky, and a probabilistic variant was proposed in [16]. While the proposed probabilistic variant cautiously addresses the key issue of integrability, we show that the proposed modular rule is still not sound for almost-sure termination of probabilistic programs. Besides establishing unsoundness of the previous rule, our contributions are as follows: First, we present a sound modular rule for almost-sure termination of probabilistic programs. Our approach is based on a novel notion of descent supermartingales. Second, for algorithmic approaches, we consider descent supermartingales that are linear and show that they can be synthesized in polynomial time. Finally, we present experimental results on a variety of benchmarks and several natural examples that model various types of nested while loops in probabilistic programs and demonstrate that our approach is able to efficiently prove their almost-sure termination property}, author = {Huang, Mingzhang and Fu, Hongfei and Chatterjee, Krishnendu and Goharshady, Amir Kafshdar}, booktitle = {Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications }, location = {Athens, Greece}, publisher = {ACM}, title = {{Modular verification for almost-sure termination of probabilistic programs}}, doi = {10.1145/3360555}, volume = {3}, year = {2019}, } @article{6784, abstract = {Mathematical models have been used successfully at diverse scales of biological organization, ranging from ecology and population dynamics to stochastic reaction events occurring between individual molecules in single cells. Generally, many biological processes unfold across multiple scales, with mutations being the best studied example of how stochasticity at the molecular scale can influence outcomes at the population scale. In many other contexts, however, an analogous link between micro- and macro-scale remains elusive, primarily due to the challenges involved in setting up and analyzing multi-scale models. Here, we employ such a model to investigate how stochasticity propagates from individual biochemical reaction events in the bacterial innate immune system to the ecology of bacteria and bacterial viruses. We show analytically how the dynamics of bacterial populations are shaped by the activities of immunity-conferring enzymes in single cells and how the ecological consequences imply optimal bacterial defense strategies against viruses. Our results suggest that bacterial populations in the presence of viruses can either optimize their initial growth rate or their population size, with the first strategy favoring simple immunity featuring a single restriction modification system and the second strategy favoring complex bacterial innate immunity featuring several simultaneously active restriction modification systems.}, author = {Ruess, Jakob and Pleska, Maros and Guet, Calin C and Tkačik, Gašper}, issn = {1553-7358}, journal = {PLoS Computational Biology}, number = {7}, publisher = {Public Library of Science}, title = {{Molecular noise of innate immunity shapes bacteria-phage ecologies}}, doi = {10.1371/journal.pcbi.1007168}, volume = {15}, year = {2019}, } @article{6786, abstract = {Dipolar coupling plays a fundamental role in the interaction between electrically or magnetically polarized species such as magnetic atoms and dipolar molecules in a gas or dipolar excitons in the solid state. Unlike Coulomb or contactlike interactions found in many atomic, molecular, and condensed-matter systems, this interaction is long-ranged and highly anisotropic, as it changes from repulsive to attractive depending on the relative positions and orientation of the dipoles. Because of this unique property, many exotic, symmetry-breaking collective states have been recently predicted for cold dipolar gases, but only a few have been experimentally detected and only in dilute atomic dipolar Bose-Einstein condensates. Here, we report on the first observation of attractive dipolar coupling between excitonic dipoles using a new design of stacked semiconductor bilayers. We show that the presence of a dipolar exciton fluid in one bilayer modifies the spatial distribution and increases the binding energy of excitonic dipoles in a vertically remote layer. The binding energy changes are explained using a many-body polaron model describing the deformation of the exciton cloud due to its interaction with a remote dipolar exciton. The surprising nonmonotonic dependence on the cloud density indicates the important role of dipolar correlations, which is unique to dense, strongly interacting dipolar solid-state systems. Our concept provides a route for the realization of dipolar lattices with strong anisotropic interactions in semiconductor systems, which open the way for the observation of theoretically predicted new and exotic collective phases, as well as for engineering and sensing their collective excitations.}, author = {Hubert, Colin and Baruchi, Yifat and Mazuz-Harpaz, Yotam and Cohen, Kobi and Biermann, Klaus and Lemeshko, Mikhail and West, Ken and Pfeiffer, Loren and Rapaport, Ronen and Santos, Paulo}, issn = {2160-3308}, journal = {Physical Review X}, number = {2}, publisher = {American Physical Society}, title = {{Attractive dipolar coupling between stacked exciton fluids}}, doi = {10.1103/PhysRevX.9.021026}, volume = {9}, year = {2019}, } @article{6788, abstract = {We consider the Nelson model with ultraviolet cutoff, which describes the interaction between non-relativistic particles and a positive or zero mass quantized scalar field. We take the non-relativistic particles to obey Fermi statistics and discuss the time evolution in a mean-field limit of many fermions. In this case, the limit is known to be also a semiclassical limit. We prove convergence in terms of reduced density matrices of the many-body state to a tensor product of a Slater determinant with semiclassical structure and a coherent state, which evolve according to a fermionic version of the Schrödinger–Klein–Gordon equations.}, author = {Leopold, Nikolai K and Petrat, Sören P}, issn = {1424-0661}, journal = {Annales Henri Poincare}, number = {10}, pages = {3471–3508}, publisher = {Springer Nature}, title = {{Mean-field dynamics for the Nelson model with fermions}}, doi = {10.1007/s00023-019-00828-w}, volume = {20}, year = {2019}, } @article{6793, abstract = {The Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here, we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry.}, author = {Akopyan, Arseniy and Izmestiev, Ivan}, issn = {14692120}, journal = {Bulletin of the London Mathematical Society}, number = {5}, pages = {765--775}, publisher = {London Mathematical Society}, title = {{The Regge symmetry, confocal conics, and the Schläfli formula}}, doi = {10.1112/blms.12276}, volume = {51}, year = {2019}, } @article{6795, abstract = {The green‐beard effect is one proposed mechanism predicted to underpin the evolu‐tion of altruistic behavior. It relies on the recognition and the selective help of altruists to each other in order to promote and sustain altruistic behavior. However, this mechanism has often been dismissed as unlikely or uncommon, as it is assumed that both the signaling trait and altruistic trait need to be encoded by the same gene or through tightly linked genes. Here, we use models of indirect genetic effects (IGEs) to find the minimum correlation between the signaling and altruistic trait required for the evolution of the latter. We show that this correlation threshold depends on the strength of the interaction (influence of the green beard on the expression of the altruistic trait), as well as the costs and benefits of the altruistic behavior. We further show that this correlation does not necessarily have to be high and support our analytical results by simulations.}, author = {Trubenova, Barbora and Hager, Reinmar}, issn = {20457758}, journal = {Ecology and Evolution}, number = {17}, pages = {9597--9608}, publisher = {Wiley}, title = {{Green beards in the light of indirect genetic effects}}, doi = {10.1002/ece3.5484}, volume = {9}, year = {2019}, } @article{6818, abstract = {Indigoidine is a blue natural pigment, which can be efficiently synthetized in E. coli. In addition to its antioxidant and antimicrobial activities indigoidine due to its stability and deep blue color can find an application as an industrial, environmentally friendly dye. Moreover, similarly to its counterpart regular indigo dye, due to its molecular structure, indigoidine is an organic semiconductor. Fully conjugated aromatic moiety and intermolecular hydrogen bonding of indigoidine result in an unusually narrow bandgap for such a small molecule. This, in its turn, result is tight molecular packing in the solid state and opens a path for a wide range of application in organic and bio-electronics, such as electrochemical and field effect transistors, organic solar cells, light and bio-sensors etc.}, author = {Yumusak, Cigdem and Prochazkova, Anna Jancik and Apaydin, Dogukan H and Seelajaroen, Hathaichanok and Sariciftci, Niyazi Serdar and Weiter, Martin and Krajcovic, Jozef and Qin, Yong and Zhang, Wei and Zhan, Jixun and Kovalenko, Alexander}, issn = {0143-7208}, journal = {Dyes and Pigments}, publisher = {Elsevier}, title = {{Indigoidine - Biosynthesized organic semiconductor}}, doi = {10.1016/j.dyepig.2019.107768}, volume = {171}, year = {2019}, } @article{6819, abstract = {Glyphosate (N-phosphonomethyl glycine) and its commercial herbicide formulations have been shown to exert toxicity via various mechanisms. It has been asserted that glyphosate substitutes for glycine in polypeptide chains leading to protein misfolding and toxicity. However, as no direct evidence exists for glycine to glyphosate substitution in proteins, including in mammalian organisms, we tested this claim by conducting a proteomics analysis of MDA-MB-231 human breast cancer cells grown in the presence of 100 mg/L glyphosate for 6 days. Protein extracts from three treated and three untreated cell cultures were analysed as one TMT-6plex labelled sample, to highlight a specific pattern (+/+/+/−/−/−) of reporter intensities for peptides bearing true glyphosate treatment induced-post translational modifications as well as allowing an investigation of the total proteome.}, author = {Antoniou, Michael N. and Nicolas, Armel and Mesnage, Robin and Biserni, Martina and Rao, Francesco V. and Martin, Cristina Vazquez}, issn = {1756-0500}, journal = {BMC Research Notes}, publisher = {BioMed Central}, title = {{Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells}}, doi = {10.1186/s13104-019-4534-3}, volume = {12}, year = {2019}, } @article{6821, abstract = {To determine the visual sensitivities of an organism of interest, quantitative reverse transcription–polymerase chain reaction (qRT–PCR) is often used to quantify expression of the light‐sensitive opsins in the retina. While qRT–PCR is an affordable, high‐throughput method for measuring expression, it comes with inherent normalization issues that affect the interpretation of results, especially as opsin expression can vary greatly based on developmental stage, light environment or diurnal cycles. We tested for diurnal cycles of opsin expression over a period of 24 hr at 1‐hr increments and examined how normalization affects a data set with fluctuating expression levels using qRT–PCR and transcriptome data from the retinae of the cichlid Pelmatolapia mariae. We compared five methods of normalizing opsin expression relative to (a) the average of three stably expressed housekeeping genes (Ube2z, EF1‐α and β‐actin), (b) total RNA concentration, (c) GNAT2, (the cone‐specific subunit of transducin), (d) total opsin expression and (e) only opsins expressed in the same cone type. Normalizing by proportion of cone type produced the least variation and would be best for removing time‐of‐day variation. In contrast, normalizing by housekeeping genes produced the highest daily variation in expression and demonstrated that the peak of cone opsin expression was in the late afternoon. A weighted correlation network analysis showed that the expression of different cone opsins follows a very similar daily cycle. With the knowledge of how these normalization methods affect opsin expression data, we make recommendations for designing sampling approaches and quantification methods based upon the scientific question being examined.}, author = {Yourick, Miranda R. and Sandkam, Benjamin A. and Gammerdinger, William J and Escobar-Camacho, Daniel and Nandamuri, Sri Pratima and Clark, Frances E. and Joyce, Brendan and Conte, Matthew A. and Kocher, Thomas D. and Carleton, Karen L.}, issn = {1755-0998}, journal = {Molecular Ecology Resources}, number = {6}, pages = {1447--1460}, publisher = {Wiley}, title = {{Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses}}, doi = {10.1111/1755-0998.13062}, volume = {19}, year = {2019}, } @inproceedings{6822, abstract = {In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the qualitative winner or quantitative payoff of the game. In bidding games, in each turn, we hold an auction between the two players to determine which player moves the token. Bidding games have largely been studied with concrete bidding mechanisms that are variants of a first-price auction: in each turn both players simultaneously submit bids, the higher bidder moves the token, and pays his bid to the lower bidder in Richman bidding, to the bank in poorman bidding, and in taxman bidding, the bid is split between the other player and the bank according to a predefined constant factor. Bidding games are deterministic games. They have an intriguing connection with a fragment of stochastic games called randomturn games. We study, for the first time, a combination of bidding games with probabilistic behavior; namely, we study bidding games that are played on Markov decision processes, where the players bid for the right to choose the next action, which determines the probability distribution according to which the next vertex is chosen. We study parity and meanpayoff bidding games on MDPs and extend results from the deterministic bidding setting to the probabilistic one.}, author = {Avni, Guy and Henzinger, Thomas A and Ibsen-Jensen, Rasmus and Novotny, Petr}, booktitle = { Proceedings of the 13th International Conference of Reachability Problems}, isbn = {978-303030805-6}, issn = {0302-9743}, location = {Brussels, Belgium}, pages = {1--12}, publisher = {Springer}, title = {{Bidding games on Markov decision processes}}, doi = {10.1007/978-3-030-30806-3_1}, volume = {11674}, year = {2019}, } @article{6824, abstract = {Platelets are small anucleate cellular fragments that are released by megakaryocytes and safeguard vascular integrity through a process termed ‘haemostasis’. However, platelets have important roles beyond haemostasis as they contribute to the initiation and coordination of intravascular immune responses. They continuously monitor blood vessel integrity and tightly coordinate vascular trafficking and functions of multiple cell types. In this way platelets act as ‘patrolling officers of the vascular highway’ that help to establish effective immune responses to infections and cancer. Here we discuss the distinct biological features of platelets that allow them to shape immune responses to pathogens and tumour cells, highlighting the parallels between these responses.}, author = {Gärtner, Florian R and Massberg, Steffen}, issn = {1474-1741}, journal = {Nature Reviews Immunology}, number = {12}, pages = {747–760}, publisher = {Springer Nature}, title = {{Patrolling the vascular borders: Platelets in immunity to infection and cancer}}, doi = {10.1038/s41577-019-0202-z}, volume = {19}, year = {2019}, } @phdthesis{6825, abstract = {The solving of complex tasks requires the functions of more than one brain area and their interaction. Whilst spatial navigation and memory is dependent on the hippocampus, flexible behavior relies on the medial prefrontal cortex (mPFC). To further examine the roles of the hippocampus and mPFC, we recorded their neural activity during a task that depends on both of these brain regions. With tetrodes, we recorded the extracellular activity of dorsal hippocampal CA1 (HPC) and mPFC neurons in Long-Evans rats performing a rule-switching task on the plus-maze. The plus-maze task had a spatial component since it required navigation along one of the two start arms and at the maze center a choice between one of the two goal arms. Which goal contained a reward depended on the rule currently in place. After an uncued rule change the animal had to abandon the old strategy and switch to the new rule, testing cognitive flexibility. Investigating the coordination of activity between the HPC and mPFC allows determination during which task stages their interaction is required. Additionally, comparing neural activity patterns in these two brain regions allows delineation of the specialized functions of the HPC and mPFC in this task. We analyzed neural activity in the HPC and mPFC in terms of oscillatory interactions, rule coding and replay. We found that theta coherence between the HPC and mPFC is increased at the center and goals of the maze, both when the rule was stable or has changed. Similar results were found for locking of HPC and mPFC neurons to HPC theta oscillations. However, no differences in HPC-mPFC theta coordination were observed between the spatially- and cue-guided rule. Phase locking of HPC and mPFC neurons to HPC gamma oscillations was not modulated by maze position or rule type. We found that the HPC coded for the two different rules with cofiring relationships between cell pairs. However, we could not find conclusive evidence for rule coding in the mPFC. Spatially-selective firing in the mPFC generalized between the two start and two goal arms. With Bayesian positional decoding, we found that the mPFC reactivated non-local positions during awake immobility periods. Replay of these non-local positions could represent entire behavioral trajectories resembling trajectory replay of the HPC. Furthermore, mPFC trajectory-replay at the goal positively correlated with rule-switching performance. Finally, HPC and mPFC trajectory replay occurred independently of each other. These results show that the mPFC can replay ordered patterns of activity during awake immobility, possibly underlying its role in flexible behavior. }, author = {Käfer, Karola}, issn = {2663-337X}, pages = {89}, publisher = {Institute of Science and Technology Austria}, title = {{The hippocampus and medial prefrontal cortex during flexible behavior}}, doi = {10.15479/AT:ISTA:6825}, year = {2019}, } @article{6828, abstract = {In this paper we construct a family of exact functors from the category of Whittaker modules of the simple complex Lie algebra of type to the category of finite-dimensional modules of the graded affine Hecke algebra of type . Using results of Backelin [2] and of Arakawa-Suzuki [1], we prove that these functors map standard modules to standard modules (or zero) and simple modules to simple modules (or zero). Moreover, we show that each simple module of the graded affine Hecke algebra appears as the image of a simple Whittaker module. Since the Whittaker category contains the BGG category as a full subcategory, our results generalize results of Arakawa-Suzuki [1], which in turn generalize Schur-Weyl duality between finite-dimensional representations of and representations of the symmetric group .}, author = {Brown, Adam}, issn = {0021-8693}, journal = {Journal of Algebra}, pages = {261--289}, publisher = {Elsevier}, title = {{Arakawa-Suzuki functors for Whittaker modules}}, doi = {10.1016/j.jalgebra.2019.07.027}, volume = {538}, year = {2019}, } @article{6830, author = {Contreras, Ximena and Hippenmeyer, Simon}, issn = {10974199}, journal = {Neuron}, number = {5}, pages = {750--752}, publisher = {Elsevier}, title = {{Memo1 tiles the radial glial cell grid}}, doi = {10.1016/j.neuron.2019.08.021}, volume = {103}, year = {2019}, } @article{6831, abstract = {* Understanding the mechanisms causing phenotypic differences between females and males has long fascinated evolutionary biologists. An extensive literature exists on animal sexual dimorphism but less information is known about sex differences in plants, particularly the extent of geographical variation in sexual dimorphism and its life‐cycle dynamics. * Here, we investigated patterns of genetically based sexual dimorphism in vegetative and reproductive traits of a wind‐pollinated dioecious plant, Rumex hastatulus, across three life‐cycle stages using open‐pollinated families from 30 populations spanning the geographic range and chromosomal variation (XY and XY1Y2) of the species. * The direction and degree of sexual dimorphism was highly variable among populations and life‐cycle stages. Sex‐specific differences in reproductive function explained a significant amount of temporal change in sexual dimorphism. For several traits, geographical variation in sexual dimorphism was associated with bioclimatic parameters, likely due to the differential responses of the sexes to climate. We found no systematic differences in sexual dimorphism between chromosome races. * Sex‐specific trait differences in dioecious plants largely result from a balance between sexual and natural selection on resource allocation. Our results indicate that abiotic factors associated with geographical context also play a role in modifying sexual dimorphism during the plant life‐cycle.}, author = {Puixeu Sala, Gemma and Pickup, Melinda and Field, David and Barrett, Spencer C.H.}, issn = {1469-8137}, journal = {New Phytologist}, number = {3}, pages = {1108--1120}, publisher = {Wiley}, title = {{Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics}}, doi = {10.1111/nph.16050}, volume = {224}, year = {2019}, }