Nikhil Srivastava
- First Proof
2026/02/05 by Mohammed Abouzaid, Andrew J. Blumberg, Martin Hairer +8 · 23 voices · 3 citations
#cs.AI #math.AG #math.CO #math.GT #math.HO #math.RA
- Twice-Ramanujan Sparsifiers
2008/08/01 by Joshua Batson, Daniel A. Spielman, Batson, Joshua +3 · 1 voice · 18 citations
Computer Science · Mathematics · Physics and Astronomy · #Advanced Mathematical Theories and Applications #Coding theory and cryptography #Graph theory and applications #cs.DM #cs.DS
- Graph Sparsification by Effective Resistances
2008/03/06 by Daniel A. Spielman, Spielman, Daniel A., Nikhil Srivastava +1 · 37 citations
Computer Science · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #G.2.2 #Machine Learning and Algorithms
- Interlacing Families I: Bipartite Ramanujan Graphs of All Degrees
2013/04/15 by Adam W. Marcus, Marcus, Adam, Daniel A. Spielman +3 · 16 citations
Mathematics · #Combinatorics (math.CO) #FOS: Mathematics #Finite Group Theory Research #Graph theory and applications #Limits and Structures in Graph Theory
- Twice-Ramanujan Sparsifiers
2014/01/01 by Joshua Batson, Daniel A. Spielman, Nikhil Srivastava · 4 citations
Mathematics · Engineering · Computer Science · #Graph theory and applications #Sparse and Compressive Sensing Techniques #Matrix Theory and Algorithms
- Interlacing Families IV: Bipartite Ramanujan Graphs of All Sizes
2015/05/29 by Adam W. Marcus, Marcus, Adam W., Nikhil Srivastava +3 · 2 citations
Mathematics · #05C50 #Advanced Algebra and Geometry #Combinatorics (math.CO) #FOS: Mathematics #Graph theory and applications #Limits and Structures in Graph Theory
- Interlacing Families III: Sharper Restricted Invertibility Estimates
2017/12/21 by Adam W. Marcus, Daniel A. Spielman, Marcus, Adam W. +3 · 2 citations
Computer Science · Mathematics · #46L05 #46L30 #Advanced Differential Equations and Dynamical Systems #FOS: Mathematics #Functional Analysis (math.FA) #Matrix Theory and Algorithms #Polynomial and algebraic computation
- Real Stability Testing
2016/10/02 by Prasad Raghavendra, Raghavendra, Prasad, Nick Ryder +3 · 1 citation
Computer Science · #Data Structures and Algorithms (cs.DS) #FOS: Computer and information sciences #Formal Methods in Verification #Numerical Methods and Algorithms #Polynomial and algebraic computation
- Global Convergence of Hessenberg Shifted QR I: Exact Arithmetic
2021/11/15 by Jess Banks, Banks, Jess, Jorge Garza-Vargas +3 · 1 voice
Computer Science · Mathematics · #Advanced Optimization Algorithms Research #Matrix Theory and Algorithms #Tensor decomposition and applications #cs.DS #math.DS #math.NA #math.OC