@inproceedings{2048,
abstract = {Leakage resilient cryptography attempts to incorporate side-channel leakage into the black-box security model and designs cryptographic schemes that are provably secure within it. Informally, a scheme is leakage-resilient if it remains secure even if an adversary learns a bounded amount of arbitrary information about the schemes internal state. Unfortunately, most leakage resilient schemes are unnecessarily complicated in order to achieve strong provable security guarantees. As advocated by Yu et al. [CCS’10], this mostly is an artefact of the security proof and in practice much simpler construction may already suffice to protect against realistic side-channel attacks. In this paper, we show that indeed for simpler constructions leakage-resilience can be obtained when we aim for relaxed security notions where the leakage-functions and/or the inputs to the primitive are chosen non-adaptively. For example, we show that a three round Feistel network instantiated with a leakage resilient PRF yields a leakage resilient PRP if the inputs are chosen non-adaptively (This complements the result of Dodis and Pietrzak [CRYPTO’10] who show that if a adaptive queries are allowed, a superlogarithmic number of rounds is necessary.) We also show that a minor variation of the classical GGM construction gives a leakage resilient PRF if both, the leakage-function and the inputs, are chosen non-adaptively.},
author = {Faust, Sebastian and Pietrzak, Krzysztof Z and Schipper, Joachim},
booktitle = { Conference proceedings CHES 2012},
location = {Leuven, Belgium},
pages = {213 -- 232},
publisher = {Springer},
title = {{Practical leakage-resilient symmetric cryptography}},
doi = {10.1007/978-3-642-33027-8_13},
volume = {7428},
year = {2012},
}
@inproceedings{2049,
abstract = {We propose a new authentication protocol that is provably secure based on a ring variant of the learning parity with noise (LPN) problem. The protocol follows the design principle of the LPN-based protocol from Eurocrypt’11 (Kiltz et al.), and like it, is a two round protocol secure against active attacks. Moreover, our protocol has small communication complexity and a very small footprint which makes it applicable in scenarios that involve low-cost, resource-constrained devices.
Performance-wise, our protocol is more efficient than previous LPN-based schemes, such as the many variants of the Hopper-Blum (HB) protocol and the aforementioned protocol from Eurocrypt’11. Our implementation results show that it is even comparable to the standard challenge-and-response protocols based on the AES block-cipher. Our basic protocol is roughly 20 times slower than AES, but with the advantage of having 10 times smaller code size. Furthermore, if a few hundred bytes of non-volatile memory are available to allow the storage of some off-line pre-computations, then the online phase of our protocols is only twice as slow as AES.
},
author = {Heyse, Stefan and Kiltz, Eike and Lyubashevsky, Vadim and Paar, Christof and Pietrzak, Krzysztof Z},
booktitle = { Conference proceedings FSE 2012},
location = {Washington, DC, USA},
pages = {346 -- 365},
publisher = {Springer},
title = {{Lapin: An efficient authentication protocol based on ring-LPN}},
doi = {10.1007/978-3-642-34047-5_20},
volume = {7549},
year = {2012},
}
@article{2073,
abstract = {Background: Drosophila albomicans is a unique model organism for studying both sex chromosome and B chromosome evolution. A pair of its autosomes comprising roughly 40% of the whole genome has fused to the ancient X and Y chromosomes only about 0.12 million years ago, thereby creating the youngest and most gene-rich neo-sex system reported to date. This species also possesses recently derived B chromosomes that show non-Mendelian inheritance and significantly influence fertility.Methods: We sequenced male flies with B chromosomes at 124.5-fold genome coverage using next-generation sequencing. To characterize neo-Y specific changes and B chromosome sequences, we also sequenced inbred female flies derived from the same strain but without B's at 28.5-fold.Results: We assembled a female genome and placed 53% of the sequence and 85% of the annotated proteins into specific chromosomes, by comparison with the 12 Drosophila genomes. Despite its very recent origin, the non-recombining neo-Y chromosome shows various signs of degeneration, including a significant enrichment of non-functional genes compared to the neo-X, and an excess of tandem duplications relative to other chromosomes. We also characterized a B-chromosome linked scaffold that contains an actively transcribed unit and shows sequence similarity to the subcentromeric regions of both the ancient X and the neo-X chromosome.Conclusions: Our results provide novel insights into the very early stages of sex chromosome evolution and B chromosome origination, and suggest an unprecedented connection between the births of these two systems in D. albomicans.},
author = {Zhou, Qi and Zhu, Hongmei and Huang, Quanfei and Zhao, Li and Zhang, Guo J and Roy, Scott W and Beatriz Vicoso and Xuan, Zhaolin and Ruan, Jue and Zhang, Yue and Zhao, Ruoping and Ye, Chen and Zhang, Xiuqing and Wang, Jùn and Wang, Wen and Bachtrog, Doris},
journal = {BMC Genomics},
number = {1},
publisher = {BioMed Central},
title = {{Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans}},
doi = {10.1186/1471-2164-13-109},
volume = {13},
year = {2012},
}
@article{2079,
abstract = {We introduce an algorithm and representation for fabricating 3D shape abstractions using mutually intersecting planar cut-outs. The planes have prefabricated slits at their intersections and are assembled by sliding them together. Often such abstractions are used as a sculptural art form or in architecture and are colloquially called ‘cardboard sculptures’. Based on an analysis of construction rules, we propose an extended binary space partitioning tree as an efficient representation of such cardboard models which allows us to quickly evaluate the feasibility of newly added planar elements. The complexity of insertion order quickly increases with the number of planar elements and manual analysis becomes intractable. We provide tools for generating cardboard sculptures with guaranteed constructibility. In combination with a simple optimization and sampling strategy for new elements, planar shape abstraction models can be designed by iteratively adding elements. As an output, we obtain a fabrication plan that can be printed or sent to a laser cutter. We demonstrate the complete process by designing and fabricating cardboard models of various well-known 3D shapes.},
author = {Hildebrand, Kristian and Bernd Bickel and Alexa, Marc},
journal = {Computer Graphics Forum},
number = {2pt3},
pages = {583 -- 592},
publisher = {Wiley-Blackwell},
title = {{crdbrd: Shape fabrication by sliding planar slices}},
doi = {10.1111/j.1467-8659.2012.03037.x},
volume = {31},
year = {2012},
}
@article{2101,
abstract = {Articulated deformable characters are widespread in computer animation. Unfortunately, we lack methods for their automatic fabrication using modern additive manufacturing (AM) technologies. We propose a method that takes a skinned mesh as input, then estimates a fabricatable single-material model that approximates the 3D kinematics of the corresponding virtual articulated character in a piecewise linear manner. We first extract a set of potential joint locations. From this set, together with optional, user-specified range constraints, we then estimate mechanical friction joints that satisfy inter-joint non-penetration and other fabrication constraints. To avoid brittle joint designs, we place joint centers on an approximate medial axis representation of the input geometry, and maximize each joint's minimal cross-sectional area. We provide several demonstrations, manufactured as single, assembled pieces using 3D printers. },
author = {Bac̈her, Moritz and Bernd Bickel and James, Doug L and Pfister, Hanspeter},
journal = {ACM Transactions on Graphics},
number = {4},
publisher = {ACM},
title = {{Fabricating articulated characters from skinned meshes}},
doi = {10.1145/2185520.2185543},
volume = {31},
year = {2012},
}
@article{2102,
abstract = {We propose a complete process for designing, simulating, and fabricating synthetic skin for an animatronics character that mimics the face of a given subject and its expressions. The process starts with measuring the elastic properties of a material used to manufacture synthetic soft tissue. Given these measurements we use physicsbased simulation to predict the behavior of a face when it is driven by the underlying robotic actuation. Next, we capture 3D facial expressions for a given target subject. As the key component of our process, we present a novel optimization scheme that determines the shape of the synthetic skin as well as the actuation parameters that provide the best match to the target expressions. We demonstrate this computational skin design by physically cloning a real human face onto an animatronics figure. },
author = {Bernd Bickel and Kaufmann, Peter and Skouras, Mélina and Thomaszewski, Bernhard and Bradley, Derek J and Beeler, Thabo and Jackson, Philip V and Marschner, Steve and Matusik, Wojciech and Groß, Markus S},
journal = {ACM Transactions on Graphics},
number = {4},
publisher = {ACM},
title = {{Physical face cloning}},
doi = {10.1145/2185520.2185614},
volume = {31},
year = {2012},
}
@article{2103,
abstract = {Although facial hair plays an important role in individual expression, facial-hair reconstruction is not addressed by current facecapture systems. Our research addresses this limitation with an algorithm that treats hair and skin surface capture together in a coupled fashion so that a high-quality representation of hair fibers as well as the underlying skin surface can be reconstructed. We propose a passive, camera-based system that is robust against arbitrary motion since all data is acquired within the time period of a single exposure. Our reconstruction algorithm detects and traces hairs in the captured images and reconstructs them in 3D using a multiview stereo approach. Our coupled skin-reconstruction algorithm uses information about the detected hairs to deliver a skin surface that lies underneath all hairs irrespective of occlusions. In dense regions like eyebrows, we employ a hair-synthesis method to create hair fibers that plausibly match the image data. We demonstrate our scanning system on a number of individuals and show that it can successfully reconstruct a variety of facial-hair styles together with the underlying skin surface.},
author = {Beeler, Thabo and Bernd Bickel and Noris, Gioacchino and Beardsley, Paul A and Marschner, Steve and Sumner, Robert W and Groß, Markus S},
journal = {ACM Transactions on Graphics},
number = {4},
publisher = {ACM},
title = {{Coupled 3D reconstruction of sparse facial hair and skin}},
doi = {10.1145/2185520.2185613},
volume = {31},
year = {2012},
}
@inproceedings{2104,
abstract = {In recent years, various methods have been introduced to exploit pre-recorded data to improve the performance and/or realism of dynamic deformations, but their differences and similarities have not been adequately analyzed or discussed. So far, the proposed methods have been explored mainly in the research context. They have not been adopted by the computer graphics industry. This course bridges the gap between research labs and industry to present a unifying theory and understanding of data-driven methods for dynamic deformations that may inspire development of novel solutions. It focuses on application of data-driven methods to three areas of computer animation: dynamic deformation of faces, soft volumetric tissue, and cloth. And it describes how to approach these challenges in a data-driven manner, classifies the various methods, and demonstrates how data-driven methods can work in other settings. },
author = {Otaduy, Miguel A and Bernd Bickel and Bradley, Derek J and Wang, Huamin},
publisher = {ACM},
title = {{Data-driven simulation methods in computer graphics: Cloth, tissue and faces}},
doi = {10.1145/2343483.2343495},
year = {2012},
}
@inproceedings{2105,
author = {Skouras, Mélina and Thomaszewski, Bernhard and Bernd Bickel and Groß, Markus S},
number = {2},
pages = {835 -- 844},
publisher = {Wiley-Blackwell},
title = {{Computational design of rubber balloons}},
doi = {10.1111/j.1467-8659.2012.03064.x},
volume = {31},
year = {2012},
}
@inproceedings{2106,
abstract = {Progress in cloth simulation for computer animation and apparel design has led to a multitude of deformation models, each with its own way of relating geometry, deformation, and forces. As simulators improve, differences between these models become more important, but it is difficult to choose a model and a set of parameters to match a given real material simply by looking at simulation results. This paper provides measurement and fitting methods that allow nonlinear models to be fit to the observed deformation of a particular cloth sample. Unlike standard textile testing, our system measures complex 3D deformations of a sheet of cloth, not just one-dimensional force-displacement curves, so it works under a wider range of deformation conditions. The fitted models are then evaluated by comparison to measured deformations with motions very different from those used for fitting.},
author = {Miguel, Eder and Bradley, Derek J and Thomaszewski, Bernhard and Bernd Bickel and Matusik, Wojciech and Otaduy, Miguel A and Marschner, Steve},
number = {2},
pages = {519 -- 528},
publisher = {Wiley-Blackwell},
title = {{Data-driven estimation of cloth simulation models}},
doi = {10.1111/j.1467-8659.2012.03031.x},
volume = {31},
year = {2012},
}
@article{2125,
abstract = {We consider a class of stochastic PDEs of Burgers type in spatial dimension 1, driven by space–time white noise. Even though it is well known that these equations are well posed, it turns out that if one performs a spatial discretization of the nonlinearity in the “wrong” way, then the sequence of approximate equations does converge to a limit, but this limit exhibits an additional correction term. This correction term is proportional to the local quadratic cross-variation (in space) of the gradient of the conserved quantity with the solution itself. This can be understood as a consequence of the fact that for any fixed time, the law of the solution is locally equivalent to Wiener measure, where space plays the role of time. In this sense, the correction term is similar to the usual Itô–Stratonovich correction term that arises when one considers different temporal discretizations of stochastic ODEs.},
author = {Hairer, Martin M and Jan Maas},
journal = {Annals of Probability},
number = {4},
pages = {1675 -- 1714},
publisher = {Institute of Mathematical Statistics},
title = {{A spatial version of the Itô-Stratonovich correction}},
doi = {10.1214/11-AOP662},
volume = {40},
year = {2012},
}
@article{2127,
abstract = {We study a new notion of Ricci curvature that applies to Markov chains on discrete spaces. This notion relies on geodesic convexity of the entropy and is analogous to the one introduced by Lott, Sturm, and Villani for geodesic measure spaces. In order to apply to the discrete setting, the role of the Wasserstein metric is taken over by a different metric, having the property that continuous time Markov chains are gradient flows of the entropy. Using this notion of Ricci curvature we prove discrete analogues of fundamental results by Bakry–Émery and Otto–Villani. Further, we show that Ricci curvature bounds are preserved under tensorisation. As a special case we obtain the sharp Ricci curvature lower bound for the discrete hypercube.},
author = {Erbar, Matthias and Jan Maas},
journal = {Archive for Rational Mechanics and Analysis},
number = {3},
pages = {997 -- 1038},
publisher = {Springer},
title = {{Ricci curvature of finite Markov chains via convexity of the entropy}},
doi = {10.1007/s00205-012-0554-z},
volume = {206},
year = {2012},
}
@article{2128,
abstract = {We introduce a technique for handling Whitney decompositions in Gaussian harmonic analysis and apply it to the study of Gaussian analogues of the classical tent spaces T 1,q of Coifman–Meyer–Stein.},
author = {Jan Maas and van Neerven, Jan M and Portal, Pierre},
journal = {Arkiv för Matematik},
number = {2},
pages = {379 -- 395},
publisher = {Springer},
title = {{Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure}},
doi = {10.1007/s11512-010-0143-z},
volume = {50},
year = {2012},
}
@article{2151,
author = {Mikhail Lemeshko and Krems, Roman V and Weimer, Hendrik A},
journal = {Physical Review Letters},
number = {4},
publisher = {American Physical Society},
title = {{Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules}},
doi = {10.1103/PhysRevLett.109.049901},
volume = {109},
year = {2012},
}
@article{2201,
abstract = {We study the growth dynamics of ordered structures of strongly interacting polar molecules in optical lattices. Using a dipole blockade of microwave excitations, we map the system onto an interacting spin-1/2 model possessing ground states with crystalline order, and describe a way to prepare these states by nonadiabatically driving the transitions between molecular rotational levels. The proposed technique bypasses the need to cross a phase transition and allows for the creation of ordered domains of considerably larger size compared to approaches relying on adiabatic preparation.},
author = {Mikhail Lemeshko and Krems, Roman V and Weimer, Hendrik},
journal = {Physical Review Letters},
number = {3},
publisher = {American Physical Society},
title = {{Nonadiabatic preparation of spin crystals with ultracold polar molecules}},
doi = {10.1103/PhysRevLett.109.035301},
volume = {109},
year = {2012},
}
@article{2202,
abstract = {We propose a method for sensitive parallel detection of low-frequency electromagnetic fields based on the fine structure interactions in paramagnetic polar molecules. Compared to the recently implemented scheme employing ultracold 87Rb atoms by Böhi, the technique based on molecules offers a 100-fold higher sensitivity, the possibility to measure both the electric and magnetic field components, and a probe of a wide range of frequencies from the dc limit to the THz regime.},
author = {Alyabyshev, Sergey V and Mikhail Lemeshko and Krems, Roman V},
journal = {Physical Review A - Atomic, Molecular, and Optical Physics},
number = {1},
publisher = {American Physical Society},
title = {{Sensitive imaging of electromagnetic fields with paramagnetic polar molecules}},
doi = {10.1103/PhysRevA.86.013409},
volume = {86},
year = {2012},
}
@article{2203,
abstract = {We show that the electric dipole-dipole interaction between a pair of polar molecules undergoes an all-out transformation when superimposed by a far-off-resonant optical field. The combined interaction potential becomes tunable by variation of wavelength, polarisation and intensity of the optical field and its dependence on the intermolecular separation exhibits a crossover from an inverse-power to an oscillating behaviour. The ability thereby offered to control molecular interactions opens up avenues toward the creation and manipulation of novel phases of ultracold polar gases among whose characteristics is a long-range entanglement of the dipoles' mutual orientation. We devised an accurate analytic model of such optical-field-dressed dipole-dipole interaction potentials, which enables a straightforward access to the optical-field parameters required for the design of intermolecular interactions in the laboratory.},
author = {Mikhail Lemeshko and Friedrich, Břetislav},
journal = {Molecular Physics},
number = {15-16},
pages = {1873 -- 1881},
publisher = {Taylor & Francis},
title = {{Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other}},
doi = {10.1080/00268976.2012.689868},
volume = {110},
year = {2012},
}
@article{2262,
abstract = {Mosaic Analysis with Double Markers (MADM) is a method for generating genetically mosaic mice, in which sibling mutant and wild-type cells are labeled with different fluorescent markers. It is a powerful tool that enables analysis of gene function at the single cell level in vivo. It requires transgenic cassettes to be located between the centromere and the mutation in the gene of interest on the same chromosome. Here we compare procedures for introduction of MADM cassettes into new loci in the mouse genome, and describe new approaches for expanding the utility of MADM. We show that: 1) Targeted homologous recombination outperforms random transgenesis in generation of reliably expressed MADM cassettes, 2) MADM cassettes in new genomic loci need to be validated for biallelic and ubiquitous expression, 3) Recombination between MADM cassettes on different chromosomes can be used to study reciprocal chromosomal deletions/duplications, and 4) MADM can be modified to permit transgene expression by combining it with a binary expression system. The advances described in this study expand current, and enable new and more versatile applications of MADM.},
author = {Tasic, Bosiljka and Miyamichi, Kazunari and Simon Hippenmeyer and Dani, Vardhan S. and Zeng, H. and Joo, William and Zong, Hui and Chen-Tsai, Yanru and Luo, Liqun},
journal = {PLoS One},
number = {3},
publisher = {Public Library of Science},
title = {{Extensions of MADM (Mosaic Analysis with Double Markers) in Mice }},
doi = {10.1371/journal.pone.0033332},
volume = {7},
year = {2012},
}
@article{2263,
abstract = {Nestin-cre transgenic mice have been widely used to direct recombination to neural stem cells (NSCs) and intermediate neural progenitor cells (NPCs). Here we report that a readily utilized, and the only commercially available, Nestin-cre line is insufficient for directing recombination in early embryonic NSCs and NPCs. Analysis of recombination efficiency in multiple cre-dependent reporters and a genetic mosaic line revealed consistent temporal and spatial patterns of recombination in NSCs and NPCs. For comparison we utilized a knock-in Emx1cre line and found robust recombination in NSCs and NPCs in ventricular and subventricular zones of the cerebral cortices as early as embryonic day 12.5. In addition we found that the rate of Nestin-cre driven recombination only reaches sufficiently high levels in NSCs and NPCs during late embryonic and early postnatal periods. These findings are important when commercially available cre lines are considered for directing recombination to embryonic NSCs and NPCs.},
author = {Liang, Huixuan and Hippenmeyer, Simon and Ghashghaei, H.},
journal = {Biology open},
number = {12},
pages = {1200 -- 1203},
publisher = {The Company of Biologists},
title = {{A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors}},
doi = {10.1242/bio.20122287},
volume = {1},
year = {2012},
}
@inproceedings{2267,
abstract = {Capturing real-world objects with laser-scanning technology has become an everyday task. Recently, the acquisition of dynamic scenes at interactive frame rates has become feasible. A high-quality visualization of the resulting point cloud stream would require a per-frame reconstruction of object surfaces. Unfortunately, reconstruction computations are still too time-consuming to be applied interactively. In this paper we present a local surface reconstruction and visualization technique that provides interactive feedback for reasonably sized point clouds, while achieving high image quality. Our method is performed entirely on the GPU and in screen pace, exploiting the efficiency of the common rasterization pipeline. The approach is very general, as no assumption is made about point connectivity or sampling density. This naturally allows combining the outputs of multiple scanners in a single visualization, which is useful for many virtual and augmented reality applications. },
author = {Preiner, Reinhold and Jeschke, Stefan and Wimmer, Michael},
location = {Calgari, Italy},
pages = {139 -- 148},
publisher = {Eurographics Association},
title = {{Auto splats: Dynamic point cloud visualization on the GPU}},
doi = {10.2312/EGPGV/EGPGV12/139-148},
year = {2012},
}
@inproceedings{2268,
abstract = {This paper presents an analytic formulation for anti-aliased sampling of 2D polygons and 3D polyhedra. Our framework allows the exact evaluation of the convolution integral with a linear function defined on the polytopes. The filter is a spherically symmetric polynomial of any order, supporting approximations to refined variants such as the Mitchell-Netravali filter family. This enables high-quality rasterization of triangles and tetrahedra with linearly interpolated vertex values to regular and non-regular grids. A closed form solution of the convolution is presented and an efficient implementation on the GPU using DirectX and CUDA C is described. },
author = {Thomas Auzinger and Guthe, Michael and Stefan Jeschke},
number = {121},
pages = {335 -- 344},
publisher = {Wiley-Blackwell},
title = {{Analytic anti-aliasing of linear functions on polytopes}},
doi = {http://dx.doi.org/10.1111/j.1467-8659.2012.03012.x},
volume = {31},
year = {2012},
}
@article{2302,
abstract = {We introduce propagation models (PMs), a formalism able to express several kinds of equations that describe the behavior of biochemical reaction networks. Furthermore, we introduce the propagation abstract data type (PADT), which separates concerns regarding different numerical algorithms for the transient analysis of biochemical reaction networks from concerns regarding their implementation, thus allowing for portable and efficient solutions. The state of a propagation abstract data type is given by a vector that assigns mass values to a set of nodes, and its (next) operator propagates mass values through this set of nodes. We propose an approximate implementation of the (next) operator, based on threshold abstraction, which propagates only "significant" mass values and thus achieves a compromise between efficiency and accuracy. Finally, we give three use cases for propagation models: the chemical master equation (CME), the reaction rate equation (RRE), and a hybrid method that combines these two equations. These three applications use propagation models in order to propagate probabilities and/or expected values and variances of the model's variables.},
author = {Henzinger, Thomas A and Mateescu, Maria},
journal = {IEEE ACM Transactions on Computational Biology and Bioinformatics},
number = {2},
pages = {310 -- 322},
publisher = {IEEE},
title = {{The propagation approach for computing biochemical reaction networks}},
doi = {10.1109/TCBB.2012.91},
volume = {10},
year = {2012},
}
@article{2313,
abstract = {The translation of "next-generation" sequencing directly to the clinic is still being assessed but has the potential for genetic diseases to reduce costs, advance accuracy, and point to unsuspected yet treatable conditions. To study its capability in the clinic, we performed whole-exome sequencing in 118 probands with a diagnosis of a pediatric-onset neurodevelopmental disease in which most known causes had been excluded. Twenty-two genes not previously identified as disease-causing were identified in this study (19% of cohort), further establishing exome sequencing as a useful tool for gene discovery. New genes identified included EXOC8 in Joubert syndrome and GFM2 in a patient with microcephaly, simplified gyral pattern, and insulin-dependent diabetes. Exome sequencing uncovered 10 probands (8% of cohort) with mutations in genes known to cause a disease different from the initial diagnosis. Upon further medical evaluation, these mutations were found to account for each proband's disease, leading to a change in diagnosis, some of which led to changes in patient management. Our data provide proof of principle that genomic strategies are useful in clarifying diagnosis in a proportion of patients with neurodevelopmental disorders.},
author = {Dixon-Salazar, Tracy J and Silhavy, Jennifer L and Udpa, Nitin and Schroth, Jana and Bielas, Stephanie L and Schaffer, Ashleigh E and Olvera, Jesus and Bafna, Vineet K and Zaki, Maha S and Abdel-Salam, Ghada M and Mansour, Lobna A and Selim, Laila A and Abdel-Hadi, Sawsan S and Marzouki, Naima and Ben-Omran, Tawfeg I and Al-Saana, Nouriya A and Sönmez, Fatma M and Celep, Figen and Azam, Matloob and Hill, Kiley J and Collazo, Adrienne and Fenstermaker, Ali G and Gaia Novarino and Akizu, Naiara and Garimella, Kiran V and Sougnez, Carrie L and Russ, Carsten and Gabriel, Stacey B and Gleeson, Joseph G},
journal = {Science Translational Medicine},
number = {138},
publisher = {American Association for the Advancement of Science},
title = {{Exome sequencing can improve diagnosis and alter patient management}},
doi = {10.1126/scitranslmed.3003544},
volume = {4},
year = {2012},
}
@article{2314,
abstract = {Autism spectrum disorders are a genetically heterogeneous constellation of syndromes characterized by impairments in reciprocal social interaction. Available somatic treatments have limited efficacy. We have identified inactivating mutations in the gene BCKDK (Branched Chain Ketoacid Dehydrogenase Kinase) in consanguineous families with autism, epilepsy, and intellectual disability. The encoded protein is responsible for phosphorylation-mediated inactivation of the E1α subunit of branched-chain ketoacid dehydrogenase (BCKDH). Patients with homozygous BCKDK mutations display reductions in BCKDK messenger RNA and protein, E1α phosphorylation, and plasma branched-chain amino acids. Bckdk knockout mice show abnormal brain amino acid profiles and neurobehavioral deficits that respond to dietary supplementation. Thus, autism presenting with intellectual disability and epilepsy caused by BCKDK mutations represents a potentially treatable syndrome.},
author = {Gaia Novarino and El-Fishawy, Paul and Kayserili, Hülya and Meguid, Nagwa A and Scott, Eric M and Schroth, Jana and Silhavy, Jennifer L and Kara, Majdi and Khalil, Rehab O and Ben-Omran, Tawfeg I and Ercan-Sencicek, Adife G and Hashish, Adel F and Sanders, Stephan J and Gupta, Abha R and Hashem, Hebatalla S and Matern, Dietrich and Gabriel, Stacey B and Sweetman, Lawrence and Rahimi, Yasmeen and Harris, Robert A and State, Matthew W and Gleeson, Joseph G},
journal = {Science},
number = {6105},
pages = {394 -- 397},
publisher = {American Association for the Advancement of Science},
title = {{Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy}},
doi = {10.1126/science.1224631},
volume = {338},
year = {2012},
}
@inproceedings{2316,
abstract = {We summarize our recent results on the ground state energy of multi-polaron systems. In particular, we discuss stability and existence of the thermodynamic limit, and we discuss the absence of binding in the case of large Coulomb repulsion and the corresponding binding-unbinding transition. We also consider the Pekar-Tomasevich approximation to the ground state energy and we study radial symmetry of the ground state density. },
author = {Frank, Rupert L and Lieb, Élliott H and Robert Seiringer and Thomas, Lawrence E},
pages = {477 -- 485},
publisher = {World Scientific Publishing},
title = {{Ground state properties of multi-polaron systems}},
doi = {10.1142/9789814449243_0045},
year = {2012},
}
@inproceedings{2317,
abstract = {We present a summary of our recent rigorous derivation of the celebrated Ginzburg-Landau (GL) theory, starting from the microscopic Bardeen-Cooper-Schrieffer (BCS) model. Close to the critical temperature, GL arises as an effective theory on the macroscopic scale. The relevant scaling limit is semiclassical in nature, and semiclassical analysis, with minimal regularity assumptions, plays an important part in our proof. },
author = {Frank, Rupert L and Hainzl, Christian and Robert Seiringer and Solovej, Jan P},
pages = {575 -- 583},
publisher = {World Scientific Publishing},
title = {{Microscopic derivation of the Ginzburg-Landau model}},
doi = {10.1142/9789814449243_0060},
year = {2012},
}
@article{2318,
abstract = {We show that bosons interacting via pair potentials with negative scattering length form bound states for a suitable number of particles. In other words, the absence of many-particle bound states of any kind implies the non-negativity of the scattering length of the interaction potential. },
author = {Seiringer, Robert},
journal = {Journal of Spectral Theory},
number = {3},
pages = {321--328},
publisher = {European Mathematical Society},
title = {{Absence of bound states implies non-negativity of the scattering length}},
doi = {10.4171/JST/31},
volume = {2},
year = {2012},
}
@article{237,
abstract = {The Manin conjecture is established for Châtelet surfaces over Q aris-ing as minimal proper smooth models of the surface Y 2 + Z 2 = f(X) in A 3 Q, where f ∈ Z[X] is a totally reducible polynomial of degree 3 without repeated roots. These surfaces do not satisfy weak approximation.},
author = {de la Bretèche, Régis and Timothy Browning and Peyre, Emmanuel},
journal = {Annals of Mathematics},
number = {1},
pages = {297 -- 343},
publisher = {Princeton University Press},
title = {{On Manin's conjecture for a family of Châtelet surfaces}},
doi = {10.4007/annals.2012.175.1.8},
volume = {175},
year = {2012},
}
@article{238,
abstract = {For given positive integers a, b, q we investigate the density of solutions (x, y) ∈ Z2 to congruences ax + by2 ≡ 0 mod q.},
author = {Baier, Stephan and Timothy Browning},
journal = {Functiones et Approximatio, Commentarii Mathematici},
number = {2},
pages = {267 -- 286},
publisher = {Adam Mickiewicz University Press},
title = {{Inhomogeneous quadratic congruences}},
doi = {10.7169/facm/2012.47.2.9},
volume = {47},
year = {2012},
}
@article{2394,
abstract = {We study the BCS gap equation for a Fermi gas with unequal population of spin-up and spin-down states. For cosh (δ μ/T) ≤ 2, with T the temperature and δμ the chemical potential difference, the question of existence of non-trivial solutions can be reduced to spectral properties of a linear operator, similar to the unpolarized case studied previously in [Frank, R. L., Hainzl, C., Naboko, S., and Seiringer, R., J., Geom. Anal.17, 559-567 (2007)10.1007/BF02937429; Hainzl, C., Hamza, E., Seiringer, R., and Solovej, J. P., Commun., Math. Phys.281, 349-367 (2008)10.1007/s00220-008-0489-2; and Hainzl, C. and Seiringer, R., Phys. Rev. B77, 184517-110 435 (2008)]10.1103/PhysRevB.77.184517. For cosh (δ μ/T) > 2 the phase diagram is more complicated, however. We derive upper and lower bounds for the critical temperature, and study their behavior in the small coupling limit.},
author = {Freiji, Abraham and Hainzl, Christian and Robert Seiringer},
journal = {Journal of Mathematical Physics},
number = {1},
publisher = {American Institute of Physics},
title = {{The gap equation for spin-polarized fermions}},
doi = {10.1063/1.3670747},
volume = {53},
year = {2012},
}
@article{2395,
abstract = {We give the first rigorous derivation of the celebrated Ginzburg-Landau (GL) theory, starting from the microscopic Bardeen-Cooper-Schrieffer (BCS) model. Close to the critical temperature, GL arises as an effective theory on the macroscopic scale. The relevant scaling limit is semiclassical in nature, and semiclassical analysis, with minimal regularity assumptions, plays an important part in our proof. },
author = {Frank, Rupert L and Hainzl, Christian and Robert Seiringer and Solovej, Jan P},
journal = {Journal of the American Mathematical Society},
number = {3},
pages = {667 -- 713},
publisher = {American Mathematical Society},
title = {{Microscopic derivation of Ginzburg-Landau theory}},
doi = {10.1090/S0894-0347-2012-00735-8},
volume = {25},
year = {2012},
}
@article{2396,
abstract = {A positive temperature analogue of the scattering length of a potential V can be defined via integrating the difference of the heat kernels of -Δ and, with Δ the Laplacian. An upper bound on this quantity is a crucial input in the derivation of a bound on the critical temperature of a dilute Bose gas (Seiringer and Ueltschi in Phys Rev B 80:014502, 2009). In (Seiringer and Ueltschi in Phys Rev B 80:014502, 2009), a bound was given in the case of finite range potentials and sufficiently low temperature. In this paper, we improve the bound and extend it to potentials of infinite range.},
author = {Landon, Benjamin and Robert Seiringer},
journal = {Letters in Mathematical Physics},
number = {3},
pages = {237 -- 243},
publisher = {Springer},
title = {{The scattering length at positive temperature}},
doi = {10.1007/s11005-012-0566-5},
volume = {100},
year = {2012},
}
@article{2397,
abstract = {We consider the low-density limit of a Fermi gas in the BCS approximation. We show that if the interaction potential allows for a two-particle bound state, the system at zero temperature is well approximated by the Gross-Pitaevskii functional, describing a Bose-Einstein condensate of fermion pairs.},
author = {Hainzl, Christian and Robert Seiringer},
journal = {Letters in Mathematical Physics},
number = {2},
pages = {119 -- 138},
publisher = {Springer},
title = {{Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs}},
doi = {10.1007/s11005-011-0535-4},
volume = {100},
year = {2012},
}
@misc{2398,
abstract = {We extend the mathematical theory of quantum hypothesis testing to the general W*-algebraic setting and explore its relation with recent developments in non-equilibrium quantum statistical mechanics. In particular, we relate the large deviation principle for the full counting statistics of entropy flow to quantum hypothesis testing of the arrow of time.},
author = {Jakšić, Vojkan and Ogata, Yoshiko and Pillet, Claude A and Robert Seiringer},
booktitle = {Reviews in Mathematical Physics},
number = {6},
publisher = {World Scientific Publishing},
title = {{Quantum hypothesis testing and non-equilibrium statistical mechanics}},
doi = {10.1142/S0129055X12300026},
volume = {24},
year = {2012},
}
@inbook{2399,
abstract = {Bose–Einstein condensation (BEC) in cold atomic gases was first achieved experimentally in 1995 [1, 6]. After initial failed attempts with spin-polarized atomic hydrogen, the first successful demonstrations of this phenomenon used gases of rubidium and sodium atoms, respectively. Since then there has been a surge of activity in this field, with ingenious experiments putting forth more and more astonishing results about the behavior of matter at very cold temperatures.
},
author = {Robert Seiringer},
booktitle = {Quantum Many Body Systems},
editor = {Rivasseau, Vincent and Robert Seiringer and Solovej, Jan P and Spencer, Thomas},
pages = {55 -- 92},
publisher = {Springer},
title = {{Cold quantum gases and bose einstein condensation}},
doi = {10.1007/978-3-642-29511-9_2},
volume = {2051},
year = {2012},
}
@article{240,
abstract = {We investigate the frequency of positive squareful numbers x, y, z≤B for which x+y=z and present a conjecture concerning its asymptotic behavior.},
author = {Timothy Browning and Valckenborgh, K Van},
journal = {Experimental Mathematics},
number = {2},
pages = {204 -- 211},
publisher = {Taylor & Francis},
title = {{Sums of three squareful numbers}},
doi = {10.1080/10586458.2011.605733},
volume = {21},
year = {2012},
}
@article{2400,
abstract = {If the polaron coupling constant α is large enough, bipolarons or multi-polarons will form. When passing through the critical α c from above, does the radius of the system simply get arbitrarily large or does it reach a maximum and then explode? We prove that it is always the latter. We also prove the analogous statement for the Pekar-Tomasevich (PT) approximation to the energy, in which case there is a solution to the PT equation at α c. Similarly, we show that the same phenomenon occurs for atoms, e. g., helium, at the critical value of the nuclear charge. Our proofs rely only on energy estimates, not on a detailed analysis of the Schrödinger equation, and are very general. They use the fact that the Coulomb repulsion decays like 1/r, while 'uncertainty principle' localization energies decay more rapidly, as 1/r 2.},
author = {Frank, Rupert L and Lieb, Élliott H and Robert Seiringer},
journal = {Communications in Mathematical Physics},
number = {2},
pages = {405 -- 424},
publisher = {Springer},
title = {{Binding of polarons and atoms at threshold}},
doi = {10.1007/s00220-012-1436-9},
volume = {313},
year = {2012},
}
@article{2401,
abstract = {We find further implications of the BMV conjecture, which states that for hermitian matrices B≥0 and A, the function λ {mapping} Tr exp(A - λB) is the Laplace transform of a positive measure supported on [0,∞].},
author = {Lieb, Élliott H and Robert Seiringer},
journal = {Journal of Statistical Physics},
number = {1},
pages = {86 -- 91},
publisher = {Springer},
title = {{Further implications of the Bessis-Moussa-Villani conjecture}},
doi = {10.1007/s10955-012-0585-8},
volume = {149},
year = {2012},
}
@article{2402,
abstract = {We consider a model of quantum-mechanical particles interacting via point interactions of infinite scattering length. In the case of fermions we prove a Lieb-Thirring inequality for the energy, i.e., we show that the energy is bounded from below by a constant times the integral of the particle density to the power.},
author = {Frank, Rupert L and Robert Seiringer},
journal = {Journal of Mathematical Physics},
number = {9},
publisher = {American Institute of Physics},
title = {{Lieb-Thirring inequality for a model of particles with point interactions}},
doi = {10.1063/1.3697416},
volume = {53},
year = {2012},
}
@article{2403,
abstract = {We study the effects of random scatterers on the ground state of the one-dimensional Lieb-Liniger model of interacting bosons on the unit interval in the Gross-Pitaevskii regime. We prove that Bose-Einstein condensation survives even a strong random potential with a high density of scatterers. The character of the wavefunction of the condensate, however, depends in an essential way on the interplay between randomness and the strength of the two-body interaction. For low density of scatterers and strong interactions the wavefunction extends over the whole interval. A high density of scatterers and weak interactions, on the other hand, lead to localization of the wavefunction in a fragmented subset of the interval.},
author = {Robert Seiringer and Yngvason, Jakob and Zagrebnov, Valentin A},
journal = {Journal of Statistical Mechanics Theory and Experiment},
number = {11},
publisher = {IOP Publishing Ltd.},
title = {{Disordered Bose-Einstein condensates with interaction in one dimension}},
doi = {10.1088/1742-5468/2012/11/P11007},
volume = {2012},
year = {2012},
}
@article{241,
abstract = {The representation of integral binary forms as sums of two squares is discussed and applied to establish the Manin conjecture for certain Châtelet surfaces over ℚ.},
author = {de la Bretèche, Régis and Timothy Browning},
journal = {Israel Journal of Mathematics},
number = {2},
pages = {973 -- 1012},
publisher = {Springer},
title = {{Binary forms as sums of two squares and Châtelet surfaces}},
doi = {10.1007/s11856-012-0019-y},
volume = {191},
year = {2012},
}
@article{2411,
abstract = {The kingdom of fungi provides model organisms for biotechnology, cell biology, genetics, and life sciences in general. Only when their phylogenetic relationships are stably resolved, can individual results from fungal research be integrated into a holistic picture of biology. However, and despite recent progress, many deep relationships within the fungi remain unclear. Here, we present the first phylogenomic study of an entire eukaryotic kingdom that uses a consistency criterion to strengthen phylogenetic conclusions. We reason that branches (splits) recovered with independent data and different tree reconstruction methods are likely to reflect true evolutionary relationships. Two complementary phylogenomic data sets based on 99 fungal genomes and 109 fungal expressed sequence tag (EST) sets analyzed with four different tree reconstruction methods shed light from different angles on the fungal tree of life. Eleven additional data sets address specifically the phylogenetic position of Blastocladiomycota, Ustilaginomycotina, and Dothideomycetes, respectively. The combined evidence from the resulting trees supports the deep-level stability of the fungal groups toward a comprehensive natural system of the fungi. In addition, our analysis reveals methodologically interesting aspects. Enrichment for EST encoded data-a common practice in phylogenomic analyses-introduces a strong bias toward slowly evolving and functionally correlated genes. Consequently, the generalization of phylogenomic data sets as collections of randomly selected genes cannot be taken for granted. A thorough characterization of the data to assess possible influences on the tree reconstruction should therefore become a standard in phylogenomic analyses.},
author = {Ebersberger, Ingo and De Matos Simoes, Ricardo and Kupczok, Anne and Gube, Matthias and Kothe, Erika and Voigt, Kerstin and Von Haeseler, Arndt},
journal = {Molecular Biology and Evolution},
number = {5},
pages = {1319 -- 1334},
publisher = {Oxford University Press},
title = {{A consistent phylogenetic backbone for the fungi}},
doi = {10.1093/molbev/msr285},
volume = {29},
year = {2012},
}
@article{242,
abstract = {We investigate the first and second moments of shifted convolutions of the generalized divisor function d 3(n).},
author = {Baier, Stephan and Timothy Browning and Marasingha, Gihan and Zhao, Liangyi},
journal = {Proceedings of the Edinburgh Mathematical Society},
number = {3},
pages = {551 -- 576},
publisher = {Cambridge University Press},
title = {{Averages of shifted convolutions of d3 (n)}},
doi = {10.1017/S001309151100037X},
volume = {55},
year = {2012},
}
@article{243,
abstract = {Let P(t) ∈ ℚ[t] be an irreducible quadratic polynomial and suppose that K is a quartic extension of ℚ containing the roots of P(t). Let N K/ℚ(X) be a full norm form for the extension K/ℚ. We show that the variety P(t) =N K/ℚ(X)≠ 0 satisfies the Hasse principle and weak approximation. The proof uses analytic methods.},
author = {Timothy Browning and Heath-Brown, Roger},
journal = {Geometric and Functional Analysis},
number = {5},
pages = {1124 -- 1190},
publisher = {Springer Basel},
title = {{Quadratic polynomials represented by norm forms}},
doi = {10.1007/s00039-012-0168-5},
volume = {22},
year = {2012},
}
@article{2438,
abstract = {The colored Tverberg theorem asserts that for eve;ry d and r there exists t=t(d,r) such that for every set C ⊂ ℝ d of cardinality (d + 1)t, partitioned into t-point subsets C 1, C 2,...,C d+1 (which we think of as color classes; e. g., the points of C 1 are red, the points of C 2 blue, etc.), there exist r disjoint sets R 1, R 2,...,R r⊆C that are rainbow, meaning that {pipe}R i∩C j{pipe}≤1 for every i,j, and whose convex hulls all have a common point. All known proofs of this theorem are topological. We present a geometric version of a recent beautiful proof by Blagojević, Matschke, and Ziegler, avoiding a direct use of topological methods. The purpose of this de-topologization is to make the proof more concrete and intuitive, and accessible to a wider audience.},
author = {Matoušek, Jiří and Martin Tancer and Uli Wagner},
journal = {Discrete & Computational Geometry},
number = {2},
pages = {245 -- 265},
publisher = {Springer},
title = {{A geometric proof of the colored Tverberg theorem}},
doi = {10.1007/s00454-011-9368-2},
volume = {47},
year = {2012},
}
@article{2439,
abstract = {A Monte Carlo approximation algorithm for the Tukey depth problem in high dimensions is introduced. The algorithm is a generalization of an algorithm presented by Rousseeuw and Struyf (1998) . The performance of this algorithm is studied both analytically and experimentally.},
author = {Chen, Dan and Morin, Pat and Uli Wagner},
journal = {Computational Geometry: Theory and Applications},
number = {5},
pages = {566 -- 573},
publisher = {Elsevier},
title = {{Absolute approximation of Tukey depth: Theory and experiments}},
doi = {10.1016/j.comgeo.2012.03.001},
volume = {46},
year = {2012},
}
@article{244,
abstract = {We investigate the solubility of the congruence xy ≡ 1 (mod p), where p is a prime and x, y are restricted to lie in suitable short intervals. Our work relies on a mean value theorem for incomplete Kloosterman sums.},
author = {Timothy Browning and Haynes, Alan K},
journal = {International Journal of Number Theory},
number = {2},
pages = {481 -- 486},
publisher = {World Scientific Publishing},
title = {{Incomplete kloosterman sums and multiplicative inverses in short intervals}},
doi = { https://doi.org/10.1142/S1793042112501448},
volume = {9},
year = {2012},
}
@inproceedings{2440,
abstract = {We present an algorithm for computing [X, Y], i.e., all homotopy classes of continuous maps X → Y, where X, Y are topological spaces given as finite simplicial complexes, Y is (d - 1)-connected for some d ≥ 2 (for example, Y can be the d-dimensional sphere S d), and dim X ≤ 2d - 2. These conditions on X, Y guarantee that [X, Y] has a natural structure of a finitely generated Abelian group, and the algorithm finds generators and relations for it. We combine several tools and ideas from homotopy theory (such as Postnikov systems, simplicial sets, and obstruction theory) with algorithmic tools from effective algebraic topology (objects with effective homology). We hope that a further extension of the methods developed here will yield an algorithm for computing, in some cases of interest, the ℤ 2-index, which is a quantity playing a prominent role in Borsuk-Ulam style applications of topology in combinatorics and geometry, e.g., in topological lower bounds for the chromatic number of a graph. In a certain range of dimensions, deciding the embeddability of a simplicial complex into ℝ d also amounts to a ℤ 2-index computation. This is the main motivation of our work. We believe that investigating the computational complexity of questions in homotopy theory and similar areas presents a fascinating research area, and we hope that our work may help bridge the cultural gap between algebraic topology and theoretical computer science.},
author = {Čadek, Martin and Marek Krcál and Matoušek, Jiří and Sergeraert, Francis and Vokřínek, Lukáš and Uli Wagner},
pages = {1 -- 10},
publisher = {SIAM},
title = {{Computing all maps into a sphere}},
year = {2012},
}
@inproceedings{2441,
abstract = {Eigenvalues associated to graphs are a well-studied subject. In particular the spectra of the adjacency matrix and of the Laplacian of random graphs G(n, p) are known quite precisely. We consider generalizations of these matrices to simplicial complexes of higher dimensions and study their eigenvalues for the Linial-Meshulam model X k(n, p) of random k-dimensional simplicial complexes on n vertices. We show that for p = Ω(log n/n), the eigenvalues of both, the higher-dimensional adjacency matrix and the Laplacian, are a.a.s. sharply concentrated around two values. In a second part of the paper, we discuss a possible higherdimensional analogue of the Discrete Cheeger Inequality. This fundamental inequality expresses a close relationship between the eigenvalues of a graph and its combinatorial expansion properties; in particular, spectral expansion (a large eigenvalue gap) implies edge expansion. Recently, a higher-dimensional analogue of edge expansion for simplicial complexes was introduced by Gromov, and independently by Linial, Meshulam and Wallach and by Newman and Rabinovich. It is natural to ask whether there is a higher-dimensional version of Cheeger's inequality. We show that the most straightforward version of a higher-dimensional Cheeger inequality fails: for every k > 1, there is an infinite family of k-dimensional complexes that are spectrally expanding (there is a large eigenvalue gap for the Laplacian) but not combinatorially expanding.},
author = {Gundert, Anna and Uli Wagner},
pages = {151 -- 160},
publisher = {ACM},
title = {{On Laplacians of random complexes}},
doi = {10.1145/2261250.2261272},
year = {2012},
}
@article{2453,
abstract = {Constitutive endocytic recycling is a crucial mechanism allowing regulation of the activity of proteins at the plasma membrane and for rapid changes in their localization, as demonstrated in plants for PIN-FORMED (PIN) proteins, the auxin transporters. To identify novel molecular components of endocytic recycling, mainly exocytosis, we designed a PIN1-green fluorescent protein fluorescence imaging-based forward genetic screen for Arabidopsis thaliana mutants that showed increased intracellular accumulation of cargos in response to the trafficking inhibitor brefeldin A (BFA). We identified bex5 (for BFA-visualized exocytic trafficking defective), a novel dominant mutant carrying a missense mutation that disrupts a conserved sequence motif of the small GTPase, RAS GENES FROM RAT BRAINA1b. bex5 displays defects such as enhanced protein accumulation in abnormal BFA compartments, aberrant endosomes, and defective exocytosis and transcytosis. BEX5/RabA1b localizes to trans-Golgi network/early endosomes (TGN/EE) and acts on distinct trafficking processes like those regulated by GTP exchange factors on ADP-ribosylation factors GNOM-LIKE1 and HOPM INTERACTOR7/BFA-VISUALIZED ENDOCYTIC TRAFFICKING DEFECTIVE1, which regulate trafficking at the Golgi apparatus and TGN/EE, respectively. All together, this study identifies Arabidopsis BEX5/RabA1b as a novel regulator of protein trafficking from a TGN/EE compartment to the plasma membrane.},
author = {Feraru, Elena and Feraru, Mugurel Ioan and Asaoka, Rin and Paciorek, Tomasz and De Rycke, Riet M and Tanaka, Hirokazu and Nakano, Akihiko and Jirí Friml},
journal = {Plant Cell},
number = {7},
pages = {3074 -- 3086},
publisher = {American Society of Plant Biologists},
title = {{BEX5/RabA1b regulates trans-Golgi network-to-plasma membrane protein trafficking in Arabidopsis}},
doi = {10.1105/tpc.112.098152},
volume = {24},
year = {2012},
}
@article{2456,
abstract = {The third EMBO Conference on Plant Molecular Biology, which focused on ‘Plant development and environmental interactions’,was held in May 2012 in Matera, Italy. Here, we review some of the topics and themes that emerged from the various contributions; namely, steering technologies, transcriptional networks and hormonal regulation, small RNAs, cell and tissue polarity, environmental control and natural variation. We intend to provide the reader who might have missed this remarkable event with a glimpse of the recent progress made in this blossoming research field.},
author = {Beeckman, Tom and Friml, Jirí},
journal = {Development},
number = {20},
pages = {3677 -- 3682},
publisher = {Company of Biologists},
title = {{Plant developmental biologists meet on stairways in Matera}},
doi = {10.1242/dev.080861},
volume = {139},
year = {2012},
}
@article{2458,
abstract = {Initiation and successive development of organs induce mechanical stresses at the cellular level. Using the tomato shoot apex, a new study now proposes that mechanical strain regulates the plasma membrane abundance of the PIN1 auxin transporter, thereby reinforcing a positive feed-back loop between growth and auxin accumulation.},
author = {Li, Hongjiang and Friml, Jirí and Grunewald, Wim},
journal = {Current Biology},
number = {16},
pages = {R635 -- R637},
publisher = {Cell Press},
title = {{Cell polarity: Stretching prevents developmental cramps}},
doi = {10.1016/j.cub.2012.06.053},
volume = {22},
year = {2012},
}
@article{2459,
abstract = {Coordinated, subcellular trafficking of proteins is one of the fundamental properties of the multicellular eukaryotic organisms. Trafficking involves a large diversity of compartments, pathways, cargo molecules, and vesicle-sorting events. It is also crucial in regulating the localization and, thus, the activity of various proteins, but the process is still poorly genetically defined in plants. In the past, forward genetics screens had been used to determine the function of genes by searching for a specific morphological phenotype in the organism population in which mutations had been induced chemically or by irradiation. Unfortunately, these straightforward genetic screens turned out to be limited in identifying new regulators of intracellular protein transport, because mutations affecting essential trafficking pathways often lead to lethality. In addition, the use of these approaches has been restricted by functional redundancy among trafficking regulators. Screens for mutants that rely on the observation of changes in the cellular localization or dynamics of fluorescent subcellular markers enable, at least partially, to circumvent these issues. Hence, such image-based screens provide the possibility to identify either alleles with weak effects or components of the subcellular trafficking machinery that have no strong impact on the plant growth.},
author = {Zwiewka, Marta and Friml, Jirí},
journal = {Frontiers in Plant Science},
number = {May},
publisher = {Frontiers Research Foundation},
title = {{Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants}},
doi = {10.3389/fpls.2012.00097},
volume = {3},
year = {2012},
}
@article{2474,
abstract = {Interneurons are critical for neuronal circuit function, but how their dendritic morphologies and membrane properties influence information flow within neuronal circuits is largely unknown. We studied the spatiotemporal profile of synaptic integration and short-term plasticity in dendrites of mature cerebellar stellate cells by combining two-photon guided electrical stimulation, glutamate uncaging, electron microscopy, and modeling. Synaptic activation within thin (0.4 μm) dendrites produced somatic responses that became smaller and slower with increasing distance from the soma, sublinear subthreshold input-output relationships, and a somatodendritic gradient of short-term plasticity. Unlike most studies showing that neurons employ active dendritic mechanisms, we found that passive cable properties of thin dendrites determine the sublinear integration and plasticity gradient, which both result from large dendritic depolarizations that reduce synaptic driving force. These integrative properties allow stellate cells to act as spatiotemporal filters of synaptic input patterns, thereby biasing their output in favor of sparse presynaptic activity. Stellate cells are critical sources of inhibition in the cerebellum, but how their dendrites integrate excitatory synaptic inputs is unknown. Abrahamsson et al. show that thin dendrites and passive membrane properties of SCs promote sublinear synaptic summation and distance-dependent short-term plasticity. },
author = {Abrahamsson, Therese and Cathala, Laurence and Matsui, Ko and Ryuichi Shigemoto and DiGregorio, David A},
journal = {Neuron},
number = {6},
pages = {1159 -- 1172},
publisher = {Elsevier},
title = {{Thin dendrites of cerebellar interneurons confer sublinear synaptic integration and a gradient of short-term plasticity}},
doi = {10.1016/j.neuron.2012.01.027},
volume = {73},
year = {2012},
}
@article{2475,
abstract = {Background: One of the best-characterized causative factors of Alzheimer's disease (AD) is the generation of amyloid-β peptide (Aβ). AD subjects are at high risk of epileptic seizures accompanied by aberrant neuronal excitability, which in itself enhances Aβ generation. However, the molecular linkage between epileptic seizures and Aβ generation in AD remains unclear. Results: X11 and X11-like (X11L) gene knockout mice suffered from epileptic seizures, along with a malfunction of hyperpolarization-activated cyclic nucleotide gated (HCN) channels. Genetic ablation of HCN1 in mice and HCN1 channel blockage in cultured Neuro2a (N2a) cells enhanced Aβ generation. Interestingly, HCN1 levels dramatically decreased in the temporal lobe of cynomolgus monkeys (Macaca fascicularis) during aging and were significantly diminished in the temporal lobe of sporadic AD patients. Conclusion: Because HCN1 associates with amyloid-β precursor protein (APP) and X11/X11L in the brain, genetic deficiency of X11/X11L may induce aberrant HCN1 distribution along with epilepsy. Moreover, the reduction in HCN1 levels in aged primates may contribute to augmented Aβ generation. Taken together, HCN1 is proposed to play an important role in the molecular linkage between epileptic seizures and Aβ generation, and in the aggravation of sporadic AD.},
author = {Saito, Yuhki and Inoue, Tsuyoshi and Zhu, Gang and Kimura, Naoki and Okada, Motohiro and Nishimura, Masaki and Murayama, Shigeo and Kaneko, Sunao and Ryuichi Shigemoto and Imoto, Keiji and Suzuki, Toshiharu},
journal = {Molecular Neurodegeneration},
number = {1},
publisher = {BioMed Central},
title = {{Hyperpolarization-activated cyclic nucleotide gated channels: A potential molecular link between epileptic seizures and Aβ generation in Alzheimer's disease}},
doi = {10.1186/1750-1326-7-50},
volume = {7},
year = {2012},
}
@article{2476,
abstract = {Recently developed pharmacogenetic and optogenetic approaches, with their own advantages and disadvantages, have become indispensable tools in modern neuroscience. Here, we employed a previously described knock-in mouse line (GABA ARγ2 77Ilox) in which the γ2 subunit of the GABA A receptor (GABA AR) was mutated to become zolpidem insensitive (γ2 77I) and used viral vectors to swap γ2 77I with wild-type, zolpidem-sensitive γ2 subunits (γ2 77F). The verification of unaltered density and subcellular distribution of the virally introduced γ2 subunits requires their selective labelling. For this we generated six N- and six C-terminal-tagged γ2 subunits, with which cortical cultures of GABA ARγ2 -/- mice were transduced using lentiviruses. We found that the N-terminal AU1 tag resulted in excellent immunodetection and unimpaired synaptic localization. Unaltered kinetic properties of the AU1-tagged γ2 ( AU1γ2 77F) channels were demonstrated with whole-cell patch-clamp recordings of spontaneous IPSCs from cultured cells. Next, we carried out stereotaxic injections of lenti- and adeno-associated viruses containing Cre-recombinase and the AU1γ2 77F subunit (Cre-2A- AU1γ2 77F) into the neocortex of GABA ARγ2 77Ilox mice. Light microscopic immunofluorescence and electron microscopic freeze-fracture replica immunogold labelling demonstrated the efficient immunodetection of the AU1 tag and the normal enrichment of the AU1γ2 77F subunits in perisomatic GABAergic synapses. In line with this, miniature and action potential-evoked IPSCs whole-cell recorded from transduced cells had unaltered amplitudes, kinetics and restored zolpidem sensitivity. Our results obtained with a wide range of structural and functional verification methods reveal unaltered subcellular distributions and functional properties of γ2 77I and AU1γ2 77F GABA ARs in cortical pyramidal cells. This transgenic-viral pharmacogenetic approach has the advantage that it does not require any extrinsic protein that might endow some unforeseen alterations of the genetically modified cells. In addition, this virus-based approach opens up the possibility of modifying multiple cell types in distinct brain regions and performing alternative recombination-based intersectional genetic manipulations.},
author = {Sümegi, Máté and Fukazawa, Yugo and Matsui, Ko and Lörincz, Andrea and Eyre, Mark D and Nusser, Zoltán and Ryuichi Shigemoto},
journal = {Journal of Physiology},
number = {7},
pages = {1517 -- 1534},
publisher = {Wiley-Blackwell},
title = {{Virus-mediated swapping of zolpidem-insensitive with zolpidem-sensitive GABA A receptors in cortical pyramidal cells}},
doi = {10.1113/jphysiol.2012.227538},
volume = {590},
year = {2012},
}
@article{2477,
abstract = {Dynamic activity of glia has repeatedly been demonstrated, but if such activity is independent from neuronal activity, glia would not have any role in the information processing in the brain or in the generation of animal behavior. Evidence for neurons communicating with glia is solid, but the signaling pathway leading back from glial-to-neuronal activity was often difficult to study. Here, we introduced a transgenic mouse line in which channelrhodopsin-2, a light-gated cation channel, was expressed in astrocytes. Selective photostimulation of these astrocytes in vivo triggered neuronal activation. Using slice preparations, we show that glial photostimulation leads to release of glutamate, which was sufficient to activate AMPA receptors on Purkinje cells and to induce long-term depression of parallel fiber-to-Purkinje cell synapses through activation of metabotropic glutamate receptors. In contrast to neuronal synaptic vesicular release, glial activation likely causes preferential activation of extrasynaptic receptors that appose glial membrane. Finally, we show that neuronal activation by glial stimulation can lead to perturbation of cerebellar modulated motor behavior. These findings demonstrate that glia can modulate the tone of neuronal activity and behavior. This animal model is expected to be a potentially powerful approach to study the role of glia in brain function.},
author = {Sasaki, Takuya and Beppu, Kaoru and Tanaka, Kenji F and Fukazawa, Yugo and Ryuichi Shigemoto and Matsui, Ko},
journal = {PNAS},
number = {50},
pages = {20720 -- 20725},
publisher = {National Academy of Sciences},
title = {{Application of an optogenetic byway for perturbing neuronal activity via glial photostimulation}},
doi = {10.1073/pnas.1213458109},
volume = {109},
year = {2012},
}
@article{2514,
abstract = {Visual information must be relayed through the lateral geniculate nucleus before it reaches the visual cortex. However, not all spikes created in the retina lead to postsynaptic spikes and properties of the retinogeniculate synapse contribute to this filtering. To understand the mechanisms underlying this filtering process, we conducted electrophysiology to assess the properties of signal transmission in the Long-Evans rat. We also performed SDS-digested freeze-fracture replica labeling to quantify the receptor and transporter distribution, as well as EM reconstruction to describe the 3D structure. To analyze the impact of transmitter diffusion on the activity of the receptors, simulations were integrated. We identified that a large contributor to the filtering is the marked paired-pulse depression at this synapse, which was intensified by the morphological characteristics of the contacts. The broad presynaptic and postsynaptic contact area restricts transmitter diffusion two dimensionally. Additionally, the presence of multiple closely arranged release sites invites intersynaptic spillover, which causes desensitization of AMPA receptors. The presence of AMPA receptors that slowly recover from desensitization along with the high presynaptic release probability and multivesicular release at each synapse also contribute to the depression. These features contrast with many other synapses where spatiotemporal spread of transmitter is limited by rapid transmitter clearance allowing synapses to operate more independently. We propose that the micrometer-order structure can ultimately affect the visual information processing.},
author = {Budisantoso, Timotheus and Matsui, Ko and Kamasawa, Naomi and Fukazawa, Yugo and Ryuichi Shigemoto},
journal = {Journal of Neuroscience},
number = {7},
pages = {2357 -- 2376},
publisher = {Society for Neuroscience},
title = {{Mechanisms underlying signal filtering at a multisynapse contact}},
doi = {10.1523/JNEUROSCI.5243-11.2012},
volume = {32},
year = {2012},
}
@article{2515,
abstract = {We investigated the temporal and spatial expression of SK2 in the developing mouse hippocampus using molecular and biochemical techniques, quantitative immunogold electron microscopy, and electrophysiology. The mRNA encoding SK2 was expressed in the developing and adult hippocampus. Western blotting and immunohistochemistry showed that SK2 protein increased with age. This was accompanied by a shift in subcellular localization. Early in development (P5), SK2 was predominantly localized to the endoplasmic reticulum in the pyramidal cell layer. But by P30 SK2 was almost exclusively expressed in the dendrites and spines. The level of SK2 at the postsynaptic density (PSD) also increased during development. In the adult, SK2 expression on the spine plasma membrane showed a proximal-to-distal gradient. Consistent with this redistribution and gradient of SK2, the selective SK channel blocker apamin increased evoked excitatory postsynaptic potentials (EPSPs) only in CA1 pyramidal neurons from mice older than P15. However, the effect of apamin on EPSPs was not different between synapses in proximal or distal stratum radiatum or stratum lacunosum-moleculare in adult. These results show a developmental increase and gradient in SK2-containing channel surface expression that underlie their influence on neurotransmission, and that may contribute to increased memory acquisition during early development.},
author = {Ballesteros-Merino, Carmen and Lin, Michael and Wu, Wendy W and Ferrándiz-Huertas, Clotilde and Cabañero, María José and Watanabe, Masahiko and Fukazawa, Yugo and Ryuichi Shigemoto and Maylie, James G and Adelman, John P and Luján, Rafael},
journal = {Hippocampus},
number = {6},
pages = {1467 -- 1480},
publisher = {Wiley-Blackwell},
title = {{ Developmental profile of SK2 channel expression and function in CA1 neurons}},
doi = {10.1002/hipo.20986},
volume = {22},
year = {2012},
}
@article{7308,
abstract = {Carbon has been used widely as the basis of porous cathodes for nonaqueous Li–O2 cells. However, the stability of carbon and the effect of carbon on electrolyte decomposition in such cells are complex and depend on the hydrophobicity/hydrophilicity of the carbon surface. Analyzing carbon cathodes, cycled in Li–O2 cells between 2 and 4 V, using acid treatment and Fenton’s reagent, and combined with differential electrochemical mass spectrometry and FTIR, demonstrates the following: Carbon is relatively stable below 3.5 V (vs Li/Li+) on discharge or charge, especially so for hydrophobic carbon, but is unstable on charging above 3.5 V (in the presence of Li2O2), oxidatively decomposing to form Li2CO3. Direct chemical reaction with Li2O2 accounts for only a small proportion of the total carbon decomposition on cycling. Carbon promotes electrolyte decomposition during discharge and charge in a Li–O2 cell, giving rise to Li2CO3 and Li carboxylates (DMSO and tetraglyme electrolytes). The Li2CO3 and Li carboxylates present at the end of discharge and those that form on charge result in polarization on the subsequent charge. Li2CO3 (derived from carbon and from the electrolyte) as well as the Li carboxylates (derived from the electrolyte) decompose and form on charging. Oxidation of Li2CO3 on charging to ∼4 V is incomplete; Li2CO3 accumulates on cycling resulting in electrode passivation and capacity fading. Hydrophilic carbon is less stable and more catalytically active toward electrolyte decomposition than carbon with a hydrophobic surface. If the Li–O2 cell could be charged at or below 3.5 V, then carbon may be relatively stable, however, its ability to promote electrolyte decomposition, presenting problems for its use in a practical Li–O2 battery. The results emphasize that stable cycling of Li2O2 at the cathode in a Li–O2 cell depends on the synergy between electrolyte and electrode; the stability of the electrode and the electrolyte cannot be considered in isolation.},
author = {Ottakam Thotiyl, Muhammed M. and Freunberger, Stefan Alexander and Peng, Zhangquan and Bruce, Peter G.},
issn = {0002-7863},
journal = {Journal of the American Chemical Society},
number = {1},
pages = {494--500},
publisher = {ACS},
title = {{The carbon electrode in nonaqueous Li–O2 cells}},
doi = {10.1021/ja310258x},
volume = {135},
year = {2012},
}
@article{7309,
abstract = {Energy‐storage technologies, including electrical double‐layer capacitors and rechargeable batteries, have attracted significant attention for applications in portable electronic devices, electric vehicles, bulk electricity storage at power stations, and “load leveling” of renewable sources, such as solar energy and wind power. Transforming lithium batteries and electric double‐layer capacitors requires a step change in the science underpinning these devices, including the discovery of new materials, new electrochemistry, and an increased understanding of the processes on which the devices depend. The Review will consider some of the current scientific issues underpinning lithium batteries and electric double‐layer capacitors.},
author = {Choi, Nam-Soon and Chen, Zonghai and Freunberger, Stefan Alexander and Ji, Xiulei and Sun, Yang-Kook and Amine, Khalil and Yushin, Gleb and Nazar, Linda F. and Cho, Jaephil and Bruce, Peter G.},
issn = {1433-7851},
journal = {Angewandte Chemie International Edition},
number = {40},
pages = {9994--10024},
publisher = {Wiley},
title = {{Challenges facing Lithium batteries and electrical double-layer capacitors}},
doi = {10.1002/anie.201201429},
volume = {51},
year = {2012},
}
@article{7310,
abstract = {The rechargeable nonaqueous lithium-air (Li-O2) battery is receiving a great deal of interest because, theoretically, its specific energy far exceeds the best that can be achieved with lithium-ion cells. Operation of the rechargeable Li-O2 battery depends critically on repeated and highly reversible formation/decomposition of lithium peroxide (Li2O2) at the cathode upon cycling. Here, we show that this process is possible with the use of a dimethyl sulfoxide electrolyte and a porous gold electrode (95% capacity retention from cycles 1 to 100), whereas previously only partial Li2O2 formation/decomposition and limited cycling could occur. Furthermore, we present data indicating that the kinetics of Li2O2 oxidation on charge is approximately 10 times faster than on carbon electrodes.},
author = {Peng, Z. and Freunberger, Stefan Alexander and Chen, Y. and Bruce, P. G.},
issn = {0036-8075},
journal = {Science},
number = {6094},
pages = {563--566},
publisher = {AAAS},
title = {{A reversible and higher-rate Li-O2 battery}},
doi = {10.1126/science.1223985},
volume = {337},
year = {2012},
}
@article{7311,
abstract = {Stability of the electrolyte toward reduced oxygen species generated at the cathode is a crucial challenge for the rechargeable nonaqueous Li–O2 battery. Here, we investigate dimethylformamide as the basis of an electrolyte. Although reactions at the O2 cathode on the first discharge–charge cycle are dominated by reversible Li2O2 formation/decomposition, there is also electrolyte decomposition, which increases on cycling. The products of decomposition at the cathode on discharge are Li2O2, Li2CO3, HCO2Li, CH3CO2Li, NO, H2O, and CO2. Li2CO3 accumulates in the electrode with cycling. The stability of dimethylformamide toward reduced oxygen species is insufficient for its use in the rechargeable nonaqueous Li–O2 battery.},
author = {Chen, Yuhui and Freunberger, Stefan Alexander and Peng, Zhangquan and Bardé, Fanny and Bruce, Peter G.},
issn = {0002-7863},
journal = {Journal of the American Chemical Society},
number = {18},
pages = {7952--7957},
publisher = {ACS},
title = {{Li–O2 battery with a dimethylformamide electrolyte}},
doi = {10.1021/ja302178w},
volume = {134},
year = {2012},
}
@article{7748,
abstract = {Female mate choice acts as an important evolutionary force, yet the influence of the environment on both its expression and the selective pressures acting upon it remains unknown. We found consistent heritable differences between females in their choice of mate based on ornament size during a 25‐year study of a population of collared flycatchers. However, the fitness consequences of mate choice were dependent on environmental conditions experienced whilst breeding. Females breeding with highly ornamented males experienced high relative fitness during dry summer conditions, but low relative fitness during wetter years. Our results imply that sexual selection within a population can be highly variable and dependent upon the prevailing weather conditions experienced by individuals.},
author = {Robinson, Matthew Richard and Sander van Doorn, G. and Gustafsson, Lars and Qvarnström, Anna},
issn = {1461-023X},
journal = {Ecology Letters},
number = {6},
pages = {611--618},
publisher = {Wiley},
title = {{Environment-dependent selection on mate choice in a natural population of birds}},
doi = {10.1111/j.1461-0248.2012.01780.x},
volume = {15},
year = {2012},
}
@article{7749,
abstract = {Although studies on laboratory species and natural populations of vertebrates have shown reproduction to impair later performance, little is known of the age‐specific associations between reproduction and survival, and how such findings apply to the ageing of large, long‐lived species. Herein we develop a framework to examine population‐level patterns of reproduction and survival across lifespan in long‐lived organisms, and decompose those changes into individual‐level effects, and the effects of age‐specific trade‐offs between fitness components. We apply this to an extensive longitudinal dataset on female semi‐captive Asian timber elephants (Elephas maximus) and report the first evidence of age‐specific fitness declines that are driven by age‐specific associations between fitness components in a long‐lived mammal. Associations between reproduction and survival are positive in early life, but negative in later life with up to 71% of later‐life survival declines associated with investing in the production of offspring within this population of this critically endangered species.},
author = {Robinson, Matthew Richard and Mar, Khyne U and Lummaa, Virpi},
issn = {1461-023X},
journal = {Ecology Letters},
number = {3},
pages = {260--266},
publisher = {Wiley},
title = {{Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants}},
doi = {10.1111/j.1461-0248.2011.01735.x},
volume = {15},
year = {2012},
}
@article{7776,
abstract = {We present an analysis of finite-size effects in jammed packings of N soft, frictionless spheres at zero temperature. There is a 1/N correction to the discrete jump in the contact number at the transition so that jammed packings exist only above isostaticity. As a result, the canonical power-law scalings of the contact number and elastic moduli break down at low pressure. These quantities exhibit scaling collapse with a nontrivial scaling function, demonstrating that the jamming transition can be considered a phase transition. Scaling is achieved as a function of N in both two and three dimensions, indicating an upper critical dimension of 2.},
author = {Goodrich, Carl Peter and Liu, Andrea J. and Nagel, Sidney R.},
issn = {0031-9007},
journal = {Physical Review Letters},
number = {9},
publisher = {American Physical Society},
title = {{Finite-size scaling at the jamming transition}},
doi = {10.1103/physrevlett.109.095704},
volume = {109},
year = {2012},
}
@article{492,
abstract = {Background: Characterizing root system architecture (RSA) is essential to understanding the development and function of vascular plants. Identifying RSA-associated genes also represents an underexplored opportunity for crop improvement. Software tools are needed to accelerate the pace at which quantitative traits of RSA are estimated from images of root networks.Results: We have developed GiA Roots (General Image Analysis of Roots), a semi-automated software tool designed specifically for the high-throughput analysis of root system images. GiA Roots includes user-assisted algorithms to distinguish root from background and a fully automated pipeline that extracts dozens of root system phenotypes. Quantitative information on each phenotype, along with intermediate steps for full reproducibility, is returned to the end-user for downstream analysis. GiA Roots has a GUI front end and a command-line interface for interweaving the software into large-scale workflows. GiA Roots can also be extended to estimate novel phenotypes specified by the end-user.Conclusions: We demonstrate the use of GiA Roots on a set of 2393 images of rice roots representing 12 genotypes from the species Oryza sativa. We validate trait measurements against prior analyses of this image set that demonstrated that RSA traits are likely heritable and associated with genotypic differences. Moreover, we demonstrate that GiA Roots is extensible and an end-user can add functionality so that GiA Roots can estimate novel RSA traits. In summary, we show that the software can function as an efficient tool as part of a workflow to move from large numbers of root images to downstream analysis.},
author = {Galkovskyi, Taras and Mileyko, Yuriy and Bucksch, Alexander and Moore, Brad and Symonova, Olga and Price, Charles and Topp, Chrostopher and Iyer Pascuzzi, Anjali and Zurek, Paul and Fang, Suqin and Harer, John and Benfey, Philip and Weitz, Joshua},
journal = {BMC Plant Biology},
publisher = {BioMed Central},
title = {{GiA Roots: Software for the high throughput analysis of plant root system architecture}},
doi = {10.1186/1471-2229-12-116},
volume = {12},
year = {2012},
}
@article{493,
abstract = {The BCI competition IV stands in the tradition of prior BCI competitions that aim to provide high quality neuroscientific data for open access to the scientific community. As experienced already in prior competitions not only scientists from the narrow field of BCI compete, but scholars with a broad variety of backgrounds and nationalities. They include high specialists as well as students.The goals of all BCI competitions have always been to challenge with respect to novel paradigms and complex data. We report on the following challenges: (1) asynchronous data, (2) synthetic, (3) multi-class continuous data, (4) sessionto-session transfer, (5) directionally modulated MEG, (6) finger movements recorded by ECoG. As after past competitions, our hope is that winning entries may enhance the analysis methods of future BCIs.},
author = {Tangermann, Michael and Müller, Klaus and Aertsen, Ad and Birbaumer, Niels and Braun, Christoph and Brunner, Clemens and Leeb, Robert and Mehring, Carsten and Miller, Kai and Müller Putz, Gernot and Nolte, Guido and Pfurtscheller, Gert and Preissl, Hubert and Schalk, Gerwin and Schlögl, Alois and Vidaurre, Carmen and Waldert, Stephan and Blankertz, Benjamin},
journal = {Frontiers in Neuroscience},
publisher = {Frontiers Research Foundation},
title = {{Review of the BCI competition IV}},
doi = {10.3389/fnins.2012.00055},
volume = {6},
year = {2012},
}
@article{494,
abstract = {We solve the longstanding open problems of the blow-up involved in the translations, when possible, of a nondeterministic Büchi word automaton (NBW) to a nondeterministic co-Büchi word automaton (NCW) and to a deterministic co-Büchi word automaton (DCW). For the NBW to NCW translation, the currently known upper bound is 2o(nlog n) and the lower bound is 1.5n. We improve the upper bound to n2n and describe a matching lower bound of 2ω(n). For the NBW to DCW translation, the currently known upper bound is 2o(nlog n). We improve it to 2 o(n), which is asymptotically tight. Both of our upper-bound constructions are based on a simple subset construction, do not involve intermediate automata with richer acceptance conditions, and can be implemented symbolically. We continue and solve the open problems of translating nondeterministic Streett, Rabin, Muller, and parity word automata to NCW and to DCW. Going via an intermediate NBW is not optimal and we describe direct, simple, and asymptotically tight constructions, involving a 2o(n) blow-up. The constructions are variants of the subset construction, providing a unified approach for translating all common classes of automata to NCW and DCW. Beyond the theoretical importance of the results, we point to numerous applications of the new constructions. In particular, they imply a simple subset-construction based translation, when possible, of LTL to deterministic Büchi word automata.},
author = {Boker, Udi and Kupferman, Orna},
journal = {ACM Transactions on Computational Logic (TOCL)},
number = {4},
publisher = {ACM},
title = {{Translating to Co-Büchi made tight, unified, and useful}},
doi = {10.1145/2362355.2362357},
volume = {13},
year = {2012},
}
@inproceedings{495,
abstract = {An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice.},
author = {Kruckman, Alex and Rubin, Sasha and Sheridan, John and Zax, Ben},
booktitle = {Proceedings GandALF 2012},
location = {Napoli, Italy},
pages = {238 -- 246},
publisher = {Open Publishing Association},
title = {{A Myhill Nerode theorem for automata with advice}},
doi = {10.4204/EPTCS.96.18},
volume = {96},
year = {2012},
}
@inproceedings{496,
abstract = {We study the expressive power of logical interpretations on the class of scattered trees, namely those with countably many infinite branches. Scattered trees can be thought of as the tree analogue of scattered linear orders. Every scattered tree has an ordinal rank that reflects the structure of its infinite branches. We prove, roughly, that trees and orders of large rank cannot be interpreted in scattered trees of small rank. We consider a quite general notion of interpretation: each element of the interpreted structure is represented by a set of tuples of subsets of the interpreting tree. Our trees are countable, not necessarily finitely branching, and may have finitely many unary predicates as labellings. We also show how to replace injective set-interpretations in (not necessarily scattered) trees by 'finitary' set-interpretations.},
author = {Rabinovich, Alexander and Rubin, Sasha},
location = {Dubrovnik, Croatia},
publisher = {IEEE},
title = {{Interpretations in trees with countably many branches}},
doi = {10.1109/LICS.2012.65},
year = {2012},
}
@inproceedings{497,
abstract = {One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specification. The local interpretation of behavior leads to the notion of simulation. Alternating transition systems (ATSs) provide a general model for composite reactive systems, and the simulation relation for ATSs is known as alternating simulation. The simulation relation for fair transition systems is called fair simulation. In this work our main contributions are as follows: (1) We present an improved algorithm for fair simulation with Büchi fairness constraints; our algorithm requires O(n 3·m) time as compared to the previous known O(n 6)-time algorithm, where n is the number of states and m is the number of transitions. (2) We present a game based algorithm for alternating simulation that requires O(m2)-time as compared to the previous known O((n·m)2)-time algorithm, where n is the number of states and m is the size of transition relation. (3) We present an iterative algorithm for alternating simulation that matches the time complexity of the game based algorithm, but is more space efficient than the game based algorithm. © Krishnendu Chatterjee, Siddhesh Chaubal, and Pritish Kamath.},
author = {Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish},
location = {Fontainebleau, France},
pages = {167 -- 182},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Faster algorithms for alternating refinement relations}},
doi = {10.4230/LIPIcs.CSL.2012.167},
volume = {16},
year = {2012},
}
@article{498,
abstract = {Understanding patterns and correlates of local adaptation in heterogeneous landscapes can provide important information in the selection of appropriate seed sources for restoration. We assessed the extent of local adaptation of fitness components in 12 population pairs of the perennial herb Rutidosis leptorrhynchoides (Asteraceae) and examined whether spatial scale (0.7-600 km), environmental distance, quantitative (QST) and neutral (FST) genetic differentiation, and size of the local and foreign populations could predict patterns of adaptive differentiation. Local adaptation varied among populations and fitness components. Including all population pairs, local adaptation was observed for seedling survival, but not for biomass, while foreign genotype advantage was observed for reproduction (number of inflorescences). Among population pairs, local adaptation increased with QST and local population size for biomass. QST was associated with environmental distance, suggesting ecological selection for phenotypic divergence. However, low FST and variation in population structure in small populations demonstrates the interaction of gene flow and drift in constraining local adaptation in R. leptorrhynchoides. Our study indicates that for species in heterogeneous landscapes, collecting seed from large populations from similar environments to candidate sites is likely to provide the most appropriate seed sources for restoration.},
author = {Pickup, Melinda and Field, David and Rowell, David and Young, Andrew},
journal = {Evolutionary Applications},
number = {8},
pages = {913 -- 924},
publisher = {Wiley-Blackwell},
title = {{Predicting local adaptation in fragmented plant populations: Implications for restoration genetics}},
doi = {10.1111/j.1752-4571.2012.00284.x},
volume = {5},
year = {2012},
}
@article{506,
author = {Sixt, Michael K},
journal = {Journal of Cell Biology},
number = {3},
pages = {347 -- 349},
publisher = {Rockefeller University Press},
title = {{Cell migration: Fibroblasts find a new way to get ahead}},
doi = {10.1083/jcb.201204039},
volume = {197},
year = {2012},
}
@misc{5377,
abstract = {Two-player games on graphs are central in many problems in formal verification and program analysis such as synthesis and verification of open systems. In this work we consider solving recursive game graphs (or pushdown game graphs) that can model the control flow of sequential programs with recursion. While pushdown games have been studied before with qualitative objectives, such as reachability and ω-regular objectives, in this work we study for the first time such games with the most well-studied quantitative objective, namely, mean-payoff objectives. In pushdown games two types of strategies are relevant: (1) global strategies, that depend on the entire global history; and (2) modular strategies, that have only local memory and thus do not depend on the context of invocation, but only on the history of the current invocation of the module. Our main results are as follows: (1) One-player pushdown games with mean-payoff objectives under global strategies are decidable in polynomial time. (2) Two- player pushdown games with mean-payoff objectives under global strategies are undecidable. (3) One-player pushdown games with mean-payoff objectives under modular strategies are NP- hard. (4) Two-player pushdown games with mean-payoff objectives under modular strategies can be solved in NP (i.e., both one-player and two-player pushdown games with mean-payoff objectives under modular strategies are NP-complete). We also establish the optimal strategy complexity showing that global strategies for mean-payoff objectives require infinite memory even in one-player pushdown games; and memoryless modular strategies are sufficient in two- player pushdown games. Finally we also show that all the problems have the same complexity if the stack boundedness condition is added, where along with the mean-payoff objective the player must also ensure that the stack height is bounded.},
author = {Chatterjee, Krishnendu and Velner, Yaron},
issn = {2664-1690},
pages = {33},
publisher = {IST Austria},
title = {{Mean-payoff pushdown games}},
doi = {10.15479/AT:IST-2012-0002},
year = {2012},
}
@misc{5378,
abstract = {One central issue in the formal design and analysis of reactive systems is the notion of refinement that asks whether all behaviors of the implementation is allowed by the specification. The local interpretation of behavior leads to the notion of simulation. Alternating transition systems (ATSs) provide a general model for composite reactive systems, and the simulation relation for ATSs is known as alternating simulation. The simulation relation for fair transition systems is called fair simulation. In this work our main contributions are as follows: (1) We present an improved algorithm for fair simulation with Büchi fairness constraints; our algorithm requires O(n3 · m) time as compared to the previous known O(n6)-time algorithm, where n is the number of states and m is the number of transitions. (2) We present a game based algorithm for alternating simulation that requires O(m2)-time as compared to the previous known O((n · m)2)-time algorithm, where n is the number of states and m is the size of transition relation. (3) We present an iterative algorithm for alternating simulation that matches the time complexity of the game based algorithm, but is more space efficient than the game based algorithm.},
author = {Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish},
issn = {2664-1690},
pages = {21},
publisher = {IST Austria},
title = {{Faster algorithms for alternating refinement relations}},
doi = {10.15479/AT:IST-2012-0001},
year = {2012},
}
@misc{5396,
abstract = {We consider the problem of inference in agraphical model with binary variables. While in theory it is arguably preferable to compute marginal probabilities, in practice researchers often use MAP inference due to the availability of efficient discrete optimization algorithms. We bridge the gap between the two approaches by introducing the Discrete Marginals technique in which approximate marginals are obtained by minimizing an objective function with unary and pair-wise terms over a discretized domain. This allows the use of techniques originally devel-oped for MAP-MRF inference and learning. We explore two ways to set up the objective function - by discretizing the Bethe free energy and by learning it from training data. Experimental results show that for certain types of graphs a learned function can out-perform the Bethe approximation. We also establish a link between the Bethe free energy and submodular functions.},
author = {Korc, Filip and Kolmogorov, Vladimir and Lampert, Christoph},
issn = {2664-1690},
pages = {13},
publisher = {IST Austria},
title = {{Approximating marginals using discrete energy minimization}},
doi = {10.15479/AT:IST-2012-0003},
year = {2012},
}
@techreport{5398,
abstract = {This document is created as a part of the project “Repository for Research Data on IST Austria”. It summarises the actual state of research data at IST Austria, based on survey results. It supports the choice of appropriate software, which would best fit the requirements of their users, the researchers.},
author = {Porsche, Jana},
publisher = {IST Austria},
title = {{Actual state of research data @ ISTAustria}},
year = {2012},
}
@inbook{5745,
author = {Gupta, Ashutosh},
booktitle = {Automated Technology for Verification and Analysis},
isbn = {9783642333859},
issn = {0302-9743},
location = {Thiruvananthapuram, Kerala, India},
pages = {107--121},
publisher = {Springer Berlin Heidelberg},
title = {{Improved Single Pass Algorithms for Resolution Proof Reduction}},
doi = {10.1007/978-3-642-33386-6_10},
volume = {7561},
year = {2012},
}
@article{5839,
abstract = {Canny's edge detection algorithm is a classical and robust method for edge detection in gray-scale images. The two
significant features of this method are introduction of NMS (Non-Maximum Suppression) and double thresholding of
the gradient image. Due to poor illumination, the region boundaries in an image may become vague, creating
uncertainties in the gradient image. In this paper, we have proposed an algorithm based on the concept of type-2 fuzzy sets to handle uncertainties that automatically selects the threshold values needed to segment the gradient image using classical Canny’s edge detection algorithm. The results show that our algorithm works significantly well on different benchmark images as well as medical images (hand radiography images). },
author = {Biswas, Ranita and Sil, Jaya},
issn = {2212-0173},
journal = {Procedia Technology},
pages = {820--824},
publisher = {Elsevier},
title = {{An Improved Canny Edge Detection Algorithm Based on Type-2 Fuzzy Sets}},
doi = {10.1016/j.protcy.2012.05.134},
volume = {4},
year = {2012},
}
@article{596,
abstract = {The human Mediator complex controls RNA polymerase II (pol II) function in ways that remain incompletely understood. Activator-Mediator binding alters Mediator structure, and these activator-induced structural shifts appear to play key roles in regulating transcription. A recent cryo-electron microscopy (EM) analysis revealed that pol II adopted a stable orientation within a Mediator-pol II-TFIIF assembly in which Mediator was bound to the activation domain of viral protein 16 (VP16). Whereas TFIIF was shown to be important for orienting pol II within this assembly, the potential role of the activator was not assessed. To determine how activator binding might affect pol II orientation, we isolated human Mediator-pol II-TFIIF complexes in which Mediator was not bound to an activator. Cryo-EM analysis of this assembly, coupled with pol II crystal structure docking, revealed that pol II binds Mediator at the same general location; however, in contrast to VP16-bound Mediator, pol II does not appear to stably orient in the absence of an activator. Variability in pol II orientation might be important mechanistically, perhaps to enable sense and antisense transcription at human promoters. Because Mediator interacts extensively with pol II, these results suggest that Mediator structural shifts induced by activator binding help stably orient pol II prior to transcription initiation.},
author = {Bernecky, Carrie A and Taatjes, Dylan},
journal = {Journal of Molecular Biology},
number = {5},
pages = {387 -- 394},
publisher = {Elsevier},
title = {{Activator-mediator binding stabilizes RNA polymerase II orientation within the human mediator-RNA polymerase II-TFIIF assembly}},
doi = {10.1016/j.jmb.2012.02.014},
volume = {417},
year = {2012},
}
@article{6136,
abstract = {Tonic receptors convey stimulus duration and intensity and are implicated in homeostatic control. However, how tonic homeostatic signals are generated and how they reconfigure neural circuits and modify animal behavior is poorly understood. Here we show that Caenorhabditis elegans O2-sensing neurons are tonic receptors that continuously signal ambient [O2] to set the animal's behavioral state. Sustained signaling relied on a Ca2+ relay involving L-type voltage-gated Ca2+ channels, the ryanodine and the inositol-1,4,5-trisphosphate receptors. Tonic activity evoked continuous neuropeptide release, which helps elicit the enduring behavioral state associated with high [O2]. Sustained O2 receptor signaling was propagated to downstream neural circuits, including the hub interneuron RMG. O2 receptors evoked similar locomotory states at particular O2 concentrations, regardless of previous d[O2]/dt. However, a phasic component of the URX receptors' response to high d[O2]/dt, as well as tonic-to-phasic transformations in downstream interneurons, enabled transient reorientation movements shaped by d[O2]/dt. Our results highlight how tonic homeostatic signals can generate both transient and enduring behavioral change.},
author = {Busch, Karl Emanuel and Laurent, Patrick and Soltesz, Zoltan and Murphy, Robin Joseph and Faivre, Olivier and Hedwig, Berthold and Thomas, Martin and Smith, Heather L and de Bono, Mario},
issn = {1097-6256},
journal = {Nature Neuroscience},
number = {4},
pages = {581--591},
publisher = {Springer Nature},
title = {{Tonic signaling from O2 sensors sets neural circuit activity and behavioral state}},
doi = {10.1038/nn.3061},
volume = {15},
year = {2012},
}
@article{2687,
abstract = {Left-right asymmetry of human brain function has been known for a century, although much of molecular and cellular basis of brain laterality remains to be elusive. Recent studies suggest that hippocampal CA3-CA1 excitatory synapses are asymmetrically arranged, however, the functional implication of the asymmetrical circuitry has not been studied at the behavioral level. In order to address the left-right asymmetry of hippocampal function in behaving mice, we analyzed the performance of "split-brain" mice in the Barnes maze. The "split-brain" mice received ventral hippocampal commissure and corpus callosum transection in addition to deprivation of visual input from one eye. In such mice, the hippocampus in the side of visual deprivation receives sensory-driven input. Better spatial task performance was achieved by the mice which were forced to use the right hippocampus than those which were forced to use the left hippocampus. In two-choice spatial maze, forced usage of left hippocampus resulted in a comparable performance to the right counterpart, suggesting that both hippocampal hemispheres are capable of conducting spatial learning. Therefore, the results obtained from the Barnes maze suggest that the usage of the right hippocampus improves the accuracy of spatial memory. Performance of non-spatial yet hippocampus-dependent tasks (e.g. fear conditioning) was not influenced by the laterality of the hippocampus.},
author = {Shinohara, Yoshiaki and Hosoya, Aki and Yamasaki, Nobuyuki and Ahmed, Hassan and Hattori, Satoko and Eguchi, Megumi and Yamaguchi, Shun and Miyakawa, Tsuyoshi and Hirase, Hajime and Ryuichi Shigemoto},
journal = {Hippocampus},
number = {2},
pages = {117 -- 121},
publisher = {Wiley-Blackwell},
title = {{Right-hemispheric dominance of spatial memory in split-brain mice}},
doi = {10.1002/hipo.20886},
volume = {22},
year = {2012},
}
@article{2688,
abstract = {To gain insights into structure-function relationship of excitatory synapses, we revisit our quantitative analysis of synaptic AMPAR by highly sensitive freeze-fracture replica labeling in eight different connections. All of these connections showed linear correlation between synapse size and AMPAR number indicating a common intra-synapse-type relationship in CNS synapses. On the contrary, inter-synapse-type relationship is unexpected indicating no correlation between averages of synapse size and AMPAR number. Interestingly, connections with large average synapse size and low AMPAR density showed high variability of AMPAR number and mosaic distribution within the postsynaptic membrane. We propose an idea that these connections may quickly exhibit synaptic plasticity by modifying AMPAR density/number whereas those with high AMPAR density change their efficacy by modifying synapse size.},
author = {Fukazawa, Yugo and Ryuichi Shigemoto},
journal = {Current Opinion in Neurobiology},
number = {3},
pages = {446 -- 452},
publisher = {Elsevier},
title = {{Intra-synapse-type and inter-synapse-type relationships between synaptic size and AMPAR expression}},
doi = {10.1016/j.conb.2012.01.006},
volume = {22},
year = {2012},
}
@article{2689,
abstract = {R-type calcium channels (RTCCs) are well known for their role in synaptic plasticity, but little is known about their subcellular distribution across various neuronal compartments. Using subtype-specific antibodies, we characterized the regional and subcellular localization of Ca v2.3 in mice and rats at both light and electron microscopic levels. Ca v2.3 immunogold particles were found to be predominantly presynaptic in the interpeduncular nucleus, but postsynaptic in other brain regions. Serial section analysis of electron microscopic images from the hippocampal CA1 revealed a higher density of immunogold particles in the dendritic shaft plasma membrane compared with the pyramidal cell somata. However, the labeling densities were not significantly different among the apical, oblique, or basal dendrites. Immunogold particles were also observed over the plasma membrane of dendritic spines, including both synaptic and extrasynaptic sites. Individual spine heads contained <20 immunogold particles, with an average density of ~260 immunoparticles per μm 3 spine head volume, in accordance with the density of RTCCs estimated using calcium imaging (Sabatini and Svoboda, 2000). The Ca v2.3 density was variable among similar-sized spine heads and did not correlate with the density in the parent dendrite, implying that spines are individual calcium compartments operating autonomously from their parent dendrites.},
author = {Parajuli, Laxmi K and Nakajima, Chikako and Kulik, Ákos and Matsui, Ko and Schneider, Toni and Ryuichi Shigemoto and Fukazawa, Yugo},
journal = {Journal of Neuroscience},
number = {39},
pages = {13555 -- 13567},
publisher = {Society for Neuroscience},
title = {{Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain}},
doi = {10.1523/JNEUROSCI.1142-12.2012},
volume = {32},
year = {2012},
}
@unpublished{2696,
author = {László Erdös},
booktitle = {ArXiv},
publisher = {ArXiv},
title = {{Universality for random matrices and log-gases}},
year = {2012},
}
@inproceedings{2700,
author = {László Erdös},
pages = {3 -- 98},
publisher = {Oxford University Press},
title = {{Lecture notes on quantum Brownian motion}},
volume = {95},
year = {2012},
}
@inproceedings{2715,
abstract = {We consider Markov decision processes (MDPs) with specifications given as Büchi (liveness) objectives. We consider the problem of computing the set of almost-sure winning vertices from where the objective can be ensured with probability 1. We study for the first time the average case complexity of the classical algorithm for computing the set of almost-sure winning vertices for MDPs with Büchi objectives. Our contributions are as follows: First, we show that for MDPs with constant out-degree the expected number of iterations is at most logarithmic and the average case running time is linear (as compared to the worst case linear number of iterations and quadratic time complexity). Second, for the average case analysis over all MDPs we show that the expected number of iterations is constant and the average case running time is linear (again as compared to the worst case linear number of iterations and quadratic time complexity). Finally we also show that given that all MDPs are equally likely, the probability that the classical algorithm requires more than constant number of iterations is exponentially small.},
author = {Chatterjee, Krishnendu and Joglekar, Manas and Shah, Nisarg},
location = {Hyderabad, India},
pages = {461 -- 473},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives}},
doi = {10.4230/LIPIcs.FSTTCS.2012.461},
volume = {18},
year = {2012},
}
@article{2767,
abstract = {Consider N × N Hermitian or symmetric random matrices H where the distribution of the (i, j) matrix element is given by a probability measure ν ij with a subexponential decay. Let σ ij 2 be the variance for the probability measure ν ij with the normalization property that Σ iσ i,j 2 = 1 for all j. Under essentially the only condition that c ≤ N σ ij 2 ≤ c -1 for some constant c > 0, we prove that, in the limit N → ∞, the eigenvalue spacing statistics of H in the bulk of the spectrum coincide with those of the Gaussian unitary or orthogonal ensemble (GUE or GOE). We also show that for band matrices with bandwidth M the local semicircle law holds to the energy scale M -1. },
author = {László Erdös and Yau, Horng-Tzer and Yin, Jun},
journal = {Probability Theory and Related Fields},
number = {1-2},
pages = {341 -- 407},
publisher = {Springer},
title = {{Bulk universality for generalized Wigner matrices}},
doi = {10.1007/s00440-011-0390-3},
volume = {154},
year = {2012},
}
@article{2768,
abstract = {We consider a two dimensional magnetic Schrödinger operator with a spatially stationary random magnetic field. We assume that the magnetic field has a positive lower bound and that it has Fourier modes on arbitrarily short scales. We prove the Wegner estimate at arbitrary energy, i. e. we show that the averaged density of states is finite throughout the whole spectrum. We also prove Anderson localization at the bottom of the spectrum.},
author = {László Erdös and Hasler, David G},
journal = {Communications in Mathematical Physics},
number = {2},
pages = {507 -- 542},
publisher = {Springer},
title = {{Wegner estimate and Anderson localization for random magnetic fields}},
doi = {10.1007/s00220-011-1373-z},
volume = {309},
year = {2012},
}
@article{2769,
abstract = {We present a generalization of the method of the local relaxation flow to establish the universality of local spectral statistics of a broad class of large random matrices. We show that the local distribution of the eigenvalues coincides with the local statistics of the corresponding Gaussian ensemble provided the distribution of the individual matrix element is smooth and the eigenvalues {X J} N j=1 are close to their classical location {y j} N j=1 determined by the limiting density of eigenvalues. Under the scaling where the typical distance between neighboring eigenvalues is of order 1/N, the necessary apriori estimate on the location of eigenvalues requires only to know that E|x j - γ j| 2 ≤ N-1-ε on average. This information can be obtained by well established methods for various matrix ensembles. We demonstrate the method by proving local spectral universality for sample covariance matrices.},
author = {László Erdös and Schlein, Benjamin and Yau, Horng-Tzer and Yin, Jun},
journal = {Annales de l'institut Henri Poincare (B) Probability and Statistics},
number = {1},
pages = {1 -- 46},
publisher = {Institute of Mathematical Statistics},
title = {{The local relaxation flow approach to universality of the local statistics for random matrices}},
doi = {10.1214/10-AIHP388},
volume = {48},
year = {2012},
}
@article{2770,
abstract = {Consider N×N Hermitian or symmetric random matrices H with independent entries, where the distribution of the (i,j) matrix element is given by the probability measure vij with zero expectation and with variance σ ιj 2. We assume that the variances satisfy the normalization condition Σiσij2=1 for all j and that there is a positive constant c such that c≤Nσ ιj 2 ιc -1. We further assume that the probability distributions νij have a uniform subexponential decay. We prove that the Stieltjes transform of the empirical eigenvalue distribution of H is given by the Wigner semicircle law uniformly up to the edges of the spectrum with an error of order (Nη) -1 where η is the imaginary part of the spectral parameter in the Stieltjes transform. There are three corollaries to this strong local semicircle law: (1) Rigidity of eigenvalues: If γj=γj,N denotes the classical location of the j-th eigenvalue under the semicircle law ordered in increasing order, then the j-th eigenvalue λj is close to γj in the sense that for some positive constants C, c P{double-struck}(∃j:|λ j-γ j|≥(logN) CloglogN[min(j,N-j+1)] -1/3N -2/3)≤ C exp[-(logN) cloglogN] for N large enough. (2) The proof of Dyson's conjecture (Dyson, 1962 [15]) which states that the time scale of the Dyson Brownian motion to reach local equilibrium is of order N -1 up to logarithmic corrections. (3) The edge universality holds in the sense that the probability distributions of the largest (and the smallest) eigenvalues of two generalized Wigner ensembles are the same in the large N limit provided that the second moments of the two ensembles are identical.},
author = {László Erdös and Yau, Horng-Tzer and Yin, Jun},
journal = {Advances in Mathematics},
number = {3},
pages = {1435 -- 1515},
publisher = {Academic Press},
title = {{Rigidity of eigenvalues of generalized Wigner matrices}},
doi = {10.1016/j.aim.2011.12.010},
volume = {229},
year = {2012},
}
@article{2771,
abstract = {We consider a magnetic Schrödinger operator in two dimensions. The magnetic field is given as the sum of a large and constant magnetic field and a random magnetic field. Moreover, we allow for an additional deterministic potential as well as a magnetic field which are both periodic. We show that the spectrum of this operator is contained in broadened bands around the Landau levels and that the edges of these bands consist of pure point spectrum with exponentially decaying eigenfunctions. The proof is based on a recent Wegner estimate obtained in Erdos and Hasler (Commun. Math. Phys., preprint, arXiv:1012.5185) and a multiscale analysis.},
author = {László Erdös and Hasler, David G},
journal = {Journal of Statistical Physics},
number = {5},
pages = {900 -- 923},
publisher = {Springer},
title = {{Anderson localization at band edges for random magnetic fields}},
doi = {10.1007/s10955-012-0445-6},
volume = {146},
year = {2012},
}
@article{2772,
abstract = {We consider the semiclassical asymptotics of the sum of negative eigenvalues of the three-dimensional Pauli operator with an external potential and a self-generated magnetic field B. We also add the field energy β ∫ B 2 and we minimize over all magnetic fields. The parameter β effectively determines the strength of the field. We consider the weak field regime with βh 2 ≥ const > 0, where h is the semiclassical parameter. For smooth potentials we prove that the semiclassical asymptotics of the total energy is given by the non-magnetic Weyl term to leading order with an error bound that is smaller by a factor h 1+e{open}, i. e. the subleading term vanishes. However for potentials with a Coulomb singularity, the subleading term does not vanish due to the non-semiclassical effect of the singularity. Combined with a multiscale technique, this refined estimate is used in the companion paper (Erdo{double acute}s et al. in Scott correction for large molecules with a self-generated magnetic field, Preprint, 2011) to prove the second order Scott correction to the ground state energy of large atoms and molecules.},
author = {László Erdös and Fournais, Søren and Solovej, Jan P},
journal = {Annales Henri Poincare},
number = {4},
pages = {671 -- 730},
publisher = {Birkhäuser},
title = {{Second order semiclassics with self generated magnetic fields}},
doi = {10.1007/s00023-011-0150-z},
volume = {13},
year = {2012},
}
@article{2773,
abstract = {Recently we proved [3, 4, 6, 7, 9, 10, 11] that the eigenvalue correlation functions of a general class of random matrices converge, weakly with respect to the energy, to the corresponding ones of Gaussian matrices. Tao and Vu [15] gave a proof that for the special case of Hermitian Wigner matrices the convergence can be strengthened to vague convergence at any fixed energy in the bulk. In this article we show that this theorem is an immediate corollary of our earlier results. Indeed, a more general form of this theorem also follows directly from our work [2].},
author = {László Erdös and Yau, Horng-Tzer},
journal = {Electronic Journal of Probability},
publisher = {Institute of Mathematical Statistics},
title = {{A comment on the Wigner-Dyson-Mehta bulk universality conjecture for Wigner matrices}},
doi = {10.1214/EJP.v17-1779},
volume = {17},
year = {2012},
}
@article{2774,
abstract = {We consider a large neutral molecule with total nuclear charge Z in non-relativistic quantum mechanics with a self-generated classical electromagnetic field. To ensure stability, we assume that Zα 2 ≤ κ 0 for a sufficiently small κ 0, where α denotes the fine structure constant. We show that, in the simultaneous limit Z → ∞, α → 0 such that κ = Zα 2 is fixed, the ground state energy of the system is given by a two term expansion c 1Z 7/3 + c 2(κ) Z 2 + o(Z 2). The leading term is given by the non-magnetic Thomas-Fermi theory. Our result shows that the magnetic field affects only the second (so-called Scott) term in the expansion.},
author = {László Erdös and Fournais, Søren and Solovej, Jan P},
journal = {Communications in Mathematical Physics},
number = {3},
pages = {847 -- 882},
publisher = {Springer},
title = {{Scott correction for large atoms and molecules in a self-generated magnetic field}},
doi = {10.1007/s00220-012-1468-1},
volume = {312},
year = {2012},
}
@article{2775,
abstract = {The Wigner-Dyson-Gaudin-Mehta conjecture asserts that the local eigenvalue statistics of large random matrices exhibit universal behavior depending only on the symmetry class of the matrix ensemble. For invariant matrix models, the eigenvalue distributions are given by a log-gas with potential V and inverse temperature β = 1, 2, 4, corresponding to the orthogonal, unitary and symplectic ensembles. For β ∉ {1, 2, 4}, there is no natural random matrix ensemble behind this model, but the statistical physics interpretation of the log-gas is still valid for all β > 0. The universality conjecture for invariant ensembles asserts that the local eigenvalue statistics are independent of V. In this article, we review our recent solution to the universality conjecture for both invariant and non-invariant ensembles. We will also demonstrate that the local ergodicity of the Dyson Brownian motion is the intrinsic mechanism behind the universality. Furthermore, we review the solution of Dyson's conjecture on the local relaxation time of the Dyson Brownian motion. Related questions such as delocalization of eigenvectors and local version of Wigner's semicircle law will also be discussed.},
author = {László Erdös and Yau, Horng-Tzer},
journal = {Bulletin of the American Mathematical Society},
number = {3},
pages = {377 -- 414},
publisher = {American Mathematical Society},
title = {{Universality of local spectral statistics of random matrices}},
doi = {10.1090/S0273-0979-2012-01372-1},
volume = {49},
year = {2012},
}
@article{2776,
abstract = {We consider the ensemble of adjacency matrices of Erdős-Rényi random graphs, i.e. graphs on N vertices where every edge is chosen independently and with probability p ≡ p(N). We rescale the matrix so that its bulk eigenvalues are of order one. Under the assumption pN≫N2/3 , we prove the universality of eigenvalue distributions both in the bulk and at the edge of the spectrum. More precisely, we prove (1) that the eigenvalue spacing of the Erdős-Rényi graph in the bulk of the spectrum has the same distribution as that of the Gaussian orthogonal ensemble; and (2) that the second largest eigenvalue of the Erdős-Rényi graph has the same distribution as the largest eigenvalue of the Gaussian orthogonal ensemble. As an application of our method, we prove the bulk universality of generalized Wigner matrices under the assumption that the matrix entries have at least 4 + ε moments.},
author = {László Erdös and Knowles, Antti and Yau, Horng-Tzer and Yin, Jun},
journal = {Communications in Mathematical Physics},
number = {3},
pages = {587 -- 640},
publisher = {Springer},
title = {{Spectral statistics of Erdős-Rényi graphs II: Eigenvalue spacing and the extreme eigenvalues}},
doi = {10.1007/s00220-012-1527-7},
volume = {314},
year = {2012},
}
@article{2777,
abstract = {We consider a large neutral molecule with total nuclear charge Z in a model with self-generated classical magnetic field and where the kinetic energy of the electrons is treated relativistically. To ensure stability, we assume that Zα < 2/π, where α denotes the fine structure constant. We are interested in the ground state energy in the simultaneous limit Z → ∞, α → 0 such that κ = Zα is fixed. The leading term in the energy asymptotics is independent of κ, it is given by the Thomas-Fermi energy of order Z7/3 and it is unchanged by including the self-generated magnetic field. We prove the first correction term to this energy, the so-called Scott correction of the form S(αZ)Z2. The current paper extends the result of Solovej et al. [Commun. Pure Appl. Math.LXIII, 39-118 (2010)] on the Scott correction for relativistic molecules to include a self-generated magnetic field. Furthermore, we show that the corresponding Scott correction function S, first identified by Solovej et al. [Commun. Pure Appl. Math.LXIII, 39-118 (2010)], is unchanged by including a magnetic field. We also prove new Lieb-Thirring inequalities for the relativistic kinetic energy with magnetic fields.},
author = {László Erdös and Fournais, Søren and Solovej, Jan P},
journal = {Journal of Mathematical Physics},
number = {9},
publisher = {American Institute of Physics},
title = {{Relativistic Scott correction in self-generated magnetic fields}},
doi = {10.1063/1.3697417},
volume = {53},
year = {2012},
}
@article{2778,
abstract = {We prove the bulk universality of the β-ensembles with non-convex regular analytic potentials for any β > 0. This removes the convexity assumption appeared in the earlier work [P. Bourgade, L. Erdös, and H.-T. Yau, Universality of general β-ensembles, preprint arXiv:0907.5605 (2011)]. The convexity condition enabled us to use the logarithmic Sobolev inequality to estimate events with small probability. The new idea is to introduce a "convexified measure" so that the local statistics are preserved under this convexification.},
author = {Bourgade, Paul and László Erdös and Yau, Horng-Tzer},
journal = {Journal of Mathematical Physics},
number = {9},
publisher = {American Institute of Physics},
title = {{Bulk universality of general β-ensembles with non-convex potential}},
doi = {10.1063/1.4751478},
volume = {53},
year = {2012},
}