@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}, } @misc{9838, 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 Eleni 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}, publisher = {Dryad}, title = {{Data from: Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage}}, doi = {10.5061/dryad.f1s76f2}, year = {2018}, } @article{41, abstract = {The small-conductance, Ca2+-activated K+ (SK) channel subtype SK2 regulates the spike rate and firing frequency, as well as Ca2+ transients in Purkinje cells (PCs). To understand the molecular basis by which SK2 channels mediate these functions, we analyzed the exact location and densities of SK2 channels along the neuronal surface of the mouse cerebellar PCs using SDS-digested freeze-fracture replica labeling (SDS-FRL) of high sensitivity combined with quantitative analyses. Immunogold particles for SK2 were observed on post- and pre-synaptic compartments showing both scattered and clustered distribution patterns. We found an axo-somato-dendritic gradient of the SK2 particle density increasing 12-fold from soma to dendritic spines. Using two different immunogold approaches, we also found that SK2 immunoparticles were frequently adjacent to, but never overlap with, the postsynaptic density of excitatory synapses in PC spines. Co-immunoprecipitation analysis demonstrated that SK2 channels form macromolecular complexes with two types of proteins that mobilize Ca2+: CaV2.1 channels and mGlu1α receptors in the cerebellum. Freeze-fracture replica double-labeling showed significant co-clustering of particles for SK2 with those for CaV2.1 channels and mGlu1α receptors. SK2 channels were also detected at presynaptic sites, mostly at the presynaptic active zone (AZ), where they are close to CaV2.1 channels, though they are not significantly co-clustered. These data demonstrate that SK2 channels located in different neuronal compartments can associate with distinct proteins mobilizing Ca2+, and suggest that the ultrastructural association of SK2 with CaV2.1 and mGlu1α provides the mechanism that ensures voltage (excitability) regulation by distinct intracellular Ca2+ transients in PCs.}, author = {Luján, Rafæl and Aguado, Carolina and Ciruela, Francisco and Arus, Xavier and Martín Belmonte, Alejandro and Alfaro Ruiz, Rocío and Martinez Gomez, Jesus and De La Ossa, Luis and Watanabe, Masahiko and Adelman, John and Shigemoto, Ryuichi and Fukazawa, Yugo}, issn = {16625102}, journal = {Frontiers in Cellular Neuroscience}, publisher = {Frontiers Media}, title = {{Sk2 channels associate with mGlu1α receptors and CaV2.1 channels in Purkinje cells}}, doi = {10.3389/fncel.2018.00311}, volume = {12}, year = {2018}, } @article{23, abstract = {The strong atomistic spin–orbit coupling of holes makes single-shot spin readout measurements difficult because it reduces the spin lifetimes. By integrating the charge sensor into a high bandwidth radio frequency reflectometry setup, we were able to demonstrate single-shot readout of a germanium quantum dot hole spin and measure the spin lifetime. Hole spin relaxation times of about 90 μs at 500 mT are reported, with a total readout visibility of about 70%. By analyzing separately the spin-to-charge conversion and charge readout fidelities, we have obtained insight into the processes limiting the visibilities of hole spins. The analyses suggest that high hole visibilities are feasible at realistic experimental conditions, underlying the potential of hole spins for the realization of viable qubit devices.}, author = {Vukušić, Lada and Kukucka, Josip and Watzinger, Hannes and Milem, Joshua M and Schäffler, Friedrich and Katsaros, Georgios}, issn = {15306984}, journal = {Nano Letters}, number = {11}, pages = {7141 -- 7145}, publisher = {American Chemical Society}, title = {{Single-shot readout of hole spins in Ge}}, doi = {10.1021/acs.nanolett.8b03217}, volume = {18}, year = {2018}, } @inproceedings{85, abstract = {Concurrent accesses to shared data structures must be synchronized to avoid data races. Coarse-grained synchronization, which locks the entire data structure, is easy to implement but does not scale. Fine-grained synchronization can scale well, but can be hard to reason about. Hand-over-hand locking, in which operations are pipelined as they traverse the data structure, combines fine-grained synchronization with ease of use. However, the traditional implementation suffers from inherent overheads. This paper introduces snapshot-based synchronization (SBS), a novel hand-over-hand locking mechanism. SBS decouples the synchronization state from the data, significantly improving cache utilization. Further, it relies on guarantees provided by pipelining to minimize synchronization that requires cross-thread communication. Snapshot-based synchronization thus scales much better than traditional hand-over-hand locking, while maintaining the same ease of use.}, author = {Gilad, Eran and Brown, Trevor A and Oskin, Mark and Etsion, Yoav}, issn = {03029743}, location = {Turin, Italy}, pages = {465 -- 479}, publisher = {Springer}, title = {{Snapshot based synchronization: A fast replacement for Hand-over-Hand locking}}, doi = {10.1007/978-3-319-96983-1_33}, volume = {11014}, year = {2018}, } @article{327, abstract = {Many-body quantum systems typically display fast dynamics and ballistic spreading of information. Here we address the open problem of how slow the dynamics can be after a generic breaking of integrability by local interactions. We develop a method based on degenerate perturbation theory that reveals slow dynamical regimes and delocalization processes in general translation invariant models, along with accurate estimates of their delocalization time scales. Our results shed light on the fundamental questions of the robustness of quantum integrable systems and the possibility of many-body localization without disorder. As an example, we construct a large class of one-dimensional lattice models where, despite the absence of asymptotic localization, the transient dynamics is exceptionally slow, i.e., the dynamics is indistinguishable from that of many-body localized systems for the system sizes and time scales accessible in experiments and numerical simulations.}, author = {Michailidis, Alexios and Žnidarič, Marko and Medvedyeva, Mariya and Abanin, Dmitry and Prosen, Tomaž and Papić, Zlatko}, journal = {Physical Review B}, number = {10}, publisher = {American Physical Society}, title = {{Slow dynamics in translation-invariant quantum lattice models}}, doi = {10.1103/PhysRevB.97.104307}, volume = {97}, year = {2018}, } @article{29, abstract = {Social insects have evolved enormous capacities to collectively build nests and defend their colonies against both predators and pathogens. The latter is achieved by a combination of individual immune responses and sophisticated collective behavioral and organizational disease defenses, that is, social immunity. We investigated how the presence or absence of these social defense lines affects individual-level immunity in ant queens after bacterial infection. To this end, we injected queens of the ant Linepithema humile with a mix of gram+ and gram− bacteria or a control solution, reared them either with workers or alone and analyzed their gene expression patterns at 2, 4, 8, and 12 hr post-injection, using RNA-seq. This allowed us to test for the effect of bacterial infection, social context, as well as the interaction between the two over the course of infection and raising of an immune response. We found that social isolation per se affected queen gene expression for metabolism genes, but not for immune genes. When infected, queens reared with and without workers up-regulated similar numbers of innate immune genes revealing activation of Toll and Imd signaling pathways and melanization. Interestingly, however, they mostly regulated different genes along the pathways and showed a different pattern of overall gene up-regulation or down-regulation. Hence, we can conclude that the absence of workers does not compromise the onset of an individual immune response by the queens, but that the social environment impacts the route of the individual innate immune responses.}, author = {Viljakainen, Lumi and Jurvansuu, Jaana and Holmberg, Ida and Pamminger, Tobias and Erler, Silvio and Cremer, Sylvia}, issn = {20457758}, journal = {Ecology and Evolution}, number = {22}, pages = {11031--11070}, publisher = {Wiley}, title = {{Social environment affects the transcriptomic response to bacteria in ant queens}}, doi = {10.1002/ece3.4573}, volume = {8}, year = {2018}, } @inproceedings{140, abstract = {Reachability analysis is difficult for hybrid automata with affine differential equations, because the reach set needs to be approximated. Promising abstraction techniques usually employ interval methods or template polyhedra. Interval methods account for dense time and guarantee soundness, and there are interval-based tools that overapproximate affine flowpipes. But interval methods impose bounded and rigid shapes, which make refinement expensive and fixpoint detection difficult. Template polyhedra, on the other hand, can be adapted flexibly and can be unbounded, but sound template refinement for unbounded reachability analysis has been implemented only for systems with piecewise constant dynamics. We capitalize on the advantages of both techniques, combining interval arithmetic and template polyhedra, using the former to abstract time and the latter to abstract space. During a CEGAR loop, whenever a spurious error trajectory is found, we compute additional space constraints and split time intervals, and use these space-time interpolants to eliminate the counterexample. Space-time interpolation offers a lazy, flexible framework for increasing precision while guaranteeing soundness, both for error avoidance and fixpoint detection. To the best of out knowledge, this is the first abstraction refinement scheme for the reachability analysis over unbounded and dense time of affine hybrid systems, which is both sound and automatic. We demonstrate the effectiveness of our algorithm with several benchmark examples, which cannot be handled by other tools.}, author = {Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A}, issn = {03029743}, location = {Oxford, United Kingdom}, pages = {468 -- 486}, publisher = {Springer}, title = {{Space-time interpolants}}, doi = {10.1007/978-3-319-96145-3_25}, volume = {10981}, year = {2018}, } @article{154, abstract = {We give a lower bound on the ground state energy of a system of two fermions of one species interacting with two fermions of another species via point interactions. We show that there is a critical mass ratio m2 ≈ 0.58 such that the system is stable, i.e., the energy is bounded from below, for m∈[m2,m2−1]. So far it was not known whether this 2 + 2 system exhibits a stable region at all or whether the formation of four-body bound states causes an unbounded spectrum for all mass ratios, similar to the Thomas effect. Our result gives further evidence for the stability of the more general N + M system.}, author = {Moser, Thomas and Seiringer, Robert}, issn = {15729656}, journal = {Mathematical Physics Analysis and Geometry}, number = {3}, publisher = {Springer}, title = {{Stability of the 2+2 fermionic system with point interactions}}, doi = {10.1007/s11040-018-9275-3}, volume = {21}, year = {2018}, } @article{5787, abstract = {Branching morphogenesis remains a subject of abiding interest. Although much is known about the gene regulatory programs and signaling pathways that operate at the cellular scale, it has remained unclear how the macroscopic features of branched organs, including their size, network topology and spatial patterning, are encoded. Lately, it has been proposed that, these features can be explained quantitatively in several organs within a single unifying framework. Based on large- scale organ recon - structions and cell lineage tracing, it has been argued that morphogenesis follows from the collective dynamics of sublineage- restricted self- renewing progenitor cells, localized at ductal tips, that act cooperatively to drive a serial process of ductal elon - gation and stochastic tip bifurcation. By correlating differentiation or cell cycle exit with proximity to maturing ducts, this dynamic results in the specification of a com- plex network of defined density and statistical organization. These results suggest that, for several mammalian tissues, branched epithelial structures develop as a self- organized process, reliant upon a strikingly simple, but generic, set of local rules, without recourse to a rigid and deterministic sequence of genetically programmed events. Here, we review the basis of these findings and discuss their implications.}, author = {Hannezo, Edouard B and Simons, Benjamin D.}, issn = {00121592}, journal = {Development Growth and Differentiation}, number = {9}, pages = {512--521}, publisher = {Wiley}, title = {{Statistical theory of branching morphogenesis}}, doi = {10.1111/dgd.12570}, volume = {60}, year = {2018}, }