TY - CONF
AB - 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.
AU - Faust, Sebastian
AU - Pietrzak, Krzysztof Z
AU - Schipper, Joachim
ID - 2048
T2 - Conference proceedings CHES 2012
TI - Practical leakage-resilient symmetric cryptography
VL - 7428
ER -
TY - CONF
AB - 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.
AU - Heyse, Stefan
AU - Kiltz, Eike
AU - Lyubashevsky, Vadim
AU - Paar, Christof
AU - Pietrzak, Krzysztof Z
ID - 2049
T2 - Conference proceedings FSE 2012
TI - Lapin: An efficient authentication protocol based on ring-LPN
VL - 7549
ER -
TY - JOUR
AB - 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.
AU - Zhou, Qi
AU - Zhu, Hongmei
AU - Huang, Quanfei
AU - Zhao, Li
AU - Zhang, Guo J
AU - Roy, Scott W
AU - Beatriz Vicoso
AU - Xuan, Zhaolin
AU - Ruan, Jue
AU - Zhang, Yue
AU - Zhao, Ruoping
AU - Ye, Chen
AU - Zhang, Xiuqing
AU - Wang, Jùn
AU - Wang, Wen
AU - Bachtrog, Doris
ID - 2073
IS - 1
JF - BMC Genomics
TI - Deciphering neo-sex and B chromosome evolution by the draft genome of Drosophila albomicans
VL - 13
ER -
TY - JOUR
AB - 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.
AU - Hildebrand, Kristian
AU - Bernd Bickel
AU - Alexa, Marc
ID - 2079
IS - 2pt3
JF - Computer Graphics Forum
TI - crdbrd: Shape fabrication by sliding planar slices
VL - 31
ER -
TY - JOUR
AB - 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.
AU - Bac̈her, Moritz
AU - Bernd Bickel
AU - James, Doug L
AU - Pfister, Hanspeter
ID - 2101
IS - 4
JF - ACM Transactions on Graphics
TI - Fabricating articulated characters from skinned meshes
VL - 31
ER -
TY - JOUR
AB - 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.
AU - Bernd Bickel
AU - Kaufmann, Peter
AU - Skouras, Mélina
AU - Thomaszewski, Bernhard
AU - Bradley, Derek J
AU - Beeler, Thabo
AU - Jackson, Philip V
AU - Marschner, Steve
AU - Matusik, Wojciech
AU - Groß, Markus S
ID - 2102
IS - 4
JF - ACM Transactions on Graphics
TI - Physical face cloning
VL - 31
ER -
TY - JOUR
AB - 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.
AU - Beeler, Thabo
AU - Bernd Bickel
AU - Noris, Gioacchino
AU - Beardsley, Paul A
AU - Marschner, Steve
AU - Sumner, Robert W
AU - Groß, Markus S
ID - 2103
IS - 4
JF - ACM Transactions on Graphics
TI - Coupled 3D reconstruction of sparse facial hair and skin
VL - 31
ER -
TY - CONF
AB - 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.
AU - Otaduy, Miguel A
AU - Bernd Bickel
AU - Bradley, Derek J
AU - Wang, Huamin
ID - 2104
TI - Data-driven simulation methods in computer graphics: Cloth, tissue and faces
ER -
TY - CONF
AU - Skouras, Mélina
AU - Thomaszewski, Bernhard
AU - Bernd Bickel
AU - Groß, Markus S
ID - 2105
IS - 2
TI - Computational design of rubber balloons
VL - 31
ER -
TY - CONF
AB - 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.
AU - Miguel, Eder
AU - Bradley, Derek J
AU - Thomaszewski, Bernhard
AU - Bernd Bickel
AU - Matusik, Wojciech
AU - Otaduy, Miguel A
AU - Marschner, Steve
ID - 2106
IS - 2
TI - Data-driven estimation of cloth simulation models
VL - 31
ER -
TY - JOUR
AB - 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.
AU - Hairer, Martin M
AU - Jan Maas
ID - 2125
IS - 4
JF - Annals of Probability
TI - A spatial version of the Itô-Stratonovich correction
VL - 40
ER -
TY - JOUR
AB - 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.
AU - Erbar, Matthias
AU - Jan Maas
ID - 2127
IS - 3
JF - Archive for Rational Mechanics and Analysis
TI - Ricci curvature of finite Markov chains via convexity of the entropy
VL - 206
ER -
TY - JOUR
AB - 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.
AU - Jan Maas
AU - van Neerven, Jan M
AU - Portal, Pierre
ID - 2128
IS - 2
JF - Arkiv för Matematik
TI - Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure
VL - 50
ER -
TY - JOUR
AU - Mikhail Lemeshko
AU - Krems, Roman V
AU - Weimer, Hendrik A
ID - 2151
IS - 4
JF - Physical Review Letters
TI - Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules
VL - 109
ER -
TY - JOUR
AB - 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.
AU - Mikhail Lemeshko
AU - Krems, Roman V
AU - Weimer, Hendrik
ID - 2201
IS - 3
JF - Physical Review Letters
TI - Nonadiabatic preparation of spin crystals with ultracold polar molecules
VL - 109
ER -
TY - JOUR
AB - 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.
AU - Alyabyshev, Sergey V
AU - Mikhail Lemeshko
AU - Krems, Roman V
ID - 2202
IS - 1
JF - Physical Review A - Atomic, Molecular, and Optical Physics
TI - Sensitive imaging of electromagnetic fields with paramagnetic polar molecules
VL - 86
ER -
TY - JOUR
AB - 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.
AU - Mikhail Lemeshko
AU - Friedrich, Břetislav
ID - 2203
IS - 15-16
JF - Molecular Physics
TI - Interaction between polar molecules subject to a far-off-resonant optical field: Entangled dipoles up- or down-holding each other
VL - 110
ER -
TY - JOUR
AB - 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.
AU - Tasic, Bosiljka
AU - Miyamichi, Kazunari
AU - Simon Hippenmeyer
AU - Dani, Vardhan S.
AU - Zeng, H.
AU - Joo, William
AU - Zong, Hui
AU - Chen-Tsai, Yanru
AU - Luo, Liqun
ID - 2262
IS - 3
JF - PLoS One
TI - Extensions of MADM (Mosaic Analysis with Double Markers) in Mice
VL - 7
ER -
TY - JOUR
AB - 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.
AU - Liang, Huixuan
AU - Hippenmeyer, Simon
AU - Ghashghaei, H.
ID - 2263
IS - 12
JF - Biology open
TI - A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
VL - 1
ER -
TY - CONF
AB - 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.
AU - Preiner, Reinhold
AU - Jeschke, Stefan
AU - Wimmer, Michael
ID - 2267
TI - Auto splats: Dynamic point cloud visualization on the GPU
ER -
TY - CONF
AB - 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.
AU - Thomas Auzinger
AU - Guthe, Michael
AU - Stefan Jeschke
ID - 2268
IS - 121
TI - Analytic anti-aliasing of linear functions on polytopes
VL - 31
ER -
TY - JOUR
AB - 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.
AU - Henzinger, Thomas A
AU - Mateescu, Maria
ID - 2302
IS - 2
JF - IEEE ACM Transactions on Computational Biology and Bioinformatics
TI - The propagation approach for computing biochemical reaction networks
VL - 10
ER -
TY - JOUR
AB - 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.
AU - Dixon-Salazar, Tracy J
AU - Silhavy, Jennifer L
AU - Udpa, Nitin
AU - Schroth, Jana
AU - Bielas, Stephanie L
AU - Schaffer, Ashleigh E
AU - Olvera, Jesus
AU - Bafna, Vineet K
AU - Zaki, Maha S
AU - Abdel-Salam, Ghada M
AU - Mansour, Lobna A
AU - Selim, Laila A
AU - Abdel-Hadi, Sawsan S
AU - Marzouki, Naima
AU - Ben-Omran, Tawfeg I
AU - Al-Saana, Nouriya A
AU - Sönmez, Fatma M
AU - Celep, Figen
AU - Azam, Matloob
AU - Hill, Kiley J
AU - Collazo, Adrienne
AU - Fenstermaker, Ali G
AU - Gaia Novarino
AU - Akizu, Naiara
AU - Garimella, Kiran V
AU - Sougnez, Carrie L
AU - Russ, Carsten
AU - Gabriel, Stacey B
AU - Gleeson, Joseph G
ID - 2313
IS - 138
JF - Science Translational Medicine
TI - Exome sequencing can improve diagnosis and alter patient management
VL - 4
ER -
TY - JOUR
AB - 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.
AU - Gaia Novarino
AU - El-Fishawy, Paul
AU - Kayserili, Hülya
AU - Meguid, Nagwa A
AU - Scott, Eric M
AU - Schroth, Jana
AU - Silhavy, Jennifer L
AU - Kara, Majdi
AU - Khalil, Rehab O
AU - Ben-Omran, Tawfeg I
AU - Ercan-Sencicek, Adife G
AU - Hashish, Adel F
AU - Sanders, Stephan J
AU - Gupta, Abha R
AU - Hashem, Hebatalla S
AU - Matern, Dietrich
AU - Gabriel, Stacey B
AU - Sweetman, Lawrence
AU - Rahimi, Yasmeen
AU - Harris, Robert A
AU - State, Matthew W
AU - Gleeson, Joseph G
ID - 2314
IS - 6105
JF - Science
TI - Mutations in BCKD-kinase lead to a potentially treatable form of autism with epilepsy
VL - 338
ER -
TY - CONF
AB - 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.
AU - Frank, Rupert L
AU - Lieb, Élliott H
AU - Robert Seiringer
AU - Thomas, Lawrence E
ID - 2316
TI - Ground state properties of multi-polaron systems
ER -
TY - CONF
AB - 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.
AU - Frank, Rupert L
AU - Hainzl, Christian
AU - Robert Seiringer
AU - Solovej, Jan P
ID - 2317
TI - Microscopic derivation of the Ginzburg-Landau model
ER -
TY - JOUR
AB - 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.
AU - Seiringer, Robert
ID - 2318
IS - 3
JF - Journal of Spectral Theory
TI - Absence of bound states implies non-negativity of the scattering length
VL - 2
ER -
TY - JOUR
AB - 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.
AU - de la Bretèche, Régis
AU - Timothy Browning
AU - Peyre, Emmanuel
ID - 237
IS - 1
JF - Annals of Mathematics
TI - On Manin's conjecture for a family of Châtelet surfaces
VL - 175
ER -
TY - JOUR
AB - For given positive integers a, b, q we investigate the density of solutions (x, y) ∈ Z2 to congruences ax + by2 ≡ 0 mod q.
AU - Baier, Stephan
AU - Timothy Browning
ID - 238
IS - 2
JF - Functiones et Approximatio, Commentarii Mathematici
TI - Inhomogeneous quadratic congruences
VL - 47
ER -
TY - JOUR
AB - 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.
AU - Freiji, Abraham
AU - Hainzl, Christian
AU - Robert Seiringer
ID - 2394
IS - 1
JF - Journal of Mathematical Physics
TI - The gap equation for spin-polarized fermions
VL - 53
ER -
TY - JOUR
AB - 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.
AU - Frank, Rupert L
AU - Hainzl, Christian
AU - Robert Seiringer
AU - Solovej, Jan P
ID - 2395
IS - 3
JF - Journal of the American Mathematical Society
TI - Microscopic derivation of Ginzburg-Landau theory
VL - 25
ER -
TY - JOUR
AB - 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.
AU - Landon, Benjamin
AU - Robert Seiringer
ID - 2396
IS - 3
JF - Letters in Mathematical Physics
TI - The scattering length at positive temperature
VL - 100
ER -
TY - JOUR
AB - 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.
AU - Hainzl, Christian
AU - Robert Seiringer
ID - 2397
IS - 2
JF - Letters in Mathematical Physics
TI - Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs
VL - 100
ER -
TY - GEN
AB - 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.
AU - Jakšić, Vojkan
AU - Ogata, Yoshiko
AU - Pillet, Claude A
AU - Robert Seiringer
ID - 2398
IS - 6
T2 - Reviews in Mathematical Physics
TI - Quantum hypothesis testing and non-equilibrium statistical mechanics
VL - 24
ER -
TY - CHAP
AB - 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.
AU - Robert Seiringer
ED - Rivasseau, Vincent
ED - Robert Seiringer
ED - Solovej, Jan P
ED - Spencer, Thomas
ID - 2399
T2 - Quantum Many Body Systems
TI - Cold quantum gases and bose einstein condensation
VL - 2051
ER -
TY - JOUR
AB - 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.
AU - Timothy Browning
AU - Valckenborgh, K Van
ID - 240
IS - 2
JF - Experimental Mathematics
TI - Sums of three squareful numbers
VL - 21
ER -
TY - JOUR
AB - 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.
AU - Frank, Rupert L
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2400
IS - 2
JF - Communications in Mathematical Physics
TI - Binding of polarons and atoms at threshold
VL - 313
ER -
TY - JOUR
AB - 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,∞].
AU - Lieb, Élliott H
AU - Robert Seiringer
ID - 2401
IS - 1
JF - Journal of Statistical Physics
TI - Further implications of the Bessis-Moussa-Villani conjecture
VL - 149
ER -
TY - JOUR
AB - 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.
AU - Frank, Rupert L
AU - Robert Seiringer
ID - 2402
IS - 9
JF - Journal of Mathematical Physics
TI - Lieb-Thirring inequality for a model of particles with point interactions
VL - 53
ER -
TY - JOUR
AB - 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.
AU - Robert Seiringer
AU - Yngvason, Jakob
AU - Zagrebnov, Valentin A
ID - 2403
IS - 11
JF - Journal of Statistical Mechanics Theory and Experiment
TI - Disordered Bose-Einstein condensates with interaction in one dimension
VL - 2012
ER -
TY - JOUR
AB - 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 ℚ.
AU - de la Bretèche, Régis
AU - Timothy Browning
ID - 241
IS - 2
JF - Israel Journal of Mathematics
TI - Binary forms as sums of two squares and Châtelet surfaces
VL - 191
ER -
TY - JOUR
AB - 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.
AU - Ebersberger, Ingo
AU - De Matos Simoes, Ricardo
AU - Kupczok, Anne
AU - Gube, Matthias
AU - Kothe, Erika
AU - Voigt, Kerstin
AU - Von Haeseler, Arndt
ID - 2411
IS - 5
JF - Molecular Biology and Evolution
TI - A consistent phylogenetic backbone for the fungi
VL - 29
ER -
TY - JOUR
AB - We investigate the first and second moments of shifted convolutions of the generalized divisor function d 3(n).
AU - Baier, Stephan
AU - Timothy Browning
AU - Marasingha, Gihan
AU - Zhao, Liangyi
ID - 242
IS - 3
JF - Proceedings of the Edinburgh Mathematical Society
TI - Averages of shifted convolutions of d3 (n)
VL - 55
ER -
TY - JOUR
AB - 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.
AU - Timothy Browning
AU - Heath-Brown, Roger
ID - 243
IS - 5
JF - Geometric and Functional Analysis
TI - Quadratic polynomials represented by norm forms
VL - 22
ER -
TY - JOUR
AB - 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.
AU - Matoušek, Jiří
AU - Martin Tancer
AU - Uli Wagner
ID - 2438
IS - 2
JF - Discrete & Computational Geometry
TI - A geometric proof of the colored Tverberg theorem
VL - 47
ER -
TY - JOUR
AB - 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.
AU - Chen, Dan
AU - Morin, Pat
AU - Uli Wagner
ID - 2439
IS - 5
JF - Computational Geometry: Theory and Applications
TI - Absolute approximation of Tukey depth: Theory and experiments
VL - 46
ER -
TY - JOUR
AB - 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.
AU - Timothy Browning
AU - Haynes, Alan K
ID - 244
IS - 2
JF - International Journal of Number Theory
TI - Incomplete kloosterman sums and multiplicative inverses in short intervals
VL - 9
ER -
TY - CONF
AB - 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.
AU - Čadek, Martin
AU - Marek Krcál
AU - Matoušek, Jiří
AU - Sergeraert, Francis
AU - Vokřínek, Lukáš
AU - Uli Wagner
ID - 2440
TI - Computing all maps into a sphere
ER -
TY - CONF
AB - 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.
AU - Gundert, Anna
AU - Uli Wagner
ID - 2441
TI - On Laplacians of random complexes
ER -
TY - JOUR
AB - 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.
AU - Feraru, Elena
AU - Feraru, Mugurel Ioan
AU - Asaoka, Rin
AU - Paciorek, Tomasz
AU - De Rycke, Riet M
AU - Tanaka, Hirokazu
AU - Nakano, Akihiko
AU - Jirí Friml
ID - 2453
IS - 7
JF - Plant Cell
TI - BEX5/RabA1b regulates trans-Golgi network-to-plasma membrane protein trafficking in Arabidopsis
VL - 24
ER -