@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{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}, } @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}, } @article{6835, abstract = {We derive the Hasse principle and weak approximation for fibrations of certain varieties in the spirit of work by Colliot-Thélène–Sansuc and Harpaz–Skorobogatov–Wittenberg. Our varieties are defined through polynomials in many variables and part of our work is devoted to establishing Schinzel's hypothesis for polynomials of this kind. This last part is achieved by using arguments behind Birch's well-known result regarding the Hasse principle for complete intersections with the notable difference that we prove our result in 50% fewer variables than in the classical Birch setting. We also study the problem of square-free values of an integer polynomial with 66.6% fewer variables than in the Birch setting.}, author = {Destagnol, Kevin N and Sofos, Efthymios}, issn = {0007-4497}, journal = {Bulletin des Sciences Mathematiques}, number = {11}, publisher = {Elsevier}, title = {{Rational points and prime values of polynomials in moderately many variables}}, doi = {10.1016/j.bulsci.2019.102794}, volume = {156}, year = {2019}, } @article{6836, abstract = {Direct reciprocity is a powerful mechanism for the evolution of cooperation on the basis of repeated interactions1,2,3,4. It requires that interacting individuals are sufficiently equal, such that everyone faces similar consequences when they cooperate or defect. Yet inequality is ubiquitous among humans5,6 and is generally considered to undermine cooperation and welfare7,8,9,10. Most previous models of reciprocity do not include inequality11,12,13,14,15. These models assume that individuals are the same in all relevant aspects. Here we introduce a general framework to study direct reciprocity among unequal individuals. Our model allows for multiple sources of inequality. Subjects can differ in their endowments, their productivities and in how much they benefit from public goods. We find that extreme inequality prevents cooperation. But if subjects differ in productivity, some endowment inequality can be necessary for cooperation to prevail. Our mathematical predictions are supported by a behavioural experiment in which we vary the endowments and productivities of the subjects. We observe that overall welfare is maximized when the two sources of heterogeneity are aligned, such that more productive individuals receive higher endowments. By contrast, when endowments and productivities are misaligned, cooperation quickly breaks down. Our findings have implications for policy-makers concerned with equity, efficiency and the provisioning of public goods.}, author = {Hauser, Oliver P. and Hilbe, Christian and Chatterjee, Krishnendu and Nowak, Martin A.}, issn = {14764687}, journal = {Nature}, number = {7770}, pages = {524--527}, publisher = {Springer Nature}, title = {{Social dilemmas among unequals}}, doi = {10.1038/s41586-019-1488-5}, volume = {572}, year = {2019}, } @article{6840, abstract = {We discuss thermodynamic properties of harmonically trapped imperfect quantum gases. The spatial inhomogeneity of these systems imposes a redefinition of the mean-field interparticle potential energy as compared to the homogeneous case. In our approach, it takes the form a 2N2 ωd, where N is the number of particles, ω—the harmonic trap frequency, d—system’s dimensionality, and a is a parameter characterizing the interparticle interaction. We provide arguments that this model corresponds to the limiting case of a long-ranged interparticle potential of vanishingly small amplitude. This conclusion is drawn from a computation similar to the well-known Kac scaling procedure, which is presented here in a form adapted to the case of an isotropic harmonic trap. We show that within the model, the imperfect gas of trapped repulsive bosons undergoes the Bose–Einstein condensation provided d > 1. The main result of our analysis is that in d = 1 the gas of attractive imperfect fermions with a = −aF < 0 is thermodynamically equivalent to the gas of repulsive bosons with a = aB > 0 provided the parameters aF and aB fulfill the relation aB + aF = . This result supplements similar recent conclusion about thermodynamic equivalence of two-dimensional (2D) uniform imperfect repulsive Bose and attractive Fermi gases.}, author = {Mysliwy, Krzysztof and Napiórkowski, Marek}, issn = {1742-5468}, journal = {Journal of Statistical Mechanics: Theory and Experiment}, number = {6}, publisher = {IOP Publishing}, title = {{Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps}}, doi = {10.1088/1742-5468/ab190d}, volume = {2019}, year = {2019}, } @article{6843, abstract = {The aim of this short paper is to offer a complete characterization of all (not necessarily surjective) isometric embeddings of the Wasserstein space Wp(X), where S is a countable discrete metric space and 0