18 papers
When is a System Discoverable from Data? Discovery Requires Chaos
Zakhar Shumaylov, Peter Zaika, Philipp Scholl +3
The deep learning revolution has spurred a rise in advances of using AI in sciences. Within physical sciences the main focus has been on discovery of dynamical systems from observa…
Counting Triangles of Graphs via Randomized Trace Estimation with Incomplete Matrix-Vector Products
Soumyadip Ghosh, Lior Horesh, Vasileios Kalantzis +3
Counting triangles in graphs is a fundamental operation in network analysis, underpinning metrics such as clustering coefficients and serving as a signal for community detection, l…
Hybrid Digital-Analog Approximate Inverse Preconditioning for Krylov Methods
Shikhar Shah, Rui Peng Li, Tayfun Gokmen +3
Analog in-memory computing enables highly parallel matrix-vector multiplications with reduced data movement, but the resulting operations are noisy, quantized, and affected by devi…
Analysis of Power Iteration Algorithm with Partially Observed Matrix-vector Products
Soumyadip Ghosh, Lior Horesh, Vassilis Kalantzis +3
We consider the problem of computing the dominant eigenvector of a symmetric matrix via the power iteration algorithm subject to constraints in the computation of matrix-vector pr…
Exact Symmetry as Algebra: A Machine-Verified Tensor Calculus that Enforces Physical Selection Rules
Paulina Hoyos, Shashanka Ubaru, Dongsung Huh +5
Symmetry is central to the physical sciences, yet machine learning usually captures it only approximately, leaving a residual per-step equivariance error that compoun…
A Differentiable Measure of Algebraic Complexity: Provably Exact Discovery of Group Structures
Dongsung Huh, Lior Horesh, Halyun Jeong
Discovering discrete algebraic rules from data is a fundamental challenge in machine learning. We formalize this problem through Cayley-table completion -- an algebraic counterpart…