0 there exists a large subset of a â FĂp such that for kl a,1,p : x â e((ax+x) / p) we have M(kla,1,p) â„ (1âÎ”/â2Ï + o(1)) log log p, as pââ. Finally, we prove a result on the growth of the moments of {M (kla,1,p)}aâFĂp. 2020 Mathematics Subject Classification: 11L03, 11T23 (Primary); 14F20, 60F10 (Secondary).
AU - Bonolis, Dante
ID - 9364
JF - Mathematical Proceedings of the Cambridge Philosophical Society
SN - 03050041
TI - On the size of the maximum of incomplete Kloosterman sums
ER -
TY - JOUR
AB - Shigella are pathogens originating within the Escherichia lineage but frequently classified as a separate genus. Shigella genomes contain numerous insertion sequences (ISs) that lead to pseudogenisation of affected genes and an increase of non-homologous recombination. Here, we study 414 genomes of E. coli and Shigella strains to assess the contribution of genomic rearrangements to Shigella evolution. We found that Shigella experienced exceptionally high rates of intragenomic rearrangements and had a decreased rate of homologous recombination compared to pathogenic and non-pathogenic E. coli. The high rearrangement rate resulted in independent disruption of syntenic regions and parallel rearrangements in different Shigella lineages. Specifically, we identified two types of chromosomally encoded E3 ubiquitin-protein ligases acquired independently by all Shigella strains that also showed a high level of sequence conservation in the promoter and further in the 5âČ-intergenic region. In the only available enteroinvasive E. coli (EIEC) strain, which is a pathogenic E. coli with a phenotype intermediate between Shigella and non-pathogenic E. coli, we found a rate of genome rearrangements comparable to those in other E. coli and no functional copies of the two Shigella-specific E3 ubiquitin ligases. These data indicate that the accumulation of ISs influenced many aspects of genome evolution and played an important role in the evolution of intracellular pathogens. Our research demonstrates the power of comparative genomics-based on synteny block composition and an important role of non-coding regions in the evolution of genomic islands.
AU - Seferbekova, Zaira
AU - Zabelkin, Alexey
AU - Yakovleva, Yulia
AU - Afasizhev, Robert
AU - Dranenko, Natalia O.
AU - Alexeev, Nikita
AU - Gelfand, Mikhail S.
AU - Bochkareva, Olga
ID - 9380
JF - Frontiers in Microbiology
TI - High rates of genome rearrangements and pathogenicity of Shigella spp.
VL - 12
ER -
TY - JOUR
AB - A game of rock-paper-scissors is an interesting example of an interaction where none of the pure strategies strictly dominates all others, leading to a cyclic pattern. In this work, we consider an unstable version of rock-paper-scissors dynamics and allow individuals to make behavioural mistakes during the strategy execution. We show that such an assumption can break a cyclic relationship leading to a stable equilibrium emerging with only one strategy surviving. We consider two cases: completely random mistakes when individuals have no bias towards any strategy and a general form of mistakes. Then, we determine conditions for a strategy to dominate all other strategies. However, given that individuals who adopt a dominating strategy are still prone to behavioural mistakes in the observed behaviour, we may still observe extinct strategies. That is, behavioural mistakes in strategy execution stabilise evolutionary dynamics leading to an evolutionary stable and, potentially, mixed co-existence equilibrium.
AU - Kleshnina, Maria
AU - Streipert, Sabrina S.
AU - Filar, Jerzy A.
AU - Chatterjee, Krishnendu
ID - 9381
IS - 4
JF - PLoS Computational Biology
SN - 1553734X
TI - Mistakes can stabilise the dynamics of rock-paper-scissors games
VL - 17
ER -
TY - JOUR
AB - A primary roadblock to our understanding of speciation is that it usually occurs over a timeframe that is too long to study from start to finish. The idea of a speciation continuum provides something of a solution to this problem; rather than observing the entire process, we can simply reconstruct it from the multitude of speciation events that surround us. But what do we really mean when we talk about the speciation continuum, and can it really help us understand speciation? We explored these questions using a literature review and online survey of speciation researchers. Although most researchers were familiar with the concept and thought it was useful, our survey revealed extensive disagreement about what the speciation continuum actually tells us. This is due partly to the lack of a clear definition. Here, we provide an explicit definition that is compatible with the Biological Species Concept. That is, the speciation continuum is a continuum of reproductive isolation. After outlining the logic of the definition in light of alternatives, we explain why attempts to reconstruct the speciation process from presentâday populations will ultimately fail. We then outline how we think the speciation continuum concept can continue to act as a foundation for understanding the continuum of reproductive isolation that surrounds us.
AU - Stankowski, Sean
AU - Ravinet, Mark
ID - 9383
JF - Evolution
SN - 00143820
TI - Defining the speciation continuum
ER -
TY - JOUR
AU - Bolger-Munro, Madison
AU - Choi, Kate
AU - Cheung, Faith
AU - Liu, Yi Tian
AU - Dang-Lawson, May
AU - Deretic, Nikola
AU - Keane, Connor
AU - Gold, Michael R.
ID - 9379
JF - Frontiers in Cell and Developmental Biology
KW - B cell
KW - actin
KW - immune synapse
KW - cell spreading
KW - cofilin
KW - WDR1 (AIP1)
KW - LIM domain kinase
KW - B cell receptor (BCR)
TI - The Wdr1-LIMK-Cofilin axis controls B cell antigen receptor-induced actin remodeling and signaling at the immune synapse
VL - 9
ER -
TY - JOUR
AB - We report the complete analysis of a deterministic model of deleterious mutations and negative selection against them at two haploid loci without recombination. As long as mutation is a weaker force than selection, mutant alleles remain rare at the only stable equilibrium, and otherwise, a variety of dynamics are possible. If the mutation-free genotype is absent, generally the only stable equilibrium is the one that corresponds to fixation of the mutant allele at the locus where it is less deleterious. This result suggests that fixation of a deleterious allele that follows a click of the Mullerâs ratchet is governed by natural selection, instead of random drift.
AU - Khudiakova, Kseniia
AU - Neretina, Tatiana Yu.
AU - Kondrashov, Alexey S.
ID - 9387
JF - Journal of Theoretical Biology
KW - General Biochemistry
KW - Genetics and Molecular Biology
KW - Modelling and Simulation
KW - Statistics and Probability
KW - General Immunology and Microbiology
KW - Applied Mathematics
KW - General Agricultural and Biological Sciences
KW - General Medicine
SN - 0022-5193
TI - Two linked loci under mutation-selection balance and Mullerâs ratchet
VL - 524
ER -
TY - JOUR
AB - Chromosomal inversions have long been recognized for their role in local adaptation. By suppressing recombination in heterozygous individuals, they can maintain coadapted gene complexes and protect them from homogenizing effects of gene flow. However, to fully understand their importance for local adaptation we need to know their influence on phenotypes under divergent selection. For this, the marine snail Littorina saxatilis provides an ideal study system. Divergent ecotypes adapted to wave action and crab predation occur in close proximity on intertidal shores with gene flow between them. Here, we used F2 individuals obtained from crosses between the ecotypes to test for associations between genomic regions and traits distinguishing the Crabâ/Waveâadapted ecotypes including size, shape, shell thickness, and behavior. We show that most of these traits are influenced by two previously detected inversion regions that are divergent between ecotypes. We thus gain a better understanding of one important underlying mechanism responsible for the rapid and repeated formation of ecotypes: divergent selection acting on inversions. We also found that some inversions contributed to more than one trait suggesting that they may contain several loci involved in adaptation, consistent with the hypothesis that suppression of recombination within inversions facilitates differentiation in the presence of gene flow.
AU - Koch, Eva L.
AU - Morales, HernĂĄn E.
AU - Larsson, Jenny
AU - Westram, Anja M
AU - Faria, Rui
AU - Lemmon, Alan R.
AU - Lemmon, E. Moriarty
AU - Johannesson, Kerstin
AU - Butlin, Roger K.
ID - 9394
JF - Evolution Letters
TI - Genetic variation for adaptive traits is associated with polymorphic inversions in Littorina saxatilis
ER -
TY - DATA
AB - This .zip File contains the transport data for "Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states" by M. Valentini, et. al.
The measurements were done using Labber Software and the data is stored in the hdf5 file format.
Instructions of how to read the data are in "Notebook_Valentini.pdf".
AU - Valentini, Marco
ID - 9389
TI - Research data for "Non-topological zero bias peaks in full-shell nanowires induced by flux tunable Andreev states"
ER -
TY - CHAP
AB - Optimal decision making requires individuals to know their available options and to anticipate correctly what consequences these options have. In many social interactions, however, we refrain from gathering all relevant information, even if this information would help us make better decisions and is costless to obtain. This chapter examines several examples of âdeliberate ignorance.â Two simple models are proposed to illustrate how ignorance can evolve among self-interested and payoff - maximizing individuals, and open problems are highlighted that lie ahead for future research to explore.
AU - Schmid, Laura
AU - Hilbe, Christian
ED - Hertwig, Ralph
ED - Engel, Christoph
ID - 9403
SN - 978-0-262-04559-9
T2 - Deliberate Ignorance: Choosing Not To Know
TI - The evolution of strategic ignorance in strategic interaction
VL - 29
ER -
TY - JOUR
AB - We extend our recent result [22] on the central limit theorem for the linear eigenvalue statistics of non-Hermitian matrices X with independent, identically distributed complex entries to the real symmetry class. We find that the expectation and variance substantially differ from their complex counterparts, reflecting (i) the special spectral symmetry of real matrices onto the real axis; and (ii) the fact that real i.i.d. matrices have many real eigenvalues. Our result generalizes the previously known special cases where either the test function is analytic [49] or the first four moments of the matrix elements match the real Gaussian [59, 44]. The key element of the proof is the analysis of several weakly dependent Dyson Brownian motions (DBMs). The conceptual novelty of the real case compared with [22] is that the correlation structure of the stochastic differentials in each individual DBM is non-trivial, potentially even jeopardising its well-posedness.
AU - Cipolloni, Giorgio
AU - ErdĂ¶s, LĂĄszlĂł
AU - SchrĂ¶der, Dominik J
ID - 9412
JF - Electronic Journal of Probability
TI - Fluctuation around the circular law for random matrices with real entries
VL - 26
ER -
TY - JOUR
AB - The dynamics of a triangular magnetocapillary swimmer is studied using the lattice Boltzmann method. We extend on our previous work, which deals with the self-assembly and a specific type of the swimmer motion characterized by the swimmerâs maximum velocity centred around the particleâs inverse viscous time. Here, we identify additional regimes of motion. First, modifying the ratio of surface tension and magnetic forces allows to study the swimmer propagation in the regime of significantly lower frequencies mainly defined by the strength of the magnetocapillary potential. Second, introducing a constant magnetic contribution in each of the particles in addition to their magnetic moment induced by external fields leads to another regime characterized by strong in-plane swimmer reorientations that resemble experimental observations.
AU - Sukhov, Alexander
AU - Hubert, Maxime
AU - Grosjean, Galien M
AU - Trosman, Oleg
AU - Ziegler, Sebastian
AU - Collard, Ylona
AU - Vandewalle, Nicolas
AU - Smith, Ana SunÄana
AU - Harting, Jens
ID - 9411
IS - 4
JF - European Physical Journal E
SN - 12928941
TI - Regimes of motion of magnetocapillary swimmers
VL - 44
ER -
TY - CONF
AB - Formal design of embedded and cyber-physical systems relies on mathematical modeling. In this paper, we consider the model class of hybrid automata whose dynamics are defined by affine differential equations. Given a set of time-series data, we present an algorithmic approach to synthesize a hybrid automaton exhibiting behavior that is close to the data, up to a specified precision, and changes in synchrony with the data. A fundamental problem in our synthesis algorithm is to check membership of a time series in a hybrid automaton. Our solution integrates reachability and optimization techniques for affine dynamical systems to obtain both a sufficient and a necessary condition for membership, combined in a refinement framework. The algorithm processes one time series at a time and hence can be interrupted, provide an intermediate result, and be resumed. We report experimental results demonstrating the applicability of our synthesis approach.
AU - Garcia Soto, Miriam
AU - Henzinger, Thomas A
AU - Schilling, Christian
ID - 9200
KW - hybrid automaton
KW - membership
KW - system identification
SN - 9781450383394
T2 - HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
TI - Synthesis of hybrid automata with affine dynamics from time-series data
ER -
TY - JOUR
AB - We present a computational design system that assists users to model, optimize, and fabricate quad-robots with soft skins. Our system addresses the challenging task of predicting their physical behavior by fully integrating the multibody dynamics of the mechanical skeleton and the elastic behavior of the soft skin. The developed motion control strategy uses an alternating optimization scheme to avoid expensive full space time-optimization, interleaving space-time optimization for the skeleton, and frame-by-frame optimization for the full dynamics. The output are motor torques to drive the robot to achieve a user prescribed motion trajectory. We also provide a collection of convenient engineering tools and empirical manufacturing guidance to support the fabrication of the designed quad-robot. We validate the feasibility of designs generated with our system through physics simulations and with a physically-fabricated prototype.
AU - Feng, Xudong
AU - Liu, Jiafeng
AU - Wang, Huamin
AU - Yang, Yin
AU - Bao, Hujun
AU - Bickel, Bernd
AU - Xu, Weiwei
ID - 9408
IS - 6
JF - IEEE Transactions on Visualization and Computer Graphics
SN - 19410506
TI - Computational design of skinned Quad-Robots
VL - 27
ER -
TY - JOUR
AB - Antibiotic concentrations vary dramatically in the body and the environment. Hence, understanding the dynamics of resistance evolution along antibiotic concentration gradients is critical for predicting and slowing the emergence and spread of resistance. While it has been shown that increasing the concentration of an antibiotic slows resistance evolution, how adaptation to one antibiotic concentration correlates with fitness at other points along the gradient has not received much attention. Here, we selected populations of Escherichia coli at several points along a concentration gradient for three different antibiotics, asking how rapidly resistance evolved and whether populations became specialized to the antibiotic concentration they were selected on. Populations selected at higher concentrations evolved resistance more slowly but exhibited equal or higher fitness across the whole gradient. Populations selected at lower concentrations evolved resistance rapidly, but overall fitness in the presence of antibiotics was lower. However, these populations readily adapted to higher concentrations upon subsequent selection. Our results indicate that resistance management strategies must account not only for the rates of resistance evolution but also for the fitness of evolved strains.
AU - Lagator, Mato
AU - Uecker, Hildegard
AU - Neve, Paul
ID - 9410
IS - 5
JF - Biology letters
TI - Adaptation at different points along antibiotic concentration gradients
VL - 17
ER -
TY - JOUR
AB - This paper presents a method for designing planar multistable compliant structures. Given a sequence of desired stable states and the corresponding poses of the structure, we identify the topology and geometric realization of a mechanismâconsisting of bars and jointsâthat is able to physically reproduce the desired multistable behavior. In order to solve this problem efficiently, we build on insights from minimally rigid graph theory to identify simple but effective topologies for the mechanism. We then optimize its geometric parameters, such as joint positions and bar lengths, to obtain correct transitions between the given poses. Simultaneously, we ensure adequate stability of each pose based on an effective approximate error metric related to the elastic energy Hessian of the bars in the mechanism. As demonstrated by our results, we obtain functional multistable mechanisms of manageable complexity that can be fabricated using 3D printing. Further, we evaluated the effectiveness of our method on a large number of examples in the simulation and fabricated several physical prototypes.
AU - Zhang, Ran
AU - Auzinger, Thomas
AU - Bickel, Bernd
ID - 9376
JF - ACM Transactions on Graphics
KW - multistability
KW - mechanism
KW - computational design
KW - rigidity
TI - Computational design of planar multistable compliant structures
ER -
TY - JOUR
AB - We derive rigorously the leading order of the correlation energy of a Fermi gas in a scaling regime of high density and weak interaction. The result verifies the prediction of the random-phase approximation. Our proof refines the method of collective bosonization in three dimensions. We approximately diagonalize an effective Hamiltonian describing approximately bosonic collective excitations around the HartreeâFock state, while showing that gapless and non-collective excitations have only a negligible effect on the ground state energy.
AU - Benedikter, Niels P
AU - Nam, Phan ThĂ nh
AU - Porta, Marcello
AU - Schlein, Benjamin
AU - Seiringer, Robert
ID - 7901
JF - Inventiones Mathematicae
SN - 00209910
TI - Correlation energy of a weakly interacting Fermi gas
ER -
TY - JOUR
AB - The synaptic connection from medial habenula (MHb) to interpeduncular nucleus (IPN) is critical for emotion-related behaviors and uniquely expresses R-type Ca2+ channels (Cav2.3) and auxiliary GABAB receptor (GBR) subunits, the K+-channel tetramerization domain-containing proteins (KCTDs). Activation of GBRs facilitates or inhibits transmitter release from MHb terminals depending on the IPN subnucleus, but the role of KCTDs is unknown. We therefore examined the localization and function of Cav2.3, GBRs, and KCTDs in this pathway in mice. We show in heterologous cells that KCTD8 and KCTD12b directly bind to Cav2.3 and that KCTD8 potentiates Cav2.3 currents in the absence of GBRs. In the rostral IPN, KCTD8, KCTD12b, and Cav2.3 co-localize at the presynaptic active zone. Genetic deletion indicated a bidirectional modulation of Cav2.3-mediated release by these KCTDs with a compensatory increase of KCTD8 in the active zone in KCTD12b-deficient mice. The interaction of Cav2.3 with KCTDs therefore scales synaptic strength independent of GBR activation.
AU - Bhandari, Pradeep
AU - Vandael, David H
AU - FernĂĄndez-FernĂĄndez, Diego
AU - Fritzius, Thorsten
AU - Kleindienst, David
AU - Ănal, HĂŒseyin C
AU - Montanaro-Punzengruber, Jacqueline-Claire
AU - Gassmann, Martin
AU - Jonas, Peter M
AU - Kulik, Akos
AU - Bettler, Bernhard
AU - Shigemoto, Ryuichi
AU - Koppensteiner, Peter
ID - 9437
JF - eLife
TI - GABAB receptor auxiliary subunits modulate Cav2.3-mediated release from medial habenula terminals
VL - 10
ER -
TY - JOUR
AB - The ability to adapt to changes in stimulus statistics is a hallmark of sensory systems. Here, we developed a theoretical framework that can account for the dynamics of adaptation from an information processing perspective. We use this framework to optimize and analyze adaptive sensory codes, and we show that codes optimized for stationary environments can suffer from prolonged periods of poor performance when the environment changes. To mitigate the adversarial effects of these environmental changes, sensory systems must navigate tradeoffs between the ability to accurately encode incoming stimuli and the ability to rapidly detect and adapt to changes in the distribution of these stimuli. We derive families of codes that balance these objectives, and we demonstrate their close match to experimentally observed neural dynamics during mean and variance adaptation. Our results provide a unifying perspective on adaptation across a range of sensory systems, environments, and sensory tasks.
AU - Mlynarski, Wiktor F
AU - Hermundstad, Ann M.
ID - 9439
JF - Nature Neuroscience
SN - 10976256
TI - Efficient and adaptive sensory codes
ER -
TY - GEN
AB - For any given positive integer l, we prove that every plane deformation of a circlewhich preserves the 1/2and 1/ (2l + 1) -rational caustics is trivial i.e. the deformationconsists only of similarities (rescalings and isometries).
AU - Kaloshin, Vadim
AU - Koudjinan, Edmond
ID - 9435
TI - Non co-preservation of the 1/2 and 1/(2l+1)-rational caustics along deformations of circles
ER -
TY - JOUR
AB - Embryo morphogenesis is impacted by dynamic changes in tissue material properties, which have been proposed to occur via processes akin to phase transitions (PTs). Here, we show that rigidity percolation provides a simple and robust theoretical framework to predict material/structural PTs of embryonic tissues from local cell connectivity. By using percolation theory, combined with directly monitoring dynamic changes in tissue rheology and cell contact mechanics, we demonstrate that the zebrafish blastoderm undergoes a genuine rigidity PT, brought about by a small reduction in adhesion-dependent cell connectivity below a critical value. We quantitatively predict and experimentally verify hallmarks of PTs, including power-law exponents and associated discontinuities of macroscopic observables. Finally, we show that this uniform PT depends on blastoderm cells undergoing meta-synchronous divisions causing random and, consequently, uniform changes in cell connectivity. Collectively, our theoretical and experimental findings reveal the structural basis of material PTs in an organismal context.
AU - Petridou, Nicoletta
AU - Corominas-Murtra, Bernat
AU - Heisenberg, Carl-Philipp J
AU - Hannezo, Edouard B
ID - 9316
IS - 7
JF - Cell
SN - 00928674
TI - Rigidity percolation uncovers a structural basis for embryonic tissue phase transitions
VL - 184
ER -
TY - JOUR
AB - The inverse problem of designing component interactions to target emergent structure is fundamental to numerous applications in biotechnology, materials science, and statistical physics. Equally important is the inverse problem of designing emergent kinetics, but this has received considerably less attention. Using recent advances in automatic differentiation, we show how kinetic pathways can be precisely designed by directly differentiating through statistical physics models, namely free energy calculations and molecular dynamics simulations. We consider two systems that are crucial to our understanding of structural self-assembly: bulk crystallization and small nanoclusters. In each case, we are able to assemble precise dynamical features. Using gradient information, we manipulate interactions among constituent particles to tune the rate at which these systems yield specific structures of interest. Moreover, we use this approach to learn nontrivial features about the high-dimensional design space, allowing us to accurately predict when multiple kinetic features can be simultaneously and independently controlled. These results provide a concrete and generalizable foundation for studying nonstructural self-assembly, including kinetic properties as well as other complex emergent properties, in a vast array of systems.
AU - Goodrich, Carl Peter
AU - King, Ella M.
AU - Schoenholz, Samuel S.
AU - Cubuk, Ekin D.
AU - Brenner, Michael P.
ID - 9257
IS - 10
JF - Proceedings of the National Academy of Sciences
SN - 0027-8424
TI - Designing self-assembling kinetics with differentiable statistical physics models
VL - 118
ER -
TY - JOUR
AB - Electrodepositing insulating lithium peroxide (Li2O2) is the key process during discharge of aprotic LiâO2 batteries and determines rate, capacity, and reversibility. Current understanding states that the partition between surface adsorbed and dissolved lithium superoxide governs whether Li2O2 grows as a conformal surface film or larger particles, leading to low or high capacities, respectively. However, better understanding governing factors for Li2O2 packing density and capacity requires structural sensitive in situ metrologies. Here, we establish in situ small- and wide-angle X-ray scattering (SAXS/WAXS) as a suitable method to record the Li2O2 phase evolution with atomic to submicrometer resolution during cycling a custom-built in situ LiâO2 cell. Combined with sophisticated data analysis, SAXS allows retrieving rich quantitative structural information from complex multiphase systems. Surprisingly, we find that features are absent that would point at a Li2O2 surface film formed via two consecutive electron transfers, even in poorly solvating electrolytes thought to be prototypical for surface growth. All scattering data can be modeled by stacks of thin Li2O2 platelets potentially forming large toroidal particles. Li2O2 solution growth is further justified by rotating ring-disk electrode measurements and electron microscopy. Higher discharge overpotentials lead to smaller Li2O2 particles, but there is no transition to an electronically passivating, conformal Li2O2 coating. Hence, mass transport of reactive species rather than electronic transport through a Li2O2 film limits the discharge capacity. Provided that species mobilities and carbon surface areas are high, this allows for high discharge capacities even in weakly solvating electrolytes. The currently accepted LiâO2 reaction mechanism ought to be reconsidered.
AU - Prehal, Christian
AU - Samojlov, Aleksej
AU - Nachtnebel, Manfred
AU - Lovicar, Ludek
AU - Kriechbaum, Manfred
AU - Amenitsch, Heinz
AU - Freunberger, Stefan Alexander
ID - 9301
IS - 14
JF - Proceedings of the National Academy of Sciences
KW - small-angle X-ray scattering
KW - oxygen reduction
KW - disproportionation
KW - Li-air battery
SN - 0027-8424
TI - In situ small-angle X-ray scattering reveals solution phase discharge of LiâO2 batteries with weakly solvating electrolytes
VL - 118
ER -
TY - CONF
AB - Modeling a crystal as a periodic point set, we present a fingerprint consisting of density functionsthat facilitates the efficient search for new materials and material properties. We prove invarianceunder isometries, continuity, and completeness in the generic case, which are necessary featuresfor the reliable comparison of crystals. The proof of continuity integrates methods from discretegeometry and lattice theory, while the proof of generic completeness combines techniques fromgeometry with analysis. The fingerprint has a fast algorithm based on Brillouin zones and relatedinclusion-exclusion formulae. We have implemented the algorithm and describe its application tocrystal structure prediction.
AU - Edelsbrunner, Herbert
AU - Heiss, Teresa
AU - Kurlin , Vitaliy
AU - Smith, Philip
AU - Wintraecken, Mathijs
ID - 9345
SN - 1868-8969
T2 - 37th International Symposium on Computational Geometry (SoCG 2021)
TI - The density fingerprint of a periodic point set
VL - 189
ER -
TY - CONF
AB - Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of â^d defined as the zero set of some multivariate multivalued smooth function f: â^d â â^{d-n}, where n is the intrinsic dimension of the manifold. A natural way to approximate a smooth isomanifold M is to consider its Piecewise-Linear (PL) approximation MÌ based on a triangulation đŻ of the ambient space â^d. In this paper, we describe a simple algorithm to trace isomanifolds from a given starting point. The algorithm works for arbitrary dimensions n and d, and any precision D. Our main result is that, when f (or M) has bounded complexity, the complexity of the algorithm is polynomial in d and ÎŽ = 1/D (and unavoidably exponential in n). Since it is known that for ÎŽ = Î© (d^{2.5}), MÌ is O(DÂČ)-close and isotopic to M, our algorithm produces a faithful PL-approximation of isomanifolds of bounded complexity in time polynomial in d. Combining this algorithm with dimensionality reduction techniques, the dependency on d in the size of MÌ can be completely removed with high probability. We also show that the algorithm can handle isomanifolds with boundary and, more generally, isostratifolds. The algorithm for isomanifolds with boundary has been implemented and experimental results are reported, showing that it is practical and can handle cases that are far ahead of the state-of-the-art.
AU - Boissonnat, Jean-Daniel
AU - Kachanovich, Siargey
AU - Wintraecken, Mathijs
ID - 9441
SN - 1868-8969
T2 - 37th International Symposium on Computational Geometry (SoCG 2021)
TI - Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
VL - 189
ER -
TY - JOUR
AB - Endoplasmic reticulumâplasma membrane contact sites (ERâPM CS) play fundamental roles in all eukaryotic cells. Arabidopsis thaliana mutants lacking the ERâPM protein tether synaptotagmin1 (SYT1) exhibit decreased PM integrity under multiple abiotic stresses, such as freezing, high salt, osmotic stress, and mechanical damage. Here, we show that, together with SYT1, the stress-induced SYT3 is an ERâPM tether that also functions in maintaining PM integrity. The ERâPM CS localization of SYT1 and SYT3 is dependent on PM phosphatidylinositol-4-phosphate and is regulated by abiotic stress. Lipidomic analysis revealed that cold stress increased the accumulation of diacylglycerol at the PM in a syt1/3 double mutant relative to wild-type while the levels of most glycerolipid species remain unchanged. In addition, the SYT1-green fluorescent protein fusion preferentially binds diacylglycerol in vivo with little affinity for polar glycerolipids. Our work uncovers a SYT-dependent mechanism of stress adaptation counteracting the detrimental accumulation of diacylglycerol at the PM produced during episodes of abiotic stress.
AU - Ruiz-Lopez, N
AU - PĂ©rez-Sancho, J
AU - Esteban Del Valle, A
AU - Haslam, RP
AU - Vanneste, S
AU - CatalĂĄ, R
AU - Perea-Resa, C
AU - Van Damme, D
AU - GarcĂa-HernĂĄndez, S
AU - Albert, A
AU - Vallarino, J
AU - Lin, J
AU - Friml, JiĆĂ
AU - Macho, AP
AU - Salinas, J
AU - Rosado, A
AU - Napier, JA
AU - Amorim-Silva, V
AU - Botella, MA
ID - 9443
JF - Plant Cell
SN - 1040-4651
TI - Synaptotagmins at the endoplasmic reticulum-plasma membrane contact sites maintain diacylglycerol homeostasis during abiotic stress
ER -
TY - JOUR
AB - Spin qubits are considered to be among the most promising candidates for building a quantum processor. Group IV hole spin qubits have moved into the focus of interest due to the ease of operation and compatibility with Si technology. In addition, Ge offers the option for monolithic superconductor-semiconductor integration. Here we demonstrate a hole spin qubit operating at fields below 10 mT, the critical field of Al, by exploiting the large out-of-plane hole g-factors in planar Ge and by encoding the qubit into the singlet-triplet states of a double quantum dot. We observe electrically controlled X and Z-rotations with tunable frequencies exceeding 100 MHz and dephasing times of 1ÎŒs which we extend beyond 15ÎŒs with echo techniques. These results show that Ge hole singlet triplet qubits outperform their electronic Si and GaAs based counterparts in speed and coherence, respectively. In addition, they are on par with Ge single spin qubits, but can be operated at much lower fields underlining their potential for on chip integration with superconducting technologies.
AU - Jirovec, Daniel
AU - Hofmann, Andrea C
AU - Ballabio, Andrea
AU - Mutter, Philipp M.
AU - Tavani, Giulio
AU - Botifoll, Marc
AU - Crippa, Alessandro
AU - Kukucka, Josip
AU - Sagi, Oliver
AU - Martins, Frederico
AU - Saez Mollejo, Jaime
AU - Prieto Gonzalez, Ivan
AU - Borovkov, Maksim
AU - Arbiol, Jordi
AU - Chrastina, Daniel
AU - Isella, Giovanni
AU - Katsaros, Georgios
ID - 8909
JF - Nature Materials
SN - 1476-1122
TI - A singlet triplet hole spin qubit in planar Ge
ER -
TY - DATA
AB - This .zip File contains the data for figures presented in the main text and supplementary material of "A singlet triplet hole spin qubit in planar Ge" by D. Jirovec, et. al. The measurements were done using Labber Software and the data is stored in the hdf5 file format. The files can be opened using either the Labber Log Browser (https://labber.org/overview/) or Labber Python API (http://labber.org/online-doc/api/LogFile.html). A single file is acquired with QCodes and features the corresponding data type. XRD data are in .dat format and a code to open the data is provided. The code for simulations is as well provided in Python.
AU - Jirovec, Daniel
ID - 9323
TI - Research data for "A singlet-triplet hole spin qubit planar Ge"
ER -
TY - JOUR
AB - Given a locally finite set đââđ and an integer đâ„0, we consider the function đ°đ:Delđ(đ)ââ on the dual of the order-k Voronoi tessellation, whose sublevel sets generalize the notion of alpha shapes from order-1 to order-k (Edelsbrunner et al. in IEEE Trans Inf Theory IT-29:551â559, 1983; Krasnoshchekov and Polishchuk in Inf Process Lett 114:76â83, 2014). While this function is not necessarily generalized discrete Morse, in the sense of Forman (Adv Math 134:90â145, 1998) and Freij (Discrete Math 309:3821â3829, 2009), we prove that it satisfies similar properties so that its increments can be meaningfully classified into critical and non-critical steps. This result extends to the case of weighted points and sheds light on k-fold covers with balls in Euclidean space.
AU - Edelsbrunner, Herbert
AU - Nikitenko, Anton
AU - Osang, Georg F
ID - 9465
IS - 1
JF - Journal of Geometry
SN - 00472468
TI - A step in the Delaunay mosaic of order k
VL - 112
ER -
TY - JOUR
AB - A key step in understanding the genetic basis of different evolutionary outcomes (e.g., adaptation) is to determine the roles played by different mutation types (e.g., SNPs, translocations and inversions). To do this we must simultaneously consider different mutation types in an evolutionary framework. Here, we propose a research framework that directly utilizes the most important characteristics of mutations, their population genetic effects, to determine their relative evolutionary significance in a given scenario. We review known population genetic effects of different mutation types and show how these may be connected to different evolutionary outcomes. We provide examples of how to implement this framework and pinpoint areas where more data, theory and synthesis are needed. Linking experimental and theoretical approaches to examine different mutation types simultaneously is a critical step towards understanding their evolutionary significance.
AU - Berdan, Emma L.
AU - Blanckaert, Alexandre
AU - Slotte, Tanja
AU - Suh, Alexander
AU - Westram, Anja M
AU - Fragata, InĂȘs
ID - 9470
IS - 12
JF - Molecular Ecology
SN - 09621083
TI - Unboxing mutations: Connecting mutation types with evolutionary consequences
VL - 30
ER -
TY - JOUR
AB - Turbulence in the flow of fluid through a pipe can be suppressed by buoyancy forces. As the suppression of turbulence leads to severe heat transfer deterioration, this is an important and undesirable phenomenon in both heating and cooling applications. Vertical flow is often considered, as the axial buoyancy force can help drive the flow. With heating measured by the buoyancy parameter đ¶, our direct numerical simulations show that shear-driven turbulence may either be completely laminarised or it transitions to a relatively quiescent convection-driven state. Buoyancy forces cause a flattening of the base flow profile, which in isothermal pipe flow has recently been linked to complete suppression of turbulence (KĂŒhnen et al., Nat. Phys., vol. 14, 2018, pp. 386â390), and the flattened laminar base profile has enhanced nonlinear stability (Marensi et al., J. Fluid Mech., vol. 863, 2019, pp. 50â875). In agreement with these findings, the nonlinear lower-branch travelling-wave solution analysed here, which is believed to mediate transition to turbulence in isothermal pipe flow, is shown to be suppressed by buoyancy. A linear instability of the laminar base flow is responsible for the appearance of the relatively quiescent convection driven state for đ¶âł4 across the range of Reynolds numbers considered. In the suppression of turbulence, however, i.e. in the transition from turbulence, we find clearer association with the analysis of He et al. (J. Fluid Mech., vol. 809, 2016, pp. 31â71) than with the above dynamical systems approach, which describes better the transition to turbulence. The laminarisation criterion He et al. propose, based on an apparent Reynolds number of the flow as measured by its driving pressure gradient, is found to capture the critical đ¶=đ¶đđ(đ
đ) above which the flow will be laminarised or switch to the convection-driven type. Our analysis suggests that it is the weakened rolls, rather than the streaks, which appear to be critical for laminarisation.
AU - Marensi, Elena
AU - He, Shuisheng
AU - Willis, Ashley P.
ID - 9467
JF - Journal of Fluid Mechanics
SN - 00221120
TI - Suppression of turbulence and travelling waves in a vertical heated pipe
VL - 919
ER -
TY - JOUR
AB - Motivated by the successful application of geometry to proving the Harary--Hill conjecture for âpseudolinearâ drawings of $K_n$, we introduce âpseudosphericalâ drawings of graphs. A spherical drawing of a graph $G$ is a drawing in the unit sphere $\mathbb{S}^2$ in which the vertices of $G$ are represented as points---no three on a great circle---and the edges of $G$ are shortest-arcs in $\mathbb{S}^2$ connecting pairs of vertices. Such a drawing has three properties: (1) every edge $e$ is contained in a simple closed curve $\gamma_e$ such that the only vertices in $\gamma_e$ are the ends of $e$; (2) if $e\ne f$, then $\gamma_e\cap\gamma_f$ has precisely two crossings; and (3) if $e\ne f$, then $e$ intersects $\gamma_f$ at most once, in either a crossing or an end of $e$. We use properties (1)--(3) to define a pseudospherical drawing of $G$. Our main result is that for the complete graph, properties (1)--(3) are equivalent to the same three properties but with âprecisely two crossingsâ in (2) replaced by âat most two crossings.â The proof requires a result in the geometric transversal theory of arrangements of pseudocircles. This is proved using the surprising result that the absence of special arcs (coherent spirals) in an arrangement of simple closed curves characterizes the fact that any two curves in the arrangement have at most two crossings. Our studies provide the necessary ideas for exhibiting a drawing of $K_{10}$ that has no extension to an arrangement of pseudocircles and a drawing of $K_9$ that does extend to an arrangement of pseudocircles, but no such extension has all pairs of pseudocircles crossing twice.
AU - Arroyo Guevara, Alan M
AU - Richter, R. Bruce
AU - Sunohara, Matthew
ID - 9468
IS - 2
JF - SIAM Journal on Discrete Mathematics
SN - 08954801
TI - Extending drawings of complete graphs into arrangements of pseudocircles
VL - 35
ER -
TY - JOUR
AB - Brain neurons arise from relatively few progenitors generating an enormous diversity of neuronal types. Nonetheless, a cardinal feature of mammalian brain neurogenesis is thought to be that excitatory and inhibitory neurons derive from separate, spatially segregated progenitors. Whether bi-potential progenitors with an intrinsic capacity to generate both lineages exist and how such a fate decision may be regulated are unknown. Using cerebellar development as a model, we discover that individual progenitors can give rise to both inhibitory and excitatory lineages. Gradations of Notch activity determine the fates of the progenitors and their daughters. Daughters with the highest levels of Notch activity retain the progenitor fate, while intermediate levels of Notch activity generate inhibitory neurons, and daughters with very low levels of Notch signaling adopt the excitatory fate. Therefore, Notch-mediated binary cell fate choice is a mechanism for regulating the ratio of excitatory to inhibitory neurons from common progenitors.
AU - Zhang, Tingting
AU - Liu, Tengyuan
AU - Mora, Natalia
AU - Guegan, Justine
AU - Bertrand, Mathilde
AU - Contreras, Ximena
AU - Hansen, Andi H
AU - Streicher, Carmen
AU - Anderle, Marica
AU - Danda, Natasha
AU - Tiberi, Luca
AU - Hippenmeyer, Simon
AU - Hassan, Bassem A.
ID - 8546
IS - 10
JF - Cell Reports
TI - Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
VL - 35
ER -
TY - JOUR
AB - We prove that the energy of any eigenvector of a sum of several independent large Wigner matrices is equally distributed among these matrices with very high precision. This shows a particularly strong microcanonical form of the equipartition principle for quantum systems whose components are modelled by Wigner matrices.
AU - Bao, Zhigang
AU - ErdĂ¶s, LĂĄszlĂł
AU - Schnelli, Kevin
ID - 9550
JF - Forum of Mathematics, Sigma
TI - Equipartition principle for Wigner matrices
VL - 9
ER -
TY - JOUR
AB - We extend the notion of the minimal volume ellipsoid containing a convex body in Rd to the setting of logarithmically concave functions. We consider a vast class of logarithmically concave functions whose superlevel sets are concentric ellipsoids. For a fixed function from this class, we consider the set of all its âaffineâ positions. For any log-concave function f on Rd, we consider functions belonging to this set of âaffineâ positions, and find the one with the minimal integral under the condition that it is pointwise greater than or equal to f. We study the properties of existence and uniqueness of the solution to this problem. For any sâ[0,+â), we consider the construction dual to the recently defined John s-function (Ivanov and NaszĂłdi in Functional John ellipsoids. arXiv preprint: arXiv:2006.09934, 2020). We prove that such a construction determines a unique function and call it the LĂ¶wner s-function of f. We study the LĂ¶wner s-functions as s tends to zero and to infinity. Finally, extending the notion of the outer volume ratio, we define the outer integral ratio of a log-concave function and give an asymptotically tight bound on it.
AU - Ivanov, Grigory
AU - Tsiutsiurupa, Igor
ID - 9548
JF - Journal of Geometric Analysis
SN - 10506926
TI - Functional LĂ¶wner ellipsoids
ER -
TY - JOUR
AB - De novo loss of function mutations in the ubiquitin ligase-encoding gene Cullin3 lead to autism spectrum disorder (ASD). In mouse, constitutive haploinsufficiency leads to motor coordination deficits as well as ASD-relevant social and cognitive impairments. However, induction of Cul3 haploinsufficiency later in life does not lead to ASD-relevant behaviors, pointing to an important role of Cul3 during a critical developmental window. Here we show that Cul3 is essential to regulate neuronal migration and, therefore, constitutive Cul3 heterozygous mutant mice display cortical lamination abnormalities. At the molecular level, we found that Cul3 controls neuronal migration by tightly regulating the amount of Plastin3 (Pls3), a previously unrecognized player of neural migration. Furthermore, we found that Pls3 cell-autonomously regulates cell migration by regulating actin cytoskeleton organization, and its levels are inversely proportional to neural migration speed. Finally, we provide evidence that cellular phenotypes associated with autism-linked gene haploinsufficiency can be rescued by transcriptional activation of the intact allele in vitro, offering a proof of concept for a potential therapeutic approach for ASDs.
AU - Morandell, Jasmin
AU - Schwarz, Lena A
AU - Basilico, Bernadette
AU - Tasciyan, Saren
AU - Dimchev, Georgi A
AU - Nicolas, Armel
AU - Sommer, Christoph M
AU - Kreuzinger, Caroline
AU - Dotter, Christoph
AU - Knaus, Lisa
AU - Dobler, Zoe
AU - Cacci, Emanuele
AU - Schur, Florian KM
AU - Danzl, Johann G
AU - Novarino, Gaia
ID - 9429
IS - 1
JF - Nature Communications
KW - General Biochemistry
KW - Genetics and Molecular Biology
TI - Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development
VL - 12
ER -
TY - JOUR
AB - Inositol hexakisphosphate (IP6) is an assembly cofactor for HIV-1. We report here that IP6 is also used for assembly of Rous sarcoma virus (RSV), a retrovirus from a different genus. IP6 is ~100-fold more potent at promoting RSV mature capsid protein (CA) assembly than observed for HIV-1 and removal of IP6 in cells reduces infectivity by 100-fold. Here, visualized by cryo-electron tomography and subtomogram averaging, mature capsid-like particles show an IP6-like density in the CA hexamer, coordinated by rings of six lysines and six arginines. Phosphate and IP6 have opposing effects on CA in vitro assembly, inducing formation of Tâ=â1 icosahedrons and tubes, respectively, implying that phosphate promotes pentamer and IP6 hexamer formation. Subtomogram averaging and classification optimized for analysis of pleomorphic retrovirus particles reveal that the heterogeneity of mature RSV CA polyhedrons results from an unexpected, intrinsic CA hexamer flexibility. In contrast, the CA pentamer forms rigid units organizing the local architecture. These different features of hexamers and pentamers determine the structural mechanism to form CA polyhedrons of variable shape in mature RSV particles.
AU - Obr, Martin
AU - Ricana, Clifton L.
AU - Nikulin, Nadia
AU - Feathers, Jon-Philip R.
AU - Klanschnig, Marco
AU - Thader, Andreas
AU - Johnson, Marc C.
AU - Vogt, Volker M.
AU - Schur, Florian KM
AU - Dick, Robert A.
ID - 9431
IS - 1
JF - Nature Communications
KW - General Biochemistry
KW - Genetics and Molecular Biology
KW - General Physics and Astronomy
KW - General Chemistry
TI - Structure of the mature Rous sarcoma virus lattice reveals a role for IP6 in the formation of the capsid hexamer
VL - 12
ER -
TY - JOUR
AB - The hexameric AAA-ATPase Drg1 is a key factor in eukaryotic ribosome biogenesis and initiates cytoplasmic maturation of the large ribosomal subunit by releasing the shuttling maturation factor Rlp24. Drg1 monomers contain two AAA-domains (D1 and D2) that act in a concerted manner. Rlp24 release is inhibited by the drug diazaborine which blocks ATP hydrolysis in D2. The mode of inhibition was unknown. Here we show the first cryo-EM structure of Drg1 revealing the inhibitory mechanism. Diazaborine forms a covalent bond to the 2âČ-OH of the nucleotide in D2, explaining its specificity for this site. As a consequence, the D2 domain is locked in a rigid, inactive state, stalling the whole Drg1 hexamer. Resistance mechanisms identified include abolished drug binding and altered positioning of the nucleotide. Our results suggest nucleotide-modifying compounds as potential novel inhibitors for AAA-ATPases.
AU - Prattes, Michael
AU - Grishkovskaya, Irina
AU - Hodirnau, Victor-Valentin
AU - RĂ¶ssler, Ingrid
AU - Klein, Isabella
AU - Hetzmannseder, Christina
AU - Zisser, Gertrude
AU - Gruber, Christian C.
AU - Gruber, Karl
AU - Haselbach, David
AU - Bergler, Helmut
ID - 9540
IS - 1
JF - Nature Communications
KW - General Biochemistry
KW - Genetics and Molecular Biology
KW - General Physics and Astronomy
KW - General Chemistry
TI - Structural basis for inhibition of the AAA-ATPase Drg1 by diazaborine
VL - 12
ER -
TY - JOUR
AB - High impact epidemics constitute one of the largest threats humanity is facing in the 21st century. In the absence of pharmaceutical interventions, physical distancing together with testing, contact tracing and quarantining are crucial in slowing down epidemic dynamics. Yet, here we show that if testing capacities are limited, containment may fail dramatically because such combined countermeasures drastically change the rules of the epidemic transition: Instead of continuous, the response to countermeasures becomes discontinuous. Rather than following the conventional exponential growth, the outbreak that is initially strongly suppressed eventually accelerates and scales faster than exponential during an explosive growth period. As a consequence, containment measures either suffice to stop the outbreak at low total case numbers or fail catastrophically if marginally too weak, thus implying large uncertainties in reliably estimating overall epidemic dynamics, both during initial phases and during second wave scenarios.
AU - Scarselli, Davide
AU - Budanur, Nazmi B
AU - Timme, Marc
AU - Hof, BjĂ¶rn
ID - 9407
IS - 1
JF - Nature Communications
TI - Discontinuous epidemic transition due to limited testing
VL - 12
ER -
TY - JOUR
AB - Thermalization is the inevitable fate of many complex quantum systems, whose dynamics allow them to fully explore the vast configuration space regardless of the initial state---the behaviour known as quantum ergodicity. In a quest for experimental realizations of coherent long-time dynamics, efforts have focused on ergodicity-breaking mechanisms, such as integrability and localization. The recent discovery of persistent revivals in quantum simulators based on Rydberg atoms have pointed to the existence of a new type of behaviour where the system rapidly relaxes for most initial conditions, while certain initial states give rise to non-ergodic dynamics. This collective effect has been named âquantum many-body scarringâby analogy with a related form of weak ergodicity breaking that occurs for a single particle inside a stadium billiard potential. In this Review, we provide a pedagogical introduction to quantum many-body scars and highlight the emerging connections with the semiclassical quantization of many-body systems. We discuss the relation between scars and more general routes towards weak violations of ergodicity due to embedded algebras and non-thermal eigenstates, and highlight possible applications of scars in quantum technology.
AU - Serbyn, Maksym
AU - Abanin, Dmitry A.
AU - PapiÄ, Zlatko
ID - 9428
IS - 6
JF - Nature Physics
TI - Quantum many-body scars and weak breaking of ergodicity
VL - 17
ER -
TY - JOUR
AB - We consider a system of N trapped bosons with repulsive interactions in a combined semiclassical mean-field limit at positive temperature. We show that the free energy is well approximated by the minimum of the Hartree free energy functional â a natural extension of the Hartree energy functional to positive temperatures. The Hartree free energy functional converges in the same limit to a semiclassical free energy functional, and we show that the system displays BoseâEinstein condensation if and only if it occurs in the semiclassical free energy functional. This allows us to show that for weak coupling the critical temperature decreases due to the repulsive interactions.
AU - Deuchert, Andreas
AU - Seiringer, Robert
ID - 9462
IS - 6
JF - Journal of Functional Analysis
SN - 00221236
TI - Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons
VL - 281
ER -
TY - JOUR
AB - With the wider availability of full-color 3D printers, color-accurate 3D-print preparation has received increased attention. A key challenge lies in the inherent translucency of commonly used print materials that blurs out details of the color texture. Previous work tries to compensate for these scattering effects through strategic assignment of colored primary materials to printer voxels. To date, the highest-quality approach uses iterative optimization that relies on computationally expensive Monte Carlo light transport simulation to predict the surface appearance from subsurface scattering within a given print material distribution; that optimization, however, takes in the order of days on a single machine. In our work, we dramatically speed up the process by replacing the light transport simulation with a data-driven approach. Leveraging a deep neural network to predict the scattering within a highly heterogeneous medium, our method performs around two orders of magnitude faster than Monte Carlo rendering while yielding optimization results of similar quality level. The network is based on an established method from atmospheric cloud rendering, adapted to our domain and extended by a physically motivated weight sharing scheme that substantially reduces the network size. We analyze its performance in an end-to-end print preparation pipeline and compare quality and runtime to alternative approaches, and demonstrate its generalization to unseen geometry and material values. This for the first time enables full heterogenous material optimization for 3D-print preparation within time frames in the order of the actual printing time.
AU - Rittig, Tobias
AU - Sumin, Denis
AU - Babaei, Vahid
AU - Didyk, Piotr
AU - Voloboy, Alexey
AU - Wilkie, Alexander
AU - Bickel, Bernd
AU - Myszkowski, Karol
AU - Weyrich, Tim
AU - KĆivĂĄnek, Jaroslav
ID - 9547
IS - 2
JF - Computer Graphics Forum
SN - 01677055
TI - Neural acceleration of scattering-aware color 3D printing
VL - 40
ER -
TY - JOUR
AB - The Massively Parallel Computation (MPC) model is an emerging model that distills core aspects of distributed and parallel computation, developed as a tool to solve combinatorial (typically graph) problems in systems of many machines with limited space. Recent work has focused on the regime in which machines have sublinear (in n, the number of nodes in the input graph) space, with randomized algorithms presented for the fundamental problems of Maximal Matching and Maximal Independent Set. However, there have been no prior corresponding deterministic algorithms. A major challenge underlying the sublinear space setting is that the local space of each machine might be too small to store all edges incident to a single node. This poses a considerable obstacle compared to classical models in which each node is assumed to know and have easy access to its incident edges. To overcome this barrier, we introduce a new graph sparsification technique that deterministically computes a low-degree subgraph, with the additional property that solving the problem on this subgraph provides significant progress towards solving the problem for the original input graph. Using this framework to derandomize the well-known algorithm of Luby [SICOMPâ86], we obtain O(logâÎ + logâlogân)-round deterministic MPC algorithms for solving the problems of Maximal Matching and Maximal Independent Set with O(nÉ) space on each machine for any constant É > 0. These algorithms also run in O(logâÎ) rounds in the closely related model of CONGESTED CLIQUE, improving upon the state-of-the-art bound of O(logâ2Î) rounds by Censor-Hillel et al. [DISCâ17].
AU - Czumaj, Artur
AU - Davies, Peter
AU - Parter, Merav
ID - 9541
IS - 2
JF - ACM Transactions on Algorithms
SN - 1549-6325
TI - Graph sparsification for derandomizing massively parallel computation with low space
VL - 17
ER -
TY - THES
AB - Deep learning is best known for its empirical success across a wide range of applications
spanning computer vision, natural language processing and speech. Of equal significance,
though perhaps less known, are its ramifications for learning theory: deep networks have
been observed to perform surprisingly well in the high-capacity regime, aka the overfitting
or underspecified regime. Classically, this regime on the far right of the bias-variance curve
is associated with poor generalisation; however, recent experiments with deep networks
challenge this view.
This thesis is devoted to investigating various aspects of underspecification in deep learning.
First, we argue that deep learning models are underspecified on two levels: a) any given
training dataset can be fit by many different functions, and b) any given function can be
expressed by many different parameter configurations. We refer to the second kind of
underspecification as parameterisation redundancy and we precisely characterise its extent.
Second, we characterise the implicit criteria (the inductive bias) that guide learning in the
underspecified regime. Specifically, we consider a nonlinear but tractable classification
setting, and show that given the choice, neural networks learn classifiers with a large margin.
Third, we consider learning scenarios where the inductive bias is not by itself sufficient to
deal with underspecification. We then study different ways of âtightening the specificationâ: i)
In the setting of representation learning with variational autoencoders, we propose a hand-
crafted regulariser based on mutual information. ii) In the setting of binary classification, we
consider soft-label (real-valued) supervision. We derive a generalisation bound for linear
networks supervised in this way and verify that soft labels facilitate fast learning. Finally, we
explore an application of soft-label supervision to the training of multi-exit models.
AU - Bui Thi Mai, Phuong
ID - 9418
TI - Underspecification in Deep Learning
ER -
TY - CONF
AB - We consider the problem ofdistributed mean estimation (DME), in which n machines are each given a local d-dimensional vector xvâRd, and must cooperate to estimate the mean of their inputs ÎŒ=1nânv=1xv, while minimizing total communication cost. DME is a fundamental construct in distributed machine learning, and there has been considerable work on variants of this problem, especially in the context of distributed variance reduction for stochastic gradients in parallel SGD. Previous work typically assumes an upper bound on the norm of the input vectors, and achieves an error bound in terms of this norm. However, in many real applications, the input vectors are concentrated around the correct output ÎŒ, but ÎŒ itself has large norm. In such cases, previous output error bounds perform poorly. In this paper, we show that output error bounds need not depend on input norm. We provide a method of quantization which allows distributed mean estimation to be performed with solution quality dependent only on the distance between inputs, not on input norm, and show an analogous result for distributed variance reduction. The technique is based on a new connection with lattice theory. We also provide lower bounds showing that the communication to error trade-off of our algorithms is asymptotically optimal. As the lattices achieving optimal bounds under l2-norm can be computationally impractical, we also present an extension which leverages easy-to-use cubic lattices, and is loose only up to a logarithmic factor ind. We show experimentally that our method yields practical improvements for common applications, relative to prior approaches.
AU - Davies, Peter
AU - Gurunanthan, Vijaykrishna
AU - Moshrefi, Niusha
AU - Ashkboos, Saleh
AU - Alistarh, Dan-Adrian
ID - 9543
T2 - 9th International Conference on Learning Representations
TI - New bounds for distributed mean estimation and variance reduction
ER -
TY - CONF
AB - We study the inductive bias of two-layer ReLU networks trained by gradient flow. We identify a class of easy-to-learn (`orthogonally separable') datasets, and characterise the solution that ReLU networks trained on such datasets converge to. Irrespective of network width, the solution turns out to be a combination of two max-margin classifiers: one corresponding to the positive data subset and one corresponding to the negative data subset. The proof is based on the recently introduced concept of extremal sectors, for which we prove a number of properties in the context of orthogonal separability. In particular, we prove stationarity of activation patterns from some time onwards, which enables a reduction of the ReLU network to an ensemble of linear subnetworks.
AU - Bui Thi Mai, Phuong
AU - Lampert, Christoph
ID - 9416
T2 - 9th International Conference on Learning Representations
TI - The inductive bias of ReLU networks on orthogonally separable data
ER -
TY - JOUR
AB - We prove that every n-vertex tournament G has an acyclic subgraph with chromatic number at least n5/9âo(1), while there exists an n-vertex tournament G whose every acyclic subgraph has chromatic number at most n3/4+o(1). This establishes in a strong form a conjecture of Nassar and Yuster and improves on another result of theirs. Our proof combines probabilistic and spectral techniques together with some additional ideas. In particular, we prove a lemma showing that every tournament with many transitive subtournaments has a large subtournament that is almost transitive. This may be of independent interest.
AU - Fox, Jacob
AU - Kwan, Matthew Alan
AU - Sudakov, Benny
ID - 9572
IS - 2
JF - Bulletin of the London Mathematical Society
SN - 0024-6093
TI - Acyclic subgraphs of tournaments with high chromatic number
VL - 53
ER -
TY - THES
AB - In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis, quantitative analysis of Markov chains and Markov decision processes, and the problem of data packing in cache management.
We use techniques from parameterized complexity theory, polyhedral geometry, and real algebraic geometry to significantly improve the state-of-the-art, in terms of both scalability and completeness guarantees, for the mentioned problems. In some cases, our results are the first theoretical improvements for the respective problems in two or three decades.
AU - Goharshady, Amir Kafshdar
ID - 8934
SN - 2663-337X
TI - Parameterized and algebro-geometric advances in static program analysis
ER -
TY - JOUR
AB - As the size and complexity of models and datasets grow, so does the need for communication-efficient variants of stochastic gradient descent that can be deployed to perform parallel model training. One popular communication-compression method for data-parallel SGD is QSGD (Alistarh et al., 2017), which quantizes and encodes gradients to reduce communication costs. The baseline variant of QSGD provides strong theoretical guarantees, however, for practical purposes, the authors proposed a heuristic variant which we call QSGDinf, which demonstrated impressive empirical gains for distributed training of large neural networks. In this paper, we build on this work to propose a new gradient quantization scheme, and show that it has both stronger theoretical guarantees than QSGD, and matches and exceeds the empirical performance of the QSGDinf heuristic and of other compression methods.
AU - Ramezani-Kebrya, Ali
AU - Faghri, Fartash
AU - Markov, Ilya
AU - Aksenov, Vitalii
AU - Alistarh, Dan-Adrian
AU - Roy, Daniel M.
ID - 9571
IS - 114
JF - Journal of Machine Learning Research
SN - 15324435
TI - NUQSGD: Provably communication-efficient data-parallel SGD via nonuniform quantization
VL - 22
ER -
TY - JOUR
AB - We present conductance-matrix measurements in long, three-terminal hybrid superconductor-semiconductor nanowires, and compare with theoretical predictions of a magnetic-field-driven, topological quantum phase transition. By examining the nonlocal conductance, we identify the closure of the excitation gap in the bulk of the semiconductor before the emergence of zero-bias peaks, ruling out spurious gap-closure signatures from localized states. We observe that after the gap closes, nonlocal signals and zero-bias peaks fluctuate strongly at both ends, inconsistent with a simple picture of clean topological superconductivity.
AU - Puglia, Denise
AU - Martinez, E. A.
AU - MĂ©nard, G. C.
AU - PĂ¶schl, A.
AU - Gronin, S.
AU - Gardner, G. C.
AU - Kallaher, R.
AU - Manfra, M. J.
AU - Marcus, C. M.
AU - Higginbotham, Andrew P
AU - Casparis, L.
ID - 9570
IS - 23
JF - Physical Review B
SN - 24699950
TI - Closing of the induced gap in a hybrid superconductor-semiconductor nanowire
VL - 103
ER -
TY - JOUR
AB - Spin qubits are considered to be among the most promising candidates for building a quantum processor. Group IV hole spin qubits are particularly interesting owing to their ease of operation and compatibility with Si technology. In addition, Ge offers the option for monolithic superconductorâsemiconductor integration. Here, we demonstrate a hole spin qubit operating at fields below 10âmT, the critical field of Al, by exploiting the large out-of-plane hole g-factors in planar Ge and by encoding the qubit into the singlet-triplet states of a double quantum dot. We observe electrically controlled g-factor difference-driven and exchange-driven rotations with tunable frequencies exceeding 100âMHz and dephasing times of 1âÎŒs, which we extend beyond 150âÎŒs using echo techniques. These results demonstrate that Ge hole singlet-triplet qubits are competing with state-of-the-art GaAs and Si singlet-triplet qubits. In addition, their rotation frequencies and coherence are comparable with those of Ge single spin qubits, but singlet-triplet qubits can be operated at much lower fields, emphasizing their potential for on-chip integration with superconducting technologies.
AU - Jirovec, Daniel
AU - Hofmann, Andrea C
AU - Ballabio, Andrea
AU - Mutter, Philipp M.
AU - Tavani, Giulio
AU - Botifoll, Marc
AU - Crippa, Alessandro
AU - Kukucka, Josip
AU - Sagi, Oliver
AU - Martins, Frederico
AU - Saez Mollejo, Jaime
AU - Prieto Gonzalez, Ivan
AU - Borovkov, Maksim
AU - Arbio, Jordi
AU - Chrastina, Daniel
AU - Isella, Giovanni
AU - Katsaros, Georgios
ID - 9449
JF - Nature Materials
SN - 1476-1122
TI - A singlet-triplet hole spin qubit in planar Ge
ER -
TY - JOUR
AB - We show that turbulent dynamics that arise in simulations of the three-dimensional Navier--Stokes equations in a triply-periodic domain under sinusoidal forcing can be described as transient visits to the neighborhoods of unstable time-periodic solutions. Based on this description, we reduce the original system with more than 10^5 degrees of freedom to a 17-node Markov chain where each node corresponds to the neighborhood of a periodic orbit. The model accurately reproduces long-term averages of the system's observables as weighted sums over the periodic orbits.
AU - Yalniz, GĂ¶khan
AU - Hof, BjĂ¶rn
AU - Budanur, Nazmi B
ID - 9558
IS - 24
JF - Physical Review Letters
SN - 0031-9007
TI - Coarse graining the state space of a turbulent flow using periodic orbits
VL - 126
ER -
TY - JOUR
AB - When short-range attractions are combined with long-range repulsions in colloidal particle systems, complex microphases can emerge. Here, we study a system of isotropic particles, which can form lamellar structures or a disordered fluid phase when temperature is varied. We show that, at equilibrium, the lamellar structure crystallizes, while out of equilibrium, the system forms a variety of structures at different shear rates and temperatures above melting. The shear-induced ordering is analyzed by means of principal component analysis and artificial neural networks, which are applied to data of reduced dimensionality. Our results reveal the possibility of inducing ordering by shear, potentially providing a feasible route to the fabrication of ordered lamellar structures from isotropic particles.
AU - PÈ©kalski, J.
AU - Rzadkowski, Wojciech
AU - Panagiotopoulos, A. Z.
ID - 7956
IS - 20
JF - The Journal of chemical physics
TI - Shear-induced ordering in systems with competing interactions: A machine learning study
VL - 152
ER -
TY - JOUR
AB - Neurodevelopmental disorders (NDDs) are a class of disorders affecting brain development and function and are characterized by wide genetic and clinical variability. In this review, we discuss the multiple factors that influence the clinical presentation of NDDs, with particular attention to gene vulnerability, mutational load, and the two-hit model. Despite the complex architecture of
mutational events associated with NDDs, the various proteins involved appear to converge on common pathways, such as synaptic plasticity/function, chromatin remodelers and the mammalian target of rapamycin (mTOR) pathway. A thorough understanding of the mechanisms behind these pathways will hopefully lead to the identification of candidates that could be targeted for treatment approaches.
AU - Parenti, Ilaria
AU - Garcia Rabaneda, Luis E
AU - SchĂ¶n, Hanna
AU - Novarino, Gaia
ID - 7957
IS - 8
JF - Trends in Neurosciences
SN - 01662236
TI - Neurodevelopmental disorders: From genetics to functional pathways
VL - 43
ER -
TY - JOUR
AB - Let A={A1,âŠ,An} be a family of sets in the plane. For 0â€i