TY - JOUR AB - We consider a general class of N × N random matrices whose entries hij are independent up to a symmetry constraint, but not necessarily identically distributed. Our main result is a local semicircle law which improves previous results [17] both in the bulk and at the edge. The error bounds are given in terms of the basic small parameter of the model, maxi,j E|hij|2. As a consequence, we prove the universality of the local n-point correlation functions in the bulk spectrum for a class of matrices whose entries do not have comparable variances, including random band matrices with band width W ≫N1-εn with some εn > 0 and with a negligible mean-field component. In addition, we provide a coherent and pedagogical proof of the local semicircle law, streamlining and strengthening previous arguments from [17, 19, 6]. AU - Erdös, László AU - Knowles, Antti AU - Yau, Horng AU - Yin, Jun ID - 2837 IS - 59 JF - Electronic Journal of Probability TI - The local semicircle law for a general class of random matrices VL - 18 ER - TY - JOUR AB - The phytohormone auxin regulates virtually every aspect of plant development. To identify new genes involved in auxin activity, a genetic screen was performed for Arabidopsis (Arabidopsis thaliana) mutants with altered expression of the auxin-responsive reporter DR5rev:GFP. One of the mutants recovered in the screen, designated as weak auxin response3 (wxr3), exhibits much lower DR5rev:GFP expression when treated with the synthetic auxin 2,4-dichlorophenoxyacetic acid and displays severe defects in root development. The wxr3 mutant decreases polar auxin transport and results in a disruption of the asymmetric auxin distribution. The levels of the auxin transporters AUXIN1 and PIN-FORMED are dramatically reduced in the wxr3 root tip. Molecular analyses demonstrate that WXR3 is ROOT ULTRAVIOLET B-SENSITIVE1 (RUS1), a member of the conserved Domain of Unknown Function647 protein family found in diverse eukaryotic organisms. Our data suggest that RUS1/WXR3 plays an essential role in the regulation of polar auxin transport by maintaining the proper level of auxin transporters on the plasma membrane. AU - Yu, Hong AU - Karampelias, Michael AU - Robert, Stéphanie AU - Peer, Wendy AU - Swarup, Ranjan AU - Ye, Songqing AU - Ge, Lei AU - Cohen, Jerry AU - Murphy, Angus AU - Friml, Jirí AU - Estelle, Mark ID - 2835 IS - 2 JF - Plant Physiology TI - Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis VL - 162 ER - TY - JOUR AB - We study the automatic synthesis of fair non-repudiation protocols, a class of fair exchange protocols, used for digital contract signing. First, we show how to specify the objectives of the participating agents and the trusted third party as path formulas in linear temporal logic and prove that the satisfaction of these objectives imply fairness; a property required of fair exchange protocols. We then show that weak (co-operative) co-synthesis and classical (strictly competitive) co-synthesis fail, whereas assume-guarantee synthesis (AGS) succeeds. We demonstrate the success of AGS as follows: (a) any solution of AGS is attack-free; no subset of participants can violate the objectives of the other participants; (b) the Asokan-Shoup-Waidner certified mail protocol that has known vulnerabilities is not a solution of AGS; (c) the Kremer-Markowitch non-repudiation protocol is a solution of AGS; and (d) AGS presents a new and symmetric fair non-repudiation protocol that is attack-free. To our knowledge this is the first application of synthesis to fair non-repudiation protocols, and our results show how synthesis can both automatically discover vulnerabilities in protocols and generate correct protocols. The solution to AGS can be computed efficiently as the secure equilibrium solution of three-player graph games. AU - Chatterjee, Krishnendu AU - Raman, Vishwanath ID - 2836 IS - 4 JF - Formal Aspects of Computing TI - Assume-guarantee synthesis for digital contract signing VL - 26 ER - TY - JOUR AB - It is known that the entorhinal cortex plays a crucial role in spatial cognition in rodents. Neuroanatomical and electrophysiological data suggest that there is a functional distinction between 2 subregions within the entorhinal cortex, the medial entorhinal cortex (MEC), and the lateral entorhinal cortex (LEC). Rats with MEC or LEC lesions were trained in 2 navigation tasks requiring allothetic (water maze task) or idiothetic (path integration) information processing and 2-object exploration tasks allowing testing of spatial and nonspatial processing of intramaze objects. MEC lesions mildly affected place navigation in the water maze and produced a path integration deficit. They also altered the processing of spatial information in both exploration tasks while sparing the processing of nonspatial information. LEC lesions did not affect navigation abilities in both the water maze and the path integration tasks. They altered spatial and nonspatial processing in the object exploration task but not in the one-trial recognition task. Overall, these results indicate that the MEC is important for spatial processing and path integration. The LEC has some influence on both spatial and nonspatial processes, suggesting that the 2 kinds of information interact at the level of the EC. AU - Van Cauter, Tiffany AU - Camon, Jeremy AU - Alvernhe, Alice AU - Elduayen, Coralie AU - Sargolini, Francesca AU - Save, Étienne ID - 2840 IS - 2 JF - Cerebral Cortex TI - Distinct roles of medial and lateral entorhinal cortex in spatial cognition VL - 23 ER - TY - JOUR AB - In zebrafish early development, blastoderm cells undergo extensive radial intercalations, triggering the spreading of the blastoderm over the yolk cell and thereby initiating embryonic body axis formation. Now reporting in Developmental Cell, Song et al. (2013) demonstrate a critical function for EGF-dependent E-cadherin endocytosis in promoting blastoderm cell intercalations. AU - Morita, Hitoshi AU - Heisenberg, Carl-Philipp J ID - 2841 IS - 6 JF - Developmental Cell TI - Holding on and letting go: Cadherin turnover in cell intercalation VL - 24 ER - TY - JOUR AB - The Red Queen hypothesis proposes that coevolving parasites select for outcrossing in the host. Outcrossing relies on males, which often show lower immune investment due to, for example, sexual selection. Here, we demonstrate that such sex differences in immunity interfere with parasite-mediated selection for outcrossing. Two independent coevolution experiments with Caenorhabditis elegans and its microparasite Bacillus thuringiensis produced decreased yet stable frequencies of outcrossing male hosts. A subsequent systematic analysis verified that male C. elegans suffered from a direct selective disadvantage under parasite pressure (i.e. lower resistance, decreased sexual activity, increased escape behaviour), which can reduce outcrossing and thus male frequencies. At the same time, males offered an indirect selective benefit, because male-mediated outcrossing increased offspring resistance, thus favouring male persistence in the evolving populations. As sex differences in immunity are widespread, such interference of opposing selective constraints is likely of central importance during host adaptation to a coevolving parasite. AU - El Masri, Leila AU - Schulte, Rebecca AU - Timmermeyer, Nadine AU - Thanisch, Stefanie AU - Crummenerl, Lena AU - Jansen, Gunther AU - Michiels, Nico AU - Schulenburg, Hinrich ID - 2846 IS - 4 JF - Ecology Letters TI - Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution VL - 16 ER - TY - JOUR AB - As soon as a seed germinates, plant growth relates to gravity to ensure that the root penetrates the soil and the shoot expands aerially. Whereas mechanisms of positive and negative orthogravitropism of primary roots and shoots are relatively well understood [1-3], lateral organs often show more complex growth behavior [4]. Lateral roots (LRs) seemingly suppress positive gravitropic growth and show a defined gravitropic set-point angle (GSA) that allows radial expansion of the root system (plagiotropism) [3, 4]. Despite its eminent importance for root architecture, it so far remains completely unknown how lateral organs partially suppress positive orthogravitropism. Here we show that the phytohormone auxin steers GSA formation and limits positive orthogravitropism in LR. Low and high auxin levels/signaling lead to radial or axial root systems, respectively. At a cellular level, it is the auxin transport-dependent regulation of asymmetric growth in the elongation zone that determines GSA. Our data suggest that strong repression of PIN4/PIN7 and transient PIN3 expression limit auxin redistribution in young LR columella cells. We conclude that PIN activity, by temporally limiting the asymmetric auxin fluxes in the tip of LRs, induces transient, differential growth responses in the elongation zone and, consequently, controls root architecture. AU - Rosquete, Michel AU - Von Wangenheim, Daniel AU - Marhavy, Peter AU - Barbez, Elke AU - Stelzer, Ernst AU - Benková, Eva AU - Maizel, Alexis AU - Kleine Vehn, Jürgen ID - 2844 IS - 9 JF - Current Biology TI - An auxin transport mechanism restricts positive orthogravitropism in lateral roots VL - 23 ER - TY - CONF AB - Mathematical objects can be measured unambiguously, but not so objects from our physical world. Even the total length of tubelike shapes has its difficulties. We introduce a combination of geometric, probabilistic, and topological methods to design a stable length estimate for tube-like shapes; that is: one that is insensitive to small shape changes. AU - Edelsbrunner, Herbert AU - Pausinger, Florian ID - 2843 T2 - 17th IAPR International Conference on Discrete Geometry for Computer Imagery TI - Stable length estimates of tube-like shapes VL - 7749 ER - TY - JOUR AB - At synapses formed between dissociated neurons, about half of all synaptic vesicles are refractory to evoked release, forming the so-called "resting pool." Here, we use optical measurements of vesicular pH to study developmental changes in pool partitioning and vesicle cycling in cultured hippocampal slices. Two-photon imaging of a genetically encoded two-color release sensor (ratio-sypHy) allowed us to perform calibrated measurements at individual Schaffer collateral boutons. Mature boutons released a large fraction of their vesicles during simulated place field activity, and vesicle retrieval rates were 7-fold higher compared to immature boutons. Saturating stimulation mobilized essentially all vesicles at mature synapses. Resting pool formation and a concomitant reduction in evoked release was induced by chronic depolarization but not by acute inhibition of the protein phosphatase calcineurin. We conclude that synapses in CA1 undergo a prominent refinement of vesicle use during early postnatal development that is not recapitulated in dissociated neuronal culture. AU - Rose, Tobias AU - Schönenberger, Philipp AU - Jezek, Karel AU - Oertner, Thomas ID - 2845 IS - 6 JF - Neuron TI - Developmental refinement of vesicle cycling at Schaffer collateral synapses VL - 77 ER - TY - JOUR AB - We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to a successor state. Two basic objectives are the safety objective to stay forever in a given set of states, and its dual, the reachability objective to reach a given set of states. First, we present a simple proof of the fact that in concurrent reachability games, for all ε>0, memoryless ε-optimal strategies exist. A memoryless strategy is independent of the history of plays, and an ε-optimal strategy achieves the objective with probability within ε of the value of the game. In contrast to previous proofs of this fact, our proof is more elementary and more combinatorial. Second, we present a strategy-improvement (a.k.a. policy-iteration) algorithm for concurrent games with reachability objectives. Finally, we present a strategy-improvement algorithm for turn-based stochastic games (where each player selects moves in turns) with safety objectives. Our algorithms yield sequences of player-1 strategies which ensure probabilities of winning that converge monotonically (from below) to the value of the game. © 2012 Elsevier Inc. AU - Chatterjee, Krishnendu AU - De Alfaro, Luca AU - Henzinger, Thomas A ID - 2854 IS - 5 JF - Journal of Computer and System Sciences TI - Strategy improvement for concurrent reachability and turn based stochastic safety games VL - 79 ER -