activity
20242026
collaborators

10 papers

math.NA2026

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…

math.NA2026

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…

cs.LG2026

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…

cs.LG2026

Interpretable epistemic uncertainty decomposition in sequential generative models via polynomial chaos surrogates

Ramón Nartallo-Kaluarachchi, Shashanka Ubaru, Małgorzata J Zimoń +4

Sequential generative models conditioned on uncertain rewards are central to AI-driven scientific discovery, yet the epistemic uncertainty they inherit from imperfect reward estima…

quant-ph2025

Comparing quantum and classical Monte Carlo algorithms for estimating Betti numbers of clique complexes

Ismail Yunus Akhalwaya, Ahmed Bhayat, Adam Connolly +4

Several quantum and classical Monte Carlo algorithms for Betti Number Estimation (BNE) on clique complexes have recently been proposed, though it is unclear how their performances…

cs.LG2025

Fast Linear Solvers via AI-Tuned Markov Chain Monte Carlo-based Matrix Inversion

Anton Lebedev, Won Kyung Lee, Soumyadip Ghosh +7

Large, sparse linear systems are pervasive in modern science and engineering, and Krylov subspace solvers are an established means of solving them. Yet convergence can be slow for…