@article{2281, abstract = {We consider two-dimensional Bose-Einstein condensates with attractive interaction, described by the Gross-Pitaevskii functional. Minimizers of this functional exist only if the interaction strength a satisfies {Mathematical expression}, where Q is the unique positive radial solution of {Mathematical expression} in {Mathematical expression}. We present a detailed analysis of the behavior of minimizers as a approaches a*, where all the mass concentrates at a global minimum of the trapping potential.}, author = {Guo, Yujin and Seiringer, Robert}, journal = {Letters in Mathematical Physics}, number = {2}, pages = {141 -- 156}, publisher = {Springer}, title = {{On the mass concentration for Bose-Einstein condensates with attractive interactions}}, doi = {10.1007/s11005-013-0667-9}, volume = {104}, year = {2014}, } @article{2285, abstract = {GABAergic inhibitory interneurons control fundamental aspects of neuronal network function. Their functional roles are assumed to be defined by the identity of their input synapses, the architecture of their dendritic tree, the passive and active membrane properties and finally the nature of their postsynaptic targets. Indeed, interneurons display a high degree of morphological and physiological heterogeneity. However, whether their morphological and physiological characteristics are correlated and whether interneuron diversity can be described by a continuum of GABAergic cell types or by distinct classes has remained unclear. Here we perform a detailed morphological and physiological characterization of GABAergic cells in the dentate gyrus, the input region of the hippocampus. To achieve an unbiased and efficient sampling and classification we used knock-in mice expressing the enhanced green fluorescent protein (eGFP) in glutamate decarboxylase 67 (GAD67)-positive neurons and performed cluster analysis. We identified five interneuron classes, each of them characterized by a distinct set of anatomical and physiological parameters. Cross-correlation analysis further revealed a direct relation between morphological and physiological properties indicating that dentate gyrus interneurons fall into functionally distinct classes which may differentially control neuronal network activity.}, author = {Hosp, Jonas and Strüber, Michael and Yanagawa, Yuchio and Obata, Kunihiko and Vida, Imre and Jonas, Peter M and Bartos, Marlene}, journal = {Hippocampus}, number = {2}, pages = {189 -- 203}, publisher = {Wiley-Blackwell}, title = {{Morpho-physiological criteria divide dentate gyrus interneurons into classes}}, doi = {10.1002/hipo.22214}, volume = {23}, year = {2014}, } @article{2407, abstract = {Two definitions of the effective mass of a particle interacting with a quantum field, such as a polaron, are considered and shown to be equal in models similar to the Fröhlich polaron model. These are: 1. the mass defined by the low momentum energy E(P)≈E(0)+P2/2 M of the translation invariant system constrained to have momentum P and 2. the mass M of a simple particle in an arbitrary slowly varying external potential, V, described by the nonrelativistic Schrödinger equation, whose ground state energy equals that of the combined particle/field system in a bound state in the same V.}, author = {Lieb, Élliott and Seiringer, Robert}, journal = {Journal of Statistical Physics}, number = {1-2}, pages = {51 -- 57}, publisher = {Springer}, title = {{Equivalence of two definitions of the effective mass of a polaron}}, doi = {10.1007/s10955-013-0791-z}, volume = {154}, year = {2014}, } @article{248, abstract = {For any pencil of conics or higher-dimensional quadrics over ℚ, with all degenerate fibres defined over ℚ, we show that the Brauer–Manin obstruction controls weak approximation. The proof is based on the Hasse principle and weak approximation for some special intersections of quadrics over ℚ, which is a consequence of recent advances in additive combinatorics.}, author = {Timothy Browning and Matthiesen, Lilian and Skorobogatov, Alexei N}, journal = {Annals of Mathematics}, number = {1}, pages = {381 -- 402}, publisher = {John Hopkins University Press}, title = {{Rational points on pencils of conics and quadrics with many degenerate fibres}}, doi = {https://doi.org/10.4007/annals.2014.180.1.8}, volume = {180}, year = {2014}, } @article{249, abstract = {A version of the Hardy-Littlewood circle method is developed for number fields K/ℚ and is used to show that nonsingular projective cubic hypersurfaces over K always have a K-rational point when they have dimension at least 8. }, author = {Timothy Browning and Vishe, Pankaj}, journal = {Duke Mathematical Journal}, number = {10}, pages = {1825 -- 1883}, publisher = {Duke University Press}, title = {{Cubic hypersurfaces and a version of the circle method for number fields}}, doi = {10.1215/00127094-2738530}, volume = {163}, year = {2014}, } @article{252, abstract = {For any number field k, upper bounds are established for the number of k-rational points of bounded height on non-singular del Pezzo surfaces defined over k, which are equipped with suitable conic bundle structures over k.}, author = {Timothy Browning and Jones, Michael S}, journal = {Acta Arithmetica}, number = {3}, pages = {271 -- 298}, publisher = {Instytut Matematyczny}, title = {{Counting rational points on del Pezzo surfaces with a conic bundle structure}}, doi = {10.4064/aa163-3-6}, volume = {163}, year = {2014}, } @article{255, abstract = {We investigate the Hasse principle for complete intersections cut out by a quadric hypersurface and a cubic hypersurface defined over the rational numbers.}, author = {Browning, Timothy D and Dietmann, Rainer and Heath Brown, Roger}, journal = {Journal of the Institute of Mathematics of Jussieu}, number = {4}, pages = {703 -- 749}, publisher = {Cambridge University Press}, title = {{Rational points on intersections of cubic and quadric hypersurfaces}}, doi = {10.1017/S1474748014000127}, volume = {14}, year = {2014}, } @article{2699, abstract = {We prove the universality of the β-ensembles with convex analytic potentials and for any β > 0, i.e. we show that the spacing distributions of log-gases at any inverse temperature β coincide with those of the Gaussian β-ensembles.}, author = {Erdös, László and Bourgade, Paul and Yau, Horng}, journal = {Duke Mathematical Journal}, number = {6}, pages = {1127 -- 1190}, publisher = {Duke University Press}, title = {{Universality of general β-ensembles}}, doi = {10.1215/00127094-2649752}, volume = {163}, year = {2014}, } @article{2852, abstract = {A robust combiner for hash functions takes two candidate implementations and constructs a hash function which is secure as long as at least one of the candidates is secure. So far, hash function combiners only aim at preserving a single property such as collision-resistance or pseudorandomness. However, when hash functions are used in protocols like TLS they are often required to provide several properties simultaneously. We therefore put forward the notion of robust multi-property combiners and elaborate on different definitions for such combiners. We then propose a combiner that provably preserves (target) collision-resistance, pseudorandomness, and being a secure message authentication code. This combiner satisfies the strongest notion we propose, which requires that the combined function satisfies every security property which is satisfied by at least one of the underlying hash function. If the underlying hash functions have output length n, the combiner has output length 2 n. This basically matches a known lower bound for black-box combiners for collision-resistance only, thus the other properties can be achieved without penalizing the length of the hash values. We then propose a combiner which also preserves the property of being indifferentiable from a random oracle, slightly increasing the output length to 2 n+ω(log n). Moreover, we show how to augment our constructions in order to make them also robust for the one-wayness property, but in this case require an a priory upper bound on the input length.}, author = {Fischlin, Marc and Lehmann, Anja and Pietrzak, Krzysztof Z}, journal = {Journal of Cryptology}, number = {3}, pages = {397 -- 428}, publisher = {Springer}, title = {{Robust multi-property combiners for hash functions}}, doi = {10.1007/s00145-013-9148-7}, volume = {27}, year = {2014}, } @article{12632, abstract = {We investigate the performance of five glacier melt models over a multi-decadal period in order to assess their ability to model future glacier response. The models range from a simple degree-day model, based solely on air temperature, to more-sophisticated models, including the full shortwave radiation balance. In addition to the empirical models, the performance of a physically based energy-balance (EB) model is examined. The melt models are coupled to an accumulation and a surface evolution model and applied in a distributed manner to Rhonegletscher, Switzerland, over the period 1929–2012 at hourly resolution. For calibration, seasonal mass-balance measurements (2006–12) are used. Decadal ice volume changes for six periods in the years 1929–2012 serve for model validation. Over the period 2006–12, there are almost no differences in performance between the models, except for EB, which is less consistent with observations, likely due to lack of meteorological in situ data. However, simulations over the long term (1929–2012) reveal that models which include a separate term for shortwave radiation agree best with the observed ice volume changes, indicating that their melt relationships are robust in time and thus suitable for long-term modelling, in contrast to more empirical approaches that are oversensitive to temperature fluctuations.}, author = {Gabbi, Jeannette and Carenzo, Marco and Pellicciotti, Francesca and Bauder, Andreas and Funk, Martin}, issn = {1727-5652}, journal = {Journal of Glaciology}, keywords = {Earth-Surface Processes}, number = {224}, pages = {1140--1154}, publisher = {International Glaciological Society}, title = {{A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response}}, doi = {10.3189/2014jog14j011}, volume = {60}, year = {2014}, } @article{12634, abstract = {Glaciers in the Andes of Chile seem to be shrinking and possibly loosing mass, but the number and types of studies conducted, constrained mainly by data availability, are not sufficient to provide a synopsis of glacier changes for the past or future or explain in an explicit way causes of the observed changes. In this paper, we provide a systematic review of changes in glaciers for the entire country, followed by a discussion of the studies that have provided evidence of such changes. We identify a missing type of work in distributed, physically-oriented modelling studies that are needed to bridge the gap between the numerous remote sensing studies and the specific, point scale works focused on process understanding. We use an advanced mass balance model applied to one of the best monitored glaciers in the region to investigate four main research issues that should be addressed in modelling studies for a sound assessment of glacier changes: 1) the use of physically-based models of glacier ablation (energy balance models) versus more empirical models (enhanced temperature index approaches); 2) the importance of the correct extrapolation of air temperature forcing on glaciers and in high elevation areas and the large uncertainty in model outputs associated with it; 3) the role played by snow gravitational redistribution; and 4) the uncertainty associated with future climate scenarios. We quantify differences in model outputs associated with each of these choices, and conclude with suggestions for future work directions.}, author = {Pellicciotti, Francesca and Ragettli, S. and Carenzo, M. and McPhee, J.}, issn = {0048-9697}, journal = {Science of The Total Environment}, keywords = {Pollution, Waste Management and Disposal, Environmental Chemistry, Environmental Engineering}, pages = {1197--1210}, publisher = {Elsevier}, title = {{Changes of glaciers in the Andes of Chile and priorities for future work}}, doi = {10.1016/j.scitotenv.2013.10.055}, volume = {493}, year = {2014}, } @article{12635, abstract = {Switzerland is one of the countries with some of the longest and best glaciological data sets. Its glaciers and their changes in response to climate have been extensively investigated, and the number and quality of related studies are notable. However, a comprehensive review of glacier changes and their impact on the hydrology of glacierised catchments for Switzerland is missing and we use the opportunity provided by the EU-FP7 ACQWA project to review the current state of knowledge about past changes and future projections. We examine the type of models that have been applied to infer glacier evolution and identify knowledge gaps that should be addressed in future research in addition to those indicated in previous publications. Common characteristics in long-term series of projected future glacier runoff are an initial peak followed by a decline, associated with shifts in seasonality, earlier melt onset and reduced summer runoff. However, the quantitative predictions are difficult to compare, as studies differ in terms of model structure, calibration strategies, input data, temporal and spatial resolution as well as future scenarios used for impact studies. We identify two sources of uncertainties among those emerging from recent research, and use simulations over four glaciers to: i) quantify the importance of the correct extrapolation of air temperature, and ii) point at the key role played by debris cover in modulating glacier response.}, author = {Pellicciotti, Francesca and Carenzo, M. and Bordoy, R. and Stoffel, M.}, issn = {0048-9697}, journal = {Science of The Total Environment}, keywords = {Pollution, Waste Management and Disposal, Environmental Chemistry, Environmental Engineering}, pages = {1152--1170}, publisher = {Elsevier}, title = {{Changes in glaciers in the Swiss Alps and impact on basin hydrology: Current state of the art and future research}}, doi = {10.1016/j.scitotenv.2014.04.022}, volume = {493}, year = {2014}, } @article{12636, abstract = {Himalayan glacier tongues are commonly debris covered and they are an important source of melt water. However, they remain relatively unstudied because of the inaccessibility of the terrain and the difficulties in field work caused by the thick debris mantles. Observations of debris-covered glaciers are therefore scarce and airborne remote sensing may bridge the gap between scarce field observations and coarse resolution space-borne remote sensing. In this study we deploy an Unmanned Aerial Vehicle (UAV) before and after the melt and monsoon season (May and October 2013) over the debris-covered tongue of the Lirung Glacier in Nepal. Based on stereo-imaging and the structure for motion algorithm we derive highly detailed ortho-mosaics and digital elevation models (DEMs), which we geometrically correct using differential GPS observations collected in the field. Based on DEM differencing and manual feature tracking we derive the mass loss and the surface velocity of the glacier at a high spatial accuracy. On average, mass loss is limited and the surface velocity is very small. However, the spatial variability of melt rates is very high, and ice cliffs and supra-glacial ponds show mass losses that can be an order of magnitude higher than the average. We suggest that future research should focus on the interaction between supra-glacial ponds, ice cliffs and englacial hydrology to further understand the dynamics of debris-covered glaciers. Finally, we conclude that UAV deployment has large potential in glaciology and it may revolutionize methods currently applied in studying glacier surface features.}, author = {Immerzeel, W.W. and Kraaijenbrink, P.D.A. and Shea, J.M. and Shrestha, A.B. and Pellicciotti, Francesca and Bierkens, M.F.P. and de Jong, S.M.}, issn = {0034-4257}, journal = {Remote Sensing of Environment}, keywords = {Computers in Earth Sciences, Geology, Soil Science}, number = {7}, pages = {93--103}, publisher = {Elsevier}, title = {{High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles}}, doi = {10.1016/j.rse.2014.04.025}, volume = {150}, year = {2014}, } @article{12637, abstract = {The performance of glaciohydrological models which simulate catchment response to climate variability depends to a large degree on the data used to force the models. The forcing data become increasingly important in high-elevation, glacierized catchments where the interplay between extreme topography, climate, and the cryosphere is complex. It is challenging to generate a reliable forcing data set that captures this spatial heterogeneity. In this paper, we analyze the results of a 1 year field campaign focusing on air temperature and precipitation observations in the Langtang valley in the Nepalese Himalayas. We use the observed time series to characterize both temperature lapse rates (LRs) and precipitation gradients (PGs). We study their spatial and temporal variability, and we attempt to identify possible controlling factors. We show that very clear LRs exist in the valley and that there are strong seasonal differences related to the water vapor content in the atmosphere. Results also show that the LRs are generally shallower than the commonly used environmental lapse rates. The analysis of the precipitation observations reveals that there is great variability in precipitation over short horizontal distances. A uniform valley wide PG cannot be established, and several scale-dependent mechanisms may explain our observations. We complete our analysis by showing the impact of the observed LRs and PGs on the outputs of the TOPKAPI-ETH glaciohydrological model. We conclude that LRs and PGs have a very large impact on the water balance composition and that short-term monitoring campaigns have the potential to improve model quality considerably.}, author = {Immerzeel, W. W. and Petersen, L. and Ragettli, S. and Pellicciotti, Francesca}, issn = {1944-7973}, journal = {Water Resources Research}, keywords = {Water Science and Technology}, number = {3}, pages = {2212--2226}, publisher = {American Geophysical Union}, title = {{The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas}}, doi = {10.1002/2013wr014506}, volume = {50}, year = {2014}, } @inproceedings{2082, abstract = {NMAC is a mode of operation which turns a fixed input-length keyed hash function f into a variable input-length function. A practical single-key variant of NMAC called HMAC is a very popular and widely deployed message authentication code (MAC). Security proofs and attacks for NMAC can typically be lifted to HMAC. NMAC was introduced by Bellare, Canetti and Krawczyk [Crypto'96], who proved it to be a secure pseudorandom function (PRF), and thus also a MAC, assuming that (1) f is a PRF and (2) the function we get when cascading f is weakly collision-resistant. Unfortunately, HMAC is typically instantiated with cryptographic hash functions like MD5 or SHA-1 for which (2) has been found to be wrong. To restore the provable guarantees for NMAC, Bellare [Crypto'06] showed its security based solely on the assumption that f is a PRF, albeit via a non-uniform reduction. - Our first contribution is a simpler and uniform proof for this fact: If f is an ε-secure PRF (against q queries) and a δ-non-adaptively secure PRF (against q queries), then NMAC f is an (ε+ℓqδ)-secure PRF against q queries of length at most ℓ blocks each. - We then show that this ε+ℓqδ bound is basically tight. For the most interesting case where ℓqδ ≥ ε we prove this by constructing an f for which an attack with advantage ℓqδ exists. This also violates the bound O(ℓε) on the PRF-security of NMAC recently claimed by Koblitz and Menezes. - Finally, we analyze the PRF-security of a modification of NMAC called NI [An and Bellare, Crypto'99] that differs mainly by using a compression function with an additional keying input. This avoids the constant rekeying on multi-block messages in NMAC and allows for a security proof starting by the standard switch from a PRF to a random function, followed by an information-theoretic analysis. We carry out such an analysis, obtaining a tight ℓq2/2 c bound for this step, improving over the trivial bound of ℓ2q2/2c. The proof borrows combinatorial techniques originally developed for proving the security of CBC-MAC [Bellare et al., Crypto'05].}, author = {Gazi, Peter and Pietrzak, Krzysztof Z and Rybar, Michal}, editor = {Garay, Juan and Gennaro, Rosario}, location = {Santa Barbara, USA}, number = {1}, pages = {113 -- 130}, publisher = {Springer}, title = {{The exact PRF-security of NMAC and HMAC}}, doi = {10.1007/978-3-662-44371-2_7}, volume = {8616}, year = {2014}, } @article{2083, abstract = {Understanding the effects of sex and migration on adaptation to novel environments remains a key problem in evolutionary biology. Using a single-cell alga Chlamydomonas reinhardtii, we investigated how sex and migration affected rates of evolutionary rescue in a sink environment, and subsequent changes in fitness following evolutionary rescue. We show that sex and migration affect both the rate of evolutionary rescue and subsequent adaptation. However, their combined effects change as the populations adapt to a sink habitat. Both sex and migration independently increased rates of evolutionary rescue, but the effect of sex on subsequent fitness improvements, following initial rescue, changed with migration, as sex was beneficial in the absence of migration but constraining adaptation when combined with migration. These results suggest that sex and migration are beneficial during the initial stages of adaptation, but can become detrimental as the population adapts to its environment.}, author = {Lagator, Mato and Morgan, Andrew and Neve, Paul and Colegrave, Nick}, journal = {Evolution}, number = {8}, pages = {2296 -- 2305}, publisher = {Wiley}, title = {{Role of sex and migration in adaptation to sink environments}}, doi = {10.1111/evo.12440}, volume = {68}, year = {2014}, } @article{2084, abstract = {Receptor tyrosine kinases (RTKs) are a large family of cell surface receptors that sense growth factors and hormones and regulate a variety of cell behaviours in health and disease. Contactless activation of RTKs with spatial and temporal precision is currently not feasible. Here, we generated RTKs that are insensitive to endogenous ligands but can be selectively activated by low-intensity blue light. We screened light-oxygen-voltage (LOV)-sensing domains for their ability to activate RTKs by light-activated dimerization. Incorporation of LOV domains found in aureochrome photoreceptors of stramenopiles resulted in robust activation of the fibroblast growth factor receptor 1 (FGFR1), epidermal growth factor receptor (EGFR) and rearranged during transfection (RET). In human cancer and endothelial cells, light induced cellular signalling with spatial and temporal precision. Furthermore, light faithfully mimicked complex mitogenic and morphogenic cell behaviour induced by growth factors. RTKs under optical control (Opto-RTKs) provide a powerful optogenetic approach to actuate cellular signals and manipulate cell behaviour.}, author = {Grusch, Michael and Schelch, Karin and Riedler, Robert and Gschaider-Reichhart, Eva and Differ, Christopher and Berger, Walter and Inglés Prieto, Álvaro and Janovjak, Harald L}, journal = {EMBO Journal}, number = {15}, pages = {1713 -- 1726}, publisher = {Wiley-Blackwell}, title = {{Spatio-temporally precise activation of engineered receptor tyrosine kinases by light}}, doi = {10.15252/embj.201387695}, volume = {33}, year = {2014}, } @article{2086, abstract = {Pathogens may gain a fitness advantage through manipulation of the behaviour of their hosts. Likewise, host behavioural changes can be a defence mechanism, counteracting the impact of pathogens on host fitness. We apply harmonic radar technology to characterize the impact of an emerging pathogen - Nosema ceranae (Microsporidia) - on honeybee (Apis mellifera) flight and orientation performance in the field. Honeybees are the most important commercial pollinators. Emerging diseases have been proposed to play a prominent role in colony decline, partly through sub-lethal behavioural manipulation of their hosts. We found that homing success was significantly reduced in diseased (65.8%) versus healthy foragers (92.5%). Although lost bees had significantly reduced continuous flight times and prolonged resting times, other flight characteristics and navigational abilities showed no significant difference between infected and non-infected bees. Our results suggest that infected bees express normal flight characteristics but are constrained in their homing ability, potentially compromising the colony by reducing its resource inputs, but also counteracting the intra-colony spread of infection. We provide the first high-resolution analysis of sub-lethal effects of an emerging disease on insect flight behaviour. The potential causes and the implications for both host and parasite are discussed.}, author = {Wolf, Stephan and Mcmahon, Dino and Lim, Ka and Pull, Christopher and Clark, Suzanne and Paxton, Robert and Osborne, Juliet}, journal = {PLoS One}, number = {8}, publisher = {Public Library of Science}, title = {{So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees}}, doi = {10.1371/journal.pone.0103989}, volume = {9}, year = {2014}, } @article{21102, abstract = {Racemates increase the chances of crystallization by allowing molecular contacts to be formed in a greater number of ways. With the advent of protein synthesis, the production of protein racemates and racemic‐protein crystallography are now possible. Curiously, racemic DNA crystallography had not been investigated despite the commercial availability of L- and D‐deoxyribo‐oligonucleotides. Here, we report a study into racemic DNA crystallography showing the strong propensity of racemic DNA mixtures to form racemic crystals. We describe racemic crystal structures of various DNA sequences and folded conformations, including duplexes, quadruplexes, and a four‐way junction, showing that the advantages of racemic crystallography should extend to DNA.}, author = {Mandal, Pradeep K and Collie, Gavin W. and Kauffmann, Brice and Huc, Ivan}, issn = {1521-3773}, journal = {Angewandte Chemie International Edition}, number = {52}, pages = {14424--14427}, publisher = {Wiley}, title = {{Racemic DNA crystallography}}, doi = {10.1002/anie.201409014}, volume = {53}, year = {2014}, } @article{2115, abstract = {The facial performance of an individual is inherently rich in subtle deformation and timing details. Although these subtleties make the performance realistic and compelling, they often elude both motion capture and hand animation. We present a technique for adding fine-scale details and expressiveness to low-resolution art-directed facial performances, such as those created manually using a rig, via marker-based capture, by fitting a morphable model to a video, or through Kinect reconstruction using recent faceshift technology. We employ a high-resolution facial performance capture system to acquire a representative performance of an individual in which he or she explores the full range of facial expressiveness. From the captured data, our system extracts an expressiveness model that encodes subtle spatial and temporal deformation details specific to that particular individual. Once this model has been built, these details can be transferred to low-resolution art-directed performances. We demonstrate results on various forms of input; after our enhancement, the resulting animations exhibit the same nuances and fine spatial details as the captured performance, with optional temporal enhancement to match the dynamics of the actor. Finally, we show that our technique outperforms the current state-of-the-art in example-based facial animation.}, author = {Bermano, Amit and Bradley, Derek and Beeler, Thabo and Zund, Fabio and Nowrouzezahrai, Derek and Baran, Ilya and Sorkine Hornung, Olga and Pfister, Hanspeter and Sumner, Robert and Bickel, Bernd and Groß, Markus}, journal = {ACM Transactions on Graphics}, number = {2}, publisher = {ACM}, title = {{Facial performance enhancement using dynamic shape space analysis}}, doi = {10.1145/2546276}, volume = {33}, year = {2014}, }