@article{39, abstract = {We study how a block of genome with a large number of weakly selected loci introgresses under directional selection into a genetically homogeneous population. We derive exact expressions for the expected rate of growth of any fragment of the introduced block during the initial phase of introgression, and show that the growth rate of a single-locus variant is largely insensitive to its own additive effect, but depends instead on the combined effect of all loci within a characteristic linkage scale. The expected growth rate of a fragment is highly correlated with its long-term introgression probability in populations of moderate size, and can hence identify variants that are likely to introgress across replicate populations. We clarify how the introgression probability of an individual variant is determined by the interplay between hitchhiking with relatively large fragments during the early phase of introgression and selection on fine-scale variation within these, which at longer times results in differential introgression probabilities for beneficial and deleterious loci within successful fragments. By simulating individuals, we also investigate how introgression probabilities at individual loci depend on the variance of fitness effects, the net fitness of the introduced block, and the size of the recipient population, and how this shapes the net advance under selection. Our work suggests that even highly replicable substitutions may be associated with a range of selective effects, which makes it challenging to fine map the causal loci that underlie polygenic adaptation.}, author = {Sachdeva, Himani and Barton, Nicholas H}, issn = {00166731}, journal = {Genetics}, number = {4}, pages = {1411--1427}, publisher = {Genetics Society of America}, title = {{Replicability of introgression under linked, polygenic selection}}, doi = {10.1534/genetics.118.301429}, volume = {210}, year = {2018}, } @article{420, abstract = {We analyze the theoretical derivation of the beyond-mean-field equation of state for two-dimensional gas of dilute, ultracold alkali-metal atoms in the Bardeen–Cooper–Schrieffer (BCS) to Bose–Einstein condensate (BEC) crossover. We show that at zero temperature our theory — considering Gaussian fluctuations on top of the mean-field equation of state — is in very good agreement with experimental data. Subsequently, we investigate the superfluid density at finite temperature and its renormalization due to the proliferation of vortex–antivortex pairs. By doing so, we determine the Berezinskii–Kosterlitz–Thouless (BKT) critical temperature — at which the renormalized superfluid density jumps to zero — as a function of the inter-atomic potential strength. We find that the Nelson–Kosterlitz criterion overestimates the BKT temperature with respect to the renormalization group equations, this effect being particularly relevant in the intermediate regime of the crossover.}, author = {Bighin, Giacomo and Salasnich, Luca}, journal = {International Journal of Modern Physics B}, number = {17}, pages = {1840022}, publisher = {World Scientific Publishing}, title = {{Renormalization of the superfluid density in the two-dimensional BCS-BEC crossover}}, doi = {10.1142/S0217979218400222}, volume = {32}, year = {2018}, } @article{38, abstract = {Genomes of closely-related species or populations often display localized regions of enhanced relative sequence divergence, termed genomic islands. It has been proposed that these islands arise through selective sweeps and/or barriers to gene flow. Here, we genetically dissect a genomic island that controls flower color pattern differences between two subspecies of Antirrhinum majus, A.m.striatum and A.m.pseudomajus, and relate it to clinal variation across a natural hybrid zone. We show that selective sweeps likely raised relative divergence at two tightly-linked MYB-like transcription factors, leading to distinct flower patterns in the two subspecies. The two patterns provide alternate floral guides and create a strong barrier to gene flow where populations come into contact. This barrier affects the selected flower color genes and tightlylinked loci, but does not extend outside of this domain, allowing gene flow to lower relative divergence for the rest of the chromosome. Thus, both selective sweeps and barriers to gene flow play a role in shaping genomic islands: sweeps cause elevation in relative divergence, while heterogeneous gene flow flattens the surrounding "sea," making the island of divergence stand out. By showing how selective sweeps establish alternative adaptive phenotypes that lead to barriers to gene flow, our study sheds light on possible mechanisms leading to reproductive isolation and speciation.}, author = {Tavares, Hugo and Whitley, Annabel and Field, David and Bradley, Desmond and Couchman, Matthew and Copsey, Lucy and Elleouet, Joane and Burrus, Monique and Andalo, Christophe and Li, Miaomiao and Li, Qun and Xue, Yongbiao and Rebocho, Alexandra B and Barton, Nicholas H and Coen, Enrico}, issn = {00278424}, journal = {PNAS}, number = {43}, pages = {11006 -- 11011}, publisher = {National Academy of Sciences}, title = {{Selection and gene flow shape genomic islands that control floral guides}}, doi = {10.1073/pnas.1801832115}, volume = {115}, year = {2018}, } @inproceedings{155, abstract = {There is currently significant interest in operating devices in the quantum regime, where their behaviour cannot be explained through classical mechanics. Quantum states, including entangled states, are fragile and easily disturbed by excessive thermal noise. Here we address the question of whether it is possible to create non-reciprocal devices that encourage the flow of thermal noise towards or away from a particular quantum device in a network. Our work makes use of the cascaded systems formalism to answer this question in the affirmative, showing how a three-port device can be used as an effective thermal transistor, and illustrates how this formalism maps onto an experimentally-realisable optomechanical system. Our results pave the way to more resilient quantum devices and to the use of thermal noise as a resource.}, author = {Xuereb, André and Aquilina, Matteo and Barzanjeh, Shabir}, editor = {Andrews, D L and Ostendorf, A and Bain, A J and Nunzi, J M}, location = {Strasbourg, France}, publisher = {SPIE}, title = {{Routing thermal noise through quantum networks}}, doi = {10.1117/12.2309928}, volume = {10672}, year = {2018}, } @article{5767, abstract = {Cuprate superconductors have long been thought of as having strong electronic correlations but negligible spin-orbit coupling. Using spin- and angle-resolved photoemission spectroscopy, we discovered that one of the most studied cuprate superconductors, Bi2212, has a nontrivial spin texture with a spin-momentum locking that circles the Brillouin zone center and a spin-layer locking that allows states of opposite spin to be localized in different parts of the unit cell. Our findings pose challenges for the vast majority of models of cuprates, such as the Hubbard model and its variants, where spin-orbit interaction has been mostly neglected, and open the intriguing question of how the high-temperature superconducting state emerges in the presence of this nontrivial spin texture. }, author = {Gotlieb, Kenneth and Lin, Chiu-Yun and Serbyn, Maksym and Zhang, Wentao and Smallwood, Christopher L. and Jozwiak, Christopher and Eisaki, Hiroshi and Hussain, Zahid and Vishwanath, Ashvin and Lanzara, Alessandra}, issn = {1095-9203}, journal = {Science}, number = {6420}, pages = {1271--1275}, publisher = {American Association for the Advancement of Science}, title = {{Revealing hidden spin-momentum locking in a high-temperature cuprate superconductor}}, doi = {10.1126/science.aao0980}, volume = {362}, year = {2018}, } @article{434, abstract = {In this paper, we present a formal model-driven design approach to establish a safety-assured implementation of multifunction vehicle bus controller (MVBC), which controls the data transmission among the devices of the vehicle. First, the generic models and safety requirements described in International Electrotechnical Commission Standard 61375 are formalized as time automata and timed computation tree logic formulas, respectively. With model checking tool Uppaal, we verify whether or not the constructed timed automata satisfy the formulas and several logic inconsistencies in the original standard are detected and corrected. Then, we apply the code generation tool Times to generate C code from the verified model, which is later synthesized into a real MVBC chip, with some handwriting glue code. Furthermore, the runtime verification tool RMOR is applied on the integrated code, to verify some safety requirements that cannot be formalized on the timed automata. For evaluation, we compare the proposed approach with existing MVBC design methods, such as BeagleBone, Galsblock, and Simulink. Experiments show that more ambiguousness or bugs in the standard are detected during Uppaal verification, and the generated code of Times outperforms the C code generated by others in terms of the synthesized binary code size. The errors in the standard have been confirmed and the resulting MVBC has been deployed in the real train communication network.}, author = {Jiang, Yu and Liu, Han and Song, Huobing and Kong, Hui and Wang, Rui and Guan, Yong and Sha, Lui}, journal = {IEEE Transactions on Intelligent Transportation Systems}, number = {10}, pages = {3320 -- 3333}, publisher = {IEEE}, title = {{Safety-assured model-driven design of the multifunction vehicle bus controller}}, doi = {10.1109/TITS.2017.2778077}, volume = {19}, year = {2018}, } @article{162, abstract = {Facial shape is the basis for facial recognition and categorization. Facial features reflect the underlying geometry of the skeletal structures. Here, we reveal that cartilaginous nasal capsule (corresponding to upper jaw and face) is shaped by signals generated by neural structures: brain and olfactory epithelium. Brain-derived Sonic Hedgehog (SHH) enables the induction of nasal septum and posterior nasal capsule, whereas the formation of a capsule roof is controlled by signals from the olfactory epithelium. Unexpectedly, the cartilage of the nasal capsule turned out to be important for shaping membranous facial bones during development. This suggests that conserved neurosensory structures could benefit from protection and have evolved signals inducing cranial cartilages encasing them. Experiments with mutant mice revealed that the genomic regulatory regions controlling production of SHH in the nervous system contribute to facial cartilage morphogenesis, which might be a mechanism responsible for the adaptive evolution of animal faces and snouts.}, author = {Kaucka, Marketa and Petersen, Julian and Tesarova, Marketa and Szarowska, Bara and Kastriti, Maria and Xie, Meng and Kicheva, Anna and Annusver, Karl and Kasper, Maria and Symmons, Orsolya and Pan, Leslie and Spitz, Francois and Kaiser, Jozef and Hovorakova, Maria and Zikmund, Tomas and Sunadome, Kazunori and Matise, Michael P and Wang, Hui and Marklund, Ulrika and Abdo, Hind and Ernfors, Patrik and Maire, Pascal and Wurmser, Maud and Chagin, Andrei S and Fried, Kaj and Adameyko, Igor}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage}}, doi = {10.7554/eLife.34465}, volume = {7}, year = {2018}, } @inproceedings{302, abstract = {At ITCS 2013, Mahmoody, Moran and Vadhan [MMV13] introduce and construct publicly verifiable proofs of sequential work, which is a protocol for proving that one spent sequential computational work related to some statement. The original motivation for such proofs included non-interactive time-stamping and universally verifiable CPU benchmarks. A more recent application, and our main motivation, are blockchain designs, where proofs of sequential work can be used – in combination with proofs of space – as a more ecological and economical substitute for proofs of work which are currently used to secure Bitcoin and other cryptocurrencies. The construction proposed by [MMV13] is based on a hash function and can be proven secure in the random oracle model, or assuming inherently sequential hash-functions, which is a new standard model assumption introduced in their work. In a proof of sequential work, a prover gets a “statement” χ, a time parameter N and access to a hash-function H, which for the security proof is modelled as a random oracle. Correctness requires that an honest prover can make a verifier accept making only N queries to H, while soundness requires that any prover who makes the verifier accept must have made (almost) N sequential queries to H. Thus a solution constitutes a proof that N time passed since χ was received. Solutions must be publicly verifiable in time at most polylogarithmic in N. The construction of [MMV13] is based on “depth-robust” graphs, and as a consequence has rather poor concrete parameters. But the major drawback is that the prover needs not just N time, but also N space to compute a proof. In this work we propose a proof of sequential work which is much simpler, more efficient and achieves much better concrete bounds. Most importantly, the space required can be as small as log (N) (but we get better soundness using slightly more memory than that). An open problem stated by [MMV13] that our construction does not solve either is achieving a “unique” proof, where even a cheating prover can only generate a single accepting proof. This property would be extremely useful for applications to blockchains.}, author = {Cohen, Bram and Pietrzak, Krzysztof Z}, location = {Tel Aviv, Israel}, pages = {451 -- 467}, publisher = {Springer}, title = {{Simple proofs of sequential work}}, doi = {10.1007/978-3-319-78375-8_15}, volume = {10821}, year = {2018}, } @article{31, abstract = {Correlations in sensory neural networks have both extrinsic and intrinsic origins. Extrinsic or stimulus correlations arise from shared inputs to the network and, thus, depend strongly on the stimulus ensemble. Intrinsic or noise correlations reflect biophysical mechanisms of interactions between neurons, which are expected to be robust to changes in the stimulus ensemble. Despite the importance of this distinction for understanding how sensory networks encode information collectively, no method exists to reliably separate intrinsic interactions from extrinsic correlations in neural activity data, limiting our ability to build predictive models of the network response. In this paper we introduce a general strategy to infer population models of interacting neurons that collectively encode stimulus information. The key to disentangling intrinsic from extrinsic correlations is to infer the couplings between neurons separately from the encoding model and to combine the two using corrections calculated in a mean-field approximation. We demonstrate the effectiveness of this approach in retinal recordings. The same coupling network is inferred from responses to radically different stimulus ensembles, showing that these couplings indeed reflect stimulus-independent interactions between neurons. The inferred model predicts accurately the collective response of retinal ganglion cell populations as a function of the stimulus.}, author = {Ferrari, Ulisse and Deny, Stephane and Chalk, Matthew J and Tkacik, Gasper and Marre, Olivier and Mora, Thierry}, issn = {24700045}, journal = {Physical Review E}, number = {4}, publisher = {American Physical Society}, title = {{Separating intrinsic interactions from extrinsic correlations in a network of sensory neurons}}, doi = {10.1103/PhysRevE.98.042410}, volume = {98}, year = {2018}, } @article{64, abstract = {Tropical geometry, an established field in pure mathematics, is a place where string theory, mirror symmetry, computational algebra, auction theory, and so forth meet and influence one another. In this paper, we report on our discovery of a tropical model with self-organized criticality (SOC) behavior. Our model is continuous, in contrast to all known models of SOC, and is a certain scaling limit of the sandpile model, the first and archetypical model of SOC. We describe how our model is related to pattern formation and proportional growth phenomena and discuss the dichotomy between continuous and discrete models in several contexts. Our aim in this context is to present an idealized tropical toy model (cf. Turing reaction-diffusion model), requiring further investigation.}, author = {Kalinin, Nikita and Guzmán Sáenz, Aldo and Prieto, Y and Shkolnikov, Mikhail and Kalinina, V and Lupercio, Ernesto}, issn = {00278424}, journal = {PNAS: Proceedings of the National Academy of Sciences of the United States of America}, number = {35}, pages = {E8135 -- E8142}, publisher = {National Academy of Sciences}, title = {{Self-organized criticality and pattern emergence through the lens of tropical geometry}}, doi = {10.1073/pnas.1805847115}, volume = {115}, year = {2018}, }