Systems | Information | Learning | Optimization
 

Advancing genome-scale phylogenomics through Disjoint Tree Merger methods

The estimation of evolutionary trees (called phylogenies) is an essential step in biological research; however large-scale phylogeny estimation continues to be computationally challenging. Many of the current leading methods are heuristics for NP-hard optimization problems, and these methods typically have limited parallelism for improving scalability to larger numbers of species. In this talk, I …

Unsolved Subspace Mysteries

Abstract: In this talk I will introduce two new subspace models: Mixture Matrix Completion, and Subspace Splitting. Both models are motivated by metagenomics, recommender systems, and dimensionality reduction, and are tightly related to low-rank matrix completion, subspace clustering, robust matched subspace detection, and the maximum feasible subsystem problem. I will …

Optimization over nonconvex constraints & Gradient Coding via Sparse Random Graphs

Many problems in modern statistics can be formulated as an optimization problem with structured constraints, where the constraints often exhibit nonconvexity such as sparsity or low rank. However, working with nonconvex constraints presents challenges from both a theoretical and practical point of view. In this talk, we discuss a convergence …

Causal discovery with high dimensional non-Gaussian data & Scalable Generalized Linear Bandits: Online Computation and Hashing

In this talk, we will consider linear structural equation models which correspond to directed acyclic graphs (DAGs). These models assume that each observed variable is a linear function of the other variables and some error term. It has been previously shown for DAGs, when the error terms in a SEM …

Trace Test

Numerical algebraic geometry uses numerical algorithms to study algebraic varieties, which are sets defined by polynomial equations. It is becoming a core tool in applications of algebraic geometry outside of mathematics. Its fundamental concept is a witness set which gives a representation of a variety that may be manipulated on …

Breaking computational barriers: using data to enable extreme-scale simulations for uncertainty quantification and design

As physics-based simulation has played an increasingly important role in science and engineering, greater demands are being placed on model fidelity. This high fidelity necessitates fine spatiotemporal resolution, which can lead to extreme-scale models whose simulations consume months on thousands of computing cores. Further, most practical decision-making scenarios (e.g., uncertainty …