@article{10384, abstract = {Recent studies aimed at investigating artificial analogs of bacterial colonies have shown that low-density suspensions of self-propelled particles confined in two dimensions can assemble into finite aggregates that merge and split, but have a typical size that remains constant (living clusters). In this Letter, we address the problem of the formation of living clusters and crystals of active particles in three dimensions. We study two systems: self-propelled particles interacting via a generic attractive potential and colloids that can move toward each other as a result of active agents (e.g., by molecular motors). In both cases, fluidlike “living” clusters form. We explain this general feature in terms of the balance between active forces and regression to thermodynamic equilibrium. This balance can be quantified in terms of a dimensionless number that allows us to collapse the observed clustering behavior onto a universal curve. We also discuss how active motion affects the kinetics of crystal formation.}, author = {Mognetti, B. M. and Šarić, Anđela and Angioletti-Uberti, S. and Cacciuto, A. and Valeriani, C. and Frenkel, D.}, issn = {1079-7114}, journal = {Physical Review Letters}, keywords = {general physics and astronomy}, number = {24}, publisher = {American Physical Society}, title = {{Living clusters and crystals from low-density suspensions of active colloids}}, doi = {10.1103/physrevlett.111.245702}, volume = {111}, year = {2013}, } @article{10386, abstract = {In this paper we review recent numerical and theoretical developments of particle self-assembly on fluid and elastic membranes and compare them to available experimental realizations. We discuss the problem and its applications in biology and materials science, and give an overview of numerical models and strategies to study these systems across all length-scales. As this is a very broad field, this review focuses exclusively on surface-driven aggregation of nanoparticles that are at least one order of magnitude larger than the surface thickness and are adsorbed onto it. In this regime, all chemical details of the surface can be ignored in favor of a coarse-grained representation, and the collective behavior of many particles can be monitored and analyzed. We review the existing literature on how the mechanical properties and the geometry of the surface affect the structure of the particle aggregates and how these can drive shape deformation on the surface.}, author = {Šarić, Anđela and Cacciuto, Angelo}, issn = {1744-6848}, journal = {Soft Matter}, keywords = {condensed matter physics, general chemistry}, number = {29}, publisher = {Royal Society of Chemistry}, title = {{Self-assembly of nanoparticles adsorbed on fluid and elastic membranes}}, doi = {10.1039/c3sm50188d}, volume = {9}, year = {2013}, } @article{10385, abstract = {We show how self-assembly of sticky nanoparticles can drive radial collapse of thin-walled nanotubes. Using numerical simulations, we study the transition as a function of the geometric and elastic parameters of the nanotube and the binding strength of the nanoparticles. We find that it is possible to derive a simple scaling law relating all these parameters, and estimate bounds for the onset conditions leading to the collapse of the nanotube. We also study the reverse process – the nanoparticle release from the folded state – and find that the stability of the collapsed state can be greatly improved by increasing the bending rigidity of the nanotubes. Our results suggest ways to strengthen the mechanical properties of nanotubes, but also indicate that the control of nanoparticle self-assembly on these nanotubes can lead to nanoparticle-laden responsive materials.}, author = {Napoli, Joseph A. and Šarić, Anđela and Cacciuto, Angelo}, issn = {1744-6848}, journal = {Soft Matter}, keywords = {condensed matter physics, general chemistry}, number = {37}, pages = {8881--8886}, publisher = {Royal Society of Chemistry}, title = {{Collapsing nanoparticle-laden nanotubes}}, doi = {10.1039/c3sm51495a}, volume = {9}, year = {2013}, } @article{10396, abstract = {Stimfit is a free cross-platform software package for viewing and analyzing electrophysiological data. It supports most standard file types for cellular neurophysiology and other biomedical formats. Its analysis algorithms have been used and validated in several experimental laboratories. Its embedded Python scripting interface makes Stimfit highly extensible and customizable.}, author = {Schlögl, Alois and Jonas, Peter M and Schmidt-Hieber, C. and Guzman, S. J.}, issn = {1862-278X}, journal = {Biomedical Engineering / Biomedizinische Technik}, keywords = {biomedical engineering, data analysis, free software}, location = {Graz, Austria}, number = {SI-1-Track-G}, publisher = {De Gruyter}, title = {{Stimfit: A fast visualization and analysis environment for cellular neurophysiology}}, doi = {10.1515/bmt-2013-4181}, volume = {58}, year = {2013}, } @inproceedings{10749, abstract = {Fluxoid quantization provides a direct means to study phase coherence. In cuprate superconductors, there have been observations which suggest that phase coherent superconducting fluctuations may persist at temperatures significantly above Tc. The focus of this work is to study the vortex states in mesoscopic cuprate superconducting samples to directly probe phase coherence over a wide range of temperatures. We present cantilever torque susceptometry measurements of micron and sub-micron size Bi2212 rings and disks. The high sensitivity of this technique allowed observation of transitions between different fluxoid states of a single ring, and the discrete vortex states of micron size disks. The dependence of magnetic susceptibility on diameter and wall thickness of the ring was investigated. Measurements were made at different values of the in-plane magnetic field, and over a wide range of temperatures.}, author = {Polshyn, Hryhoriy and Budakian, Raffi and Gu, Genda}, booktitle = {APS March Meeting 2013}, issn = {0003-0503}, location = {Baltimore, MD, United States}, number = {1}, publisher = {American Physical Society}, title = {{Cantilever micro-susceptometry of mesoscopic Bi2212 samples}}, volume = {58}, year = {2013}, } @article{10895, abstract = {Due to their sessile lifestyles, plants need to deal with the limitations and stresses imposed by the changing environment. Plants cope with these by a remarkable developmental flexibility, which is embedded in their strategy to survive. Plants can adjust their size, shape and number of organs, bend according to gravity and light, and regenerate tissues that were damaged, utilizing a coordinating, intercellular signal, the plant hormone, auxin. Another versatile signal is the cation, Ca2+, which is a crucial second messenger for many rapid cellular processes during responses to a wide range of endogenous and environmental signals, such as hormones, light, drought stress and others. Auxin is a good candidate for one of these Ca2+-activating signals. However, the role of auxin-induced Ca2+ signaling is poorly understood. Here, we will provide an overview of possible developmental and physiological roles, as well as mechanisms underlying the interconnection of Ca2+ and auxin signaling. }, author = {Vanneste, Steffen and Friml, Jiří}, issn = {2223-7747}, journal = {Plants}, keywords = {Plant Science, Ecology, Ecology, Evolution, Behavior and Systematics}, number = {4}, pages = {650--675}, publisher = {MDPI}, title = {{Calcium: The missing link in auxin action}}, doi = {10.3390/plants2040650}, volume = {2}, year = {2013}, } @inproceedings{10898, abstract = {A prominent remedy to multicore scalability issues in concurrent data structure implementations is to relax the sequential specification of the data structure. We present distributed queues (DQ), a new family of relaxed concurrent queue implementations. DQs implement relaxed queues with linearizable emptiness check and either configurable or bounded out-of-order behavior or pool behavior. Our experiments show that DQs outperform and outscale in micro- and macrobenchmarks all strict and relaxed queue as well as pool implementations that we considered.}, author = {Haas, Andreas and Lippautz, Michael and Henzinger, Thomas A and Payer, Hannes and Sokolova, Ana and Kirsch, Christoph M. and Sezgin, Ali}, booktitle = {Proceedings of the ACM International Conference on Computing Frontiers - CF '13}, isbn = {978-145032053-5}, location = {Ischia, Italy}, number = {5}, publisher = {ACM Press}, title = {{Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation}}, doi = {10.1145/2482767.2482789}, year = {2013}, } @inbook{10899, author = {Barton, Nicholas H}, booktitle = {Encyclopedia of Biodiversity}, isbn = {978-0-12-384720-1}, keywords = {Adaptive landscape, Cline, Coalescent process, Gene flow, Hybrid zone, Local adaptation, Natural selection, Neutral theory, Population structure, Speciation}, pages = {508--515}, publisher = {Elsevier}, title = {{Differentiation}}, doi = {10.1016/b978-0-12-384719-5.00031-9}, year = {2013}, } @article{11086, abstract = {Faithful execution of developmental gene expression programs occurs at multiple levels and involves many different components such as transcription factors, histone-modification enzymes, and mRNA processing proteins. Recent evidence suggests that nucleoporins, well known components that control nucleo-cytoplasmic trafficking, have wide-ranging functions in developmental gene regulation that potentially extend beyond their role in nuclear transport. Whether the unexpected role of nuclear pore proteins in transcription regulation, which initially has been described in fungi and flies, also applies to human cells is unknown. Here we show at a genome-wide level that the nuclear pore protein NUP98 associates with developmentally regulated genes active during human embryonic stem cell differentiation. Overexpression of a dominant negative fragment of NUP98 levels decreases expression levels of NUP98-bound genes. In addition, we identify two modes of developmental gene regulation by NUP98 that are differentiated by the spatial localization of NUP98 target genes. Genes in the initial stage of developmental induction can associate with NUP98 that is embedded in the nuclear pores at the nuclear periphery. Alternatively, genes that are highly induced can interact with NUP98 in the nuclear interior, away from the nuclear pores. This work demonstrates for the first time that NUP98 dynamically associates with the human genome during differentiation, revealing a role of a nuclear pore protein in regulating developmental gene expression programs.}, author = {Liang, Yun and Franks, Tobias M. and Marchetto, Maria C. and Gage, Fred H. and HETZER, Martin W}, issn = {1553-7404}, journal = {PLoS Genetics}, keywords = {Cancer Research, Genetics (clinical), Genetics, Molecular Biology, Ecology, Evolution, Behavior and Systematics}, number = {2}, publisher = {Public Library of Science}, title = {{Dynamic association of NUP98 with the human genome}}, doi = {10.1371/journal.pgen.1003308}, volume = {9}, year = {2013}, } @article{11087, abstract = {Intracellular proteins with long lifespans have recently been linked to age-dependent defects, ranging from decreased fertility to the functional decline of neurons. Why long-lived proteins exist in metabolically active cellular environments and how they are maintained over time remains poorly understood. Here, we provide a system-wide identification of proteins with exceptional lifespans in the rat brain. These proteins are inefficiently replenished despite being translated robustly throughout adulthood. Using nucleoporins as a paradigm for long-term protein persistence, we found that nuclear pore complexes (NPCs) are maintained over a cell’s life through slow but finite exchange of even its most stable subcomplexes. This maintenance is limited, however, as some nucleoporin levels decrease during aging, providing a rationale for the previously observed age-dependent deterioration of NPC function. Our identification of a long-lived proteome reveals cellular components that are at increased risk for damage accumulation, linking long-term protein persistence to the cellular aging process.}, author = {Toyama, Brandon H. and Savas, Jeffrey N. and Park, Sung Kyu and Harris, Michael S. and Ingolia, Nicholas T. and Yates, John R. and HETZER, Martin W}, issn = {0092-8674}, journal = {Cell}, keywords = {General Biochemistry, Genetics and Molecular Biology}, number = {5}, pages = {971--982}, publisher = {Elsevier}, title = {{Identification of long-lived proteins reveals exceptional stability of essential cellular structures}}, doi = {10.1016/j.cell.2013.07.037}, volume = {154}, year = {2013}, } @article{11085, abstract = {During mitotic exit, missegregated chromosomes can recruit their own nuclear envelope (NE) to form micronuclei (MN). MN have reduced functioning compared to primary nuclei in the same cell, although the two compartments appear to be structurally comparable. Here we show that over 60% of MN undergo an irreversible loss of compartmentalization during interphase due to NE collapse. This disruption of the MN, which is induced by defects in nuclear lamina assembly, drastically reduces nuclear functions and can trigger massive DNA damage. MN disruption is associated with chromatin compaction and invasion of endoplasmic reticulum (ER) tubules into the chromatin. We identified disrupted MN in both major subtypes of human non-small-cell lung cancer, suggesting that disrupted MN could be a useful objective biomarker for genomic instability in solid tumors. Our study shows that NE collapse is a key event underlying MN dysfunction and establishes a link between aberrant NE organization and aneuploidy.}, author = {Hatch, Emily M. and Fischer, Andrew H. and Deerinck, Thomas J. and HETZER, Martin W}, issn = {0092-8674}, journal = {Cell}, keywords = {General Biochemistry, Genetics and Molecular Biology}, number = {1}, pages = {47--60}, publisher = {Elsevier}, title = {{Catastrophic nuclear envelope collapse in cancer cell micronuclei}}, doi = {10.1016/j.cell.2013.06.007}, volume = {154}, year = {2013}, } @article{11088, abstract = {The crowded intracellular environment poses a formidable challenge to experimental and theoretical analyses of intracellular transport mechanisms. Our measurements of single-particle trajectories in cytoplasm and their random-walk interpretations elucidate two of these mechanisms: molecular diffusion in crowded environments and cytoskeletal transport along microtubules. We employed acousto-optic deflector microscopy to map out the three-dimensional trajectories of microspheres migrating in the cytosolic fraction of a cellular extract. Classical Brownian motion (BM), continuous time random walk, and fractional BM were alternatively used to represent these trajectories. The comparison of the experimental and numerical data demonstrates that cytoskeletal transport along microtubules and diffusion in the cytosolic fraction exhibit anomalous (nonFickian) behavior and posses statistically distinct signatures. Among the three random-walk models used, continuous time random walk provides the best representation of diffusion, whereas microtubular transport is accurately modeled with fractional BM.}, author = {Regner, Benjamin M. and Vučinić, Dejan and Domnisoru, Cristina and Bartol, Thomas M. and HETZER, Martin W and Tartakovsky, Daniel M. and Sejnowski, Terrence J.}, issn = {0006-3495}, journal = {Biophysical Journal}, keywords = {Biophysics}, number = {8}, pages = {1652--1660}, publisher = {Elsevier}, title = {{Anomalous diffusion of single particles in cytoplasm}}, doi = {10.1016/j.bpj.2013.01.049}, volume = {104}, year = {2013}, } @article{11083, abstract = {Nuclear pore complex (NPC) proteins are known for their critical roles in regulating nucleocytoplasmic traffic of macromolecules across the nuclear envelope. However, recent findings suggest that some nucleoporins (Nups), including Nup98, have additional functions in developmental gene regulation. Nup98, which exhibits transcription-dependent mobility at the NPC but can also bind chromatin away from the nuclear envelope, is frequently involved in chromosomal translocations in a subset of patients suffering from acute myeloid leukemia (AML). A common paradigm suggests that Nup98 translocations cause aberrant transcription when they are recuited to aberrant genomic loci. Importantly, this model fails to account for the potential loss of wild type (WT) Nup98 function in the presence of Nup98 translocation mutants. Here we examine how the cell might regulate Nup98 nucleoplasmic protein levels to control transcription in healthy cells. In addition, we discuss the possibility that dominant negative Nup98 fusion proteins disrupt the transcriptional activity of WT Nup98 in the nucleoplasm to drive AML.}, author = {Franks, Tobias M. and HETZER, Martin W}, issn = {0962-8924}, journal = {Trends in Cell Biology}, keywords = {Cell Biology}, number = {3}, pages = {112--117}, publisher = {Elsevier}, title = {{The role of Nup98 in transcription regulation in healthy and diseased cells}}, doi = {10.1016/j.tcb.2012.10.013}, volume = {23}, year = {2013}, } @article{11084, abstract = {Protein turnover is an effective way of maintaining a functional proteome, as old and potentially damaged polypeptides are destroyed and replaced by newly synthesized copies. An increasing number of intracellular proteins, however, have been identified that evade this turnover process and instead are maintained over a cell's lifetime. This diverse group of long-lived proteins might be particularly prone to accumulation of damage and thus have a crucial role in the functional deterioration of key regulatory processes during ageing.}, author = {Toyama, Brandon H. and HETZER, Martin W}, issn = {1471-0072}, journal = {Nature Reviews Molecular Cell Biology}, keywords = {Cell Biology, Molecular Biology}, pages = {55--61}, publisher = {Springer Nature}, title = {{Protein homeostasis: Live long, won't prosper}}, doi = {10.1038/nrm3496}, volume = {14}, year = {2013}, } @article{115, abstract = {We present the design and performance characterization of a new experimental technique for measuring individual particle charges in large ensembles of macroscopic grains. The measurement principle is qualitatively similar to that used in determining the elementary charge by Millikan in that it follows individual particle trajectories. However, by taking advantage of new technology we are able to work with macroscopic grains and achieve several orders of magnitude better resolution in charge to mass ratios. By observing freely falling grains accelerated in a horizontal electric field with a co-falling, high-speed video camera, we dramatically increase particle tracking time and measurement precision. Keeping the granular medium under vacuum, we eliminate air drag, leaving the electrostatic force as the primary source of particle accelerations in the co-moving frame. Because the technique is based on direct imaging, we can distinguish between different particle types during the experiment, opening up the possibility of studying charge transfer processes between different particle species. For the ∼300 μm diameter grains reported here, we achieve an average acceleration resolution of ∼0.008 m/s2, a force resolution of ∼500 pN, and a median charge resolution ∼6× 104 elementary charges per grain (corresponding to surface charge densities ∼1 elementary charges per μm2). The primary source of error is indeterminacy in the grain mass, but with higher resolution cameras and better optics this can be further improved. The high degree of resolution and the ability to visually identify particles of different species or sizes with direct imaging make this a powerful new tool to characterize charging processes in granular media.}, author = {Waitukaitis, Scott R and Jaeger, Heinrich}, journal = {Review of Scientific Instruments}, number = {2}, publisher = {AIP}, title = {{In situ granular charge measurement by free-fall videography}}, doi = {10.1063/1.4789496}, volume = {84}, year = {2013}, } @article{11520, abstract = {We present the spatially resolved Hα dynamics of 16 star-forming galaxies at z ∼ 0.81 using the new KMOS multi-object integral field spectrograph on the ESO Very Large Telescope. These galaxies, selected using 1.18 μm narrowband imaging from the 10 deg2 CFHT-HiZELS survey of the SA 22 hr field, are found in a ∼4 Mpc overdensity of Hα emitters and likely reside in a group/intermediate environment, but not a cluster. We confirm and identify a rich group of star-forming galaxies at z = 0.813 ± 0.003, with 13 galaxies within 1000 km s−1 of each other, and seven within a diameter of 3 Mpc. All of our galaxies are “typical” star-forming galaxies at their redshift, 0.8 ± 0.4 SFR$^*_{z = 0.8}$, spanning a range of specific star formation rates (sSFRs) of 0.2–1.1 Gyr−1 and have a median metallicity very close to solar of 12 + log(O/H) = 8.62 ± 0.06. We measure the spatially resolved Hα dynamics of the galaxies in our sample and show that 13 out of 16 galaxies can be described by rotating disks and use the data to derive inclination corrected rotation speeds of 50–275 km s−1. The fraction of disks within our sample is 75% ± 8%, consistent with previous results based on Hubble Space Telescope morphologies of Hα-selected galaxies at z ∼ 1 and confirming that disks dominate the SFR density at z ∼ 1. Our Hα galaxies are well fitted by the z ∼ 1–2 Tully–Fisher (TF) relation, confirming the evolution seen in the zero point. Apart from having, on average, higher stellar masses and lower sSFRs, our group galaxies at z = 0.81 present the same mass–metallicity and TF relation as z ∼ 1 field galaxies and are all disk galaxies.}, author = {Sobral, D. and Swinbank, A. M. and Stott, J. P. and Matthee, Jorryt J and Bower, R. G. and Smail, Ian and Best, P. and Geach, J. E. and Sharples, R. M.}, issn = {1538-4357}, journal = {The Astrophysical Journal}, keywords = {Space and Planetary Science, Astronomy and Astrophysics, galaxies: evolution – galaxies, high-redshift – galaxies, starburst}, number = {2}, publisher = {IOP Publishing}, title = {{The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS}}, doi = {10.1088/0004-637x/779/2/139}, volume = {779}, year = {2013}, } @article{116, abstract = {We describe a model experiment for dynamic jamming: a two-dimensional collection of initially unjammed disks that are forced into the jammed state by uniaxial compression via a rake. This leads to a stable densification front that travels ahead of the rake, leaving regions behind it jammed. Using disk conservation in conjunction with an upper limit to the packing fraction at jamming onset, we predict the front speed as a function of packing fraction and rake speed. However, we find that the jamming front has a finite width, a feature that cannot be explained by disk conservation alone. This width appears to diverge on approach to jamming, which suggests that it may be related to growing lengthscales encountered in other jamming studies.}, author = {Waitukaitis, Scott R and Roth, Leah and Vitelli, Vincenzo and Jaeger, Heinrich}, journal = {EPL}, number = {4}, publisher = {Elsevier}, title = {{Dynamic jamming fronts}}, doi = {10.1209/0295-5075/102/44001}, volume = {102}, year = {2013}, } @article{11671, abstract = {Given only the URL of a Web page, can we identify its language? In this article we examine this question. URL-based language classification is useful when the content of the Web page is not available or downloading the content is a waste of bandwidth and time. We built URL-based language classifiers for English, German, French, Spanish, and Italian by applying a variety of algorithms and features. As algorithms we used machine learning algorithms which are widely applied for text classification and state-of-art algorithms for language identification of text. As features we used words, various sized n-grams, and custom-made features (our novel feature set). We compared our approaches with two baseline methods, namely classification by country code top-level domains and classification by IP addresses of the hosting Web servers. We trained and tested our classifiers in a 10-fold cross-validation setup on a dataset obtained from the Open Directory Project and from querying a commercial search engine. We obtained the lowest F1-measure for English (94) and the highest F1-measure for German (98) with the best performing classifiers. We also evaluated the performance of our methods: (i) on a set of Web pages written in Adobe Flash and (ii) as part of a language-focused crawler. In the first case, the content of the Web page is hard to extract and in the second page downloading pages of the “wrong” language constitutes a waste of bandwidth. In both settings the best classifiers have a high accuracy with an F1-measure between 95 (for English) and 98 (for Italian) for the Adobe Flash pages and a precision between 90 (for Italian) and 97 (for French) for the language-focused crawler.}, author = {Baykan, Eda and Weber, Ingmar and Henzinger, Monika H}, issn = {1559-114X}, journal = {ACM Transactions on the Web}, keywords = {Computer Networks and Communications}, number = {1}, publisher = {Association for Computing Machinery}, title = {{A comprehensive study of techniques for URL-based web page language classification}}, doi = {10.1145/2435215.2435218}, volume = {7}, year = {2013}, } @inproceedings{117, abstract = {The packing arrangement of individual particles inside a granular material and the resulting response to applied stresses depend critically on particle-particle interactions. One aspect that recently received attention are nanoscale surface features of particles, which play an important role in determining the strength of cohesive van der Waals and capillary interactions and also affect tribo-charging of grains. We describe experiments on freely falling granular streams that can detect the contributions from all three of these forces. We show that it is possible to measure the charge of individual grains and build up distributions that are detailed enough to provide stringent tests of tribo-charging models currently available. A second aspect concerns particle shape. In this case steric interactions become important and new types of aggregate behavior can be expected when non-convex particle shapes are considered that can interlock or entangle. However, a general connection between the mechanical response of a granular material and the constituents\' shape remains unknown. This has made it infeasible to tackle the "inverse packing problem", namely to start from a given, desired behavior for the aggregate as a whole and then find the particle shape the produces it. We discuss a new approach, using concepts rooted in artificial evolution that provides a way to solve this inverse problem. This approach facilitates exploring the role of arbitrary particle geometry in jammed systems and invites the discovery and design of granular matter with optimized properties.}, author = {Jaeger, Heinrich and Miskin, Marc and Waitukaitis, Scott R}, booktitle = { AIP Conference Proceedings}, location = {Sydney, Australia}, pages = {3 -- 6}, publisher = {AIP}, title = {{From nanoscale cohesion to macroscale entanglement: opportunities for designing granular aggregate behaviour by tailoring grain shape and interactions}}, doi = {10.1063/1.4811858}, volume = {1542}, year = {2013}, } @article{11759, abstract = {Matching markets play a prominent role in economic theory. A prime example of such a market is the sponsored search market. Here, as in other markets of that kind, market equilibria correspond to feasible, envy free, and bidder optimal outcomes. For settings without budgets such an outcome always exists and can be computed in polynomial-time by the so-called Hungarian Method. Moreover, every mechanism that computes such an outcome is incentive compatible. We show that the Hungarian Method can be modified so that it finds a feasible, envy free, and bidder optimal outcome for settings with budgets. We also show that in settings with budgets no mechanism that computes such an outcome can be incentive compatible for all inputs. For inputs in general position, however, the presented mechanism—as any other mechanism that computes such an outcome for settings with budgets—is incentive compatible.}, author = {Dütting, Paul and Henzinger, Monika H and Weber, Ingmar}, issn = {0020-0190}, journal = {Information Processing Letters}, number = {3}, pages = {67--73}, publisher = {Elsevier}, title = {{Sponsored search, market equilibria, and the Hungarian Method}}, doi = {10.1016/j.ipl.2012.11.006}, volume = {113}, year = {2013}, } @inproceedings{11793, abstract = {We study the problem of maintaining a breadth-first spanning tree (BFS tree) in partially dynamic distributed networks modeling a sequence of either failures or additions of communication links (but not both). We show (1 + ε)-approximation algorithms whose amortized time (over some number of link changes) is sublinear in D, the maximum diameter of the network. This breaks the Θ(D) time bound of recomputing “from scratch”. Our technique also leads to a (1 + ε)-approximate incremental algorithm for single-source shortest paths (SSSP) in the sequential (usual RAM) model. Prior to our work, the state of the art was the classic exact algorithm of [9] that is optimal under some assumptions [27]. Our result is the first to show that, in the incremental setting, this bound can be beaten in certain cases if a small approximation is allowed.}, author = {Henzinger, Monika H and Krinninger, Sebastian and Nanongkai, Danupon}, booktitle = {40th International Colloquium on Automata, Languages, and Programming}, isbn = {9783642392115}, issn = {1611-3349}, location = {Riga, Latvia}, pages = {607–619}, publisher = {Springer Nature}, title = {{Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks}}, doi = {10.1007/978-3-642-39212-2_53}, volume = {7966}, year = {2013}, } @inproceedings{11791, abstract = {The focus of classic mechanism design has been on truthful direct-revelation mechanisms. In the context of combinatorial auctions the truthful direct-revelation mechanism that maximizes social welfare is the VCG mechanism. For many valuation spaces computing the allocation and payments of the VCG mechanism, however, is a computationally hard problem. We thus study the performance of the VCG mechanism when bidders are forced to choose bids from a subspace of the valuation space for which the VCG outcome can be computed efficiently. We prove improved upper bounds on the welfare loss for restrictions to additive bids and upper and lower bounds for restrictions to non-additive bids. These bounds show that the welfare loss increases in expressiveness. All our bounds apply to equilibrium concepts that can be computed in polynomial time as well as to learning outcomes.}, author = {Dütting, Paul and Henzinger, Monika H and Starnberger, Martin}, booktitle = {9th International Conference on Web and Internet Economics}, isbn = {9783642450457}, issn = {1611-3349}, location = {Cambridge, MA, USA}, pages = {146–159}, publisher = {Springer Nature}, title = {{Valuation compressions in VCG-based combinatorial auctions}}, doi = {10.1007/978-3-642-45046-4_13}, volume = {8289}, year = {2013}, } @inproceedings{11792, abstract = {We study the problem of maximizing a monotone submodular function with viability constraints. This problem originates from computational biology, where we are given a phylogenetic tree over a set of species and a directed graph, the so-called food web, encoding viability constraints between these species. These food webs usually have constant depth. The goal is to select a subset of k species that satisfies the viability constraints and has maximal phylogenetic diversity. As this problem is known to be NP-hard, we investigate approximation algorithm. We present the first constant factor approximation algorithm if the depth is constant. Its approximation ratio is (1−1𝑒√). This algorithm not only applies to phylogenetic trees with viability constraints but for arbitrary monotone submodular set functions with viability constraints. Second, we show that there is no (1 − 1/e + ε)-approximation algorithm for our problem setting (even for additive functions) and that there is no approximation algorithm for a slight extension of this setting.}, author = {Dvořák, Wolfgang and Henzinger, Monika H and Williamson, David P.}, booktitle = {21st Annual European Symposium on Algorithms}, isbn = {9783642404498}, issn = {1611-3349}, location = {Sophia Antipolis, France}, pages = {409 -- 420}, publisher = {Springer Nature}, title = {{Maximizing a submodular function with viability constraints}}, doi = {10.1007/978-3-642-40450-4_35}, volume = {8125}, year = {2013}, } @inproceedings{11856, abstract = {We study dynamic (1 + ϵ)-approximation algorithms for the all-pairs shortest paths problem in unweighted undirected n-node m-edge graphs under edge deletions. The fastest algorithm for this problem is a randomized algorithm with a total update time of Ȏ(mn) and constant query time by Roditty and Zwick (FOCS 2004). The fastest deterministic algorithm is from a 1981 paper by Even and Shiloach (JACM 1981); it has a total update time of O(mn 2 ) and constant query time. We improve these results as follows: (1) We present an algorithm with a total update time of Ȏ(n 5/2 ) and constant query time that has an additive error of two in addition to the 1 + ϵ multiplicative error. This beats the previous Ȏ(mn) time when m = Ω(n 3/2 ). Note that the additive error is unavoidable since, even in the static case, an O(n 3-δ )-time (a so-called truly sub cubic) combinatorial algorithm with 1 + ϵ multiplicative error cannot have an additive error less than 2 - ϵ, unless we make a major breakthrough for Boolean matrix multiplication (Dor, Halperin and Zwick FOCS 1996) and many other long-standing problems (Vassilevska Williams and Williams FOCS 2010). The algorithm can also be turned into a (2 + ϵ)-approximation algorithm (without an additive error) with the same time guarantees, improving the recent (3 + ϵ)-approximation algorithm with Ȏ(n 5/2+O(1√(log n)) ) running time of Bernstein and Roditty (SODA 2011) in terms of both approximation and time guarantees. (2) We present a deterministic algorithm with a total update time of Ȏ(mn) and a query time of O(log log n). The algorithm has a multiplicative error of 1 + ϵ and gives the first improved deterministic algorithm since 1981. It also answers an open question raised by Bernstein in his STOC 2013 paper. In order to achieve our results, we introduce two new techniques: (1) A lazy Even-Shiloach tree algorithm which maintains a bounded-distance shortest-paths tree on a certain type of emulator called locally persevering emulator. (2) A derandomization technique based on moving Even-Shiloach trees as a way to derandomize the standard random set argument. These techniques might be of independent interest.}, author = {Henzinger, Monika H and Krinninger, Sebastian and Nanongkai, Danupon}, booktitle = {54th Annual Symposium on Foundations of Computer Science}, issn = {0272-5428}, location = {Berkeley, CA, United States}, pages = {538--547}, publisher = {Institute of Electrical and Electronics Engineers}, title = {{Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization}}, doi = {10.1109/focs.2013.64}, year = {2013}, } @article{11902, abstract = {We study the problem of matching bidders to items where each bidder i has general, strictly monotonic utility functions ui,j(pj) expressing his utility of being matched to item j at price pj. For this setting we prove that a bidder optimal outcome always exists, even when the utility functions are non-linear and non-continuous. We give sufficient conditions under which every mechanism that finds a bidder optimal outcome is incentive compatible. We also give a mechanism that finds a bidder optimal outcome if the conditions for incentive compatibility are satisfied. The running time of this mechanism is exponential in the number of items, but polynomial in the number of bidders.}, author = {Dütting, Paul and Henzinger, Monika H and Weber, Ingmar}, issn = {0304-3975}, journal = {Theoretical Computer Science}, number = {3}, pages = {22--32}, publisher = {Elsevier}, title = {{Bidder optimal assignments for general utilities}}, doi = {10.1016/j.tcs.2013.01.030}, volume = {478}, year = {2013}, } @article{11959, abstract = {No catalyst required! A highly efficient, catalyst-free process to generate diimide in situ from hydrazine monohydrate and molecular oxygen for the selective reduction of alkenes has been developed. The use of a gas–liquid segmented flow system allowed safe operating conditions and dramatically enhanced this atom-economical reaction, resulting in short processing times.}, author = {Pieber, Bartholomäus and Martinez, Sabrina Teixeira and Cantillo, David and Kappe, C. Oliver}, issn = {1521-3773}, journal = {Angewandte Chemie International Edition}, number = {39}, pages = {10241--10244}, publisher = {Wiley}, title = {{In situ generation of diimide from hydrazine and oxygen: Continuous-flow transfer hydrogenation of olefins}}, doi = {10.1002/anie.201303528}, volume = {52}, year = {2013}, } @article{11960, abstract = {It's not magic! The effects observed in microwave-irradiated chemical transformations can in most cases be rationalized by purely bulk thermal phenomena associated with rapid heating to elevated temperatures. As discussed in this Essay, the existence of so-called nonthermal or specific microwave effects is highly doubtful.}, author = {Kappe, C. Oliver and Pieber, Bartholomäus and Dallinger, Doris}, issn = {1521-3773}, journal = {Angewandte Chemie International Edition}, number = {4}, pages = {1088--1094}, publisher = {Wiley}, title = {{Microwave effects in organic synthesis: Myth or reality?}}, doi = {10.1002/anie.201204103}, volume = {52}, year = {2013}, } @article{11973, abstract = {The use of high-temperature/pressure gas–liquid continuous flow conditions dramatically enhances the iron-catalyzed aerobic oxidation of 2-benzylpyridines to their corresponding ketones. Pressurized air serves as a readily available oxygen source and propylene carbonate as a green solvent in this radically intensified preparation of synthetically valuable 2-aroylpyridines.}, author = {Pieber, Bartholomäus and Kappe, C. Oliver}, issn = {1463-9270}, journal = {Green Chemistry}, number = {2}, pages = {320--324}, publisher = {Royal Society of Chemistry}, title = {{Direct aerobic oxidation of 2-benzylpyridines in a gas-liquid continuous-flow regime using propylene carbonate as a solvent}}, doi = {10.1039/c2gc36896j}, volume = {15}, year = {2013}, } @article{12642, abstract = {Near-surface air temperature, typically measured at a height of 2 m, is the most important control on the energy exchange and the melt rate at a snow or ice surface. It is distributed in a simplistic manner in most glacier melt models by using constant linear lapse rates, which poorly represent the actual spatial and temporal variability of air temperature. In this paper, we test a simple thermodynamic model proposed by Greuell and Böhm in 1998 as an alternative, using a new dataset of air temperature measurements from along the flowline of Haut Glacier d’Arolla, Switzerland. The unmodified model performs little better than assuming a constant linear lapse rate. When modified to allow the ratio of the boundary layer height to the bulk heat transfer coefficient to vary along the flowline, the model matches measured air temperatures better, and a further reduction of the root-mean-square error is obtained, although there is still considerable scope for improvement. The modified model is shown to perform best under conditions favourable to the development of katabatic winds – few clouds, positive ambient air temperature, limited influence of synoptic or valley winds and a long fetch – but its performance is poor under cloudy conditions.}, author = {Petersen, Lene and Pellicciotti, Francesca and Juszak, Inge and Carenzo, Marco and Brock, Ben}, issn = {1727-5644}, journal = {Annals of Glaciology}, keywords = {Earth-Surface Processes}, number = {63}, pages = {120--130}, publisher = {International Glaciological Society}, title = {{Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative}}, doi = {10.3189/2013aog63a477}, volume = {54}, year = {2013}, } @article{12643, abstract = {Parameterizations of incoming longwave radiation are increasingly receiving attention for both low and high elevation glacierized sites. In this paper, we test 13 clear-sky parameterizations combined with seven cloud corrections for all-sky atmospheric emissivity at one location on Haut Glacier d'Arolla. We also analyze the four seasons separately and conduct a cross-validation to test the parameters’ robustness. The best parameterization is the one by Dilley and O'Brien, B for clear-sky conditions combined with Unsworth and Monteith cloud correction. This model is also the most robust when tested in cross-validation. When validated at different sites in the southern Alps of Switzerland and north-western Italian Alps, all parameterizations show a substantial decrease in performance, except for one site, thus suggesting that it is important to recalibrate parameterizations of incoming longwave radiation for different locations. We argue that this is due to differences in the structure of the atmosphere at the sites. We also quantify the effect that the incoming longwave radiation parameterizations have on energy-balance melt modeling, and show that recalibration of model parameters is needed. Using parameters from other sites leads to a significant underestimation of melt and to an error that is larger than that associated with using different parameterizations. Once recalibrated, however, the parameters of most models seem to be stable over seasons and years at the location on Haut Glacier d'Arolla.}, author = {Juszak, I. and Pellicciotti, Francesca}, issn = {2169-897X}, journal = {Journal of Geophysical Research: Atmospheres}, keywords = {Space and Planetary Science, Earth and Planetary Sciences (miscellaneous), Atmospheric Science, Geophysics}, number = {8}, pages = {3066--3084}, publisher = {American Geophysical Union}, title = {{A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability}}, doi = {10.1002/jgrd.50277}, volume = {118}, year = {2013}, } @article{12640, abstract = {Greater Himalayan glaciers are retreating and losing mass at rates comparable to glaciers in other regions of the world1,2,3,4,5. Assessments of future changes and their associated hydrological impacts are scarce, oversimplify glacier dynamics or include a limited number of climate models6,7,8,9. Here, we use results from the latest ensemble of climate models in combination with a high-resolution glacio-hydrological model to assess the hydrological impact of climate change on two climatically contrasting watersheds in the Greater Himalaya, the Baltoro and Langtang watersheds that drain into the Indus and Ganges rivers, respectively. We show that the largest uncertainty in future runoff is a result of variations in projected precipitation between climate models. In both watersheds, strong, but highly variable, increases in future runoff are projected and, despite the different characteristics of the watersheds, their responses are surprisingly similar. In both cases, glaciers will recede but net glacier melt runoff is on a rising limb at least until 2050. In combination with a positive change in precipitation, water availability during this century is not likely to decline. We conclude that river basins that depend on monsoon rains and glacier melt will continue to sustain the increasing water demands expected in these areas10.}, author = {Immerzeel, W. W. and Pellicciotti, Francesca and Bierkens, M. F. P.}, issn = {1752-0908}, journal = {Nature Geoscience}, keywords = {General Earth and Planetary Sciences}, number = {9}, pages = {742--745}, publisher = {Springer Nature}, title = {{Rising river flows throughout the twenty-first century in two Himalayan glacierized watersheds}}, doi = {10.1038/ngeo1896}, volume = {6}, year = {2013}, } @article{12641, abstract = {We investigate the sensitivity of a distributed enhanced temperature-index (ETI) melt model, in order to understand which parameters have the largest influence on model outputs and thus need to be accurately known. We use melt and meteorological data from two Alpine glaciers and one glacier in the Andes of Chile. Sensitivity analysis is conducted in a systematic way in terms of parameters and the different conditions (day, night, clear-sky, overcast), melt seasons and glaciers examined. The sensitivity of total melt to changes in individual parameters is calculated using a local method around the optimal value of the parameters. We verify that the parameters are optimal at the distributed scale and assess the model uncertainty induced by uncertainty in the parameters using a Monte Carlo technique. Model sensitivity to parameters is consistent across melt seasons, glaciers, different conditions and the daily statistics examined. The parameters to which the model is most sensitive are the shortwave-radiation factor, the temperature lapse rate for extrapolation of air temperature, the albedo parameters, the temperature threshold and the cloud transmittance factor parameters. A parameter uncertainty of 5% results in a model uncertainty of 5.6% of mean melt on Haut Glacier d’Arolla, Switzerland.}, author = {Heynen, Martin and Pellicciotti, Francesca and Carenzo, Marco}, issn = {1727-5644}, journal = {Annals of Glaciology}, number = {63}, pages = {311--321}, publisher = {International Glaciological Society}, title = {{Parameter sensitivity of a distributed enhanced temperature-index melt model}}, doi = {10.3189/2013aog63a537}, volume = {54}, year = {2013}, } @article{1304, abstract = {When confronted with a large-field stimulus rotating around the vertical body axis, flies display a following behavior called "optomotor response." As neural control elements, the large tangential horizontal system (HS) cells of the lobula plate have been prime candidates for long. Here, we applied optogenetic stimulation of HS cells to evaluate their behavioral role in Drosophila. To minimize interference of the optical activation of channelrhodopsin-2 with the visual perception of the flies, we used a bistable variant called ChR2-C128S. By applying pulses of blue and yellow light, we first demonstrate electrophysiologically that lobula plate tangential cells can be activated and deactivated repeatedly with no evident change in depolarization strength over trials. We next show that selective optogenetic activation of HS cells elicits robust yaw head movements and yaw turning responses in fixed and tethered flying flies, respectively.}, author = {Haikala, Väinö and Maximilian Jösch and Borst, Alexander and Mauss, Alex S}, journal = {Journal of Neuroscience}, number = {34}, pages = {13927 -- 13934}, publisher = {Society for Neuroscience}, title = {{Optogenetic control of fly optomotor responses}}, doi = {10.1523/JNEUROSCI.0340-13.2013}, volume = {33}, year = {2013}, } @article{1305, abstract = {In the fly Drosophila melanogaster, photoreceptor input to motion vision is split into two parallel pathways as represented by first-order interneurons L1 and L2 (Rister et al., 2007; Joesch et al., 2010). However, how these pathways are functionally specialized remains controversial. One study (Eichner et al., 2011) proposed that the L1-pathway evaluates only sequences of brightness increments (ON-ON), while the L2-pathway processes exclusively brightness decrements (OFF-OFF). Another study (Clark et al., 2011) proposed that each of the two pathways evaluates both ON-ON and OFF-OFF sequences. To decide between these alternatives, we recorded from motionsensitive neurons in flies in which the output from either L1 or L2 was genetically blocked. We found that blocking L1 abolishes ON-ON responses but leaves OFF-OFF responses intact. The opposite was true, when the output from L2 was blocked. We conclude that the L1 and L2 pathways are functionally specialized to detect ON-ON and OFF-OFF sequences, respectively.}, author = {Maximilian Jösch and Weber, Franz and Eichner, Hubert and Borst, Alexander}, journal = {Journal of Neuroscience}, number = {3}, pages = {902 -- 905}, publisher = {Society for Neuroscience}, title = {{Functional specialization of parallel motion detection circuits in the fly}}, doi = {10.1523/JNEUROSCI.3374-12.2013}, volume = {33}, year = {2013}, } @article{1308, abstract = {We derive sufficient conditions for advection-driven backward motion of the free boundary in a chemotaxis model with degenerate mobility. In this model, a porous-medium-type diffusive term and an advection term are in competition. The former induces forward motion, the latter may induce backward motion of the free boundary depending on the direction of advection. We deduce conditions on the growth of the initial data at the free boundary which ensure that at least initially the advection term is dominant. This implies local backward motion of the free boundary provided the advection is (locally) directed appropriately. Our result is based on a new class of moving test functions and Stampacchia's lemma. As a by-product of our estimates, we obtain quantitative bounds on the spreading of the support of solutions for the chemotaxis model and provide a proof for the finite speed of the support propagation property of solutions.}, author = {Julian Fischer}, journal = {SIAM Journal on Mathematical Analysis}, number = {3}, pages = {1585 -- 1615}, publisher = {Society for Industrial and Applied Mathematics }, title = {{Advection-driven support shrinking in a chemotaxis model with degenerate mobility}}, doi = {10.1137/120874291}, volume = {45}, year = {2013}, } @article{1307, abstract = {We prove uniqueness of solutions of the DLSS equation in a class of sufficiently regular functions. The global weak solutions of the DLSS equation constructed by Jüngel and Matthes belong to this class of uniqueness. We also show uniqueness of solutions for the quantum drift-diffusion equation, which contains additional drift and second-order diffusion terms. The results hold in case of periodic or Dirichlet-Neumann boundary conditions. Our proof is based on a monotonicity property of the DLSS operator and sophisticated approximation arguments; we derive a PDE satisfied by the pointwise square root of the solution, which enables us to exploit the monotonicity property of the operator.}, author = {Julian Fischer}, journal = {Communications in Partial Differential Equations}, number = {11}, pages = {2004 -- 2047}, publisher = {Taylor & Francis}, title = {{Uniqueness of solutions of the Derrida-Lebowitz-Speer-Spohn equation and quantum drift diffusion models}}, doi = {10.1080/03605302.2013.823548}, volume = {38}, year = {2013}, } @article{1310, abstract = {We derive lower bounds on asymptotic support propagation rates for strong solutions of the Cauchy problem for the thin-film equation. The bounds coincide up to a constant factor with the previously known upper bounds and thus are sharp. Our results hold in case of at most three spatial dimensions and n∈. (1, 2.92). The result is established using weighted backward entropy inequalities with singular weight functions to yield a differential inequality; combined with some entropy production estimates, the optimal rate of propagation is obtained. To the best of our knowledge, these are the first lower bounds on asymptotic support propagation rates for higher-order nonnegativity-preserving parabolic equations.}, author = {Julian Fischer}, journal = {Journal of Differential Equations}, number = {10}, pages = {3127 -- 3149}, publisher = {Academic Press}, title = {{Optimal lower bounds on asymptotic support propagation rates for the thin-film equation}}, doi = {10.1016/j.jde.2013.07.028}, volume = {255}, year = {2013}, } @inproceedings{1374, abstract = {We study two-player zero-sum games over infinite-state graphs equipped with ωB and finitary conditions. Our first contribution is about the strategy complexity, i.e the memory required for winning strategies: we prove that over general infinite-state graphs, memoryless strategies are sufficient for finitary Büchi, and finite-memory suffices for finitary parity games. We then study pushdown games with boundedness conditions, with two contributions. First we prove a collapse result for pushdown games with ωB-conditions, implying the decidability of solving these games. Second we consider pushdown games with finitary parity along with stack boundedness conditions, and show that solving these games is EXPTIME-complete.}, author = {Chatterjee, Krishnendu and Fijalkow, Nathanaël}, booktitle = {22nd EACSL Annual Conference on Computer Science Logic}, location = {Torino, Italy}, pages = {181 -- 196}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Infinite-state games with finitary conditions}}, doi = {10.4230/LIPIcs.CSL.2013.181}, volume = {23}, year = {2013}, } @inproceedings{1385, abstract = {It is often difficult to correctly implement a Boolean controller for a complex system, especially when concurrency is involved. Yet, it may be easy to formally specify a controller. For instance, for a pipelined processor it suffices to state that the visible behavior of the pipelined system should be identical to a non-pipelined reference system (Burch-Dill paradigm). We present a novel procedure to efficiently synthesize multiple Boolean control signals from a specification given as a quantified first-order formula (with a specific quantifier structure). Our approach uses uninterpreted functions to abstract details of the design. We construct an unsatisfiable SMT formula from the given specification. Then, from just one proof of unsatisfiability, we use a variant of Craig interpolation to compute multiple coordinated interpolants that implement the Boolean control signals. Our method avoids iterative learning and back-substitution of the control functions. We applied our approach to synthesize a controller for a simple two-stage pipelined processor, and present first experimental results.}, author = {Hofferek, Georg and Gupta, Ashutosh and Könighofer, Bettina and Jiang, Jie and Bloem, Roderick}, booktitle = {2013 Formal Methods in Computer-Aided Design}, location = {Portland, OR, United States}, pages = {77 -- 84}, publisher = {IEEE}, title = {{Synthesizing multiple boolean functions using interpolation on a single proof}}, doi = {10.1109/FMCAD.2013.6679394}, year = {2013}, } @inproceedings{1387, abstract = {Choices made by nondeterministic word automata depend on both the past (the prefix of the word read so far) and the future (the suffix yet to be read). In several applications, most notably synthesis, the future is diverse or unknown, leading to algorithms that are based on deterministic automata. Hoping to retain some of the advantages of nondeterministic automata, researchers have studied restricted classes of nondeterministic automata. Three such classes are nondeterministic automata that are good for trees (GFT; i.e., ones that can be expanded to tree automata accepting the derived tree languages, thus whose choices should satisfy diverse futures), good for games (GFG; i.e., ones whose choices depend only on the past), and determinizable by pruning (DBP; i.e., ones that embody equivalent deterministic automata). The theoretical properties and relative merits of the different classes are still open, having vagueness on whether they really differ from deterministic automata. In particular, while DBP ⊆ GFG ⊆ GFT, it is not known whether every GFT automaton is GFG and whether every GFG automaton is DBP. Also open is the possible succinctness of GFG and GFT automata compared to deterministic automata. We study these problems for ω-regular automata with all common acceptance conditions. We show that GFT=GFG⊃DBP, and describe a determinization construction for GFG automata.}, author = {Boker, Udi and Kuperberg, Denis and Kupferman, Orna and Skrzypczak, Michał}, location = {Riga, Latvia}, number = {PART 2}, pages = {89 -- 100}, publisher = {Springer}, title = {{Nondeterminism in the presence of a diverse or unknown future}}, doi = {10.1007/978-3-642-39212-2_11}, volume = {7966}, year = {2013}, } @article{1442, abstract = {We give a cohomological interpretation of both the Kac polynomial and the refined Donaldson-Thomas-invariants of quivers. This interpretation yields a proof of a conjecture of Kac from 1982 and gives a new perspective on recent work of Kontsevich-Soibelman. Thisis achieved by computing, via an arithmetic Fourier transform, the dimensions of the isotypical components of the cohomology of associated Nakajima quiver varieties under the action of a Weyl group. The generating function of the corresponding Poincare polynomials is an extension of Hua's formula for Kac polynomials of quivers involving Hall-Littlewood symmetric functions. The resulting formulae contain a wide range of information on the geometry of the quiver varieties.}, author = {Tamas Hausel and Letellier, Emmanuel and Rodríguez Villegas, Fernando}, journal = {Annals of Mathematics}, number = {3}, pages = {1147 -- 1168}, publisher = {Princeton University Press}, title = {{Positivity for Kac polynomials and DT-invariants of quivers}}, doi = {10.4007/annals.2013.177.3.8}, volume = {177}, year = {2013}, } @inbook{1443, abstract = {Here we survey several results and conjectures on the cohomology of the total space of the Hitchin system: the moduli space of semi-stable rank n and degree d Higgs bundles on a complex algebraic curve C. The picture emerging is a dynamic mixture of ideas originating in theoretical physics such as gauge theory and mirror symmetry, Weil conjectures in arithmetic algebraic geometry, representation theory of finite groups of Lie type and Langlands duality in number theory.}, author = {Tamas Hausel}, booktitle = {Handbook of Moduli: Volume II}, pages = {29 -- 70}, publisher = {International Press}, title = {{Global topology of the Hitchin system}}, volume = {25}, year = {2013}, } @article{1469, abstract = {We study connections between the topology of generic character varieties of fundamental groups of punctured Riemann surfaces, Macdonald polynomials, quiver representations, Hilbert schemes on Cx × Cx, modular forms and multiplicities in tensor products of irreducible characters of finite general linear groups.}, author = {Tamas Hausel and Letellier, Emmanuel and Rodríguez Villegas, Fernando}, journal = {Advances in Mathematics}, pages = {85 -- 128}, publisher = {Academic Press}, title = {{Arithmetic harmonic analysis on character and quiver varieties II}}, doi = {10.1016/j.aim.2012.10.009}, volume = {234}, year = {2013}, } @article{1470, abstract = {We show that a natural isomorphism between the rational cohomology groups of the two zero-dimensional Hilbert schemes of n-points of two surfaces, the affine plane minus the axes and the cotangent bundle of an elliptic curve, exchanges the weight filtration on the first set of cohomology groups with the perverse Leray filtration associated with a natural fibration on the second set of cohomology groups. We discuss some associated hard Lefschetz phenomena.}, author = {De Cataldo, Mark A and Tamas Hausel and Migliorini, Luca}, journal = {Journal of Singularities}, pages = {23 -- 38}, publisher = {Worldwide Center of Mathematics}, title = {{Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces}}, doi = {10.5427/jsing.2013.7c}, volume = {7}, year = {2013}, } @article{11758, author = {Aceto, Luca and Henzinger, Monika H and Sgall, Jiří}, issn = {0890-5401}, journal = {Information and Computation}, number = {1}, pages = {1}, publisher = {Elsevier}, title = {{38th International Colloquium on Automata, Languages and Programming}}, doi = {10.1016/j.ic.2012.11.002}, volume = {222}, year = {2013}, } @article{1726, abstract = {The development of a functional tissue requires coordination of the amplification of progenitors and their differentiation into specific cell types. The molecular basis for this coordination during myotome ontogeny is not well understood. Dermomytome progenitors that colonize the myotome first acquire myocyte identity and subsequently proliferate as Pax7-expressing progenitors before undergoing terminal differentiation. We show that the dynamics of sonic hedgehog (Shh) signaling is crucial for this transition in both avian and mouse embryos. Initially, Shh ligand emanating from notochord/floor plate reaches the dermomyotome, where it both maintains the proliferation of dermomyotome cells and promotes myogenic differentiation of progenitors that colonized the myotome. Interfering with Shh signaling at this stage produces small myotomes and accumulation of Pax7-expressing progenitors. An in vivo reporter of Shh activity combined with mouse genetics revealed the existence of both activator and repressor Shh activities operating on distinct subsets of cells during the epaxial myotomal maturation. In contrast to observations in mice, in avians Shh promotes the differentiation of both epaxial and hypaxial myotome domains. Subsequently, myogenic progenitors become refractory to Shh; this is likely to occur at the level of, or upstream of, smoothened signaling. The end of responsiveness to Shh coincides with, and is thus likely to enable, the transition into the growth phase of the myotome.}, author = {Kahane, Nitza and Ribes, Vanessa and Anna Kicheva and Briscoe, James and Kalcheim, Chaya}, journal = {Development}, number = {8}, pages = {1740 -- 1750}, publisher = {Company of Biologists}, title = {{The transition from differentiation to growth during dermomyotome-derived myogenesis depends on temporally restricted hedgehog signaling}}, doi = {10.1242/dev.092726}, volume = {140}, year = {2013}, } @article{1727, abstract = {Cells at different positions in a developing tissue receive different concentrations of signaling molecules, called morphogens, and this influences their cell fate. Morphogen concentration gradients have been proposed to control patterning as well as growth in many developing tissues. Some outstanding questions about tissue patterning by morphogen gradients are the following: What are the mechanisms that regulate gradient formation and shape? Is the positional information encoded in the gradient sufficiently precise to determine the positions of target gene domain boundaries? What are the temporal dynamics of gradients and how do they relate to patterning and growth? These questions are inherently quantitative in nature and addressing them requires measuring morphogen concentrations in cells, levels of downstream signaling activity, and kinetics of morphogen transport. Here we first present methods for quantifying morphogen gradient shape in which the measurements can be calibrated to reflect actual morphogen concentrations. We then discuss using fluorescence recovery after photobleaching to study the kinetics of morphogen transport at the tissue level. Finally, we present particle tracking as a method to study morphogen intracellular trafficking.}, author = {Anna Kicheva and Holtzer, Laurent and Wartlick, Ortrud and Schmidt, Thomas S and González-Gaitán, Marcos A}, journal = {Cold Spring Harbor Protocols}, number = {5}, pages = {387 -- 403}, publisher = {Cold Spring Harbor Laboratory Press}, title = {{Quantitative imaging of morphogen gradients in drosophila imaginal discs}}, doi = {10.1101/pdb.top074237}, volume = {8}, year = {2013}, } @article{1760, abstract = {We report on hole g-factor measurements in three terminal SiGe self-assembled quantum dot devices with a top gate electrode positioned very close to the nanostructure. Measurements of both the perpendicular as well as the parallel g-factor reveal significant changes for a small modulation of the top gate voltage. From the observed modulations, we estimate that, for realistic experimental conditions, hole spins can be electrically manipulated with Rabi frequencies in the order of 100 MHz. This work emphasises the potential of hole-based nano-devices for efficient spin manipulation by means of the g-tensor modulation technique.}, author = {Ares, Natalia and Georgios Katsaros and Golovach, Vitaly N and Zhang, Jianjun and Prager, Aaron A and Glazman, Leonid I and Schmidt, Oliver G and De Franceschi, Silvano}, journal = {Applied Physics Letters}, number = {26}, publisher = {American Institute of Physics}, title = {{SiGe quantum dots for fast hole spin Rabi oscillations}}, doi = {10.1063/1.4858959}, volume = {103}, year = {2013}, } @article{1759, abstract = {We report an electric-field-induced giant modulation of the hole g factor in SiGe nanocrystals. The observed effect is ascribed to a so-far overlooked contribution to the g factor that stems from the mixing between heavy- and light-hole wave functions. We show that the relative displacement between the confined heavy- and light-hole states, occurring upon application of the electric field, alters their mixing strength leading to a strong nonmonotonic modulation of the g factor.}, author = {Ares, Natalia and Golovach, Vitaly N and Georgios Katsaros and Stoffel, Mathieu and Fournel, Frank and Glazman, Leonid I and Schmidt, Oliver G and De Franceschi, Silvano}, journal = {Physical Review Letters}, number = {4}, publisher = {American Physical Society}, title = {{Nature of tunable hole g factors in quantum dots}}, doi = {10.1103/PhysRevLett.110.046602}, volume = {110}, year = {2013}, } @article{1785, abstract = {The geometric aspects of quantum mechanics are emphasized most prominently by the concept of geometric phases, which are acquired whenever a quantum system evolves along a path in Hilbert space, that is, the space of quantum states of the system. The geometric phase is determined only by the shape of this path and is, in its simplest form, a real number. However, if the system has degenerate energy levels, then matrix-valued geometric state transformations, known as non-Abelian holonomies-the effect of which depends on the order of two consecutive paths-can be obtained. They are important, for example, for the creation of synthetic gauge fields in cold atomic gases or the description of non-Abelian anyon statistics. Moreover, there are proposals to exploit non-Abelian holonomic gates for the purposes of noise-resilient quantum computation. In contrast to Abelian geometric operations, non-Abelian ones have been observed only in nuclear quadrupole resonance experiments with a large number of spins, and without full characterization of the geometric process and its non-commutative nature. Here we realize non-Abelian non-adiabatic holonomic quantum operations on a single, superconducting, artificial three-level atom by applying a well-controlled, two-tone microwave drive. Using quantum process tomography, we determine fidelities of the resulting non-commuting gates that exceed 95 per cent. We show that two different quantum gates, originating from two distinct paths in Hilbert space, yield non-equivalent transformations when applied in different orders. This provides evidence for the non-Abelian character of the implemented holonomic quantum operations. In combination with a non-trivial two-quantum-bit gate, our method suggests a way to universal holonomic quantum computing.}, author = {Abdumalikov, Abdufarrukh A and Johannes Fink and Juliusson, K and Pechal, M and Berger, Stefan T and Wallraff, Andreas and Filipp, Stefan}, journal = {Nature}, number = {7446}, pages = {482 -- 485}, publisher = {Nature Publishing Group}, title = {{Experimental realization of non-Abelian non-adiabatic geometric gates}}, doi = {10.1038/nature12010}, volume = {496}, year = {2013}, }